Poincaré conjecture

We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth proof follows the Hamilton–Perelman route through Ricci flow with surgery and finite-time extinction.

Perelman's proof of the Poincare conjecture shows that every simply connected closed 3-manifold is homeomorphic to the 3-sphere. The fundamental groups of 3-manifolds attract lots of interest from mathematicians of different fields. As it was stated in a famous survey of Allen Hatcher "The classification of 3-manifolds", one would want to know exactly which groups occur as fundamental groups of these manifolds. The Stallings-Jaco-Hempel reformulation of the Poincare conjecture inspired several connections between low-dimensional topology, equations over free groups, and combinatorial group theory. The reformulation reduces the problem to study epimorphisms from the fundamental group of a closed orientable surface onto the direct product of two free groups (they correspond to Heegaard splittings of 3-manifolds and were named splitting homomorphisms). Olshankii (1989) constructed (in non-explicit form) first non-trivial examples of such splitting epimorphisms and verified the standardness of some of them. We construct up to equivalence all the splitting coordinate-surjective homomorphisms (among them, the genuine splitting epimorphisms are exactly those for which our constructed associated group balanced presentation is trivial). We give generators and relations of the corresponding balanced presentation (so all closed orientable 3-manifold groups) that can be studied by algebraic methods. We analyse a big class of such homomorphisms/presentations (including all Olshanskii's epimorphisms) and show that splitting epimorphisms are rare, in this case the corresponding balanced presentation of the trivial group can be reduced to the standard one by Andrews-Curtis transformations and the epimorphisms are standard.

We present a differential geometric formulation of the Poincare problem using the calculus of moving surfaces (CMS). In this framework, an n dimensional compact hypersurface evolves under a velocity field that couples motion to the extrinsic curvature tensor while preserving topology through smooth diffeomorphic flow. A variational energy principle identifies constant mean curvature (CMC) manifolds as the unique stationary equilibria of CMS dynamics. Consequently, the evolution of any compact simply connected hypersurface relaxes to a CMC equilibrium and, in the isotropic case, to the round sphere. Unlike Ricci flow approaches, which are dimension restricted and require topological surgery, the CMS formulation holds for all dimensions and preserves manifold topology for all time. This provides a deterministic geometric mechanical route to the Poincare conclusion, unifying dynamics, topology, and equilibrium geometry within a single analytic framework.

We study the topology of the space of all smooth asymptotically stable vector fields on ${\mathbb{R}}^n$, as well as the space of all proper smooth Lyapunov functions for such vector fields. We prove that both spaces are path-connected and simply connected when $n\ne 4,5$ and weakly contractible when $n\le 3$. Moreover, both spaces have the weak homotopy type of the nonlinear Grassmannian of submanifolds of ${\mathbb{R}}^n$ diffeomorphic to the $n$-disc. The proofs rely on Lyapunov theory and differential topology, such as the work of Smale and Perelman on the generalized Poincaré conjecture and results of Smale, Cerf, and Hatcher on the topology of diffeomorphism groups of discs. Applications include a partial answer to a question of Conley, a parametric Hartman-Grobman theorem for nonyperbolic but asymptotically stable equilibria, and a parametric Morse lemma for degenerate minima. We also study the related topics of hyperbolic equilibria, Morse minima, and relative homotopy groups of the space of asymptotically stable vector fields inside the space of those vanishing at a single point.

Machine learning techniques are increasingly powerful, leading to many breakthroughs in the natural sciences, but they are often stochastic, error-prone, and blackbox. How, then, should they be utilized in fields such as theoretical physics and pure mathematics that place a premium on rigor and understanding? In this Perspective we discuss techniques for obtaining rigor in the natural sciences with machine learning. Non-rigorous methods may lead to rigorous results via conjecture generation or verification by reinforcement learning. We survey applications of these techniques-for-rigor ranging from string theory to the smooth $4$d Poincaré conjecture in low-dimensional topology. One can also imagine building direct bridges between machine learning theory and either mathematics or theoretical physics. As examples, we describe a new approach to field theory motivated by neural network theory, and a theory of Riemannian metric flows induced by neural network gradient descent, which encompasses Perelman's formulation of the Ricci flow that was utilized to resolve the $3$d Poincaré conjecture.

We develop a general theory of flows in the space of Riemannian metrics induced by neural network gradient descent. This is motivated in part by recent advances in approximating Calabi-Yau metrics with neural networks and is enabled by recent advances in understanding flows in the space of neural networks. We derive the corresponding metric flow equations, which are governed by a metric neural tangent kernel, a complicated, non-local object that evolves in time. However, many architectures admit an infinite-width limit in which the kernel becomes fixed and the dynamics simplify. Additional assumptions can induce locality in the flow, which allows for the realization of Perelman's formulation of Ricci flow that was used to resolve the 3d Poincaré conjecture. We demonstrate that such fixed kernel regimes lead to poor learning of numerical Calabi-Yau metrics, as is expected since the associated neural networks do not learn features. Conversely, we demonstrate that well-learned numerical metrics at finite-width exhibit an evolving metric-NTK, associated with feature learning. Our theory of neural network metric flows therefore explains why neural networks are better at learning Calabi-Yau metrics than fixed kernel methods, such as the Ricci flow.

Here we outline a proof for the 4-dimensional smooth Poincare Conjecture.

The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) $J$-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the $J$-totally nonnegative flag variety has a cellular decomposition into totally positive $J$-Richardson varieties. Moreover, each totally positive $J$-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive $J$-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the $J$-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam.