[论文解读] On bifurcation and local rigidity of triply periodic minimal surfaces in $\mathbb R^3$

Miyuki Koiso, Paolo Piccione+1 more|arXiv (Cornell University)|Aug 1, 2014

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

一句话总结

本文通过分析退化族（H, rPD, tP, tD）并证明在特定时刻发生分岔，利用分歧理论在 ℝ³ 中建立了无穷多个新三重周期极小曲面的存在性。通过引入一个扰动平均曲率泛函以处理由对称性引起的退化性，实现了等变隐函数定理，并确认了非退化情形下的局部刚性。

ABSTRACT

We use bifurcation theory to determine the existence of infinitely many new examples of triply periodic minimal surfaces in $\mathbb R^3$. These new examples form branches issuing from the H-family, the rPD-family, the tP-family, and the tD-family, that converge to some degenerate embedding of the families. As to nondegenerate triply periodic minimal surfaces, we prove a perturbation result using an equivariant implicit function theorem.

研究动机与目标

• 通过分歧理论证明在 ℝ³ 中存在无穷多个新的三重周期极小曲面。
• 解决由环境等距变换（Killing 向量场）引起的极小嵌入退化性问题。
• 建立一个允许在对称性引起的退化性下进行分歧分析的泛函框架。
• 通过等变隐函数定理证明非退化三重周期极小曲面的局部刚性。
• 确定 H 族、rPD 族、tP 族和 tD 族极小曲面的具体分歧时刻。

提出的方法

• 引入一个扰动平均曲率泛函 $\widetilde{\mathcal{H}}$，其在极小嵌入处精确为零，并在退化极小嵌入处保持满射性。
• 利用指标为零的弗雷德霍姆算子理论与谱扰动方法，分析嵌入族沿的线性化算子 $A_\mu$。
• 应用弗雷德霍姆算子的分歧准则，要求在临界参数 $\mu_0$ 处具有奇数交叉数。
• 采用等变非退化性概念，即所有 Jacobi 场均来自环境环面的 Killing 向量场。
• 利用限制线性算子 $\overline{A}_\mu$ 在广义特征子空间上的行列式符号来检测奇数交叉数。
• 利用 [6] 的数值数据估计分歧时刻，并验证奇数交叉数条件。

实验结果

研究问题

• RQ1 ℝ³ 中的 H 族、rPD 族、tP 族和 tD 族三重周期极小曲面是否表现出分歧点？
• RQ2 能否将分歧理论应用于线性化算子不可逆的极小嵌入退化族？
• RQ3 是否存在一个泛函框架，使得隐函数定理可应用于具有对称性引起的退化性的极小嵌入？
• RQ4 经典三重周期极小曲面族的分歧时刻数量及其位置是什么？
• RQ5 在何种条件下，非退化三重周期极小曲面在度量的小扰动下具有局部刚性？

主要发现

• H 族恰好有一个分歧时刻，而 rPD 族、tP 族和 tD 族各自有两个分歧时刻。
• 分歧发生在线性化算子 $A_\mu$ 具有奇数交叉数的特定参数值处，该结论通过限制算子 $\overline{A}_\mu$ 的行列式符号变化得以确认。
• 扰动平均曲率泛函 $\widetilde{\mathcal{H}}$ 确保在由环境对称性引起的退化极小嵌入处，微分仍保持满射性。
• 对于等变非退化极小嵌入，隐函数定理适用，从而证明了此类嵌入邻域内的局部刚性。
• 通过构造连续的算子路径 $A_\mu$ 并利用可逆算子连续路径上行列式符号的不变性，使分歧分析成为可能。
• 利用 [6] 的数值估计，以足够精度定位分歧时刻，从而验证了奇数交叉数条件。