Irrelevant ideal - Ciallo Wiki

1 Definition and basic setup

1.1 Graded rings and homogeneous elements

A graded ring is a ring \(R=\bigoplus_{n\ge 0}R_n\) (or more generally \(\bigoplus_{n\in\mathbb Z}R_n\)) decomposed into additive subgroups indexed by integers, with the multiplication compatible with the grading: \(R_i\cdot R_j\subseteq R_{i+j}\). The elements belonging to a single component \(R_n\) are called homogeneous of degree \(n\).

In the commonly used projective-algebraic setting, one works with nonnegatively graded rings, often with \(R_0\) a base ring and \(R\) generated by homogeneous elements of positive degree. Homogeneous ideals are ideals generated by homogeneous elements; equivalently, an ideal \(I\) is homogeneous if \(I=\bigoplus_{n}(I\cap R_n)\).

1.2 The irrelevant ideal in standard cases

For a nonnegatively graded ring \(R=\bigoplus_{n\ge 0}R_n\), the irrelevant ideal is typically defined as the ideal generated by all homogeneous elements of strictly positive degree. In the standard form, \[ R_+ \;=\; \bigoplus_{n>0}R_n. \] This is an ideal of \(R\). In many treatments it is denoted simply by \(R_+\) and called the irrelevant ideal because it corresponds, geometrically, to the “part at infinity” that must be removed when passing from an affine picture to a projective one.

For the special case of a polynomial ring \(k[x_0,\dots,x_n]\) with its usual grading \(\deg(x_i)=1\), the irrelevant ideal is the ideal \((x_0,\dots,x_n)\).

1.3 Relation to positive-degree components

The construction \(R_+ = \bigoplus_{n>0}R_n\) can be viewed as collecting all elements that vanish when restricted to the degree-zero part in the sense relevant to projectivization. Since projective geometry is built from homogeneous data modulo scaling, degrees \(>0\) capture the directions created by the grading; the irrelevant ideal aggregates those positive-degree directions into a single ideal whose presence obstructs the correspondence with projective points.

2 Properties of the irrelevant ideal

2.1 Radicality and primary decomposition (graded context)

In general, \(R_+\) need not be radical, but in many classical situations it is radical or becomes radical after mild hypotheses on the grading. When \(R\) is generated in degree \(1\) by finitely many elements over \(R_0\), one often has a strong relationship between the geometric “irrelevant” locus and the radical of \(R_+\).

In a graded context, one may consider the graded primary decomposition of homogeneous ideals. The behavior of the irrelevant ideal under such decompositions is useful: components contained in \(R_+\) typically correspond to subschemes that lie entirely in the excluded “at infinity” region when forming \(\mathrm{Proj}\).

2.2 Saturation and the role of degrees

Saturation is the central operation in which the irrelevant ideal appears. For a homogeneous ideal \(I\subseteq R\), its saturation with respect to \(R_+\) is often defined as \[ I^{\mathrm{sat}} \;=\; \{\, f\in R \mid \exists m\ge 0 \text{ such that } (R_+)^m f \subseteq I \,\}. \] Intuitively, saturation removes elements that become negligible after multiplying by sufficiently high powers of positive-degree elements. This matches the geometric idea that embedded components supported in the irrelevant locus should be discarded.

2.3 Behavior under graded ring homomorphisms

Given a graded ring homomorphism \(R\to S\) that preserves degrees, positive-degree elements map to positive-degree elements (under mild compatibility assumptions). Consequently, the image of the irrelevant ideal of \(R\) is contained in the irrelevant ideal of \(S\) in typical settings: \[ \varphi(R_+) \subseteq S_+. \] In practice, one tracks how this containment affects the saturation of ideals and the induced subschemes when passing between projective constructions associated to different graded rings.

2.4 Minimal primes and containment relations

The inclusion \(R_+\subseteq \sqrt{R_+}\) is always true, and prime ideals containing \(R_+\) behave differently from those that do not. For a homogeneous prime \(\mathfrak p\), whether \(\mathfrak p\) contains \(R_+\) determines whether \(\mathfrak p\) corresponds to a point of \(\mathrm{Proj}(R)\). In many standard examples, the primes containing \(R_+\) are precisely the ones lying over the “vertex” of the associated cone, while primes not containing \(R_+\) correspond to genuine projective points.

3 The irrelevant ideal in Proj constructions

3.1 From Spec to Proj: homogeneous prime ideals

The construction \(\mathrm{Proj}(R)\) for a graded ring \(R\) is obtained by modifying the affine spectrum \(\mathrm{Spec}(R)\). One considers homogeneous prime ideals of \(R\), but keeps only those satisfying a noncontainment condition relative to \(R_+\). This is where the irrelevant ideal enters the definition.

3.2 Excluding primes containing the irrelevant ideal

