An official website of the United States government
Abstract 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 divisorial filtration. Divisorial filtrations are often not Noetherian, giving a significant difference in the classical case of filtrations of powers of ideals and divisorial filtrations.
more »
« less
This content will become publicly available on August 3, 2026
Rees algebras and the reduced fiber cone of divisorial filtrations on two dimensional normal local rings
Let I = {In} be a Q-divisorial filtration on a two dimensional normal excellent local ring (R, mR). Let R[I] = ⊕n≥0In be the Rees algebra of I and τ : ProjR[I]) → Spec(R) be the natural morphism. The reduced fiber cone of I is the R- algebra R[I]/ p mRR[I], and the reduced exceptional fiber of τ is Proj(R[I]/ p mRR[I]). In [7], we showed that in spite of the fact that R[I] is often not Noetherian, mRR[I] always has only finitely many minimal primes, so τ −1 (mR) has only finitely many ir- reducible components. In Theorem 1.2, we give an explicit description of the scheme structure of Proj(R[I]). As a corollary, we obtain in Theorem 1.3 a new proof of a theorem of F. Russo, showing that Proj(R[I]) is always Noetherian and that R[I] is Noetherian if and only if Proj(R[I]) is a proper R-scheme. In Corollary 1.4 to Theorem 1.2, we give an explicit description of the scheme structure of the reduced exceptional fiber Proj(R[I]/ p mRR[I]) of τ , in terms of the possible values 0, 1 or 2 of the analytic spread l(I) = dim R[I]/mRR[I]. In the case that l(I) = 0, τ −1 (mR) is the emptyset; this case can only occur if R[I] is not Noetherian. At the end of the introduction, we give a simple example of a graded filtration J of a two dimensional regular local ring R such that Proj(R[J ]) is not Noetherian. This filtration is necessarily not divisorial
more »
« less
- PAR ID:
- 10595960
- Publisher / Repository:
- Taylor and Francis
- Date Published:
- Journal Name:
- Communications in Algebra
- Edition / Version:
- 1
- Volume:
- 53
- Issue:
- 8
- ISSN:
- 0092-7872
- Page Range / eLocation ID:
- 3364 to 3387
- Subject(s) / Keyword(s):
- Commutative Algebra, Commutative Algebra
- Format(s):
- Medium: X Size: unknown Other: unknown
- Size(s):
- unknown
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Let be a submonoid of a free Abelian group of finite rank. We show that if is a field of prime characteristic such that the monoid ‐algebra is , then is a finitely generated ‐algebra, or equivalently, that is a finitely generated monoid. Split‐‐regular rings are possibly non‐Noetherian or non‐‐finite rings that satisfy the defining property of strongly ‐regular rings from the theories of tight closure and ‐singularities. Our finite generation result provides evidence in favor of the conjecture that rings in function fields over have to be Noetherian. The key tool is Diophantine approximation from convex geometry.more » « less
-
Abstract 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.more » « less
-
Abstract Let $$k$$ be a field, let $$H \subset G$$ be (possibly disconnected) reductive groups over $$k$$, and let $$\Gamma $$ be a finitely generated group. Vinberg and Martin have shown that the induced morphism $$\underline{\operatorname{Hom}}_{k\textrm{-gp}}(\Gamma , H)//H \to \underline{\operatorname{Hom}}_{k\textrm{-gp}}(\Gamma , G)//G$$ is finite. In this note, we generalize this result (with a significantly different proof) by replacing $$k$$ with an arbitrary locally Noetherian scheme, answering a question of Dat. Along the way, we use Bruhat–Tits theory to establish a few apparently new results about integral models of reductive groups over discrete valuation rings.more » « less
-
Abstract 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.more » « less
