Irrelevant Ideal

A homogeneous ideal that identifies the coordinate locus excluded when a specified graded presentation is turned into projective geometry.

Version

v1 · 2026-10-07 · History

Domain-specific #

13917

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Algebraic Geometry, Graded Algebra → Mathematics

Core Idea

An irrelevant ideal is the homogeneous ideal that marks the coordinates to be discarded when a specified graded algebraic presentation is turned into projective geometry. For an ordinary nonnegatively graded ring \(S\), the positive-degree ideal \(S_+\) is excluded in forming \(\operatorname{Proj}(S)\): its points are homogeneous prime ideals that do not contain \(S_+\). In the polynomial ring of projective space, this removes the affine origin from the familiar nonzero-coordinate picture.^[1][2]

The same name has a related but different formula in toric Cox coordinates. A fan \(\Delta\) selects the monomials generating \(B_\Delta\), and the affine zero set \(V(B_\Delta)\) is removed before taking the appropriate quotient. For a product of projective lines, this zero set contains two forbidden coordinate planes, not just the all-zero origin. Thus the stable role is presentation-determined excluded locus; \(S_+\) is not a universal generator formula for every grading.^[2][3]

Structural Signature

• Graded coordinate presentation. A ring with specified homogeneous pieces supplies the coordinates and degree conventions. The Cox case additionally needs the fan: its grading alone does not determine which monomials are excluded.^[1][2]
• Distinguished homogeneous ideal. In ordinary Proj this is \(S_+=\bigoplus_{d>0}S_d\); in Cox's construction it is the ideal generated by products of variables outside the fan's cones. Both are genuine ring ideals, but their generator rules differ.^[1][2]
• Excluded coordinate locus. Proj rejects homogeneous primes containing \(S_+\). Cox removes \(V(B_\Delta)\) from affine coordinate space. Depending on the presentation, the locus can be one origin or several coordinate subspaces.^[1][2][3]
• Geometric construction. The exclusion prepares the projective or toric space rather than merely labeling an ideal. Cox's quotient is categorical in general and geometric in the simplicial case; claims about other homogeneous ideals require their own radical or saturation conditions.^[1][2]

Remove the grading- or fan-determined exclusion role and the object remains an ideal, but no longer this irrelevant ideal of a specified construction.^[1][2]

What It Is Not

Not every homogeneous ideal with an empty projective zero set is the irrelevant ideal. Stacks proves that \(V_+(I)\) is empty exactly when \(S_+\subseteq\sqrt I\); that is a test on \(I\), while \(S_+\) is the distinguished ideal of the ordinary construction. Not always maximal or prime: in the Cox ring of \(\mathbf P^1\times\mathbf P^1\), the irrelevant ideal is a product of two coordinate-pair ideals, and \(x_0y_0\) belongs to it although neither factor does.^[1][3]

Not the ideal generated by every coordinate variable in every Cox ring. For \(\mathbf P^1\times\mathbf P^1\), that all-variable ideal vanishes only at the origin and would leave other invalid coordinate pairs in place. Not a universal orbit-quotient recipe: Cox's categorical-versus-geometric distinction depends on the fan.^[2][3]

Scope of Application

The ordinary case applies to \(\operatorname{Proj}(S)\) for a declared nonnegative grading. In \(S=k[x_0,x_1,x_2]\) with each variable of degree one, \(S_+=(x_0,x_1,x_2)\). A homogeneous prime representing a point of \(\operatorname{Proj}(S)\) must omit at least one positive-degree element. For this polynomial ring, the excluded affine zero set is the origin.^[1][2]

The Cox case applies when a toric fan and its homogeneous coordinate ring are specified. Cox builds \(B_\Delta\) from complement-of-cone monomials, removes \(V(B_\Delta)\), and forms a quotient by the grading group. The product \(\mathbf P^1\times\mathbf P^1\) has a bigraded ring and a four-monomial irrelevant ideal. The simple \(S_+\) formula from one nonnegative degree cannot be carried over unchanged to that presentation.^[2][3]

Clarity

To ask “which ideal is irrelevant?” first state the coordinate ring, degree system, and geometric construction. In ordinary Proj, the question is answered by \(S_+\). In Cox coordinates, one must also know the fan and use its complement-of-cone rule. A ring name alone does not determine the answer: Cox notes that the same graded ring can arise from different fans, whose irrelevant ideals distinguish the resulting toric presentations.^[1][2]

Keep three assertions separate: the ideal \(B\) or \(S_+\) chosen by the construction; the coordinate locus it removes; and whether some other homogeneous ideal \(I\) defines an empty projective set or a particular closed subscheme. The last question invokes radical or saturation tests, not a second definition of “the irrelevant ideal.”^[1][2]

Manages Complexity

