Showing 1–32 of 32 results for author: Shareshian, J

Counting in nilpotent injectors and Carter subgroups

Authors: Stefanos Aivazidis, Maria Loukaki, John Shareshian

Abstract: We investigate number-theoretic properties of the collection of nilpotent injectors or nilpotent projectors containing certain subgroups of finite soluble (or ${\mathcal N}$-constrained) groups. We investigate number-theoretic properties of the collection of nilpotent injectors or nilpotent projectors containing certain subgroups of finite soluble (or ${\mathcal N}$-constrained) groups. △ Less

Submitted 17 December, 2024; v1 submitted 28 August, 2024; originally announced August 2024.

Gamma vectors of partitioned permutohedra

Authors: Tatsuya Horiguchi, Mikiya Masuda, Takashi Sato, John Shareshian, Jongbaek Song

Abstract: We determine that $γ$-vectors of partitioned permutohedra, thereby generalizing a result of Foata and Schützenberger. Our result is closely related to a result of Athanasiadis on the representation of the symmetric group on the cohomology of the permutohedral variety. We explain how to derive Athanasiadis' result from ours and vice versa. We determine that $γ$-vectors of partitioned permutohedra, thereby generalizing a result of Foata and Schützenberger. Our result is closely related to a result of Athanasiadis on the representation of the symmetric group on the cohomology of the permutohedral variety. We explain how to derive Athanasiadis' result from ours and vice versa. △ Less

Submitted 30 April, 2025; v1 submitted 15 May, 2024; originally announced May 2024.

Comments: 26 pages

MSC Class: 05E10; 14M25; 20C30; 52B05

Invariable generation of finite simple groups and rational homology of coset posets

Authors: Robert M. Guralnick, John Shareshian, Russ Woodroofe

Abstract: We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology. We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology. △ Less

Submitted 30 June, 2024; v1 submitted 26 December, 2023; originally announced December 2023.

Comments: 14 pages; v2 has minor changes for publication

Journal ref: J. Algebra 659 (2024) 686-697

$K$-Orbit closures and Hessenberg varieties

Authors: Mahir Bilen Can, Martha Precup, John Shareshian, Özlem Uğurlu

Abstract: This article explores the relationship between Hessenberg varieties associated with semisimple operators with two eigenvalues and orbit closures of a spherical subgroup of the general linear group. We establish the specific conditions under which these semisimple Hessenberg varieties are irreducible. We determine the dimension of each irreducible Hessenberg variety under consideration and show tha… ▽ More This article explores the relationship between Hessenberg varieties associated with semisimple operators with two eigenvalues and orbit closures of a spherical subgroup of the general linear group. We establish the specific conditions under which these semisimple Hessenberg varieties are irreducible. We determine the dimension of each irreducible Hessenberg variety under consideration and show that the number of such varieties is a Catalan number. We then apply a theorem of Brion to compute a polynomial representative for the cohomology class of each such variety. Additionally, we calculate the intersections of a standard (Schubert) hyperplane section of the flag variety with each of our Hessenberg varieties and prove this intersection possess a cohomological multiplicity-free property. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 32 pages, 3 figures

MSC Class: 14M15; 14M27; 05A05

Ramanujan sums and rectangular power sums

Authors: John Shareshian, Sheila Sundaram

Abstract: For a fixed nonnegative integer $u$ and positive integer $n$, we investigate the symmetric function \[\sum_{d|n} \left(c_d(\tfrac{n}{d})\right)^u p_d^{\tfrac{n}{d}},\] where $p_n$ denotes the $n$th power sum symmetric function, and $c_d(r)$ is a Ramanujan sum, equal to the sum of the $r$th powers of all the primitive $d$th roots of unity. We establish the Schur positivity of these functions for… ▽ More For a fixed nonnegative integer $u$ and positive integer $n$, we investigate the symmetric function \[\sum_{d|n} \left(c_d(\tfrac{n}{d})\right)^u p_d^{\tfrac{n}{d}},\] where $p_n$ denotes the $n$th power sum symmetric function, and $c_d(r)$ is a Ramanujan sum, equal to the sum of the $r$th powers of all the primitive $d$th roots of unity. We establish the Schur positivity of these functions for $u=0$ and $u=1$, showing that, in each case, the associated representation of the symmetric group $\mathfrak{S}_n$ decomposes into a sum of Foulkes representations, that is, representations induced from the irreducibles of the cyclic subgroup generated by the long cycle. We also conjecture Schur positivity for the case $u= 2$. △ Less

