Differential Geometry: The Eagle-Eye Odyssey

Pedagogical Heritage & Remote Collaboration 1984 ➜ Present

Inspired by Senia Sheydvasser's lucid overview "An Overview of Differential Geometry", which prompted L. Van Warren to revisit geometric workflows developed four decades earlier at the Utah Computer Graphics Lab under Richard Riesenfeld, Elaine Cohen, and inspired by Jim Blinn, preceded by Edward Kuznetsov at UIUC (including a 1984 moving Frenet frame simulator). Synthesized in collaborative partnership with Google Gemini Flash 3.8.

◈ The Moving Frame of a Space Curve

1D Submanifold

A space curve is parameterized by arc length $s$. At each point, three mutually orthogonal vectors form the Frenet-Serret Frame: Tangent $\mathbf{T}$, Normal $\mathbf{N}$, and Binormal $\mathbf{B}$. Arrowheads are rendered via 2D screen-aligned view bilboarding to avoid Jim Blinn's 3D perspective foreshortening.

Select Curve Geometry:

Curve Parameter ($s$ / $t$): s = 0.200

Show Osculating Circle

Curvature $\kappa$

1.414

Bending: $\|\mathbf{T}'(s)\|$

Torsion $\tau$

0.707

Twist: $-\mathbf{N} \cdot \mathbf{B}'$

Frenet-Serret System:

              $$\begin{pmatrix} \mathbf{T}' \\ \mathbf{N}' \\ \mathbf{B}' \end{pmatrix} = \begin{pmatrix} 0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0 \end{pmatrix} \begin{pmatrix} \mathbf{T} \\ \mathbf{N} \\ \mathbf{B} \end{pmatrix}$$

◈ Geodesics & The Great Branches

Variational

A Geodesic is an intrinsically straight trajectory ($\nabla_{\dot{\gamma}}\dot{\gamma} = 0$). A tactile straw yellow puck with a surface drop shadow carries the Darboux Frame, verifying that geodesic curvature $\kappa_g \equiv 0$ (no lateral steering), while neighboring geodesics converge or diverge according to Jacobi field equations $\ddot{J} + KJ = 0$.

Launch Angle ($\theta$): 45°

The Great Branches Taxonomy:

Riemannian Geometry

$$ds^2 = g_{ij} dx^i dx^j, \quad g_{ij} \succ 0$$

Founded by Bernhard Riemann in 1854. Every tangent space is endowed with a positive-definite inner product, giving rise to arc length, gradient flows, and Levi-Civita connections.

💡 Pedagogical Core

Curvature is not merely how a shape bends in ambient space; it is the physical failure of parallel lines to stay parallel, and the rotation vectors experience when you carry them around a loop!

            Frame Legend
          

            
               $\mathbf{T}$ Tangent
            
               $\mathbf{N}$ Normal
            
               $\mathbf{B}$ Binormal

Frenet Space Curve Engine

            Radius ρ = 0.71
            Speed ||r'|| = 1.00
            Rotate: Left Click Drag • Zoom: Scroll
          

Van Warren Sage Green Theme: #99CC99

Click any dotted term to reveal deep mathematical intuitions without breaking flow.

Differential Geometry: The Eagle-Eye Odyssey

◈ The Moving Frame of a Space Curve

◈ Surface Curvature Lab

◈ Manifolds, Charts & Atlases

◈ Parallel Transport & Holonomy

◈ Geodesics & The Great Branches

Riemannian Geometry

Concept