52
Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22, 2018 1 / 52

Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

  • Upload
    others

  • View
    14

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Enumerative Combinatorics from an Algebraic-Geometricpoint of view

Christos Athanasiadis

University of Athens

March 22, 2018

1 / 52

Page 2: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Outline

1 Three examples from combinatorics

2 An algebraic-geometric perspective

3 Gamma-positivity

2 / 52

Page 3: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Eulerian polynomials

We let

• Sn be the group of permutations of [n] := {1, 2, . . . , n}

and for w ∈ Sn

• des(w) := # {i ∈ [n − 1] : w(i) > w(i + 1)}• exc(w) := # {i ∈ [n − 1] : w(i) > i}

be the number of descents and excedances of w , respectively. Thepolynomial

An(x) :=∑w∈Sn

xdes(w) =∑w∈Sn

xexc(w)

is the nth Eulerian polynomial.

3 / 52

Page 4: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

An(x) =

1, if n = 1

1 + x , if n = 2

1 + 4x + x2, if n = 3

1 + 11x + 11x2 + x3, if n = 4

1 + 26x + 66x2 + 26x3 + x4, if n = 5

1 + 57x + 302x2 + 302x3 + 57x4 + x5, if n = 6.

4 / 52

Page 5: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Derangement polynomials

We let

• Dn be the set of derangements (permutations without fixed points)in the symmetric group Sn.

For instance,

• D3 = { (2, 3, 1), (3, 1, 2) }.

The polynomial

dn(x) :=∑w∈Dn

xexc(w)

is the nth derangement polynomial.

5 / 52

Page 6: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

dn(x) =

0, if n = 1

x , if n = 2

x + x2, if n = 3

x + 7x2 + x3, if n = 4

x + 21x2 + 21x3 + x4, if n = 5

x + 51x2 + 161x3 + 51x4 + x5, if n = 6

x + 113x2 + 813x3 + 813x4 + 113x5 + x6, if n = 7.

6 / 52

Page 7: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Binomial Eulerian polynomials

The polynomial

An(x) := 1 + xn∑

k=1

(n

k

)Ak(x) =

n∑k=0

(n

k

)xn−kAk(x)

is the nth binomial Eulerian polynomial.

Example

An(x) =

1 + x , if n = 1

1 + 3x + x2, if n = 2

1 + 7x + 7x2 + x3, if n = 3

1 + 15x + 33x2 + 15x3 + x4, if n = 4

1 + 31x + 131x2 + 131x3 + 31x4 + x5, if n = 5

1 + 63x + 473x2 + 883x3 + 473x4 + 63x5 + x6, if n = 6.

7 / 52

Page 8: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Note: All these polynomials are symmetric and unimodal. There is anendless list of generalizations, refinements and variations with similarproperties.

8 / 52

Page 9: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Symmetry and unimodality

Definition

A polynomial f (x) ∈ R[x ] is

• symmetric (or palindromic) and• unimodal

if for some n ∈ N,

f (x) = p0 + p1x + p2x2 + · · ·+ pnx

n

with

• pk = pn−k for 0 ≤ k ≤ n and• p0 ≤ p1 ≤ · · · ≤ pbn/2c.

The number n/2 is called the center of symmetry.

9 / 52

Page 10: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Question: Can algebra or geometry shed light into such phenomena?

10 / 52

Page 11: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Face enumeration of simplicial complexes

We let

• ∆ be a simplicial complex of dimension n − 1• fi (∆) be the number of i-dimensional faces.

Definition

The h-polynomial of ∆ is defined as

h(∆, x) =n∑

i=0

fi−1(∆) x i (1− x)n−i =n∑

i=0

hi (∆) x i .

The sequence h(∆) = (h0(∆), h1(∆), . . . , hn(∆)) is the h-vector of ∆.

Note: h(∆, 1) = fn−1(∆).

11 / 52

Page 12: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

For the 2-dimensional complex

∆ =

s ss

ss

ss

s����������

�����

@@@

��������AAAAAAAAAA�

����

we have f0(∆) = 8, f1(∆) = 15 and f2(∆) = 8 and hence

h(∆, x) = (1− x)3 + 8x(1− x)2 + 15x2(1− x) + 8x3

