Gamma-positivity in combinatorics and geometry

Gamma-positivity is an elementary property that polynomials with symmetric coefficients may have, which directly implies their unimodality. The idea behind it stems from work of Foata, Sch\"utzenberger and Strehl on the Eulerian polynomials; it was revived independently by Br\"and\'en and Gal in the course of their study of poset Eulerian polynomials and face enumeration of flag simplicial spheres, respectively, and has found numerous applications since then. This paper surveys some of the main results and open problems on gamma-positivity, appearing in various combinatorial or geometric contexts, as well as some of the diverse methods that have been used to prove it.

[1]  William Y. C. Chen,et al.  Derangement Polynomials and Excedances of Type B , 2009, Electron. J. Comb..

[3]  Richard P. Stanley,et al.  Some Aspects of Groups Acting on Finite Posets , 1982, J. Comb. Theory, Ser. A.

[4]  K. Dilks.  Involutions on Baxter Objects , 2014, 1402.2961.

[5]  Petter Brand'en,et al.  Actions on permutations and unimodality of descent polynomials , 2006, math/0610185.

[6]  Francesco Brenti,et al.  q-Eulerian Polynomials Arising from Coxeter Groups , 1994, Eur. J. Comb..

[7]  Shishuo Fu,et al.  On 1212-Avoiding Restricted Growth Functions , 2017, Electron. J. Comb..

[8]  Carla D. Savage,et al.  The s-eulerian polynomials have only real roots , 2012, 1208.3831.

[9]  Guo-Niu Han,et al.  The decrease value theorem with an application to permutation statistics , 2011, Adv. Appl. Math..

[10]  Chak-On Chow.  On certain combinatorial expansions of the Eulerian polynomials , 2008, Adv. Appl. Math..

[11]  D. Barnette.  A proof of the lower bound conjecture for convex polytopes. , 1973 .

[12]  I. Dolgachev,et al.  A Character Formula for the Representation of a Weyl Group in the Cohomology of the Associated Toric Variety , 1994 .

[13]  Jiang Zeng,et al.  Two new triangles of q-integers via q-Eulerian polynomials of type A and B , 2012, 1203.6736.

[14]  The combinatorics of twisted involutions in Coxeter groups , 2004, math/0411429.

[15]  Andrei Zelevinsky.  Nested complexes and their polyhedral realizations , 2005 .

[16]  G. Lehrer.  Coxeter Group Actions on the Cohomology of Toric Varieties , 2008 .

[17]  Petter Brändén.  Sign-Graded Posets, Unimodality of W-Polynomials and the Charney-Davis Conjecture , 2004, Electron. J. Comb..

[18]  John R. Stembridge,et al.  Some permutation representations of weyl groups associated with the cohomology of toric varieties , 1994 .

[19]  D. Foata,et al.  Theorie Geometrique des Polynomes Euleriens , 1970 .

[20]  R. Stanley.  The number of faces of a simplicial convex polytope , 1980 .

[21]  V. Klee.  A Combinatorial Analogue of Poincaré's Duality Theorem , 1964, Canadian Journal of Mathematics.

[23]  I. Isaacs.  Character Theory of Finite Groups , 1976 .

[24]  M. Wachs,et al.  Eulerian quasisymmetric functions , 2008, 0812.0764.

[25]  John R. Stembridge,et al.  Counterexamples to the poset conjectures of Neggers, Stanley, and Stembridge , 2006 .

[26]  R. Stanley.  The Upper Bound Conjecture and Cohen‐Macaulay Rings , 1975 .

[27]  Vanishing theorems and conjectures for the, $\ell ^2$--homology of right-angled Coxeter groups , 2001, math/0102104.

[28]  Zhicong Lin,et al.  Eulerian calculus arising from permutation statistics , 2014 .

[29]  D. Foata,et al.  Fonctions symétriques et séries hypergéométriques basiques multivariées , 1985 .

[30]  Ira M. Gessel,et al.  Labeled plane binary trees and Schur-positivity , 2017, 1706.03055.

[31]  Zhicong Lin,et al.  On γ-positive polynomials arising in Pattern Avoidance , 2017, Adv. Appl. Math..

[32]  Drew Armstrong,et al.  Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups , 2006, math/0611106.

[33]  A. Stapledon,et al.  Local $h$-polynomials, invariants of subdivisions, and mixed Ehrhart theory , 2014, 1411.7736.

[34]  Dmitry N. Kozlov,et al.  Combinatorial Algebraic Topology , 2007, Algorithms and computation in mathematics.

[35]  Kalle Karu.  The cd-index of fans and posets , 2006, Compositio Mathematica.

[36]  Francesco Brenti,et al.  Unimodal polynomials arising from symmetric functions , 1990 .

[37]  Bridget Eileen Tenner,et al.  The gamma-vector of a barycentric subdivision , 2011, J. Comb. Theory, Ser. A.

[38]  Zhicong Lin,et al.  Proof of Gessel ’ s γ-positivity conjecture , 2016 .

[39]  A. Björner.  Topological methods , 1996 .

