[论文解读] Framed bordism and Lagrangian embeddings of exotic spheres

Mohammed Abouzaid|arXiv (Cornell University)|Dec 29, 2008

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

一句话总结

本文证明，任何同伦球面作为标准球面 $T^*S^{4k+1}$ 的拉格朗日子流形嵌入时，必须是某个紧致平行化流形的边界。通过构造一个扰动柯西-黎曼方程的参数族，并利用格罗莫夫-弗洛尔紧化方法，包含全纯圆盘和球面泡状解，作者构建了一个具有角的光滑流形，其边界包含该拉格朗日子流形。通过 $K$-理论与全纯曲线分析，证明其边界流形是平行化的。该结果表明，某些异样球面（如 9 维中的 28 个）无法嵌入为 $T^*S^9$ 中的拉格朗日子流形，从而在微分同胚类型之外区分了辛结构。

ABSTRACT

In dimensions congruent to 1 modulo 4, we prove that the cotangent bundle of an exotic sphere which does not bound a parallelisable manifold is not symplectomorphic to the cotangent bundle of the standard sphere. More precisely, we prove that such an exotic sphere cannot embed as a Lagrangian in the cotangent bundle of the standard sphere. The main ingredients of the construction are (1) the fact that the graph of the Hopf fibration embeds the standard sphere, and hence any Lagrangian which embeds in its cotangent bundle, as a displaceable Lagrangian in the product a symplectic vector space of the appropriate dimension with its complex projective space, and (2) a moduli space of solutions to a perturbed Cauchy-Riemann equation introduced by Gromov.

研究动机与目标

• 证明任何在 $T^*S^{4k+1}$ 中的同伦球面拉格朗日子流形必为某个紧致平行化流形的边界。
• 通过表明辛拓扑阻碍某些异样微分结构，解决通往邻近拉格朗日子流形猜想的关键步骤。
• 证明 $T^*S^{4k+1}$ 的辛结构可在微分同胚类型之外检测基底球面的微分结构。
• 通过粘合带有圆盘与球面泡状解的伪全纯曲线模空间，构造一个紧致且平行化的边界流形。

提出的方法

• 在辛流形 $\mathbb{C}^n \times \mathbb{C}\mathbb{P}^{n-1}$ 上构造一个单参数扰动柯西-黎曼方程族，使用紧支集哈密顿同伦。
• 使用格罗莫夫-弗洛尔紧化方法，包含带有全纯圆盘与球面泡状解的解，形成一个边界微分同胚于拉格朗日子流形的紧化模空间。
• 通过第二个全纯圆盘模空间补全圆盘泡状解层，构造一个边界为 $L$ 的闭流形，而球面泡状解层则被描述为 $S^2$ 上的纤维丛。
• 通过分析模空间切丛的 $K$-理论类并证明其可从光滑映射空间上拉回，证明所得流形是平行化的。
• 利用当 $n$ 为偶数时 $\mathbb{C}\mathbb{P}^{n-1}$ 的第一陈类为偶数的性质，确保 $K$-理论类在与平行化相容的意义下平凡。
• 应用分析估计与索伯列夫嵌入，控制在高余维数层附近解的粘合过程，确保所得具有角的流形的光滑性。

实验结果

研究问题

• RQ1 无法作为平行化流形边界的异样球面是否可嵌入为 $T^*S^{4k+1}$ 中的拉格朗日子流形？
• RQ2 $T^*S^{4k+1}$ 的辛结构是否可在微分同胚类型之外检测基底球面的微分结构？
• RQ3 在球面余切丛中，同伦球面的拉格朗日嵌入会产生何种拓扑障碍？
• RQ4 带有泡状解的伪全纯曲线模空间如何促成平行化边界流形的构造？
• RQ5 为何维度的模 4 值（特别是 $4k+1$）在平行化论证中至关重要？

主要发现

• 任何作为 $T^*S^{4k+1}$ 中拉格朗日子流形嵌入的同伦球面，必须是某个紧致平行化流形的边界，如定理 1.1 所述。
• 在 9 维中，八种异样球面仅有两种是平行化流形的边界，因此其余六种无法嵌入为 $T^*S^9$ 中的拉格朗日子流形，如推论 1.2 所示。
• 若 $Σ^{4k+1}$ 是一个不作为平行化流形边界的异样球面，则余切丛 $T^*\Sigma^{4k+1}$ 与 $T^*S^{4k+1}$ 不是辛同胚的。
• 边界流形的构造依赖于带有圆盘与球面泡状解的伪全纯曲线模空间的粘合，结果为一个具有角的光滑流形。
• 通过分析模空间切丛的 $K$-理论类并利用当 $n$ 为偶数时 $\mathbb{C}\mathbb{P}^{n-1}$ 的第一陈类为偶数的性质，确立了边界流形的平行化性。
• 该论证的关键在于维度为 $4k+1$，因为模 4 的值在 $K$-理论计算中起作用，以确保切丛的平凡性。