Key Concepts in Non-Euclidean Geometries

Why This Matters

Non-Euclidean geometries represent one of the most profound shifts in mathematical thinking—the realization that Euclid's parallel postulate isn't a universal truth but rather a choice that defines the space you're working in. When you study these geometries, you're being tested on your understanding of how curvature, parallel behavior, and angle sums fundamentally change depending on the underlying space. These concepts connect directly to group theory through transformation groups and symmetries that preserve geometric structure.

The key insight here is that different geometries arise from different assumptions about parallelism and curvature: negative curvature gives hyperbolic geometry, positive curvature gives elliptic/spherical geometry, and zero curvature gives familiar Euclidean geometry. Don't just memorize that triangles have different angle sums—understand why curvature forces this behavior and how transformation groups act differently in each setting.

---

Negative Curvature: Hyperbolic Geometry

In spaces with constant negative curvature, parallel lines diverge, and there's "more room" than in flat space—leading to infinitely many parallels through any external point.

Hyperbolic Geometry

• Parallel postulate fails dramatically—through a point not on a line, infinitely many non-intersecting lines exist, not just one
• Triangle angle sums are less than $180°$, with the deficit proportional to the triangle's area (larger triangles have smaller angle sums)
• Poincaré disk and hyperboloid models provide visualizations; the isometry group is $PSL(2, \mathbb{R})$, connecting directly to Möbius transformations

---

Positive Curvature: Elliptic and Spherical Geometries

Spaces with constant positive curvature have no parallel lines at all—every pair of lines eventually meets, and there's "less room" than in flat space.

Elliptic Geometry

• No parallel lines exist—any two lines intersect, eliminating the parallel postulate entirely rather than modifying it
• Triangle angle sums exceed $180°$, with the excess (called spherical excess) proportional to area
• Antipodal points are identified—unlike spherical geometry, opposite points on a sphere are treated as the same point, creating a non-orientable space

Spherical Geometry

• Great circles serve as "lines"—the shortest path between points follows arcs of circles whose center is Earth's center
• Triangle angle sums range from $180°$ to $540°$, depending on size; a triangle covering a hemisphere has angles summing to $270°$
• Essential for navigation and astronomy—geodesics on Earth's surface follow spherical geometry, making this practically critical

---

Invariance Under Transformation: Projective Geometry

Projective geometry studies properties unchanged by projection—what remains true when you view objects from different perspectives or project them onto different surfaces.

Projective Geometry

• All lines meet at a "point at infinity"—parallel lines are considered to intersect, eliminating the distinction between parallel and intersecting
• Cross-ratio is the fundamental invariant—the quantity $\frac{(A-C)(B-D)}{(A-D)(B-C)}$ remains unchanged under projection
• Duality principle applies—theorems remain valid when "point" and "line" are interchanged, revealing deep structural symmetry

---

Variable Curvature: Riemannian Geometry

Riemannian geometry generalizes all previous cases by allowing curvature to vary from point to point, using calculus to study geometry on curved manifolds.

Riemannian Geometry

• Riemannian metric $g_{ij}$ defines distance and angles—this tensor field determines how to measure lengths and angles at each point of a manifold
• Geodesics generalize straight lines—they're locally length-minimizing curves, governed by the geodesic equation involving Christoffel symbols
• Curvature tensor encodes geometric information—the Riemann curvature tensor $R^i_{jkl}$ captures how parallel transport around closed loops fails to return vectors to their original direction

---

Quick Reference Table

---

Self-Check Questions

1. Which two geometries eliminate parallel lines entirely, and what distinguishes their approaches to doing so?

2. If you're given a triangle with angle sum $175°$, what type of geometry are you working in, and what does this tell you about the curvature of the space?

3. Compare and contrast the Poincaré disk model of hyperbolic geometry with the sphere model of spherical geometry—what do their transformation groups reveal about their structure?

4. Why is Riemannian geometry considered a generalization of the other non-Euclidean geometries? What additional flexibility does it provide?

5. FRQ-style: A geometry problem states that through any point not on a given line, exactly zero parallel lines exist. Identify the geometry, describe its curvature, and explain how triangle angle sums behave in this space.