A fundamental rule in the definition is: \[ \mathrm{Proj}(R) \;\text{corresponds to homogeneous primes }\mathfrak p\text{ with } \mathfrak p \not\supseteq R_+. \] So the irrelevant ideal acts as a filter removing homogeneous primes that “see only positive-degree directions.” Geometrically, those primes correspond to points that do not appear in the projective scheme, akin to excluding the cone’s vertex when moving from an affine cone to its projectivization.

3.3 Correspondence between primes and points

With the exclusion rule in place, homogeneous primes not containing \(R_+\) correspond to the points of the projective scheme. This ensures that the local structure around such primes behaves like ordinary affine charts arising from localization at homogeneous elements.

The resulting topological space has a natural structure compatible with the grading, leading to an intrinsic projective geometry independent of the chosen presentation of \(R\) (up to the usual equivalences of graded rings).

3.4 Localization at homogeneous elements and charts

To build local charts, one localizes at a homogeneous element \(f\in R\) of positive degree. On the basic open set \(D_+(f)\), the irrelevant ideal does not dominate the localization: \(f\) becomes invertible, and the local sections are expressed using degree-zero parts of localized rings. Concretely, one uses that elements of degree \(0\) in \(R_f\) (appropriately regraded) form the coordinate ring of the chart. The exclusion of primes containing \(R_+\) ensures that these charts cover \(\mathrm{Proj}(R)\).

4 Irrelevant ideal and homogeneous coordinate rings

4.1 Ideals in polynomial rings with grading

Projective varieties and subschemes are often described using homogeneous coordinate rings. In the polynomial ring \(k[x_0,\dots,x_n]\) graded by total degree, an ideal \(I\) defines a closed subscheme in projective space only through its homogeneous component structure. The irrelevant ideal \((x_0,\dots,x_n)\) marks the locus excluded from the projective space representation.

4.2 Projective closures via graded ideals

Given a homogeneous ideal \(I\), one can form an associated projective subscheme using \(\mathrm{Proj}(R/I)\). However, not every homogeneous ideal behaves well as-is: embedded components supported inside the irrelevant locus may appear. The scheme associated to \(I\) is controlled by the saturation of \(I\) with respect to \(R_+\), which removes such artifacts.

4.3 Saturation of homogeneous ideals

The passage from \(I\) to \(I^{\mathrm{sat}}\) is the mechanism by which the irrelevant ideal becomes geometrically meaningful. Two homogeneous ideals that have the same saturation define the same closed subscheme of \(\mathrm{Proj}(R)\). Thus, saturation provides an equivalence relation on homogeneous ideals compatible with the geometry.

4.4 Computing schemes from saturated data

In computational practice, one often:

starts with a homogeneous ideal \(I\) in a graded ring;
computes \(I^{\mathrm{sat}}\) (often using algorithms involving colon ideals or Gröbner bases);
uses \(I^{\mathrm{sat}}\) to describe the intended projective subscheme.

This workflow reflects that the projective scheme depends on the behavior away from the irrelevant locus, which saturation enforces algebraically.

5 Cohomological and geometric perspectives

5.1 Connection to twisted sheaves high-level

In sheaf-theoretic formulations, the irrelevant ideal influences the relationship between graded modules over \(R\) and coherent sheaves on \(\mathrm{Proj}(R)\). Twisting by \(\mathcal{O}_{\mathrm{Proj}(R)}(m)\) reflects shifting degrees in graded modules, and the presence of \(R_+\)-torsion is measured through local cohomology.

5.2 Vanishing theorems and the irrelevant ideal

Many vanishing results in projective geometry are expressed in terms of global sections of twists and cohomology groups. The irrelevant ideal contributes to these statements via its role in defining local cohomology and in controlling what part of a graded module is supported at the excluded locus.

At a high level, modules with no relevant \(R_+\)-supported torsion behave like “geometric” data, while torsion supported on \(R_+\) corresponds to non-geometric artifacts that vanish after appropriate operations (such as sheafification and saturation).

5.3 Local cohomology viewpoint overview

Local cohomology with support in \(R_+\) formalizes the idea that \(R_+\) measures the failure of a graded module to be visible on \(\mathrm{Proj}(R)\). In this framework, the \(R_+\)-torsion submodule and higher local cohomology groups determine the discrepancy between graded algebra and the geometry of associated sheaves.

6 Examples and computations

6.1 Irrelevant ideal in \(k[x_0,\dots,x_n]\)

Let \(R=k[x_0,\dots,x_n]\) with \(\deg(x_i)=1\). Then \[ R_+ = (x_0,\dots,x_n). \] This ideal is generated by all degree-one elements, hence by all positive-degree elements. When forming \(\mathrm{Proj}(R)\), primes containing \((x_0,\dots,x_n)\) are excluded; the remaining homogeneous primes correspond to points of projective space \(\mathbb P^n_k\).