[40]  John R. Stembridge,et al.  Coxeter cones and their h-vectors , 2008 .

[41]  M. Wachs,et al.  From Poset Topology to $q$-Eulerian Polynomials to Stanley's Chromatic Symmetric Functions , 2015, 1505.03530.

[42]  K. Dilks.  Involutions on Baxter Objects and q-Gamma Nonnegativity , 2015 .

[43]  David Bessis.  The dual braid monoid , 2001 .

[44]  Decomposition theorem for the cd-index of Gorenstein* posets , 2006, math/0611440.

[45]  J. D. Loera,et al.  Triangulations: Structures for Algorithms and Applications , 2010 .

[46]  A. Stapledon.  Equivariant Ehrhart theory , 2010, 1003.5875.

[47]  G. A. Reisner,et al.  Cohen-Macaulay quotients of polynomial rings , 1976 .

[48]  F. Brenti,et al.  Unimodal, log-concave and Pólya frequency sequences in combinatorics , 1989 .

[49]  David Garber,et al.  On the excedance number of colored permutation groups , 2005, math/0505436.

[50]  S. Fomin,et al.  Root systems and generalized associahedra , 2005, math/0505518.

[51]  A. Björner,et al.  Combinatorics of Coxeter Groups , 2005 .

[52]  T. KYLE PETERSEN,et al.  On the Shard Intersection Order of a Coxeter Group , 2011, SIAM J. Discret. Math..

[53]  Richard P. Stanley,et al.  Subdivisions and local $h$-vectors , 1992 .

[54]  J. Stembridge.  Enriched p-partitions , 1997 .

[55]  Ömer Egecioglu,et al.  Bijections for Cayley trees, spanning trees, and their q-analogues , 1986, J. Comb. Theory, Ser. A.

[56]  Christos A. Athanasiadis.  Gamma-positivity and Rees product homology , 2017 .

[57]  S. Fomin,et al.  Y-systems and generalized associahedra , 2001, hep-th/0111053.

[58]  Chow rings of toric varieties defined by atomic lattices , 2003, math/0305142.

[59]  Michelle L. Wachs.  Poset Topology: Tools and Applications , 2006 .

[60]  Daniel Simson,et al.  Representations of finite partially ordered sets over commutative artinian uniserial rings , 2006 .

[61]  Charalambos A. Charalambides,et al.  Enumerative combinatorics , 2018, SIGA.

[62]  N. Gustafsson,et al.  Derangements, Ehrhart theory, and local h-polynomials , 2018, Advances in Mathematics.

[63]  Yi Wang,et al.  A Group Action on Derangements , 2014, Electron. J. Comb..

[65]  Saúl A. Blanco,et al.  Counting Dyck Paths by Area and Rank , 2012, 1206.0803.

[67]  Jiang Zeng,et al.  The γ-positivity of basic Eulerian polynomials via group actions , 2015, J. Comb. Theory A.

[68]  Einar Steingrímsson.  Permutations statistics of indexed and poset permutations , 1992 .

[69]  C. Athanasiadis.  The local $h$-polynomial of the edgewise subdivision of the simplex , 2016, 1609.06646.

[70]  R. Stanley.  Combinatorics and commutative algebra , 1983 .

[71]  Rodica Simion,et al.  On the structure of the lattice of noncrossing partitions , 1991, Discret. Math..

[72]  R. Stanley.  Ordered Structures And Partitions , 1972 .

[73]  R. Stanley.  Flagf-vectors and thecd-index , 1994 .

[74]  P. Brändén.  Counterexamples to the Neggers-Stanley conjecture , 2004 .

[75]  Alexander Postnikov.  Intransitive Trees , 1997, J. Comb. Theory, Ser. A.

[76]  L. Lesieur,et al.  On the eulerian numbers , 1992 .

[77]  Michelle L. Wachs,et al.  Poset Homology of Rees Products, and q-Eulerian Polynomials , 2008, Electron. J. Comb..

[78]  Nantel,et al.  Excedances in classical and affine Weyl groups , 2019 .

[79]  Ira M. Gessel.  Counting forests by descents and leaves , 1996, Electron. J. Comb..

[80]  T. Kyle Petersen.  A Two-Sided Analogue of the Coxeter Complex , 2018, Electron. J. Comb..

[81]  J. Remmel,et al.  Counting with symmetric functions , 2015, Graduate Studies in Mathematics.

[82]  Michelle L. Wachs,et al.  Chromatic quasisymmetric functions , 2014, 1405.4629.

[83]  Victor Reiner,et al.  On the Charney-Davis and Neggers-Stanley conjectures , 2005, J. Comb. Theory, Ser. A.

[84]  Natalie Aisbett.  Frankl–Füredi–Kalai Inequalities on the γ-Vectors of Flag Nestohedra , 2014, Discret. Comput. Geom..

[85]  T. K. Petersen.  Enriched P-partitions and peak algebras , 2005, math/0508041.

[86]  Christos A. Athanasiadis.  Flag subdivisions and γ-vectors , 2012 .

