In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional ${\Bbb Q}$-vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendieck's standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen-Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert-Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters.
Two left noetherian rings $R$ and $S$ are said to be {\it singularly equivalent} if their singularity categories are equivalent as triangulated categories. The aim of this paper is to give a necessary condition for two commutative noetherian rings to be singularly equivalent. To do this, we develop the support theory for triangulated categories without tensor structure.
Let I be a nonzero proper ideal in a Noetherian integral domain R. In this paper we establish the existence of a finite separable integral extension domain A of R and a positive integer m such that all the Rees integers of IA are equal to m. Moreover, if R has altitude one, then all the Rees integers of J = Rad(IA) are equal to one and the ideals J^m and IA have the same integral closure. Thus Rad(IA) = J is a projectively full radical ideal that is projectively equivalent to IA. In particular, if R is Dedekind, then there exists a Dedekind domain A having the following properties: (i) A is a …
We discuss projective equivalence of ideals in Noetherian rings and the existence or failure of existence of projectively full ideals. We describe connections with the Rees valuations and Rees integers of an ideal, and consider the question of whether improvements can be made by passing to an integral extension ring.
For a commutative noetherian ring R, we investigate relations between tilting and cotilting modules in Mod-R and Mod-R_m where m runs over the maximal spectrum of R. For each finite n, we construct a 1-1 correspondence between (equivalence classes of) n-cotilting R-modules C and (equivalence classes of) compatible families F of n-cotilting R_m-modules (m \in mSpec R). It is induced by the assignment C |-> (C^m ; m \in mSpec R) where C^m is the colocalization of C at m, and its inverse F |-> \prod_{M \in F} M. We construct a similar correspondence for n-tilting modules using compatible families…
A well known theorem of Shuzo Izumi, strengthened by David Rees, asserts that all the divisorial valuations centered in an analytically irreducible local noetherian ring are linearly comparable to each other. In the present paper we generalize this theorem to the case of Abhyankar valuations with archimedian value semigroup. Indeed, we prove that in a certain sense linear equivalence of topologies characterizes Abhyankar valuations with archimedian semigroups, centered in analytically irreducible local noetherian rings. Then we show that some of the classical results on equivalence of topologi…
Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees.
The aim of this paper is to define the notion of the Cohen-Macaulay cone of a Noetherian local domain R and to present its application to the theory of Hilbert-Kunz functions. It has been shown in Kurano's paper "Numerical equivalence defined on Chow groups of Noetherian local rings", Invent. Math. (2004), that, with a mild condition on R, the numerical Grothendieck group is a finitely generated torsion-free abelian group. The Cohen-Macaulay cone of R is a cone in the numerical Grothendieck group spanned by cycles represented by maximal Cohen-Macaulay modules. We study basic properties on the …
We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$. Using our methods, we also reduce the general Gersten conjecture for regular, unramified local rings to the case of a discrete valuation ring which is essentially smooth over $\mathbb{Z}$. We apply our results to the the theory of algebraic cycles --- globally to obtain relative versions of Bloch's Formula and locally to address the Claborn-Fossum Conjectur…
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for comple…
We extend the definition of a semidualizing module to associative rings. This enables us to define and study Auslander and Bass classes with respect to a semidualizing bimodule C. We then study the classes of C-flats, C-projectives, and C-injectives, and use them to provide a characterization of the modules in the Auslander and Bass classes. We extend Foxby equivalence to this new setting. This paper contains a few results which are new in the commutative, noetherian setting.
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 alge…
Let $(R, \mathfrak{m})$ be a Noetherian local ring. In this paper, we introduce a dual notion for dualizing modules, namely codualizing modules. We study the basic properties of codualizing modules and use them to establish an equivalence between the category of noetherian modules of finite projective dimension and the category of artinian modules of finite projective dimension. Next, we give some applications of codualizing modules. Finally, we present a mixed identity involving quasidualizing module that characterize the codualizing module. As an application, we obtain a necessary and suffic…
Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first establish weak proregularity of certain ideals in flat base changes of noetherian rings. Next, we develop a theory of DG-affine formal schemes, extending the Greenlees-May duality and the MGM equivalence to this setting. Finally, we define complete and torsion derived Hochschild homology and cohomology functors in this setting, and show that if $\k$ is noetherian …
Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over $R$, denoted $\KPC$, is always well generated and is compactly generated provided $\KPR$ is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever $R$ is a commutative noetherian ring of finite Krull dimension…
We classify all compactly generated t-structures in the unbounded derived category of an arbitrary commutative ring, generalizing the result of [ATLJS10] for noetherian rings. More specifically, we establish a bijective correspondence between the compactly generated t-structures and infinite filtrations of the Zariski spectrum by Thomason subsets. Moreover, we show that in the case of a commutative noetherian ring, any bounded below homotopically smashing t-structure is compactly generated. As a consequence, all cosilting complexes are classified up to equivalence.
Among reduced Noetherian prime characteristic commutative rings, we prove that a regular ring is precisely one where finite intersection of ideals commutes with taking bracket powers. However, reducedness is essential for this equivalence. Connections are made with Ohm-Rush content theory, intersection-flatness of the Frobenius map, and various flatness criteria.
The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the Matlis-duality functor provide an equivalence between the category of left modules over the Frobenius skew polynomial ring $R[x,f]$ that are Artinian as $R$-modules and the category of right $R[x,f]$-modules that are Noetherian as $R$-modules.
Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically \a-torsion complexes. We prove that the derived double centralizer of M is isomorphic to the \a-adic completion of A. The proof relies on the MGM equivalence from [PSY] and on derived Morita equivalence. Our result extends earlier work of Dwyer-Greenlees-Iyengar [DGI] and Efimov [Ef].
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M) contains the residue field of A as a direct summand. This result is an essential component in the proofs of the McKay correspondence in dimension 3 and of the statement that threefold flops induce equivalences of derived categories.
We look at how the equivalence of tight closure and plus closure (or Frobenius closure) in the homogeneous m-coprimary case implies the same closure equivalence in the non-homogeneous m-coprimary case in standard graded rings. Although our result does not depend upon dimension, the primary application is based on results known in dimension 2 due to the recent results of H. Brenner. We also show that unlike the Noetherian case, the injective hull of the residue field over $R^+$ or $R^\infty$ contains elements that are not killed by any power of the maximal ideal of R.
