Cluster-Algebra
In der Mathematik werden Cluster-Algebren unter anderem in Darstellungstheorie, niedrig-dimensionaler Topologie und höherer Teichmüller-Theorie verwendet. Cluster-Algebren sind Unteralgebren von , gegeben durch Erzeuger, die in n-elementigen "Clustern" zusammengefasst sind mit durch schiefsymmetrische -Austausch-Matrizen gegebenen Übergangsregeln (sog. Mutationen) zwischen Clustern.
Sie wurden 2002 von Andrei Zelevinsky und Sergey Fomin eingeführt.
Definition
[Bearbeiten | Quelltext bearbeiten]Ein Cluster ist ein Paar aus
- einem n-Tupel algebraisch unabhängiger Variablen,
- einer schiefsymmetrischen, ganzzahligen -Matrix , der Austauschmatrix.
Für wird die Mutation definiert durch mit
- für
- , falls
- .
ist ebenfalls ein Cluster, sind Involutionen.
Eine Cluster-Algebra entsteht aus einem Cluster durch iterierte Anwendung aller möglichen Mutationen . Die Cluster-Algebra heißt von endlichem Typ, wenn es nur endlich viele Cluster gibt.
Beispiele
[Bearbeiten | Quelltext bearbeiten]Für muss die schiefsymmetrische Matrix sein, man berechnet
- .
Wegen ist dies eine Cluster-Algebra von endlichem Typ, sie entspricht der Cartan-Matrix .
Sei und . Man berechnet
Diese Cluster-Algebra ist also von endlichem Typ, sie entspricht der Cartan-Matrix .
Für und erhält man Cluster-Algebren unendlichen Typs.
Cluster-Algebren topologischen Ursprungs
[Bearbeiten | Quelltext bearbeiten]Einer triangulierten orientierten Fläche ordnet man eine Cluster-Algebra zu wie folgt:
- die Variablen sind die Kanten der Triangulierung,
- , falls die i-te und j-te Kante innerhalb eines Dreiecks im Uhrzeigersinn aufeinander folgen,
- , falls die j-te und i-te Kante innerhalb eines Dreiecks im Uhrzeigersinn aufeinander folgen,
- sonst.
Allgemeiner kann man Cluster-Algebren auch zu in (möglicherweise degenerierte) Dreiecke zerlegten Flächen assoziieren (siehe die Arbeiten von Fomin-Shapiro-Thurston), die so erhaltenen Cluster-Algebren heißen Cluster-Algebren topologischen Ursprungs.
Die Mutationen sind in diesem Fall gegeben durch Flips der Kanten der Triangulierung, d. h. zu einer Kante betrachtet man das von den beiden adjazenten Dreiecken aufgespannte Viereck und ersetzt die Kante dann durch die andere Diagonale dieses Vierecks.
Cluster-Algebren endlichen Typs
[Bearbeiten | Quelltext bearbeiten]Fomin und Zelevinsky bewiesen, dass es eine Bijektion zwischen Cluster-Algebren endlichen Typs und Cartan-Matrizen endlichen Typs gibt. Cluster-Algebren endlichen Typs werden also durch Dynkin-Diagramme klassifiziert. Die Cartan-Matrizen lassen sich aus den Austausch-Matrizen berechnen.
Felikson, Shapiro und Tumarkin bewiesen, dass Cluster-Algebren mutations-endlichen Typs entweder Cluster-Algebren topologischen Ursprungs sind oder äquivalent zu einer von 11 Ausnahme-Algebren. Mutations-Endlichkeit ist allgemeiner als von endlichem Typ.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Fomin, Sergey; Zelevinsky, Andrei: Cluster algebras. I. Foundations. J. Amer. Math. Soc. 15 (2002), no. 2, 497–529 pdf
- Fomin, Sergey; Zelevinsky, Andrei: Cluster algebras. II. Finite type classification. Invent. Math. 154 (2003), no. 1, 63–121. pdf
- Fomin, Sergey; Shapiro, Michael; Thurston, Dylan: Cluster algebras and triangulated surfaces. I. Cluster complexes. Acta Math. 201 (2008), no. 1, 83–146. pdf
- Felikson, Anna; Shapiro, Michael; Tumarkin, Pavel: Skew-symmetric cluster algebras of finite mutation type. J. Eur. Math. Soc. (JEMS) 14 (2012), no. 4, 1135–1180. pdf
Weblinks
[Bearbeiten | Quelltext bearbeiten]- What is a cluster algebra? (2007; PDF; 103 kB)
- Fomin, Sergey: Total positivity and cluster algebras. (PDF; 332 kB) Proceedings of the International Congress of Mathematicians. Volume II, 125–145, Hindustan Book Agency, New Delhi, 2010.
- Leclerc, Bernard Cluster algebras and representation theory. (PDF; 257 kB) Proceedings of the International Congress of Mathematicians. Volume IV, 2471–2488, Hindustan Book Agency, New Delhi, 2010
- Williams, Lauren: Cluster algebras: an introduction. (PDF) Bulletin of the American Mathematical Society 51, no. 1, 1–26 (2014).
- Cluster algebras portal