= 1 + 5x + 2x2.

12 / 52

Page 13: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

The boundary complex Σn of the n-dimensional cross-polytope is a trian-gulation of the (n − 1)-dimensional sphere:

We have

h(Σn, x) = (1 + x)n

for every n ≥ 1.

13 / 52

Page 14: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

The face ring

We let

• m be the number of vertices of ∆• k be a field• S = k[x1, x2, . . . , xm]• I∆ = 〈

∏i∈F xi : F /∈ ∆ 〉 be the Stanley–Reisner ideal of ∆

•k[∆] = S/I∆

be the Stanley–Reisner ring (or face ring) of ∆.

Then k[∆] is a graded k-algebra with Hilbert series∑i≥0

dimk(k[∆]i ) ti =

h(∆, t)

(1− t)n,

where n − 1 = dim(∆).14 / 52

Page 15: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Theorem (Klee, Reisner, Stanley)

The polynomial h(∆, x):

• has nonnegative coefficients if ∆ triangulates a ball or a sphere,• is symmetric if ∆ triangulates a sphere,• is unimodal if ∆ is the boundary complex of a simplicial polytope.

Note: If ∆ triangulates a ball or a sphere (more generally, if ∆ is Cohen–Macaulay over k), then there exists a graded quotient k(∆) of k[∆] suchthat hi (∆) = dimk(k(∆)i ) for every i .

15 / 52

Page 16: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

We let

• V be an n-element set,• 2V be the simplex on the vertex set V ,• ∆ be the first barycentric subdivision of the boundary complex of 2V .

���������AAAAAAAAA�

������

QQQQQQQ�

����

HHHH

HHHHH

@@@@@@@

Then h(∆, x) = An(x).

16 / 52

Page 17: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

For n = 3

s s

ss s

s���������AAAAAAAAA

∆ =

h(∆, x) = (1− x)2 + 6x(1− x) + 6x2 = 1 + 4x + x2.

17 / 52

Page 18: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

The local h-polynomial

We let

• V be an n-element set,• Γ be a triangulation of the simplex 2V on the vertex set V .

Definition (Stanley, 1992)

The local h-polynomial of Γ (with respect to V ) is defined as

`V (Γ, x) =∑F⊆V

(−1)n−|F | h(ΓF , x),

where ΓF is the restriction of Γ to the face F of the simplex 2V .

Note: This polynomial plays a major role in Stanley’s theory of subdivisi-ons of simplicial (and more general) complexes.

18 / 52

Page 19: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

For the 2-dimensional triangulation

Γ =

ss

sss

ss

s����������

�����

@@@

��������AAAAAAAAAA�

����

we have

`V (Γ, x) = (1 + 5x + 2x2) − (1 + 2x) − (1 + x) − 1

+ 1 + 1 + 1 − 1 = 2x + 2x2.

19 / 52

Page 20: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Theorem (Stanley, 1992)

The polynomial `V (Γ, x)

• is symmetric,• has nonnegative coefficients,• is unimodal for every regular triangulation Γ of 2V .

Note: Stanley showed that there exists a graded S-module LV (Γ) whoseHilbert series equals `V (Γ, x).

20 / 52

Page 21: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Barycentric subdivision

For the barycentric subdivision Γ of the simplex 2V on the vertex set V

s s s

ss ss

���������

�������

AAAAAAAAA

QQQQQQQ

Stanley showed that

`V (Γ, x) =n∑

k=0

(−1)n−k(n

k

)Ak(x) =

∑w∈Dn

xexc(w) = dn(x).

21 / 52

Page 22: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

The triangulation Σ(Γ)

We now turn attention to An(x). We let

• V be an n-element set,• Γ be a triangulation of the simplex 2V on the vertex set V .

Then, there exists a triangulation Σ(Γ) of Σn which restricts to Γ on onefacet of Σn and satisfies

h(Σ(Γ), x) =∑F⊆V

xn−|F | h(ΓF , x).

22 / 52

Page 23: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

For the barycentric subdivision Γ of 2V we have

h(Σ(Γ), x) =n∑

k=0

(n

k

)xn−kAk(x) = An(x).

23 / 52

Page 24: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

h-vectors of triangulations of complexes

Recall that the link of a simplicial complex ∆ at a face F ∈ ∆ is definedas link∆(F ) := {G r F : F ⊆ G ∈ ∆}.

Proposition (Stanley, 1992)

For every triangulation ∆′ of a pure simplicial complex ∆,

h(∆′, x) =∑F∈∆

`F (∆′F , x) h(link∆(F ), x).