Submitted 28 November, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 17 pages, minor changes per referee report

MSC Class: 05E10; 20C10; 11A25

Journal ref: J. Pure and Applied Algebra 2023

Hessenberg varieties of codimension one in the flag variety

Authors: Laura Escobar, Martha Precup, John Shareshian

Abstract: We study geometric and topological properties of Hessenberg varieties of codimension one in the type A flag variety. Our main results: (1) give a formula for the Poincaré polynomial, (2) characterize when these varieties are irreducible, and (3) show that all are reduced schemes. We prove that the singular locus of any nilpotent codimension one Hessenberg variety is also a Hessenberg variety. A ke… ▽ More We study geometric and topological properties of Hessenberg varieties of codimension one in the type A flag variety. Our main results: (1) give a formula for the Poincaré polynomial, (2) characterize when these varieties are irreducible, and (3) show that all are reduced schemes. We prove that the singular locus of any nilpotent codimension one Hessenberg variety is also a Hessenberg variety. A key tool in our analysis is a new result applying to all (type A) Hessenberg varieties without any restriction on codimension, which states that their Poincaré polynomials can be computed by counting the points in the corresponding variety defined over a finite field. The results below were originally motivated by work of the authors in [arXiv:2107.07929] studying the precise relationship between Hessenberg and Schubert varieties, and we obtain a corollary extending the results from that paper to all codimension one (type A) Schubert varieties. △ Less

Submitted 10 January, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Version 2 includes updates to the statement of Theorem 5, its proof, and the example appearing at the end of Section 5

MSC Class: 14M17; 14M15

On invariable generation of alternating groups by elements of prime and prime power order

Authors: Robert M. Guralnick, John Shareshian, Russ Woodroofe

Abstract: We verify that every alternating group of degree at most one quadrillion is invariably generated by an element of prime order together with an element of prime power order. We verify that every alternating group of degree at most one quadrillion is invariably generated by an element of prime order together with an element of prime power order. △ Less

Submitted 16 February, 2023; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 14 pages. Code available on github, see https://github.com/RussWoodroofe/invgen. Partial output in ancillary files, remainder available via Zenodo on upon request. v2 has minor changes for publication

MSC Class: 20B35; 11Y99; 11B65

Journal ref: Math. Comp. 192 (2023), no. 341, 1349-1361

Which Schubert Varieties are Hessenberg Varieties?

Authors: Laura Escobar, Martha Precup, John Shareshian

Abstract: After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of… ▽ More After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of $G$ increases. We show also that in type A, some Schubert varieties are not isomorphic to any adjoint Hessenberg variety. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 34 pages

Toric orbifolds associated with partitioned weight polytopes in classical types

Authors: Tatsuya Horiguchi, Mikiya Masuda, John Shareshian, Jongbaek Song

Abstract: Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the no… ▽ More Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 30 pages, 8 figures

MSC Class: 14M25; 17B22; 52B05

A counterexample to a conjecture on Schur positivity of chromatic symmetric functions of trees

Authors: Emmanuella Sandratra Rambeloson, John Shareshian

Abstract: We show that no tree on twenty vertices with maximum degree ten has Schur positive chromatic symmetric function, thereby providing a counterexample to a conjecture from the paper "Schur and e-positivity of trees and cut vertices". We show that no tree on twenty vertices with maximum degree ten has Schur positive chromatic symmetric function, thereby providing a counterexample to a conjecture from the paper "Schur and e-positivity of trees and cut vertices". △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 3 pages

