Isoperimetric inequalities and spectral consequences in warped product manifolds

1. Problem Statement and Context

The paper investigates the Centered Isoperimetric Inequality (CII) within the specific class of Cartan–Hadamard warped product manifolds.

• The CII: Unlike the classical Cartan–Hadamard conjecture (which compares a set's perimeter in a curved space to a Euclidean ball of the same volume), the CII posits that among all sets of a fixed volume, the geodesic ball centered at the pole minimizes the perimeter.
• The Gap: While the CII is known to hold in model spaces (Euclidean, Hyperbolic, Spherical), its validity in general warped product manifolds is not fully understood. The paper seeks to establish:
  1. Sufficient conditions for the CII to hold.
  2. Necessary geometric conditions (specifically regarding curvature monotonicity) for the CII to hold.
  3. Spectral consequences, specifically improvements to the Cheeger inequality and lower bounds for the first nonzero Dirichlet eigenvalue ($\lambda_1$).

2. Mathematical Framework and Methodology

The author utilizes the structure of warped product manifolds $(M^n, g)$, where the metric is given by:
$$g = dr \otimes dr + \psi(r)^2 g_{S^{n-1}}$$
Here, $r$ is the geodesic distance from a pole, and $\psi(r)$ is the warping function.

Key Methodological Tools:

• Symmetrization and Rearrangement: The paper employs the Schwarz symmetrization ($u \mapsto u^\sharp$) and the Pólya–Szegő inequality. The core logic is that if the $L^1$-type Pólya–Szegő inequality holds (decreasing rearrangement reduces Dirichlet energy), then the CII must hold.
• Stability Analysis: To derive necessary conditions, the author analyzes the second variation of the perimeter functional for geodesic spheres. By testing against eigenfunctions of the Laplace–Beltrami operator on the sphere $S^{n-1}$, stability conditions are derived that constrain the curvature.
• Spectral Theory: The paper connects isoperimetric quotients to the spectrum of the Laplacian using Persson's Theorem (relating the bottom of the essential spectrum to the limit of the potential at infinity) and the Cheeger constant.
• Divergence Theorem: Explicit vector fields are constructed to derive volume-perimeter estimates for geodesic balls.

3. Key Contributions and Results

A. Sufficient Conditions for CII (Theorem 1.1)

The paper establishes that if an $L^1$-type Pólya–Szegő inequality holds on the manifold (i.e., the centered symmetric decreasing rearrangement does not increase the total variation), then the manifold satisfies the Centered Isoperimetric Inequality. This provides a functional-analytic pathway to proving geometric inequalities.

B. Necessary Geometric Conditions (Theorem 1.3)

Assuming the CII holds on a Cartan–Hadamard warped product manifold, the author proves three strict geometric constraints on the curvature:

1. Radial Curvature Monotonicity: The radial sectional curvature $K_{rad}(r)$ cannot be monotonically increasing as a function of distance from the pole.
2. Curvature Comparison: At every point, the radial sectional curvature must be less than or equal to the tangential sectional curvature ($K_{rad} \le K_{tan}$).
3. Tangential Curvature Monotonicity: The tangential sectional curvature $K_{tan}(r)$ must be monotonically decreasing with respect to the distance from the pole.
   Significance: These results generalize findings by Simon Brendle and others, showing that curvature monotonicity is a fundamental structural requirement for the CII.

C. Implication for the Cartan–Hadamard Conjecture (Theorem 1.2)

The paper proves that if a warped product manifold satisfies the CII, it automatically satisfies the Cartan–Hadamard conjecture (the Euclidean isoperimetric inequality). This is demonstrated by showing that the isoperimetric quotient $Q(r)$ for geodesic balls is non-decreasing in Cartan–Hadamard warped products, implying that geodesic balls satisfy the Euclidean bound.

D. Spectral Improvements and Cheeger Inequality

The author introduces a Cheeger-type isoperimetric quotient restricted to geodesic balls:
$$I(r) = \frac{\text{Per}(B_r(0))}{\text{Vol}(B_r(0))}$$

• Theorem 1.4: Under specific asymptotic conditions on the warping function $\psi$ (specifically, the existence of the limit $L = \lim_{r\to\infty} I(r)$ and a decay condition on the derivative of $\psi'/\psi$), the bottom of the spectrum of the Laplacian is exactly:
  $$\lambda_1(M^n) = \frac{L^2}{4}$$
  This result strictly improves the classical Cheeger inequality ($\lambda_1 \ge h^2/4$) for a broad class of manifolds by providing an exact value rather than just a lower bound.
• Theorem 1.5: For geodesic balls $B_r(0)$ where the function $t \mapsto t\psi'(t)/\psi(t)$ is increasing, the author derives a quantitative lower bound for the first nonzero Dirichlet eigenvalue:
  $$\lambda_1(B_r) \ge \frac{n^2}{4r^2}$$
  This bound is derived by constructing a specific radial vector field and applying the divergence theorem, improving upon standard estimates for such domains.

4. Significance and Impact

• Bridging Geometry and Analysis: The paper successfully links the geometric property of isoperimetric minimization (CII) with analytic properties of the Laplacian (spectral gaps), reinforcing the deep connection between curvature, volume growth, and eigenvalues.
• Refinement of Classical Conjectures: By isolating the class of warped product manifolds, the paper provides a rigorous proof that the CII implies the Cartan–Hadamard conjecture in this setting, clarifying the hierarchy of these inequalities.
• Curvature Constraints: The identification of curvature monotonicity as a necessary condition for the CII offers a powerful tool for ruling out isoperimetric optimality in manifolds with "wrong" curvature behavior (e.g., increasing radial curvature).
• Sharp Spectral Bounds: The derivation of exact spectral formulas based on the asymptotic behavior of the isoperimetric quotient offers a more precise tool for estimating eigenvalues in non-compact manifolds than the classical Cheeger inequality, which often yields loose bounds.

In summary, Banerjee's work provides a comprehensive analysis of the interplay between warped product geometry, isoperimetric inequalities, and spectral theory, establishing both necessary geometric constraints for isoperimetric optimality and new, sharper spectral estimates.