Schubert polynomials are polynomial representatives of Schubert classes in the cohomology of the complete flag variety and have a combinatorial formulation in terms of bumpless pipe dreams. Quantum double Schubert polynomials are polynomial representatives of Schubert classes in the torus-equivariant quantum cohomology of the complete flag variety, but no analogous combinatorial formulation had been discovered. We introduce a generalization of the bumpless pipe dreams called quantum bumpless pipe dreams, giving a novel combinatorial formula for quantum double Schubert polynomials as a sum of binomial weights of quantum bumpless pipe dreams. We give a bijective proof for this formula by showing that the sum of binomial weights satisfies a defining transition equation.

In our previous paper, we gave a presentation of the torus-equivariant quantum K-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum K-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant K-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb {C})$.

We prove that a group $\Gamma $ admits a discrete, topological (equivalently, smooth) action on some simply connected 3-manifold if and only if $\Gamma $ has a Cayley complex embeddable—with certain natural restrictions—in one of the following four 3-manifolds: (i) $\mathbb {S}^3$, (ii) $\mathbb {R}^3$, (iii) $\mathbb {S}^2 \times \mathbb R$, and (iv) the complement of a tame Cantor set in $\mathbb {S}^3$. The fact that these are the only simply connected 3-manifolds that allow such actions is a consequence of the Thurston–Perelman geometrization theorem.

