I've been studying projective space in algebraic geometry for a few days from Perrin's 'Algebraic Geometry: An introduction'. In the first page of chapter III it reads

...projective space $P^n$ contains open sets $U_i=D^+(X_i)$ which are isomorphic to affine spaces.

I know that fixed a hyperplane $\bar H\subset P^n$ one can describe $P^n$ as the disjoint union of $\bar H$ and the affine space $k^n$. To describe this correspondence I take a (!) orthogonal vector $x\in k^n$ and define $\varphi(\bar y):=(x+H)\cap \bar y$, for $\bar y\in P^n\setminus\bar H$.

My question is, in what sense does Perrin talk about isomorphism? Even, what would linear mean to talk about linear maps? I've looking for a while on the web to get an answer to this and then I found this book ('Computational line geometry', H. Pottmann and J. Wallner) that said

...attributes like unith length and orthogonality do not belong to affine geometry.

This made me wonder if my construction of $\varphi$ really makes sense. It feels like it should be an orthogonality concept in $k^n$ (cause one can multiply and sum coordinates) but that made me doubt, are there? If not, there are no better way to define $\varphi$ than picking some $x$ not in $H$?

Thank u in advance, really appreciated!


You don't need an "orthogonal" vector -- in fact, since you're working over a vector space and not an inner product space, there isn't even such a thing. You just need any vector that doesn't lie in $H$.

If you're having trouble visualizing this, notice that both $$\{(1, 0, 0), (0, 1, 0), (0, 0, 1)\}$$ and $$\{(1, 0, 0), (0, 1, 0), (4, 7, 6)\}$$ are perfectly good bases for $\mathbb{R}^3$.

The isomorphism between $D^+(X_i)$ and $\mathbb{A}^n$ is an isomorphism of locally ringed spaces. It looks like the thing you're reading is in the introduction to the chapter where Perrin introduces those notions, so you'll have to read on to see what it means.

Any references to linear maps are talking about linear maps on the underlying vector spaces.

  • $\begingroup$ I know that it is enough to pick any $x$ not in $H$. When Perrin talks about $P^n$ he means that a basis has already been fixed. And then why can't we understand that two elements $y$ and $z$ in $k^n$ are orthogonal when $\sum_iy_iz_i=0$? This is really my second question. $\endgroup$ – user335721 Jun 25 '16 at 16:48
  • $\begingroup$ Where are you seeing Perrin talk about orthogonality or that sum? $\endgroup$ – Daniel McLaury Jun 25 '16 at 16:51
  • $\begingroup$ He doesn't. When dealing with the relation between projective and affine space he just pick a concrete hyperplane and a concrete $x$ (not in $H$ and "orthogonal" with the above sense). I just took a general hyperplane to understand better the whole concept. $\endgroup$ – user335721 Jun 25 '16 at 16:55
  • $\begingroup$ That is helpful. I'll read on $\endgroup$ – user335721 Jun 25 '16 at 17:01
  • $\begingroup$ Yes, you're right. It is unusual that Perrin talks about a concept without having defined it or at least point out it will be, but it is an introduction so I guess implicitly said is fair enough. Thank u! $\endgroup$ – user335721 Jun 25 '16 at 19:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy