Skip to main content

Chapter 30
Non-Euclidean Geometry — Curvature Encoding

Geometry and Space
Author: Mark Anthony Higgins
© Mark Anthony Higgins 11 October 2025
Revised Date: 15 June 2026
Ai Search
Audio Overview
Previous Chapter 29
Next Chapter 31
Flow Algebra 
flow "Non-Euclidean Geometry — Curvature Encoding"

# ---------- CONCEPT ----------
# Non-Euclidean geometry encodes how space departs from flatness through curvature.
# The metric g_ij stores local measurement rules; its Levi-Civita connection ∇ transports vectors.
# Curvature (Riemann, Ricci, scalar, sectional) is the intrinsic memory of how transport fails to commute.
# Geodesics are coherence paths: locally extremal length curves shaped by the metric.

# ---------- STATES ----------
state CurvedSpace(M):
  Manifold:
    description: "Smooth space M with coordinates x^i."
  Metric:
    description: "g_ij(x): inner product on tangent spaces — local measurement law."
  Connection:
    description: "Levi-Civita Γ^i_{jk} (torsion-free, metric-compatible) — rule for parallel transport."
  Geodesic:
    description: "Curve γ(s) with ∇_{γ̇} γ̇ = 0 — locally length-extremising path."
  CurvatureTensors:
    description: "R^i_{jkl} (Riemann), R_jk (Ricci), R (scalar), K(σ) (sectional)."
  Models:
    description: "Constant curvature spaces: sphere S^n (K>0), hyperbolic H^n (K<0), Euclidean ℝ^n (K=0)."

# ---------- PARAMETERS ----------
params:
  coordinates: "x = (x^1,…,x^n)"
  metric_tensor: "g_ij(x), inverse g^{ij}"
  units: "ds^2 = g_ij dx^i dx^j"
  curvature_sign: "positive/zero/negative"
  signature: "Riemannian ( + + … + ) or pseudo-Riemannian"
  closure: true

# ---------- INVARIANTS ----------
invariants:
  - "Levi-Civita properties: ∇_k g_ij = 0 (metric-compatibility), Γ^i_{jk} = Γ^i_{kj} (torsion-free)."
  - "Geodesic equation: d^2x^i/ds^2 + Γ^i_{jk} (dx^j/ds)(dx^k/ds) = 0."
  - "Riemann tensor encodes intrinsic curvature; vanishes ⇔ space is locally Euclidean."
  - "Sectional curvature K(σ) depends only on metric — intrinsic (Gauss)."
  - "Angle sum of geodesic triangles: >π (K>0), =π (K=0), <π (K<0)."
  - "Parallel transport around a loop produces holonomy determined by R^i_{jkl}."

# ---------- TRANSFORMS ----------
transforms:
  ChristoffelFromMetric(g):
    rule: "Γ^i_{jk} = 1/2 g^{iℓ}(∂_j g_{kℓ} + ∂_k g_{jℓ} − ∂_ℓ g_{jk})."
  GeodesicSolve(g, x0, v0):
    rule: "Integrate geodesic ODE with initial point/tangent."
  CurvatureFromΓ(Γ):
    rule: "R^i_{jkl} = ∂_k Γ^i_{jl} − ∂_l Γ^i_{jk} + Γ^i_{km}Γ^m_{jl} − Γ^i_{lm}Γ^m_{jk}."
  ContractCurvature(R):
    rule: "Ricci R_jl = R^i_{jil}, scalar R = g^{jl}R_jl."
  SectionalCurvature(u,v):
    rule: "K(u∧v) = ⟨R(u,v)v, u⟩ / (‖u‖^2‖v‖^2 − ⟨u,v⟩^2)."
  CoordinateChange(A):
    rule: "Transform tensors by standard tensor laws; physics/geometry invariant."
  ModelMetrics():
    examples:
      sphere_S2: "ds^2 = R^2(dθ^2 + sin^2θ dφ^2)"
      hyperbolic_disk: "ds^2 = 4|dz|^2/(1−|z|^2)^2"
      euclidean: "ds^2 = dx^2 + dy^2 + dz^2"

