arXiv++ Combinatorics

The complex of injective words is a cell complex that arises in a number of different areas. It has applications to proving homological stability and to the study of group cohomology, and it is closely related to the random-to-random Markov chain. This complex was first studied by Farmer, who proved it has the homology of a wedge of top-dimensional spheres. Later, Björner and Wachs established its shellability, and Reiner and Webb uncovered its $S_n$-module structure, observing in the process that the rank of its top homology group is the $n$th derangement number. We introduce natural subcomplexes of the complex of injective words by fixing a permutation pattern $σ$ and considering only those injective words in the alphabet $\{1,2,\dots,n\} $ that avoid $σ$. We prove that such pattern-avoiding complexes are shellable if $σ$ begins or ends with its largest or smallest letter, and we construct homology bases for the complexes avoiding such patterns. For patterns of length 3, all of which have this property, we show that the rank of the top homology of the resulting complex is a Riordan number. All but four patterns of length 4 also have this property, and for two of the remaining four patterns, we establish shellability using a different method. We also introduce a technique to use enumerative combinatorics to prove shellability, and we apply it to the complex of separable injective words, thereby deducing shellability in this case. Along the way, we give a combinatorial formula for all of the $h$-numbers in the full complex of injective words as well as for each of the subcomplexes which we prove are shellable. Going in the other direction, we use shellability of complexes of pattern-avoiding injective words to deduce new refined counting formulas for pattern-avoiding permutations.

Toric arrangements of maximal rank have been studied by the author in a paper that shows how the complement manifold of these arrangements is diffeomorphic to that of centered ones. In this work we turn our attention to toric arrangements of rank one, namely parallel toric arrangements. Our aim is to prove, by means of basic arguments of cohomology theory, that the Euler-Poincaré characteristic of the complement manifold of parallel toric arrangements can be computed in terms of those of the complement manifolds of the singular subtori that compose the arrangement.

Regular semisimple Hessenberg varieties are subvarieties of flag varieties defined for any reductive group. Their cohomology carries a representation of the associated Weyl group, known as the dot action representation. In type $A$, these representations can be computed using the chromatic quasisymmetric functions of naturally labeled unit interval graphs. We prove that restricting the dot action representation of any Weyl group to a type $A$ parabolic subgroup yields a representation isomorphic to a direct sum of type $A$ dot action representations. This work is motivated by the conjecture that an analogous property holds for all parabolic subgroups. In particular, for classical Weyl groups of types $B/C$ and $D$, we use chromatic symmetric functions to provide a streamlined, combinatorial formula for the restriction to a specific maximal type $A$ parabolic subgroup. As an application, we prove a conjecture of Lesnevich regarding the representations associated with ideals of types $B$ and $C$ identified under the standard poset isomorphism. Specifically, we show that the corresponding dot action representations are isomorphic if and only if the ideals determine the same reflection sets in their respective root systems. Furthermore, we show that a Catalan number counts the total number of such ideals.

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

We study the actions of hyperoctahedral groups on the cohomology of the minimal De Concini-Procesi wonderful models associated with reflection arrangements of type $B$. We express the generating series of their equivariant Poincaré polynomials in terms of the corresponding type $A$ series and the equivariant reduced characteristic series of type $B$. The key ingredient is a general inversion formula in equivariant incidence algebras relating equivariant Chow functions and super-reduced characteristic functions. Applying this formula to partition and signed partition lattices, we recover Getzler's compositional identity in type $A$ and establish its type $B$ analogue. We also obtain explicit plethystic and infinite-product formulas for the equivariant characteristic series of type $B$.

The shifted Jack Littlewood-Richardson coefficients generalize the ordinary Jack coefficients and are Laurent polynomials in the Jack parameter $α$. We prove a previously conjectured congruence: coefficients indexed by triples differing by a single box move are congruent modulo the shared $α$-hook at the pivot. We also prove a shifted Macdonald analogue, with a power-of-$t$ twist, and establish that the normalized shifted Macdonald coefficients are Laurent polynomials in $q$ and $t$. The proofs combine coincidences of shifted coordinates with Laurent-preserving shift transforms, and the Macdonald input uses Knop's inversion formula and the integrality of the Bergeron-Garsia-Haiman-Tesler operators. Finally, we realize the Jack and Macdonald congruences as necessary edge conditions on Hilbert schemes of points, in equivariant cohomology and equivariant $K$-theory, respectively. In the Macdonald case a tautological determinant twist accounts for the power-of-$t$ normalization

We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement. We further exhibit a family of abelian arrangements whose integer cohomology has torsion.

