The generalized Cartan-Hadamard conjecture

Marcos Agnoletto; Márcio Fabiano Da Silva; Stefano Nardulli; Reinaldo Resende

AI summary · arXiv: 2610.37817v1 · math.DG

The generalized Cartan-Hadamard conjecture

Marcos Agnoletto, Márcio Fabiano Da Silva, Stefano Nardulli, Reinaldo Resende

Original paper Submitted to arXiv on 27 Oct. 2026 License: NONEXCLUSIVE-DISTRIB 1.0 Also in: fr

How to read this summary? Illustrated guide

The essentials

The paper proves the generalized Cartan-Hadamard isoperimetric inequality with rigidity for nonpositive curvature bounds, including Alexandrov spaces with two-sided curvature bounds.

Question

Does a complete simply connected manifold whose sectional curvature is bounded above by a nonpositive constant satisfy the isoperimetric inequality of the corresponding space form, and must equality regions be model geodesic balls? The paper also establishes the corresponding result in Alexandrov spaces and a sharp Michael-Simon-type inequality there.

Method

The authors combine a reduction from their earlier work with a rigidity argument for finite-perimeter isoperimetric regions, using a balancing map, curvature comparison, and a sharp Michael-Simon inequality. The Alexandrov-space theorem assumes dimension n≥4, non-collapsing, no Alexandrov boundary, and both upper and lower curvature bounds; the smooth manifold theorem is stated in every dimension.

Findings

Result For Cartan-Hadamard manifolds with sectional curvature at most a constant k̄≤0, the isoperimetric profile is bounded below by that of the simply connected space form with curvature k̄.
See the passage in the paper
Then $$I_{(M^{n},g)}(v)\geq I_{(\mathbb{M}^{n}_{\bar{k}},\delta^{\bar{k}})}(v)\text{ for any }v\geq 0.$$
Result If a finite-perimeter region attains the model-space isoperimetric perimeter, it is isometric to a geodesic ball in the model space.
See the passage in the paper
Moreover, if there exists a finite perimeter set $E\subset M$ with finite volume $v>0$ and $P_{g}(E)=I_{(\mathbb{M}^{n}_{\bar{k}},\delta^{\bar{k}})}(v)$, then $E$ is isometric to a geodesic ball in $\mathbb{M}^{n}_{\bar{k}}$.
Result The isoperimetric inequality and equality rigidity are established for the stated class of Alexandrov spaces with two-sided curvature bounds.
See the passage in the paper
Moreover, if $\Omega\subset Z$ is a finite perimeter set with positive and finite volume and $P_{g}(\Omega)=I_{(\mathbb{M}^{n}_{\bar{k}},\delta^{\bar{k}})}(\mathrm{vol}_{g}(\Omega))$, then $(\Omega,d)$ is isometric to a geodesic ball in $\mathbb{M}^{n}_{\bar{k}}$.
Result The authors derive a sharp quadratic Michael-Simon-type inequality for embedded hypersurfaces in the specified Alexandrov spaces.
See the passage in the paper
Then, for every compactly supported Lipschitz function $v$ on ${\Sigma}$, (1.1) $$\mathcal{Q}(v):=\int_{\Sigma}\bigl((q-2)|\nabla_{\Sigma}v|^{2}+(n-1)(H_{\Sigma}^{2}+\bar{k})v^{2}\bigr)\,d\mathcal{H}^{n-1}_{d}\geq c_{n}\|v\|_{L^{q}({\Sigma})}^{2},$$
Authors’ interpretation As a consequence of the main theorem, isoperimetric regions in Cartan-Hadamard manifolds are bounded.
See the passage in the paper
As a consequence of Theorem 1.1, by [1, Corollary 1.6], any isoperimetric region in Cartan-Hadamard manifolds is bounded.

Limitations

The Alexandrov-space theorem is restricted to dimension n≥4 and requires non-collapsing, no Alexandrov boundary, and both upper and lower curvature bounds.
See the passage in the paper
Let $n\geq 4$, $(Z^{n},d)$ is a non-collapsing Alexandrov space without Alexandrov boundary and with curvature bounded from above by $\bar{k}\leq 0$ and from below by $\underline{k}$
The paper does not establish the Alexandrov-space theorem without a lower curvature bound; its stated setting includes a lower bound.
See the passage in the paper
Throughout the paper, $(Z,d)$ is an $n$-dimensional non-collapsing Alexandrov space without Alexandrov boundary and with curvature bounded from above by $\bar{k}\leq 0$ and from below by $\underline{k}$.

Why it matters

