We describe generators of disguised residual intersections in any commutative Noetherian ring. It is shown that, over Cohen–Macaulay rings, the disguised residual intersections and algebraic residual intersections are the same, for ideals with sliding depth. This coincidence provides structural results for algebraic residual intersections in a quite general setting. It is shown how the DG-algebra structure of Koszul homologies affects the determination of generators of residual intersections. It is shown that the Buchsbaum–Eisenbud family of complexes can be derived from the Koszul–Čech spectral sequence. This interpretation of Buchsbaum–Eisenbud families has a crucial rule to establish the above results.

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 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.

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.

A recent result of Eisenbud–Schreyer and Boij–Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resolutions with some plausible-looking Betti diagrams and to study the semigroup of quiver representations of the simplest ‘wild’ quiver.

We show that the Hilbert scheme, that parameterizes all ideals with the same Hilbert function over a Clements–Lindström ring W, is connected. More precisely, we prove that every graded ideal is connected by a sequence of deformations to the lex-plus-powers ideal with the same Hilbert function. This is an analogue of Hartshorne’s theorem that Grothendieck’s Hilbert scheme is connected. We also prove a conjecture by Gasharov, Hibi, and Peeva that the lex ideal attains maximal Betti numbers among all graded ideals in W with a fixed Hilbert function.

The defining ideal $I_{\bb X}$ of a set of points $\bb{X}$ in $\bb{P}^n_1 x \ldots x \bb{P}n_k$ is investigated with a special emphasis on the case when $\bb{X}$ is in generic position, that is, $\bb{X}$ has the maximal Hilbert function. When $\bb{X}$ is in generic position, the degrees of the generators of the associated ideal $I_{\bb X}$ are determined. $\nu(I_{\bb X})$ denotes the minimal number of generators of $I_{\bb X}$, and this description of the degrees is used to construct a function $v(s;n_1,\ldots,n_k)$ with the property that $\nu(I_{\bb X})\,{\geq}\, v(s;n_1,\ldots,n_k)$ always holds for $s$ points in generic position in $\bb{P}n_1 x \ldots x \bb{P}^n_k$. When $k\,{=}\,1$, $v(s;n_1)$ equals the expected value for $\nu(I_{\bb X})$ as predicted by the ideal generation conjecture. If $k\,{\geq}\, 2$, it is shown that there are cases with $\nu(I_{\bb X}) > v(s;n_1,\ldots,n_k$). However, computational evidence suggests that in many cases $\nu(I_{\bb X})\,{=}\, v(s;n_1,\ldots,n_k$).