Cluster algebras, quiver mutations and triangulated...
Transcript of Cluster algebras, quiver mutations and triangulated...
![Page 1: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/1.jpg)
Cluster algebras, quiver mutations and triangulated surfaces
Anna FeliksonDurham University
joint work with Michael Shapiro and Pavel Tumarkin
IMA Early Career Mathematicians Conference
April 21, 2018
![Page 2: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/2.jpg)
a
Coxeter groups
Root systems
Frieze patterns
Quiver representations
Dilogarithm identities
Supersymmetric gauge theories
Conformal field theory
Solitons
Mirror symmetry
Poisson geometry
Integrable systems
Tropical geometry
Combinatorics of polytopes
Triangulated surfaces
Teichmuller theory
Hyperbolic geometryCluster algebras
(Fomin, Zelevinsky, 2002)
![Page 3: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/3.jpg)
a
Coxeter groups
Root systems
Frieze patterns
Quiver representations
Dilogarithm identities
Supersymmetric gauge theories
Conformal field theory
Solitons
Mirror symmetry
Poisson geometry
Integrable systems
Tropical geometry
Combinatorics of polytopes
Triangulated surfaces
Teichmuller theory
Hyperbolic geometryCluster algebras
(Fomin, Zelevinsky, 2002)
Sergey Fomin
Andrei Zelevinsky
![Page 4: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/4.jpg)
a
Cluster algebras(Fomin, Zelevinsky, 2002)
Hyperbolic geometry
Coxeter groups
Teichmuller theory
Supersymmetric gauge theories
Triangulated surfaces
Combinatorics of polytopes
Tropical geometry
Integrable systems
Poisson geometry
Mirror symmetry
Solitons
Conformal field theory
Quiver representations
Frieze patterns
Root systems
Dilogarithm identities
![Page 5: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/5.jpg)
a
Cluster algebras(Fomin, Zelevinsky, 2002)
Hyperbolic geometry
Coxeter groups
Teichmuller theory
Supersymmetric gauge theories
Triangulated surfaces
Combinatorics of polytopes
Tropical geometry
Integrable systems
Poisson geometry
Mirror symmetry
Solitons
Conformal field theory
Quiver representations
Frieze patterns
Root systems
Dilogarithm identities
![Page 6: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/6.jpg)
a
Cluster algebras(Fomin, Zelevinsky, 2002)
Hyperbolic geometry
Coxeter groups
Teichmuller theory
Supersymmetric gauge theories
Triangulated surfaces
Combinatorics of polytopes
Tropical geometry
Integrable systems
Poisson geometry
Mirror symmetry
Solitons
Conformal field theory
Quiver representations
Frieze patterns
Root systems
Dilogarithm identities
![Page 7: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/7.jpg)
1. Quiver mutation
• Quiver is a directed graph without loops and 2-cycles.
• Mutation µk of quivers:
- reverse all arrows incident to k;
- for every oriented path through k do
kk
p pq q
r r′ = pq − r
µk
Example:
![Page 8: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/8.jpg)
1. Quiver mutation
• Quiver is a directed graph without loops and 2-cycles.
• Mutation µk of quivers:
- reverse all arrows incident to k;
- for every oriented path through k do
kk
p pq q
r r′ = pq − r
µk
Example:
![Page 9: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/9.jpg)
1. Quiver mutation
• Quiver is a directed graph without loops and 2-cycles.
• Mutation µk of quivers:
- reverse all arrows incident to k;
- for every oriented path through k do
kk
p pq q
r r′ = pq − r
µk
Example:
![Page 10: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/10.jpg)
1. Quiver mutation
Iterated mutations −→ many other quivers
Q −→ its mutation class
Property: µk ◦ µk(Q) = Q for any quiver Q.
Q
µ1
µ2
µ3
µ4
µ5
µ6
Definition. A quiver is of finite mutation type
if its mutation class contains finitely many quivers.
Question. Which quivers are of finite mutation type?
![Page 11: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/11.jpg)
1. Quiver mutation
Iterated mutations −→ many other quivers
Q −→ its mutation class
Property: µk ◦ µk(Q) = Q for any quiver Q.
Q
µ1
µ2
µ3
µ4
µ5
µ6
Definition. A quiver is of finite mutation type
if its mutation class contains finitely many quivers.
Question. Which quivers are of finite mutation type?
![Page 12: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/12.jpg)
1. Quiver mutation
Iterated mutations −→ many other quivers
Q −→ its mutation class
Property: µk ◦ µk(Q) = Q for any quiver Q.
Q
µ1
µ2
µ3
µ4
µ5
µ6
Definition. A quiver is of finite mutation type
if its mutation class contains finitely many quivers.
Question. Which quivers are of finite mutation type?
![Page 13: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/13.jpg)
1. Quiver mutation
Question. Which quivers are of finite mutation type?
Quick answer. Not many:
If Q is connected, |Q| ≥ 3 and Q contains arrowp−→ with p > 2,
then Q is mutation infinite.
Why: if q > r > 0, p > 2 then r′ = pq − r > q > r,
so the weghts grow under alternating mutations µ1, µ2.
11
22
p pq q
r r′ = pq − r
µ1 µ2
![Page 14: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/14.jpg)
2. Cluster algebra: seed mutation
A seed is a pair (Q,u) where
Q is a quiver with n := |Q| veritices,
u = (u1, . . . , un) is a set of rational functions
in variables (x1, . . . , xn).
Initial seed: (Q0,u0), where u0 = (x1, . . . , xn).
Seed mutation: µk(Q, (u1, . . . , un)) = (µk(Q), (u′1, . . . , u′n))
where u′k =1uk(∏i→k
ui +∏k→j
uj)products over allincoming/outgoing arrows
u′i = ui if i 6= k.
Cluster variable: a function ui in one of the seeds.
Cluster algebra: Q-subalgebra of Q(x1, . . . , xn) generated by all cluster variables.
![Page 15: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/15.jpg)
2. Cluster algebra: seed mutation
A seed is a pair (Q,u) where
Q is a quiver with n := |Q| veritices,
u = (u1, . . . , un) is a set of rational functions
in variables (x1, . . . , xn).
Initial seed: (Q0,u0), where u0 = (x1, . . . , xn).
Seed mutation: µk(Q, (u1, . . . , un)) = (µk(Q), (u′1, . . . , u′n))
where u′k =1uk(∏i→k
ui +∏k→j
uj)products over allincoming/outgoing arrows
u′i = ui if i 6= k.
Cluster variable: a function ui in one of the seeds.
Cluster algebra: Q-subalgebra of Q(x1, . . . , xn) generated by all cluster variables.
![Page 16: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/16.jpg)
2. Cluster algebra: seed mutation
A seed is a pair (Q,u) where
Q is a quiver with n := |Q| veritices,
u = (u1, . . . , un) is a set of rational functions
in variables (x1, . . . , xn).
Initial seed: (Q0,u0), where u0 = (x1, . . . , xn).
Seed mutation: µk(Q, (u1, . . . , un)) = (µk(Q), (u′1, . . . , u′n))
where u′k =1uk(∏i→k
ui +∏k→j
uj)products over allincoming/outgoing arrows
u′i = ui if i 6= k.
Cluster variable: a function ui in one of the seeds.
Cluster algebra: Q-subalgebra of Q(x1, . . . , xn) generated by all cluster variables.
![Page 17: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/17.jpg)
2. Cluster algebra: finite type
A cluster algebra is of finite type
if it contains finitely many cluster variables.
Theorem. (Fomin, Zelevinsky’ 2002)
A cluster algebra A(Q) is of finite type iff
Q is mutation-equivalent to an orientation
of a Dynkin diagram An, Dn, E6, E7, E8.
Note: Dynkin diagrams describe:
finite reflection groups, semisimple Lie algebras, surface singularities...
![Page 18: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/18.jpg)
2. Cluster algebra: finite type
A cluster algebra is of finite type
if it contains finitely many cluster variables.
Theorem. (Fomin, Zelevinsky’ 2002)
A cluster algebra A(Q) is of finite type iff
Q is mutation-equivalent to an orientation
of a Dynkin diagram An, Dn, E6, E7, E8.
An Dn
E6 E7 E8
Note: Dynkin diagrams describe:
finite reflection groups, semisimple Lie algebras, surface singularities...
![Page 19: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/19.jpg)
2. Cluster algebra: finite mutation type
A cluster algebra A(Q) is of finite mutation type
if Q is of finite mutation type.
finite type
finite mutation type
general quiver
mutation clusterclass variables
< ∞ < ∞< ∞ < ∞< ∞ < ∞< ∞ < ∞————————
![Page 20: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/20.jpg)
3. Finite mutation type: examples
1. n = 2.
2. Quivers arising from triangulated surfaces.
3. Finitely many except that.
(conjectured by Fomin, Shapiro, Thurston)
![Page 21: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/21.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 22: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/22.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 23: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/23.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 24: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/24.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 25: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/25.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 26: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/26.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
![Page 27: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/27.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
Remark. Q from a triangulation ⇒ weights of arrows ≤ 2.
(as every arc lies at most in two triangles)
Theorem. (Hatcher) Every two triangulations of the same surface
are connected by a sequence of flips.(Hatcher, Harer)
Corollary. (a) Quivers from triangulations of the same surface are
mutation-equivalent (and form the whole mutation class).
(b) Quivers from triangulations are mutation-finite.
Question. What else is mutation finite?
![Page 28: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/28.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
Remark. Q from a triangulation ⇒ weights of arrows ≤ 2.
(as every arc lies at most in two triangles)
Theorem. (Hatcher) Every two triangulations of the same surface
are connected by a sequence of flips.(Hatcher, Harer)
Corollary. (a) Quivers from triangulations of the same surface are
mutation-equivalent (and form the whole mutation class).
(b) Quivers from triangulations are mutation-finite.
Question. What else is mutation-finite?
![Page 29: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/29.jpg)
4. Quivers from triangulated surfaces
Triangulated surface −→ Quiver
edge of triangulation vertex of quiver
two edges of one triangle arrow of quiver
flip of triangulation mutation of quiver
Remark. Q from a triangulation ⇒ weights of arrows ≤ 2.
(as every arc lies at most in two triangles)
Theorem. (Hatcher) Every two triangulations of the same surface
are connected by a sequence of flips.(Hatcher, Harer)
Corollary. (a) Quivers from triangulations of the same surface are
mutation-equivalent (and form the whole mutation class).
(b) Quivers from triangulations are mutation-finite.
Question. What else is mutation-finite?
![Page 30: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/30.jpg)
4. Quivers from triangulations: description
(Fomin-Shapiro-Thurston)
Any triangulated surface can be glued of:
The corresponding quiver can be glued of blocks:
Proposition. (Fomin-Shapiro-Thurston)
{Q is from triangualation } ⇔ {Q is block-decomposable }
Question: How to find all mutation-finite
but not block-decomposable quivers?
![Page 31: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/31.jpg)
4. Quivers from triangulations: description
(Fomin-Shapiro-Thurston)
Any triangulated surface can be glued of:
The corresponding quiver can be glued of blocks:
Proposition. (Fomin-Shapiro-Thurston)
{Q is from triangualation } ⇔ {Q is block-decomposable }
Question: How to find all mutation-finite
but not block-decomposable quivers?
![Page 32: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/32.jpg)
4. Quivers from triangulations: description
(Fomin-Shapiro-Thurston)
Question: How to find all mutation-finite
but not block-decomposable quivers?
Interlude:How to to classify discrete reflection groups in hyperbolic space?
1. They correspond to some polytopes (described by some diagrams);
2. Combinatorics of these polytopes is described by:
a. subdiagrams corresponding to finite subgroups (classified) ;
b. minimal subdiagrams correponding to infinite subgroups.
Idea: Classify minimal non-decomposable quivers.
![Page 33: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/33.jpg)
4. Quivers from triangulations: description
(Fomin-Shapiro-Thurston)
Question: How to find all mutation-finite
but not block-decomposable quivers?
Interlude:How to to classify discrete reflection groups in hyperbolic space?
1. They correspond to some polytopes (described by some diagrams);
2. Combinatorics of these polytopes is described by:
a. subdiagrams corresponding to finite subgroups (classified) ;
b. minimal subdiagrams correponding to infinite subgroups.
Idea: Classify minimal non-decomposable quivers.
![Page 34: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/34.jpg)
4. Quivers from triangulations: description
(Fomin-Shapiro-Thurston)
Question: How to find all mutation-finite
but not block-decomposable quivers?
Interlude:How to to classify discrete reflection groups in hyperbolic space?
1. They correspond to some polytopes (described by some diagrams);
2. Combinatorics of these polytopes is described by:
a. subdiagrams corresponding to finite subgroups (classified) ;
b. minimal subdiagrams correponding to infinite subgroups.
Idea: Classify minimal non-decomposable quivers.
![Page 35: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/35.jpg)
Lemma 1. If Q is a minimal non-decomposable quiver then |Q| ≤ 7.
Lemma 2. If Q is a minimal non-decomposable mutation-finite quiver
then is mutation equivalent to one of
2 2
Now: - add vertices to these quivers (and their mutations) one by one
- check the obtained quiver is still mutation-finite.
![Page 36: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/36.jpg)
Theorem 1. (A.F, M.Shapiro, P.Tumarkin’ 2008)
Let Q be a connected quiver of finite mutation type. Then
- either |Q| = 2;
- or Q is obtained from a triangulated surface;
- or Q is mut.-equivalent to one of the following 11 quivers:
2 2 2
2
2
2
2
2
![Page 37: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/37.jpg)
Proof:
![Page 38: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/38.jpg)
Proof: terrible, technical .... -but follows the same steps
as some classifications of reflection groups
![Page 39: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/39.jpg)
Proof: terrible, technical .... -but follows the same steps
as some classifications of reflection groups
Example. Logic scheme for a proof of some small lemma:
![Page 40: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/40.jpg)
Proof: terrible, technical .... -but follows the same steps
as some classifications of reflection groups
Andrei Zelevinsky: “For this sort of proofs the authors should be sent to Solovki”
![Page 41: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/41.jpg)
Proof: terrible, technical .... -but follows the same steps
as some classifications of reflection groups
Andrei Zelevinsky: “For this sort of proofs the authors should be sent to Solovki”
![Page 42: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/42.jpg)
Proof: terrible, technical .... -but follows the same steps
as some classifications of reflection groups
Andrei Zelevinsky: “For this sort of proofs the authors should be sent to Solovki”
![Page 43: Cluster algebras, quiver mutations and triangulated ...maths.dur.ac.uk/users/anna.felikson/talks/cl_alg30min.pdfPoisson geometry Integrable systems Tropical geometry Combinatorics](https://reader034.fdocuments.net/reader034/viewer/2022050307/5f6fe864d9e7dd056e62a12b/html5/thumbnails/43.jpg)
finite type
finite mutation type
general quiver