∑math20

Differential geometry · Result 339

Katok's entropy rigidity conjecture

1 paper

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.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Entropy equality and local symmetry in negative curvature

Entropy equality and local symmetry in negative curvature

OpenAI · September 23, 2026

For every closed connected smooth Riemannian manifold of dimension at least three with strictly negative sectional curvature, we prove that normalized Liouville measure has maximal entropy for the unit-speed geodesic flow if and only if the metric is locally symmetric. This resolves Katok's entropy rigidity conjecture positively in these dimensions, including all rank-one symmetric types at arbitrary scale.

Read PDF Download Source

Cite
@misc{OAI:Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026,
  author = {{OpenAI}},
  title = {{Entropy equality and local symmetry in negative curvature}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026/paper.pdf}{OAI:Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.