In a paper by Lin an interesting family of semipermutations comes out to index the elements of a cohomology basis of a Hessenberg type variety. The corresponding Betti numbers are a generalization of Eulerian numbers. We show three different subsets of the symmetric group that are in bijection with the set of these semipermutations. These bijections preserve the statistics lec and des: one of these is first obtained by an algebraic-topological argument, and all of them are explicitly described in combinatorial terms.

Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the irreducible representations of the symmetric group. Fung's 1997 thesis gave the first evidence of a connection between $\mathfrak{sl}_2$ webs and Springer fibers, showing that webs naturally index and describe the components of certain "two row" Springer fibers. However, this case is known to be far from generic. This paper deepens this connection with a similar correspondence in the substantially more complicated "two column" case. In particular, and building on works of Fresse, Melnikov, and Sakas-Obeid, we use webs to give a clean characterization of the smooth components of two column rectangle Springer fibers and a simple description of the geometry of these smooth components. We also show that the Poincaré polynomial of the smooth components is invariant under the natural dihedral action on the corresponding webs.

This paper considers the generic behaviour of sheaves supported on Schubert varieties in finite flag varieties. Our main results are that, for any fixed prime $p$, as the rank of the associated algebraic group grows, almost every intersection cohomology sheaf admits $p$-torsion in its stalks or costalks, and almost every indecomposable parity sheaf is not perverse. For certain families of partial flag varieties we also determine explicit asymptotics for this growth.

We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter. As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.

Givental-Kim and Ciocan-Fontanine gave an explicit presentation of the quantum cohomology ring of the flag variety. The author and Shirato introduced an algebraic generalization of their presentation in the context of the coordinate rings of regular nilpotent Hessenberg varieties. In particular, they connect the coordinate ring of the lower unipotent group in a general linear group and the polynomial ring with quantum parameters. In this paper we consider the dual of the connection and we see that the Plücker coordinates correspond to the quantizations of Schur polynomials. As an application of the connection, we construct an action of the symmetric group on the polynomial ring with quantum parameters. Using the symmetric group action, one can define the divided difference operators on the polynomial ring with quantum parameters. We study the quantizations of Schubert polynomials in relation to the divided difference operators.

Essentially non-oscillatory (ENO) reconstruction provides a key mechanism for designing high-order entropy-stable schemes for hyperbolic conservation laws, with its sign property ensuring nonnegative local dissipation for a prescribed entropy. However, two fundamental questions concerning convergence remain open: whether this dissipation provides the coercivity required for weak-BV compactness, as posited by the ENO--TV conjecture, and whether entropy stability transfers from the prescribed entropy pair to additional pairs. This paper resolves the ENO--TV conjecture by establishing a sharp parity dichotomy: it holds if and only if the reconstruction order $k=2$ or $k$ is odd, and fails for all even orders $k\ge 4$.The key to our proof is a localization principle that eliminates dependence on nonlinear adaptive stencil selection, establishing a two-sided equivalence between ENO dissipation and a canonical finite-difference functional. For odd orders, the conjecture is proved via a hidden quadratic energy and novel discrete Gagliardo--Nirenberg inequalities. For even orders $k\ge 4$, ENO null modes, on which ENO dissipation vanishes, yield counterexamples that disprove the conjecture. This dichotomy extends to quasi-uniform meshes, but for every $k\ge 2$, the conjecture can fail on non-quasi-uniform meshes. Addressing the above second open question, we discover on ENO null modes that local entropy transfer is governed by the first cohomology of a unipotent shift. Using apolar duality and binary covariants, we compute the dimensions of the associated cohomology subspaces and prove that smooth local entropy transfer encounters generic obstructions for every $k\ge 4$. By revealing how ENO null modes link global coercivity and local entropy compatibility, this work provides a structural foundation for the compactness and convergence analysis of high-order entropy-stable discretizations.

We prove that the integral Chow groups $CH^i$ and mixed Hodge degree $H^{2i, (i, i)}$ cohomology groups of really full rank (RFR) sink-recurrent cluster varieties vanish for $i > 0$. In particular this applies to braid varieties and open Richardson varieties in any Lie type. Our main tool is the construction of a stratification of any RFR sink-recurrent cluster variety $\mathcal{A}(Σ)$ into (affine spaces times) RFR sink-recurrent cluster varieties of seeds with fewer mutable vertices than $Σ$. We employ the theory of Voevodsky motives, and towards this end we prove that the cycle class maps are isomorphisms onto the lowest-weight part of rational Borel-Moore homology for any mixed Tate variety over a number field. We then show that RFR sink-recurrent cluster varieties have mixed Tate and, in fact, split motives. Finally, we use our results to deduce vanishing theorems about the Khovanov-Rozansky homology groups of closures of positive braids and generation properties of the cohomology of closed Richardson, projected Richardson, and brick varieties.

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.

The cocyclic development of Hadamard matrices has recently been extended from groups to loops by means of a cohomology theory that incorporates associativity obstructions. Over the finite field $\mathbb F_2$, the resulting loop-cocycles can be computed as solutions of homogeneous linear systems, making the framework suitable for exact computation. In this paper, we investigate multidimensional Hadamard matrices arising from finite loops. We introduce the notion of $δ$-compatible pairs of $2$-cochains over a loop $L$ as a natural extension of the usual $2$-cocycle identity, which allows the use of two distinct $2$-cochains. They form a vector space naturally isomorphic to the direct product of the space of $2$-cocycles and the space of $1$-cochains. This yields a generalization of the classical cocyclic construction of multidimensional Hadamard matrices from groups to arbitrary loops, while preserving the computational advantages of the cocyclic approach. The obtained decomposition shows that the determination of Hadamard equivalence classes can be reduced from the full space of $δ$-compatible pairs to the smaller space of ordinary $2$-cocycles, eliminating a redundant factor of $2^n$ from the search space. Computational results for all groups of orders $4$ and $8$, together with a non-associative loop of order $8$, show that the proposed three-dimensional construction refines the classical cocyclic Hadamard classification. While all examples collapse into a single equivalence class in dimension two, they split into several distinct classes in dimension three. In particular, the non-associative loop produces a three-dimensional Hadamard class that does not arise from any of the groups considered, showing that the multidimensional construction detects structural information that is invisible at the cocyclic matrix level.