The authors argue that their rigidity result supplies the missing step in their earlier reduction and completes the generalized Cartan-Hadamard conjecture, including equality cases. The result extends that conclusion to Alexandrov spaces with two-sided curvature bounds and provides a sharp analytic inequality used in the proof.

Written by AI from the paper. Passages are checked word for word against the text we analysed; the rest may contain errors.

AI-generated keywords: Generalized Cartan–Hadamard conjecture isoperimetric inequality rigidity Alexandrov spaces Michael–Simon inequality

Read further

Comprehensive Summary
Layman's Summary
Blog article
Original abstract

The paper addresses the generalized Cartan–Hadamard conjecture: whether a complete, simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant has, at every fixed volume, no smaller isoperimetric perimeter than the simply connected space form of that curvature. It also investigates when equality occurs. The authors prove the isoperimetric comparison in every dimension and establish rigidity: any positive-volume, finite-perimeter set attaining the model-space perimeter must be isometric to a geodesic ball in the model space. They extend these conclusions to non-collapsing Alexandrov spaces with upper and lower curvature bounds and no Alexandrov boundary. The proof builds on the authors’ earlier work, which established the comparison for small volumes and reduced the general problem to a rigidity statement at the first possible failure volume. This paper proves that missing rigidity result by combining geometric comparison tools with a sharp analytic inequality for hypersurfaces. A central construction is a balancing map from a compactly supported, nonatomic measure to the unit sphere, with coordinate functions of mean zero. Applied to the boundary measure of a candidate equality region, the map provides test functions for a Poincaré-type estimate. The authors compare this estimate with a lower bound for a quadratic Michael–Simon functional, using a radial weight adapted to the model space. The equality conditions force the boundary to be a geodesic sphere. A distance-comparison map to the model space is then shown to be an isometry. The analytic ingredient is a sharp Michael–Simon-type inequality for embedded, oriented hypersurfaces in the stated Alexandrov spaces, in dimensions $n\geq 4$. Its critical exponent is $q=2(n-1)/(n-3)$, and its sharp constant is \[ c_n=(n-1)\,\operatorname{Vol}(B^{n-1}_1)^{2/(n-1)}, \] where $B^{n-1}_1$ is the unit ball in dimension $n-1$. The inequality bounds the $L^q$ norm of a function by a quadratic expression involving its tangential gradient and the squared mean curvature, together with the ambient upper-curvature bound. The paper proves the inequality in the Alexandrov setting, including for zero extensions of suitable Sobolev functions. In the rigidity argument, equality in this inequality, combined with perimeter and volume comparison, identifies the candidate region first as a ball and then as a region isometric to the model ball. For smooth Cartan–Hadamard manifolds, the main theorem states that the isoperimetric profile at every volume is at least that of the model space of curvature $\bar{k}$, for any $\bar{k}\leq 0$ that is also an upper bound for the manifold’s sectional curvature. Equality for a finite-perimeter region of positive volume implies that the region is a model geodesic ball. The paper also derives boundedness of isoperimetric regions from the comparison and the authors’ earlier work. The Alexandrov-space theorem assumes both upper and lower curvature bounds; the authors do not claim to remove the lower-bound assumption for the full rigidity result. Although the sharp hypersurface inequality is stated for $n\geq 4$, the main theorem holds in every dimension, relying on the earlier reduction and established results in lower dimensions. The paper’s contribution is therefore not merely the perimeter inequality: it establishes the equality-case rigidity needed to complete the authors’ program, including for negatively curved model spaces.

When Does Curvature Force the Smallest Boundary?

How much boundary is needed to enclose a given volume? In Euclidean space, round balls provide the answer: among regions of equal volume, a ball has the least perimeter. The generalized Cartan–Hadamard conjecture asks whether a similar principle holds in a much broader setting. If a complete, simply connected Riemannian manifold has sectional curvature bounded above by a nonpositive constant, can any region enclose a fixed volume with less perimeter than a ball in the corresponding constant-curvature model space?

In “The generalized Cartan-Hadamard conjecture,” Marcos Agnoletto, Márcio Fabiano Da Silva, Stefano Nardulli, and Reinaldo Resende answer this question affirmatively in every dimension. Crucially, they also settle the harder question of equality: if a region achieves the model space’s perimeter, it must itself be a model geodesic ball.

Beyond the perimeter comparison

An isoperimetric comparison is powerful, but an inequality alone does not describe what happens in the case of equality. A manifold might conceivably allow an unusual region with exactly the same volume and perimeter as a model ball. The paper rules out that possibility. Its rigidity result says that any positive-volume, finite-perimeter region attaining the model perimeter is isometric to a geodesic ball in the model space.

