Geometry¶
Recall (doc/postdoc) for Euclidean layer; research exits into differential and non-Euclidean geometry.
Job: Euclidean incidence and metric structure; coordinate models \(\mathbb{R}^n\); then manifolds, curvature, and non-Euclidean geometries as used in topology, GR, and geometric analysis.
Core¶
Classical geometry studies incidence, congruence, and measure in Euclidean space. Coordinates realize Euclid inside \(\mathbb{R}^n\); the parallel postulate distinguishes Euclidean, spherical, and hyperbolic models. Differential geometry upgrades this to smooth manifolds with Riemannian (or Lorentzian) metrics and curvature tensors.
| Layer | Content |
|---|---|
| Incidence / Euclid | points, lines, planes; Playfair / Euclid V |
| Metric Euclidean | distances, angles, congruence, similarity |
| Circles / polygons | inscribed angles, power, regular polytopes (sketch) |
| Coordinates | Cartesian model; analytic geometry |
| Non-Euclidean | spherical / hyperbolic models; curvature sign |
| Differential | manifolds, connections, curvature, geodesics |
Reading map¶
| Page | Focus |
|---|---|
| Foundations | incidence, Euclid/Playfair |
| Angles | measures; oriented angles later |
| Parallel lines | Euclid V; affine structure |
| Triangles | SSS/SAS; laws of sines/cosines |
| Congruence & similarity | isometries / homotheties |
| Polygons | \(n\)-gons; regular = cyclic + equilateral |
| Circles · Circle theorems | \(S^1\) metric geometry; inscribed angle, power |
| Area & volume | measure of polyhedra; later Lebesgue |
| Coordinate geometry | Cartesian model of Euclid |
| 3D geometry | \(\mathbb{R}^3\) lines/planes |
| Non-Euclidean | hyperbolic / spherical models |
| Differential geometry | manifolds, curvature, geodesics |
| GMT | rectifiability, currents, minimal surfaces |
| Complex geometry | Kähler, Hodge (exit) |
Dependency order¶
- Euclidean recall: foundations \(\to\) triangles / circles \(\to\) coordinates.
- Non-Euclidean (models; curvature intuition).
- Differential geometry after multivariable calculus + linear algebra.
- Research exits: GMT, complex geometry, mathematical physics.
Interfaces¶
| Area | Contact |
|---|---|
| Linear algebra | Isometries \(O(n)\); quadratic forms as metrics |
| Topology | Manifold topology; covering spaces of surfaces |
| Algebraic geometry | Varieties vs differential manifolds; comparison |
| PDE | Laplace–Beltrami; geometric flows |
| Mathematical physics | GR as Lorentzian geometry; gauge connections |
Notation (paper-standard)¶
- \(\mathbb{E}^n\), \(S^n\), \(\mathbb{H}^n\); \(\mathrm{Isom}\), \(O(n)\), \(SO(n)\)
- \(ds^2=g_{ij}dx^i dx^j\); \(\nabla\), \(R^\rho{}_{\sigma\mu\nu}\), \(\operatorname{Ric}\), \(\mathrm{Scal}\)
- \(\gamma\) geodesic; \(\exp_p\); sectional curvature \(K\)
- \(\angle\), power of a point; cross ratio (projective)
See it¶
Gauss–Bonnet (compact oriented surface). \(\int_M K\,dA+\int_{\partial M}k_g\,ds=2\pi\chi(M)\). Topology (\(\chi\)) constrains total curvature — the prototype of index and characteristic-class theorems (Chern–Gauss–Bonnet in higher dimensions). Hyperbolic surfaces (\(K\equiv-1\)) satisfy \(\mathrm{Area}= -2\pi\chi\) for closed \(M\).
Check¶
Which axiom separates Euclidean from hyperbolic plane geometry?
Parallel postulate / Playfair: through \(P\notin\ell\), exactly one parallel (Euclid) vs infinitely many (hyperbolic). Spherical geometry has no parallels (great circles always meet).
Why is the Euclidean parallel postulate independent of the other absolute axioms?
Consistent models exist for Euclidean (\(\mathbb{R}^2\)), hyperbolic (Beltrami–Klein / Poincaré disk), and spherical (with adjusted incidence) geometries — relative consistency via analytic models inside \(\mathbb{R}^n\).
Pitfalls¶
- Congruence vs similarity: same shape vs same shape and size; SAS/SSS are congruence criteria; AAA is similarity only.
- Curvature sign conventions differ by author (esp. for second fundamental form); always check \(K>0\) on the sphere.
- Manifold vs embedded surface: intrinsic geometry (\(g\), \(K\)) vs extrinsic (second fundamental form in \(\mathbb{R}^N\)).
Refs¶
- Euclid / Hartshorne, Geometry: Euclid and Beyond (foundations)
- do Carmo, Differential Geometry of Curves and Surfaces
- Lee, Introduction to Smooth Manifolds / Riemannian Manifolds
- Thurston, Three-Dimensional Geometry and Topology (models)
Next¶
Foundations · Coordinate geometry · Non-Euclidean · Differential geometry · Topology · GMT