# ---------- MONITORS ----------
monitors:
  TriangleAngleSum(Δ):
    measure: "Σ angles(Δ) − π"
    meaning: ">0 spherical, =0 flat, <0 hyperbolic."
  CircumferenceRadiusRatio(r):
    compare: "C(r)/r versus 2π"
    meaning: "<2π (K>0), =2π (K=0), >2π (K<0) for small r."
  GeodesicDeviation(u,ξ):
    equation: "D^2ξ^i/Ds^2 = − R^i_{jkl} u^j ξ^k u^l"
    meaning: "Neighboring geodesic focusing/defocusing."
  HolonomyLoop(γ):
    meaning: "Net rotation of a parallel-transported vector; zero in flat space."
  FlatnessCheck:
    condition: "R^i_{jkl} ≡ 0"
    output: "True ⇒ locally Euclidean."

# ---------- EQUATIONS ----------
equations:
  - "ds^2 = g_{ij} dx^i dx^j"
  - "Γ^i_{jk} = \\tfrac{1}{2} g^{iℓ}(∂_j g_{kℓ} + ∂_k g_{jℓ} − ∂_ℓ g_{jk})"
  - "\\ddot{x}^i + Γ^i_{jk} \\dot{x}^j \\dot{x}^k = 0"
  - "R^i_{\\, jkl} = ∂_k Γ^i_{jl} − ∂_l Γ^i_{jk} + Γ^i_{km}Γ^m_{jl} − Γ^i_{lm}Γ^m_{jk}"
  - "R_{jl} = R^i_{\\, jil}, \\quad R = g^{jl} R_{jl}"
  - "K(u∧v) = \\dfrac{\\langle R(u,v)v, u \\rangle}{\\|u\\|^2\\|v\\|^2 − \\langle u,v \\rangle^2}"
  - "\\text{Geodesic deviation: } \\dfrac{D^2 ξ^i}{Ds^2} = − R^i_{\\, jkl} u^j ξ^k u^l"
  - "S^2: \\ ds^2 = R^2(dθ^2 + \\sin^2 θ\\, dφ^2), \\quad H^2: \\ ds^2 = \\dfrac{4|dz|^2}{(1−|z|^2)^2}"

# ---------- NOTES ----------
notes:
  - "Curvature is intrinsic: it lives in the metric and its derivatives; embeddings may change, K does not."
  - "Positive curvature focuses geodesics (convergence), negative curvature defocuses (divergence)."
  - "Holonomy and parallel transport reveal curvature operationally — vectors rotated by closed loops."
  - "In 2D, Gaussian curvature K fully determines local geometry; Gauss–Bonnet links ∫K dA to topology."
  - "Non-Euclidean geometries generalise Euclid: spherical (no parallel geodesics), hyperbolic (many), Euclidean (exactly one)."
  - "In Flow Algebra, the metric encodes measurement coherence, the connection encodes transport coherence, and curvature encodes **memory of motion** — how returning flows fail to close in flat fashion."
Explanatory Notes

Curvature is the geometry of how space remembers motion.
In Euclidean geometry, the rules of distance and angle are constant — triangles always sum to π, and parallel lines never meet.  But when curvature enters, these certainties shift.   Space itself becomes active coherence, recording how paths deviate, how motion bends, and how structure remembers the way it turns.

Every geometric space begins with its metric — the rule of measurement that defines how distances and angles behave:

\[ ds^2 = g_{ij}\,dx^i\,dx^j \]

The components gijg_{ij} form the metric tensor, which stores the inner geometry of the manifold.  They determine what “straight” means, how surfaces stretch, and how direction transforms from one point to another.

This metric gives birth to the connection — a structure that defines how to transport a vector smoothly through space without tearing coherence.

The Levi-Civita connection,

\[ \Gamma^i_{\;jk} = \tfrac{1}{2} g^{i\ell} \left( \partial_j g_{k\ell} + \partial_k g_{j\ell} - \partial_\ell g_{jk} \right) \]