24 / 52

Page 25: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

An application

We let again

• V be an n-element set,• Γ be a triangulation of the simplex 2V on the vertex set V .

Theorem (Kubitzke–Murai–Sieg, 2017)

`V (Γ, x) =∑F⊆V

(h(ΓF , x)− h(∂(ΓF ), x)) · dn−|F |(x).

25 / 52

Page 26: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Corollary (Kubitzke–Murai–Sieg, 2017)

We have

dn(x) =n−2∑k=0

(n

k

)dk(x)(x + x2 + · · ·+ xn−1−k)

for n ≥ 2. In particular, dn(x) is symmetric and unimodal for all n.

26 / 52

Page 27: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Question: Are there nice (symmetric and unimodal) analogues of Eulerian,derangement and binomial Eulerian polynomials for the hyperoctahedralgroup?

27 / 52

Page 28: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Eulerian polynomials of type Bn

We let

• Bn = {w = (w(1),w(2), . . . ,w(n)) : |w | ∈ Sn} be the group of sign-ed permutations of [n]

• ∆ be the first barycentric subdivision of the boundary complex of then-dimensional cube.

����

����

����

����

����

�������@

@@@@@@

����

����

��@@@@@@@

����������

Then, h(∆, 1) = 2nn! = #Bn.

28 / 52

Page 29: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Moreover,

h(∆, x) = Bn(x) :=∑w∈Bn

xdesB(w)

where

• desB(w) := # {i ∈ {0, 1, . . . , n − 1} : w(i) > w(i + 1)}

for w ∈ Bn as before, with w(0) := 0.

Example

Bn(x) =

1 + x , if n = 1

1 + 6x + x2, if n = 2

1 + 23x + 23x2 + x3, if n = 3

1 + 76x + 230x2 + 76x3 + x4, if n = 4

1 + 237x + 1682x2 + 1682x3 + 237x4 + x5, if n = 5.

29 / 52

Page 30: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

More barycentric subdivisions

We let

• V be an n-element set,• K be the barycentric subdivision of the cubical barycentric subdivision

of 2V .

Example

n = 3

30 / 52

Page 31: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Consider the polynomial

d+n (x) = `V (K , x).

Example

d+n (x) =

0, if n = 1

3x , if n = 2

7x + 7x2, if n = 3

15x + 87x2 + 15x3, if n = 4

31x + 551x2 + 551x3 + 31x4, if n = 5

63x + 2803x2 + 8243x3 + 2803x4 + 63x5, if n = 6.

Note: The sum of the coefficients of d+n (x) is equal to the number of even-

signed derangements (signed permutations without fixed points of positivesign) in Bn.

31 / 52

Page 32: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

For w = (w1,w2, . . . ,wn) ∈ Bn we let

fex(w) = 2 · excA(w) + neg(w),

where

• excA(w) := # {i ∈ [n − 1] : w(i) > i}• neg(w) := # {i ∈ [n] : w(i) < 0}.

Theorem (A, 2014)

We haved+n (x) =

∑w∈D+

n

x fex(w)/2

where D+n is the set of even-signed derangements in Bn.

32 / 52

Page 33: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

We now consider the polynomial

B+n (x) := h(Σ(K ), x).

Savvidou showed that

h(K , x) = B+n (x) :=

∑w∈B+

n

xdesB(w)

where B+n is the set of w ∈ Bn with positive last coordinate. Hence,

B+n (x) =

n∑k=0

(n

k

)xn−kB+

k (x) = h(Σ(K ), x)

is a symmetric and unimodal analogue of An(x) for the group Bn.

33 / 52

Page 34: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

B+n (x) =

1 + x , if n = 1

1 + 5x + x2, if n = 2

1 + 19x + 19x2 + x3, if n = 3.