MSC Class: 05E05

Gamma-positivity of variations of Eulerian polynomials

Authors: John Shareshian, Michelle L. Wachs

Abstract: An identity of Chung, Graham and Knuth involving binomial coefficients and Eulerian numbers motivates our study of a class of polynomials that we call binomial-Eulerian polynomials. These polynomials share several properties with the Eulerian polynomials. For one thing, they are $h$-polynomials of simplicial polytopes, which gives a geometric interpretation of the fact that they are palindromic an… ▽ More An identity of Chung, Graham and Knuth involving binomial coefficients and Eulerian numbers motivates our study of a class of polynomials that we call binomial-Eulerian polynomials. These polynomials share several properties with the Eulerian polynomials. For one thing, they are $h$-polynomials of simplicial polytopes, which gives a geometric interpretation of the fact that they are palindromic and unimodal. A formula of Foata and Schützenberger shows that the Eulerian polynomials have a stronger property, namely $γ$-positivity, and a formula of Postnikov, Reiner and Williams does the same for the binomial-Eulerian polynomials. We obtain $q$-analogs of both the Foata-Schützenberger formula and an alternative to the Postnikov-Reiner-Williams formula, and we show that these $q$-analogs are specializations of analogous symmetric function identities. Algebro-geometric interpretations of these symmetric function analogs are presented. △ Less

Submitted 12 June, 2018; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 30 pages; v2: typo in equation (1.5) correcte; v3: further minor corrections and further discussion of equivariant Gal's phenomenon

MSC Class: 05A05; 05E05; 05E10; 05E45; 52B05

On the lattice of subracks of the rack of a finite group

Authors: Istvan Heckenberger, John Shareshian, Volkmar Welker

Abstract: In this paper we initiate the study of racks from the combined perspective of combinatorics and finite group theory. A rack R is a set with a self-distributive binary operation. We study the combinatorics of the partially ordered set {\cal R}(R) of all subracks of R with inclusion as the order relation. Groups G with the conjugation operation provide an important class of racks. For the case R = G… ▽ More In this paper we initiate the study of racks from the combined perspective of combinatorics and finite group theory. A rack R is a set with a self-distributive binary operation. We study the combinatorics of the partially ordered set {\cal R}(R) of all subracks of R with inclusion as the order relation. Groups G with the conjugation operation provide an important class of racks. For the case R = G we show that -> the order complex of {\cal R}(R) has the homotopy type of a sphere, -> the isomorphism type of {\cal R}(R) determines if G is abelian, nilpotent, supersolvable, solvable or simple, -> {\cal R}(R) is graded if and only if G is abelian, G = S_3, G = D_8 or G = Q_8. In addition, we provide some examples of subracks R of a group G for which {\cal R}(R) relates to well studied combinatorial structures. In particular, the examples show that the order complex of {\cal R}(R) for general R is more complicated than in the case R = G. △ Less

Submitted 4 December, 2015; originally announced December 2015.

MSC Class: 05E45; 20D30

Divisibility of binomial coefficients and generation of alternating groups

Authors: John Shareshian, Russ Woodroofe

Abstract: We examine an elementary problem on prime divisibility of binomial coefficients. Our problem is motivated by several related questions on alternating groups. We examine an elementary problem on prime divisibility of binomial coefficients. Our problem is motivated by several related questions on alternating groups. △ Less

Submitted 19 May, 2017; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: 16 pages, 1 figure; ancillary attachments include computer code and output. v2 has improved asymptotic density estimates and other minor fixes. v3 has minor fixes for publication

MSC Class: 05A10; 05E15; 20B30; 11B65

Journal ref: Pacific J. Math. 292 (2018), no. 1, 223-238

From Poset Topology to $q$-Eulerian Polynomials to Stanley's Chromatic Symmetric Functions

Authors: John Shareshian, Michelle L. Wachs

