Irrelevant Ideal¶
A homogeneous ideal that identifies the coordinate locus excluded when a specified graded presentation is turned into projective geometry.
Core Idea¶
An irrelevant ideal is a homogeneous ring ideal singled out by a graded projective-coordinate construction to identify coordinates that the geometry excludes. For ordinary nonnegatively graded \(S\), \(S_+\) contains all positive-degree elements, and \(\operatorname{Proj}(S)\) uses homogeneous prime ideals that do not contain \(S_+\). In toric Cox coordinates, a fan determines a different irrelevant ideal \(B_\Delta\), whose affine zero set is removed before the quotient.[ref-5cc033c9cdfa][ref-1ce048c7dea4]
The role persists across these settings, but the formulas differ. In particular, the Cox ideal for \(\mathbf P^1\times\mathbf P^1\) is a product of two coordinate-pair ideals, not the ideal generated by all four variables.[ref-1ce048c7dea4][ref-8a83aa5a5d6e]
Scope of Application¶
Use \(S_+\) for ordinary Proj with its specified nonnegative grading. For \(S=k[x_0,x_1,x_2]\) in standard total degree, \(S_+=(x_0,x_1,x_2)\) and the affine coordinates exclude the origin. For a toric Cox ring, specify the fan as well as the grading: the monomials outside its cones generate \(B_\Delta\). The excluded locus can then contain several coordinate subspaces.[ref-5cc033c9cdfa][ref-1ce048c7dea4]
Clarity¶
Ask for the ring, grading, and projective construction before naming its irrelevant ideal. Distinguish the chosen ideal from an arbitrary homogeneous ideal \(I\) that happens to define an empty projective closed set. In ordinary Proj, Stacks gives \(V_+(I)=\varnothing\) exactly when \(S_+\subseteq\sqrt I\); this does not make every such \(I\) the irrelevant ideal. Cox's quotient is categorical in general and geometric for simplicial fans, so the quotient claim also needs its setting.[ref-5cc033c9cdfa][ref-1ce048c7dea4]
Manages Complexity¶
The ideal packages many forbidden coordinate choices in one algebraic test. The standard projective-space generators exclude the zero vector. A toric fan supplies complement-of-cone monomials whose common zero set records the coordinate configurations to remove. Using an all-variable ideal in every Cox ring may look simpler but can leave invalid coordinates in place.[ref-1ce048c7dea4][ref-8a83aa5a5d6e]
Abstract Reasoning¶
In ordinary Proj, form \(S_+\) from the positive-degree pieces and exclude homogeneous primes containing it. For a proposed closed set, apply the radical criterion separately. In Cox coordinates, compute \(B_\Delta\) from the fan, remove \(V(B_\Delta)\), and then apply the stated quotient construction. When comparing different graded ideals that describe closed subschemes, Cox's smooth-case correspondence uses \(B\)-saturation; an unsaturated presentation can retain algebraic details even when it describes the same geometry.[ref-5cc033c9cdfa][ref-1ce048c7dea4]
Knowledge Transfer¶
The reliable transfer is the distinguished ideal's excluded-locus role, not its generator formula. Ordinary \(\mathbf P^2\) and Cox \(\mathbf P^1\times\mathbf P^1\) have different gradings and different invalid coordinate sets. Outside graded projective geometry, a general invalid-state analogy does not make this named ideal a cross-domain Prime. The broader Prime Set and Membership captures portable membership and exclusion; this entry needs ring ideals, grading, and projective coordinates.[ref-5cc033c9cdfa][ref-1ce048c7dea4][^ref-8a83aa5a5d6e]
Example¶
For ordinary \(\mathbf P^2\), take \(S=k[x_0,x_1,x_2]\) with total-degree grading. \(S_+=(x_0,x_1,x_2)\) vanishes at the affine origin. Mapped back: the graded ring supplies coordinates, \(S_+\) is the distinguished ideal, the origin is the excluded locus, and Proj or the nonzero-vector quotient gives the projective plane in this standard case.[ref-5cc033c9cdfa][ref-1ce048c7dea4]
For \(\mathbf P^1\times\mathbf P^1\), take the bigraded Cox ring \(k[x_0,x_1,y_0,y_1]\). Pieropan gives \(B=(x_0y_0,x_0y_1,x_1y_0,x_1y_1)=(x_0,x_1)(y_0,y_1)\). Thus \(V(B)=V(x_0,x_1)\cup V(y_0,y_1)\): either completely zero coordinate pair is forbidden. Mapped back: the bigraded Cox ring and fan supply the presentation, \(B\) is the distinguished ideal, the two zero-pair planes are excluded, and the two scalar identifications yield the product of projective lines. This zero-set union is an algebraic deduction from the cited ideal.[ref-1ce048c7dea4][ref-8a83aa5a5d6e]
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
- Irrelevant Ideal → Graded Ring → Ring → Group → Monoid → Identity Element
- Irrelevant Ideal → Ring Ideal → Ring → Group → Monoid → Identity Element
- Irrelevant Ideal → Graded Ring → Ring → Group → Monoid → Semigroup → Closure
- Irrelevant Ideal → Ring Ideal → Ring → Group → Monoid → Semigroup → Closure
- Irrelevant Ideal → Graded Ring → Ring → Group → Monoid → Semigroup → Set and Membership
- Irrelevant Ideal → Ring Ideal → Ring → Group → Monoid → Semigroup → Set and Membership
- Irrelevant Ideal → Graded Ring → Ring → Group → Monoid → Semigroup → Associativity → Invariance
- Irrelevant Ideal → Ring Ideal → Ring → Group → Monoid → Semigroup → Associativity → Invariance
- Irrelevant Ideal → Graded Ring → Ring → Group → Monoid → Semigroup → Associativity → Symmetry
- Irrelevant Ideal → Ring Ideal → Ring → Group → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Irrelevant Ideal sits in a sparse region of the domain-specific corpus (94th 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¶
A homogeneous prime ideal avoiding \(S_+\) is a point of ordinary \(\operatorname{Proj}(S)\); the irrelevant ideal itself need not be prime. An arbitrary homogeneous ideal can have an empty projective zero set without being the distinguished \(S_+\). The all-variable ideal in a Cox ring need not identify the correct excluded locus. Ring Ideal is the strict genus of this entry; Graded Ring is a separate strict prerequisite, not a second genus.[ref-5cc033c9cdfa][ref-1ce048c7dea4][^ref-8a83aa5a5d6e]
References¶
[^ref-5cc033c9cdfa]: 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
[^ref-1ce048c7dea4]: 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
[^ref-8a83aa5a5d6e]: 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