##  [Wilder Darstellungstyp](/de/node/62472) 

 Definition

Eine Klassifizierungsbezeichnung für eine Algebra (oder ein algebraisches Objekt), deren Modul- bzw. Darstellungskategorie mindestens so kompliziert ist wie die Kategorie der endlichdimensionalen Darstellungen der freien assoziativen Algebra in zwei Erzeugern; informell treten Indekomponierbare in beliebig komplizierten Parameterfamilien auf, und eine vollständige Klassifikation ist so schwer wie das Klassifizieren von Matrizenpaaren bis auf gemeinsame Konjugation.

 

 

 

 

 

 





## Prinzip

Prinzip

Wilde Eigenschaft zeichnet sich durch das Vorhandensein eines volltreuen exakten Funktors aus, der die Darstellungskategorie der freien Algebra k (oder einer äquivalenten universellen Familie) in die Modul-Kategorie der betrachteten Algebra einbettet, sodass Klassifikationsprobleme der freien Algebra auf die gegebene Algebra reduziert werden.

 

 

 

 

 





## Demonstration

Demonstration

Illustratives Szenario: Bestimmte endlichdimensionale Algebren, definiert durch Quiver mit Relationen, erlauben Konstruktionen, die beliebige Matrizenpaare kodieren; existiert eine solche Kodierung, bilden Indekomponierbare Familien, die durch beliebige algebraische Daten parametrisiert werden, wodurch eine endliche Listenklassifikation unmöglich wird.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Eine Algebra allein wegen Darstellungsmäßiger Unendlichkeit oder heuristischer Komplexität als wild zu bezeichnen, ohne das Vorliegen (oder die Existenz) einer Einbettung einer wilden Kategorie nachzuweisen; Wilde nicht mit bloßer praktischer Unklassifizierbarkeit verwechseln.

 

 

 

 

 





## Konsequenz

Konsequenz

Wilder Darstellungstyp bedeutet, dass keine sinnvolle Klassifikation mittels diskreter Invarianten möglich ist: Die Klassifikation der Indekomponierbaren ist mindestens so schwer wie die Klassifikation beliebiger linearer Algebra-Daten und führt zur Übertragung von Unentscheidbarkeitsphänomenen und parametrisch unendlichen Familien.

 

 

 

 

## Umkehrung

Umkehrung

Zäher (tame) oder endlicher Darstellungstyp, bei dem Indekomponierbare durch eine endliche Liste plus endlich viele parametrisierte Familien beschreibbar sind und keine Einbettung der freien Algebra existiert.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Begriff, der relativ zum Grundkörper und zur Kategorie definiert ist (gewöhnlich endlichdimensionale Algebren über einem algebraisch abgeschlossenen Körper); Unterscheidungen zwischen wild, strikt wild und abgeleitet- bzw. stabil-wild sind relevant; gilt nicht in Kontexten ohne darstellbare Modulkategorien.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zu 'representation-infinite' und 'chaotisch': Darstellungsmäßige Unendlichkeit ist notwendig, aber nicht hinreichend für Wildheit; 'wild' ist streng reduktionstheoretisch zu verstehen und nicht nur eine qualitative Schwierigkeitsangabe.

 

 

 

 

 





## Synthese

Synthese

Wilder Darstellungstyp kennzeichnet das Vorhandensein einer Einbettung einer universellen, hochgradig nicht klassifizierbaren Darstellungstheorie in das betrachtete Objekt, wodurch dessen Darstellungsproblem auf die Ebene beliebiger linearer Algebra-Daten gehoben wird und strukturelle Untersuchungen eher auf qualitative Invarianten und Reduktionstechniken als auf explizite Listen abzielen sollten.