[论文解读] An analogue of minimal surface theory in SL(n,C)/SU(n)

Masatoshi Kokubu, Masaro Takahashi+2 more|ArXiv.org|Aug 2, 2000

Geometric Analysis and Curvature Flows参考文献 5被引用 4

一句话总结

本文在对称空间 SL(n,C)/SU(n) 中发展了极小曲面理论的非交换类比，推广了欧几里得极小曲面与双曲3-空间中的常平均曲率1曲面。通过使用 SL(n,C) 中的零权全纯映射，建立了类 Weierstrass 表示公式，并证明了具有全纯右高斯映射的曲面的 Chern-Osserman 型不等式，将经典结果推广至高秩对称空间。

ABSTRACT

We shall discuss the class of surfaces with holomorphic right Gauss maps in non-compact duals of compact semisimple Lie groups (e.g. SL(n,C)/SU(n)), which contains minimal surfaces in R^n and constant mean curvature 1 surfaces in H^3. A Weierstrass type representation formula, and a Chern-Osserman type inequality for such surfaces are given.

研究动机与目标

• 将极小曲面理论从欧几里得空间和双曲3-空间推广至如 SL(n,C)/SU(n) 这类高秩对称空间。
• 在 SL(n,C)/SU(n) 中识别出一类继承了极小曲面与 CMC-1 曲面关键性质（包括共形高斯映射与等距实现）的曲面。
• 利用全纯数据与 SL(n,C) 中的零浸入，为这些曲面构造类 Weierstrass 的表示公式。
• 为具有全纯右高斯映射的此类曲面建立 Chern-Osserman 型不等式，将经典结果推广至紧致半单李群的非紧对偶。

提出的方法

• 通过将共形浸入 f: M → G/H 的 f_z f^{-1} 投影至 P(ad(g))，定义右高斯映射 ν_R: M → P(ad(g))，其中 G = SL(n,C)，H = SU(n)。
• 将右高斯映射为全纯的曲面表征为：其平均曲率向量长度与环境空间的截面曲率成比例。
• 通过满足 B(α,α) = 0 且 -B(α,σ(α)) > 0 的 g-值全纯1-形式 α，构造类 Weierstrass 表示公式，其中 σ 为对称对 (G,H) 的对合。
• 通过求解 F^{-1}dF = α 得到曲面，其中 F: M̃ → G，M̃ 为 M 的万有覆盖。
• 通过零全纯映射 F 的逆定义对偶曲面 f^#，其在 M 上多值，但其第一基本形式为单值，推广了 CMC-1 曲面理论中的对偶性。
• 应用 Frobenius 级数方法分析单值 monodromy 与端点行为，利用具有正则奇点的 Fuchsian 系统推导渐近展开。

实验结果

研究问题

• RQ1 如何将极小曲面理论推广至如 SL(n,C)/SU(n) 这类紧致半单李群的非紧对偶？
• RQ2 何种条件下，SL(n,C)/SU(n) 中的共形浸入其右高斯映射为全纯？此类曲面具有何种几何性质？
• RQ3 能否利用全纯数据与 SL(n,C) 中的零浸入，为这些曲面构造类 Weierstrass 的表示公式？
• RQ4 在 SL(n,C)/SU(n) 中，具有全纯右高斯映射的曲面，其 Chern-Osserman 不等式的类比形式为何？它如何约束总绝对曲率？

主要发现

• 在 SL(n,C)/SU(n) 中具有全纯右高斯映射的曲面，推广了 R^n 中的极小曲面与 H^3 中的 CMC-1 曲面，继承了其关键的共形与等距性质。
• 存在类 Weierstrass 表示公式：任一此类曲面均为满足 F^{-1}dF = α 的零全纯映射 F: M̃ → SL(n,C) 的投影，其中 α 为全纯1-形式，且满足 B(α,α) = 0 与 -B(α,σ(α)) > 0。
• 对偶曲面 f^# 通过 F^{-1} 定义，在 M 上多值，但其第一基本形式为单值，推广了 CMC-1 曲面理论中的对偶性。
• 对于总绝对曲率有限的曲面，其端点孤立，单值性由具有正则奇点的 Fuchsian 系统控制，可通过 Frobenius 级数进行渐近分析。
• Chern-Osserman 型不等式成立：f 或其对偶 f^# 的总绝对曲率被一个包含亏格与端点数的拓扑不变量从下方控制。
• 当单值性矩阵 R 的特征值具有非整数实部时，相关 Fuchsian 系统的解具有 Frobenius 型展开，包含对数项，且独立解的个数等于特征值 λ₀ 的代数重数。