Lagmental Vicfred

Proj Glues Degree-Zero Localizations by Vicfred

Last updated: Wed 03 June 2026

tags: mathematics, projective geometry, Proj, Hilbert polynomials

The standard affine chart D_+(f) of Proj S has coordinate ring the degree-zero part of S localized at f. The point is to make the formal expression readable enough to audit line by line.

Start locally

A graded ring \(S=\bigoplus_{d\ge0}S_d\) produces \(\operatorname{Proj}S\), whose points are homogeneous primes avoiding the irrelevant ideal \(S_+\). Projective space is the basic example.

$$ X=\operatorname{Proj}S,\qquad f\in S_d\ \text{homogeneous} $$

The typography mirrors the proof: first declare \(\mathsf D\), then state \(\mathsf C\). The symbol \(\Longrightarrow\) below is a logical dependency, not extra mathematical structure.

$$ D_+(f)\cong\operatorname{Spec}(S_f)_0 $$

Compute before generalising

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ \mathbf P_k^n=\operatorname{Proj}k[x_0,\ldots,x_n],\qquad D_+(x_i)\cong\mathbf A_k^n $$

The global view

The two-row display is also a debugging tool: if the conclusion changes when only notation changes, some hidden choice has entered the argument.

$$ \begin{aligned} \mathsf{D}\;&:\quad X=\operatorname{Proj}S,\qquad f\in S_d\ \text{homogeneous},\\[5pt] \mathsf{C}\;&:\quad D_+(f)\cong\operatorname{Spec}(S_f)_0. \end{aligned} $$

Edge conditions

Homogeneity is essential: a nonhomogeneous equation is not well defined under rescaling of projective coordinates.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] D_+(f)\cong\operatorname{Spec}(S_f)_0 \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Wed 11 September 2019. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.