Abstract: In recent years we have worked on a project involving poset topology, various analogues of Eulerian polynomials, and a refinement of Richard Stanley's chromatic symmetric function. Here we discuss how Stanley's ideas and results have influenced and inspired our own work. In recent years we have worked on a project involving poset topology, various analogues of Eulerian polynomials, and a refinement of Richard Stanley's chromatic symmetric function. Here we discuss how Stanley's ideas and results have influenced and inspired our own work. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Comments: 20 pages, to appear in the Richard Stanley 70th birthday volume

Order complexes of coset posets of finite groups are not contractible

Authors: John Shareshian, Russ Woodroofe

Abstract: We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown. We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown. △ Less

Submitted 29 July, 2014; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: 16 pages. v2 fixes minor errors

MSC Class: 05E45; 20E99; 06B30

Journal ref: Adv. Math. 291 (2016), 758-773

Chromatic quasisymmetric functions

Authors: John Shareshian, Michelle L. Wachs

Abstract: We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections betw… ▽ More We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimple Hessenberg varieties, which have been studied by Tymoczko and others. We discuss an approach, using the results and conjectures herein, to the $e$-positivity conjecture of Stanley and Stembridge for incomparability graphs of $(3+1)$-free posets. △ Less

Submitted 28 March, 2016; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 57 pages; final version, to appear in Advances in Math

MSC Class: 05E05; 05A05

Truncated Quillen coplexes of p-groups

Authors: Francesco Fumagalli, John Shareshian

Abstract: Let p be an odd prime and let P be a p-group. We examine the order complex of the poset of elementary abelian subgroups of P having order at least p^2. S. Bouc and J. Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer l, the number of spheres of dimension l in this wedge is controlled by the number of extraspecial subgroups X o… ▽ More Let p be an odd prime and let P be a p-group. We examine the order complex of the poset of elementary abelian subgroups of P having order at least p^2. S. Bouc and J. Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer l, the number of spheres of dimension l in this wedge is controlled by the number of extraspecial subgroups X of P having order p^{2l+3} and satisfying Omega_1(C_P(X))=Z(X). We go on to provide a negative answer to a question raised by Bouc and Thévenaz concerning restrictions on the homology groups of the given complex. △ Less

Submitted 29 January, 2014; originally announced January 2014.

MSC Class: 20 E15; 05E45

The q=-1 phenomenon via homology concentration

Authors: Patricia Hersh, John Shareshian, Dennis Stanton

Abstract: We introduce a homological approach to exhibiting instances of Stembridge's q=-1 phenomenon. This approach is shown to explain two important instances of the phenomenon, namely that of partitions whose Ferrers diagrams fit in a rectangle of fixed size and that of plane partitions fitting in a box of fixed size. A more general framework of invariant and coinvariant complexes with coefficients taken… ▽ More We introduce a homological approach to exhibiting instances of Stembridge's q=-1 phenomenon. This approach is shown to explain two important instances of the phenomenon, namely that of partitions whose Ferrers diagrams fit in a rectangle of fixed size and that of plane partitions fitting in a box of fixed size. A more general framework of invariant and coinvariant complexes with coefficients taken mod 2 is developed, and as a part of this story an analogous homological result for necklaces is conjectured. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Rees products and lexicographic shellability

Authors: Svante Linusson, John Shareshian, Michelle L. Wachs

Abstract: We use the theory of lexicographic shellability to provide various examples in which the rank of the homology of a Rees product of two partially ordered sets enumerates some set of combinatorial objects, perhaps according to some natural statistic on the set. Many of these examples generalize a result of J. Jonsson, which says that the rank of the unique nontrivial homology group of the Rees produ… ▽ More We use the theory of lexicographic shellability to provide various examples in which the rank of the homology of a Rees product of two partially ordered sets enumerates some set of combinatorial objects, perhaps according to some natural statistic on the set. Many of these examples generalize a result of J. Jonsson, which says that the rank of the unique nontrivial homology group of the Rees product of a truncated Boolean algebra of degree $n$ and a chain of length $n-1$ is the number of derangements in $§_n$.\ △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 31 pages; 1 figure; part of this paper was originally part of the longer paper arXiv:0805.2416v1, which has been split into three papers

