[论文解读] On the violation of Thurston-Bennequin inequality for a certain non-convex hypersurface

Atsuhide Mori|arXiv (Cornell University)|Nov 2, 2011

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

一句话总结

该论文表明，在三维以上的接触流形中，存在违反Thurston-Bennequin不等式的非凸超曲面，且不存在任何光滑的凸超曲面逼近。该构造利用了在$J^1(\mathbb{R}^n, \mathbb{R})$中的特定超曲面，其特征叶状结构具有一个源点和一个汇点，其指标违反了不等式，且通过辛拓扑约束证明了其不可逼近性。

ABSTRACT

We show that any open subset of a contact manifold of dimension greater than three contains a certain non-convex hypersurface violating the Thurston-Bennequin inequality.

研究动机与目标

• 研究Thurston-Bennequin不等式在三维接触流形中对凸曲面成立，是否可推广至更高维度。
• 在$J^1(\mathbb{R}^n, \mathbb{R})$中构造一个特定的非凸超曲面，使其在$n > 1$时违反该不等式。
• 证明此类超曲面无法在相同接触流形中被任何光滑凸超曲面逼近。
• 对比三维接触流形中（所有曲面均可被凸曲面逼近）与更高维度中接触超曲面的行为差异。

提出的方法

• 通过在$\Sigma$的邻域上定义一个向量场$X$，其具有指定的接触哈密顿函数和奇点，构造一个超曲面$\Sigma \subset J^1(\mathbb{R}^n, \mathbb{R})$。
• 通过$T\Sigma \cap \ker\alpha$的辛正交性定义$\Sigma$上的特征叶状结构$\mathcal{F}_\Sigma$，其在柱坐标下的原点处表现出孤立奇点。
• 计算奇点的指标：一个源点（$S_+$）和一个汇点（$S_-$），两者指标均为1，导致违反Thurston-Bennequin不等式。
• 利用Eliashberg-Floer-McDuff定理证明，凸辛流形的边界不可能包含球面及其他分量的不相交并集，若$\Sigma$可被凸曲面逼近，则导致矛盾。
• 采用覆盖构造和投影方法分析在四分之一球面模型上的叶状结构，识别出椭圆型和双曲型奇点。
• 使用接触形式$\beta = (2r^2 - 1)dz + r^2(r^2 - 1)d\theta + \sum_{i=1}^{n-1}(x_i dy_i - y_i dx_i)$定义接触结构，并验证所需的几何条件。

实验结果

研究问题

• RQ1 在维度大于三的接触流形中，非凸超曲面是否可能违反Thurston-Bennequin不等式？
• RQ2 在$J^1(\mathbb{R}^n, \mathbb{R})$中（$n > 1$）是否存在一个违反Thurston-Bennequin不等式的超曲面，且无法被光滑凸超曲面逼近？
• RQ3 何种拓扑或几何障碍阻止了此类超曲面在高维中被光滑凸超曲面逼近？
• RQ4 特征叶状结构和奇点在三维与高维接触流形中的行为有何不同？

主要发现

• 在$J^1(\mathbb{R}^n, \mathbb{R})$中构造的超曲面$\Sigma$（$n > 1$）由于存在一个指标为1的汇点和一个指标为1的源点，导致$\sum_{p \in S_-} \mathrm{Ind}\,p = 1 > 0$，从而违反Thurston-Bennequin不等式。
• 边界$\partial\Sigma$为接触型，因为特征叶状结构与边界横截，满足不等式表述的几何条件。
• 不存在任何凸超曲面可光滑逼近$\Sigma$，因为假设存在此类逼近将与Eliashberg-Floer-McDuff定理关于辛边界的结果矛盾。
• 超曲面$\Sigma$上的奇异叶状结构$\mathcal{F}_\Sigma$包含一个源点和一个汇点，其在覆盖映射下的提升揭示了额外的椭圆型和双曲型奇点，确认了其非凸性。
• 该构造依赖于一个具有接触哈密顿函数的向量场$X$，以确保接触结构被保持，且奇点为孤立且指标为1。
• 该结果在$J^1(\mathbb{R}^n, \mathbb{R})$的任意开子集上（$n > 1$）均成立，表明该现象在高维接触几何中具有普遍性。