Convexity on manifolds without focal points and applications
Pith reviewed 2026-05-22 22:45 UTC · model grok-4.3
The pith
On manifolds without focal points, nonpositive radial curvatures at one point ensure the Laplacian spectrum has an infinite absolutely continuous part.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using geometrically defined convex functions on manifolds without focal points, we derive continuity of the isoperimetric profile; when the manifolds are also Kähler we obtain Steinness and volume growth bounds. The primary result is that the absolutely continuous part of the spectrum contains a certain infinite interval assuming only the existence of a point with respect to which the radial curvatures are nonpositive, generalizing the Hadamard case. We give a new construction of the strictly convex function via geometry at infinity and apply it to show purely absolutely continuous spectrum when horospheres in every direction at a single point have constant mean curvatures, as well as the 0.
What carries the argument
Strictly convex function constructed from geometry at infinity on manifolds without focal points.
If this is right
- The isoperimetric profile function is continuous without any conditions on sectional curvatures.
- Kähler manifolds without focal points are Stein and admit a lower bound on the volume growth of metric balls.
- The spectrum is purely absolutely continuous when horospheres have constant mean curvatures in every direction at a single point, including asymptotically harmonic manifolds and symmetric spaces of noncompact type.
- Cheeger's constant equals the volume entropy on a broad class of manifolds without focal points.
Where Pith is reading between the lines
- The same convex-function construction could be tested on explicit examples with mixed curvature signs to locate the exact bottom of the absolutely continuous spectrum.
- The equality of Cheeger's constant and volume entropy may extend to other geometric invariants such as the bottom of the spectrum itself.
- The approach suggests that spectral conclusions previously restricted to constant negative curvature may hold on a wider class of manifolds whose curvature changes sign.
Load-bearing premise
The manifold has no focal points and there exists at least one point where radial curvatures are nonpositive, so that geometry at infinity produces a strictly convex function.
What would settle it
An explicit manifold without focal points that possesses a point of nonpositive radial curvature yet whose Laplacian spectrum has an absolutely continuous part missing the claimed infinite interval.
read the original abstract
In this article, we study strictly convex functions on Riemannian manifolds without focal points, a broad class of manifolds encompassing all Hadamard manifolds as well as a large collection of manifolds whose sectional curvatures change sign. Using geometrically defined convex functions on such manifolds, we derive interesting consequences such as the continuity of the isoperimetric profile function without conditions on the sectional curvatures; if the manifolds are also K\"ahler, we obtain Steinness as well as a lower bound on the volume growth of metric balls. Our primary applications concern the spectrum of the Laplacian. We prove that the absolutely continuous part of the spectrum contains a certain infinite interval assuming only the existence of a point with respect to which the radial curvatures are nonpositive. This yields a generalization of the corresponding result for Hadamard manifolds. We use the geometry at infinity to give a new construction of a strictly convex function. We then apply this to show that the spectrum is purely absolutely continuous on a class of manifolds for which the horospheres in every direction at a single point have constant mean curvatures (e.g. asymptotically harmonic manifolds, symmetric spaces of noncompact type). Finally, we show the equality of Cheeger's constant and the volume entropy for a broad class of manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies strictly convex functions on Riemannian manifolds without focal points (a class including Hadamard manifolds and manifolds with sign-changing sectional curvatures). Using a new construction of such functions via geometry at infinity, under the assumption of nonpositive radial curvatures at a single point, it derives continuity of the isoperimetric profile without curvature bounds, Steinness and volume-growth bounds for Kähler manifolds, an infinite interval contained in the absolutely continuous spectrum of the Laplacian (generalizing the Hadamard case), pure absolute continuity of the spectrum when horospheres at one point have constant mean curvature in every direction, and equality of Cheeger's constant with volume entropy on a broad class.
Significance. If the results hold, the work provides a meaningful generalization of spectral and geometric conclusions from Hadamard manifolds to manifolds without focal points. The new construction of strictly convex functions relying on geometry at infinity, rather than uniform curvature conditions, is a clear strength and enables the listed applications. The derivations from the single-point radial-curvature hypothesis through the convex function to the spectral interval appear internally consistent with the stated geometric axioms; the manuscript thereby supplies a parameter-free extension in the sense of the reader's ledger.
minor comments (2)
- [Abstract] Abstract: the phrase 'a certain infinite interval' is imprecise; the explicit interval (presumably stated in the body) should be indicated already in the abstract for immediate clarity.
- The transition from the convex-function construction to the spectral conclusions would benefit from an explicit roadmap paragraph early in the introduction, citing the relevant later sections.
Simulated Author's Rebuttal
We thank the referee for their positive summary and recommendation of minor revision. The report contains no enumerated major comments, so we have no specific points to address. We have re-checked the manuscript for any typographical or minor issues that might warrant a revision but found none that alter the results or exposition.
Circularity Check
Derivation self-contained from geometric assumptions
full rationale
The paper constructs strictly convex functions on manifolds without focal points using the geometry at infinity and a single point with nonpositive radial curvatures, then derives consequences for the isoperimetric profile, Steinness (in the Kähler case), volume growth, and the absolutely continuous spectrum of the Laplacian. These steps rely on standard definitions of no focal points and radial curvature conditions together with direct geometric arguments; no parameter is fitted to data and then renamed as a prediction, no load-bearing uniqueness theorem is imported solely via self-citation, and no ansatz is smuggled through prior work. The central claims therefore remain independent of the inputs and do not reduce by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Riemannian manifold without focal points
- domain assumption Existence of a point with nonpositive radial curvatures
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.