MSC Class: 05A30; 05E05; 05E45

Chromatic quasisymmetric functions and Hessenberg varieties

Authors: John Shareshian, Michelle L. Wachs

Abstract: We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic… ▽ More We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic geometry deals with Tymoczko's representation of the symmetric group on the cohomology of the regular semisimple Hessenberg variety of type A. Our purpose is to explore some remarkable connections between these topics. △ Less

Submitted 6 July, 2012; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: Final version, with minor revisions made to the previous version. To appear in the Proceedings of De Giorgi Center Program on Configuration Spaces. 28 pages

A new subgroup lattice characterization of finite solvable groups

Authors: John Shareshian, Russ Woodroofe

Abstract: We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maximal chain in L(G) has length at least two more than that of the chief length of G, thereby providing a converse of a result of J. Kohler. Our results enable us to give a new characterization of finite… ▽ More We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maximal chain in L(G) has length at least two more than that of the chief length of G, thereby providing a converse of a result of J. Kohler. Our results enable us to give a new characterization of finite solvable groups involving only the combinatorics of subgroup lattices. Namely, a finite group G is solvable if and only if L(G) contains a maximal chain X and a chain M consisting entirely of modular elements, such that X and M have the same length. △ Less

Submitted 19 December, 2011; v1 submitted 10 November, 2010; originally announced November 2010.

Comments: 15 pages; v2 has minor changes for publication; v3 minor typos fixed

MSC Class: 20E15; 20D30; 06A07

Journal ref: J. Algebra 351 (2012), no. 1, 448-458

Eulerian quasisymmetric functions and cyclic sieving

Authors: Bruce Sagan, John Shareshian, Michelle L. Wachs

Abstract: It is shown that a refined version of a q-analogue of the Eulerian numbers together with the action, by conjugation, of the subgroup of the symmetric group $S_n$ generated by the $n$-cycle $(1,2,...,n)$ on the set of permutations of fixed cycle type and fixed number of excedances provides an instance of the cyclic sieving phenonmenon of Reiner, Stanton and White. The main tool is a class of symm… ▽ More It is shown that a refined version of a q-analogue of the Eulerian numbers together with the action, by conjugation, of the subgroup of the symmetric group $S_n$ generated by the $n$-cycle $(1,2,...,n)$ on the set of permutations of fixed cycle type and fixed number of excedances provides an instance of the cyclic sieving phenonmenon of Reiner, Stanton and White. The main tool is a class of symmetric functions recently introduced in work of two of the authors. △ Less

Submitted 16 September, 2009; originally announced September 2009.

Comments: 30 pages

MSC Class: 05A05; 05A30; 05E05; 05E18

Poset homology of Rees products, and $q$-Eulerian polynomials

Authors: John Shareshian, Michelle L. Wachs

Abstract: The notion of Rees product of posets was introduced by Björner and Welker, where they study connections between poset topology and commutative algebra. Björner and Welker conjectured and Jonsson proved that the dimension of the top homology of the Rees product of the truncated Boolean algebra $B_n \setminus \{0\}$ and the $n$-chain $C_n$ is equal to the number of derangements in the symmetric gr… ▽ More The notion of Rees product of posets was introduced by Björner and Welker, where they study connections between poset topology and commutative algebra. Björner and Welker conjectured and Jonsson proved that the dimension of the top homology of the Rees product of the truncated Boolean algebra $B_n \setminus \{0\}$ and the $n$-chain $C_n$ is equal to the number of derangements in the symmetric group $\mathfrak S_n$. Here we prove a refinement of this result, which involves the Eulerian numbers, and a $q$-analog of both the refinement and the original conjecture, which comes from replacing the Boolean algebra by the lattice of subspaces of the $n$-dimensional vector space over the $q$ element field, and involves the $(\maj,\exc)$-$q$-Eulerian polynomials studied in previous papers of the authors. Equivariant versions of the refinement and the original conjecture are also proved, as are type BC versions (in the sense of Coxeter groups) of the original conjecture and its $q$-analog. △ Less

