The Proj construction is a fundamental tool of scheme theory in algebraic geometry, serving as the projective counterpart to the spectrum-of-a-ring construction used to build affine schemes. It takes a graded ring, one with a direct sum decomposition indexed by the non-negative integers, and produces a projective scheme by collecting the homogeneous prime ideals that do not contain every positive-degree element, then equipping this set with a Zariski topology and a structure sheaf. Unlike the affine spectrum construction, the Proj construction is not functorial in the same straightforward way. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Connections
In Branch
Source Proj Construction (Wikipedia)
Is Kind Of Object
Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Proj Construction (Wikipedia)
In Branch: Algebraic Geometry, Lead sentenceQuote, In Branch: Algebraic Geometry, Lead sentence
In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces o
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.