geometry-topology / Metric geometry; RCD spaces and Alexandrov spaces

Gigli's conjecture: Alexandrov curvature bounds are characterized by his distributional sectional curvature on noncollapsed RCD spaces

Theorem 1.1: for every integer n≥2n\ge2 and κ∈R\kappa\in\mathbb R, a complete separable metric space is an nn-dimensional Alexandrov space with curvature at least κ\kappa if and only if, with m=Hnm=\mathcal H^n, it is a full-support unreduced RCD((n−1)κ,n)\mathrm{RCD}((n-1)\kappa,n) space whose distributional sectional curvature is at least κ\kappa in Gigli's original global test classes. The reference measure must be exactly Hausdorff measure; collapsed or weighted spaces are not covered, and dimension one is excluded. The companion proves that weak Hessian upper bounds hold along every minimizing geodesic in any full-support RCD(K,N)\mathrm{RCD}(K,N) space, 1<N<∞1<N<\infty.

18Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 18/100Registry: unreviewed

Gigli's conjecture: Alexandrov curvature bounds are characterized by his distributional sectional curvature on noncollapsed RCD spaces

Prior state unknown→proved

Theorem 1.1: for every integer n≥2n\ge2 and κ∈R\kappa\in\mathbb R, a complete separable metric space is an nn-dimensional Alexandrov space with curvature at least κ\kappa if and only if, with m=Hnm=\mathcal H^n, it is a full-support unreduced RCD((n−1)κ,n)\mathrm{RCD}((n-1)\kappa,n) space whose distributional sectional curvature is at least κ\kappa in Gigli's original global test classes. The reference measure must be exactly H…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every integer n≥2n\ge2 and κ∈R\kappa\in\mathbb R, a complete separable metric space is an nn-dimensional Alexandrov space with curvature at least κ\kappa if and only if, with m=Hnm=\mathcal H^n, it is a full-support unreduced RCD((n−1)κ,n)\mathrm{RCD}((n-1)\kappa,n) space whose distributional sectional curvature is at least κ\kappa in Gigli's original global test classes. The reference measure must be exactly Hausdorff measure; collapsed or weighted spaces are not covered, and dimension one is excluded. The companion proves that weak Hessian upper bounds hold along every minimizing geodesic in any full-support RCD(K,N)\mathrm{RCD}(K,N) space, 1<N<∞1<N<\infty.

Theorem 1.1: for every integer n≥2n\ge2 and κ∈R\kappa\in\mathbb R, a complete separable metric space is an nn-dimensional Alexandrov space with curvature at least κ\kappa if and only if, with m=Hnm=\mathcal H^n, it is a full-support unreduced RCD((n−1)κ,n)\mathrm{RCD}((n-1)\kappa,n) space whose distributional sectional curvature is at least κ\kappa in Gigli's original global test classes. The reference measure must be exactly Hausdorff measure; collapsed or weighted spaces are not covered, and dimension one is excluded. The companion proves that weak Hessian upper bounds hold along every minimizing geodesic in any full-support RCD(K,N)\mathrm{RCD}(K,N) space, 1<N<∞1<N<\infty.

Recorded attempts

Evidence graph

Connected research record