Submitted 3 December, 2008; originally announced December 2008.

Comments: 29 pages; this paper was originally part of the longer paper arXiv:0805.2416v1, which has been split into three papers

MSC Class: 05A30; 05E05; 05E25

Eulerian quasisymmetric functions

Authors: John Shareshian, Michelle L. Wachs

Abstract: We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major inde… ▽ More We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker. △ Less

Submitted 21 August, 2010; v1 submitted 3 December, 2008; originally announced December 2008.

Comments: Final version; to appear in Advances in Mathematics; 52 pages; this paper was originally part of the longer paper arXiv:0805.2416v1, which has been split into three papers

MSC Class: 05A15; 05A30; 05E05

Top homology of hypergraph matching complexes, $p$-cycle complexes and Quillen complexes of symmetric groups

Authors: John Shareshian, Michelle L Wachs

Abstract: We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on… ▽ More We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on the top homology group of the corresponding hypergraph matching complex when $n \equiv 1 \bmod p$. Our conjecture follows from work of Bouc when $p=2$, and we prove the conjecture when $p=3$. △ Less

Submitted 22 August, 2008; originally announced August 2008.

Comments: 25 pages

MSC Class: 20D30; 05E25

Eulerian quasisymmetric functions and poset topology

Authors: John Shareshian, Michelle L. Wachs

Abstract: We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which have the property of specializing to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint d… ▽ More We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which have the property of specializing to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts such as in MacMahon's study of multiset derangements, in work of Procesi and Stanley on toric varieties of Coxeter complexes and in Stanley's work on symmetric chromatic polynomials. Here we present yet another occurence in connection with the homology of a poset introduced by Björner and Welker. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 76 pages

MSC Class: 05A30; 05E05; 05E25

From Bruhat intervals to intersection lattices and a conjecture of Postnikov

Authors: Axel Hultman, Svante Linusson, John Shareshian, Jonas Sjöstrand

Abstract: We prove the conjecture of A. Postnikov that (A) the number of regions in the inversion hyperplane arrangement associated with a permutation $w\in \Sn$ is at most the number of elements below $w$ in the Bruhat order, and (B) that equality holds if and only if $w$ avoids the patterns 4231, 35142, 42513 and 351624. Furthermore, assertion (A) is extended to all finite reflection groups. A byprodu… ▽ More We prove the conjecture of A. Postnikov that (A) the number of regions in the inversion hyperplane arrangement associated with a permutation $w\in \Sn$ is at most the number of elements below $w$ in the Bruhat order, and (B) that equality holds if and only if $w$ avoids the patterns 4231, 35142, 42513 and 351624. Furthermore, assertion (A) is extended to all finite reflection groups. A byproduct of this result and its proof is a set of inequalities relating Betti numbers of complexified inversion arrangements to Betti numbers of closed Schubert cells. Another consequence is a simple combinatorial interpretation of the chromatic polynomial of the inversion graph of a permutation which avoids the above patterns. △ Less

Submitted 5 October, 2007; originally announced October 2007.

Comments: 24 pages

q-Eulerian Polynomials: Excedance Number and Major index

Authors: John Shareshian, Michelle L. Wachs

Abstract: In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a… ▽ More In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts. △ Less

Submitted 11 August, 2006; originally announced August 2006.

Comments: 14 pages

MSC Class: 05A30; 05E05; 05E25

Complexes of graphs with bounded matching size

Authors: Svante Linusson, John Shareshian, Volkmar Welker