[87]  ON DERANGEMENT POLYNOMIALS OF TYPE B , 2006 .

[88]  Toufik Mansour,et al.  Counting derangements, involutions and unimodal elements in the wreath product Cr ≀ Sn , 2010 .

[89]  Christos A. Athanasiadis,et al.  A survey of subdivisions and local $h$-vectors , 2014, 1403.7144.

[90]  Sergi Elizalde,et al.  Character formulas and descents for the hyperoctahedral group , 2017, Adv. Appl. Math..

[91]  Christos A. Athanasiadis,et al.  The local $h$-vector of the cluster subdivision of a simplex , 2012, 1204.0362.

[92]  Volkmar Welker,et al.  The Veronese construction for formal power series and graded algebras , 2007, Adv. Appl. Math..

[93]  Proof of Gal's conjecture for the D series of generalized associahedra , 2010, 1106.1840.

[94]  S. Billey,et al.  The contributions of Stanley to the fabric of symmetric and quasisymmetric functions , 2015, 1505.01115.

[95]  Christos A. Athanasiadis.  Edgewise subdivisions, local h-polynomials and excedances in the wreath product Z r ≀S n , 2014 .

[96]  Anders Björner,et al.  Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings , 1984 .

[97]  Eran Nevo,et al.  Remarks on Missing Faces and Generalized Lower Bounds on Face Numbers , 2008, Electron. J. Comb..

[98]  Chak-On Chow.  On derangement polynomials of type B. II , 2009, J. Comb. Theory, Ser. A.

[99]  Jiang Zeng,et al.  Symmetric unimodal expansions of excedances in colored permutations , 2014, Eur. J. Comb..

[100]  Jiang Zeng,et al.  The Eulerian distribution on involutions is indeed unimodal , 2006, J. Comb. Theory, Ser. A.

[101]  Marilena Barnabei,et al.  The descent statistic on involutions is not log-concave , 2007, Eur. J. Comb..

[102]  Swiatoslaw R. Gal.  Real Root Conjecture Fails for Five- and Higher-Dimensional Spheres , 2005, Discret. Comput. Geom..

[103]  Michelle L. Wachs,et al.  Gamma-positivity of variations of Eulerian polynomials , 2017, Journal of Combinatorics.

[104]  Louis W. Shapiro,et al.  Runs, Slides and Moments , 1983 .

[105]  Ira M. Gessel,et al.  Counting Permutations with Given Cycle Structure and Descent Set , 1993, J. Comb. Theory A.

[106]  Einar Steingrímsson,et al.  Permutation Statistics of Indexed Permutations , 1994, Eur. J. Comb..

[107]  R. Stanley.  Log‐Concave and Unimodal Sequences in Algebra, Combinatorics, and Geometry a , 1989 .

[108]  Svante Linusson,et al.  Rees products and lexicographic shellability , 2012, 1203.0922.

[109]  L. Nazarova,et al.  Representations of partially ordered sets , 1975 .

[110]  Martina Juhnke-Kubitzke,et al.  Local h-Vectors of Quasi-Geometric and Barycentric Subdivisions , 2019, Discret. Comput. Geom..

[112]  B. Sturmfels,et al.  Matroid polytopes, nested sets and Bergman fans , 2004, math/0411260.

[113]  Henri Muhle.  Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices , 2015, 1509.06942.

[114]  Stéphane Poirier,et al.  Cycle type and descent set in wreath products , 1998, Discret. Math..

[115]  Christos A. Athanasiadis.  Some applications of Rees products of posets to equivariant gamma-positivity , 2017, 1707.08297.

[116]  Christos A. Athanasiadis,et al.  Some combinatorial properties of flag simplicial pseudomanifolds and spheres , 2008, 0807.4369.

[117]  John R. Stembridge,et al.  Eulerian numbers, tableaux, and the Betti numbers of a toric variety , 1992, Discret. Math..

[118]  Dominique Foata,et al.  Rearrangements of the symmetric group and enumerative properties of the tangent and secant numbers , 1974 .

[119]  T. Kyle Petersen,et al.  Two-Sided Eulerian Numbers via Balls in Boxes , 2012, 1209.6273.

[120]  T. Kyle Petersen,et al.  Affine descents and the Steinberg torus , 2007, Adv. Appl. Math..

[121]  Tim Römer,et al.  Subdivisions of Toric Complexes , 2004 .

[122]  P. Brändén.  Unimodality, log-concavity, real-rootedness and beyond , 2015 .

[123]  Ruth Charney,et al.  The Euler characteristic of a nonpositively curved, piecewise Euclidean manifold. , 1995 .

[124]  Heesung Shin,et al.  The symmetric and unimodal expansion of Eulerian polynomials via continued fractions , 2010, Eur. J. Comb..

[125]  Vesselin Gasharov,et al.  On the Neggers-Stanley Conjecture and the Eulerian Polynomials , 1998, J. Comb. Theory, Ser. A.

[126]  A. Postnikov,et al.  Faces of Generalized Permutohedra , 2006, math/0609184.