Search arXivSearch

arXiv · 2302.14086

Ribbon Schur Functors

Abstract

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Keller VandeBogert. 2024-05-23. Ribbon Schur Functors. https://doi.org/10.2140/ant.2025.19.771

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On triviality of $\mathbb{A}^2$-forms admitting a nontrivial $\mathbb{G}_a$-action

T. Kambayashi had shown that $\mathbb{A}^2$-forms over separable field extensions are necessarily polynomial rings. However, there exist inseparable $\mathbb{A}^2$-forms which are not necessarily polynomial rings. In this paper, we give a structure theorem for $\mathbb{A}^2$-forms over arbitrary field extensions admitting a nontrivial $\mathbb{G}_a$-action. From this structure theorem we derive some conditions under which an $\mathbb{A}^2$-form becomes trivial. In particular, we prove that over a field $k$, a factorial $\mathbb{A}^2$-form having a $k$-rational point and a non-trivial $\mathbb{G}_a$-action is trivial and we also give examples demonstrating that none of these hypotheses can be discarded. As a consequence of the structure theorem, we obtain a generalization of the Zariski Cancellation Theorem for the affine plane over an arbitrary field.

math.AC

Symbolic powers of the ideal of$n$ general points in $P^{n-1}$

Problem L of Fröberg--Lundqvist--Oneto--Shapiro asks for the difference between the Hilbert series of ordinary and symbolic powers of the ideal of general points in projective space. We solve this completely for \(n\) general points of \(\PP^{n-1}\). Besides a closed formula for \[ \HS(S/I^m)-\HS(S/I^{(m)}), \] we determine all minimal monomial generators of \(I^{(m)}\), and describe the symbolic Rees algebra. We also show that containment \(I^{(m)}\subseteq I^r\) is detected solely by initial degrees. This gives the exact containment threshold, the Waldschmidt constant \(\walpha\), the resurgence \(\Res\), and the asymptotic resurgence \(\aRes\): \[ \walpha(I)=\frac{n}{n-1}, \qquad \Res(I)=\aRes(I)=\frac{2(n-1)}{n}. \] We also take the first step beyond \(n\) points: for \(n+1\) general points of \(\PP^{n-1}\) --- again a rigid, non-monomial configuration --- we identify the defining quadrics, resolve the case \(n=3\) completely (a complete intersection, with \(J^{(m)}=J^m\) for all \(m\) and resurgence \(1\)), and propose an exact Waldschmidt-constant formula \(\walpha=\frac{n+1}{n-1}\) for all \(n\), verified computationally in every case we could check.

math.AC