OpenAI reports Gigli’s Alexandrov curvature characterization

For every integer n≥2 and real κ, a complete separable metric space is an n-dimensional Alexandrov space of curvature at least κ exactly when its Hausdorff-measure metric space has full support, is RCD((n−1)κ,n), and has Gigli distributional sectional curvature at least κ on the original global test classes.

Curated contributions 1

Understand the problem ↓

OpenAI reports Gigli’s Alexandrov curvature characterization

  • Mathematics

For every integer n≥2 and real κ, a complete separable metric space is an n-dimensional Alexandrov space of curvature at least κ exactly when its Hausdorff-measure metric space has full support, is RCD((n−1)κ,n), and has Gigli distributional sectional curvature at least κ on the original global test classes.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

For every integer n≥2 and real κ, a complete separable metric space is an n-dimensional Alexandrov space of curvature at least κ exactly when its Hausdorff-measure metric space has full support, is RCD((n−1)κ,n), and has Gigli distributional sectional curvature at least κ on the original global test classes.

Why it matters

If correct, resolves Gigli’s characterization conjecture in dimensions at least two.

What counts as progress

Does Gigli’s distributional sectional-curvature bound characterize Alexandrov lower curvature?

Website timeline

Publication dates and editorial changes.