§§ 8–10 & Concluding Remarks: Infinite Groups, Contact & Manifolds — Summary

Analytical Synopsis of Infinite Transformation Groups, Contact Manifolds, and the Galois Analogy

§ 8. Infinite-Dimensional Point-Transformation Groups

Moving beyond finite-parameter Lie groups, Klein examines three infinite-dimensional hierarchies of point-transformations:

  1. Birational (Cremona) Geometry (§ 8.1): Globally birational maps of $\mathbb{P}^2$ (Cremona transformations, generated by quadratic inversions) preserve curve genus and birational moduli; in 1893 (fn. 33), Klein adds that canonical abelian differentials $(\phi_1 : \dots : \phi_p)$ embed birational curve geometry back into linear projective geometry in $\mathbb{P}^{p-1}$!

  2. Analysis Situs / Topology (§ 8.2): The group of all real bicontinuous deformations (unendlich kleine Verzerrungen) establishes topology as an autonomous Erlangen geometry.

  3. All Smooth Point-Transformations / Diffeomorphisms (§ 8.3): Every smooth point-transformation acts infinitesimally on the tangent space as a linear projective transformation, giving projective geometry universal first-order privilege. Conversely, global projective geometry is cut out from all diffeomorphisms by adjoining the invariant manifold of planes/straight lines.

§ 9. Sophus Lie’s Group of All Contact-Transformations

  • Under general contact-transformations of $\mathbb{R}^3$, points, curves, and surfaces mix into one another; hence points do not form a transitive body.

  • Introducing the $5$-dimensional space of surface-elements $(x, y, z, p, q)$ with $p = \partial z / \partial x$, $q = \partial z / \partial y$, contact-transformations are precisely diffeomorphisms preserving the Pfaffian contact equation

    \[dz - p\,dx - q\,dy \;=\; 0.\]

  • Points, curves, and surfaces become uniform $2$-dimensional Legendrian submanifolds of united surface-elements, and every first-order PDE $F(x, y, z, p, q) = 0$ becomes locally equivalent to every other under contact transformations.

§ 10 & Concluding Remarks: $n$-Manifolds, Coordinate-Free Invariants, and Galois Theory

  • $n$-Manifolds (§ 10): Projective invariant theory ($\operatorname{PGL}_{n+1}$), constant-curvature Riemannian/Cayley–Klein manifolds (stabilizing a quadric), and flat Euclidean manifolds (stabilizing adegenerate hyperplane-quadric pair) unify differential and projective geometry in arbitrary dimension.

  • Coordinate-Free Invariant Formalism: Coordinates are harmless only when the analytical calculus operates exclusively with group invariants (such as algebraic invariants or Hamilton’s quaternions for $\operatorname{SO}_3$).

  • The Bridge to Book 1 — Continuous vs. Discrete Galois Theory: In his closing manifesto, Klein explicitly parallels continuous transformation groups on manifolds with Évariste Galois’s permutation groups on polynomial roots—linking the Erlangen Program directly to the algebraic constructibility and icosahedral/cyclotomic group theory of Famous Problems!