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 $\mathbb {Q} (x_{1},\ldots ,x_{n})$ , gegeben durch Erzeuger, die in n-elementigen "Clustern" zusammengefasst sind mit durch schiefsymmetrische $n\times n$ -Austausch-Matrizen gegebenen Übergangsregeln (sog. Mutationen) zwischen Clustern.

Sie wurden 2002 von Andrei Zelevinsky und Sergey Fomin eingeführt.

Definition

Ein Cluster $(x,B)$ ist ein Paar aus

einem n-Tupel $x=(x_{1},\ldots ,x_{n})$ algebraisch unabhängiger Variablen,
einer schiefsymmetrischen, ganzzahligen $n\times n$ -Matrix $B=(b_{ij})$ , der Austauschmatrix.

Für $k=1,\ldots ,n$ wird die Mutation $\mu _{k}$ definiert durch $\mu _{k}(x,B)=({\tilde {x}},{\tilde {B}})$ mit

{\tilde {x}}_{i}=x_{i}

für

i\neq k

{\tilde {x}}_{k}={\frac {1}{x_{k}}}\left(\prod _{\{j\colon b_{jk}>0\}}x_{j}^{b_{jk}}+\prod _{\{j\colon b_{jk}<0\}}x_{j}^{-b_{jk}}\right)

{\tilde {b}}_{ij}=b_{ij}+{\frac {|b_{ik}|b_{kj}+b_{ik}|b_{kj}|}{2}}

, falls

i\neq k,j\neq k

{\tilde {b}}_{kj}=-b_{kj},{\tilde {b}}_{ik}=-b_{ik}

.

$\mu _{k}(x,B)$ ist ebenfalls ein Cluster, $\mu _{1},\ldots ,\mu _{n}$ sind Involutionen.

Eine Cluster-Algebra entsteht aus einem Cluster durch iterierte Anwendung aller möglichen Mutationen $\mu _{1},\ldots ,\mu _{n}$ . Die Cluster-Algebra heißt von endlichem Typ, wenn es nur endlich viele Cluster gibt.

Beispiele

A1

Für $n=1$ muss die schiefsymmetrische Matrix $B=0$ sein, man berechnet

\mu _{1}((x_{1}),0)=(({\frac {2}{x_{1}}}),0)

.

Wegen $\mu _{1}^{2}=id$ ist dies eine Cluster-Algebra von endlichem Typ, sie entspricht der Cartan-Matrix $A_{1}$ .

A2

Sei $n=2$ und $b_{12}=-b_{21}=1$ . Man berechnet

\mu _{1}((x_{1},x_{2}),B)=(({\frac {1+x_{2}}{x_{1}}},x_{2}),-B),\mu _{2}(x_{1},x_{2})=((x_{1},{\frac {1+x_{2}}{x_{1}}}),-B),

\mu _{2}\mu _{1}((x_{1},x_{2}),B)=(({\frac {1+x_{2}}{x_{1}}}),{\frac {1+x_{1}+x_{2}}{x_{1}x_{2}}}),B),\mu _{1}\mu _{2}((x_{1},x_{2}),B)=(({\frac {1+x_{1}+x_{2}}{x_{1}x_{2}}},{\frac {1+x_{1}}{x_{2}}}),B),

\mu _{1}\mu _{2}\mu _{1}((x_{1},x_{2}),B)=(({\frac {1+x_{1}}{x_{2}}},{\frac {1+x_{1}+x_{2}}{x_{1}x_{2}}}),-B),\mu _{2}\mu _{1}\mu _{2}((x_{1},x_{2}),B)=(({\frac {1+x_{1}+x_{2}}{x_{1}x_{2}}},{\frac {1+x_{2}}{x_{1}}}),-B),

\mu _{2}\mu _{1}\mu _{2}\mu _{1}((x_{1},x_{2}),B)=(({\frac {1+x_{1}}{x_{2}}},x_{1}),B),\mu _{1}\mu _{2},\mu _{1}\mu _{2}((x_{1},x_{2}),B)=((x_{2},{\frac {1+x_{2}}{x_{1}}}),B),

\mu _{1}\mu _{2}\mu _{1}\mu _{2}\mu _{1}((x_{1},x_{2}),B)=((x_{2},x_{1}),-B),\mu _{2}\mu _{1}\mu _{2},\mu _{1}\mu _{2}((x_{1},x_{2}),B)=((x_{2},x_{1}),-B),

\ldots

\mu _{2}\mu _{1}\mu _{2},\mu _{1}\mu _{2}\mu _{1}\mu _{2}\mu _{1}\mu _{2}\mu _{1}((x_{1},x_{2}),B)=((x_{1},x_{2}),B),\mu _{1}\mu _{2}\mu _{1}\mu _{2}\mu _{1}\mu _{2}\mu _{1}\mu _{2},\mu _{1}\mu _{2}((x_{1},x_{2}),B)=((x_{1},x_{2}),B).

Diese Cluster-Algebra ist also von endlichem Typ, sie entspricht der Cartan-Matrix $A_{2}$ .

Für $n=2$ und $\mid b_{12}\mid \geq 2$ erhält man Cluster-Algebren unendlichen Typs.

Cluster-Algebren topologischen Ursprungs

Einer triangulierten orientierten Fläche ordnet man eine Cluster-Algebra $(x,B)$ zu wie folgt:

die Variablen sind die Kanten der Triangulierung,
$b_{ij}=1$ , falls die i-te und j-te Kante innerhalb eines Dreiecks im Uhrzeigersinn aufeinander folgen,
$b_{ij}=-1$ , falls die j-te und i-te Kante innerhalb eines Dreiecks im Uhrzeigersinn aufeinander folgen,
$b_{ij}=0$ 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

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

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.