[论文解读] Existence and non-existence of skew branes

Serge Tabachnikov, Yu. Tyurina|ArXiv.org|Apr 23, 2005

Geometric and Algebraic Topology参考文献 7被引用 4

一句话总结

本文通过特征类与同调交点理论，建立了对扭曲膜（skew branes）存在的拓扑障碍——即浸入到欧几里得空间中时，任意两个切空间均不平行的流形。证明了在余维数为2时，具有非零欧拉示性数的闭合、定向流形必存在一对负平行切空间；并构造了 R^4 和 R^{2n+1} 中球面与环面的显式扰动，避免了所有平行切平面，展示了在原本非存在性定理适用的情况下，此类结构仍可存在。

ABSTRACT

Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $ξ$ then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than $(ξ^2)/4$. We also construct examples of skew odd-dimensional spheres and skew two-dimensional tori.

研究动机与目标

• 通过特征类与同调交点理论，建立对扭曲膜——即任意两个切空间均不平行的浸入——存在的拓扑障碍。
• 证明任何闭合、定向、嵌入 R^{2n+2} 中的 2n 维子流形，若其欧拉示性数非零，则必存在至少一对负平行切空间。
• 在 R^{2n+1} 和 R^4 中构造显式扭曲膜示例，包括标准球面与环面的扰动，使其完全避免所有平行切平面对。
• 通过构造一个在 R^4 中具有一个二重点但无任何负平行切平面对的浸入球面，证明非存在性定理中下界的紧致性。

提出的方法

• 利用切空间高斯映射，将流形的基本类关联到定向格拉斯曼流形 G_{2n}^+(2n+2)，并计算其同调类及其与反定向对合的交点。
• 应用格拉斯曼流形上典型丛的特征类，计算同调交点数，从而得到负平行切平面对数目的下界。
• 通过将环面上函数分解为 Z_2^2-不变与反不变分量，分析扰动下切平面系统的方程。
• 通过在角坐标上引入小而精心选择的函数，显式构造 R^{2n+1} 中标准球面 S^{2n-1} 与 R^4 中标准环面 T^2 的扰动参数化。
• 在 ε 的线性近似下计算切平面的普吕克坐标，分析何时成对切平面变为平行或负平行。
• 通过证明对于扰动函数的通用选择，平行性方程组无解，验证扰动后的流形完全避免所有平行切平面对。

实验结果

研究问题

• RQ1 在何种拓扑条件下，R^{2n+2} 中闭合、定向的 2n 维子流形必然存在一对负平行切空间？
• RQ2 尽管二次超曲面存在非存在性结果，标准球面 S^{2n-1} ⊂ R^{2n+1} 是否可被扰动以避免所有平行切平面对？
• RQ3 是否可对 R^4 中的标准环面 T^2 进行扰动，以完全消除所有平行切平面对，包括负平行对？
• RQ4 由双重点代数计数给出的 R^4 中浸入曲面负平行切平面对数目的下界是否紧致？
• RQ5 能否构造一个在 R^4 中具有单个二重点但无任何负平行切平面对的浸入球面？

主要发现

• 任何闭合、定向、嵌入 R^{2n+2} 中的子流形 M^{2n}，若其欧拉示性数 χ ≠ 0，则必存在至少一对不同点，其切空间为负平行。
• 对于一般此类流形，负平行切平面的无序对数至少为 χ²/4。
• 存在标准球面 S^{2n-1} ⊂ R^{2n+1} 的小 C¹-扰动，完全避免所有平行切平面对，证明了非二次超曲面上扭曲膜的存在性。
• 存在标准环面 T^2 ⊂ R^4 的小扰动，完全避免所有平行切平面对，提供了新构造的扭曲环面。
• 存在一个在 R^4 中具有恰好一个二重点但无任何负平行切平面对的浸入球面，表明定理2中该下界对球面情形是紧致的。
• 在 R^4 中对球面的扰动通过修改参数化函数 g(α) = sin 2α + sin 4α 构造，该函数破坏了原本会强制产生负平行切平面的对称性。