[论文解读] Laguerre Geometry of Hypersurfaces in $\R^n$

Tongzhu Li, Changping Wang|ArXiv.org|Jun 14, 2006

Geometric Analysis and Curvature Flows参考文献 6被引用 14

一句话总结

本文为 ℝⁿ 中的超曲面（n ≥ 4）构建了完整的拉盖尔微分几何框架，引入了拉盖尔不变度量 g 和自伴算子 ℒ 作为完整的不变量系统。通过拉盖尔空间形式 Uℝⁿ、Uℝⁿ₁ 和 Uℝⁿ₀ 建立统一理论，并证明在 ℝ³₁ 或 ℝ³₀ 中的极小曲面在 ℝ³ 中为拉盖尔极小曲面。

ABSTRACT

Laguerre geometry of surfaces in $\R^3$ is given in the book of Blaschke [1], and have been studied by E.Musso and L.Nicolodi [5], [6], [7], B. Palmer [8] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in $\R^n$. For any umbilical free hypersurface $x: M o\R^n$ with non-zero principal curvatures we define a Laguerre invariant metric $g$ on $M$ and a Laguerre invariant self-adjoint operator ${\mathbb S}: TM o TM$, and show that $\{g,{\mathbb S}\}$ is a complete Laguerre invariant system for hypersurfaces in $\R^n$ with $n\ge 4$. We calculate the Euler-Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space $\R^n$, the Lorentzian space $\R^n_1$ and the degenerate space $\R^n_0$ we define three Laguerre space forms $U\R^n$, $U\R^n_1$ and $U\R^n_0$ and define the Laguerre embedding $ U\R^n_1 o U\R^n$ and $U\R^n_0 o U\R^n$, analogue to the Moebius geometry where we have Moebius space forms $S^n$, $\H^n$ and $\R^n$ (spaces of constant curvature) and conformal embedding $\H^n o S^n$ and $\R^n o S^n$ (cf. [4], [10]). Using these Laguerre embedding we can unify the Laguerre geometry of hypersurfaces in $\R^n$, $\R^n_1$ and $\R^n_0$. As an example we show that minimal surfaces in $\R^3_1$ or $\R_0^3$ are Laguerre minimal in $\R^3$.

研究动机与目标

• 将拉盖尔微分几何从 ℝ³ 中的曲面扩展至 n ≥ 4 的 ℝⁿ 中的超曲面。
• 为具有非零主曲率的无脐点超曲面定义完整的拉盖尔不变量系统（g, ℒ）。
• 通过嵌入的空间形式，统一欧几里得、洛伦兹和退化空间中的拉盖尔几何。
• 利用不变量推导拉盖尔体积泛函的欧拉-拉格朗日方程。
• 通过平均曲率半径 r 的 III 型形式拉普拉斯算子为零，建立拉盖尔极小超曲面的刻画。

提出的方法

• 利用第三基本形式和曲率半径，在 ℝⁿ 中的超曲面上定义拉盖尔不变度量 g 和自伴算子 ℒ。
• 基于 ℝⁿ、ℝⁿ₁ 和 ℝⁿ₀，分别构造三种拉盖尔空间形式：Uℝⁿ、Uℝⁿ₁ 和 Uℝⁿ₀，使用单位切丛。
• 定义拉盖尔嵌入 σ: Uℝⁿ₁ → Uℝⁿ 和 τ: Uℝⁿ₀ → Uℝⁿ，以关联不同环境空间中的几何结构。
• 利用洛伦兹群 O(n+1,2)/{±1} 定义作用于这些空间形式上的拉盖尔变换群。
• 将拉盖尔度量表示为 g = ρ²III，其中 ρ² = ∑(rᵢ − r)²，III 为第三基本形式。
• 通过分析 Δ₃₃r 和曲率不变量，推导拉盖尔体积泛函的欧拉-拉格朗日方程。

实验结果

研究问题

• RQ1 对于 n ≥ 4 的 ℝⁿ 中的超曲面，其完整的拉盖尔不变量系统是什么？
• RQ2 如何通过空间形式和嵌入，统一 ℝⁿ、ℝⁿ₁ 和 ℝⁿ₀ 中的拉盖尔几何？
• RQ3 拉盖尔极小超曲面由曲率不变量如何刻画？
• RQ4 在 ℝ³₁ 或 ℝ³₀ 中的极小曲面在什么条件下会诱导出 ℝ³ 中的拉盖尔极小曲面？
• RQ5 拉盖尔不变量在不同空间形式之间的嵌入 σ 和 τ 下如何变换？

主要发现

• 对 n ≥ 4 的 ℝⁿ 中的超曲面，{g, ℒ} 构成完整的拉盖尔不变量系统。
• 拉盖尔体积泛函的欧拉-拉格朗日方程被导出为 Δ₃₃r = 0，其中 r 为平均曲率半径。
• 在 ℝ³₁ 或 ℝ³₀ 中的极小曲面在 ℝ³ 中为拉盖尔极小曲面，这由 Δ₃₃r 的消失性所证明。
• 在 ℝ³ 中唯一的紧致拉盖尔极小曲面是球面，该结论通过 r 和 x + rξ 的常数性得到证明。
• 拉盖尔嵌入 σ 和 τ 保持不变量 Y 和 η，确保了 ℝⁿ、ℝⁿ₁ 和 ℝⁿ₀ 之间几何结构的一致性。
• 不变量满足 <Y, c> = ρ 和 <η, c> = r，其中 c 为时间类、空间类或光类向量，具体取决于环境空间。