arXiv++ Combinatorics

The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain restrictions on which irreducible representations can appear in their decomposition.

We introduce a generalization of the celebrated Lovász theta number of a graph to simplicial complexes of arbitrary dimension. Our generalization takes advantage of real simplicial cohomology theory, in particular combinatorial Laplacians, and provides a semidefinite programming upper bound of the independence number of a simplicial complex. We consider properties of the graph theta number such as the relationship to Hoffman's ratio bound and to the chromatic number and study how they extend to higher dimensions. Like in the case of graphs, the higher dimensional theta number can be extended to a hierarchy of semidefinite programming upper bounds reaching the independence number. We analyze the value of the theta number and of the hierarchy for dense random simplicial complexes.

In this article, we make a close analysis on quantum multiplication operators on the quantum cohomology rings of Lagrangian and orthogonal Grassmannians, and give an explicit description on all simultaneous eigenvectors and the corresponding eigenvalues for these operators. As a result, we show that Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani holds for these manifolds.

We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra that when restricted makes extended symmetric functions quasi-isomorphic to $GL(N)$-equivariant cohomology of Grassmannians.

Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.

In this paper we explore a relationship between the topology of the complex hyperplane complements $\mathcal{M}_{BC_n} (\mathbb{C})$ in type B/C and the combinatorics of certain spaces of degree-$n$ polynomials over a finite field $\mathbb{F}_q$. This relationship is a consequence of the Grothendieck trace formula and work of Lehrer and Kim. We use it to prove a correspondence between a representation-theoretic convergence result on the cohomology algebras $H^*(\mathcal{M}_{BC_n} (\mathbb{C});\mathbb{C})$, and an asymptotic stability result for certain polynomial statistics on monic squarefree polynomials over $\mathbb{F}_q$ with nonzero constant term. This result is the type B/C analogue of a theorem due to Church, Ellenberg, and Farb in type A, and we include a new proof of their theorem. To establish these convergence results, we realize the sequences of cohomology algebras of the hyperplane complements as FI$_\mathcal{W}$-algebras finitely generated in FI$_\mathcal{W}$- degree $2$, and we investigate the asymptotic behaviour of general families of algebras with this structure. We prove a negative result implying that this structure alone is not sufficient to prove the necessary convergence conditions. Our proof of convergence for the cohomology algebras involves the combinatorics of their relators.

A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type. Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense. We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.

In this short note we give an elementary description of the linear part of the minimal free resolution of a Stanley-Reisner ring of a simplicial complex $Δ$. Indeed, the differentials in the linear part are simply a compilation of restriction maps in the simplicial cohomology of induced subcomplexes of $Δ$. Along the way, we also show that if a monomial ideal has at least one generator of degree $2$, then the linear strand of its minimal free resolution can be written using only $\pm 1$ coefficients.

We relate the counting of honeycomb dimer configurations on the cylinder to the counting of certain vertices in Kirillov-Reshetikhin crystal graphs. We show that these dimer configurations yield the quantum Kostka numbers of the small quantum cohomology ring of the Grassmannian, i.e. the expansion coefficients when multiplying a Schubert class repeatedly with different Chern classes. This allows one to derive sum rules for Gromov-Witten invariants.

To a univariate monic polynomial is attached a special planar forest that is called the picture of the polynomial. Isotopy classes of pictures are called signatures. All combinatorially possible signatures are realized and spaces of polynomials realizing a given signature are contractible. A finite cell complex for the cohomology of the braid groups is obtained.

We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional algebras, representations with finitely many orbits, or finitely many invariant subspaces, or distributive coincide, and further coincide with thin modules in the acyclic case. Incidence algebras produce examples of such modules, and we show that algebras which are locally hereditary, and whose projective are distributive, or equivalently, which have finitely many ideals, are precisely the deformations of incidence algebras, and they are the finite dimensional algebra analogue of Pr${\rm \ddot{u}}$fer rings. New characterizations of incidence algebras are obtained, such as they are exactly algebras which have a faithful thin module. A main consequence is that "every thin module comes from an incidence algebra": if $V$ is either a thin module over a finite dimensional algebra $A$, or $V$ is distributive and $A$ is acyclic, then $A/{\rm ann}(V)$ is an incidence algebra and $V$ can be presented as its defining representation. We classify thin/distributive modules, and respectively deformations, of incidence algebras in terms of first and second cohomology of the simplicial realization of the poset. As a main application we obtain a complete classification of thin modules over any finite dimensional algebra. Their moduli spaces are multilinear varieties, and we show that any multilinear variety can be obtained in this way. A few other applications, to Grothendieck rings of combinatorial algebras, to graphs and their incidence matrices, to linear algebra (tori actions on matrices), and to a positive answer to the "no-gap conjecture" of Ringel and Bongartz, in the distributive case, are given. Other results in the literature are re-derived.

Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the minimal $R$ such that for any map $A:G \to End_k(L)$ with $r(A(g'+g'')-A(g')-A(g''))\leq r$, $g',g''\in G$ there exists a homomorphism $χ:G\to End_k(L)$ such that $r(A(g)-χ(g))\leq R(G, r, k)$ for all $g\in G$. We show the finiteness of $R(G,r,k)$ for the case when $k$ is a finite field, $G=V$ is a $k$-vector space $V$ of countable dimension. We actually prove a generalization of this result. In addition we introduce a notion of {\it Approximate Cohomology} groups $H^k_{\mathcal F} (V,M)$ (which is a purely algebraic analogue of the notion of $ε$-representation (\cite{ep})) and interperate our result as a computation of the group $H^1_{\mathcal F} (V,M)$ for some $V$-modules $M$.

