marcelo aguiar and swee hong chan cornell universitysweehong/pdfs/presentation_gscc.pdf · marcelo...
TRANSCRIPT
![Page 1: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/1.jpg)
Toric arrangements that come from graphsMarcelo Aguiar and Swee Hong Chan
Cornell University
![Page 2: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/2.jpg)
Toric arrangements
Layman’s terms: lines on a donut.
Studied in connection to Kostant partition functions (DeConcini-Procesi ‘05), arithmetic matroids (Moci ‘12),arithmetic Tutte polynomial (D’Adderio-Moci ‘13), etc.
This talk is about toric arrangements that are built fromgraphs.
![Page 3: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/3.jpg)
Motivation
The current study of toric graphic arrangements is mainlyfocused on the case of the standard torus.
We study graphic arrangements on two other types of tori,the coweight torus and the coroot torus.
We will see that these two arrangements tell us new thingsabout the acyclic orientations of the input graph.
![Page 4: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/4.jpg)
ToriLet V be a real vector space.
A lattice L is the integer-span of a basis of V .The associated torus is the quotient T := V /L.
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦L
•
T
![Page 5: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/5.jpg)
Graphic arrangementsLet G be a simple connected graph.A(G ) is called the linear graphic arrangement.A(G ) is called the affine graphic arrangement.
1
2 3
e2−e3
e1−e3
e1−e2
•
K3
• •1√2
A(K3) A(K3)
![Page 6: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/6.jpg)
Toric graphic arrangements, example 1
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
•
L1 A(K3)
•
A(K3, L1)
![Page 7: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/7.jpg)
Toric graphic arrangements, example 2
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
••
••
•
••
◦◦
◦◦
◦
◦•
◦◦
◦◦
◦
◦•
L1
A(K3)
A(K3, L2)
![Page 8: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/8.jpg)
Toric graphic arrangements, example 2
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
••
••
•
•
•
◦◦
◦◦
◦
◦•
◦◦
◦◦
◦
◦•
A(K3)
A(K3, L2)
![Page 9: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/9.jpg)
Toric graphic arrangements, example 2
•
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
••
••
•
•
•
◦◦
◦◦
◦
◦•
◦◦
◦◦
◦
◦•
L2 A(K3)
A(K3, L2)
![Page 10: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/10.jpg)
Root system of type A
Vn := {x ∈ Rn | x1 + · · ·+ xn = 0} (ambient space);
An−1 := {ei − ej | 1 ≤ i < j ≤ n} (root system of type A);
ZAn−1 := Z{1/n(e1 + · · ·+ en)− ei | 1 ≤ i ≤ n} ((co)weight lattice);
ZAn−1 := Z{ei − ej | 1 ≤ i < j ≤ n} ((co)root lattice).
e2−e3
e1−e3
e1−e2
e3−e2
e3−e1
e2−e1• •
◦◦
◦◦
◦
◦ ◦◦◦◦
◦◦
◦◦
◦ ◦
◦ ◦
•
◦◦
◦◦
◦
◦
◦◦
◦◦◦
◦◦◦◦◦
◦◦◦◦◦
V3 ZA2 ZA2
![Page 11: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/11.jpg)
One graph, three toric arrangements
The standard arrangement: V = Rn, L = Zn.
The coweight arrangement: V = Vn, L = ZAn−1.
The coroot arrangement: V = Vn, L = ZAn−1.
A(K3, ZA2) A(K3,ZA2)
![Page 12: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/12.jpg)
Toric chambers
•
A(K3, ZA2)
A(K3,ZA2)
![Page 13: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/13.jpg)
Acyclic orientationsRecall the bijection of Greene and Zaslavsky (’83):
Chambers of A(G )↔ Acyclic orientations of G
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•
A(K3)
![Page 14: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/14.jpg)
Coweight Voronoi cells
•
◦
◦
◦
◦
◦
◦ ◦
◦
◦◦
◦
◦
◦◦
◦ ◦
◦ ◦
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•
ZA2 A(K3)
![Page 15: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/15.jpg)
Coweight Voronoi relation
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•
ZA2
Two orientations that are projected to the same toric chamber areVoronoi equivalent.
![Page 16: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/16.jpg)
Coweight Voronoi relation
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•ZA2
Two orientations that are projected to the same toric chamber areVoronoi equivalent.
![Page 17: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/17.jpg)
Coroot Voronoi cells
•
◦◦
◦◦
◦
◦
◦◦
◦◦◦
◦◦
◦◦
◦
◦◦
◦◦
◦
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•
ZA2 A(K3)
![Page 18: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/18.jpg)
Coroot Voronoi relation
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•
ZA2
No two distinct acyclic orientations are Voronoi equivalent.
![Page 19: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/19.jpg)
Coroot Voronoi relation
1
2 3
1
2 31
2 3
1
2 3
1
2 3
1
2 3
•ZA2
No two distinct acyclic orientations are Voronoi equivalent.
![Page 20: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/20.jpg)
Combinatorial description for coweight Voronoi equivalence
The relation is source-to-sink flip.
•
◦
◦
◦
→•
◦
◦
◦
Studied by
Mosesjan (‘72) and Pretzel (‘86) in combinatorics;Eriksson and Eriksson (‘09), and Speyer (‘09) in connection toconjugacy of Coxeter elements;Develin, Macauley and Reiner (‘16) in the context of toricarrangements.
It also arises in connection to sandpile groups and chip-firing.
![Page 21: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/21.jpg)
Combinatorial description for coroot Voronoi equivalence
The relation has several equivalent descriptions.
One is source-sink exchange.
•
•
◦
◦
↔•
•
◦
◦
Another one is n-step source-to-sink flip.
•
◦◦
◦→
•
◦◦
◦→• ◦
◦ ◦→•
◦◦
◦→◦
◦◦
◦
![Page 22: Marcelo Aguiar and Swee Hong Chan Cornell Universitysweehong/PDFs/presentation_gscc.pdf · Marcelo Aguiar and Swee Hong Chan Cornell University. Toric arrangements Layman’s terms:](https://reader036.vdocuments.site/reader036/viewer/2022062415/6051b108ed28865e8f3053b3/html5/thumbnails/22.jpg)
THANK YOU!