The result applies to the simply connected space form whose curvature is a chosen nonpositive upper bound for the manifold’s sectional curvature. This includes negatively curved model spaces as well as the flat case. The authors also show that the comparison gives boundedness of isoperimetric regions, building on their earlier work.

They extend the comparison and rigidity conclusions to non-collapsing Alexandrov spaces with both upper and lower curvature bounds and no Alexandrov boundary. The lower-bound assumption matters: the paper does not claim to establish the full rigidity theorem for Alexandrov spaces without it.

The missing step: proving rigidity

The new result completes a program begun in the authors’ earlier research. That work established the desired comparison for small volumes and reduced the general problem to a specific task: show that equality cannot first fail to be rigid at a particular volume. The present paper proves that missing rigidity statement.

The strategy links global geometry to an analytic estimate on the boundary of a candidate region. The authors first construct a balancing map from a compactly supported, nonatomic measure to the unit sphere. Its coordinate functions have mean zero. Applying this construction to the boundary measure gives test functions suitable for a Poincaré-type estimate.

They then compare that estimate with a lower bound for a quadratic functional involving the hypersurface and its mean curvature. A radial weight adapted to the model space helps connect the boundary calculation to the desired volume and perimeter comparison. When equality holds throughout, the resulting constraints force the candidate region’s boundary to be a geodesic sphere. A distance-comparison map then shows that the region itself is isometric to the corresponding model ball.

A sharp inequality for hypersurfaces

The analytic engine behind this argument is a sharp Michael–Simon-type inequality for embedded, oriented hypersurfaces in the stated Alexandrov spaces. The inequality controls the $L^q$ norm of a function using its tangential gradient, the squared mean curvature, and the ambient upper-curvature bound. It also applies to zero extensions of suitable Sobolev functions, a feature that helps make it useful in the rigidity argument.

For hypersurface dimension $n-1$, the critical exponent is $q=2(n-1)/(n-3)$, for $n\geq4$. The sharp constant is $c_n=(n-1)\operatorname{Vol}(B^{n-1}_1)^{2/(n-1)}$, where $B^{n-1}_1$ is the unit ball in dimension $n-1$. The authors prove this inequality in the Alexandrov setting, not just for smooth ambient manifolds.

Although this particular analytic inequality is stated for dimensions $n\geq4$, the main isoperimetric theorem holds in every dimension. The lower-dimensional cases follow from the earlier reduction together with established results.

Why the equality case matters

The paper’s contribution is more than confirming that the model ball has the smallest possible perimeter. It explains why equality identifies the model geometry: sharp analytic estimates, geometric comparisons, and their equality conditions together force a candidate region to be a ball and then force its metric to match the model ball’s metric.

By completing the rigidity step, the authors establish the generalized Cartan–Hadamard comparison across all dimensions and include negatively curved models. The result gives a precise geometric message: under the stated curvature assumptions, a region cannot beat the model ball’s perimeter—and if it ties, it must be a model ball.

Created on 02 Nov. 2026

Was this synthesis useful?

Score: 0

Ask questions about this paper to our AI assistant

How to chat with this paper? Illustrated guide

Compare with the PDF

You can also chat with multiple papers at once here.

AI assistant instructions?

Tools for this paper

Explain it differently 3 free rewrites left today

Save to a collection Group papers in collections to compare them, chat with them and export them. Create a free account Log in

Export BibTeX · RIS (Zotero, Mendeley, EndNote) · Obsidian (Markdown) · Notion (Markdown)

Advanced tools Premium

For researchers who follow a field closely: citation alerts, journal-club slides, version comparison and Zotero export. Discover Premium

Zotero

Citation alerts Citation alerts guide

Who works on it? The people and institutions who publish on its topic

Weekly letter Presented in "Mathematics and statistics this week" of 2 November 2026. Mathematics and statistics this week: Testing the limits of familiar rules

Journal club Premium+ Slides to present it Propose for the journal club

Versions What changed between versions

Talk about it in public Premium+ Press kit: release, questions, hype check Press kit guide

Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.

The generalized Cartan-Hadamard conjecture

The essentials

Question

Method

Findings

Limitations

Why it matters

Read further

Definitions

When Does Curvature Force the Smallest Boundary?

Beyond the perimeter comparison

The missing step: proving rigidity

A sharp inequality for hypersurfaces

Why the equality case matters

Ask questions about this paper to our AI assistant

Tools for this paper

Advanced tools Premium

Papers around this one

Closest papers

Prior work it builds on

Go further

Cite this paper (BibTeX)