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.

We propose here a generalization of the problem addressed by the SHGH conjecture. The SHGH conjecture posits a solution to the question of how many conditions a general union $X$ of fat points imposes on the complete linear system of curves in $\mathbb{P}^{2}$ of fixed degree $d$, in terms of the occurrence of certain rational curves in the base locus of the linear subsystem defined by $X$. As a first step towards a new theory, we show that rational curves play a similar role in a special case of a generalized problem, which asks how many conditions are imposed by a general union of fat points on linear subsystems defined by imposed base points. Moreover, motivated by work of Di Gennaro, Ilardi and Vallès and of Faenzi and Vallès, we relate our results to the failure of a strong Lefschetz property, and we give a Lefschetz-like criterion for Terao’s conjecture on the freeness of line arrangements.

We study an operation, that we call lifting, creating nonisomorphic monomial curves from a single monomial curve. Our main result says that all but finitely many liftings of a monomial curve have Cohen–Macaulay tangent cones even if the tangent cone of the original curve is not Cohen–Macaulay. This implies that the Betti sequence of the tangent cone is eventually constant under this operation. Moreover, all liftings have Cohen–Macaulay tangent cones when the original monomial curve has a Cohen–Macaulay tangent cone. In this case, all the Betti sequences are just the Betti sequence of the original curve.

Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^{R}$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^{R}$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen–Macaulay local ring are rational, sharing a common denominator.

