Over the past year I worked through Frankel’s “The Geometry of Physics” cover to cover, not to relearn physics, but to rebuild a modern geometric toolbox as it is actually used there: manifolds, differential forms, connections and curvature, Lie groups and algebras, fiber bundles, gauge structure, and variational principles.

The motivation was practical rather than theoretical:

Which of these geometric structures, if any, actually survive discretization, noise, and SGD-style training in modern machine learning?

In physics, global and coordinate-free formulations were not aesthetic choices; they were forced when local reasoning stopped working. A recurring structural pattern was:

structure -> symmetry -> invariance -> dynamics -> observables

In modern ML we increasingly see analogous issues:

* parameter symmetries and large quotient spaces * non-Euclidean data (graphs, meshes, manifolds) * highly structured hypothesis classes * training dynamics that are not well-described by flat Euclidean optimization

Some geometric ideas clearly paid off (e.g. equivariance via group actions). Many others did not. I’m trying to understand where future leverage might still lie, and where geometry collapses to interpretation or preconditioning.

Below is my current (incomplete) map of where modern geometry already shows up in ML, or plausibly could.

1. Geometry of data (base spaces)

Manifolds, stratified spaces, graphs and meshes; discrete differential operators (graph Laplacians, discrete Hodge theory); topological summaries (persistent homology).

This seems strongest for representation, spectral methods, and diagnostics. The open question is how much of this geometry can couple dynamically to training, rather than remain preprocessing or analysis.

2. Geometry of hypothesis spaces (architectures)

So far the most successful direction:

* symmetry and equivariance via group actions * quotienting hypothesis spaces * convolution as representation theory * SE(3)- / gauge-equivariant models * architectures encoding invariants or conservation laws

Here geometry restricts the hypothesis class before optimization. I suspect there is still room beyond global groups, toward local gauge structure, fiber bundle–valued representations, and architectures defined by connections rather than coordinates.

3. Geometry of parameters and optimization

Optimization on manifolds (Stiefel, Grassmann, SPD cones), structured or low-rank parameterizations, information geometry and natural gradients.

This seems most effective when constraints are hard and geometric. In looser settings, much of this reduces to preconditioning. It’s unclear where deeper geometric structure still matters at scale.

4. Geometry of training dynamics

Viewing training as a stochastic dynamical system:

* gradient descent as discretized flow * SGD as an SDE * trajectories on manifolds * attractors and metastability

This connects to dynamical systems, stochastic analysis, and geometric mechanics, but remains underdeveloped relative to its apparent relevance.

5. Discrete vs smooth geometry

Modern ML is deeply discrete: finite precision, quantization, sparse activations, graph-based computation. Smooth differential geometry may be the wrong limit in some regimes. Discrete differential geometry or combinatorial curvature might be more appropriate.

Some failures of “geometric ML” may simply be failures of choosing the wrong geometric category.

What I’m looking for:

* geometric structures that have actually influenced model or optimizer design beyond equivariance * where Riemannian or information-geometric ideas help in large-scale training * which geometric frameworks seem promising but currently mismatched with SGD * directions I’m missing

Perspectives from theory groups, applied math, and industry research labs would be very welcome.

Western Digital doubles the performance of HDD with dual-actuator High-Bandwidth

"Virtual Twin Factory" is just a brute-force legacy model

Game Arena

Show HN: I'm 16 and built EU AI Act compliance software

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

Apple's Xcode Now Supports the Claude Agent SDK

Link Shortening Tools Are High Risk

Microsoft Has Killed Widgets Six Times. Here's Why They Keep Coming Back

39C3 – Celestial navigation with little math

Embedded Vector and Graph Database in Pure Go

French government may consider restricting VPNs

A few thoughts about PayPal, nearly 12 years after I left

Nvidia RTX 5070 Ti with a hole in the PCB manages to score a world record

Show HN: DeepInsight HITL AI research with collaboration and podcast generation

Code is getting cheaper. Building is not

The debt I cannot repay, by Claude

Is there a good way to manage GTM experiments, or is it inevitably ad-hoc?

Show HN: Iterio – Study timer with spaced repetition built in

Ask HN: Where does modern geometry survive contact with SGD?

If you tell AI not to do something, it's more likely to do it

We added TOON compression to our LLM gateway – compress prompts, saves tokens

Show HN: A personal feed that turns videos/podcasts/blogs into Twitter-y threads

Hexapawn: Variant of Chess with 6 Pieces

Show HN: Chitram – Open-source image hosting with automatic AI tagging

Show HN: Video2docs – Turn Screen Recordings into Step-by-Step Instructions

Show HN: Trappsec – detect attackers probing API business logic

Show HN: Continuity Capsule – Deterministic restarts for LLM agents

Show HN: Continuity Capsule – deterministic restarts for long-running LLM agents

Do Retention Ponds Work?

Show HN: Free Wealth management in one app (gold, stock, MF, budget etc.)

Show HN: A T-Spline Library