Fix typo

Anonymous

]]>Now you have me worried. I’m 95% confident in the “invertible sheaves are the sheaves (isomorphic to) the sheaves associated to invertible ideals” for affine schemes, but maybe I’m assuming the ring to be nice, such as being a domain. A quick search to try and convince myself turns up 109.40 from Stacks project which shows they correspond to projective rank 1 modules, but I’m now paranoid that I need an assumption on the ring to say that means “invertible ideal”.

]]>If you’re just interested in the final answer, the stacks project gives a description as 27.13.1. Restricting to your case, the change is that you shouldn’t normalize to generating the unit ideal – instead you merely require that $\vec{a}$ generates an invertible ideal, and you quotient by the equivalence relation of scaling by non-zero divisors. Described differently, $\mathbb{P}^n(A)$ is the set of pairs $(I, \vec{a})$ where $I$ is an invertible ideal and $\vec{a}$ is an $(n+1)$-tuple of elements of $I$ that generate it, modulo equivalences of invertible ideals.

Or was it a description of sheafification you were interested in?

]]>I am trying to understand projective space in terms of a quotient of sheaves from Rings to Sets (for example, from the perspective taken in Toen’s master course on stacks). As a functor, $X = \mathbb{A}^{n + 1}_\mathbb{Z} - \{0\}$ maps each ring $A$ to the set $X(A) = \{(a_0, \dots, a_n)\in A^{n+1}\,|\, (a_0, \dots, a_n)$ generate the unit ideal in $A\}$. The functor $\mathbb{G}_m$ maps each ring $A$ to its multiplicative group of units $A^\times$. However, $\mathbb{P}^n_\mathbb{Z} (A)$ is not simply $X(A)/A^\times$, unless we are in the special case that every finitely generated projective $A$-module is free (for example, in a PID).

Therefore, we must need to do some kind of “sheafification” on the presheaf quotient $X/\G_m$ to get the correct functor $\mathbb{P}^n_\mathbb{Z}$. How does this work?

]]>Among the list of elementary facts, the statement that $S^n \to \mathbb{R}P^n$ is locally trivial had been missing. For completeness, have now included statement and proof here.

]]>I have filled in full details in the proof of the CW-structure at *complex projective space*. Then I copied this over also to *Projective space – Examples – Real and complex projective space*, so that the discussion there is now a self-contained proof of the manifold structure on real/complex projective space.

I have spelled out how real and projective space become topological manifolds and smooth manifolds, here.

]]>added to projective space the remainder of the proof that $\mathbb{G}$-actions on $Spec R$ are equivalent to $\mathbb{Z}$-gradings of $R$.

(I guess I should move that elsewhere.)

]]>Added the first part of the proof that a $\mathbb{Z}$-grading on a commutative ring $R$ is the same as a $\mathbb{G}_m$-action on $Spec R$. (All a bit rough for the time being.)

]]>started a stub for projective space

]]>