Differential geometry
29 results in OpenAI Math 2026.
Differential geometry29
-
Smooth isometric immersions of surfaces into ℝ4
Every closed smooth Riemannian surface admits a smooth isometric immersion into ℝ4, resolving the closed-surface form of the four-dimensional isometric-immersion problem. This includes nonorientable surfaces and metrics of arbitrary Gaussian curvature.
Formal proof listed -
A smooth surface metric with no local isometric immersion in ℝ3
Constructs a smooth positive-definite metric on for which no neighborhood of the origin admits a smooth isometric immersion into ℝ3. This answers the unrestricted smooth local isometric realization problem for surfaces negatively, even after shrinking the neighborhood.
Formal proof listed -
Gromov’s integral scalar-curvature bound for simplicial volume
Proves for every closed connected oriented smooth n-manifold, n ≥ 3, and every smooth metric, with depending only on dimension. Here and is real simplicial volume. Also proves rational inessentiality under positive scalar curvature, resolving the Gromov–Lawson conjecture; every nonnegative-scalar-curvature metric on a closed aspherical manifold is flat.
Claimed, not checked -
Spectral scalar curvature, Urysohn width, and macroscopic dimension
Every complete connected smooth boundaryless n-manifold, n ≥ 3, satisfying as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most whose entire fibers have diameter bounded only by n in the original metric. This strengthens Gromov's width conclusion to spectral scalar curvature. Universal covers of closed positive-scalar-curvature manifolds also have continuous macroscopic dimension at most for every n ≥ 2.
Claimed, not checked -
Sharp Cartan–Hadamard isoperimetry and rigidity
Proves generalized Cartan–Hadamard isoperimetry in every dimension: in a complete simply connected manifold with sectional curvature at most κ ≤ 0, every finite-volume finite-perimeter set satisfies the sharp comparison with the equal-volume model ball. Bounded positive-volume equality regions for κ = 0 are Euclidean balls. Also proves sharp Euclidean filling bounds for compactly supported integral n-cycles, n ≥ 2, in arbitrary proper CAT spaces.
Formal proof listed -
Yau's uniformization conjecture
Proves Yau's uniformization conjecture: every complete connected noncompact Kähler manifold with strictly positive holomorphic bisectional curvature is biholomorphic to ℂn.
Claimed, not checked -
Katok's entropy rigidity conjecture
Proves Katok's entropy rigidity conjecture for closed connected Riemannian manifolds of dimension at least three with strictly negative sectional curvature: normalized Liouville measure maximizes entropy for the geodesic flow if and only if the metric is locally symmetric.
Claimed, not checked -
A counterexample to the nearby Lagrangian conjecture
Disproves the unrestricted nearby Lagrangian conjecture. For some sufficiently large even N, constructs a closed exact embedded Lagrangian in that is diffeomorphic to the base but not Hamiltonian isotopic to its zero section.
Claimed, not checked -
Donaldson's hypersymplectic deformation conjecture
Proves Donaldson's hypersymplectic deformation conjecture in a cohomology-preserving form. Every positive triple of smooth closed two-forms on a closed connected oriented four-manifold, normalized by , deforms through positive closed triples to a hyperkähler triple while preserving all three cohomology classes. Any positive triple can first be normalized by a constant linear change.
Claimed, not checked -
Donaldson's tamed-to-compatible conjecture
Proves Donaldson's tamed-to-compatible conjecture: every smooth almost complex structure on a closed four-manifold that is tamed by a symplectic form admits a compatible symplectic form. The almost complex structure stays fixed; the form's cohomology class may change.
Formal proof listed -
Symplectic ball packing in higher dimensions
Resolves the Siegel–Yao conjecture for arbitrary capacities in every dimension . Finitely many closed symplectic balls of capacities embed disjointly into an open ball of capacity R exactly when and for every distinct pair i, j.
Formal proof listed -
The metric Blaschke conjecture
Proves the metric Blaschke conjecture: every closed connected Riemannian manifold of positive dimension whose injectivity radius equals its diameter is, up to scaling, a standard compact rank-one symmetric space.
Claimed, not checked -
Infinitely many closed geodesics on Riemannian spheres and closed three-manifolds
Proves that every smooth Riemannian metric on Sn, n ≥ 2, has infinitely many prime closed geodesics with pairwise distinct images. The same conclusion holds on every closed manifold admitting a finite smooth spherical cover and on every closed three-manifold, without orientability or nondegeneracy restrictions.
Claimed, not checked -
Sharp singular-set bounds for stationary integral varifolds
Proves that every stationary integral m-varifold in a Euclidean open set has singular set of Hausdorff dimension at most , a sharp bound in every positive dimension and codimension. On round spheres, the family also proves almost-everywhere regularity: the singular set has zero m-dimensional Hausdorff measure.
Claimed, not checked -
Counterexamples to stable-Morse and strong Arnold fixed-point bounds
Disproves stable-Morse lower bounds for nondegenerate Hamiltonian fixed points: on simply connected closed Kähler manifolds of real dimension 22, the deficit below the stable Morse number is unbounded. A separate Hamiltonian diffeomorphism of the complex quadric threefold has exactly three fixed points, fewer than the four critical points required of every smooth function.
Formal proof listed -
Nonnegative-curvature Einstein classification and an L2 topological gap
Classifies closed connected Einstein four-manifolds with positive Einstein constant and nonnegative sectional curvature: up to scaling, their universal Riemannian covers are the round S4, Fubini–Study , or a product of equal round two-spheres. A closed simply connected nonnegatively curved four-manifold is diffeomorphic to one of these whenever the scale-invariant L2 norm of its trace-free Ricci curvature lies below a universal positive constant.
Formal proof listed -
The Solomon–Yau least-volume conjecture
Proves the Solomon–Yau least-volume conjecture for minimal hypersurfaces of round spheres. For every m ≥ 2, a closed connected minimal immersion into the unit sphere with non-totally-geodesic image has volume at least that of the smallest minimal Clifford product, counting covering multiplicity.
Claimed, not checked -
Yau’s nodal bounds: surfaces and higher dimensions
Proves the sharp upper bound for nodal length on every fixed smooth closed surface, completing Yau's conjecture there. The upper bound fails for fixed smooth metrics in dimensions three and four, including metrics on S3 arbitrarily close to round. In dimension five, nodal measure can grow faster than for some fixed , ruling out even arbitrarily small power losses.
Formal proof listed -
Scalar curvature and finite-time Ricci-flow singularities
Proves that a smooth Ricci flow on a closed four-manifold extends past any finite time at which scalar curvature remains uniformly bounded. A higher-dimensional counterexample has bounded scalar curvature but unbounded full curvature at its finite maximal time, disproving the unrestricted scalar-curvature extension conjecture.
Claimed, not checked -
A finite-time singularity of Calabi flow
Disproves Chen's smooth long-time existence conjecture for Calabi flow by constructing a smooth -invariant Kähler metric on whose flow develops a finite-time singularity. The metric lies in the Fubini–Study class, so the failure occurs even in a class containing a constant-scalar-curvature metric.
Claimed, not checked -
Affine Bernstein rigidity through dimension nine and a smooth dimension-ten counterexample
Proves that every smooth locally uniformly convex affine-maximal graph of dimension three through nine, complete for its induced Euclidean metric, is an elliptic paraboloid. A smooth entire nonquadratic example in dimension ten makes this range sharp. In dimensions three through nine, the paraboloid classification also holds for connected open locally uniformly convex affine-maximal hypersurfaces complete for the affine Berwald–Blaschke metric.
Formal proof listed -
The isoperimetric profile of the cubic three-torus
Determines the isoperimetric profile of the unit cubic flat three-torus and classifies every finite-perimeter minimizer: balls, circular tubes around shortest closed geodesics, coordinate slabs, and their complements. The transition volumes are and , with exactly the adjacent two types minimizing at each transition.
Formal proof listed -
Unique tangent flows at the first surface singularity
Proves the first-singular-time case of tangent-flow uniqueness for smooth compact connected embedded surfaces without boundary in ℝ3. At every singular point, all fixed-center backward tangent flows agree as area measures at every negative time in the original ambient coordinates, without mean-convexity or a prescribed tangent model.
Claimed, not checked -
Gigli’s characterization of Alexandrov curvature
Proves Gigli's conjecture: in every integer dimension n ≥ 2, Alexandrov curvature at least κ is characterized by the full-support condition with reference measure and distributional sectional curvature at least κ in the original global test classes. The RCD condition is unreduced.
Formal proof listed -
Bi-Lipschitz coordinates at every regular RCD point
Proves that every regular point of a noncollapsed space, for K ∈ ℝ and integer n ≥ 2, has an open neighborhood bi-Lipschitz to an open subset of ℝn. Regularity requires all pointed tangents to be Euclidean, the reference measure is exactly , and the chart compares ambient distances with a point-dependent finite constant.
Claimed, not checked -
A three-manifold without conjugate points or nonpositive curvature
Constructs a closed connected orientable smooth three-manifold that admits a metric without conjugate points but no metric of nonpositive sectional curvature. This answers negatively, already in dimension three, whether the first metric-existence property implies the second.
Formal proof listed -
Negative Kähler curvature without bounded holomorphic coordinates
Constructs a contractible domain in ℂ3 with a complete negatively pinched Kähler metric but no bounded holomorphic coordinates, disproving bounded-domain uniformization in this setting. A higher-dimensional example has sectional curvature at most −1 and only constant bounded holomorphic functions; its curvature is not bounded below.
Formal proof listed -
Weak MTW curvature gives convexity and regular optimal transport
On every closed connected Riemannian manifold of dimension at least two satisfying weak Ma–Trudinger–Wang curvature, all tangent injectivity domains are convex, resolving Villani’s conjecture in this setting. For squared-distance transport between measurable probability densities bounded above and away from zero, the optimal map and its inverse are Hölder continuous.
Formal proof listed -
Failure of integer-degree harmonic dimension comparison
Disproves Yau's proposed Euclidean dimension bound for harmonic functions of integer growth on manifolds with nonnegative Ricci curvature. For every sufficiently large integer k, a complete smooth metric on ℝ3 has at least independent harmonic functions of growth at most k, exceeding the Euclidean count . The metric may depend on k.
Formal proof listed