5
$\begingroup$

I want to be acquainted with projective geometry, so I'm asking for a reference. I need some words to explain my specific background and motivation.

There are many things I learnt related to projective geometry. For example, the theory of Möbius transformations, i.e. fractional linear transformations. The relationship between complex plane, Riemann sphere and the complex projective line is obvious: $\mathbb C\subseteq S^2\cong\mathbb CP^1$ (but not mentioned in the textbook), and the concept of cross-ratio in complex analysis is just the counterpart of the same thing in projective geometry. It's known that a Möbius transformation is determined by three general points, but the proof is purely algebraic, and in fact, incomplete in some sense in our textbooks. The treatment of $\infty$ in the textbooks, in my opinion, is too arbitrary. And in fact, I need some geometric aspects.

I need to learn more on projective geometry. I don't want to go into the process of axiomatization (just like Hilbert's system of Euclidean geometry) if it's too tedious, but I want some rigorous solutions. In fact, we can do things without axiomatization, just as how we define manifolds, or the Euclidean plane as a metric space isometric to $\mathbb R^2$ with standard distance. Our textbook on analytic geometry covers some, but sometimes inrigorous so that I cannot accept. For example, they define (real) projective plane (translated into set-theoretic language) as follows:

The triple $(P,L,I\subseteq P\times L)$ is a projective plane (where $I$ is the incidence structure) if and only if it's isomorphic to the pencil $(P_1,L_1,I_1)$ of all lines and planes passing through $0$ in $\mathbb R^3$, where $P_1,L_1$ are sets of lines and planes, and $(l,\alpha)\in I_1\iff l\subseteq\alpha$. $(P_2,L_2,I_2)$ and $(P_3,L_3,I_3)$ are isomorphic if and only if there exist bijections $\phi_P\colon P_2\to P_3,\phi_L\colon L_2\to L_3$ such that $(p_2,l_2)\in I_2\iff(\phi_P(p_2),\phi_L(l_2))\in I_3$, i.e., bijections attain the incidence structure.

The preceding definition is rigorous. However, when they're defining cross-ratios and projective transformations, there's nothing rigorous. They only do them for specific models, for example, the extended Euclidean plane, and never check whether anything is well-defined, i.e, independent of choice of bijections of the isomorphic relation.

I need some introduction to projective geometry. It's better if the relationship between complex analysis or anything interesting and projective geometry is mentioned.

Any help? Thanks.

$\endgroup$
  • 1
    $\begingroup$ I think you want a book in Teichmüller spaces and some hyperbolic stuffs. The "standard" reference is Lehto's book books.google.com.br/books/about/… . If you want it in a more algebraic way, you should take a look at a book in algebraic curves. For everything cited above, you should know some Riemann surfaces. $\endgroup$ – user40276 Apr 21 '14 at 23:28
  • $\begingroup$ @user40276 Not hyperbolic, but projective. I know that Poincare's conformal model for hyperbolic planes, but it's another story. $\endgroup$ – Yai0Phah Apr 24 '14 at 14:56
  • 1
    $\begingroup$ If you want axiomatic projective geometry. Study by the source, look at Poincaréś book. However this stuff is not very well written and the foundations are kind of poor everywhere I've already looked. There is Tarski's book on axiomatic geometry and a paper by Makkai called "Universal projective geometry via topos theory". And, if you do not, then what I have already said will define projective space rigorously. And I have cited hyperbolic stuffs, because you said about Moebius transformations, therefore I thought you was searching something on modular groups. $\endgroup$ – user40276 Apr 24 '14 at 15:55
  • $\begingroup$ @user40276 Well, thanks. I'm now reading M.Berger's Geometry, and I found M.Reid's Geometry and Topology. It might not be the ultimate answer, but I decide to read them first. Incidentally, I did search for modular groups, etc, but eventually I found that I don't have enough mathematical maturity, so I postponed such a study process. $\endgroup$ – Yai0Phah Apr 25 '14 at 14:47
4
$\begingroup$

For a modern approach, see Richter-Gebert's

Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry.


  R-GFig1.1


$\endgroup$
  • 1
    $\begingroup$ Seems interesting. The post was too archaic, so I need time to check it. $\endgroup$ – Yai0Phah Feb 10 '15 at 15:22
2
$\begingroup$

A nice interesting book which has a couple of chapters at the start on Projective Geometry, and really the applications of it in Algebraic Geometry is Miles Reid's Undergraduate Algebraic Geometry.

It has a section on plane curves and proves things in a rigorous way, before going onto things like Hilbert's Nullstellensatz. The book also discusses Affine and Projective varieties before ending on the "27 lines on a Cubic Surface".

I found it very interesting, and it's got some pretty good exercises in it too. The only negative point (in my version at least) is that it wasn't written entirely in LaTeX, but if you can ignore that its a great book to read.

$\endgroup$
  • 2
    $\begingroup$ It's certainly not a book for projective geometry. It's not studying projective invariants, and don't solve my question on cross ratios. $\endgroup$ – Yai0Phah Apr 24 '14 at 14:41

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.