![Page 1: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/1.jpg)
THE ASSOCIAHEDRONAND ITS FRIENDS
V. PILAUD(CNRS & LIX)
Seminaire
Lotharingien
de Combinatoire
April 4 – 6, 2016
![Page 2: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/2.jpg)
PROGRAM
I. THREE CONSTRUCTIONS OF THE ASSOCIAHEDRON
• Compatibility fan and cluster algebras
• Loday’s associahedron and Hopf algebras
• Secondary polytope
II. GRAPH ASSOCIAHEDRA
• Graphical nested complexes
• Compatibility fans for graphical nested complexes
• Signed tree associahedra
III. BRICK POLYTOPES AND THE TWIST ALGEBRA
• [Multi][pseudo]triangulations and sorting networks
• The brick polytope
• The twist algebra
![Page 3: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/3.jpg)
I. THREE CONSTRUCTIONSOF THE ASSOCIAHEDRON
������
�����������
@@
@@
�������
�����
����
@@
@@BBBBBB
@@@
@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
![Page 4: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/4.jpg)
FANS & POLYTOPES
Ziegler, Lectures on polytopes (’95)Matousek, Lectures on Discrete Geometry (’02)
![Page 5: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/5.jpg)
SIMPLICIAL COMPLEX
simplicial complex = collection of subsets of X downward closed
exm:
X = [n] ∪ [n]
∆ = {I ⊆ X | ∀i ∈ [n], {i, i} 6⊆ I}12 13 13 12 23 23 23 23 12 13 13 12
1 2 3 3 2 1
123 123 123 123 123 123 123 123
![Page 6: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/6.jpg)
FANS
polyhedral cone = positive span of a finite set of Rd
= intersection of finitely many linear half-spaces
fan = collection of polyhedral cones closed by faces
and where any two cones intersect along a face
simplicial fan = maximal cones generated by d rays
![Page 7: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/7.jpg)
POLYTOPES
polytope = convex hull of a finite set of Rd
= bounded intersection of finitely many affine half-spaces
face = intersection with a supporting hyperplane
face lattice = all the faces with their inclusion relations
simple polytope = facets in general position = each vertex incident to d facets
![Page 8: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/8.jpg)
SIMPLICIAL COMPLEXES, FANS, AND POLYTOPES
P polytope, F face of P
normal cone of F = positive span of the outer normal vectors of the facets containing F
normal fan of P = { normal cone of F | F face of P }
simple polytope =⇒ simplicial fan =⇒ simplicial complex
![Page 9: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/9.jpg)
EXAMPLE: PERMUTAHEDRON
Hohlweg, Permutahedra and associahedra (’12)
![Page 10: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/10.jpg)
PERMUTAHEDRON
34123421
43214312
2413
4213
3214
14231432
1342
12431234
21341324
2341
2431
31242314
Permutohedron Perm(n)
= conv {(σ(1), . . . , σ(n + 1)) | σ ∈ Σn+1}
= H ∩⋂
∅6=J([n+1]
{x ∈ Rn+1
∣∣∣∣ ∑j∈J
xj ≥(|J | + 1
2
)}
![Page 11: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/11.jpg)
PERMUTAHEDRON
34123421
43214312
2413
4213
3214
14231432
1342
12431234
21341324
2341
2431
31242314
Permutohedron Perm(n)
= conv {(σ(1), . . . , σ(n + 1)) | σ ∈ Σn+1}
= H ∩⋂
∅6=J([n+1]
{x ∈ Rn+1
∣∣∣∣ ∑j∈J
xj ≥(|J | + 1
2
)}connections to
• weak order
• reduced expressions
• braid moves
• cosets of the symmetric group
![Page 12: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/12.jpg)
PERMUTAHEDRON
34123421
43214312
2413
4213
3214
14231432
1342
12431234
21341324
2341
2431
31242314
1211
1221
1222
1212
2212
1112
2211
2321
13212331
12311332
1322
1232
1233
1323
1223
1312 2313
1213
2113
32132312
32122311
32113321
1123
2123
3312
Permutohedron Perm(n)
= conv {(σ(1), . . . , σ(n + 1)) | σ ∈ Σn+1}
= H ∩⋂
∅6=J([n+1]
{x ∈ Rn+1
∣∣∣∣ ∑j∈J
xj ≥(|J | + 1
2
)}connections to
• weak order
• reduced expressions
• braid moves
• cosets of the symmetric group
k-faces of Perm(n)≡ surjections from [n + 1]
to [n + 1− k]
![Page 13: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/13.jpg)
PERMUTAHEDRON
3|4|1|24|3|1|2
4|3|2|13|4|2|1
3|1|4|2
3|2|4|1
3|2|1|4
1|3|4|21|4|3|2
1|4|2|3
1|2|4|31|2|3|4
2|1|3|41|3|2|4
4|1|2|3
4|1|3|2
2|3|1|43|1|2|4
134|2
14|23
1|234
13|24
3|124
123|4
34|12
4|13|2
14|3|24|1|23
14|2|31|4|23
1|24|3
13|2|4
1|23|4
13|4|2 3|1|24
13|2|4
23|1|4
3|2|143|14|2
3|24|1
12|3|41|2|34
2|13|4
34|2|13|4|1234|1|2
4|3|12
Permutohedron Perm(n)
= conv {(σ(1), . . . , σ(n + 1)) | σ ∈ Σn+1}
= H ∩⋂
∅6=J([n+1]
{x ∈ Rn+1
∣∣∣∣ ∑j∈J
xj ≥(|J | + 1
2
)}connections to
• weak order
• reduced expressions
• braid moves
• cosets of the symmetric group
k-faces of Perm(n)≡ surjections from [n + 1]
to [n + 1− k]
≡ ordered partitions of [n + 1]
into n + 1− k parts
![Page 14: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/14.jpg)
PERMUTAHEDRON
3|4|1|24|3|1|2
4|3|2|13|4|2|1
3|1|4|2
3|2|4|1
3|2|1|4
1|3|4|21|4|3|2
1|4|2|3
1|2|4|31|2|3|4
2|1|3|41|3|2|4
4|1|2|3
4|1|3|2
2|3|1|43|1|2|4
134|2
14|23
1|234
13|24
3|124
123|4
34|12
4|13|2
14|3|24|1|23
14|2|31|4|23
1|24|3
13|2|4
1|23|4
13|4|2 3|1|24
13|2|4
23|1|4
3|2|143|14|2
3|24|1
12|3|41|2|34
2|13|4
34|2|13|4|1234|1|2
4|3|12
Permutohedron Perm(n)
= conv {(σ(1), . . . , σ(n + 1)) | σ ∈ Σn+1}
= H ∩⋂
∅6=J([n+1]
{x ∈ Rn+1
∣∣∣∣ ∑j∈J
xj ≥(|J | + 1
2
)}connections to
• weak order
• reduced expressions
• braid moves
• cosets of the symmetric group
k-faces of Perm(n)≡ surjections from [n + 1]
to [n + 1− k]
≡ ordered partitions of [n + 1]
into n + 1− k parts
≡ collections of n− k nested
subsets of [n + 1]
![Page 15: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/15.jpg)
COXETER ARRANGEMENT
34|12
134|23|124
13|24
123|41|234
14|23
3|4|1|24|3|1|2
4|3|2|1 3|4|2|1
3|1|4|2
3|2|4|1
3|2|1|41|3|4|21|4|3|2
1|4|2|3
1|2|4|31|2|3|4
2|1|3|4
1|3|2|4
4|1|2|3
4|1|3|2
2|3|1|4
3|1|2|4
Coxeter fan
= fan defined by the hyperplane arrangement{x ∈ Rn+1
∣∣ xi = xj}
1≤i<j≤n+1
= collection of all cones{x ∈ Rn+1
∣∣ xi < xj if π(i) < π(j)}
for all surjections π : [n + 1]→ [n + 1− k]
(n− k)-dimensional cones
≡ surjections from [n + 1]
to [n + 1− k]
≡ ordered partitions of [n + 1]
into n + 1− k parts
≡ collections of n− k nested
subsets of [n + 1]
![Page 16: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/16.jpg)
ASSOCIAHEDRA
Ceballos-Santos-Ziegler,Many non-equivalent realizations of the associahedron (’11)
![Page 17: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/17.jpg)
ASSOCIAHEDRON
Associahedron = polytope whose face lattice is isomorphic to the lattice of crossing-free
sets of internal diagonals of a convex (n + 3)-gon, ordered by reverse inclusion
vertices ↔ triangulations
edges ↔ flips
faces ↔ dissections
vertices ↔ binary trees
edges ↔ rotations
faces ↔ Schroder trees
![Page 18: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/18.jpg)
VARIOUS ASSOCIAHEDRA
Associahedron = polytope whose face lattice is isomorphic to the lattice of crossing-free
sets of internal diagonals of a convex (n + 3)-gon, ordered by reverse inclusion
(Pictures by Ceballos-Santos-Ziegler)Tamari (’51) — Stasheff (’63) — Haimann (’84) — Lee (’89) —
. . . — Gel’fand-Kapranov-Zelevinski (’94) — . . . — Chapoton-Fomin-Zelevinsky (’02) — . . . — Loday (’04) — . . .
— Ceballos-Santos-Ziegler (’11)
![Page 19: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/19.jpg)
THREE FAMILIES OF REALIZATIONS
SECONDARY
POLYTOPE
Gelfand-Kapranov-Zelevinsky (’94)
Billera-Filliman-Sturmfels (’90)
LODAY’S
ASSOCIAHEDRON
Loday (’04)
Hohlweg-Lange (’07)
Hohlweg-Lange-Thomas (’12)
CHAP.-FOM.-ZEL.’S
ASSOCIAHEDRON
������
�����������
@@@@
�������
�����
����
@@@@BBBBBB
@@
@@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
(Pictures by CFZ)
Chapoton-Fomin-Zelevinsky (’02)
Ceballos-Santos-Ziegler (’11)
![Page 20: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/20.jpg)
THREE FAMILIES OF REALIZATIONS
SECONDARY
POLYTOPE
Gelfand-Kapranov-Zelevinsky (’94)
Billera-Filliman-Sturmfels (’90)
LODAY’S
ASSOCIAHEDRON
Loday (’04)
Hohlweg-Lange (’07)
Hohlweg-Lange-Thomas (’12)
Hopf
algebra
Cluster
algebras
CHAP.-FOM.-ZEL.’S
ASSOCIAHEDRON
������
�����������
@@@@
�������
�����
����
@@@@BBBBBB
@@
@@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
(Pictures by CFZ)
Chapoton-Fomin-Zelevinsky (’02)
Ceballos-Santos-Ziegler (’11)
Cluster
algebras
��������
�����������
@@@
���
�����
������
@@@
HHHH
H
���BBBB
HHH
@@
@@
@@@
HHH
���A
AA�� ��
HHHHH
p p p p p p pp p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppppppppα2
α1+α2α2+α3
2α2 + α3
α1
α3
2α1 + 2α2 + α3
![Page 21: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/21.jpg)
COMPATIBILITY FAN
Chapoton-Fomin-Zelevinsky, Polytopal realizations of generalized assoc. (’02)Ceballos-Santos-Ziegler, Many non-equiv. realizations of the assoc. (’11)
Manneville-P., Compatibility fans for graphical nested complexes (’15+)
![Page 22: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/22.jpg)
COMPATIBILITY FANS FOR ASSOCIAHEDRA
T◦ an initial triangulation
δ, δ′ two internal diagonals
compatibility degree between δ and δ′:
(δ ‖ δ′) =
−1 if δ = δ′
0 if δ and δ′ do not cross1 if δ and δ′ cross
compatibility vector of δ wrt T◦:
d(T◦, δ) =[(δ◦ ‖ δ)
]δ◦∈T◦
compatibility fan wrt T◦:
D(T◦) = {R≥0 d(T◦,D) | D dissection}
Fomin-Zelevinsky, Y -Systems and generalized associahedra (’03)
Fomin-Zelevinsky, Cluster algebras II: Finite type classification (’03)
Chapoton-Fomin-Zelevinsky, Polytopal realizations of generalized associahedra (’02)
Ceballos-Santos-Ziegler, Many non-equivalent realizations of the associahedron (’11)
![Page 23: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/23.jpg)
COMPATIBILITY FANS FOR ASSOCIAHEDRA
Different initial triangulations T◦ yield different realizations
THM. For any initial triangulation T◦, the cones {R≥0 d(T◦,D) | D dissection} form a
complete simplicial fan. Moreover, this fan is always polytopal.
Ceballos-Santos-Ziegler, Many non-equivalent realizations of the associahedron (’11)
![Page 24: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/24.jpg)
A EB
CC
DD
E
A
F
JGH
H
I
I
JK
K
L
L
MM
B
FG
CHAPOTON-FOMIN-ZELEVINSKY’S ASSOCIAHEDRON
![Page 25: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/25.jpg)
CLUSTER ALGEBRAS
Fomin-Zelevinsky, Cluster Algebras I, II, III, IV (’02 – ’07)
![Page 26: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/26.jpg)
CLUSTER ALGEBRAS
cluster algebra = commutative ring generated by distinguished cluster variables grouped
into overlapping clusters
clusters computed by a mutation process :
cluster seed = algebraic data {x1, . . . , xn}, combinatorical data B (matrix or quiver)
cluster mutation =({x1, . . . , xk, . . . , xn}, B
) µk←−−→({x1, . . . , x
′k, . . . , xn}, µk(B)
)xk · x′k =
∏{i | bik>0}
xbiki +∏
{i | bik<0}
x−biki
(µk(B)
)ij
=
−bij if k ∈ {i, j}bij + |bik| · bkj if k /∈ {i, j} and bik · bkj > 0
bij otherwise
cluster complex = simplicial complex w/ vertices = cluster variables & facets = clusters
Fomin-Zelevinsky, Cluster Algebras I, II, III, IV (’02 – ’07)
![Page 27: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/27.jpg)
CLUSTER MUTATION
x3x1
x2
![Page 28: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/28.jpg)
CLUSTER MUTATION
x3x1
x2
x3
x2
x4
x4 =1 + x2
x1
![Page 29: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/29.jpg)
CLUSTER MUTATION
x3x1
x2
x1
x2
x3
x2
x4 x6
x4 =1 + x2
x1x6 =
1 + x2
x3
![Page 30: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/30.jpg)
CLUSTER MUTATION
x3x1
x2
x1
x2
x3
x2
x3x1
x5
x4 x6
x4 =1 + x2
x1
x5 =x1 + x3
x2
x6 =1 + x2
x3
![Page 31: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/31.jpg)
CLUSTER MUTATION GRAPH
x3x1
x2
x1
x2
x3
x2
x3x1
x5
x1
x5
x2
x4
x3x4
x6
x1 x6
x4 x6
x4 x6
x8
x8x3
x5
x5
x4 x6
x8
x8
x5
x7
x7
x7
x7
x9
x9 x9
x9
x9
x3 x1
x4 =1 + x2
x1
x2
x5 =x1 + x3
x2
x6 =1 + x2
x3
x9 =(x1 + x3)(1 + x2)
x1x2x3
x7=x1+x3+x2 x
3
x1 x
2
x 8=
x 1+x 3
+x 1x 2
x 2x 3
![Page 32: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/32.jpg)
CLUSTER ALGEBRA FROM TRIANGULATIONS
One constructs a cluster algebra from the triangulations of a polygon:
diagonals ←→ cluster variables
triangulations ←→ clusters
flip ←→ mutation
b d
a
cx b d
a
cy ←→ xy = ac + bd
![Page 33: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/33.jpg)
CLUSTER MUTATION GRAPH
x3x1
x2
x1
x2
x3
x2
x3x1
x5
x1
x5
x2
x4
x3x4
x6
x1x6
x4 x6
x4 x6
x8
x8x3
x5
x5
x4 x6x8
x8
x5
x7
x7
x7
x7
x9
x9 x9
x9
x9
x3 x1
x4 =1 + x2
x1
x2
x5 =x1 + x3
x2
x6 =1 + x2
x3
x9 =(x1 + x3)(1 + x2)
x1x2x3
x7=x1+x3+x2 x
3
x1 x
2
x 8=
x 1+x 3
+x 1x 2
x 2x 3
![Page 34: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/34.jpg)
CLUSTER ALGEBRAS
THM. (Laurent phenomenon)
All cluster variables are Laurent polynomials in the variables of the initial cluster seed.
Fomin-Zelevinsky, Cluster algebras I: Fundations (’02)
![Page 35: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/35.jpg)
CLUSTER ALGEBRAS
THM. (Laurent phenomenon)
All cluster variables are Laurent polynomials in the variables of the initial cluster seed.
Fomin-Zelevinsky, Cluster algebras I: Fundations (’02)
Exm: Conway-Coxeter friezes
1 4313312 2
3 3124131 1
0 0000000 0
5 5135513 3
0 0000000 0
2 3228217 7
1 1111111 1
2 8173222 2
1 1111111 1...
...
...
...
...
...
...
...
......
...
...
...
...
...
...
...
...
![Page 36: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/36.jpg)
CLUSTER ALGEBRAS
THM. (Laurent phenomenon)
All cluster variables are Laurent polynomials in the variables of the initial cluster seed.
Fomin-Zelevinsky, Cluster algebras I: Fundations (’02)
THM. (Classification)
Finite type cluster algebras are classified by the Cartan-Killing classification for crystal-
lographic root systems.Fomin-Zelevinsky, Cluster algebras II: Finite type classification (’03)
for a root system Φ, and an acyclic initial cluster X = {x1, . . . , xn}, there is a bijection
cluster variables of AΦθX←−−→ Φ≥−1 = Φ+ ∪ −∆
y =F (x1, . . . , xn)
xd11 · · · xdnn
θX←−−→ β = d1α1 + · · · + dnαn
cluster of AΦθX←−−→ X-cluster in Φ≥−1
cluster complex of AΦθX←−−→ X-cluster complex in Φ≥−1
see a short introduction to finite Coxeter groups
![Page 37: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/37.jpg)
CLUSTER/DENOMINATOR/COMPATIBILITY FAN
THM. Φ crystallographic root system, X acyclic initial cluster of AΦ,
θX : cluster variables of AΦ 7−→ almost postive roots Φ≥−1 = Φ+ ∪ −∆
The collection of cones
{R≥0 · θ(Y ) | Y cluster of AΦ}
is a complete simplicial fan, called cluster fan, denominator fan, or compatibility fan.
Moreover, this fan is always polytopal.
Chapoton-Fomin-Zelevinsky, Polytopal realizations of generalized associahedra (’02)
������
�����������
@@
@@
�������
�����
����
@@
@@BBBBBB
@@@
@@@
@@��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
��������
�����������
@@@���
�����
������
@@@
HHH
HH
���BBBB
HHH
@@@
@@@@
HHH
���A
AA�� ��
HHHHH
p p p p p p pp p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppppppppα2
α1+α2α2+α3
2α2 + α3
α1
α3
2α1 + 2α2 + α3
Type A Type B
![Page 38: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/38.jpg)
THREE FAMILIES OF REALIZATIONS
SECONDARY
POLYTOPE
Gelfand-Kapranov-Zelevinsky (’94)
Billera-Filliman-Sturmfels (’90)
LODAY’S
ASSOCIAHEDRON
Loday (’04)
Hohlweg-Lange (’07)
Hohlweg-Lange-Thomas (’12)
Hopf
algebra
Cluster
algebras
CHAP.-FOM.-ZEL.’S
ASSOCIAHEDRON
������
�����������
@@@@
�������
�����
����
@@@@BBBBBB
@@
@@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
(Pictures by CFZ)
Chapoton-Fomin-Zelevinsky (’02)
Ceballos-Santos-Ziegler (’11)
Cluster
algebras
��������
�����������
@@@
���
�����
������
@@@
HHHH
H
���BBBB
HHH
@@
@@
@@@
HHH
���A
AA�� ��
HHHHH
p p p p p p pp p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppppppppα2
α1+α2α2+α3
2α2 + α3
α1
α3
2α1 + 2α2 + α3
![Page 39: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/39.jpg)
LODAY’S ASSOCIAHEDRON
Loday, Realization of the Stasheff polytope (’04)
![Page 40: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/40.jpg)
LODAY’S ASSOCIAHEDRON
Asso(n) := conv {L(T) | T binary tree} = H ∩⋂
1≤i≤j≤n+1
H≥(i, j)
L(T) :=[`(T, i) · r(T, i)
]i∈[n+1]
H≥(i, j) :=
{x ∈ Rn+1
∣∣∣∣ ∑i≤k≤j
xi ≥(j − i + 2
2
)}Loday, Realization of the Stasheff polytope (’04)
7654321
2
1
38
1
12
1
![Page 41: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/41.jpg)
LODAY’S ASSOCIAHEDRON
Asso(n) := conv {L(T) | T binary tree} = H ∩⋂
1≤i≤j≤n+1
H≥(i, j)
L(T) :=[`(T, i) · r(T, i)
]i∈[n+1]
H≥(i, j) :=
{x ∈ Rn+1
∣∣∣∣ ∑i≤k≤j
xi ≥(j − i + 2
2
)}Loday, Realization of the Stasheff polytope (’04)
123
321
213
312
141
![Page 42: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/42.jpg)
LODAY’S ASSOCIAHEDRON
Asso(n) obtained by deleting inequalities in facet description of the permutahedron
normal cone of L(T) in Asso(n) = {x ∈ H | xi < xj for all i→ j in T}=⋃σ−1∈L(T) normal cone of σ in Perm(n)
123
321
213 132
312 231
x1=x2 x2=x3
x1=x3 141
![Page 43: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/43.jpg)
D
A
E
M K
A
B
B
C
C
D
FE
J
G
G
H
H
I
I
J
M
F
L
L K
LODAY’S ASSOCIAHEDRON
![Page 44: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/44.jpg)
TAMARI LATTICE
Tamari lattice = slope increasing flips on triangulations
slope
increasing
flip
−−−−−→
i j
i j
Tamari Festschrift (’12)
![Page 45: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/45.jpg)
TAMARI LATTICE
Tamari lattice = slope increasing flips on triangulations
= right rotations on binary trees
slope
increasing
flip
−−−−−→
i j
i j
i
j
L B
R
A
i
jL
B R
A
−−−−−→
right
rotation
Tamari Festschrift (’12)
![Page 46: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/46.jpg)
TAMARI LATTICE
Tamari lattice = slope increasing flips on triangulations
= right rotations on binary trees
= lattice quotient of the weak order by the sylvester congruence
4321
4231 43123421
34123241 2431 4213 4132
1234
1324 12432134
21432314 3124 1342 1423
3142 2413 4123 14323214 2341
Tamari Festschrift (’12)
![Page 47: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/47.jpg)
TAMARI LATTICE
Tamari lattice = slope increasing flips on triangulations
= right rotations on binary trees
= lattice quotient of the weak order by the sylvester congruence
= orientation of the graph of the associahedron in direction e→ w◦
34123421
43214312
2413
4213
3214
14231432
1342
12431234
21341324
2341
2431
31242314
Tamari Festschrift (’12)
![Page 48: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/48.jpg)
HOHLWEG-LANGE’S ASSOCIAHEDRON
Loday, Realization of the Stasheff polytope (’04)Reading, Cambrian lattices (’06)
Reading-Speyer, Cambrian fans (’09)Hohlweg-Lange, Realizations of the associahedron and cyclohedron (’07)
Lange-P., Using spines to revisit a construction of the associahedron (’15)
![Page 49: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/49.jpg)
CAMBRIAN TREES AND TRIANGULATIONS
Cambrian trees are dual to triangulations of polygons
76
54
3
21
80
5
2
1
3 4
6
7
76
54
3
21
80
7
6
5
43
1
2
vertices above or below [0, 9] ←→ signature
triangle i < j < k ←→ node j
For any signature ε, there are Cn = 1n+1
(2nn
)ε-Cambrian trees
Lange-P., Using spines to revisit a construction of the associahedron (’15)
![Page 50: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/50.jpg)
CAMBRIAN TREES
Cambrian tree =
directed and labeled tree such that
j
<j >j
?j
<j >j
?
76
54
3
21
Lange-P., Using spines to revisit a construction of the associahedron (’15)
![Page 51: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/51.jpg)
HOHLWEG-LANGE’S ASSOCIAHEDRA
for any ε ∈ ±n+1, Asso(ε) := conv {HL(T) | T ε-Cambrian tree}
with HL(T)j :=
{`(T, j) · r(T, j) if ε(j) = −
n + 2− `(T, j) · r(T, j) if ε(j) = +
Hohlweg-Lange, Realizations of the associahedron and cyclohedron (’07)
Lange-P., Using spines to revisit a construction of the associahedron (’15)
11
22
312
776
54
3
21
![Page 52: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/52.jpg)
HOHLWEG-LANGE’S ASSOCIAHEDRA
for any ε ∈ ±n+1, Asso(ε) := conv {HL(T) | T ε-Cambrian tree}
with HL(T)j :=
{`(T, j) · r(T, j) if ε(j) = −
n + 2− `(T, j) · r(T, j) if ε(j) = +
Hohlweg-Lange, Realizations of the associahedron and cyclohedron (’07)
Lange-P., Using spines to revisit a construction of the associahedron (’15)
123
321
132
231
303
![Page 53: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/53.jpg)
HOHLWEG-LANGE’S ASSOCIAHEDRA
Asso(ε) obtained by deleting inequalities in facet description of the permutahedron
normal cone of HL(T) in Asso(n) = {x ∈ H | xi < xj for all i→ j in T}=⋃σ−1∈L(T) normal cone of σ in Perm(n)
123
321
213 132
312 231
x1=x2 x2=x3
x1=x3303
![Page 54: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/54.jpg)
TYPE A CAMBRIAN LATTICES
Cambrian lattice = slope increasing flips on triangulations
slope
increasing
flip
−−−−−→
i
ji
j
j
i j
i
i j
i j
i j
i j
Reading, Cambrian lattices (’06)
![Page 55: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/55.jpg)
TYPE A CAMBRIAN LATTICES
Cambrian lattice = slope increasing flips on triangulations
= right rotations on Cambrian trees
right
rotation
−−−−−→
i
j
L B
R
A
i
jL
B R
A
B
L
A
i
j
L B
A R
i
jR
B
jR
B
i
jL
A R
iL A
B
iL
i
j
B R
L A
j
R
A
Reading, Cambrian lattices (’06)
![Page 56: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/56.jpg)
TYPE A CAMBRIAN LATTICES
Cambrian lattice = slope increasing flips on triangulations
= right rotations on Cambrian trees
= lattice quotient of the weak order by the Cambrian congruence
4321
4231 43123421
34123241 2431 4213 4132
1234
1324 12432134
21432314 3124 1342 1423
3142 2413 4123 14323214 2341
Reading, Cambrian lattices (’06)
![Page 57: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/57.jpg)
TYPE A CAMBRIAN LATTICES
Cambrian lattice = slope increasing flips on triangulations
= right rotations on Cambrian trees
= lattice quotient of the weak order by the Cambrian congruence
= orientation of the graph of the associahedron in direction e→ w◦
34123421
43214312
2413
4213
3214
14231432
1342
12431234
21341324
2341
2431
31242314
Reading, Cambrian lattices (’06)
![Page 58: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/58.jpg)
CAMBRIAN FANS AND GENERALIZED ASSOCIAHEDRA
All this story extends to arbitrary finite Coxeter groups
Reading, Cambrian lattices (’06)
Reading-Speyer, Cambrian fans (’09)
Hohlweg-Lange-Thomas, Permutahedra and generalized associahedra (’11)
![Page 59: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/59.jpg)
CAMBRIAN HOPF ALGEBRAS
Loday-Ronco, Hopf algebra of the planar binary trees (’98)Chatel-P., Cambrian Hopf Algebras (’15+)
![Page 60: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/60.jpg)
SHUFFLE AND CONVOLUTION
For n, n′ ∈ N, consider the set of perms of Sn+n′ with at most one descent, at position n:
S(n,n′) := {τ ∈ Sn+n′ | τ (1) < · · · < τ (n) and τ (n + 1) < · · · < τ (n + n′)}
For τ ∈ Sn and τ ′ ∈ Sn′, define
shifted concatenation τ τ ′ = [τ (1), . . . , τ (n), τ ′(1) + n, . . . , τ ′(n′) + n] ∈ Sn+n′
shifted shuffle product τ � τ ′ ={
(τ τ ′) ◦ π−1∣∣ π ∈ S(n,n′)
}⊂ Sn+n′
convolution product τ ? τ ′ ={π ◦ (τ τ ′)
∣∣ π ∈ S(n,n′)}⊂ Sn+n′
Exm: 12 � 231 = {12453, 14253, 14523, 14532, 41253, 41523, 41532, 45123, 45132, 45312}12 ? 231 = {12453, 13452, 14352, 15342, 23451, 24351, 25341, 34251, 35241, 45231}
12345
54321
2
4
1
3
5
5432112345
532 41concatenation shuffle convolution
![Page 61: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/61.jpg)
MALVENUTO-REUTENAUER ALGEBRA
DEF. Combinatorial Hopf Algebra = combinatorial vector space B endowed with
product · : B ⊗ B → Bcoproduct 4 : B → B ⊗ B
which are “compatible”, ie.
B ⊗ B B B ⊗ B
B ⊗ B ⊗ B ⊗ B B ⊗ B ⊗ B ⊗ B
·
4 ⊗4
4
I ⊗ swap⊗ I
· ⊗ ·
Malvenuto-Reutenauer algebra = Hopf algebra FQSym with basis (Fτ)τ∈S and where
Fτ · Fτ ′ =∑
σ∈τ � τ ′
Fσ and 4Fσ =∑σ∈τ?τ ′
Fτ ⊗ Fτ ′
Malvenuto-Reutenauer, Duality between quasi-symmetric functions and the Solomon descent algebra (’95)
![Page 62: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/62.jpg)
SIGNED VERSION
For signed permutations:
• signs are attached to values in the shuffle product
• signs are attached to positions in the convolution product
Exm: 12 � 231 = {12453, 14253, 14523, 14532, 41253, 41523, 41532, 45123, 45132, 45312},12 ? 231 = {12453, 13452, 14352, 15342, 23451, 24351, 25341, 34251, 35241, 45231}.
12345
54321
2
4
1
3
5
5432112345
532 41concatenation shuffle convolution
FQSym± = Hopf algebra with basis (Fτ)τ∈S± and where
Fτ · Fτ ′ =∑
σ∈τ � τ ′
Fσ and 4Fσ =∑σ∈τ?τ ′
Fτ ⊗ Fτ ′
![Page 63: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/63.jpg)
CAMBRIAN ALGEBRA AS SUBALGEBRA OF FQSym±
Cambrian algebra = vector subspace Camb of FQSym± generated by
PT :=∑τ∈L(T)
Fτ ,
for all Cambrian trees T.
Exm: P = F2137546 + F2173546 + F2175346 + F2713546 + F2715346
+ F2751346 + F7213546 + F7215346 + F7251346 + F7521346
THEO. Camb is a subalgebra of FQSym±
Loday-Ronco, Hopf algebra of the planar binary trees (’98)
Hivert-Novelli-Thibon, The algebra of binary search trees (’05)
Chatel-P., Cambrian Hopf Algebras (’15+)
GAME: Explain the product and coproduct directly on the Cambrian trees...
![Page 64: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/64.jpg)
PRODUCT IN CAMBRIAN ALGEBRA
P · P = F12 ·(F213 + F231
)=
F12435 + F12453 + F14235
+ F14253 + F14523 + F41235
+ F41253 + F41523 + F45123
+
F14325 + F14352
+ F14532 + F41325
+ F41352 + F41532
+ F45132
+
(F43125 + F43152
+ F43512 + F45312
)
= P + P + P
PROP. For any Cambrian trees T and T′,
PT · PT′ =∑
S
PS
where S runs over the interval[
T↗ T′ , T↖ T′]
in the ε(T)ε(T′)-Cambrian lattice
Chatel-P., Cambrian Hopf Algebras (’15+)
![Page 65: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/65.jpg)
COPRODUCT IN CAMBRIAN ALGEBRA
4P = 4(F213 + F231
)= 1⊗
(F213 + F231
)+ F1 ⊗ F12 + F1 ⊗ F21 + F21 ⊗ F1 + F12 ⊗ F1 +
(F213 + F231
)⊗ 1
= 1⊗ P +P ⊗ P +P ⊗ P +P ⊗ P +P ⊗ P + P ⊗ 1
= 1⊗ P + P ⊗(P · P
)+P ⊗ P +P ⊗ P + P ⊗ 1.
PROP. For any Cambrian tree S,
4PS =∑γ
( ∏T∈B(S,γ)
PT
)⊗( ∏
T′∈A(S,γ)
PT′
)where γ runs over all cuts of S, and A(S, γ)
and B(S, γ) denote the Cambrian forests above
and below γ respectively 7
6
5
4
3
2
1
Chatel-P., Cambrian Hopf Algebras (’15+)
![Page 66: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/66.jpg)
COPRODUCT IN CAMBRIAN ALGEBRA
4P = 4(F213 + F231
)= 1⊗
(F213 + F231
)+ F1 ⊗ F12 + F1 ⊗ F21 + F21 ⊗ F1 + F12 ⊗ F1 +
(F213 + F231
)⊗ 1
= 1⊗ P +P ⊗ P +P ⊗ P +P ⊗ P +P ⊗ P + P ⊗ 1
= 1⊗ P + P ⊗(P · P
)+P ⊗ P +P ⊗ P + P ⊗ 1.
PROP. For any Cambrian tree S,
4PS =∑γ
( ∏T∈B(S,γ)
PT
)⊗( ∏
T′∈A(S,γ)
PT′
)where γ runs over all cuts of S, and A(S, γ)
and B(S, γ) denote the Cambrian forests above
and below γ respectively 2
3
1
2
1
2
1
Chatel-P., Cambrian Hopf Algebras (’15+)
![Page 67: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/67.jpg)
THREE FAMILIES OF REALIZATIONS
SECONDARY
POLYTOPE
Gelfand-Kapranov-Zelevinsky (’94)
Billera-Filliman-Sturmfels (’90)
LODAY’S
ASSOCIAHEDRON
Loday (’04)
Hohlweg-Lange (’07)
Hohlweg-Lange-Thomas (’12)
Hopf
algebra
Cluster
algebras
CHAP.-FOM.-ZEL.’S
ASSOCIAHEDRON
������
�����������
@@@@
�������
�����
����
@@@@BBBBBB
@@
@@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
(Pictures by CFZ)
Chapoton-Fomin-Zelevinsky (’02)
Ceballos-Santos-Ziegler (’11)
Cluster
algebras
��������
�����������
@@@
���
�����
������
@@@
HHHH
H
���BBBB
HHH
@@
@@
@@@
HHH
���A
AA�� ��
HHHHH
p p p p p p pp p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppppppppα2
α1+α2α2+α3
2α2 + α3
α1
α3
2α1 + 2α2 + α3
![Page 68: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/68.jpg)
SECONDARY FAN & POLYTOPE
Gelfand-Kapranov-Zelevinsky,Discriminants, resultants, and multidimensional determinants (’94)
De Loera-Rambau-Santos, Triangulations (’10)
![Page 69: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/69.jpg)
REGULAR SUBDIVISIONS
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
for a lifting function ω : P→ RS(P, ω) = projection of the lower envelope of
{(p, ω(p)
) ∣∣ p ∈ P}
![Page 70: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/70.jpg)
REGULAR SUBDIVISIONS
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
for a lifting function ω : P→ RS(P, ω) = projection of the lower envelope of
{(p, ω(p)
) ∣∣ p ∈ P}
![Page 71: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/71.jpg)
REGULAR SUBDIVISIONS
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
for a lifting function ω : P→ RS(P, ω) = projection of the lower envelope of
{(p, ω(p)
) ∣∣ p ∈ P}
![Page 72: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/72.jpg)
NON-REGULAR SUBDIVISIONS
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
![Page 73: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/73.jpg)
NON-REGULAR SUBDIVISIONS
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
0
00
0
0
0
u
w v
u
v w
if regular, ∃ u, v, w ∈ R such that u < v < w < u
![Page 74: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/74.jpg)
REGULAR SUBDIVISIONS REFINEMENT LATTICE
P point set in Rd
Regular subdivision of P = projection of the lower envelope of a lifting of P
![Page 75: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/75.jpg)
SECONDARY FAN
P point set in Rd, S subdivision of P
Secondary cone of S = C(S) ={ω ∈ RP
∣∣ S refines S(P, ω)}
Secondary fan of P = ΣFan(P) ={C(S)
∣∣ S subdivision of P}
0
0 0
xy
Gelfand-Kapranov-Zelevinsky, Discriminants, resultants, and multidimensional determinants (’94)
![Page 76: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/76.jpg)
SECONDARY POLYTOPE
P point set in Rd, T triangulation of P
Volume vector of T = Φ(T) =
( ∑p∈4∈T
vol(4)
)p∈P
Secondary polytope of P = ΣPoly(P) = conv{
Φ(T)∣∣ T triangulation of P
}
Gelfand-Kapranov-Zelevinsky, Discriminants, resultants, and multidimensional determinants (’94)
![Page 77: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/77.jpg)
SECONDARY FAN & POLYTOPE
Secondary fan of P = ΣFan(P) ={C(S)
∣∣ S subdivision of P}
Secondary polytope of P = ΣPoly(P) = conv{
Φ(T)∣∣ T triangulation of P
}THM. • dimension of ΣPoly(P) = |P| − d− 1
• ΣFan(P) is the inner normal fan of ΣPoly(P)
• face lattice of ΣPoly(P) = refinement poset of regular subdivisions of PGelfand-Kapranov-Zelevinsky, Discriminants, resultants, and multidimensional determinants (’94)
![Page 78: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/78.jpg)
SECONDARY POLYTOPE
![Page 79: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/79.jpg)
HIGH DIMENSIONAL FLIP GRAPHS
Triangulation of P ⊆ Rd = well-behaved cover of conv(P) with simplices
Bistellar flip ={
conv(Xr {x})∣∣ x ∈ X+
}←→
{conv(Xr {x})
∣∣ x ∈ X+}
where |X| = d + 2 and X = X+ tX− Radon partition of X
CORO. The graph of bistellar flips on regular triangulations of P is connected for any P.
![Page 80: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/80.jpg)
HIGH DIMENSIONAL FLIP GRAPHS
Triangulation of P ⊆ Rd = well-behaved cover of conv(P) with simplices
Bistellar flip ={
conv(Xr {x})∣∣ x ∈ X+
}←→
{conv(Xr {x})
∣∣ x ∈ X+}
where |X| = d + 2 and X = X+ tX− Radon partition of X
CORO. The graph of bistellar flips on regular triangulations of P is connected for any P.
THEO. The graph of bistellar flips on all triangulations of P is not always connected.Santos, A point set whose space of triangulations is disconnected (’00)
![Page 81: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/81.jpg)
BACK TO THE ASSOCIAHEDRON
All dissections of a 2-dimensional convex point P set are regular
CORO. ΣPoly(P) is an associahedron
![Page 82: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/82.jpg)
A
B
C
C
D
E
E F F
GD
G
B
H
K
L
L
M
K
M
N
N
OO
H
A
SECONDARY POLYTOPE
![Page 83: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/83.jpg)
THREE FAMILIES OF REALIZATIONS
SECONDARY
POLYTOPE
Gelfand-Kapranov-Zelevinsky (’94)
Billera-Filliman-Sturmfels (’90)
LODAY’S
ASSOCIAHEDRON
Loday (’04)
Hohlweg-Lange (’07)
Hohlweg-Lange-Thomas (’12)
Hopf
algebra
Cluster
algebras
CHAP.-FOM.-ZEL.’S
ASSOCIAHEDRON
������
�����������
@@@@
�������
�����
����
@@@@BBBBBB
@@
@@@
@@@
��
��
p p p p p p p pp p p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pppppppppppppppppppppppppppppppppppppppppα2
α1+α2
α2+α3
α1+α2+α3
α1
α3
(Pictures by CFZ)
Chapoton-Fomin-Zelevinsky (’02)
Ceballos-Santos-Ziegler (’11)
Cluster
algebras
��������
�����������
@@@
���
�����
������
@@@
HHHH
H
���BBBB
HHH
@@
@@
@@@
HHH
���A
AA�� ��
HHHHH
p p p p p p pp p p p p p p
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppppppppα2
α1+α2α2+α3
2α2 + α3
α1
α3
2α1 + 2α2 + α3
![Page 84: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/84.jpg)
II. GRAPH ASSOCIAHEDRA
![Page 85: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/85.jpg)
GRAPHICAL NESTED COMPLEX
Carr-Devadoss, Coxeter complexes and graph associahedra (’06)Postnikov, Permutohedra, associahedra, and beyond (’09)
Zelevinsky, Nested complexes and their polyhedral realizations (’06)
![Page 86: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/86.jpg)
NESTED COMPLEX AND GRAPH ASSOCIAHEDRON
G graph on ground set V
Tube of G = connected induced subgraph of G
Compatible tubes = nested, or disjoint and non-adjacent
Tubing on G = collection of pairwise compatible tubes of G
24 5
3
1 2 3
6
87 9
24 5
3
1 2 3
6
87 9
Nested complex N (G) = simplicial complex of tubings on G
= clique complex of the compatibility relation on tubes
G-associahedron = polytopal realization of the nested complex on G
Carr-Devadoss, Coxeter complexes and graph associahedra (’06)
![Page 87: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/87.jpg)
EXM: NESTED COMPLEX
![Page 88: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/88.jpg)
EXM: GRAPH ASSOCIAHEDRON
![Page 89: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/89.jpg)
SPECIAL GRAPH ASSOCIAHEDRA
path associahedron = associahedron
![Page 90: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/90.jpg)
SPECIAL GRAPH ASSOCIAHEDRA
cycle associahedron = cyclohedron
![Page 91: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/91.jpg)
SPECIAL GRAPH ASSOCIAHEDRA
341234214321 4312
2413
4213
3214
14231432
1342
1243 12342134
1324
2341
2431
31242314
complete graph associahedron = permutahedron
![Page 92: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/92.jpg)
SPECIAL GRAPH ASSOCIAHEDRA
star associahedron = secondary polytope of dilated simplices
![Page 93: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/93.jpg)
LINEAR LAURENT PHENOMENON ALGEBRAS
Laurent Phenomenon Algebra = commut. ring gen. by cluster variables grouped in clusters
seed = pair (x,F) where
• x = {x1, . . . , xn} cluster variables
• F = {F1, . . . , Fn} exchange polynomials
seed mutation = (x,F) 7−→ µi(x,F) = (x′,F′) where
• x′i = Fi/xi while x′j = xj for j 6= i
• F ′j obtained from Fj by eliminating xi
THM. Every cluster variable in a LP algebra is a Laurent polynomial in the cluster
variables of any seed.Lam-Pylyavskyy, Laurent Phenomenon Algebras (’12)
Connection to graph associahedra: Any (directed) graph G defines a linear LP algebra
whose cluster complex contains the nested complex of G
Lam-Pylyavskyy, Linear Laurent Phenomenon Algebras (’12)
![Page 94: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/94.jpg)
COMPATIBILITY FANSFOR GRAPHICAL NESTED COMPLEXES
Manneville-P., arXiv:1501.07152
![Page 95: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/95.jpg)
COMPATIBILITY FANS FOR ASSOCIAHEDRA
T◦ an initial triangulation
δ, δ′ two internal diagonals
compatibility degree between δ and δ′:
(δ ‖ δ′) =
−1 if δ = δ′
0 if δ and δ′ do not cross1 if δ and δ′ cross
compatibility vector of δ wrt T◦:
d(T◦, δ) =[(δ◦ ‖ δ)
]δ◦∈T◦
compatibility fan wrt T◦:
D(T◦) = {R≥0 d(T◦,D) | D dissection}
Fomin-Zelevinsky, Y -Systems and generalized associahedra (’03)
Fomin-Zelevinsky, Cluster algebras II: Finite type classification (’03)
Chapoton-Fomin-Zelevinsky, Polytopal realizations of generalized associahedra (’02)
Ceballos-Santos-Ziegler, Many non-equivalent realizations of the associahedron (’11)
![Page 96: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/96.jpg)
COMPATIBILITY FANS FOR ASSOCIAHEDRA
Different initial triangulations T◦ yield different realizations
THM. For any initial triangulation T◦, the cones {R≥0 d(T◦,D) | D dissection} form a
complete simplicial fan. Moreover, this fan is always polytopal.
Ceballos-Santos-Ziegler, Many non-equivalent realizations of the associahedron (’11)
![Page 97: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/97.jpg)
COMPATIBILITY FANS FOR GRAPHICAL NESTED COMPLEXES
T◦ an initial maximal tubing on G
t, t′ two tubes of G
compatibility degree between t and t′
(t ‖ t′) =
−1 if t = t′
0 if t, t′ are compatible|{neighbors of t in t′r t}| otherwise
compatibility vector of t wrt T◦:
d(T◦, t) =[(t◦ ‖ t)
]t◦∈T◦
THM. For any initial maximal tubing T◦ on G,
the collection of cones
D(G,T◦) = {R≥0 d(T◦,T) | T tubing on G}
forms a complete simplicial fan, called com-
patibility fan of G.
Manneville-P., Compatibility fans for graphical nested complexes
![Page 98: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/98.jpg)
COMPATIBILITY FANS FOR GRAPHICAL NESTED COMPLEXES
THM. {R≥0 d(T◦,T) | T tubing on G} forms a complete simplicial fan for any T◦.Manneville-P., Compatibility fans for graphical nested complexes (’15+)
Cyclohedron Permutahedron
![Page 99: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/99.jpg)
GRAPH CATALAN MANY SIMPLICIAL FAN REALIZATIONS
THM. When none of the connected components of G is a spider,
# linear isomorphism classes of compatibility fans of G
= # orbits of maximal tubings on G under graph automorphisms of G.
Manneville-P., Compatibility fans for graphical nested complexes (’15+)
![Page 100: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/100.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
![Page 101: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/101.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
Polytopality of a complete simplicial fan ⇐⇒ Feasibility of a linear program
Exm: We check that the compatibility fan on the complete graph K7 is polytopal by
solving a linear program on 126 variables and 17 640 inequalities
![Page 102: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/102.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
Polytopality of a complete simplicial fan ⇐⇒ Feasibility of a linear program
Exm: We check that the compatibility fan on the complete graph K7 is polytopal by
solving a linear program on 126 variables and 17 640 inequalities
=⇒ All compatibility fans on complete graphs of ≤ 7 vertices are polytopal...
=⇒ All compatibility fans on graphs of ≤ 4 vertices are polytopal...
![Page 103: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/103.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
Polytopality of a complete simplicial fan ⇐⇒ Feasibility of a linear program
Exm: We check that the compatibility fan on the complete graph K7 is polytopal by
solving a linear program on 126 variables and 17 640 inequalities
=⇒ All compatibility fans on complete graphs of ≤ 7 vertices are polytopal...
=⇒ All compatibility fans on graphs of ≤ 4 vertices are polytopal...
To go further, we need to understand better the linear dependences between the compat-
ibility vectors of the tubes involved in a flip
THM. All compatibility fans on the paths and cycles are polytopal
Ceballos-Santos-Ziegler, Many non-equivalent realizations of the associahedron (’11)
Manneville-P., Compatibility fans for graphical nested complexes (’15+)
![Page 104: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/104.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
Remarkable realizations of the stellohedra
![Page 105: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/105.jpg)
POLYTOPALITY?
QU. Are all compatibility fans polytopal?
Remarkable realizations of the stellohedra
Convex hull of the orbits under coordinate permutations of the set{∑
i>k i ei∣∣ 0 ≤ k ≤ n
}
![Page 107: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/107.jpg)
LODAY’S ASSOCIAHEDRON
Asso(n) := conv {L(T) | T binary tree} = H ∩⋂
1≤i≤j≤n+1
H≥(i, j)
L(T) :=[`(T, i) · r(T, i)
]i∈[n+1]
H≥(i, j) :=
{x ∈ Rn+1
∣∣∣∣ ∑i≤k≤j
xi ≥(j − i + 2
2
)}Loday, Realization of the Stasheff polytope (’04)
7654321
2
1
38
1
12
1123
321
213 132
312 231
x1=x2 x2=x3
x1=x3 141
• Asso(n) obtained by deleting inequalities in the facet description of the permutahedron
• normal cone of L(T) in Asso(n) = {x ∈ H | xi < xj for all i→ j in T}=⋃σ∈L(T) normal cone of σ in Perm(n)
![Page 108: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/108.jpg)
SPINES
spine of a tubing T = Hasse diagram of the inclusion poset of T
24 5
3
1 2 3
6
87 9
22
7
3
4
5
8
31
9
6
tube t of the tubing T 7−→ node s(t) of the spine S labeled
by t r⋃{t′ | t′ ∈ T, t′ ( t}
tube t(s) :=⋃{s′ | s′ ≤ s in S} ←− [ node s of the spine S
of the tubing T
S spine on G ⇐⇒ for each node s of S with children s1 . . . sk, the tubes t(s1) . . . t(sk)
lie in distinct connected components of G[t(s) r s
]
![Page 109: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/109.jpg)
SPINES
spine of a tubing T = Hasse diagram of the inclusion poset of T
24 5
3
1 2 3
6
87 9
73
5
891
246
tube t of the tubing T 7−→ node s(t) of the spine S labeled
by t r⋃{t′ | t′ ∈ T, t′ ( t}
tube t(s) :=⋃{s′ | s′ ≤ s in S} ←− [ node s of the spine S
of the tubing T
S spine on G ⇐⇒ for each node s of S with children s1 . . . sk, the tubes t(s1) . . . t(sk)
lie in distinct connected components of G[t(s) r s
]
![Page 110: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/110.jpg)
NESTED FANS AND GRAPH ASSOCIAHEDRA
THM. The collection of cones{{x ∈ H | xi < xj for all i→ j in T}
∣∣ T tubing on G}
forms a complete simplicial fan, called the nested fan of G. This fan is always polytopal.
Carr-Devadoss, Coxeter complexes and graph associahedra (’06)
Postnikov, Permutohedra, associahedra, and beyond (’09)
Zelevinsky, Nested complexes and their polyhedral realizations (’06)
4
2
3
1
4
2
1
34
2
31
3
2
4
1 (2,1,4,3)
(3,1,4,2)
(3,2,4,1)(4,1,2,3)
(4,2,3,1)
(4,1,2,3)
(1,2,3,4)(1,2,4,3)
(1,4,1,4)(3,1,2,4)
(2,1,3,4)
(3,2,1,4)
(4,2,1,3)
(4,4,1,1)
(1,7,1,1)
(1,4,4,1)
4
2
3
1 3
2
4
1
4
2
1
3
4
2
31
![Page 111: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/111.jpg)
HOHLWEG-LANGE’S ASSOCIAHEDRA
11
22
312
776
54
3
21
for an arbitrary signature ε ∈ ±n+1,
Asso(ε) := conv {HL(T) | T ε-Cambrian tree}
with HL(T)j :=
{`(T, j) · r(T, j) if ε(j) = −
n + 2− `(T, j) · r(T, j) if ε(j) = +
Hohlweg-Lange, Realizations of the associahedron and cyclohedron (’07)
Lange-P., Using spines to revisit a construction of the associahedron (’15)
j
<j >j
?j
<j >j
?Rule for Cambrian trees
123
321
213 132
312 231
x1=x2 x2=x3
x1=x3303
• Asso(n) obtained by deleting inequalities in the facet description of the permutahedron
• normal cone of HL(T) in Asso(ε) = {x ∈ H | xi < xj for all i→ j in T}
![Page 112: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/112.jpg)
SIGNED SPINES ON SIGNED TREES
T tree on the signed ground set V = V− t V+ (negative in white, positive in black)
Signed spine on T = directed and labeled tree S st
(i) the labels of the nodes of S form a partition of the signed ground set V
(ii) at a node of S labeled by U = U−tU+, the source label sets of the different incoming
arcs are subsets of distinct connected components of TrU−, while the sink label sets
of the different outgoing arcs are subsets of distinct connected components of TrU+
0
1
49
2 31
0
8 4 9
5
6 7
2
35678
2 7
0
1
49
368
5
![Page 113: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/113.jpg)
SPINE COMPLEX
Signed spine complex S(T) = simplicial complex whose inclusion poset is isomorphic to
the poset of edge contractions on the signed spines of T
2
43
1
3
1
4
2
4
31
2
3
41
2
1
43
2
3
1
4
2
4
2
31
3
2
4
1
4
2
1
3
4
2
3
1
2
3
1
4
4
1
2
3
32
1423
14
132
412
34
42
13342
1
142
3 134
2134
2
132
4
342
1
142
3
12
34
24
13
123
4
124
3
234
1
234
1
123
4
124
3
![Page 114: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/114.jpg)
SPINE FAN
For S spine on T, define C(S) := {x ∈ H | xu ≤ xv, for all arcs u→ v in S}
4
2
3
1
4
2
1
3
1
43
2
3
41
2
4
2
31
3
2
4
1 3
2
1
4
1
2
4
3
THEO. The collection of cones F(T) := {C(S) | S ∈ S(T)} defines a complete simplicial
fan on H, which we call the spine fanP., Signed tree associahedra (’13+)
![Page 115: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/115.jpg)
SIGNED TREE ASSOCIAHEDRON
Signed tree associahedron Asso(T) = convex polytope with
(i) a vertex a(S) ∈ RV for each maximal signed spine S ∈ S(T), with coordinates
a(S)v =
{∣∣ {π ∈ Π(S) | v ∈ π and rv /∈ π}∣∣ if v ∈ V−
|V| + 1−∣∣ {π ∈ Π(S) | v ∈ π and rv /∈ π}
∣∣ if v ∈ V+
where rv = unique incoming (resp. outgoing) arc when v ∈ V− (resp. when v ∈ V+)
Π(S) = set of all (undirected) paths in S, including the trivial paths
(ii) a facet defined by the half-space
H≥(B) :=
{x ∈ RV
∣∣∣∣ ∑v∈B
xv ≥(|B| + 1
2
)}for each signed building block B ∈ B(T)
![Page 116: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/116.jpg)
EXM: VERTEX DESCRIPTION
(2,1,4,3)
(3,1,4,2)
(3,2,4,1)(4,1,2,3)
(4,2,3,1)
(4,1,2,3)(4,1,4,1)
(2,1,4,3)
(3,1,4,2)
(3,2,4,1)(4,1,2,3)
(4,2,3,1)
(4,1,2,3)(4,1,4,1)(4,1,4,1)(4,1,4,1)(4,1,4,1)
(2,1,4,3)(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(3,2,4,1)
(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(2,1,4,3)(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(3,2,4,1)(3,2,4,1)
(4,2,3,1)
(3,2,4,1)
(4,2,3,1)
(3,2,4,1)(3,2,4,1)(3,2,4,1)
(4,2,3,1)
(4,1,2,3)
(4,2,3,1)(4,2,3,1)(4,2,3,1)(4,2,3,1)
(3,1,4,2)
(4,1,2,3)
(3,1,4,2)(3,1,4,2)(3,1,4,2)
(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)
(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(3,2,4,1)
(3,1,4,2)
(3,2,4,1)(3,2,4,1)(3,2,4,1)(3,2,4,1)
(3,1,4,2)(3,1,4,2)
(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(2,1,4,3)(2,1,4,3)(2,1,4,3)
(3,1,4,2)(3,1,4,2)
(2,1,4,3)(2,1,4,3)(2,1,4,3)
(3,1,4,2)
(3,2,4,1)(3,2,4,1)(3,2,4,1)(3,2,4,1)(3,2,4,1)
(4,2,3,1)(4,2,3,1)(4,2,3,1)(4,2,3,1)
(3,2,4,1)(3,2,4,1)(3,2,4,1)(3,2,4,1)(3,2,4,1)
(4,2,3,1)(4,2,3,1)(4,2,3,1)(4,2,3,1)
(3,2,4,1)(3,2,4,1)(3,2,4,1)
(4,2,3,1)
(4,1,2,3)
(4,2,3,1)(4,2,3,1)(4,2,3,1)(4,2,3,1)
(4,1,2,3)(4,1,2,3)(4,1,2,3)
(4,2,3,1)(4,2,3,1)(4,2,3,1)
(3,1,4,2)(3,1,4,2)(3,1,4,2)(3,1,4,2)
(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)
(3,1,4,2)(3,1,4,2)(3,1,4,2)
(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3) (4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,2,3)(4,1,4,1)(4,1,4,1)
(1,2,3,4)(1,2,4,3)
(1,4,1,4)(3,1,2,4)
(2,1,3,4)
(3,2,1,4)
(4,2,1,3)
(4,4,1,1)
(1,7,1,1)
(1,4,4,1)
(4,–2,4,4)
(2,3,1,4)
(4,1,1,4)(2,4,1,3)
(1,4,2,3)
(1,3,2,4)
(1,1,4,4)
(1,4,3,2)
(1,3,4,2)
(2,3,4,1)
(2,4,3,1)
(3,4,2,1) (3,4,1,2)
(4,3,2,1) (4,3,1,2)
4
2
3
1
2
3
1
4
2
4
1
3
1
3
2
4
4
3
2
1
1
4
2
3
3
4
2
1
2
4
3
1
3
2
4
1
2
3
4
1
2
1
4
3 4
2
1
3 4
1
2
3
2
1
3
4
3
1
2
4
24
31
1
4
3
2
3
4
1
23
2
1
44
3
1
24
2
1
3
1
3
4
2
1
2
4
3
3
1
4
2
3
2
4
14
2
3
1
4
1
3
2
1
43
2
3
41
2
1
2
3
44
31
2
42
31
![Page 117: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/117.jpg)
EXM: FACET DESCRIPTION
124
424
234
2
23
12
124
424
234
2
23
12
234
124
4234
124
44
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
2 31
4
1
3
123 123
13
1
14
134
34
3
![Page 118: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/118.jpg)
MAIN RESULT
THM. The spine fan F(T) is the normal fan of the signed tree associahedron Asso(T),
defined equivalently as
(i) the convex hull of the points
a(S)v =
{∣∣ {π ∈ Π(S) | v ∈ π and rv /∈ π}∣∣ if v ∈ V−
|V| + 1−∣∣ {π ∈ Π(S) | v ∈ π and rv /∈ π}
∣∣ if v ∈ V+
for all maximal signed spines S ∈ S(T)
(ii) the intersection of the hyperplane H with the half-spaces
H≥(B) :=
{x ∈ RV
∣∣∣∣ ∑v∈B
xv ≥(|B| + 1
2
)}for all signed building blocks B ∈ B(T)
P., Signed tree associahedra (’13+)
CORO. The signed tree associahedron Asso(T) realizes the signed nested complex N (T)
![Page 119: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/119.jpg)
SKETCH OF THE PROOF
STEP 1. We have∑v∈V
a(S)v =
(|V| + 1
2
)and
∑v∈sc(r)
a(S)v =
(|sc(r)| + 1
2
)for any arc r of S. In other words,“each vertex a(S) belongs to the hyperplanes H=(B)
it is supposed to”. Proof by double counting
![Page 120: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/120.jpg)
SKETCH OF THE PROOF
STEP 1. We have∑v∈V
a(S)v =
(|V| + 1
2
)and
∑v∈sc(r)
a(S)v =
(|sc(r)| + 1
2
)for any arc r of S. In other words,“each vertex a(S) belongs to the hyperplanes H=(B)
it is supposed to”. Proof by double counting
STEP 2. If S and S′ are two adjacent maximal spines on T, such that S′ is obtained
from S by flipping an arc joining node u to node v, then
a(S′)− a(S) ∈ R>0 · (eu − ev)
o
Vi
U
u vr
U
V i
uo
vr'
a(S′)− a(S) = (|U | + 1) · (|V | + 1) · (eu − ev)
![Page 121: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/121.jpg)
SKETCH OF THE PROOF
STEP 1. We have∑v∈V
a(S)v =
(|V| + 1
2
)and
∑v∈sc(r)
a(S)v =
(|sc(r)| + 1
2
)for any arc r of S. In other words,“each vertex a(S) belongs to the hyperplanes H=(B)
it is supposed to”. Proof by double counting
STEP 2. If S and S′ are two adjacent maximal spines on T, such that S′ is obtained
from S by flipping an arc joining node u to node v, then
a(S′)− a(S) ∈ R>0 · (eu − ev)
STEP 3. A general theorem concerning realizations of simplicial fan by polytopes
In other words, a characterization of when is a simplicial fan regular
Hohlweg-Lange-Thomas, Permutahedra and generalized associahedra (’11)
De Loera-Rambau-Santos, Triangulations: Structures for Algorithms and Applications (’10)
![Page 122: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/122.jpg)
FURTHER GEOMETRIC PROPERTIES
PROP. The signed tree associahedron Asso(T) is sandwiched between the permutahe-
dron Perm(V) and the parallelepiped Para(T)∑u6=v∈V
[eu, ev] = Perm(T) ⊂ Asso(T) ⊂ Para(T) =∑u−v∈T
π(u − v) · [eu, ev]
![Page 123: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/123.jpg)
FURTHER GEOMETRIC PROPERTIES
PROP. The signed tree associahedron Asso(T) is sandwiched between the permutahe-
dron Perm(V) and the parallelepiped Para(T)∑u6=v∈V
[eu, ev] = Perm(T) ⊂ Asso(T) ⊂ Para(T) =∑u−v∈T
π(u − v) · [eu, ev]
Common vertices of Asso(T) and Para(T) ≡ orientations of T which are spines on T
Common vertices of Asso(T) and Perm(T) ≡ linear orders on V which are spines on T
⇒ no common vertex of the three polytopes except if T is a signed path
![Page 124: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/124.jpg)
FURTHER GEOMETRIC PROPERTIES
PROP. The signed tree associahedron Asso(T) is sandwiched between the permutahe-
dron Perm(V) and the parallelepiped Para(T)∑u6=v∈V
[eu, ev] = Perm(T) ⊂ Asso(T) ⊂ Para(T) =∑u−v∈T
π(u − v) · [eu, ev]
Common vertices of Asso(T) and Para(T) ≡ orientations of T which are spines on T
Common vertices of Asso(T) and Perm(T) ≡ linear orders on V which are spines on T
⇒ no common vertex of the three polytopes except if T is a signed path
PROP. Asso(T) and Asso(T′) isometric ⇐⇒ T and T′ isomorphic or anti-isomorphic,
up to the sign of their leaves, ie. ∃ bijection θ : V→ V′ st. ∀u, v ∈ V
• u−v edge in T ⇐⇒ θ(u)−θ(v) edge in T′
• if u is not a leaf of T, the signs of u and θ(u) coincide (resp. are opposite)
![Page 125: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/125.jpg)
GRAPH PROPERTIES OF GRAPH ASSOCIAHEDRA
Manneville-P., Graph properties of graph associahedra (SLC’15)
![Page 126: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/126.jpg)
GRAPH PROPERTIES OF GRAPH ASSOCIAHEDRA
THM. The diameter δ(Asso(G)) of the skeleton of the graph associahedron
• is non-decreasing: G ⊆ G′ =⇒ δ(Asso(G)) ≤ δ(Asso(G′))
• satisfies the non-leaving-face property (all geodesics between two vertices of a
face F of Asso(G) stay in F )
• is bounded by max(e, 2n− 18) ≤ δ(Asso(G)) ≤(n + 1
2
)Sleator-Tarjan-Thurston, Rotation distance, triangulations, and hyperbolic geometry (’88)
Pournin, The diameter of associahedra (’14)
Manneville-P., Graph properties of graph associahedra (SLC’15)
![Page 127: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/127.jpg)
GRAPH PROPERTIES OF GRAPH ASSOCIAHEDRA
1. the graph of the permutahedron is Hamiltonian
(123) (132) (312) (321) (231) (213)
(1234) (1324) (3124) (3214) (2314) (2134)
(1243) (1342) (3142) (3241) (2341) (2143)
(1423) (1432) (3412) (3421) (2431) (2413)
(4123) (4132) (4312) (4321) (4231) (4213)
Trotter, Algorithm 115: Perm. Commun. ACM (’62)
Johnson, Generation of permutations by adjacent transposition (’63)
Steinhaus, One hundred problems in elementary mathematics (’64)
![Page 128: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/128.jpg)
GRAPH PROPERTIES OF GRAPH ASSOCIAHEDRA
1. the graph of the permutahedron is HamiltonianTrotter, Algorithm 115: Perm. Commun. ACM (’62)
Johnson, Generation of permutations by adjacent transposition (’63)
Steinhaus, One hundred problems in elementary mathematics (’64)
2. the graph of the associahedron is HamiltonianLucas, The rotation graph of binary trees is Hamiltonian (’87)
Hurtado-Noy, Graph of triangulations of a convex polygon and tree of triangulations (’99)
![Page 129: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/129.jpg)
CONSTRUCTING AN HAMILTONIAN CIRCUIT...
THM. When G has at least 2 edges, the skeleton of Asso(G) is Hamiltonian.
Manneville-P., Graph properties of graph associahedra (SLC’15)
u
vx
z
y
u
vxzy
u vxzyu v
x
z
y
uvxzy
uvzxy
uzvxy
zuvxy
zvuxy
v
uxzy
v
ux
z
y
u vxz
y
v
ux
z
y
vuxzy
![Page 130: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/130.jpg)
III. BRICK POLYTOPES
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321 4321
4321
4321
4321
4321
4321
4321
4321
4321
![Page 131: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/131.jpg)
THREE GEOMETRIC FAMILIES
![Page 132: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/132.jpg)
THREE GEOMETRIC FAMILIES
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
pseudotriangulation = maximal crossing-free pointed set of edges
k-triangulation = maximal (k + 1)-crossing-free set of edges
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
Capoyleas-Pach, A Turan-type theorem on chords of a convex polygon (’92)
![Page 133: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/133.jpg)
RELEVANT EDGES
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
pseudotriangulation = maximal crossing-free pointed set of edges
k-triangulation = maximal (k + 1)-crossing-free set of edges
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
Capoyleas-Pach, A Turan-type theorem on chords of a convex polygon (’92)
![Page 134: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/134.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 135: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/135.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 136: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/136.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 137: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/137.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 138: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/138.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 139: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/139.jpg)
TRIANGLES – PSEUDOTRIANGLES – STARS
Triangulations Pseudotriangulations Multitriangulations
k = 2
triangulation = maximal crossing-free set of edges
= decomposition into triangles
pseudotriangulation = maximal crossing-free pointed set of edges
= decomposition into pseudotriangles
k-triangulation = maximal (k + 1)-crossing-free set of edges
= decomposition into k-stars
Pocchiola-Vegter, Topologically sweeping visibility complexes via pseudotriangulations (’96)
P.-Santos, Multitriangulations as complexes of star polygons (’09)
![Page 140: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/140.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 141: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/141.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 142: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/142.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 143: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/143.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 144: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/144.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 145: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/145.jpg)
FLIPS
Triangulations Pseudotriangulations Multitriangulations
k = 2
flip = exchange an internal edge with the common bisector of the two adjacent cells
![Page 146: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/146.jpg)
THREE GEOMETRIC STRUCTURES
Triangulations Pseudotriangulations Multitriangulations
??associahedron ←→ crossing-free sets of internal edges
pseudotriangulations polytope ←→ pointed crossing-free sets of internal edges
multiassociahedron ←→ (k + 1)-crossing-free sets of k-internal edges
Rote-Santos-Streinu, Expansive motions and the polytope of pointed pseudo-triangulations (’03)
![Page 147: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/147.jpg)
DUALITY
P.-Pocchiola, Multitriang., pseudotriang. and primitive sorting networks (’12)
![Page 148: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/148.jpg)
LINE SPACE OF THE PLANE = MOBIUS STRIP
![Page 149: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/149.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 150: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/150.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 151: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/151.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 152: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/152.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 153: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/153.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 154: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/154.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 155: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/155.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 156: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/156.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 157: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/157.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 158: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/158.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 159: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/159.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
87654321
54
2
3
6
7
81
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
54
2
3
6
7
81
k = 2
![Page 160: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/160.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
1
8
2
7
543
64
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
87654321
54
2
3
6
7
81
54
2
3
6
7
81
k = 2
![Page 161: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/161.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 162: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/162.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 163: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/163.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 164: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/164.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 165: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/165.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 166: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/166.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 167: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/167.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 168: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/168.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 169: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/169.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
k = 2
![Page 170: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/170.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
SR
UVW
T TU
V
SSR
U V
W
T
RSTUVW
S
T
U
V
SR
T
VW
U
SR
T
VW
U
k = 2
![Page 171: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/171.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
1
8
2
7
543
SR
UVW
6T
WVUTSR
V
U
S
T
VW
U
SR
T
4
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
TU
V
SSR
U V
W
T
87654321
54
2
3
6
7
81
54
2
3
6
7
81
k = 2
P.-Pocchiola, Multitriangulations, pseudotriangulations and primitive sorting networks (’12)
![Page 172: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/172.jpg)
MULTIPSEUDOTRIANGULATIONS
k = 0 k = 1 k = 2
1
8
2
7
543
SR
UVW
6T
WVUTSR
87654321
87654321
1
8
2
7
543
6
TS
1
8
2
7
54
3S U
V6
T
VU
87654321
P.-Pocchiola, Multitriangulations, pseudotriangulations and primitive sorting networks (’12)
![Page 173: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/173.jpg)
DUALITY
Triangulations Pseudotriangulations Multitriangulations
1
8
2
7
543
SR
UVW
6T
WVUTSR
V
U
S
T
VW
U
SR
T
4
1
5
8
6
3
7
2
4
1
5
8
6
3
7
2
TU
V
SSR
U V
W
T
87654321
54
2
3
6
7
81
54
2
3
6
7
81
k = 2
P.-Pocchiola, Multitriangulations, pseudotriangulations and primitive sorting networks (’12)
![Page 174: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/174.jpg)
SORTING NETWORKS
Triangulations Pseudotriangulations Multitriangulations
WVUTSR
V
U
S
T
VW
U
SR
T
87654321
54
2
3
6
7
81
54
2
3
6
7
81
k = 2
![Page 175: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/175.jpg)
PSEUDOLINE ARRANGEMENTSON SORTING NETWORKS
![Page 176: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/176.jpg)
SORTING NETWORKS
Bubble sort Insertion sort Even-odd sort
Knuth, The art of Computer Programming, Vol. 3 – Sorting and Searching (’97)
![Page 177: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/177.jpg)
NETWORKS & PSEUDOLINE ARRANGEMENTS
network N = n horizontal levels and m vertical commutators.
bricks of N = bounded cells.
![Page 178: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/178.jpg)
NETWORKS & PSEUDOLINE ARRANGEMENTS
network N = n horizontal levels and m vertical commutators.
bricks of N = bounded cells.
pseudoline = x-monotone path which starts at a level l and ends at the level n+ 1− l.
crossing = contact =
pseudoline arrangement (with contacts) = n pseudolines supported by N which have
pairwise exactly one crossing, eventually some contacts, and no other intersection.
![Page 179: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/179.jpg)
CONTACT GRAPH OF A PSEUDOLINE ARRANGEMENT
Contact graph Λ# of a pseudoline arrangement Λ =
• a node for each pseudoline of Λ, and
• an arc for each contact point of Λ oriented from top to bottom.
Root configuration of Λ = R(Λ) ={ei − ej
∣∣ i→ j ∈ Λ#}
21
543
![Page 180: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/180.jpg)
FLIPS
flip = exchange a contact with the corresponding crossing.
THM. Let N be a sorting network with n levels and m commutators. The graph of flips
G(N ) is(m−
(n2
))-regular and connected.
QUESTION. Is G(N ) the graph of a simple(m−
(n2
))-dimensional polytope?
![Page 181: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/181.jpg)
BRICK POLYTOPE
P.-Santos, The brick polytope of a sorting network (’12)P.-Stump, Brick polytopes of spherical subword complexes & gen. assoc. (’15)
![Page 182: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/182.jpg)
BRICK POLYTOPE
N a sorting network with n + 1 levels and m commutators
P.-Santos, The brick polytope of a sorting network (’12)
![Page 183: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/183.jpg)
BRICK POLYTOPE
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
P.-Santos, The brick polytope of a sorting network (’12)
![Page 184: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/184.jpg)
BRICK POLYTOPE
1
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
P.-Santos, The brick polytope of a sorting network (’12)
![Page 185: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/185.jpg)
BRICK POLYTOPE
1
6
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
P.-Santos, The brick polytope of a sorting network (’12)
![Page 186: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/186.jpg)
BRICK POLYTOPE
1
6
5
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
P.-Santos, The brick polytope of a sorting network (’12)
![Page 187: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/187.jpg)
BRICK POLYTOPE
1
6
6
5
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
P.-Santos, The brick polytope of a sorting network (’12)
![Page 188: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/188.jpg)
BRICK POLYTOPE
1
6
6
5
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
P.-Santos, The brick polytope of a sorting network (’12)
![Page 189: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/189.jpg)
BRICK POLYTOPE
1
6
6
5
N a sorting network with n + 1 levels and m commutators
Λ pseudoline arrangement supported by N 7−→ brick vector B(Λ) ∈ Rn+1
B(Λ)j = number of bricks of N below the jth pseudoline of Λ
Brick polytope B(N ) = conv {B(Λ) | Λ pseudoline arrangement supported by N}
P.-Santos, The brick polytope of a sorting network (’12)
![Page 190: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/190.jpg)
BRICK POLYTOPE
B({2,3,5})=(1,6,3,8)
B({2,3,9})=(1,6,5,6)
B({2,5,6})=(2,6,2,8)
B({3,4,5})=(1,7,3,7)
B({3,4,9})=(1,7,5,5)
B({2,6,7})=(3,6,2,7)B({2,7,9})=(3,6,3,6)
B({4,6,7})=(3,7,2,6)B({4,7,9})=(3,7,3,5)
B({4,5,6})=(2,7,2,7)
![Page 191: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/191.jpg)
BRICK VECTORS AND FLIPS
If Λ and Λ′ are two pseudoline arrangements supported by N and related by a flip between
their ith and jth pseudolines, then B(Λ)− B(Λ′) ∈ N>0 (ej − ei).
THM. The cone of the brick polytope B(N ) at the brick vector B(Λ) is the incidence
cone of the contact graph of Λ:
cone {B(Λ′)− B(Λ) | Λ′ supported by N} = cone{ej − ei
∣∣ i→ j ∈ Λ#}
![Page 192: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/192.jpg)
COMBINATORIAL DESCRIPTION
THM. The cone of the brick polytope B(N ) at the brick vector B(Λ) is the incidence
cone of the contact graph of Λ:
cone {B(Λ′)− B(Λ) | Λ′ supported by N} = cone{ej − ei
∣∣ i→ j ∈ Λ#}
VERTICES OF B(N )
The brick vector B(Λ) is a vertex of B(N ) ⇐⇒ the contact graph Λ# is acyclic.
GRAPH OF B(N )
The graph of the brick polytope is a subgraph of the flip graph whose vertices are the
pseudoline arrangements with acyclic contact graphs.
FACETS OF B(N )
The facets of B(N ) correspond to the minimal directed cuts of the contact graphs of
the pseudoline arrangements supported by N .
P.-Santos, The brick polytope of a sorting network (’12)
![Page 193: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/193.jpg)
NORMAL FAN
THM. The Coxeter fan refines the normal fan of the brick polytope. More precisely,
normal cone of B(Λ) in B(N ) =⋃σ∈Sn
R(Λ)⊆σ(Φ+)
σ( fundamental cone )
![Page 194: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/194.jpg)
MINKOWSKI SUM
THM. Bk(Λ) = characteristic vector of pseudolines of Λ passing above the kth brick
B(N , k) = conv {Bk(Λ) | Λ pseudoline arrangement supported by N}
B(Q) = convΛ B(Λ) = convΛ
∑k
Bk(Λ) =∑
kconvI Bk(Λ) =
∑kB(N , k)
![Page 195: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/195.jpg)
DUPLICATED NETWORKS AND ZONOTOPES
Duplicated network NG = duplicate the commutators corresp. to G in a reduced network
21
543
Any pseudoline arrangement supported by NG has one contact and one crossing among
each pair of duplicated commutators. Therefore
pseudoline arrangements on NG ←→ orientation of G
vertices of B(NG) ←→ acyclic orientations of G
B(NG) ←→ graphical zonotope of G =∑i−j∈G
[ei, ej]
normal fan of NG ←→ graphical hyperplane arrangement of G
= hyp. {x ∈ Rn | xi = xj} for i− j ∈ G
![Page 196: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/196.jpg)
COXETER BRICK POLYTOPES
All this story extends to arbitrary finite Coxeter groups
P.-Stump, Brick polytopes of spherical subword complexes & gen. assoc. (’15)
![Page 197: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/197.jpg)
TWISTS
...
![Page 198: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/198.jpg)
k-TWISTS
(k, n)-twist = pipe dream in the trapezoidal shape of height n and width k
![Page 199: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/199.jpg)
k-TWISTS
4 5321 4 5321 4 5321 4 5321
(k, n)-twist = pipe dream in the trapezoidal shape of height n and width k
Bergeron-Billey. RC-graphs and Schubert polynomials. 1993
Knutson-Miller. Grobner geometry of Schubert polynomials. 2005
![Page 200: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/200.jpg)
k-TWISTS
4 5321 4 5321 4 5321 4 5321
4 5321 4 5321 4 53214 5321
(k, n)-twist = pipe dream in the trapezoidal shape of height n and width k
contact graph of a twist T = vertices are pipes of T and arcs are elbows of T
![Page 201: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/201.jpg)
1-TWISTS AND TRIANGULATIONS
Correspondence
elbow in row i and column j ←→ diagonal [i, j] of the (n + 2)-gon
(1, n)-twist T ←→ triangulation T? of the (n + 2)-gon
pth relevant pipe of T ←→ pth triangle of T?
contact graph of T ←→ dual binary tree of T?
elbow flips in T ←→ diagonal flips in T?
4 5321
4
5
32
1
0 64
5
3
2
1
Woo. Catalan numbers and Schubert Polynomials for w = 1(n+ 1) . . . 2. Unpub 2004
P. – Pocchiola. Multitriangulations, pseudotriangulations and primitive sorting networks. 2012
![Page 202: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/202.jpg)
1-TWISTS AND TRIANGULATIONS
Correspondence
elbow in row i and column j ←→ diagonal [i, j] of the (n + 2)-gon
(1, n)-twist T ←→ triangulation T? of the (n + 2)-gon
pth relevant pipe of T ←→ pth triangle of T?
contact graph of T ←→ dual binary tree of T?
elbow flips in T ←→ diagonal flips in T?
4 5321
4
5
32
1
0 6
4
53
1
2
Woo. Catalan numbers and Schubert Polynomials for w = 1(n+ 1) . . . 2. Unpub 2004
P. – Pocchiola. Multitriangulations, pseudotriangulations and primitive sorting networks. 2012
![Page 203: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/203.jpg)
k-TWISTS AND k-TRIANGULATIONS
Correspondence
elbow in row i and column j ←→ diagonal [i, j] of the (n + 2k)-gon
(k, n)-twist T ←→ k-triangulation T? of the (n + 2k)-gon
pth relevant pipe of T ←→ pth k-star of T?
contact graph of T ←→ dual graph of T?
elbow flips in T ←→ diagonal flips in T?
4 5321
4
5
32
1
P. – Pocchiola. Multitriangulations, pseudotriangulations and primitive sorting networks. 2012
![Page 204: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/204.jpg)
BRICK POLYTOPES OF TWISTS
k = 1
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
− −−
−+−
+−−
−−+
−++
++−
+++
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
+−+
permutahedron Perm(n) brick polytope Brickk(n) zonotope Zonok(n)
conv(Sn+1) conv {B(Λ) | Λ (k, n)-twist}∑|i−j|≤k
[ei, ej]
k = 1 gives Loday’s associahedron!!
...
![Page 205: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/205.jpg)
BRICK POLYTOPES OF TWISTS
k = 2
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321
4321
4321
4321
4321
4321
− −−−−
−−−+−
−+−+−
+++++++++−
+−++−++−+−
++−++
+−−+−−+−++
−+−−+
−−−−+
−−+−−
+−+−−−++−+
−−+−+
+++−+
+−+−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
permutahedron Perm(n) brick polytope Brickk(n) zonotope Zonok(n)
conv(Sn+1) conv {B(Λ) | Λ (k, n)-twist}∑|i−j|≤k
[ei, ej]
...
![Page 206: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/206.jpg)
BRICK POLYTOPES OF TWISTS
k = 3
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321 4321
4321
4321
4321
4321
4321
4321
4321
4321
−−−−−−
−−−−+−
−−+−+−
−++−+−
+++−+−
−+−−+−
−+−++−
++−++−
−+−+−−
−−−−−+
−−−+−−
−−+−++
−−+−−+
+−+−−+
+−+−++
+++−++
++++++ +++++−
−−−+−+
+−−+−+
++−+−+
++++−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
permutahedron Perm(n) brick polytope Brickk(n) zonotope Zonok(n)
conv(Sn+1) conv {B(Λ) | Λ (k, n)-twist}∑|i−j|≤k
[ei, ej]
...
![Page 207: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/207.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 208: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/208.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
2
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 209: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/209.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 210: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/210.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 211: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/211.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 212: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/212.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 213: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/213.jpg)
k-TWIST INSERTION
Input: a permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-twist insk(τ )
Exm: Insertion of τ = 31542
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
THM. insk is a surjection from permutations of [n] to acyclic (k, n)-twists.
fiber of a (k, n)-twist T = linear extensions of its contact graph T#.
Exm: insertion in binary search trees ...
![Page 214: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/214.jpg)
k-TWIST CONGRUENCE
k-twist congruence = equivalence relation ≡k on Sn defined as the transitive closure of
the rewriting rule
UacV1b1V2b2 · · ·VkbkW ≡k UcaV1b1V2b2 · · ·VkbkW if a < bi < c for all i ∈ [k].
4321
4231 43123421
34123241 2431 4213
1234
13242134 1243
31242314 13422143 1423
3142 24133214 2341 4123 1432
4321
3421 4231 4312
3241
1234
2134 1324 1243
2314 21433124 1342 1423
3214 2341 3142 2413 4123 1432
413234122431 4213 4132
PROP. The k-twist congruence is a lattice congruence of the weak order.
PROP. For any τ, τ ′ ∈ Sn, we have τ ≡k τ ′ ⇐⇒ insk(τ ) = insk(τ ′).
![Page 215: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/215.jpg)
INCREASING FLIP LATTICE
flip in a k-twist = exchange an elbow with the unique crossing between its two pipes
increasing flip = the elbow is southwest of the crossing
increasing flip order = transitive closure of the increasing flip graph
45
321
4 5321
−→45
321
4 5321
−→45
321
4 5321
![Page 216: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/216.jpg)
INCREASING FLIP LATTICE
4321
4321
4321 43214321
43214321 4321 4321
4321
4321 43214321
4321
4321
4321 4321 4321
43214321 4321 4321 4321
4321 4321 4321 4321
4321 4321 4321
4321
4321
4321
4321 4321
4321
![Page 217: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/217.jpg)
INCREASING FLIP LATTICE
flip in a k-twist = exchange an elbow with the unique crossing between its two pipes
increasing flip = the elbow is southwest of the crossing
increasing flip order = transitive closure of the increasing flip graph
45
321
4 5321
−→45
321
4 5321
−→45
321
4 5321
PROP. The increasing flip order on acyclic k-twists is isomorphic to:
• the quotient lattice of the weak order by the k-twist congruence ≡k,
• the subposet of the weak order induced by the permutations of Sn avoiding the
pattern 1(k + 2) – (σ1 + 1) – · · · – (σk + 1) for all σ ∈ Sk.
![Page 218: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/218.jpg)
TWIST ALGEBRA
...
![Page 219: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/219.jpg)
SHUFFLE AND CONVOLUTION
For n, n′ ∈ N, consider the set of perms of Sn+n′ with at most one descent, at position n:
S(n,n′) := {τ ∈ Sn+n′ | τ (1) < · · · < τ (n) and τ (n + 1) < · · · < τ (n + n′)}
For τ ∈ Sn and τ ′ ∈ Sn′, define
shifted concatenation τ τ ′ = [τ (1), . . . , τ (n), τ ′(1) + n, . . . , τ ′(n′) + n] ∈ Sn+n′
shifted shuffle product τ � τ ′ ={
(τ τ ′) ◦ π−1∣∣ π ∈ S(n,n′)
}⊂ Sn+n′
convolution product τ ? τ ′ ={π ◦ (τ τ ′)
∣∣ π ∈ S(n,n′)}⊂ Sn+n′
Exm: 12 � 231 = {12453, 14253, 14523, 14532, 41253, 41523, 41532, 45123, 45132, 45312}12 ? 231 = {12453, 13452, 14352, 15342, 23451, 24351, 25341, 34251, 35241, 45231}
12345
54321
2
4
1
3
5
5432112345
532 41concatenation shuffle convolution
![Page 220: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/220.jpg)
MALVENUTO & REUTENAUER’S HOPF ALGEBRA ON PERMUTATIONS
DEF. Combinatorial Hopf Algebra = combinatorial vector space B endowed with
product · : B ⊗ B → Bcoproduct 4 : B → B ⊗ B
which are “compatible”, ie.
B ⊗ B B B ⊗ B
B ⊗ B ⊗ B ⊗ B B ⊗ B ⊗ B ⊗ B
·
4 ⊗4
4
I ⊗ swap⊗ I
· ⊗ ·
Malvenuto-Reutenauer algebra = Hopf algebra FQSym with basis (Fτ)τ∈S and where
Fτ · Fτ ′ =∑
σ∈τ � τ ′
Fσ and 4Fσ =∑σ∈τ?τ ′
Fτ ⊗ Fτ ′
Malvenuto-Reutenauer. Duality between quasi-symmetric functions and the Solomon descent algebra. 1995
![Page 221: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/221.jpg)
HOPF SUBALGEBRA
k-Twist algebra = vector subspace Twistk of FQSym generated by
PT :=∑τ∈S
insk(τ)=T
Fτ =∑
τ∈L(T#)
Fτ ,
for all acyclic k-twists T.
Exm:
P 4 5321 =∑τ∈S5
Fτ P 4 5321 = F13542 + F15342
+ F31542 + F51342
+ F35142 + F53142
+ F35412 + F53412
P 4 5321 = F31542
+ F35142
P 4 5321 = F31542.
THEO. Twistk is a subalgebra of FQSym
Loday-Ronco. Hopf algebra of the planar binary trees. 1998
Hivert-Novelli-Thibon. The algebra of binary search trees. 2005
GAME: Explain the product and coproduct directly on the k-twists...
![Page 222: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/222.jpg)
PRODUCT
P 4321 · P 21 = (F1423 + F4123) · F21
=
[F142365
+F412365
]+
F142635
+F146235
+F412635
+F416235
+F461235
+
F164235
+F614235
+F641235
+
F142653
+F146253
+F412653
+F416253
+F461253
+
F164253
+F614253
+F641253
+
F146523
+F416523
+F461523
+F465123
+
F164523
+F614523
+F641523
+F645123
+
F165423
+F615423
+F651423
+F654123
= P 4321 65 + P 4321 65 + P 4321 65 + P 4321 65 + P 4321 65 + P 4321 65 + P 4321 65 + P 4321 65
PROP. For T ∈ AT k(n) and T′ ∈ AT k(n′) acyclic k-twists, PT ·PT′ =∑
S PS, where S
runs over the interval between T\T′ and T/T′ in the (k, n + n′)-twist lattice.
4321 65 4321 654321 21
...
![Page 223: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/223.jpg)
THREE EXTENSIONS
...
![Page 224: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/224.jpg)
THREE EXTENSIONS
CAMBRIANIZATION TUPLIZATION SCHRODERIZATION124 53
1245
3
4321
4321
45
321
4 5321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321 4
321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321 4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
321
321
321
321
321
321
321
321
321
321
321
...
![Page 225: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/225.jpg)
CAMBRIANIZATION
k ∈ N and ε ∈ ±n, define a shape Shkε formed by four monotone lattices paths:
(i) enter path: from (|ε|+, 0) to (0, |ε|−) with pth step north if εp = − and west if εp = +,
(ii) exit path: from (|ε|+ + k, n + k) to (n + k, |ε|− + k) with pth step east if εp = −and south if εp = +,
(iii) accordion paths: the path (NE)|ε|++k from (0, |ε|−) to (|ε|+ + k, n + k) and
the path (EN)|ε|−+k from (|ε|+, 0) to (n + k, |ε|− + k).
![Page 226: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/226.jpg)
CAMBRIANIZATION
4 5321 4 5321 4 5321 4 5321
1 1 1 12 2 2 24 53 4 53 4 53 4 53
Cambrian (k, ε)-twist = pipe dream in Shkεcontact graph of a twist T = vertices are pipes of T and arcs are elbows of T
![Page 227: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/227.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
124 53
1245
3
124 53
1245
3
124 53
1245
3
124 53
1245
3
![Page 228: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/228.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
21
4 53
1245
3
21
4 53
1245
3
21
4 53
1245
3
21
4 53
1245
3
![Page 229: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/229.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
24
1
53
1245
3
24
1
53
1245
3
24
1
53
1245
3
24
1
53
1245
3
![Page 230: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/230.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
24 5
1
3
1245
3
24 5
1
3
1245
3
24 5
1
3
1245
3
24 5
1
3
1245
3
![Page 231: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/231.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
124 53
1245
3
124 53
1245
3
124 53
1245
3
124 53
1245
3
![Page 232: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/232.jpg)
CAMBRIANIZATION
Input: a signed permutation τ = τ1 · · · τnAlgo: Insert pipes one by one (from right to left) as northwest as possible
Output: an acyclic Cambrian (k, ε)-twist insk(τ )
Exm: Insertion of τ = 31542
124 53
1245
3
124 53
1245
3
124 53
1245
3
124 53
1245
3
![Page 233: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/233.jpg)
CAMBRIANIZATION
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
![Page 234: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/234.jpg)
CAMBRIANIZATION
permutahedron Perm brick polytope Brickk(ε) zonotope Zonok(n)
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
− −−
−+−
+−−
−−+
−++
++−
+++
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
+−+
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321 − −−
−+−
+−−
−−+
−++
++−
+++
+−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
...
![Page 235: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/235.jpg)
CAMBRIANIZATION
permutahedron Perm brick polytope Brickk(ε) zonotope Zonok(n)
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321
4321
4321
4321
4321
4321
− −−−−
−−−+−
−+−+−
+++++++++−
+−++−++−+−
++−++
+−−+−−+−++
−+−−+
−−−−+
−−+−−
+−+−−−++−+
−−+−+
+++−+
+−+−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321 4
321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
− −−−−
−−−+−
−+−+−
+++++++++−
+−++−++−+−
++−++
+−−+−−+−++
−+−−+
−−−−+
−−+−−
+−+−−−++−+
−−+−+
+++−+
+−+−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
...
![Page 236: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/236.jpg)
CAMBRIANIZATION
permutahedron Perm brick polytope Brickk(ε) zonotope Zonok(n)
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
43214321
4321
4321
4321 4321
4321
4321
4321
4321
4321
4321
4321
4321
−−−−−−
−−−−+−
−−+−+−
−++−+−
+++−+−
−+−−+−
−+−++−
++−++−
−+−+−−
−−−−−+
−−−+−−
−−+−++
−−+−−+
+−+−−+
+−+−++
+++−++
++++++ +++++−
−−−+−+
+−−+−+
++−+−+
++++−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
43214
321
4321
4321
4321
4321
4321
4321 4
321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
−−−−−−
−−−−+−
−−+−+−
−++−+−
+++−+−
−+−−+−
−+−++−
++−++−
−+−+−−
−−−−−+
−−−+−−
−−+−++
−−+−−+
+−+−−+
+−+−++
+++−++
++++++ +++++−
−−−+−+
+−−+−+
++−+−+
++++−+
341243124321 3421
3142
3241
3214
13421432
1423
1243 12342134
1324
4123
4132
23143124
2143
2413
4213
2431
4231
2341
...
![Page 237: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/237.jpg)
TUPLIZATION
E = [ε1, . . . , ε`] an `-tuple of signatures
(k, E)-twist tuple = an `-tuple [T1, . . . ,T`] where
• Ti is a (k, εi)-twist
• the union of the contact graphs T#1 ∪ · · · ∪ T#
` is acyclic
4321
4321
![Page 238: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/238.jpg)
TUPLIZATION
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
4321
![Page 239: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/239.jpg)
SCHRODERIZATION
hyperpipe = union of pipes whose common elbows are changed to crossings
(k, n)-hypertwist = collection of hyperpipes obtained from a (k, n)-twist T by merging
subsets of pipes inducing connected subgraphs of T#
4 5321
4
5
32
1
0 645
23
1
![Page 240: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/240.jpg)
SCHRODERIZATION
Input: an ordered partition λ = λ1 · · ·λnAlgo: Insert hyperpipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-hypertwist insk(λ)
Exm: Insertion of τ = 3|15|42
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 241: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/241.jpg)
SCHRODERIZATION
Input: an ordered partition λ = λ1 · · ·λnAlgo: Insert hyperpipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-hypertwist insk(λ)
Exm: Insertion of τ = 3|15|42
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 242: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/242.jpg)
SCHRODERIZATION
Input: an ordered partition λ = λ1 · · ·λnAlgo: Insert hyperpipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-hypertwist insk(λ)
Exm: Insertion of τ = 3|15|42
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 243: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/243.jpg)
SCHRODERIZATION
Input: an ordered partition λ = λ1 · · ·λnAlgo: Insert hyperpipes one by one (from right to left) as northwest as possible
Output: an acyclic (k, n)-hypertwist insk(λ)
Exm: Insertion of τ = 3|15|42
4 5321
45
321
45
321
4 5321
45
321
4 5321
45
321
4 5321
![Page 244: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/244.jpg)
SCHRODERIZATION
1|2|3
3|2|1
2|1|3 1|3|2
2|3|1 3|1|2
1232|13 13|2
12|3 1|23
23|1 3|12
321
321
321
321
321
321
321
321
321
321
321
![Page 245: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/245.jpg)
THANKS
![Page 246: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/246.jpg)
FINITE COXETER GROUPS
Humphreys, Reflection groups and Coxeter groups (’90)Bjorner-Brenti, Combinatorics of Coxeter groups (’05)
![Page 247: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/247.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
![Page 248: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/248.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
![Page 249: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/249.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
![Page 250: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/250.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
![Page 251: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/251.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
![Page 252: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/252.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
![Page 253: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/253.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
Φ+ = Φ ∩R≥0[∆] = positive roots
![Page 254: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/254.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
Φ+ = Φ ∩R≥0[∆] = positive roots
∇ = {ωs | s ∈ S} = fundamental weights
![Page 255: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/255.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
Φ+ = Φ ∩R≥0[∆] = positive roots
∇ = {ωs | s ∈ S} = fundamental weights
![Page 256: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/256.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
Φ+ = Φ ∩R≥0[∆] = positive roots
∇ = {ωs | s ∈ S} = fundamental weights
permutahedron
![Page 257: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/257.jpg)
FINITE COXETER GROUPS
W = finite Coxeter group
Coxeter fan
fundamental chamber
S = simple reflections
∆ = {αs | s ∈ S} = simple roots
Φ = W (∆) = root system
Φ+ = Φ ∩R≥0[∆] = positive roots
∇ = {ωs | s ∈ S} = fundamental weights
permutahedron
weak order = u ≤ w ⇐⇒ ∃v ∈ W, uv = w and `(u) + `(v) = `(w)
![Page 258: THE ASSOCIAHEDRON AND ITS FRIENDS - univie.ac.atslc/wpapers/s76vortrag/...Hohlweg-Lange-Thomas (’12) Hopf algebra Cluster algebras CHAP.-FOM.-ZEL.’S ASSOCIAHEDRON @ @ @ @ @ @ @](https://reader036.vdocuments.mx/reader036/viewer/2022071605/6141a76ad64cc55ff0754ec0/html5/thumbnails/258.jpg)
EXAMPLES: TYPE A AND B
TYPE An = symmetric group Sn+1 TYPE Bn = semidirect product Sno(Z2)n
S = {(i, i + 1) | i ∈ [n]} S = {(i, i + 1) | i ∈ [n− 1]} ∪ {χ}∆ = {ei+1 − ei | i ∈ [n]} ∆ = {ei+1 − ei | i ∈ [n− 1]} ∪ {e1}
roots = {ei − ej | i, j ∈ [n + 1]} roots = {±ei ± ej | i, j ∈ [n]} ∪ {±ei | i ∈ [n]}∇ =
{∑j>i ej
∣∣ i ∈ [n]}
∇ ={∑
j≥i ej∣∣ i ∈ [n]
}back to cluster algebras