34 / 52

Page 35: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Symmetric functions

We let

• x = (x1, x2, x3, . . . ) be a sequence of commuting indeterminates,• hn(x) be the complete homogeneous symmetric function in x of

degree n, defined by

H(x, z) :=∑n≥0

hn(x)zn =∏i≥1

1

1− xiz,

• sλ(x) be the Schur function in x corresponding to the partition λ.

35 / 52

Page 36: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

We define polynomials Rλ(t),Pλ(t),Qλ(t) by

1− t

H(x; tz)− tH(x; z)=∑λ

Rλ(t)sλ(x) z |λ|,

(1− t)H(x, z)

H(x; tz)− tH(x; z)=∑λ

Pλ(t)sλ(x) z |λ|

and

(1− t)H(x, z)H(x, tz)

H(x; tz)− tH(x; z)=∑λ

Qλ(t)sλ(x) z |λ|.

Note: The left-hand sides of these equations arise from algebraic-geome-tric and representation-theoretic considerations.

36 / 52

Page 37: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Note: We have ∑λ`n

f λRλ(t) = dn(t),

∑λ`n

f λPλ(t) = An(t)

and ∑λ`n

f λQλ(t) = An(t),

where f λ is the number of standard Young tableaux of shape λ.

37 / 52

Page 38: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Theorem (Brenti, Gessel, Shareshian–Wachs, Stanley)

The polynomials Rλ(t),Pλ(t) and Qλ(t) are symmetric and unimodal, withcenters of symmetry n/2, (n − 1)/2 and n/2, respectively, for every λ ` n.Moreover, there exist nonnegative integers ξλ,i , γλ,i and γλ,i such that

Rλ(t) =

bn/2c∑i=0

ξλ,i ti (1 + t)n−2i ,

Pλ(t) =

b(n−1)/2c∑i=0

γλ,i ti (1 + t)n−1−2i ,

Qλ(t) =

bn/2c∑i=0

γλ,i ti (1 + t)n−2i .

38 / 52

Page 39: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Gamma-positivity

Proposition (Branden, 2004, Gal, 2005)

Suppose f (x) ∈ R[x ] has nonnegative coefficients and only real roots andthat it is symmetric, with center of symmetry n/2. Then,

f (x) =

bn/2c∑i=0

γi xi (1 + x)n−2i

for some nonnegative real numbers γ0, γ1, . . . , γbn/2c.

Definition

The polynomial f (x) is called γ-positive if there exist nonnegative real nu-mbers γ0, γ1, . . . , γbn/2c as above, for some n ∈ N.

39 / 52

Page 40: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Thus, An(x), dn(x) and An(x) are γ-positive for all n.

Example

An(x) =

1, if n = 1

1 + x , if n = 2

(1 + x)2 + 2x , if n = 3

(1 + x)3 + 8x(1 + x), if n = 4

(1 + x)4 + 22x(1 + x)2 + 16x2, if n = 5

(1 + x)5 + 52x(1 + x)3 + 186x2(1 + x), if n = 6.

Note: Every γ-positive polynomial (even if it has nonreal roots) is symme-tric and unimodal.

40 / 52

Page 41: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

An index i ∈ [n] is called a double descent of a permutation w ∈ Sn if

w(i − 1) > w(i) > w(i + 1),

where w(0) = w(n + 1) = n + 1.

Theorem (Foata–Schutzenberger, 1970)

We have

An(x) =

b(n−1)/2c∑i=0

γn,i xi (1 + x)n−1−2i ,

where γn,i is the number of w ∈ Sn which have no double descent anddes(w) = i . In particular, An(x) is symmetric and unimodal.

41 / 52

Page 42: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Recently, gamma-positivity attracted attention after the work of

• Branden (2004, 2008) on P-Eulerian polynomials,• Gal (2005) on flag triangulations of spheres.

Expositions can be found in:

• A, Gamma-positivity in combinatorics and geometry, arXiv:1711.05983.

• T.K. Petersen, Eulerian Numbers, Birkhauser, 2015.

42 / 52

Page 43: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Note: Γ-positivity is known to hold for

• Bn(x), d+n (x) and B+

n (x)

