A modern textbook on affine and projective spaces
Requirements:
- Scalar fields other than $\mathbb{R}$ and $\mathbb{C}$.
- Precise. Visual explanations are good, but they must complement definitions and proofs, not replace them.
- No repetition of text. It may reference other textbooks for linear algebra, order theory, etc.
- Modern. Semilinear transformations, category theory.
- Well-known prerequisites. Phrases “it is a well-known fact” and “it is evident” without references must occur as rarely as possible.
There was a similar request, but concentrated on problem-solving, not on slick theory. Some examples I found so far:
- Stubbe, Steirteghem (2007). “Propositional systems, Hilbert lattices and generalized Hilbert spaces”, chapter in: “Handbook of Quantum Logic and Quantum Structures: Quantum Structures (edited by K. Engesser, D. M. Gabbay and D. Lehmann), Elsevier”, pp. 477-524. The chapter “2. Projective geometries, projective lattices” is the best. But it is short and dense, it is not a textbook after all, just a chapter in the scientific article.
- Joseph J. Rotman (1999). “Introduction to the theory of groups.” In “Chapter 9. Permutations and the Mathieu Groups”, subchapters “Affine Geometry”, “Projective Geometry.”
- Beutelspacher, Rosenbaum. “Projective Geometry, From Foundations to Applications.” It seems promising, I have just started reading it.
- Baer R. “Linear algebra and projective geometry.” It is somewhat old. Its style IMO is sloppy, imprecise.
- Dieudonné, Jean (1955). “La géométrie des groupes classiques.” It is somewhat old. It requires unknown prerequisites, IMO Bourbaki's “Algebra” is not enough.
This book by Gruenberg-Weir seems to be what you are after.
All spaces are over arbitrary fields (but $\mathbb R$ and $\mathbb C$ are given extra consideration), the book is rigorous, self-contained, contains many drawings,studies semilinear transformations, is fairly advanced and has a key to the exercises at the end.
And it is very cheap.