skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Combinatorial aspects of virtually Cohen-Macaulay sheaves
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
Award ID(s):
2001101
PAR ID:
10340047
Author(s) / Creator(s):
; ; ;
Editor(s):
Bauer, Tomer; Liu, Gaku
Date Published:
Journal Name:
Seminaire lotharingien de combinatoire
Volume:
85B
ISSN:
1286-4889
Page Range / eLocation ID:
Art. 263
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract The resonance varieties are cohomological invariants that are studied in a variety of topological, combinatorial, and geometric contexts.We discuss their scheme structure in a general algebraic setting and introduce various properties that ensure the reducedness of the associated projective resonance scheme.We prove an asymptotic formula for the Hilbert series of the associated Koszul module, then discuss applications to vector bundles on algebraic curves and to Chen ranks formulas for finitely generated groups, with special emphasis on Kähler and right-angled Artin groups. 
    more » « less
  2. Abstract A local ring R is regular if and only if every finitely generated R -module has finite projective dimension. Moreover, the residue field k is a test module: R is regular if and only if k has finite projective dimension. This characterization can be extended to the bounded derived category $$\mathsf {D}^{\mathsf f}(R)$$ , which contains only small objects if and only if R is regular. Recent results of Pollitz, completing work initiated by Dwyer–Greenlees–Iyengar, yield an analogous characterization for complete intersections: R is a complete intersection if and only if every object in $$\mathsf {D}^{\mathsf f}(R)$$ is proxy small. In this paper, we study a return to the world of R -modules, and search for finitely generated R -modules that are not proxy small whenever R is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley–Reisner rings. 
    more » « less
  3. Abstract We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $$\mathcal {X}$$ , which specializes to the Batyrev–Manin conjecture when $$\mathcal {X}$$ is a scheme and to Malle’s conjecture when $$\mathcal {X}$$ is the classifying stack of a finite group. 
    more » « less
  4. 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
  5. Abstract A simple polytopePis calledB-rigidif its combinatorial type is determined by the cohomology ring of the moment-angle manifold$$\mathcal {Z}_P$$overP. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find thatB-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley–Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes. 
    more » « less