for all n.

Example

Bn(x) =

1 + x , if n = 1

(1 + x)2 + 4x , if n = 2

(1 + x)3 + 20x(1 + x), if n = 3

(1 + x)4 + 72x(1 + x)2, if n = 4

(1 + x)5 + 232x(1 + x)3 + 976x2(1 + x), if n = 5

(1 + x)6 + 716x(1 + x)4 + 7664x2(1 + x)2, if n = 6.

43 / 52

Page 44: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Flag complexes and Gal’s conjecture

Definition

A simplicial complex ∆ is called flag if it contains every simplex whose1-skeleton is a subcomplex of ∆.

Example

ss

s

s�����

����������

HHHHH

AAAAAAAAAA

not flag

s ss

ss

ss

s����������

�����

@@@

��������AAAAAAAAAA�

����

flag44 / 52

Page 45: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Example

For a 1-dimensional sphere ∆ with m vertices we have

h(∆, x) = 1 + (m − 2)x + x2.

Note that h(∆, x) is γ-positive ⇔ m ≥ 4 ⇔ ∆ is flag.

Conjecture (Gal, 2005)

The polynomial h(∆, x) is γ-positive for every flag triangulation ∆ of thesphere.

Note: This extends a conjecture of Charney–Davis (1995).

Example

The complex Σn is a flag and h(Σn, x) = (1 + x)n for every n ≥ 1.

45 / 52

Page 46: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Conjecture (A, 2012)

The polynomial `V (Γ, x) is γ-positive for every flag triangulation Γ of 2V .

Note: This is stronger than Gal’s conjecture. There is considerable eviden-ce for both conjectures.

46 / 52

Page 47: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

We recall our notation Σ(Γ) and note that the formula

h(Σ(Γ), x) =∑F⊆V

xn−|F | h(ΓF , x)

may be rewritten as

h(Σ(Γ), x) =∑F⊆V

`F (ΓF , x) (1 + x)n−|F |.

Corollary

The γ-positivity of h(Σ(Γ), x) is implied by that of the `F (ΓF , x). In par-ticular:

• The γ-positivity of An(x) follows from that of dn(x).

• The γ-positivity of B+n (x) follows from that of d+

n (x).

47 / 52

Page 48: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

The analogue

(1− t)H(x, z)H(x, tz)

H(x; tz)H(y; tz)− tH(x; z)H(y; tz)=∑λ,µ

Pλ,µ(t)sλ(x)sµ(y) z |λ|+|µ|

for the group Bn of

(1− t)H(x, z)

H(x; tz)− tH(x; z)=∑λ

Pλ(t)sλ(x) z |λ|

was found by Dolgachev–Lunts and Stembridge (1994). We then have

∑(λ,µ)`n

(n

|λ|

)f λf µPλ,µ(t) = Bn(t)

for every n ≥ 1.

48 / 52

Page 49: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Open Problem:

• Find the analogues of the identites involving Rλ and Qλ for Bn.• Find a combinatorial interpretation for Pλ,µ(t).• Prove that the polynomials Pλ,µ(t) are γ-positive.

49 / 52

Page 50: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Consider the second barycentric subdivision Γ2 of the simplex 2V .

One can show that

`V (Γ2, x) =∑(

n

r0, r1, . . . , rk

)dk(x) dr0(x)Ar1(x) · · ·Ark (x),

where the sum ranges over all k ≥ 0 and over all sequences (r0, r1, . . . , rk)of integers which satisfy r0 ≥ 0, r1, . . . , rk ≥ 1 and sum to n.

50 / 52

Page 51: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Note: This implies the γ-positivity of `V (Γ2, x).

Exercise: The sum of the coefficients of `V (Γ2, x) is equal to the numberof pairs (u, v) ∈ Sn ×Sn of permutations with no common fixed point.

Open Problem: Find a combinatorial interpretation for:

• `V (Γ2, x),

• the corresponding γ-coefficients.

51 / 52

Page 52: Enumerative Combinatorics from an Algebraic-Geometric ... · Enumerative Combinatorics from an Algebraic-Geometric point of view Christos Athanasiadis University of Athens March 22,

Thank you for your attention!

52 / 52