A single ideal packages potentially many forbidden coordinate configurations. For ordinary projective space, the generators \(x_0,\ldots,x_n\) describe the origin. For a toric fan, each maximal cone contributes a complement monomial; their ideal packages the union of coordinate subspaces that must be removed. The calculation is finite when the fan has finitely many cones and makes the exclusion test algebraic.^[2]

That compression retains its inputs. A Cox ideal depends on the fan, and a projective claim about arbitrary homogeneous ideals can change under saturation. Replacing the fan-derived generators by a convenient all-variable ideal may shorten the notation while changing the geometry; it is not a harmless simplification.^[2][3]

Abstract Reasoning

Given a nonnegatively graded ring for ordinary Proj, form \(S_+\) from its positive-degree pieces and test a proposed homogeneous prime against containment of that ideal. For a homogeneous ideal \(I\), Stacks's criterion \(V_+(I)=\varnothing\iff S_+\subseteq\sqrt I\) tells whether its projective closed set is empty; it does not identify every such \(I\) with \(S_+\).^[1]

Given toric Cox coordinates, compute the monomial outside each maximal cone and generate \(B_\Delta\). Then \(V(B_\Delta)\) is the set excluded before the quotient. A comparison of ideals that define the same closed subscheme is a separate problem: Cox's smooth-case correspondence uses \(B\)-saturated graded ideals. The irrelevant ideal therefore serves both coordinate admissibility and, under stated hypotheses, a reference for saturation; those uses must not be conflated.^[2]

Knowledge Transfer

The excluded-locus role transfers literally from ordinary projective coordinates to toric Cox coordinates: both use a distinguished homogeneous ideal to separate admissible coordinates from those removed by the geometry. The formula does not transfer unchanged. Projective space uses all positive-degree variables; a product of projective spaces uses products across coordinate groups; a different fan changes the complement monomials.^[2][3]

Outside graded algebraic geometry, one may also discard invalid states, but that resemblance does not make the named Irrelevant Ideal a Prime. The portable membership-and-exclusion logic is represented more broadly by the live Prime Set and Membership, reached here through the Ring Ideal ancestor. The named ideal requires ring absorption, grading, and a projective construction.^[1][2]

Examples

Standard projective plane

For \(S=k[x_0,x_1,x_2]\) with total-degree grading, \(S_+=(x_0,x_1,x_2)\). Its affine zero set is the origin. Removing the zero vector before identifying nonzero scalar multiples gives the usual coordinate picture of \(\mathbf P^2\); \(\operatorname{Proj}(S)\) describes the same projective space in terms of homogeneous primes not containing \(S_+\).^[1][2]

Mapped back: the graded coordinate presentation is the total-degree polynomial ring; the distinguished homogeneous ideal is \(S_+\); the excluded coordinate locus is the origin or the corresponding forbidden primes; the geometric construction is Proj, or the nonzero-vector quotient in this specific case. The one-origin result depends on this standard polynomial presentation.^[1][2]

Product of two projective lines

The identity-type Cox ring for \(\mathbf P^1\times\mathbf P^1\) is \(k[x_0,x_1,y_0,y_1]\) with two degree coordinates. Its irrelevant ideal is \(B=(x_0y_0,x_0y_1,x_1y_0,x_1y_1)=(x_0,x_1)(y_0,y_1)\). Hence \(V(B)=V(x_0,x_1)\cup V(y_0,y_1)\): a point is excluded if either entire homogeneous pair is zero. Pieropan states the four generators directly; the zero-set union follows by taking the vanishing locus of a product of ideals.^[2][3]

Mapped back: the graded coordinate presentation is the bigraded Cox ring with its product fan; the distinguished homogeneous ideal is the four-monomial \(B\); the excluded coordinate locus is the union of two zero-pair planes; the geometric construction removes that union and identifies the two independent scalar rescalings to recover \(\mathbf P^1\times\mathbf P^1\). The all-variable ideal would remove only the origin and fails this mapping.^[2][3]

Structural Tensions

Geometry-classifying saturation versus retaining an algebraic presentation. In a smooth toric setting, two graded ideals can define the same closed subscheme; \(B\)-saturation makes the correspondence one-to-one. This helps when the goal is to classify the geometry, but it can erase differences in the original unsaturated generators that may matter to an algebraic calculation. Retaining each unsaturated ideal preserves those presentation details while overcounting geometric objects. One can store both descriptions, but one must choose which equivalence is controlling the present question.^[2][3]

Diagnostic: Are we classifying the closed subscheme after excluding \(V(B)\), or studying the specific graded ideal and generators before saturation? The answer determines whether to compare saturated ideals or the original presentations.^[2]

Structural–Framed Character

Evaluative weight: “irrelevant” is a technical role within a construction, not a claim that the generators lack mathematical value. Human-practice dependence: a mathematician chooses the grading, fan, and coordinate presentation, but the ideal and excluded locus then follow by a specified rule. Institutional origin: projective and toric algebraic geometry supply the vocabulary; no particular institution decides membership. Vocabulary travel: the name is used across ordinary Proj and Cox coordinates because the exclusion role persists, while the generator rule must be recalculated. Import versus recognition: importing \(S_+\) into a multigraded Cox case without testing the fan is a category error; recognizing the ideal requires its actual construction.^[1][2]

