nLab
projective space

Contents

Definition

Let TT be an abelian Lawvere theory (one containing the theory of abelian groups). Write 𝔸 1\mathbb{A}^1 for its canonical line object and 𝔾 m\mathbb{G}_m for the corresponding multiplicative group object.

The projective space n\mathbb{P}_n of TT is the quotient

n:=(𝔸 n+1{0})/𝔾 m \mathbb{P}_n := (\mathbb{A}^{n+1} - \{0\})/\mathbb{G}_m

of the (n+1)(n+1)-fold product of the line with itself by the canonical action of 𝔾 m\mathbb{G}_m.

More generally, for (X,0)(X,0) a pointed space with (pointed) 𝔾 m\mathbb{G}_m-action, the quotient

(X):=(X{0})/𝔾 m \mathbb{P}(X) := (X-\{0\})/\mathbb{G}_m

is the corresponding projective space.

If instead of forming the quotient one forms the weak quotient/action groupoid, one speaks of the projective stack

^(X):=(X{0})//𝔾 m. \hat \mathbb{P}(X) := (X-\{0\})//\mathbb{G}_m \,.

Examples

For commutative rings and algebras

For TT the theory of commutative rings or more generally commutative associative algebras over a ring kk, 𝔸 k 1\mathbb{A}_k^1 is the standard affine line over kk. In this case k n\mathbb{P}^n_k is (…) A closed subscheme of k n\mathbb{P}^n_k is a projective scheme?.

Proposition

For RR a commutative kk-algebra, there is a natural isomorphism between

  • \mathbb{Z}-gradings on RR;

  • 𝔾 m\mathbb{G}_m-actions on SpecRSpec R.

The proof is spelled out at affine line.

Over the real and complex numbers

References

An introduction to projective spaces over the theory of ordinary commutative rings is in

  • Miles Reid, Graded rings and varieties in weighted projective space (pdf)

Revised on April 6, 2014 16:00:52 by David Roberts (129.127.211.142)