lattice theory of the poset of regions, with applications
TRANSCRIPT
![Page 1: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/1.jpg)
Lattice theory of the poset of regions,with applications to W -Catalan combinatorics.
Nathan Reading
NC State University
AMS Special Session on Arrangements and Related TopicsNew Orleans, LA, January 5–6, 2007
1
![Page 2: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/2.jpg)
Main point
A: a simplicial hyperplane arrangement.Given a lattice congruence Θ on the poset of regions of A, wedefine a coarsening FΘ of the fan defined by A.
In the special case where A is a Coxeter arrangement, the poset ofregions is the weak order on W . For a particular choice of Θ, FΘ
is the Cambrian fan:Maximal cones are counted by the W-Catalan number.Cambrian fan is combinatorially dual to the W -associahedron.
In particular this constructs the combinatorial backbone of clusteralgebras of finite type directly from the lattice theory and geometryof the weak order.
2
![Page 3: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/3.jpg)
The poset of regions (Edelman, 1985)
A: a (central) hyperplane arrangement in a real vector space.Regions: connected components of the complement of A.B : a distinguished “base” region.Separating set of a region R : The set of hyperplanes in A
separating R from B .Poset of regions P(A,B): The partial order on regions given bycontainment of separating sets. Alternately, take the zonotopedual to A and direct its 1-skeleton by a linear functional.
Examples
Finite Boolean lattices: Take A to be the coordinate hyperplanes.Weak order on a finite Coxeter group W : Take A to be the set ofall reflecting hyperplanes of W .
3
![Page 4: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/4.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 5: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/5.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 6: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/6.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 7: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/7.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 8: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/8.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 9: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/9.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 10: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/10.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 11: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/11.jpg)
The poset of regions (continued)
Example (Planes of reflective symmetry of regular tetrahedron)
Zonotope: permutohedron. Poset of regions: weak order on S4.
4
![Page 12: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/12.jpg)
Congruences of a finite lattice
L: a lattice.Congruence on L: an equivalence relation on L given by the fibersof some lattice homomorphism L → L′.
Key facts about congruences of finite lattices
1. Each congruence class is an interval.
2. Projection to bottom element of class is order-preserving.
3. Projection to top element of class is order-preserving.
In fact 1, 2 and 3 characterize congruences on finite lattices.
5
![Page 13: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/13.jpg)
Example (A lattice congruence on the weak order on S4)
6
![Page 14: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/14.jpg)
Fans
V : a real vector space.A (complete) fan is a decomposition of V into convex cones with“nice” intersections. (Cf. polyhedral complex).
Example (The normal fan of a polytope P in V )
Define an equivence relation on functionals in the dual space to V :
f ≡ f ′ if and only if f , f ′ maximized on the same face of P .
For example, a polygon and its normal fan:
Example (Fan defined by a central hyperplane arrangement)
Cones in this fan are the regions, together with all their faces.This is the normal fan of the corresponding zonotope.
7
![Page 15: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/15.jpg)
Coarsening fans by lattice congruences (R., 2004)
Simplicial fan: all cones are simplicial.Simplicial hyperplane arrangement: cuts space into a simplicial fan.
Theorem (Bjorner, Edelman, Ziegler, 1987)
If A is simplicial then P(A,B) is a lattice for any base region B.
Θ: any lattice congruence on P(A,B).FΘ: a collection of cones:Maximal cones of FΘ: unions, over congruence classes of Θ, ofmaximal cones of the fan defined by A.
These maximal cones are convex (congruence classes are intervalsin P(A,B)). Using the order-preserving projections, one checksthat they intersect “nicely.” Thus FΘ is a fan.
8
![Page 16: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/16.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 17: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/17.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 18: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/18.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 19: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/19.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 20: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/20.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 21: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/21.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 22: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/22.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 23: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/23.jpg)
Example (FΘ for a congruence on the weak order on S4)
9
![Page 24: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/24.jpg)
Example (FΘ for a congruence on the weak order on S4)
FΘ = normal fan of associahedron. P(A,B)/Θ = Tamari lattice.
9
![Page 25: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/25.jpg)
Generating a lattice congruence
Θ: a congruence relation on a finite lattice.Since Θ-classes are intervals, Θ is completely determined byedge-equivalences x ≡ y where x covers y .
Furthermore, for any set of edge-equivalences, there is a uniquecoarsest congruence containing those equivalences. In other words,a congruence can be generated by specifying a small number ofedge-equivalences.
Generalized associahedra (R., 2004–R., Speyer, 2006)
W : a finite Coxeter group W .By a simple rule, specify a small number of edge-equivalences,generating a congruence Θ. The fan FΘ is combinatoriallyisomorphic to the normal fan of the W -associahedron.Recently, Hohlweg, Lange and Thomas showed that FΘ is thenormal fan of a polytope.
10
![Page 26: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/26.jpg)
Example
This congruence is generated by the blue edge-equivalences.
11
![Page 27: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/27.jpg)
Forcing
Edge-equivalences are not independent; one edge-equivalence ingeneral forces many others.
Example
Forcing in P(A, B) (R., 2004)
For many simplicial arrangements A, forcing is completelydetermined by such local moves on intervals in P(A,B).(In particular, when A is the arrangement for a reflection group.)
Furthermore, this forcing can be described entirely in terms of thegeometry of the arrangement.
12
![Page 28: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/28.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 29: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/29.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 30: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/30.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 31: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/31.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 32: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/32.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 33: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/33.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 34: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/34.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 35: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/35.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 36: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/36.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 37: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/37.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 38: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/38.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 39: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/39.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 40: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/40.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 41: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/41.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 42: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/42.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 43: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/43.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 44: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/44.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 45: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/45.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 46: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/46.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 47: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/47.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13
![Page 48: Lattice theory of the poset of regions, with applications](https://reader031.vdocument.in/reader031/viewer/2022020622/61ebe42db002665a5813b74c/html5/thumbnails/48.jpg)
Forcing example
The congruence generated by the red and blue edge-equivalences.
13