§§ 8–10 & Concluding Remarks — Critical & Symbolic Notes

Contact Jets, Noether’s Canonical Curve Embedding, and the Galois–Erlangen Bridge

1. Jet-Bundle Hierarchy: Contact, Point, and Projective Groups (§ 9)

At the close of § 9 (crediting Sophus Lie and Alfred Clebsch), Klein formulates a remarkably modern jet-manifold characterization of the three overarching transformation hierarchies on $3$-space:

  • Contact-Transformations: Preserve incidence $dz - p\,dx - q\,dy = 0$ of consecutive surface-elements $(x, y, z, p, q) \in \mathbb{P}(T^*\mathbb{R}^3)$ ($5$-manifold).

  • Point-Transformations (Diffeomorphisms): Preserve united position of consecutive line-elements $(x, y, z, [dx : dy : dz]) \in \mathbb{P}(T\mathbb{R}^3)$ ($5$-manifold).

  • Projective & Dualistic Transformations ($\operatorname{PGL}_4 \rtimes \mathbb{Z}_2$): Preserve second-order united position of consecutive connex-elements (incident point–line–plane flags $(p \in \ell \subset \Pi)$ in the $6$-dimensional flag manifold $\operatorname{Fl}(1, 2, 3; 4)$).

2. Klein’s 1893 Footnote 33: Canonical Curves Rescue Birational Geometry!

In 1872 (§ 8.1), Klein lamented that birational equivalences between distinct curves $C \dashrightarrow C'$ seemed to fall outside the Erlangen framework of transformations of a single fixed ambient space into itself. By 1893, following Brill–Noether theory (1874) and Weber, Klein triumphantly added Footnote 33: for any non-hyperelliptic curve $C$ of genus $p \ge 3$, the canonical map given by its $p$ holomorphic $1$-forms $(\phi_1 : \phi_2 : \dots : \phi_p)$ embeds $C$ canonically into $\mathbb{P}^{p-1}$ so that every birational isomorphism becomes a linear projective transformation of $\mathbb{P}^{p-1}$!

3. The Concluding Galois Parallel — Uniting Both Books of geometor.klein

Klein’s Concluding Remarks provide the exact architectural keystone uniting Book 2 (The Erlangen Program, 1872/1893) and Book 1 (Famous Problems of Elementary Geometry, 1895/1897):

  • In Galois Theory (Book 1, Part I, Chs. I–IV), a polynomial $f(x) = 0$ over a domain of rationality $K$ is governed by its finite Galois group $\operatorname{Gal}(L/K)$. Subgroups $H_k$ cutting down $\operatorname{Gal}(L/K)$ correspond to intermediate resolvent expressions (such as Gauss's $8$-, $4$-, and $2$-periods $\eta_0, \eta'_0, \eta''_0$ for $p = 17$, where $\mathbb{Z}_{16} \supset \mathbb{Z}_8 \supset \mathbb{Z}_4 \supset \mathbb{Z}_2 \supset \{1\}$).

  • In Erlangen Geometry (Book 2, §§ 1–2 & § 10), a manifold $M$ under a continuous group $G$ is governed by nested stabilizers $G \supset H_1 \supset H_2 \dots$ fixing distinguished geometric loci (such as the plane at infinity and the Absolute cutting $\operatorname{PGL}_4$ down to the Euclidean Principal Group).

  • Figures admitting nontrivial symmetry subgroups $\operatorname{Stab}_G(F) \neq \{1\}$—such as the regular polyhedra (Vorlesungen über das Ikosaeder, 1884, cited in 1893 fn. 40), surfaces of revolution, and Klein–Lie $W$-curves—are the exact geometric counterparts of special equations with abelian or solvable Galois groups!