Definition
Eine Klasse von endlichdimensionalen Algebren, deren endlichdimensionale indekomposable Module in jeder festen Dimension in endlich vielen diskreten Isomorphieklassen sowie in endlich vielen eindimensionalen (ein-Parameter-)Familien auftreten; konkret reduziert sich die Klassifikation auf eine endliche Liste diskreter Typen und endlich viele eindimensionale Familien bis auf endliche Äquivalenzen.
Prinzip
Prinzip
Tameness fasst die Idee zusammen, dass es zwar unendlich viele Indecomposable geben kann, deren Vielfalt jedoch kontrolliert ist: Indecomposable in jeder Dimension werden durch eine endliche Anzahl algebraischer ein-Parameter-Familien plus eine endliche Ausnahmemenge parametrisiert, sodass eine systematische Klassifikation prinzipiell möglich ist.
Demonstration
Demonstration
Konkretes Beispiel: der Kronecker-Quiver (zwei Knoten verbunden durch zwei parallele Pfeile) über einem algebraisch abgeschlossenen Körper ist ein typisches tame Beispiel: indekomposable Darstellungen treten als diskrete exzeptionelle Module und in ein-Parameter-Familien oder Tuben auf, die durch die projektive Linie parametrisiert werden.
Fehlanwendung
Fehlanwendung
Jede Algebra, die unendlich viele Indecomposable hat, automatisch als tame zu bezeichnen, ist falsch; Tameness verlangt, dass die unendlichen Familien im Wesentlichen eindimensional und einheitlich beschreibbar sind, nicht beliebige unendliche Komplexität oder wildes Zwei-Parameter-Verhalten.
Konsequenz
Konsequenz
Bei tamen Algebren kann man häufig ein praktikables Klassifikationsschema aufstellen: exzeptionelle Indecomposable auflisten und die ein-Parameter-Familien beschreiben, wodurch Deformations-, geometrische oder kombinatorische Methoden zur Analyse der Modulvarietäten einsetzbar werden.
Umkehrung
Umkehrung
Das Gegenstück sind wilde Algebren, bei denen Familien von Indecomposablem mit mindestens zwei Parametern existieren und eine familienweise Klassifikation nicht möglich ist; tame liegt in der Hierarchie strikt zwischen darstellungsendlichen und wilden Typen.
Abgrenzung
Abgrenzung
Geltungsbereich und Ausschlüsse: Tameness ist für endlichdimensionale oder Artin-Algebren über geeigneten Körpern definiert; sie behauptet nicht, dass jede strukturelle Frage einfach ist, nur dass sich die Indecomposable in die beschriebenen diskreten und eindimensionalen Typen einteilen lassen.
Semantische Spannung
Semantische Spannung
Die semantische Spannung besteht zwischen 'darstellungsendlich' (keine unendlichen Familien) und 'wild': tame steht zwischen diesen Extremen und kann verwechselt werden, wenn man nur auf das Vorhandensein unendlich vieler Indecomposable schaut statt auf die Parameterdimension der Familien.
Synthese
Synthese
Tame Darstellungstyp bezeichnet Algebren, deren indekomposable Module durch eine kontrollierte Liste diskreter Ausnahmen plus endlich viele ein-Parameter-Familien pro Dimension beschrieben werden können, was eine systematische Klassifikation ermöglicht, wenn auch nicht trivial.