6.2 Irrelevant ideal in weighted graded rings

For a weighted polynomial ring \(R=k[x_0,\dots,x_n]\) with \(\deg(x_i)=w_i>0\), the grading is by weighted degree. The irrelevant ideal is again the ideal generated by all homogeneous elements of positive weighted degree. Concretely, it is generated by the variables themselves: \[ R_+ = (x_0,\dots,x_n), \] since each \(x_i\) already has positive degree. The projective scheme \(\mathrm{Proj}(R)\) then corresponds to a weighted projective space, with the same exclusion principle governed by \(R_+\).

6.3 Example of saturation changing an ideal

Suppose \(R=k[x_0,x_1,x_2]\) with its standard grading, and consider a homogeneous ideal \(I\) that includes some components supported at the irrelevant locus. Saturation removes those components. For instance, in many elementary examples one finds that an ideal may be enlarged or modified by taking quotients by elements that vanish “only at infinity,” leading to \(I^{\mathrm{sat}}\neq I\). The key point is that \(\mathrm{Proj}(R/I)\) depends on \(I^{\mathrm{sat}}\), not on \(I\) itself.

As a typical effect, a primary component contained in \(\sqrt{R_+}\) becomes irrelevant for the associated projective subscheme, so saturation deletes it.

6.4 Simple Proj examples illustrating the exclusion rule

Consider \(R=k[x_0,x_1]\). Homogeneous prime ideals are generated by homogeneous irreducible polynomials (together with the irrelevant ideal itself). The irrelevant ideal \(R_+=(x_0,x_1)\) is excluded, so the corresponding prime does not appear as a point in \(\mathrm{Proj}(R)\). As a result, \(\mathrm{Proj}(k[x_0,x_1])\) yields \(\mathbb P^1\), not an affine cone with an extra vertex point. Similar behavior holds in higher dimensions: excluding primes containing \(R_+\) removes the cone vertex and produces the expected projective space.

7.1 Irrelevant ideal vs. irrelevant module notions

Besides the ideal \(R_+\), one often encounters the concept of an irrelevant module part, namely submodules supported on the irrelevant locus in a graded module. A graded \(R\)-module \(M\) may have \(R_+\)-torsion; such elements are invisible from the perspective of \(\mathrm{Proj}\) after sheafification. This motivates terminology paralleling the irrelevant ideal: the “irrelevant” contribution of a module is the portion supported at the excluded region.

7.2 Saturated vs. non-saturated ideals

A saturated homogeneous ideal is one that equals its saturation with respect to \(R_+\): \(I=I^{\mathrm{sat}}\). Non-saturated ideals define the same projective subscheme as their saturation, but the unsaturated ideal may include extra embedded components supported in the irrelevant locus. This distinction is widely used in computations and in theoretical statements about Hilbert polynomials and geometric invariants.

7.3 Alternative conventions indexing and grading shifts

Different texts may index gradings differently (for example, allowing negative degrees or using \(\mathbb Z\)-graded rings) or denote the irrelevant ideal by symbols other than \(R_+\). When grading conventions involve shifts, the associated saturation and localizations are adjusted accordingly, though the conceptual role of the positive-degree locus remains unchanged. The essential idea is always the removal of primes tied to the irrelevant region in the projectivization process.

8 Common uses and references

8.1 Why the irrelevant ideal is needed

The irrelevant ideal provides the algebraic mechanism for passing from graded affine data to projective geometry. By excluding homogeneous primes that contain \(R_+\), \(\mathrm{Proj}(R)\) yields the correct set of geometric points corresponding to the projective spectrum. Without this exclusion and its attendant saturation operations, the resulting scheme would include unwanted components associated with the cone-like behavior of the grading.

8.2 Typical lemmas and workflow in practice

A common workflow is:

start with a homogeneous ideal \(I\subseteq R\);
compute \(I^{\mathrm{sat}}\) with respect to \(R_+\);
use \(R/I^{\mathrm{sat}}\) to represent the intended subscheme in \(\mathrm{Proj}(R)\);
when studying maps or cohomology of associated sheaves, use local cohomology supported on \(R_+\) to understand torsion and vanishing behavior.

Typical lemmas relate sheafification of graded modules to quotienting by \(R_+\)-torsion, and establish that saturation characterizes when two ideals yield the same projective subscheme.

8.3 Suggested reading standard algebra texts

Standard references include texts on graded commutative algebra and projective schemes, especially those covering:

the construction of \(\mathrm{Proj}\) from homogeneous primes;
the correspondence between coherent sheaves and graded modules;
saturation and local cohomology with support in the irrelevant ideal.

(Exact bibliographic choices vary by curriculum and author, but the topics above are consistently treated in foundational algebraic geometry courses.)