[论文解读] Complete classification of biconservative hypersurfaces with diagonalizable shape operator in Minkowski 4-space

Yu Fu, Nurettin Cenk Turgay|arXiv (Cornell University)|Feb 19, 2015

Geometric Analysis and Curvature Flows参考文献 15被引用 3

一句话总结

本文对四维闵可夫斯基空间 $\mathbb{E}^4_1$ 中具有可对角化形状算子的双保守超曲面提供了完整的显式分类。通过微分几何方法及在双保守条件下的主曲率分析，作者推导出七种不同的几何类型，包括旋转曲面和广义柱面，确立了此类超曲面要么极小，要么其主曲率与特定曲率关系及参数化形式相关联。

ABSTRACT

In this paper, we study biconservative hypersurfaces in the four dimensional Minkowski space $\mathbb E^4_1$. We give the complete explicit classification of biconservative hypersurfaces with diagonalizable shape operator in $\mathbb E^4_1$.

研究动机与目标

• 对四维闵可夫斯基空间 $\mathbb{E}^4_1$ 中具有可对角化形状算子的所有双保守超曲面进行分类。
• 将双保守子流形的理解从黎曼几何推广至伪黎曼几何。
• 通过分析其主曲率与诱导参数化，阐明此类超曲面的几何结构。
• 为每类双保守超曲面提供显式参数化与曲率关系，以表征其特征。
• 在可对角化假设下，建立所有可能几何类型的完整列表，包括旋转与柱面模型。

提出的方法

• 采用双保守条件 $\mathrm{div}\,S_2 = 0$，其对应于双张力场切向部分的消失。
• 利用高斯公式与温格尔特公式，以局部坐标表示形状算子与第二基本形式。
• 分析 Codazzi 方程与曲率关系，推导主曲率及其导数的约束条件。
• 基于 $\mathbb{E}^4_1$ 中形状算子的典范形式对超曲面进行分类，利用不定度量空间中对称算子的分类。
• 通过坐标变换进行显式参数化，并求解由正交性与度量条件导出的偏微分方程组。
• 通过对每类导出参数化直接计算，验证双保守条件，确认所构造类别的必要性与充分性。

实验结果

研究问题

• RQ1 当形状算子可对角化时，$\mathbb{E}^4_1$ 中双保守超曲面的所有可能几何类型是什么？
• RQ2 在双保守条件下，此类超曲面的主曲率之间有何关系？
• RQ3 在闵可夫斯基四维空间中，哪些参数化形式可产生具有三个不同主曲率的双保守超曲面？
• RQ4 度量的指标（即洛伦兹符号）在这些超曲面的存在性与分类中起到何种作用？
• RQ5 能否对 $\mathbb{E}^4_1$ 中的双保守超曲面进行显式参数化？若能，其几何形式为何？

主要发现

• 本文在 $\mathbb{E}^4_1$ 中对具有可对角化形状算子的双保守超曲面完成了完整分类，共分为七种不同的几何类型。
• 该分类包括旋转曲面、广义柱面，以及具有特定曲率关系的曲面，如黎曼情形下的 $k_1 + k_2 = k_3$ 或洛伦兹情形下的 $k_1 + k_2 = -3k_3$。
• 对于具有三个不同主曲率的超曲面，其参数化显式给出为 $x(s,t,u) = (2(\tilde{\Gamma}_1 - \tilde{\Gamma}_4)(A^2t^2 + B^2u^2) + \cdots)$，其中 $A$ 与 $B$ 不全为零。
• 当 $AB = 0$ 时，一个主曲率恒为零，导致退化情形，对应于已知类型（如可展曲面）。
• 所导出的参数化满足双保守条件 $\mathrm{div}\,S_2 = 0$，并通过直接验证表明其必要性与充分性。
• 结果表明，在伪黎曼空间中，双保守超曲面的结构比在黎曼情形下更丰富，由于度量的不定性，出现了更多非极小的例子。