arXiv++ Combinatorics

We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.

Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fløystad, and Weyman in the case of polynomial rings.

We investigate a generalization of the classical notion of a Schur functor associated to a ribbon diagram. These functors are defined with respect to an arbitrary algebra, and in the case that the underlying algebra is the symmetric/exterior algebra, we recover the classical definition of Schur/Weyl functors, respectively. In general, we construct a family of 3-term complexes categorifying the classical concatenation/near-concatenation identity for symmetric functions, and one of our main results is that the exactness of these 3-term complexes is equivalent to the Koszul property of the underlying algebra $A$. We further generalize these ribbon Schur functors to the notion of a multi-Schur functor and construct a canonical filtration of these objects whose associated graded pieces are described explicitly; one consequence of this filtration is a complete equivariant description of the syzygies of arbitrary Segre products of Koszul modules over the Segre product of Koszul algebras. Further applications to the equivariant structure of derived invariants, symmetric function identities, and Koszulness of certain classes of modules are explored at the end, along with a characteristic-free computation of the regularity of a Schur functor applied to the tautological subbundle on projective space.

Working in a polynomial ring $S=\mathbf{k}[x_1,\ldots,x_n]$ where $\mathbf{k}$ is an arbitrary commutative ring with $1$, we consider the $d^{th}$ Veronese subalgebras $R=S^{(d)}$, as well as natural $R$-submodules $M=S^{(\geq r, d)}$ inside $S$. We develop and use characteristic-free theory of Schur functors associated to ribbon skew diagrams as a tool to construct simple $GL_n(\mathbf{k})$-equivariant minimal free $R$-resolutions for the quotient ring $\mathbf{k}=R/R_+$ and for these modules $M$. These also lead to elegant descriptions of $\mathrm{Tor}^R_i(M,M')$ for all $i$ and $\mathrm{Hom}_R(M,M')$ for any pair of these modules $M,M'$.

In this paper we construct a GL-equivariant complex of Schur modules over a ring of positive characteristic that can be used to deduce classical alternating sum identities for Schur polynomials. This complex globalizes to a complex of vector bundles and can also be used to give an explicit construction of an exact sequence predicted by work of Grayson involving Adams operations identities on the algebraic K-theory of a given scheme $X$. The more general complex gives an explicit construction that reproves the aforementioned Adams operations identities in full generality.

In this paper, we study ideals $I$ whose linear strand can be supported on a regular CW complex. We provide a sufficient condition for the linear strand of an arbitrary subideal of $I$ to remain supported on an easily described subcomplex. In particular, we prove that a certain class of rainbow monomial ideals always have linear strand supported on a regular CW complex, including any initial ideal of the ideal of maximal minors of a generic matrix. We also provide a sufficient condition for these ideals to have linear resolution, which is also an equivalence under mild assumptions. We then employ a result of Almousa, Fløystad, and Lohne to apply these results to polarizations of Artinian monomial ideals. We conclude with further questions relating to cellularity of certain classes of squarefree monomial ideals and the relationship between initial ideals of maximal minors and algebra structures on certain resolutions.