We introduce the notion of a cominuscule point in a Schubert variety in a generalized flag variety for a semisimple group. We derive formulas expressing the Hilbert series and multiplicity of a Schubert variety at a cominuscule point in terms of the restrictions of classes in torus-equivariant K-theory and cohomology to that point, generalizing previously known formulas for flag varieties of cominuscule type. Thus, we can calculate Hilbert series and multiplicities in cases where these were previously unknown. The formulas for Schubert varieties are special cases of more general formulas valid at generalized cominuscule points of schemes with torus actions.

Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.

This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.

For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.

Young tableaux carry an associative product, described by the Schensted algorithm. They thus form a monoid $\mathbf{Pl}$, called \emph{plactic}. It is central in numerous combinatorial and algebraic applications. In this paper, the tableaux product is shown to be completely determined by a braiding $σ$ on the (much simpler!) set of columns $\mathbf{Col}$. Here a \emph{braiding} is a set-theoretic solution to the Yang--Baxter equation. As an application, we identify the Hochschild cohomology of $\mathbf{Pl}$, which resists classical approaches, with the more accessible braided cohomology of $(\mathbf{Col},σ)$. The cohomological dimension of $\mathbf{Pl}$ is obtained as a corollary. Also, the braiding~$σ$ is proved to commute with the classical crystal reflection operators~$s\_i$.

A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology class Poincaré dual to a positroid variety. We define a family of representations of general linear groups whose characters are symmetric polynomials representing positroid classes. These representations are certain diagram Schur modules in the sense of James and Peel. This gives a new algebraic interpretation of the Schubert structure constants for the product of a Schubert polynomial and Schur polynomial, and of the 3-point Gromov-Witten invariants for Grassmannians, proving a conjecture of Postnikov. As a byproduct, we obtain an effective algorithm for decomposing positroid classes into Schubert classes.

Let $\mathbfΣ=(Σ,M,O)$ be a surface with marked points and order-2 orbifold points which is either unpunctured or once-punctured closed, and $ω:O\rightarrow\{1,4\}$ a function. For each triangulation $τ$ of $\mathbfΣ$ we construct a cochain complex $C^\bullet(τ,ω)$. A colored triangulation is defined to be a pair consisting of a triangulation $τ$ and a 1-cocycle of $C^\bullet(τ,ω)$; the combinatorial notion of colored flip of colored triangulations is then defined as a refinement of the notion of flip of triangulations. Our main construction associates to each colored triangulation a species and a potential, and our main result shows that colored triangulations related by a colored flip have SPs related by the corresponding SP-mutation. We define the flip graph of $(Σ,M,O,ω)$, whose vertices are the pairs $(τ,x)$ with $τ$ a triangulation and $x$ a cohomology class in $H^1(C^\bullet(τ,ω))$, with an edge between $(τ,x)$ and $(σ,z)$ iff $(τ,ξ)$ and $(σ,ζ)$ are related by a colored flip for some cocycles $ξ$ and $ζ$ respectively representing $x$ and $z$. We prove that this graph is disconnected if $Σ$ is not contractible. For unpunctured surfaces we show that $(τ,ξ)$ and $(τ,ξ')$ yield isomorphic Jacobian algebras if and only if $[ξ]=[ξ']$ in cohomology. We prove that every SP-realization of any $(τ,ω)$ via a non-degenerate SP over a cyclic Galois extension with certain roots of unity is right-equivalent to one of the SPs we construct here. The species constructed here are species realizations of the $2^{|O|}$ skew-symmetrizable matrices assigned by Felikson-Shapiro-Tumarkin to any given $τ$. In the prequel to this paper we realized only one of these matrices via species, but therein we allowed the presence of arbitrarily many punctures.

We begin by introducing schemes of binoids, invertible $\mathcal{O}_M$-sets and cohomology of sheaves of abelian groups defined on schemes of binoids. We define the so-called punctured combinatorial Čech-Picard complex, whose first cohomology computes $\mathrm{Pic}^{\mathrm{loc}}(M)$, the local Picard group of a binoid. We look then at simplicial binoids, whose spectrum presents very nice combinatorial properties. We prove that the cohomology of a constant sheaf on this punctutured spectra can be computed entirely in terms of simplicial cohomology. Through some other results, we prove that we can compute cohomology of the sheaf of units (and thus the local Picard group) by meaning of reduced simplicial cohomology. We move from combinatorics to algebra and we try to use these tools to understand binoid algebras and cohomology of their sheaf of units. We introduce a new topology, that we call combinatorial topology on $\mathrm{Spec}\mathbb{K}[M]$. In this topology, if $M$ is a reduced, torsion-free and cancellative binoid, we can decompose the sheaf of units of its algebra in a direct sum of a constant part $\mathbb{K}^*$ and of the pushforward of the combinatorial units. We specialize to the case of the Stanley-Reisner rings, for which we are able to prove a vanishing result for the affine case. By meaning of the combinatorial topology we then prove that we can compute the Zariski cohomology of the sheaf of units entirely in terms of simplicial cohomology, both usual and reduced. This ultimately leads to a generalization to any monomial ideal, thus yielding us some purely combinatorial non-vanishing results for $\mathrm{Pic}^{\mathrm{loc}}(\mathbb{K}[M])$ in the last Corollary.