We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley–Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo–Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number of variables if these ideals are Cohen–Macaulay.

By use of a natural extension map and a power series method, we obtain a local stability theorem for $p$-Kähler structures with the $(p,p+1)$th mild $\unicode[STIX]{x2202}\overline{\unicode[STIX]{x2202}}$-lemma under small differentiable deformations.

A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore, we study a higher-dimensional analogue of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen–Macaulay modules.

We investigate whether the property of having linear quotients is inherited by ideals generated by multigraded shifts of a Borel ideal and a squarefree Borel ideal. We show that the ideal generated by the first multigraded shifts of a Borel ideal has linear quotients, as do the ideal generated by the $k$th multigraded shifts of a principal Borel ideal and an equigenerated squarefree Borel ideal for each $k$. Furthermore, we show that equigenerated squarefree Borel ideals share the property of being squarefree Borel with the ideals generated by multigraded shifts.

We apply the Auslander–Buchweitz approximation theory to show that the Iyama and Yoshino's subfactor triangulated category can be realized as a triangulated quotient. Applications of this realization go in three directions. Firstly, we recover both a result of Iyama and Yang and a result of the third author. Secondly, we extend the classical Buchweitz's triangle equivalence from Iwanaga–Gorenstein rings to Noetherian rings. Finally, we obtain the converse of Buchweitz's triangle equivalence and a result of Beligiannis, and give characterizations for Iwanaga–Gorenstein rings and Gorenstein algebras.

We analyse infinitesimal deformations of pairs $(X,{\mathcal{F}})$ with ${\mathcal{F}}$ a coherent sheaf on a smooth projective variety $X$ over an algebraically closed field of characteristic 0. We describe a differential graded Lie algebra controlling the deformation problem, and we prove an analog of a Mukai–Artamkin theorem about the trace map.

We prove results concerning the multiplicity as well as the Cohen–Macaulay and Gorenstein properties of the special fiber ring $\mathscr{F}(E)$ of a finitely generated $R$-module $E\subsetneq R^{e}$ over a Noetherian local ring $R$ with infinite residue field. Assuming that $R$ is Cohen–Macaulay of dimension 1 and that $E$ has finite colength in $R^{e}$, our main result establishes an asymptotic length formula for the multiplicity of $\mathscr{F}(E)$, which, in addition to being of independent interest, allows us to derive a Cohen–Macaulayness criterion and to detect a curious relation to the Buchsbaum–Rim multiplicity of $E$ in this setting. Further, we provide a Gorensteinness characterization for $\mathscr{F}(E)$ in the more general situation where $R$ is Cohen–Macaulay of arbitrary dimension and $E$ is not necessarily of finite colength, and we notice a constraint in terms of the second analytic deviation of the module $E$ if its reduction number is at least three.

We establish the continuity of Hilbert–Kunz multiplicity and F-signature as functions from a Cohen–Macaulay local ring $(R,\mathfrak{m},k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\mathfrak{m}$-adic topology.

Let 𝔭 be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies ${\rm Tor}_n^R $(k (𝔭), M) = 0 for some n ⩾ R𝔭, where k(𝔭) is the residue field at 𝔭, then ${\rm Tor}_i^R $(k (𝔭), M) = 0 holds for all i ⩾ n. Similar rigidity results concerning ${\rm Tor}_R^{\ast} $(k (𝔭), M) are proved, and applications to the theory of homological dimensions are explored.

Let R be a d-dimensional Cohen–Macaulay (CM) local ring of minimal multiplicity. Set S := R/(f), where f := f1,. . .,fc is an R-regular sequence. Suppose M and N are maximal CM S-modules. It is shown that if ExtSi(M, N) = 0 for some (d + c + 1) consecutive values of i ⩾ 2, then ExtSi(M, N) = 0 for all i ⩾ 1. Moreover, if this holds true, then either projdimR(M) or injdimR(N) is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, we give a number of necessary and sufficient conditions for a CM local ring of minimal multiplicity to be regular or Gorenstein. These conditions are based on vanishing of certain Exts or Tors involving homomorphic images of syzygy modules of the residue field.

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