[论文解读] Isometric realization of cross caps as formal power series and its applications

Atsufumi Honda, Kosuke Naokawa+2 more|arXiv (Cornell University)|Jan 23, 2016

Geometric and Algebraic Topology参考文献 6被引用 3

一句话总结

本文通过构造 Whitney 度量等距实现的形式幂级数解，提出了一套完整的关于 R³ 中脐点的内在不变量。证明了可数族不变量 {α_{i,j}}_{i+j≥2} 完全分类了形式等距类的脐点奇点，并提供了一种从第一基本形式的泰勒展开式计算这些不变量的算法。

ABSTRACT

Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely.

研究动机与目标

• 开发一种系统方法，用于寻找所有与给定 C∞ 脐点奇点形式等距的脐点。
• 构造一组完整的内在不变量，以分类脐点的形式等距类。
• 将先前的不变量 α₂₀、α₁₁、α₀₂ 扩展为 Whitney 度量的完整族 {α_{i,j}}_{i+j≥2}。
• 提供一种明确算法，从第一基本形式的泰勒展开式计算这些不变量。
• 建立一个框架，以理解在奇点处的实解析 Whitney 度量是否能等距实现为 R³ 中的脐点。

提出的方法

• 使用标准坐标 (x,y) 将脐点表示为标准形式：f(x,y) = (x, xy + b(y), z(x,y))，其中 b(0)=b′(0)=b′′(0)=0，且 z(0,0)=zₓ(0,0)=zᵧ(0,0)=0，zᵧᵧ(0,0)>0。
• 定义第一基本形式 dσ² = E dx² + 2F dxdy + G dy²，并计算其在 m+1 阶以内的泰勒展开。
• 通过雅可比矩阵的逆，应用形式坐标变换 (u,v) ↦ (x,y)，将 u,v 表示为 x,y 的形式幂级数。
• 利用定理 1.10 证明中的递推公式，将 z(x,y) 的泰勒展开系数用 E, F, G 和 b(y) 表示。
• 将不变量 α_{i,j} 定义为 z(x,y) 泰勒展开系数，并通过阶乘进行归一化。
• 利用 Borel 定理将形式幂级数近似为 C∞ 映射，从而确保光滑实现的存在性。

实验结果

研究问题

• RQ1 是否能通过形式幂级数系统地构造出所有与给定脐点形式等距的脐点？
• RQ2 不变量 {α_{i,j}}_{i+j≥2} 是否能完全区分脐点奇点的形式等距类？
• RQ3 是否存在一种算法，能从第一基本形式的泰勒展开式计算这些不变量？
• RQ4 在奇点处的实解析 Whitney 度量芽是否能等距实现为 R³ 中的脐点？
• RQ5 不变量 α_{i,j} 如何与脐点的几何结构相关，特别是与特征函数 b(y) 和 z 分量的关系？

主要发现

• 不变量族 {α_{i,j}}_{i+j≥2} 构成一组完整不变量，可完全分类在奇点处的 Whitney 度量的形式等距类。
• 不变量 α_{i,j} 可通过系统算法从第一基本形式的泰勒展开式显式计算得出。
• 先前工作中得到的不变量 α₂₀、α₁₁、α₀₂ 在新族中作为前三个不变量被重新获得。
• 不变量 A₀₄ 具有闭式表达：A₀₄ = [4a₀₂(4b₄a₁₁ + 3a₀₄) + 3b₃(b₃(15a₁₁² - 4a₀₂a₂₀ + 7) + 4(a₀₃a₁₁ + 4a₀₂a₁₂))]/(12a₀₂)。
• 不变量 α_{i,j} 是诱导度量的内在性质，在形式等距下保持不变，因此是稳健的几何不变量。
• 该构造为任意 Whitney 度量芽提供了形式幂级数实现为 R³ 中的脐点，尽管其收敛性无法保证。