We give a complete combinatorial classification of the parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated with a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant’s problem is positive.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where I is a finite index set. Fix a nonempty convex subset $\mathscr {L}$ of W. If W is of type A, then $\mathscr {L}$ is the set of linear extensions of a poset, and there are important Bender–Knuth involutions $\mathrm {BK}_i\colon \mathscr {L}\to \mathscr {L}$ indexed by elements of I. For arbitrary W and for each $i\in I$, we introduce an operator $\tau _i\colon W\to W$ (depending on $\mathscr {L}$) that we call a noninvertible Bender–Knuth toggle; this operator restricts to an involution on $\mathscr {L}$ that coincides with $\mathrm {BK}_i$ in type A. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm {Pro}_c=\tau _{i_n}\cdots \tau _{i_1}$. We say W is futuristic if for every nonempty finite convex set $\mathscr {L}$, every Coxeter element c and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm {Pro}_c^K(u)\in \mathscr {L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When W is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of W, then $\tau _{i_N}\cdots \tau _{i_1}(W)=\mathscr {L}$; this allows us to determine the smallest integer $\mathrm {M}(c)$ such that $\mathrm {Pro}_c^{{\mathrm {M}}(c)}(W)=\mathscr {L}$ for all $\mathscr {L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

We show that if $\Gamma $ is a point group of $\mathbb {R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal {S}$ is a k-pseudomanifold which has a free automorphism of order two, then either $\mathcal {S}$ has a $\Gamma $-symmetric infinitesimally rigid realisation in ${\mathbb R}^{k+1}$ or $k=2$ and $\Gamma $ is a half-turn rotation group. This verifies a conjecture made by Klee, Nevo, Novik and Zheng for the case when $\Gamma $ is a point-inversion group. Our result implies that Stanley’s lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial automorphism of order 2, thus verifying (the inequality part of) another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes – namely, the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes.

For finite nilpotent groups $J$ and $N$, suppose $J$ acts on $N$ via automorphisms. We exhibit a decomposition of the first cohomology set in terms of the first cohomologies of the Sylow $p$-subgroups of $J$ that mirrors the primary decomposition of $H^1(J,N)$ for abelian $N$. We then show that if $N \rtimes J$ acts on some non-empty set $\Omega$, where the action of $N$ is transitive and for each prime $p$ a Sylow $p$-subgroup of $J$ fixes an element of $\Omega$, then $J$ fixes an element of $\Omega$.

We define oriented Temperley–Lieb algebras for Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan–Lusztig polynomials for these spaces.

We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type B to give representation–theoretic interpretations of a number of noteworthy families of type-B quasisymmetric functions. Next, we construct modules of the type-B $0$-Hecke algebra corresponding to type-B analogs of Schur functions and introduce a type-B analog of Schur Q-functions; we prove that these shifted domino functions expand positively in the type-B peak functions. We define a type-B analog of the $0$-Hecke–Clifford algebra, and we use this to provide representation–theoretic interpretations for both the type-B peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-B $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-B peak functions, for the type-B quasisymmetric characteristics of the restrictions of these modules.

An identity that is reminiscent of the Littlewood identity plays a fundamental role in recent proofs of the facts that alternating sign triangles are equinumerous with totally symmetric self-complementary plane partitions and that alternating sign trapezoids are equinumerous with holey cyclically symmetric lozenge tilings of a hexagon. We establish a bounded version of a generalization of this identity. Further, we provide combinatorial interpretations of both sides of the identity. The ultimate goal would be to construct a combinatorial proof of this identity (possibly via an appropriate variant of the Robinson-Schensted-Knuth correspondence) and its unbounded version, as this would improve the understanding of the mysterious relation between alternating sign trapezoids and plane partition objects.

We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight. Our construction uses combinatorially structured matrices and is parametrised by Kunz coordinates, which are central to enumerative problems in the study of numerical semigroups.

Chow rings of flag varieties have bases of Schubert cycles $\sigma _u $, indexed by permutations. A major problem of algebraic combinatorics is to give a positive combinatorial formula for the structure constants of this basis. The celebrated Littlewood–Richardson rules solve this problem for special products $\sigma _u \cdot \sigma _v$, where u and v are p-Grassmannian permutations.

Building on work of Wyser, we introduce backstable clans to prove such a rule for the problem of computing the product $\sigma _u \cdot \sigma _v$ when u is p-inverse Grassmannian and v is q-inverse Grassmannian. By establishing several new families of linear relations among structure constants, we further extend this result to obtain a positive combinatorial rule for $\sigma _u \cdot \sigma _v$ in the case that u is covered in weak Bruhat order by a p-inverse Grassmannian permutation and v is a q-inverse Grassmannian permutation.

Assuming Stanley’s P-partitions conjecture holds, the regular Schur labeled skew shape posets are precisely the finite posets P with underlying set $\{1, 2, \ldots , |P|\}$ such that the P-partition generating function is symmetric and the set of linear extensions of P, denoted $\Sigma _L(P)$, is a left weak Bruhat interval in the symmetric group $\mathfrak {S}_{|P|}$. We describe the permutations in $\Sigma _L(P)$ in terms of reading words of standard Young tableaux when P is a regular Schur labeled skew shape poset, and classify $\Sigma _L(P)$’s up to descent-preserving isomorphism as P ranges over regular Schur labeled skew shape posets. The results obtained are then applied to classify the $0$-Hecke modules $\mathsf {M}_P$ associated with regular Schur labeled skew shape posets P up to isomorphism. Then we characterize regular Schur labeled skew shape posets as the finite posets P whose linear extensions form a dual plactic-closed subset of $\mathfrak {S}_{|P|}$. Using this characterization, we construct distinguished filtrations of $\mathsf {M}_P$ with respect to the Schur basis when P is a regular Schur labeled skew shape poset. Further issues concerned with the classification and decomposition of the $0$-Hecke modules $\mathsf {M}_P$ are also discussed.

We settle the question of where exactly do the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of an open problem by Stanley from 2000 and an open problem by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is ${\textsf {NP}}$-hard, and computing them is ${{{\textsf {#P}}}}$-hard under parsimonious many-one reductions. Our proof also provides an explicit isomorphism of the corresponding highest weight vector spaces.

Let ${\mathbf {x}}_{n \times n}$ be an $n \times n$ matrix of variables, and let ${\mathbb {F}}[{\mathbf {x}}_{n \times n}]$ be the polynomial ring in these variables over a field ${\mathbb {F}}$. We study the ideal $I_n \subseteq {\mathbb {F}}[{\mathbf {x}}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient ${\mathbb {F}}[{\mathbf {x}}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot’s shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of ${\mathbb {F}}[{\mathbf {x}}_{n \times n}]/I_n$ is the generating function of permutations in ${\mathfrak {S}}_n$ by the length of their longest increasing subsequence. Along the way, we describe a ‘shadow junta’ basis of the vector space of k-local permutation statistics. We also calculate the structure of ${\mathbb {F}}[{\mathbf {x}}_{n \times n}]/I_n$ as a graded ${\mathfrak {S}}_n \times {\mathfrak {S}}_n$-module.

Given a permutation statistic $\operatorname {\mathrm {st}}$, define its inverse statistic $\operatorname {\mathrm {ist}}$ by . We give a general approach, based on the theory of symmetric functions, for finding the joint distribution of $\operatorname {\mathrm {st}}_{1}$ and $\operatorname {\mathrm {ist}}_{2}$ whenever $\operatorname {\mathrm {st}}_{1}$ and $\operatorname {\mathrm {st}}_{2}$ are descent statistics: permutation statistics that depend only on the descent composition. We apply this method to a number of descent statistics, including the descent number, the peak number, the left peak number, the number of up-down runs and the major index. Perhaps surprisingly, in many cases the polynomial giving the joint distribution of $\operatorname {\mathrm {st}}_{1}$ and $\operatorname {\mathrm {ist}}_{2}$ can be expressed as a simple sum involving products of the polynomials giving the (individual) distributions of $\operatorname {\mathrm {st}}_{1}$ and $\operatorname {\mathrm {st}}_{2}$. Our work leads to a rederivation of Stanley’s generating function for doubly alternating permutations, as well as several conjectures concerning real-rootedness and $\gamma $-positivity.

We revisit Haiman’s conjecture on the relations between characters of Kazdhan–Lusztig basis elements of the Hecke algebra over $S_n$. The conjecture asserts that, for purposes of character evaluation, any Kazhdan–Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.

Let $\Omega _n$ be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group ${\mathfrak {S}}_n$ acts diagonally on $\Omega _n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega _n$ be the ideal generated by ${\mathfrak {S}}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega _n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an ‘operator theorem’, which characterizes the harmonic space $SH_n \subseteq \Omega _n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases, we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood–Richardson coefficients for symmetric groups.