Abstract Working in a polynomial ring , where is an arbitrary commutative ring with 1, we consider the th Veronese subalgebras , as well as natural ‐submodules inside . We develop and use characteristic‐free theory of Schur functors associated to ribbon skew diagrams as a tool to construct simple ‐equivariant minimal free ‐resolutions for the quotient ring and for these modules . These also lead to elegant descriptions of for all and for any pair of these modules .
more »
« less
Minimal free resolutions of differential modules
We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of differential modules. Our main result in this direction explains a sense in which the minimal free resolution of a differential module is a deformation of the minimal free resolution of its homology; this leads to structural results that mirror classical theorems about minimal free resolutions of modules.
more »
« less
- PAR ID:
- 10348636
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society
- ISSN:
- 0002-9947
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract A foundational principle in the study of modules over standard graded polynomial rings is that geometric positivity conditions imply vanishing of Betti numbers. The main goal of this paper is to determine the extent to which this principle extends to the nonstandard ‐graded case. In this setting, the classical arguments break down, and the results become much more nuanced. We introduce a new notion of Castelnuovo–Mumford regularity and employ exterior algebra techniques to control the shapes of nonstandard ‐graded minimal free resolutions. Our main result reveals a unique feature in the nonstandard ‐graded case: the possible degrees of the syzygies of a graded module in this setting are controlled not only by its regularity, but also by its depth. As an application of our main result, we show that given a simplicial projective toric variety and a module over its coordinate ring, the multigraded Betti numbers of are contained in a particular polytope when satisfies an appropriate positivity condition.more » « less
-
Bauer, Tomer; Liu, Gaku (Ed.)There is an abundance of deep literature on the use of free resolutions to study modules and vector bundle resolutions to study coherent sheaves. When studying a module over the Cox ring of a smooth projective toric variety X, each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which are amenable to algebraic and combinatorial study and also capture desirable geometric information. In this extended abstract, we continue this program in the combinatorially-rich Stanley–Reisner setting. In particular, when X is a product of projective spaces, we produce a large new class of virtually Cohen–Macaulay Stanley–Reisner rings. After augmenting the simplicial complexes associated to these Stanley–Reisner rings with a coloring that reflects the product structure on X, our primary tool is Reisner’s criterion, whose conclusion we interpret in the virtual setting. We also provide two constructions of short virtual resolutions for use beyond the Stanley–Reisner case.more » « less
-
We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $$ \mathbb{A}$$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step representations. Using this, we provide an algorithm for type $$ \mathbb{A}$$ quivers for describing an efficient set of generators of the defining ideal of the orbit closure of any representation.more » « less
-
Abstract The Burch index is a new invariant of a local ringRwhose positivity implies a kind of linearity in resolutions ofR-modules. We show that ifRhas depth zero and Burch index at least 2, then any non-free 7thR-syzygy contains the residue field as a direct summand. We compute the Burch index in various cases of interest.more » « less