2025-11-12T05:52:10.656735

Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds

Ghomi

We show that in Cartan-Hadamard manifolds $M^n$, $n\geq 3$, closed infinitesimally convex hypersurfaces $Î$ bound convex flat regions, if curvature of $M^n$ vanishes on tangent planes of $Î$. This encompasses Chern-Lashof-Sacksteder characterization of compact convex hypersurfaces in Euclidean space, and some results of Greene-Wu-Gromov on rigidity of Cartan-Hadamard manifolds. It follows that closed simply connected surfaces in $M^3$ with minimal total absolute curvature bound Euclidean convex bodies, as stated by Gromov in 1985. The proofs employ the Gauss-Codazzi equations, a generalization of Schur comparison theorem to CAT($k$) spaces, and other techniques from Alexandrov geometry outlined by Petrunin.

academic

Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds

基本信息

论文ID: 2308.15454
标题: Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds
作者: Mohammad Ghomi
分类: math.DG (微分几何), math.AP (分析偏微分方程), math.MG (度量几何)
发表时间: 2023年8月提交，2025年10月最后更新
论文链接: https://arxiv.org/abs/2308.15454

摘要

本文证明了在Cartan-Hadamard流形 $M^n$ （ $n \geq 3$ ）中，如果曲率在超曲面 $\Gamma$ 的切平面上恒等于常数 $k$ ，那么闭合的无穷小凸超曲面 $\Gamma$ 围成凸的 $k$ -平坦区域。这一结果涵盖了Chern-Lashof-Sacksteder关于欧几里得空间中紧凸超曲面的刻画，以及Greene-Wu-Gromov关于Cartan-Hadamard流形刚性的一些结果。由此可得， $M^3$ 中具有最小总绝对曲率的闭合单连通曲面围成欧几里得凸体，证明了Gromov在1985年提出的猜想。证明采用了Gauss-Codazzi方程、Schur比较定理在CAT( $k$ )空间中的推广，以及Petrunin概述的Alexandrov几何中的其他技术。

研究背景与动机

核心问题

本文研究的核心问题是：在什么条件下，Cartan-Hadamard流形中的无穷小凸超曲面实际上是凸的？这是微分几何中的一个基本问题，涉及局部几何性质与全局几何性质之间的关系。

问题重要性

理论意义：这是微分几何中凸性理论的核心问题，连接了局部曲率条件与全局凸性
历史背景：该问题源于经典的Chern-Lashof-Sacksteder定理在欧几里得空间中的结果
应用价值：结果在总曲率理论、等周不等式和刚性定理中有重要应用

现有方法局限性

以往的结果主要局限于欧几里得空间 $\mathbb{R}^n$ 和双曲空间 $H^n$
对于一般的非正曲率空间，缺乏统一的处理方法
三维情形的严格凸情况已有结果，但一般无穷小凸情况仍未解决

研究动机

作者受到Petrunin的方法启发，旨在将经典结果推广到更一般的CAT $(k \leq 0)$ 流形，并解决Gromov在1985年提出的关于总绝对曲率的猜想。

核心贡献

主要定理：证明了在CAT $^n(k \leq 0)$ 流形中，如果闭合无穷小凸超曲面 $\Gamma$ 的切平面上曲率恒等于 $k$ ，则 $\Gamma$ 围成 $k$ -平坦凸体
内蕴版本：建立了紧致单连通流形的内蕴刚性定理
总绝对曲率不等式：对于单连通曲面，证明了 $\tilde{G}(\Gamma) \geq 4\pi - k|\Gamma|$ ，等号成立当且仅当 $\Gamma$ 围成 $k$ -平坦凸体
技术创新：将Schur比较定理推广到CAT $(k \leq 0)$ 空间，发展了新的几何分析工具

方法详解

任务定义

输入：CAT $^n(k \leq 0)$ 流形 $M$ 中的闭合 $C^n$ 超曲面 $\Gamma$ ，满足：

$\Gamma$ 是无穷小凸的（主曲率不取相反符号）
环境流形 $M$ 在 $\Gamma$ 的切平面上曲率恒等于 $k$

输出：证明 $\Gamma$ 围成 $k$ -平坦凸体，且 $\Gamma$ 是嵌入球面

核心技术框架

1. Gauss-Codazzi方程方法

利用基本定理建立从 $\Gamma$ 到模型空间 $M^n_k$ 的等距浸入：

命题2.1：设 $\Gamma$ 是 $n$ 维Riemann流形 $M^n$ 中的单连通 $C^{\alpha \geq 3}$ 超曲面。如果对所有 $p \in \Gamma$ 和平面 $\sigma \subset T_pM$ ，有 $K_M(\sigma) \leq k \leq 0$ 且当 $\sigma \subset T_p\Gamma$ 时 $K_M(\sigma) = k$ ，则存在 $C^\alpha$ 等距浸入 $\Gamma \to M^n_k$ 保持第二基本形式。

证明思路：

使用引理2.2证明 $R(X,Y)N = 0$
将Gauss-Codazzi方程简化为模型空间的形式
应用超曲面基本定理完成构造

2. 广义Schur比较定理

定理3.1（广义Schur比较）：设 $\gamma_1: [0,\ell] \to M^2_k$ 是弦凸曲线， $\gamma_2: [0,\ell] \to M$ （ $M$ 是CAT $^n(k \leq 0)$ 流形）是 $C^2$ 单位速度曲线，测地曲率分别为 $\kappa_1, \kappa_2$ 。如果 $\kappa_2(t) \leq \kappa_1(t)$ ，则 $|\gamma_2(0)\gamma_2(\ell)| \geq |\gamma_1(0)\gamma_1(\ell)|$ 。