Syzygies of Segre embeddings and Delta-modules
arXiv:1006.5248 · doi:10.1215/00127094-1962767
Abstract
We study syzygies of the Segre embedding of P(V_1) x ... x P(V_n), and prove two finiteness results. First, for fixed p but varying n and V_i, there is a finite list of "master p-syzygies" from which all other p-syzygies can be derived by simple substitutions. Second, we define a power series f_p with coefficients in something like the Schur algebra, which contains essentially all the information of p-syzygies of Segre embeddings (for all n and V_i), and show that it is a rational function. The list of master p-syzygies and the numerator and denominator of f_p can be computed algorithmically (in theory). The central observation of this paper is that by considering all Segre embeddings at once (i.e., letting n and the V_i vary) certain structure on the space of p-syzygies emerges. We formalize this structure in the concept of a Delta-module. Many of our results on syzygies are specializations of general results on Delta-modules that we establish. Our theory also applies to certain other families of varieties, such as tangent and secant varieties of Segre embeddings.
34 pages
References in corpus (1)
Cited by in corpus (32)
- FI-modules and stability for representations of symmetric groups
- Representation theory and homological stability
- FI-modules over Noetherian rings
- Gröbner methods for representations of combinatorial categories
- GL-equivariant modules over polynomial rings in infinitely many variables
- Stability patterns in representation theory
- Equivariant Hilbert Series in non-Noetherian Polynomial Rings
- Representations of categories of G-maps
- Noetherianity of some degree two twisted commutative algebras
- Bounded-rank tensors are defined in bounded degree
- FI- and OI-modules with varying coefficients
- Castelnuovo-Mumford regularity up to symmetry
- GL-equivariant modules over polynomial rings in infinitely many variables. II
- Equations for the fifth secant variety of Segre products of projective spaces
- Higher order representation stability and ordered configuration spaces of manifolds
- Topological noetherianity for cubic polynomials
- Tangential varieties of Segre-Veronese varieties
- Syzygies of bounded rank symmetric tensors are generated in bounded degree
- The representation theory of Brauer categories I: triangular categories
- Ideals of bounded rank symmetric tensors are generated in bounded degree
- Hilbert series for twisted commutative algebras
- Sp-equivariant modules over polynomial rings in infinitely many variables
- Representation stability for filtrations of Torelli groups
- Finite phylogenetic complexity and combinatorics of tables
- Categorifications of rational Hilbert series and characters of modules
- Regularity bounds for twisted commutative algebras
- GL-algebras in positive characteristic I: the exterior algebra
- Representation stability for sequences of 0-Hecke modules
- Syzygy algebras for the Segre embeddings
- Asymptotic behavior of symmetric ideals: A brief survey
- GL-algebras in positive characteristic II: the polynomial ring
- Polynomial representations of the Witt Lie algebra