ensures two key forms of coherence: it is metric-compatible (∇g=0\nabla g = 0) and torsion-free (Γjki=Γkji\Gamma^i_{jk} = \Gamma^i_{kj}).
Through it, the geometry defines how directions evolve as one moves — the parallel transport law that keeps local structure aligned.

When a vector completes a loop in curved space, it does not return unchanged. The difference encodes the curvature tensor R  jkliR^i_{\;jkl}:

 

\[ R^i_{\;jkl} = \partial_k \Gamma^i_{\;jl} - \partial_l \Gamma^i_{\;jk} + \Gamma^i_{\;km}\Gamma^m_{\;jl} - \Gamma^i_{\;lm}\Gamma^m_{\;jk} \]

This tensor measures how much geometry fails to commute — how the act of moving in one direction and then another differs from doing them in reverse.   Curvature is thus the stored memory of non-commutativity, the trace of space bending back upon itself.

Geodesics, defined by

\[ \frac{D^2 x^i}{Ds^2} = 0 \quad \text{or} \quad \ddot{x}^i + \Gamma^i_{\;jk}\,\dot{x}^j\,\dot{x}^k = 0 \]

are the paths of coherent motion — curves that locally extremise distance or energy.
In flat space they are straight lines; on a sphere they are great circles; in hyperbolic space, arcs that diverge yet remain bound by curvature.
Each geometry reshapes the idea of “straightness” through its metric.

Curvature manifests itself through simple geometric facts:

  • In spherical space (K>0K > 0), the angles of a triangle sum to more than π, and geodesics converge.
  • In Euclidean space (K=0K = 0), they sum to exactly π, and geodesics remain parallel.
  • In hyperbolic space (K<0K < 0), they sum to less than π, and geodesics diverge indefinitely.

Thus, the sign of curvature determines how coherence behaves globally — whether it folds in on itself, balances, or expands outward.

The Riemann curvature tensor is the full expression of this behaviour.  By contraction, we derive the Ricci tensor RijR_{ij} and the scalar curvature RR, summarising how space expands or compresses at each point.
In two dimensions, curvature simplifies beautifully:  the Gaussian curvature

\[ K = \frac{eg - f^2}{EG - F^2} \]

depends only on the metric itself — it is intrinsic, needing no external embedding. Gauss called this revelation Theorema Egregium — “the remarkable theorem” — because it proved that curvature lives inside the geometry, not outside it.

Parallel transport reveals curvature operationally.
Take a vector around a small closed loop: when it returns rotated, the amount of rotation is proportional to the area of the loop multiplied by K.

This rotation — holonomy — is the geometric memory of curvature.  Flat space has no memory; curved space remembers where it has been.

Constant curvature spaces illustrate the extremes of coherence:

  • The sphere (S2S^2) with ds2=R2(dθ2+sin⁡2θ dϕ2)ds^2 = R^2(d\theta^2 + \sin^2\theta\, d\phi^2) — coherence closes upon itself (finite, convergent).
  • The hyperbolic plane (H2H^2) with ds2=4∣dz∣2(1−∣z∣2)2ds^2 = \frac{4|dz|^2}{(1 - |z|^2)^2} — coherence expands infinitely (open, divergent).
  • The Euclidean plane (R2\mathbb{R}^2) — coherence remains balanced (neutral).

In Flow Algebra, curvature is understood as the encoded feedback of geometry — the way space itself stores the result of movement, rotation, and transport.

The metric defines how coherence is measured;
the connection defines how coherence moves;
and curvature defines how coherence remembers.

Through curvature, space ceases to be static.
It becomes a living field of relations —
one where motion, memory, and measurement are woven into a single, self-consistent flow.

Previous Chapter 29
Next Chapter 31
Related Chapters
Privacy Policy
Site Map
Kireth Research
38 Thorndale Croft, Wetwang, Driffield
East Riding of Yorkshire YO25 9XZ
Telephone:
01377 236594
Designed By
Kireth Web Design
Audio Explainer RSS Feed