For a pair $(R,I)$, where $R$ is a standard graded domain of dimension $d$ over an algebraically closed field of characteristic 0, and $I$ is a graded ideal of finite colength, we prove that the existence of $\lim _{p\rightarrow \infty }e_{HK}(R_{p},I_{p})$ is equivalent, for any fixed $m\geqslant d-1$, to the existence of $\lim _{p\rightarrow \infty }\ell (R_{p}/I_{p}^{[p^{m}]})/p^{md}$. This we get as a consequence of Theorem 1.1: as $p\longrightarrow \infty$, the convergence of the Hilbert–Kunz (HK) density function $f(R_{p},I_{p})$ is equivalent to the convergence of the truncated HK density functions $f_{m}(R_{p},I_{p})$ (in $L^{\infty }$ norm) of the mod $p$reductions$(R_{p},I_{p})$, for any fixed $m\geqslant d-1$. In particular, to define the HK density function $f_{R,I}^{\infty }$ in char 0, it is enough to prove the existence of $\lim _{p\rightarrow \infty }f_{m}(R_{p},I_{p})$, for any fixed $m\geqslant d-1$. This allows us to prove the existence of $e_{HK}^{\infty }(R,I)$ in many new cases, for example, when Proj R is a Segre product of curves.

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper, we give a short proof using filter regular sequences that the set of associated prime ideals of $H_{I}^{t}(R)$ is finite for any ideal $I$ and for any $t\geqslant 0$ when $R$ has finite $F$-representation type or finite singular locus. This extends a previous result by Takagi–Takahashi and gives affirmative answers for a problem of Huneke in many new classes of rings in positive characteristic. We also give a criterion about the singularities of $R$ (in any characteristic) to guarantee that the set $\operatorname{Ass}H_{I}^{2}(R)$ is always finite.

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\text{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $\unicode[STIX]{x1D6F9}_{X}:\mathsf{D}(\mathsf{QCoh}(X))\rightarrow \mathsf{D}_{\text{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

Let $C$ be a Petri general curve of genus $g$ and $E$ a general stable vector bundle of rank $r$ and slope $g-1$ over $C$ with $h^{0}(C,E)=r+1$. For $g\geqslant (2r+2)(2r+1)$, we show how the bundle $E$ can be recovered from the tangent cone to the generalised theta divisor $\unicode[STIX]{x1D6E9}_{E}$ at ${\mathcal{O}}_{C}$. We use this to give a constructive proof and a sharpening of Brivio and Verra’s theorem that the theta map $\mathit{SU}_{C}(r){\dashrightarrow}|r\unicode[STIX]{x1D6E9}|$ is generically injective for large values of $g$.

Let $(R,\mathfrak{m})$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the maximal ideal. We prove that if $R/(x)$ is $F$-full or $F$-anti-nilpotent for a nonzero divisor $x\in R$, then so is $R$. We use these results to obtain new cases on the deformation of $F$-injectivity.

Let $\unicode[STIX]{x1D709}$ be a stable Chern character on $\mathbb{P}^{1}\times \mathbb{P}^{1}$, and let $M(\unicode[STIX]{x1D709})$ be the moduli space of Gieseker semistable sheaves on $\mathbb{P}^{1}\times \mathbb{P}^{1}$ with Chern character $\unicode[STIX]{x1D709}$. In this paper, we provide an approach to computing the effective cone of $M(\unicode[STIX]{x1D709})$. We find Brill–Noether divisors spanning extremal rays of the effective cone using resolutions of the general elements of $M(\unicode[STIX]{x1D709})$ which are found using the machinery of exceptional bundles. We use this approach to provide many examples of extremal rays in these effective cones. In particular, we completely compute the effective cone of the first fifteen Hilbert schemes of points on $\mathbb{P}^{1}\times \mathbb{P}^{1}$.

This work generalises the short resolution given by Pisón Casares [‘The short resolution of a lattice ideal’, Proc. Amer. Math. Soc.131(4) (2003), 1081–1091] to any affine semigroup. We give a characterisation of Apéry sets which provides a simple way to compute Apéry sets of affine semigroups and Frobenius numbers of numerical semigroups. We also exhibit a new characterisation of the Cohen–Macaulay property for simplicial affine semigroups.

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or are local quotient stacks. We also extend Toën and Antieau–Gepner’s results on derived Azumaya algebras and compact generation of sheaves on linear categories from derived schemes to derived Deligne–Mumford stacks. These are all consequences of our main theorem: compact generation of a presheaf of triangulated categories on an algebraic stack is local for the quasi-finite flat topology.

Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R\rightarrow A$ where $R$ is a complete regular local $k$-algebra: the resulting objects are independent of the chosen surjection. We prove that the Hodge–de Rham spectral sequences abutting to the de Rham homology and cohomology of $Y$, beginning with their $E_{2}$-terms, are independent of the chosen surjection (up to a degree shift in the homology case) and consist of finite-dimensional $k$-spaces. These $E_{2}$-terms therefore provide invariants of $A$ analogous to the Lyubeznik numbers. As part of our proofs we develop a theory of Matlis duality in relation to ${\mathcal{D}}$-modules that is of independent interest. Some of the highlights of this theory are that if $R$ is a complete regular local ring containing $k$ and ${\mathcal{D}}={\mathcal{D}}(R,k)$ is the ring of $k$-linear differential operators on $R$, then the Matlis dual $D(M)$ of any left ${\mathcal{D}}$-module $M$ can again be given a structure of left ${\mathcal{D}}$-module, and if $M$ is a holonomic ${\mathcal{D}}$-module, then the de Rham cohomology spaces of $D(M)$ are $k$-dual to those of $M$.

Given a non-negative integer n and a complete hereditary cotorsion triple , the notion of subcategories in an abelian category is introduced. It is proved that a virtually Gorenstein ring R is n-Gorenstein if and only if the subcategory of Gorenstein injective R-modules is with respect to the cotorsion triple , where stands for the subcategory of Gorenstein projectives. In the case when a subcategory of is closed under direct summands such that each object in admits a right -approximation, a Bazzoni characterization is given for to be . Finally, an Auslander–Reiten correspondence is established between the class of subcategories and that of certain subcategories of which are -coresolving covariantly finite and closed under direct summands.

In this work, we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a $\mathbb{Z}$-graded ideal $I\subseteq R=\Bbbk [x_{1},\ldots ,x_{n}]$. We also prove that these invariants satisfy some properties analogous to those of Lyubeznik numbers of local rings. In particular, they satisfy a consecutiveness property that we prove first for the Lyubeznik table. For the case of squarefree monomial ideals, we get more insight into the relation between Lyubeznik numbers and the linear strands of their associated Alexander dual ideals. Finally, we prove that Lyubeznik numbers of Stanley–Reisner rings are not only an algebraic invariant but also a topological invariant, meaning that they depend on the homeomorphic class of the geometric realization of the associated simplicial complex and the characteristic of the base field.

A very well-covered graph is an unmixed graph whose covering number is half of the number of vertices. We construct an explicit minimal free resolution of the cover ideal of a Cohen–Macaulay very well-covered graph. Using this resolution, we characterize the projective dimension of the edge ideal of a very well-covered graph in terms of a pairwise $3$-disjoint set of complete bipartite subgraphs of the graph. We also show nondecreasing property of the projective dimension of symbolic powers of the edge ideal of a very well-covered graph with respect to the exponents.

Let (A, ${\mathfrak{m}$) be a Cohen–Macaulay local ring of dimension d and let I ⊆ J be two ${\mathfrak{m}$-primary ideals with I a reduction of J. For i = 0,. . .,d, let eiJ(A) (eiI(A)) be the ith Hilbert coefficient of J (I), respectively. We call the number ci(I, J) = eiJ(A) − eiI(A) the ith relative Hilbert coefficient of J with respect to I. If GI(A) is Cohen–Macaulay, then ci(I, J) satisfy various constraints. We also show that vanishing of some ci(I, J) has strong implications on depth GJn(A) for n ≫ 0.

This work concerns the linearity defect of a module $M$ over a Noetherian local ring $R$, introduced by Herzog and Iyengar in 2005, and denoted $\text{ld}_{R}M$. Roughly speaking, $\text{ld}_{R}M$ is the homological degree beyond which the minimal free resolution of $M$ is linear. It is proved that for any ideal $I$ in a regular local ring $R$ and for any finitely generated $R$-module $M$, each of the sequences $(\text{ld}_{R}(I^{n}M))_{n}$ and $(\text{ld}_{R}(M/I^{n}M))_{n}$ is eventually constant. The first statement follows from a more general result about the eventual constancy of the sequence $(\text{ld}_{R}C_{n})_{n}$ where $C$ is a finitely generated graded module over a standard graded algebra over $R$.

We prove the Green–Lazarsfeld secant conjecture [Green and Lazarsfeld, On the projective normality of complete linear series on an algebraic curve, Invent. Math. 83 (1986), 73–90; Conjecture (3.4)] for extremal line bundles on curves of arbitrary gonality, subject to explicit genericity assumptions.

For every integer $k\geqslant 3$ we construct a $k$-gonal curve $C$ along with a very ample divisor of degree $2g+k-1$ (where $g$ is the genus of $C$) to which the vanishing statement from the Green–Lazarsfeld gonality conjecture does not apply.