This is structural-leaning within a domain frame: the ideal is formally testable, but its role exists only relative to a graded geometric presentation. The portable skeleton of selected membership and exclusion is already broader in the live Prime Set and Membership, reached through Ring Ideal; it does not turn this named ideal into a cross-domain Prime. Its character: a rigorously defined algebraic selector whose generators change with the coordinate presentation while its excluded-locus function stays recognizable.^[1][2]

Structural Core vs. Domain Accent

The core is the pairing of a distinguished homogeneous ring ideal with the coordinate locus that a specific projective construction excludes. Ordinary \(S_+\) and Cox \(B_\Delta\) realize that pairing with different grading and generator rules. The symbols, projective dimension, and chosen fan are case accents; ring absorption, homogeneity, and the construction-dependent exclusion role are not dispensable.^[1][2]

The named entry does not clear the Prime bar because removing graded coordinate rings and projective geometry leaves only a broad membership or exclusion relation. That portable relation belongs with Prime Set and Membership, an existing ancestor through Ring Ideal; a more general Prime about invalid-coordinate exclusion would need a separately justified identity and transfer evidence. Here the two live domain-specific parents preserve the narrower algebraic type and its graded prerequisite.^[1][2]

Instantiates / Related Primes

This entry presupposes Graded Ring and is a kind of Ring Ideal.

The proposed strict subsumption edge to Ring Ideal is an all-instance genus claim: \(S_+\) and Cox \(B_\Delta\) are ideals of their coordinate rings and add a specialized role. The proposed strict composition/presupposes edge to Graded Ring records an independent requirement: without a specified grading, the relevant homogeneous ideal and its exclusion test cannot be selected. Graded Ring is a carrier condition, not a second taxonomic genus.^[1][2]

Prime ideal is related but not a parent: Proj points are homogeneous prime ideals, while the irrelevant ideal that they must avoid need not itself be prime. The broader Prime Set and Membership is an ancestor through Ring Ideal; its membership rule does not replace the algebraic differentia of this entry.^[1][3]

Relationships to Other Abstractions

Current abstraction Irrelevant Ideal Domain-specific

Parents (2) — more general patterns this builds on

• Irrelevant Ideal is a kind of Ring Ideal Domain-specific

  An irrelevant ideal is a ring ideal with a homogeneous, presentation-specific excluded-locus role.

• Irrelevant Ideal presupposes Graded Ring Domain-specific

  Identifying an irrelevant ideal presupposes a specified grading on its coordinate ring.

Hierarchy paths (11) — routes to 5 parentless roots

• Irrelevant Ideal → Ring Ideal → Set and Membership

Show alternative paths (10)

Neighborhood in Abstraction Space

Irrelevant Ideal sits in a sparse region of the domain-specific corpus (94^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

• Exterior Algebra — 0.79
• Zariski Tangent Space — 0.78
• Graded Ring — 0.78
• Rees decomposition — 0.78
• Polynomial Ring — 0.77

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

An arbitrary homogeneous ideal: its projective zero set may be empty without its being \(S_+\). A prime ideal: the points of Proj are prime, but Cox's product irrelevant ideal is not. The all-variable ideal in every Cox ring: for \(\mathbf P^1\times\mathbf P^1\) it removes too little. A universal projective Nullstellensatz bijection: Cox's full ideal/subscheme correspondence needs the stated smoothness and saturation conditions. An ungraded exclusion rule: without the coordinate presentation it is not this algebraic object.^[1][2][3]

References

[1] The Stacks Project Authors, “Proj of a Graded Ring,” The Stacks Project, Tag 00JM, §10.57, Definition 10.57.1 and Lemma 10.57.3 (live online reference). https://stacks.math.columbia.edu/tag/00JM registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u

[2] David A. Cox, “The Homogeneous Coordinate Ring of a Toric Variety,” Journal of Algebraic Geometry 4 (1995), pp. 17–50, §1 definition of \(B_\Delta\), §2 Theorem 2.1, §3 Theorem 3.7 and Corollary 3.8. Author-submitted arXiv copy of the original paper with an attached 2014 erratum affecting a separate Proposition 4.3. https://arxiv.org/pdf/alg-geom/9210008 registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29

[3] Marta Pieropan, “On Galois Descent of Complete Intersections,” Mathematical Research Letters 28, no. 4 (2021), pp. 1243–1254, Proposition 4.3 and Example 4.5, printed p. 1252. https://intlpress.com/api/bgcloud-front/resource/pdf/volume/1806601984570454017-1806601984570454017-f6b8d7187b5a8f66423650b9668a0d56.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l