We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the canonical ribbon conjecture of Bayer and Eisenbud holds over a field of characteristic $0$ or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics the results of Voisin asserting that Green's conjecture holds for generic curves of each gonality.
It is proved that if $\varphi \colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated B-module N whose flat dimension over A is at most $\operatorname {edim} A - \operatorname {edim} B$ is free over B and $\varphi $ is a special type of complete intersection. This result is motivated by a ‘patching method’ developed by Taylor and Wiles and a conjecture of de Smit, proved by the first author, dealing with the special case when N is flat over A.
In this short article, we will be principally investigating two classes of modules over any given group ring – the class of Gorenstein projectives and the class of Benson's cofibrants. We begin by studying various properties of these two classes and studying some of these properties comparatively against each other. There is a conjecture made by Fotini Dembegioti and Olympia Talelli that these two classes should coincide over the integral group ring for any group. We make this conjecture over group rings over commutative rings of finite global dimension and prove it for some classes of groups while also proving other related results involving the two classes of modules mentioned.
Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}\,\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf {QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset {\mathbb {P}} H^{0} (X,L)$ can be generated by quadrics of rank less than or equal to $k$. Many classical varieties, such as Segre–Veronese embeddings, rational normal scrolls and curves of high degree, satisfy property $\mathsf {QR}(4)$. In this paper, we first prove that if ${\rm char}\,\Bbbk \neq 3$ then $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (d))$ satisfies property $\mathsf {QR}(3)$ for all $n \geqslant 1$ and $d \geqslant 2$. We also investigate the asymptotic behavior of property $\mathsf {QR}(3)$ for any projective scheme. Specifically, we prove that (i) if $X \subset {\mathbb {P}} H^{0} (X,L)$ is $m$-regular then $(X,L^{d} )$ satisfies property $\mathsf {QR}(3)$ for all $d \geqslant m$, and (ii) if $A$ is an ample line bundle on $X$ then $(X,A^{d} )$ satisfies property $\mathsf {QR}(3)$ for all sufficiently large even numbers $d$. These results provide affirmative evidence for the expectation that property $\mathsf {QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green and Lazarsfeld's condition $\mathrm {N}_p$ and the Eisenbud–Koh–Stillman determininantal presentation in Eisenbud et al. [Determinantal equations for curves of high degree, Amer. J. Math. 110 (1988), 513–539]. Finally, when ${\rm char}\,\Bbbk = 3$ we prove that $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (2))$ fails to satisfy property $\mathsf {QR}(3)$ for all $n \geqslant 3$.
We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.
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.
By use of a natural map introduced recently by the first and third authors from the space of pure-type complex differential forms on a complex manifold to the corresponding one on the small differentiable deformation of this manifold, we will give a power series proof for Kodaira–Spencer’s local stability theorem of Kähler structures. We also obtain two new local stability theorems, one of balanced structures on an n-dimensional balanced manifold with the
$(n-1,n)$
th mild
$\partial \overline {\partial }$
-lemma by power series method and the other one on p-Kähler structures with the deformation invariance of
$(p,p)$
-Bott–Chern numbers.
Let I be a zero-dimensional ideal in the polynomial ring
$K[x_1,\ldots ,x_n]$
over a field K. We give a bound for the number of roots of I in
$K^n$
counted with combinatorial multiplicity. As a consequence, we give a proof of Alon’s combinatorial Nullstellensatz.
Unfortunately, there is a mistake in [PS, Lemma 3.10] which invalidates [PS, Theorem 3.12]. We show that the theorem still holds if the ring is assumed to be Gorenstein.
In previous work, based on the work of Zwara and Yoshino, we defined and studied degenerations of objects in triangulated categories analogous to the degeneration of modules. In triangulated categories ${\mathcal{T}}$, it is surprising that the zero object may degenerate. We show that the triangulated subcategory of ${\mathcal{T}}$ generated by the objects that are degenerations of zero coincides with the triangulated subcategory of ${\mathcal{T}}$ consisting of the objects with a vanishing image in the Grothendieck group $K_{0}({\mathcal{T}})$ of ${\mathcal{T}}$.
The purpose of this note is to establish isomorphisms up to bounded torsion between relative $K_{0}$-groups and Chow groups with modulus as defined by Binda and Saito.
We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid and strongly rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion condition of a long-standing conjecture of Huneke and Wiegand.
In this short note, we confirm a conjecture of Vasconcelos which states that the Rees algebra of any Artinian almost complete intersection monomial ideal is almost Cohen–Macaulay.
We consider the space $X=\bigwedge ^{3}\mathbb{C}^{6}$ of alternating senary 3-tensors, equipped with the natural action of the group $\operatorname{GL}_{6}$ of invertible linear transformations of $\mathbb{C}^{6}$. We describe explicitly the category of $\operatorname{GL}_{6}$-equivariant coherent ${\mathcal{D}}_{X}$-modules as the category of representations of a quiver with relations, which has finite representation type. We give a construction of the six simple equivariant ${\mathcal{D}}_{X}$-modules and give formulas for the characters of their underlying $\operatorname{GL}_{6}$-structures. We describe the (iterated) local cohomology groups with supports given by orbit closures, determining, in particular, the Lyubeznik numbers associated to the orbit closures.
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.
We prove that the integral closure of a strongly Golod ideal in a polynomial ring over a field of characteristic zero is strongly Golod, positively answering a question of Huneke. More generally, the rational power $I_{\unicode[STIX]{x1D6FC}}$ of an arbitrary homogeneous ideal is strongly Golod for $\unicode[STIX]{x1D6FC}\geqslant 2$ and, if $I$ is strongly Golod, then $I_{\unicode[STIX]{x1D6FC}}$ is strongly Golod for $\unicode[STIX]{x1D6FC}\geqslant 1$. We also show that all the coefficient ideals of a strongly Golod ideal are strongly Golod.
Let (R, ) be an analytically unramified local ring of positive prime characteristic p. For an ideal I, let I* denote its tight closure. We introduce the tight Hilbert function $$H_I^*\left( n \right) = \Im \left( {R/\left( {{I^n}} \right)*} \right)$$ and the corresponding tight Hilbert polynomial $$P_I^*\left( n \right)$$, where I is an m-primary ideal. It is proved that F-rationality can be detected by the vanishing of the first coefficient of $$P_I^*\left( n \right)$$. We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes.
The notion of Hochschild cochains induces an assignment from $\mathsf{Aff}$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under appropriate finiteness conditions, to a functor $\mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$, where the latter denotes the category of monoidal DG categories and bimodules. Any functor $\mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$ gives rise, by taking modules, to a theory of sheaves of categories $\mathsf{ShvCat}^{\mathbb{A}}$. In this paper, we study $\mathsf{ShvCat}^{\mathbb{H}}$. Loosely speaking, this theory categorifies the theory of $\mathfrak{D}$-modules, in the same way as Gaitsgory’s original $\mathsf{ShvCat}$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $\mathsf{ShvCat}^{\mathbb{H}}$, its descent properties and the notion of $\mathbb{H}$-affineness. We then prove the $\mathbb{H}$-affineness of algebraic stacks: for ${\mathcal{Y}}$ a stack satisfying some mild conditions, the $\infty$-category $\mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$ is equivalent to the $\infty$-category of modules for $\mathbb{H}({\mathcal{Y}})$, the monoidal DG category of higher differential operators. The main consequence, for ${\mathcal{Y}}$ quasi-smooth, is the following: if ${\mathcal{C}}$ is a DG category acted on by $\mathbb{H}({\mathcal{Y}})$, then ${\mathcal{C}}$ admits a theory of singular support in $\operatorname{Sing}({\mathcal{Y}})$, where $\operatorname{Sing}({\mathcal{Y}})$ is the space of singularities of ${\mathcal{Y}}$. As an application to the geometric Langlands programme, we indicate how derived Satake yields an action of $\mathbb{H}(\operatorname{LS}_{{\check{G}}})$ on $\mathfrak{D}(\operatorname{Bun}_{G})$, thereby equipping objects of $\mathfrak{D}(\operatorname{Bun}_{G})$ with singular support in $\operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$.
Let R be a Cohen–Macaulay local ring. It is shown that under some mild conditions, the Cohen–Macaulay property is preserved under linkage. We also study the connection of the (Sn) locus of a horizontally linked module and the attached primes of certain local cohomology modules of its linked module.