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

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

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

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

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

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

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

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

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.