---
title: Extended Symbolic Rees Ring
url: https://www.emergentmind.com/topics/extended-symbolic-rees-ring
type: topic
---

# Extended Symbolic Rees Ring

Searching arXiv for recent papers on extended symbolic Rees rings and related symbolic/extended Rees algebras.
An extended symbolic Rees ring is a Laurent-graded enlargement of the symbolic Rees algebra built from symbolic powers of an ideal. For an ideal \(I\) in a commutative Noetherian ring \(R\), one definition used in the literature is
\[
R_s(I)=\bigoplus_{n\geq 0} I^{(n)}x^n \subset R[x],
\qquad
I^{(n)}=\bigcap_{p\in \mathrm{Ass}(R/I)}(I^nR_p\cap R),
\]
together with the extended symbolic form
\[
R_s(I,x^{-1})=\bigoplus_{n\in \mathbb{Z}} I^{(n)}x^n \subset R[x,x^{-1}],
\qquad
I^{(n)}=R \text{ for } n\leq 0.
\]
Recent work also uses the notation \(R'_s(I)=R_s(I)[T^{-1}] \subset A[T^{\pm1}]\), and, in the study of classical varieties, an “extended” viewpoint based on recursively generated symbolic Rees algebras for families of ideals. These constructions package symbolic powers into a single graded object and connect blow-up algebras, Cox rings, projective modules, and asymptotic invariants of ideals [2301.05394][2508.04127][2402.18693].

## 1. Definitions and terminological conventions

The literature uses closely related but not identical conventions for the term “extended symbolic Rees ring.” In all cases, the construction records symbolic powers in graded form, but the ambient category and the indexing convention vary.

| Usage | Formula | Setting |
|---|---|---|
| Laurent symbolic extension | \(R_s(I,x^{-1})=\bigoplus_{n\in\mathbb Z} I^{(n)}x^n\) | Ideal \(I\subset R\), with \(I^{(n)}=R\) for \(n\le 0\) [2301.05394] |
| Inverted symbolic Rees ring | \(R'_s(I)=R_s(I)[T^{-1}]\subset A[T^{\pm1}]\) | Symbolic powers defined via minimal primes of \(I\) [2508.04127] |
| Family-based recursive form | \(R_s(a_t)=R[a_tT,a_{t+1}T^2,\ldots,a_mT^{m-t+1}]\) | Ordered families of ideals on classical varieties [2402.18693] |

For prime ideals, symbolic powers are often written as \(P^{(m)}=P^mA_P\cap A\). For non-prime ideals, one formulation in the cited literature defines \(I^{(n)}\) as the intersection of \(I^nA_{P_i}\cap A\) over the minimal primes \(P_i\) of \(I\) [1703.09121][2508.04127]. The family-based convention is structurally different: it does not merely adjoin negative degrees, but organizes an entire chain of related ideals into a recursively generated symbolic Rees algebra [2402.18693].

A plausible implication is that statements about “the” extended symbolic Rees ring must be read together with the convention fixed by the source, especially when comparing results on Noetherianity, Cox rings, or singularity invariants.

## 2. Algebraic structure and dimension

For a Noetherian domain \(R\) of dimension \(d\) and a nonzero ideal \(I\), the symbolic Rees algebra and its extended version have the same dimension jump as ordinary Rees algebras:
\[
\dim R_s(I)=d+1,\qquad \dim R_s(I,x^{-1})=d+1.
\]
These formulas appear as Lemma 2.7 and Lemma 2.8 in the study of projective modules over symbolic and extended symbolic Rees algebras [2301.05394]. Because symbolic Rees algebras can be non-Noetherian, that paper also introduces the valuation dimension \(\dim_v R\), defined as the supremum of the dimensions of valuation overrings of \(R\), to control dimension-theoretic arguments beyond the Noetherian setting [2301.05394].

In a different direction, the paper on symbolic powers of classical varieties gives explicit recursive generators for symbolic Rees algebras in the “main setting”:
\[
R_s(a_t)=R[a_tT,a_{t+1}T^2,\ldots,a_mT^{m-t+1}].
\]
For generic determinantal ideals, minors of generic symmetric matrices, generic extended Hankel matrices, and ideals of pfaffians of skew-symmetric matrices, the symbolic Rees algebra is Noetherian and generated by this recursive family; Bruns–Vetter and Jeffries–Montano–Varbaro are cited there for these finite-generation results [2402.18693].

The structural consequence of these formulas is twofold. First, in the non-Noetherian direction, the extended symbolic Rees ring remains amenable to dimension-theoretic and patching arguments. Second, in the finitely generated direction, the recursive presentation makes symbolic powers accessible to explicit computation of invariants such as least degrees, Waldschmidt constants, and resurgence [2402.18693].

## 3. Finite generation, non-Noetherian phenomena, and effective criteria

Finite generation of symbolic and extended symbolic Rees rings is highly sensitive to the underlying geometry. It is not guaranteed in general: the literature cited in work on classical varieties names Cowsik, Huneke, and Roberts as sources of counterexamples, and Roberts is explicitly referenced for non-finite generation of symbolic Rees algebras [2402.18693][2301.05394].

A sharp negative result is that for the polynomial ring over an arbitrary field with twelve variables, there exists a prime ideal whose symbolic Rees algebra is not finitely generated [1703.09121]. In that construction, finite generation of the symbolic Rees algebra is equivalent to finite generation of a multisection ring and of the Cox ring of a blow-up, via Proposition 2.14 [1703.09121]. This ties non-Noetherianity directly to birational geometry.

For space monomial curves, Kurano and Nishida study the symbolic Rees ring \(\mathcal R_s(\mathfrak p)\) of the defining ideal \(\mathfrak p\) of \((t^a,t^b,t^c)\). Under characteristic \(0\), three-generator hypotheses, and the assumption that the minimal-degree homogeneous element in \(\mathfrak p\) defines a negative curve with \(C\cdot E=1\), they prove that \(\mathcal R_s(\mathfrak p)\) is Noetherian if and only if there exists a homogeneous element in \([\mathfrak p^{(u)}]_{ab}\) satisfying Huneke’s condition together with the negative-curve element \(z^u-x^{s_3}y^{t_3}\) [1705.09865]. They also introduce the combinatorial condition EU; for \(u\le 6\), it is necessary and sufficient for finite generation, and if EU fails while GK holds, the symbolic Rees ring is infinitely generated [1705.09865].

A more explicit criterion appears in the 2022 paper on weighted projective blow-ups. If there exists a negative curve \(C\) with \(C^2<0\) and \(C\cdot E=1\), then the symbolic Rees ring
\[
R_s(\mathfrak p)=P[\mathfrak p^{(1)}t,\mathfrak p^{(2)}t^2,\ldots]\subset P[t]
\]
is Noetherian if and only if the EMU condition holds for \((a,b,c)\) [2204.01889]. In that criterion, if \(l'_1\le \cdots \le l'_u\) is the sorted list of certain lattice-point counts attached to a triangle, then EMU requires
\[
l'_i\ge i \quad \text{for all } 1\le i\le u.
\]
The same paper states that \(R_s(\mathfrak p)\) is finitely generated over \(P\) if and only if \(\operatorname{Cox}(Y)\) is finitely generated, and that the Cox ring of \(Y\) is isomorphic to an extended symbolic Rees ring [2204.01889].

The existence of a negative curve is not, by itself, sufficient for finite generation. Kurano and Nishida provide an infinitely generated example in which the minimal-degree element in \(\mathfrak p^{(2)}\) is a negative curve, showing that the further orthogonality and Huneke-type conditions are essential [1705.09865].

Characteristic dependence can be equally sharp. For a toric surface \(X\) determined by a triangle and its blow-up \(Y\) at \((1,1)\), the Cox ring is identified with an extended symbolic Rees ring \(R'_s(I)\). In the explicit example
\[
I=I_2\!\left(
\begin{array}{ccc}
x^7 & y^2 & z \\
y^{11} & z & x^{10}
\end{array}
\right),
\]
the ideal \(I\) is not prime, \(C^2=0\), \(C\cdot E=1\), and \(R'_s(I)\) is Noetherian if and only if the characteristic of \(K\) is \(2\) or \(3\) [2508.04127].

## 4. Projective modules and Serre-type splitting

A major structural theorem for extended symbolic Rees algebras concerns projective modules. Let \(R\) be a commutative Noetherian domain of dimension \(d\), let \(I\) be an ideal, and let
\[
A=R_s(I)\quad \text{or}\quad A=R_s(I,x^{-1}).
\]
If \(P\) is a finitely generated projective \(A\)-module of rank \(\ge d+1\), then \(P\) has a unimodular element; equivalently, \(P\cong Q\oplus A\) for some \(Q\) [2301.05394]. Since \(\dim A=d+1\), this extends the familiar “rank \(>\) dimension” splitting phenomenon to symbolic and extended symbolic Rees algebras, even though these rings may be non-Noetherian [2301.05394].

The proof strategy is based on sheaf patching. The argument localizes at the multiplicative set of non-zero-divisors, reduces to polynomial or Laurent polynomial situations where unimodular elements are already known, and then glues local data through fiber-product constructions and surjective homomorphisms. Lemmas 3.1 and 3.2 identify localizations of symbolic Rees algebras with more classical rings, while Lemma 3.3 supplies the gluing step; Heitmann’s results are used in the dimension-theoretic and patching arguments [2301.05394].

The significance of this theorem is that no additional obstruction theory is needed in the high-rank range for symbolic and extended symbolic Rees algebras. In the setting covered there, projective modules of sufficiently large rank still split off a free summand, despite the possible failure of finite generation for the ring itself [2301.05394].

## 5. Singularity-theoretic and canonical-module methods around extended Rees constructions

Several recent papers study the ordinary extended Rees algebra
\[
T=R[\mathfrak a t,t^{-1}]=\bigoplus_{n\in\mathbb Z}\mathfrak a^n t^n,
\qquad \mathfrak a^n=R \text{ for } n\le 0,
\]
and then state consequences or extensions to symbolic and extended symbolic Rees settings.

For test modules in positive characteristic, the decomposition
\[
\tau(\omega_T,(t^{-1})^\lambda)
=
\bigoplus_{n\in\mathbb Z}\tau(\omega_R,\mathfrak a^{n+\lambda})t^n
\]
implies in particular that the degree-zero component is
\[
[\tau(\omega_T,(t^{-1})^\lambda)]_0=\tau(\omega_R,\mathfrak a^\lambda).
\]
The same paper states that this “principalization” reduces the computation of test modules for non-principal ideals to the principal case and gives explicit control over \(F\)-singularities in extended Rees algebras and, consequently, via the associated graded, for symbolic and extended symbolic Rees rings [2509.01693].

In characteristic \(0\), multiplier modules admit the analogous decomposition
\[
J(\omega_T,(t^{-1})^\lambda)
=
\bigoplus_{k\in\mathbb Z} J(\omega_R,\mathfrak a^{k+\lambda})t^k,
\]
with degree-zero piece \(J(\omega_R,\mathfrak a^\lambda)\). That work explicitly states that the same techniques and formulas apply, via analogous graded structures, to symbolic and extended symbolic Rees algebras [2510.22074]. Budur, Mustaţă, and Saito are cited there for earlier smooth-case results obtained via \(V\)-filtration theory [2510.22074].

A filtration-theoretic quasi-Gorenstein criterion also reaches symbolic powers. For a Hilbert filtration \(\mathcal F=\{F_n\}\), the extended Rees algebra
\[
R'(\mathcal F)=\bigoplus_{n\in\mathbb Z}F_n t^n
\]
is quasi-Gorenstein, under the paper’s depth and finiteness hypotheses, if and only if a specific length equality between local cohomology modules of \(R\) and the associated graded ring \(G(\mathcal F)\) holds. Symbolic powers, integral closures, and Ratliff–Rush closures are listed there as examples to which the theory applies when the associated Rees algebra is Noetherian [2502.02168].

These developments do not redefine the extended symbolic Rees ring, but they show that the homological toolkit for extended Rees algebras—test modules, multiplier modules, and quasi-Gorenstein criteria—has already been formulated in ways that transfer to symbolic filtrations or to analogous symbolic graded structures.

## 6. Geometric realizations, Cox rings, and asymptotic invariants

The extended symbolic Rees ring frequently appears as a Cox ring or multisection ring of a blow-up. For the defining ideal \(\mathfrak p\) of a space monomial curve, the symbolic Rees ring coincides with the Cox ring of the blow-up \(Y\) of the weighted projective surface \(\mathbb P(a,b,c)\) at a typical point [2204.01889]. For blow-ups of projective space along a smooth connected subvariety, the equivalence between finite generation of the symbolic Rees algebra, a multisection ring, and the Cox ring is made explicit in Proposition 2.14 [1703.09121]. For toric blow-ups at \((1,1)\), the Cox ring of \(Y\) is identified with \(R'_s(I)\), even when \(I\) is not prime; when \(\mathrm{Cl}(X)\) is torsion-free, \(I\) is the defining ideal of a space monomial curve [2508.04127].

This geometric interpretation explains why finite generation is often recast as a Mori dream space problem, and why negative curves, nef but non-semiample divisors, and divisor classes disjoint from exceptional curves govern the algebraic behavior of symbolic Rees rings [1703.09121][2204.01889][2508.04127].

In the Noetherian recursive setting of classical varieties, the symbolic Rees algebra provides explicit asymptotic data. The paper on symbolic powers of classical varieties computes, under its hypotheses,
\[
\widehat{\alpha}(a_t)=\frac{\alpha(a_1)+m-1}{m-t+1},
\qquad
\widehat{\rho}(a_t)=\frac{\alpha(a_t)}{\widehat{\alpha}(a_t)}=\frac{t(m-t+1)}{m},
\]
and shows stronger Chudnovsky- and Demailly-type bounds. The examples include generic determinantal ideals, minors of generic symmetric matrices, generic extended Hankel matrices, ideals of pfaffians, and also star configurations [2402.18693].

Taken together, these results place the extended symbolic Rees ring at a crossroads of symbolic power theory and birational geometry. It is simultaneously a receptacle for symbolic powers, a test object for finite generation, a Cox ring in many geometric realizations, and a graded algebra on which module-theoretic and singularity-theoretic techniques can still be deployed effectively, even when Noetherianity fails in general.

Source: https://www.emergentmind.com/topics/extended-symbolic-rees-ring