Loading in 5 sec....

Generalized Catalan numbers and hyperplane arrangements Communicating Mathematics, July, 2007PowerPoint Presentation

Generalized Catalan numbers and hyperplane arrangements Communicating Mathematics, July, 2007

Download Presentation

Generalized Catalan numbers and hyperplane arrangements Communicating Mathematics, July, 2007

Loading in 2 Seconds...

- 94 Views
- Uploaded on
- Presentation posted in: General

Generalized Catalan numbers and hyperplane arrangements Communicating Mathematics, July, 2007

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

1

4

2

3

4

1

3

2

1

4

3

2

Generalized Catalan numbers and hyperplane arrangementsCommunicating Mathematics, July, 2007

Cathy Kriloff

Idaho State University

Supported in part by NSA grant MDA904-03-1-0093

Joint work with Yu Chen, Idaho State University

Journal of Combinatorial Theory – Series A

- Partitions counted by Cat(n)
- Real reflection groups
- Generalized partitions counted by Cat(W)
- Regions in hyperplane arrangements and the dihedral noncrystallographic case

- Let P(n)=partitions of [n]={1,2,…,n}
- Order by: P1≤P2 if P1 refinesP2
- Same as intersection lattice of Hn={xi=xj | 1≤i<j≤n} in Rn under reverse inclusion
- Example: P(3)

Nonnesting partitions have no nested arcs = NN(n)

Examples in P(4):

Nonnesting partition of [4]

Nesting partition of [4]

Noncrossing partitions have no crossing arcs = NC(n)

Examples in P(4):

Noncrossing partition of [4]

Crossing partition of [4]

Subposets:

- NN(4)=P(4)\
- NC(4)=P(4)\

Catalan number

See #6.19(pp,uu) in Stanley, Enumerative Combinatorics II, 1999

or www-math.mit.edu/~rstan/

NN(n) Postnikov – 1999

NC(n) Becker - 1948, Kreweras - 1972

These posets are all naturally related to the permutation group Sn

- Symmetries of these shapes are crystallographic reflection groups of types A2, B2, G2
- First two generalize to n-dim simplex and hypercube
- Corresponding groups: Sn+1=An and Sn⋉(Z2)n=Bn
- (Some crystallographic groups are not symmetries of regular polytopes)

- Generalize to 2-dim regular m-gons
- Get dihedral groups,I2(m), for any m
- Noncrystallographic unless m=3,4,6 (tilings)

I2(5)

I2(7)

I2(8)

Classification of finite groups generated by reflections = finite Coxeter groups due toCoxeter (1934), Witt (1941)

Symmetries

of regular

polytopes

Crystallographic

reflection groups

=Weyl groups

Venn diagram:

Drew Armstrong

- roots = unit vectors perpendicular to reflecting hyperplanes
- simpleroots = basis so each root is positive or negative

A2

a1+a2=b2=e1-e3

a2=b3=e2-e3

a1=b1=e1-e2

- ai are simple roots
- bi are positive roots
- work in plane x1+x2+x3=0
- ei-ej connect to NN(3) since hyperplane xi=xj is (ei-ej)┴

3

1

2

Root poset for A2

- Express positive j in i basis
- Ordering: ≤ if -═cii with ci≥0
- Connect by an edge if comparable
- Increases going down
- Pick any set of incomparable roots (antichain), , and form its ideal= for all
- Leave off bs, just write indices

Antichains (ideals) for A2

1 (2) 3

1 (2) (2) 3

2

Let e1,e2,…,en be an orthonormal basis of Rn

n=3, type A2

Subposet of intersection lattice of hyperplane arrangement

{xi-xj=0 | 1≤i<j≤n} in type An-1,

{<x,bi>=0 | 1≤j≤n} in general

Antichains (ideals)

in Int(n-1) in type An-1 (Stanley-Postnikov 6.19(bbb)), root poset in general

Using antichains/ideals in the root poset excludes {e1-e4,e2-e3}

- For W=crystallographic reflection group define NN(W) to be antichains in the root poset (Postnikov)Get |NN(W)|=Cat(W)= (h+di)/|W|, where h = Coxeter number, di=invariant degreesNote: for W=Sn (type An-1), Cat(W)=Cat(n)
- What if W=noncrystallographic reflection group?

- Name positive roots 1,…,m
- Add affine hyperplanes defined by x, i=1 and label by I
- Important in representation theory

Label each 2-dim region in dominant coneby all i so that for all x in region, x, i 1= all i such that hyperplane is crossed as move out from origin

1

A2

2

3

1 2 3

3

b2

2 3

b1

1 2

2

2

3

1

Regions into which the cone x1≥x2≥…≥xnis divided by xi-xj=1, 1≤i<j≤n #6.19(lll)

(Stanley, Athanasiadis, Postnikov, Shi)

Regions in the dominant cone in general

Ideals in the

root poset

- Add affine hyperplanes defined by x, i=1 and label by i
- For m even there are two orbits of hyperplanes and move one of them

- When m is even roots lie on reflecting lines so symmetries break them into two orbits

1

2

4

I2(4)

3

4

a2

2

3

a1

1

12

34

12

34

12

34

2 3 4

1 2 3

2 3 4

2 3 4

1 2 3

2 3

1 2 3

2 3

2 4

2 3

2

3

2

2

Label each 2-dim region by all i such that for all x in region, x, i ci= all i such that hyperplane is crossed as move out from origin

These subsets of {1,2,3,4} are exactly the ideals in each case

1

4

3

1

3

2

2

1

4

3

2

1

4

3

2

I2(3)

I2(4)

- Express positive j in i basis
- Ordering: ≤ if -═cii with ci≥0
- Connect by an edge if comparable
- Increases going down
- Pick any set of incomparable roots (antichain), , and form its ideal= for all
- x, i=c x, i /c=1 so moving hyperplane in orbit changing root length in orbit, and poset changes

I2(5)

5

1

2

4

3

Root poset for I2(5)

Ideals index

dominant regions

1

5

2

4

1 2 3

4 5

I2(5)

3

2 3

4 5

Ideals for I2(5)

1 2

3 4

1 2 3 4 5

2 3 4 5 1 2 3 4

2 3 4

3 4 2 3

3

2 3 4

5

34

2 3

3

1

4

3

2

12

34

12

34

12

34

2 3 4

1 2 3

2 3 4

2 3 4

1 2 3

2 3

1 2 3

2 3

2 4

2 3

2

3

2

2

1

4

1

4

4

1

3

3

2

3

2

2

- Theorem (Chen, K): There is a bijection between dominant regions in this hyperplane arrangement and ideals in the poset of positive roots for the root system of type I2(m) for every m.If m is even, the correspondence is maintained as one orbit of hyperplanes is dilated.
- Was known for crystallographic root systems,- Shi (1997), Cellini-Papi (2002)and for certain refined counts.- Athanasiadis (2004), Panyushev (2004), Sommers (2005)

- Cat(I2(5))=7 but I2(5) has 8 antichains!
- Except in crystallographic cases, # of antichains is notCat(I2(m))
- For any reflection group, W, Brady & Watt, Bessis define NC(W) Get |NC(W)|=Cat(W)= (h+di)/|W|, where h = Coxeter number, di=invariant degrees
- But no bijection known from NC(W) to NN(W)!Open: What is a noncrystallographic nonnesting partition?
- See Armstrong, Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups – will appear in Memoirs AMSand www.aimath.org/WWN/braidgroups/