Cohomology Tables Research Articles

Small projective spaces and Stillman uniformity for sheaves

We prove an analogue of Ananyan--Hochster's small subalgebra theorem in the context of sheaves on projective space, and deduce from this a version of Stillman's Conjecture for cohomology tables of sheaves. The main tools in the proof are Draisma's GL-noetherianity theorem and the BGG correspondence.

Decomposition of local cohomology tables of modules with large E-depth

We introduce the notion of E-depth of graded modules over polynomial rings to measure the depth of certain Ext modules. First, we characterize graded modules over polynomial rings with (sufficiently) large E-depth as those modules whose (sufficiently) partial general initial submodules preserve the Hilbert function of local cohomology modules supported at the irrelevant maximal ideal , extending a result of Herzog and Sbarra on sequentially Cohen-Macaulay modules. Second, we describe the cone of local cohomology tables of modules with sufficiently high E-depth, building on previous work of the second author and Smirnov. Finally, we obtain a non-Artinian version of a socle-lemma proved by Kustin and Ulrich.

Decomposition of graded local cohomology tables

Let R be a polynomial ring over a field. We describe the extremal rays and the facets of the cone of local cohomology tables of finitely generated graded R-modules of dimension at most two. Moreover, we show that any point inside the cone can be written as a finite linear combination, with positive rational coefficients, of points belonging to the extremal rays of the cone. We also provide algorithms to obtain decompositions in terms of extremal points and facets.

Foundations of Boij–Söderberg theory for Grassmannians

Boij–Söderberg theory characterizes syzygies of graded modules and sheaves on projective space. This paper continues earlier work with Sam, extending the theory to the setting of $\text{GL}_{k}$-equivariant modules and sheaves on Grassmannians. Algebraically, we study modules over a polynomial ring in $kn$ variables, thought of as the entries of a $k\times n$ matrix. We give equivariant analogs of two important features of the ordinary theory: the Herzog–Kühl equations and the pairing between Betti and cohomology tables. As a necessary step, we also extend previous results, concerning the base case of square matrices, to cover complexes other than free resolutions. Our statements specialize to those of ordinary Boij–Söderberg theory when $k=1$. Our proof of the equivariant pairing gives a new proof in the graded setting: it relies on finding perfect matchings on certain graphs associated to Betti tables and to spectral sequences. As an application, we construct three families of extremal rays on the Betti cone for $2\times 3$ matrices.

Towards Boij–Söderberg theory for Grassmannians : the case of square matrices

We characterize the cone of GL-equivariant Betti tables of Cohen-Macaulay modules of codimension 1, up to rational multiple, over the coordinate ring of square matrices. This result serves as the base case for `Boij-S\"oderberg theory for Grassmannians', with the goal of characterizing the cones of GL_k-equivariant Betti tables of modules over the coordinate ring of k x n matrices, and, dually, cohomology tables of vector bundles on the Grassmannian Gr(k, C^n). The proof uses Hall's Theorem on perfect matchings in bipartite graphs to compute the extremal rays of the cone, and constructs the corresponding equivariant free resolutions by applying Weyman's geometric technique to certain graded pure complexes of Eisenbud-Fl{\o}ystad-Weyman.

Supernatural analogues of Beilinson monads

We use supernatural bundles to build$\mathbf{GL}$-equivariant resolutions supported on the diagonal of$\mathbb{P}^{n}\times \mathbb{P}^{n}$, in a way that extends Beilinson’s resolution of the diagonal. We thus obtain results about supernatural bundles that largely parallel known results about exceptional collections. We apply this construction to Boij–Söderberg decompositions of cohomology tables of vector bundles, yielding a proof of concept for the idea that those positive rational decompositions should admit meaningful categorifications.

Ulrich bundles on rational surfaces with an anticanonical pencil

Ulrich bundles are the simplest sheaves from the viewpoint of cohomology tables. Eisenbud and Schreyer conjectured that every projective variety carries an Ulrich bundle, which means it has the same cone of cohomology table as the projective space of same dimension. In this paper we show the existence of stable rank 2 Ulrich bundle on rational surfaces with an anticanonical pencil, under a mild Brill-Noether assumption by using Lazarsfeld-Mukai bundles. Also we see that each of those surfaces carries its Chow form given by the Pfaffian of skew-symmetric morphism coming from an Ulrich bundle.

The banks of the cohomology river

We give sharp bounds on the vanishing of the cohomology of a tensor product of vector bundles on Pn in terms of the vanishing of the cohomology of the factors. For this purpose we introduce regularity indices generalizing the Castelnuovo–Mumford regularity. As an application we give a sufficient condition for a vector bundle to have an unobstructed deformation theory that depends only on the cohomology table of the bundle. We construct complete families of bundles with such cohomology tables.

Poset Structures in Boij–Söderberg Theory

Boij–Söderberg theory is the study of two cones: the cone of Betti diagrams of standard graded minimal free resolutions over a polynomial ring and the cone of cohomology tables of coherent sheaves over projective space. We provide a new interpretation of these partial orders in terms of the existence of nonzero homomorphisms, for both the general and equivariant constructions. These results provide new insights into the families of modules and sheaves at the heart of Boij–Söderberg theory: Cohen–Macaulay modules with pure resolutions and supernatural sheaves. In addition, they suggest the naturality of these partial orders and provide tools for extending Boij–Söderberg theory to other graded rings and projective varieties.

Cohomology of coherent sheaves and series of supernatural bundles

We show that the cohomology table of any coherent sheaf on projective space is a convergent—but possibly infinite—sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

Betti numbers of graded modules and cohomology of vector bundles

Mats Boij and Jonas Soederberg (math.AC/0611081) have conjectured that the Betti table of a Cohen-Macaulay module over a polynomial ring can be decomposed in a certain way as a positive linear combination of Betti tables of modules with pure resolutions. We prove, over any field, a strengthened form of their conjecture. Applications include a proof of the Multiplicity Conjecture of Huneke and Srinivasan and a proof of the convexity of a fan naturally associated to the Young lattice. We also characterize the rational cone of all cohomology tables of vector bundles on projective spaces in terms of the cohomology tables of supernatural bundles. This characterization is dual, in a certain sense, to our characterization of Betti tables.