Let (T,M) be a complete local domain containing the integers. Let p1 \subseteq p2 \subseteq ... \subseteq pn be a chain of nonmaximal prime ideals T such that T_pn is a regular local ring. We construct a chain of excellent local domains An \subseteq A1 such that for each i, the completion of Ai is T, the generic formal fiber of Ai is local with maximal ideal pi, and if I is a nonzero ideal of Ai then Ai/I is complete. Consequently, if in addition T is a UFD, then we can construct a chain of excellent local UFDs satisfying the same conditions.
We characterize which complete local (Noetherian) rings T containing the rationals are the completion of a countable excellent local ring S. We also discuss the possibilities for the map from the minimal prime ideals of T to the minimal prime ideals of S and we prove some characterization-style results.
Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof, a version of the linear Artin approximation theorem is proved.
Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a principal ideal in a locally excellent regular ring is a discrete subset of $\mathbb Q$, and 3. If $R$ is a quotient of a locally excellent regular ring of prime characteristic, then there is a uniform upper bound on the Hartshorne-Speiser-Lyubeznik numbers of the injective hulls of the residue fields of $R$. To do so, we develop the parallel theories of Ohm-…
In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of an excellent (resp. quasi-excellent) ring is excellent (resp. quasi-excellent).
In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is relevant to the theory of test elements in tight closure theory. One result of that work was that, if $R$ is local and the $R$-module structure on the injective envelope $E$ of the simple $R$-module can be extended to a structure as a torsion-free left module over the Frobenius skew polynomial ring, then $R$ is $F$-pure and has a tight closure test element. One…
This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big test element for $R$ is an element of $R^{\circ}$ which can be used in every tight closure membership test for every $R$-module, and not just the finitely generated ones. The main results of the paper are that, if $R$ is excellent and satisfies condition $(R_0)$, and $c \in R^{\circ}$ is such that $R_c$ is Gorenstein and weakly $F$-regular, then some power …
We find necessary and sufficient conditions for a complete local ring containing the rationals to be the completion of a countable excellent local (Noetherian) domain. Furthermore, we find necessary and sufficient conditions for a complete local ring to be the completion of a countable noncatenary local domain, as well as necessary and sufficient conditions for it to be the completion of a countable noncatenary local unique factorization domain.
The purpose of this note is to verify that several basic rings appearing in transchromatic homotopy theory are Noetherian excellent normal domains and thus amenable to standard techniques from commutative algebra. In particular, we show that the coefficients of iterated localizations of Morava $E$-theory at the Morava $K$-theories are normal domains and also that the coefficients in the transchromatic character map for a fixed group form a normal domain.
Let $I$ be an ideal generated by a system of parameters in an excellent Cohen-Macaulay local domain. We show that the associated graded ring $G^*(I)$ of the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ is Cohen-Macaulay. We prove that if $R$ is an excellent Buchsbaum local domain then $G^*(I)$ is a Buchsbaum module over the Rees ring $\mathcal R^*(I)=\oplus_{n\in \mathbb{N}}(I^n)^*.$ We provide quick proofs of well-known results of I. Aberbach, Huneke-Itoh and Huneke-Hochster about the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ in excellent local domains. An important tool used in the proofs is a …
Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper asserts that the depth of the localization of M/I^n M at any prime ideal of R is stable for large integers n that do not depend on the prime ideal, if the module M or M/I^n M is Cohen-Macaulay for some n>0, or the ring R is one of the following: a homomorphic image of a Cohen-Macaulay ring, a semi-local ring, an excellent ring, a quasi-excellent and catenary…
We prove (the excellent case of) Schreyer's conjecture that a local ring with countable Cohen--Macaulay type has at most a one-dimensional singular locus. Furthermore we prove that the localization of a Cohen-Macaulay local ring of countable CM type is again of countable CM type.
G. Rond has proved a Diophantine type inequality for the field of quotients of the convergent or formal power series ring in multivariables. We generalize his theorem to the field of the quotients of an excellent Henselian local domain in equicharacteristic case.
In this article, applying the quasi-Gorenstein analogous of the Ulrich's deformation of certain Gorenstein rings we show that some homological conjectures, including the Monomial Conjecture, Big Cohen-Macaulay Algebra Conjecture as well as the Small Cohen-Macaulay Conjecture reduce to the excellent unique factorization domains. Some other reductions of the Monomial Conjecture are also proved. We, moreover, show that certain almost complete intersections adhere the Monomial Conjecture.
Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$. Furthermore, we show $R$ is excellent if and only if it admits some non-zero $p^{-e}$-linear map for $R$ or equivalently, that $R$ is a solid $R$-algebra under Frobenius. In particular, this means that Frobenius split Noetherian domains that are generically $F$-finite are always excellent. We also show that non-excellent rings are abundant and easy to constru…
Let $(R, \mathfrak{m}, k)$ be an excellent equidimensional local ring of characteristic $p>0$. The aim of this paper is to show that $\ell_R(\mathfrak{q}^*/\mathfrak{q})$ does not depend on the choice of parameter ideal $\mathfrak{q}$ provided $R$ is an $F$-injective local ring that is $F$-rational on the punctured spectrum.
In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a defectless extension of two dimensional excellent local rings. We also obtain general results on the structure of the extension of associated graded rings along a valuation, and show that the invariants alpha and beta of stable forms of two dimensional extensions in characteristic p of the author and Olivier Piltant are not eventually constant.
Let (R,m) -> (S,n) be a flat local homomorphism of excellent local rings. We investigate the conditions under which the weak or strong F-regularity of R passes to S. We show that is suffices that the closed fiber S/mS be Gorenstein and either F-finite (if R and S have a common test element), or F-rational (otherwise).
Let (R,m,k) be an excellent, local, normal ring of characteristic p with a perfect residue field and dim R=d. Let M be a finitely generated R-module. We show that there exists a real number beta(M) such that lambda(M/I^[q]M) = e_{HK}(M) q^d + beta(M) q^{d-1} + O(q^{d-2}).
An $R$-algebra $S$ is $R$-solid if there exists a nonzero $R$-linear map $S \rightarrow R$. In characteristic $p$, the study of $F$-singularities such as Frobenius splittings implicitly rely on the $R$-solidity of $R^{1/p}$. Following recent results of the first two authors on the Frobenius non-splitting of certain excellent $F$-pure rings, in this paper we use the notion of solidity to systematically study the notion of excellence, with an emphasis on $F$-singularities. We show that for rings $R$ essentially of finite type over complete local rings of characteristic $p$, reducedness implies t…
In this paper, we prove Faltings' annihilator theorem for complexes over a CM-excellent ring. As an application, we give a complete classification of the t-structures of the bounded derived category of finitely generated modules over a CM-excellent ring of finite Krull dimension.
Let $(A,\mathfrak{m})$ be an excellent Henselian Cohen-Macaulay local ring of finite representation type. If the AR-quiver of $A$ is known then by a result of Auslander and Reiten one can explicity compute $G(A)$ the Grothendieck group of finitely generated $A$-modules. If the AR-quiver is not known then in this paper we give estimates of $G(A)_\mathbb{Q} = G(A)\otimes_\mathbb{Z} \mathbb{Q}$ when $k = A/\mathfrak{m}$ is perfect. As an application we prove that if $A$ is an excellent equi-characteristic Henselian Gornstein local ring of positive even dimension with $\text{char} \ A/\mathfrak{m}…
Let $R$ be an excellent regular ring of dimension $d$ containing a field $K$ of characteristic zero. Let $I$ be an ideal in $R$. We show that $Ass \ H^{d-1}_I(R)$ is a finite set. As an application we show that if $I$ is an ideal of height $g$ with $height \ Q = g$ for all minimal primes of $I$ then for all but finitely many primes $P \supseteq I$ with $height \ P \geq g +2$, the topological space $Spec^\circ(R_P/IR_P)$ is connected.
In this paper, we show that for an $F$-pure local ring $(R,\m)$, all local cohomology modules $H_{\m}^i(R)$ have finitely many Frobenius compatible submodules. This answers positively an open question raised by F.Enescu and M.Hochster. We also prove that if $(R,\m)$ is excellent and is $F$-pure on the punctured spectrum, then all local cohomology modules have finite length in the category of $R$-modules with Frobenius action. Finally, we show that the property that all $H_{\m}^(R)$ have finitely many Frobenius compatible submodules passes to localizations.
We find necessary and sufficient conditions for a complete local (Noetherian) ring to be the completion of an uncountable local (Noetherian) domain with a countable spectrum. Our results suggest that uncountable local domains with countable spectra are more common than previously thought. We also characterize completions of uncountable excellent local domains with countable spectra assuming the completion contains the rationals, completions of uncountable local unique factorization domains with countable spectra, completions of uncountable noncatenary local domains with countable spectra, and …
A few years ago, Huneke and Leuschke proved a theorem which solved a conjecture of Schreyer. It asserts that an excellent Cohen-Macaulay local ring of countable Cohen-Macaulay type which is complete or has uncountable residue field has at most a one-dimensional singular locus. In this paper, it is verified that the assumption of the excellent property can be removed, and the theorem is considered over an arbitrary local ring. The main purpose of this paper is to prove that the existence of a certain prime ideal and a certain totally reflexive module implies the existence of an uncountably infi…
Let $T$ be a complete equicharacteristic local (Noetherian) UFD of dimension $3$ or greater. Assuming that $|T| = |T/m|$, where $m$ is the maximal ideal of $T$, we construct a local UFD $A$ whose completion is $T$ and whose formal fibers at height one prime ideals have prescribed dimension between zero and the dimension of the generic formal fiber. If, in addition, $T$ is regular and has characteristic zero, we can construct $A$ to be excellent.
TIMAS, Thang Long University（长龙大学）；Institute of Mathematics, Vietnam Academy of Science and Technology（越南科学技术研究院数学研究所）；Department of Mathematics, FPT University（FPT大学数学系）
Let $(R,\frak m)$ be an excellent generalized Cohen-Macaulay local ring of dimension $d$ that is $F$-injective on the punctured spectrum. Let $\frak q$ be a standard parameter ideal of $R$. The aim of the paper is to prove that $$\ell_R({\frak q}^F/{\frak q})\leq \sum\limits_{i=0}^{d}\binom{d}{i}\ell_R(0^F_{H^i_{\frak m}(R)}).$$ Moreover, if $\frak q$ is contained in a large enough power of $\frak m$, we have $${\frak q}^F/{\frak q} \cong \bigoplus_{i=0}^d (0^F_{H^i_{\frak m}(R)})^{\binom{d}{i}}.$$
Let $(R,\m,k)$ be a local (Noetherian) ring of positive prime characteristic $p$ and dimension $d$. Let $G_\dt$ be a minimal resolution of the residue field $k$, and for each $i\ge 0$, let $\gothic t_i(R) = \lim_{e\to \8} {\length(H_i(F^e(G_\dt)))}/{p^{ed}}$. We show that if $\gothic t_i(R) = 0$ for some $i>0$, then $R$ is a regular local ring. Using the same method, we are also able to show that if $R$ is an excellent local domain and $\Tor_i^R(k,R^+) = 0$ for some $i>0$, then $R$ is regular (where $R^+$ is the absolute integral closure of $R$). Both of the two results were previously known o…
In this paper we consider the question of when the associated graded ring along a valuation, ${\rm gr}_{ν^*}(S)$, is a finite ${\rm gr}_{ν^*}(R)$-module, where $S$ is a normal local ring which lies over a normal local ring $R$ and $ν^*$ is a valuation of the quotient field of $S$ which dominates $S$. We obtain a very general result in equicharacteristic zero in Theorem 1.5. We also obtain general results for unramified extensions of excellent local rings in Proposition 1.7.
We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of the ring, analogously to the classical case of the mixed multiplicities of $m$-primary ideals in a local ring. We prove that the Minkowski inequalities hold for arbitrary filtrations. The characterizat…
This paper is concerned with the tight closure of an ideal in a commutative Noetherian local ring $R$ of prime characteristic $p$. Several authors, including R. Fedder, K.-i. Watanabe, K. E. Smith, N. Hara and F. Enescu, have used the natural Frobenius action on the top local cohomology module of such an $R$ to good effect in the study of tight closure, and this paper uses that device. The main part of the paper develops a theory of what are here called 'special annihilator submodules' of a left module over the Frobenius skew polynomial ring associated to $R$; this theory is then applied in th…
In this paper, we study the properties of noetherian rings with uniform annihilators. It turns out that all these rings should be universally catenary and locally equidimensional. We will give a necessary and sufficient condition for these rings, which enable us to prove that if a ring R is the image of a Cohen-Macaulay ring of finite dimension, then R has a uniform annihilator of local cohomology. Moreover, we will give a positive answer to the conjecture [Hu, Conjecture 2.13] about the excellent rings with dimension no more than 5.
Let (R,m,k) be a local Cohen-Macaulay (CM) ring of dimension one. It is known that R has finite CM type if and only if R is reduced and has bounded CM type. Here we study the one-dimensional rings of bounded but infinite CM type. We will classify these rings up to analytic isomorphism (under the additional hypothesis that the ring contains an infinite field). In the first section we deal with the complete case, and in the second we show that bounded CM type ascends to and descends from the completion. In the third section we study ascent and descent in higher dimensions and prove a Brauer-Thra…
Using perfectoid algebras, we introduce a mixed characteristic analog of the multiplier ideal, respectively test ideal, from characteristic zero, respectively $p > 0$, in the case of a regular ambient ring. We prove several properties about this ideal such as subadditivity. We then use these techniques to derive a uniform bound on the growth of symbolic powers of radical ideals in all excellent regular rings. The analogous result was shown in equal characteristic by Ein-Lazarsfeld-Smith and Hochster-Huneke.
We give a new proof of the simultaneous embedded local uniformization Theorem in zero characteristic for essentially of finite type rings and for quasi excellent rings. The results are a consequence of the simultaneaous monomialization presented here. The methods develop the key elements theory that is a more subtle notion than the notion of key polynomials.
For two ideals $I$ and $J$ of a noetherian ring, we characterize, in terms of the vanishing of Tor modules, when the associated graded ring of the sum $I+J$ is isomorphic to the tensor product of the associated graded ring of $I$ and the associated graded ring of $J$. It is shown that the relation type of the tensor product of two standard algebras is bounded above by the maximum of the relation type of each algebra. As a consequence, we deduce a uniform bound for the relation type of maximal ideals of an excellent ring and a classical result of Duncan and O'Carroll on the strong uniform Artin…
In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on $R$ has a Hilbert function which is the sum of a linear polynomial and a bounded function. We prove these theorems by first studying asymptotic properties of divisors on a resolution of singularities of the spectrum of $R$. The filtration of the symbolic powers of an ideal is an example of a di…
Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke (1992) states that if R is excellent, then the absolute integral closure of R is a big Cohen-Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. There results an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the case…
The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of positive characteristic that is an image of a Cohen-Macaulay local ring. We prove that all local cohomology of $R$ (below the dimension) maps to zero in a finite extension of the ring. As a direct consequence we obtain that the absolute integral closure of $R$ is a big Cohen-Macaulay algebra. Since every excellent local ring is an image of a Cohen-Macaulay local …
Let $A=\oplus_{i\in \nn}A_i$ be an excellent homogeneous Noetherian graded ring and let $M=\oplus_{n\in \zz}M_n$ be a finitely generated graded $A$-module. We consider $M$ as a module over $A_0$ and show that the $(S_k)$-loci of $M$ are open in $\Spec(A_0)$. In particular, the Cohen-Macaulay locus $U^0_{CM}=\{\p\in \Spec(A_0) \mid M_\p {is Cohen-Macaulay}\}$ is an open subset of $\Spec(A_0)$. We also show that the $(S_k)$-loci on the homogeneous parts $M_n$ of $M$ are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module $M$ over an excellent ring $…
In this paper we consider birational properties of ramification in excellent local rings. We give an example showing that local monomialization (and weak local monomialization) can fail for extensions of algebraic local rings in algebraic function fields of dimension greater than or equal to two along a valuation over a field of positive characteristic. It was earlier proven by the author that local monomialization holds within characteristic zero algebraic function fields.