Abstract: For positive integers k,n, we investigate the simplicial complex NM_k(n) of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy equivalent to a wedge of spheres. The number and dimension of the spheres in the wedge are determined, and (partially conjectural) links to other combinatori… ▽ More For positive integers k,n, we investigate the simplicial complex NM_k(n) of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy equivalent to a wedge of spheres. The number and dimension of the spheres in the wedge are determined, and (partially conjectural) links to other combinatorially defined complexes are described. In addition we study for positive integers r,s and k the simplicial complex BNM_k(n) of all bipartite graphs G on bipartition [r] \cup [\bar{s}] such that there is no matching of size k in G, and obtain results similar to those obtained for NM_k(n). △ Less

Submitted 15 October, 2004; originally announced October 2004.

Comments: 20 pages

Torsion in the Matching Complex and Chessboard Complex

Authors: John Shareshian, Michelle L. Wachs

Abstract: Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we sh… ▽ More Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics. △ Less

Submitted 3 September, 2004; originally announced September 2004.

Comments: 48 pages, 5 figures

MSC Class: 05E25; 05E10; 55U10

A New Approach to Order Polynomials of Labeled Posets and Their Generalizations

Authors: John Shareshian, David Wright, Wenhua Zhao

Abstract: In this paper, we first give formulas for the order polynomial $Ω(\Pw; t)$ and the Eulerian polynomial $e(\Pw; λ)$ of a finite labeled poset $(P, ω)$ using the adjacency matrix of what we call the $ω$-graph of $(P, ω)$. We then derive various recursion formulas for $Ω(\Pw; t)$ and $e(\Pw; λ)$ and discuss some applications of these formulas to Bernoulli numbers and Bernoulli polynomials. Finally,… ▽ More In this paper, we first give formulas for the order polynomial $Ω(\Pw; t)$ and the Eulerian polynomial $e(\Pw; λ)$ of a finite labeled poset $(P, ω)$ using the adjacency matrix of what we call the $ω$-graph of $(P, ω)$. We then derive various recursion formulas for $Ω(\Pw; t)$ and $e(\Pw; λ)$ and discuss some applications of these formulas to Bernoulli numbers and Bernoulli polynomials. Finally, we give a recursive algorithm using a single linear operator on a vector space. This algorithm provides a uniform method to construct a family of new invariants for labeled posets $(\Pw)$, which includes the order polynomial $Ω(\Pw; t)$ and the invariant $\tilde e(\Pw; λ) =\frac {e(\Pw; λ)}{(1-λ)^{|P|+1}}$. The well-known quasi-symmetric function invariant of labeled posets and a further generalization of our construction are also discussed. △ Less

Submitted 24 November, 2003; originally announced November 2003.

Comments: Latex 23 pages

MSC Class: 06A07; 06A11; 11B68

Complexes of not $i$-connected graphs

Authors: Eric Babson, Anders Björner, Svante Linusson, John Shareshian, Volkmar Welker

Abstract: Complexes of (not) connected graphs, hypergraphs and their homology appear in the construction of knot invariants given by V. Vassiliev. In this paper we study the complexes of not $i$-connected $k$-hypergraphs on $n$ vertices. We show that the complex of not $2$-connected graphs has the homotopy type of a wedge of $(n-2)!$ spheres of dimension $2n-5$. This answers one of the questions raised by… ▽ More Complexes of (not) connected graphs, hypergraphs and their homology appear in the construction of knot invariants given by V. Vassiliev. In this paper we study the complexes of not $i$-connected $k$-hypergraphs on $n$ vertices. We show that the complex of not $2$-connected graphs has the homotopy type of a wedge of $(n-2)!$ spheres of dimension $2n-5$. This answers one of the questions raised by Vassiliev in connection with knot invariants. For this case the $S_n$-action on the homology of the complex is also determined. For complexes of not $2$-connected $k$-hypergraphs we provide a formula for the generating function of the Euler characteristic, and we introduce certain lattices of graphs that encode their topology. We also present partial results for some other cases. In particular, we show that the complex of not $(n-2)$-connected graphs is Alexander dual to the complex of partial matchings of the complete graph. For not $(n-3)$-connected graphs we provide a formula for the generating function of the Euler characteristic. △ Less

Submitted 10 May, 1997; originally announced May 1997.

Report number: MSRI 1997-054