Hall algebras can be associated with a broad class of combinatorial structures through the theory of 2-Segal sets. In this paper, we study the Hall algebras arising from the 2-Segal sets of rooted trees, undirected graphs, and directed graphs. In each case, we establish an analogue of Green's theorem giving a twisted bialgebra structure to the Hall algebra, describe the primitive elements, and derive a presentation by generators and relations. As an application, we realize the Hall algebra of an undirected graph as the cohomology ring of a topological space. In the case of directed graphs, we introduce the Hall polynomial, defined as the Poincar{é} polynomial of the space of primitive elements. The Hall polynomial is an invariant of the underlying undirected graph which we show to be closely related to the Tutte polynomial. We furthermore give examples of graphs with equal Tutte polynomials but distinct Hall polynomials showing thus that the Hall polynomial encodes different information from that of the Tutte polynomial.

Let $q$ be odd. The trace conic in $\mathbb{F}_{q^3}$ determines a Singer difference set in $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^\times$ and a natural square-class lift to $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^{\times 2}$. We study the odd multiplicative Fourier coefficients of this lift and prove that they are bounded in absolute value by $2\sqrt{q}$. The proof improves the naive six-puncture Weil bound by exploiting a projective Klein-four symmetry of the associated rank-one local system. The resulting nontrivial cocycle produces a quaternionic action on its four-dimensional cohomology, while Frobenius symmetry reduces the relevant trace to two Weil-scale eigenvalues. As an application, the oriented conic yields an explicit Singer-invariant signing of the point-line incidence graph of $\mathrm{PG}(2, q)$. The corresponding dihedral Cayley graph is a connected Ramanujan double cover. Thus a conic lift already known in finite-geometric constructions has an additional Ramanujan spectral property governed by its odd multiplicative character sums.

We study the singular cohomology rings of toric varieties associated with several fans arising from uniform matroids. These rings generalize the Chow and augmented Chow rings of matroids. For the singular cohomology ring arising from the augmented Bergman fan of a uniform matroid, we construct an explicit basis derived from the retral basis for the singular cohomology ring of a uniform matroid introduced by the first author. We prove that the augmented Bergman fan does not yield a singular cohomology ring that satisfies the quasi-projective Strong Lefschetz property, whereas a suitable modification of the fan does. We then investigate the zeros of the corresponding refined Hodge--Poincaré polynomials. For uniform matroids, we prove that the refined Hodge--Poincaré polynomials associated with both the singular cohomology ring and the modified augmented singular cohomology ring are real-rooted. The former result resolves a conjecture of the first author. These results extend the real-rootedness theorem of Brändén and the second author for the Chow polynomials of uniform matroids. Finally, we relate the failure of real-rootedness for the augmented singular cohomology ring to the failure of Lefschetz properties.

Let $P$ be a finite connected poset and let $Λ_P$ be the opposite endomorphism algebra of the direct sum of all interval representations of $P$ over a field. Via projectivization, this algebra governs resolutions relative to interval-decomposable representations, which arise naturally in persistence theory. We first show that $Λ_P$ carries a Reedy algebra structure in the sense of Dalezios--Šťov\'ıček. Its Reedy degree is given by the cardinality of the indexing interval, and the induced quasi-hereditary order is given by reverse interval cardinality. With respect to the resulting quasi-hereditary structure, we give a concrete combinatorial description of the standard modules and construct explicit projective resolutions of these modules. Using these resolutions, we reduce the calculation of standard--simple Ext groups to the reduced cohomology of simplicial complexes determined by the interval combinatorics. Order reversal gives the corresponding simple--costandard formula. Building on these calculations, we determine all simple--simple Ext groups. These groups are one-dimensional in a unique degree when the corresponding pair of intervals is saturated, and vanish otherwise. As a consequence, we obtain an exact combinatorial formula for the global dimension of $Λ_P$, which in particular shows that it is independent of the coefficient field. As an application, for the $m$ by $\ell$ grid $G_{m,\ell}$ with $m\geq\ell\geq2$, we give the explicit formula $\operatorname{gldim}Λ_{G_{m,\ell}}=\min\{2\ell,m+\ell-2\}$. This also gives an explicit formula for the interval-resolution global dimension of these grids, settling the corresponding grid conjectures of Asashiba--Escolar--Nakashima--Yoshiwaki and determining the stable value and the precise stabilization threshold.