Given a complex affine hypersurface with isolated singularity determined by a homogeneous polynomial, we identify the noncommutative Hodge structure on the periodic cyclic homology of its singularity category with the classical Hodge structure on the primitive cohomology of the associated projective hypersurface. As a consequence, we show that the Hodge conjecture for the projective hypersurface is equivalent to a dg-categorical analogue of the Hodge conjecture for the singularity category.
Buchweitz-Greuel-Schreyer conjectured in 1987 a lower bound on the ranks of matrix factorizations over certain local hypersurface rings. We study a graded version of this conjecture, and we show that it implies a novel conjecture concerning the cohomology of sheaves over non-Fano projective hypersurfaces.
The Total Rank Conjecture is a coarser version of the Buchsbaum-Eisenbud-Horrocks conjecture which, loosely stated, predicts that modules with large annihilators must also have ``large'' syzygies. This conjecture was proved by the second author for rings of odd characteristic by taking advantage of the Adams operations on the category of perfect complexes with finite length homology. In this paper, we prove a stronger form of the Total Rank Conjecture for rings of characteristic two. This result may be seen as evidence that the Generalized Total Rank Conjecture (which is known to be false in odd characteristic) actually holds in characteristic two. We also formulate a meaningful extension of the Total Rank Conjecture over non Cohen-Macaulay rings and prove that this conjecture holds for any ring containing a field (independent of characteristic).
It is proved that Ulrich modules exist for a large class of local rings of dimension two. This complements earlier work of the authors and Ziquan Zhuang that described complete intersection domains of dimension two that admit no Ulrich modules. As an application, it is proved that, for this class of rings, the length of a nonzero module of finite projective dimension is at least the multiplicity of the local ring.
Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulrich modules. Some of these examples are Gorenstein normal domains; others are even complete intersection domains, though not normal.
We prove that the d & eacute;vissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded derived category and singularity category of a local complete intersection are isomorphisms, proving new cases of the lattice conjecture in noncommutative Hodge theory.
We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by Dyckerhoff, Efimov, Polishchuk, and Positselski concerning the Hochschild homology of matrix factorizations. A key ingredient in the proof is a theorem due to B. Briggs, which represents a "curved version" of a celebrated theorem of Hopkins and Neeman. The proof of Briggs' Theorem is included in an appendix to this paper.
This paper extends the results of Boij, Eisenbud, Erman, Schreyer and Söderberg on the structure of Betti cones of finitely generated graded modules and finite free complexes over polynomial rings, to all finitely generated graded rings admitting linear Noether normalizations. The key new input is the existence of lim Ulrich sequences of graded modules over such rings.
We prove that equivariant matrix factorization categories associated to henselian local hypersurface rings are idempotent complete, generalizing a result of Dyckerhoff in the non-equivariant case.
We prove that the d\'evissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded derived category and singularity category of a local complete intersection are isomorphisms, proving new cases of the Lattice Conjecture in noncommutative Hodge theory.
We prove a conjecture of Shklyarov concerning the relationship between K. Saito's higher residue pairing and a certain pairing on the periodic cyclic homology of matrix factorization categories. Along the way, we give new proofs of a result of Shklyarov and Polishchuk-Vaintrob's Hirzebruch-Riemann-Roch formula for matrix factorizations.
This work concerns finite free complexes with finite length homology over a commutative noetherian local ring R. The focus is on complexes that have length dimR, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when R is a strict complete intersection, and also on the Dutta multiplicity, when R is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. The key idea in the proof is the construction of a suitable Ulrich module, or, in the latter case, a sequence of modules that have the Ulrich property asymptotically, and with good convergence properties in the rational Grothendieck group of R. Such a sequence is obtained by constructing an appropriate sequence of sheaves on the associated projective variety.
This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster’s “homological conjectures”, most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new proofs of some of the homological conjectures, and also of certain results in birational geometry.
The classical Adams operations are defined on the Grothendieck group of algebraic vector bundles on a scheme, and are related to Grothendieck's Riemann-Roch Theorem. In these notes, I review the theory of Adams operations for Grothendieck groups with supports, following the work of Gillet and Soule, and give two applications in local algebra: A proof of the Serre Vanishing Conjecture for arbitrary regular local rings (due to Gillet and Soule) and a proof of the Total Rank Conjecture for many local rings.
We prove the non-commutative analogue of Grothendieck's Standard Conjecture D for the dg-category of matrix factorizations of an isolated hypersurface singularity in characteristic 0. Along the way, we show the Euler pairing for such dg-categories of matrix factorizations is positive semi-definite.
Let $k$ be a field of characteristic 0 and $\mathcal{A}$ a curved $k$-algebra. We obtain a Chern-Weil-type formula for the Chern character of a perfect $\mathcal{A}$-module taking values in $HN_0^{II}(\mathcal{A})$, the negative cyclic homology of the second kind associated to $\mathcal{A}$, when $\mathcal{A}$ satisfies a certain smoothness condition.
We show that if X is a toric scheme over a regular commutative ring k then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for regular commutative rings containing a field. The affine case of our result was conjectured by Gubeladze. We prove analogous results when k is replaced by an appropriate K-regular, not necessarily commutative k-algebra.
This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying free modules, or the total length of their homology, is less than predicted by various conjectures in the theory of transformation groups and in local algebra.
Let Q be a commutative, Noetherian ring and Z subset of Spec(Q) a closed subset. Define K-0(Z)(Q) to be the Grothendieck group of those bounded complexes of finitely generated projective Q-modules that have homology supported on Z. We develop "cyclic" Adams operations on K-0(Z) (Q) and we prove these operations satisfy the four axioms used by Gillet and Soule in [9]. From this we recover a shorter proof of Serre's Vanishing Conjecture. We also show our cyclic Adams operations agree with the Adams operations defined by Gillet and Soule in certain cases. Our definition of the cyclic Adams operators is inspired by a formula due to Atiyah [1]. They have also been introduced and studied before by Haution [10]. (C) 2016 Elsevier B.V. All rights reserved.
Hochster's theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the complex numbers, Buchweitz and van Straten have established an interesting connection between Hochster's theta invariant and the classical linking form on the link of the singularity. In particular, they establish the vanishing of the theta invariant if the hypersurface is even-dimensional by exploiting the fact that the (reduced) cohomology of the Milnor fiber is concentrated in odd degrees in this situation. In this paper, we give purely algebraic versions of some of these results. In particular, we establish the vanishing of the theta invariant for isolated hypersurface singularities of odd dimension in characteristic p > 0, under some mild extra assumptions. This confirms, in a large number of cases, a conjecture of Hailong Dao.