Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T16:26:19Z http://mathoverflow.net/feeds/question/45116 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45116/total-space-of-the-line-bundle-mathcalo1-over-mathbbpn Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$ Klim Puhov 2010-11-06T23:13:46Z 2010-11-07T10:35:08Z <p>It is well known that total space of the tautological line bundle $\mathcal{O}(-1)$ over projective space $\mathbb{P}^n$ is closed subvariety of $\mathbb{P}^n\times\mathbb{A}^{n+1}$. My question is how to realize total space of $\mathcal{O}(1)$ over $\mathbb{P}^n$ in such manner, i.e. I need an embedding of $Tot(\mathcal{O}(1))$ in simple variety and defining equations. Thanks.</p> http://mathoverflow.net/questions/45116/total-space-of-the-line-bundle-mathcalo1-over-mathbbpn/45121#45121 Answer by Tony Pantev for Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$ Tony Pantev 2010-11-06T23:59:55Z 2010-11-06T23:59:55Z <p>It is the complement $\mathbb{P}^{n+1} - {x}$ of a point in a projective space. </p> http://mathoverflow.net/questions/45116/total-space-of-the-line-bundle-mathcalo1-over-mathbbpn/45130#45130 Answer by Georges Elencwajg for Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$ Georges Elencwajg 2010-11-07T02:30:10Z 2010-11-07T09:30:10Z <p>Dear Luther King, since you ask for equations, let me add them to Tony's beautifully geometric answer.</p> <p>Consider $\mathbb P^{n+1}$ with homogeneous coordinates $(z_0:z_1:\ldots:z_{n+1})$ and $\mathbb P^{n}$ enbedded as the hyperplane $z_0=0$. If $x\in\mathbb P^{n+1}$ is the point $x=(1:0:\ldots:0)$, the required total space $T=Tot \mathcal O_{\mathbb P^{n}}(1)$ is the complement $T=\mathbb P^{n+1} \setminus \{x\}$ of $x$ in $\mathbb P^{n+1}$. The fiber of our bundle $\mathcal O_{\mathbb P^{n}}(1)$ at the arbitrary point $(0:z_1:\ldots:z_{n+1}) \in \mathbb P^n$ is the set of all $(\lambda:z_1:\ldots:z_{n+1})$ with $\lambda \in k$ (base field) . </p> <p>The one-dimensional vector space structure on the fiber is given by $(\lambda:z_1:\ldots:z_{n+1})+(\mu:z_1:\ldots:z_{n+1})=(\lambda +\mu:z_1:\ldots:z_{n+1})$ and similarly for products by scalars. Beware that we definitely do not have an isomorphism from our fiber to $k$ defined by $(\lambda:z_1:\ldots:z_{n+1})\mapsto \lambda$: this is not even a well-defined map. This is not surprising: after all $\mathcal O_{\mathbb P^{n}}(1)$ is not a trivial bundle!</p> <p><strong>A more canonical approach</strong> (edited) Readers of the canonical faith may suppress coordinates as follows. </p> <p>Consider a $k$ - vector space $V$ of dimension $n+1$, its projectivization $\mathbb P (V)$ and its embedding $\mathbb P (V) \to \mathbb P (k \oplus V)$ sending the point $\mathbb P (l) \in \mathbb P (V)$ to the point $\mathbb P (0\oplus l) \in \mathbb P (k \oplus V)$. The vector bundle $\mathcal O _{\mathbb P (V)} (1)$ then has as total space the open subset $T\subset \mathbb P (k \oplus V)$ obtained by deleting $x=\mathbb P (k \oplus 0)$ from $\mathbb P (k \oplus V)$ i.e. $T= \mathbb P (k \oplus V)\setminus x$. The fiber over $\mathbb P (l)$ [identified with $\mathbb P (0\oplus l)$] is $\mathbb P (k \oplus l)\setminus x$, a vector space of dimension one with origin the point $\mathbb P (0 \oplus l)$ but with no prefered isomorphism to $k$.</p> <p><strong>Elementary geometry</strong> It may clarify the above to recall that given a one dimensional projective space $\mathbb P$ over $k$, if you delete a point $x$ from it you get a one dimensional affine space $\mathbb P \setminus x$ and if you choose in it an origin, you get a one dimensional vector space, but that vector space has no prefered isomorphism with the vector space $k$.</p> http://mathoverflow.net/questions/45116/total-space-of-the-line-bundle-mathcalo1-over-mathbbpn/45157#45157 Answer by Sasha for Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$ Sasha 2010-11-07T10:35:08Z 2010-11-07T10:35:08Z <p>For me the best description of $Tot(O(1))$ is the tautological --- as the relative spectrum of the sheaf of algebras $A = O \oplus O(-1) \oplus O(-2) \oplus \dots$ on $P^n$: $$Tot(O(1)) = Spec_{P^n}(A).$$ This allows to work with $Tot(O(1))$ more effectively than any other description. For example, a coherent sheaf on $Tot(O(1))$ can be represented by a quasicoherent sheaf $F$ on $P^n$ together with a morphism $F(-1) \to F$ inducing on $F$ a structure of an $A$-module.</p>