[论文解读] The three cusps conjecture

Stéphane Guillermou|arXiv (Cornell University)|Mar 25, 2016

Analytic Number Theory Research参考文献 5被引用 13

一句话总结

本文利用微局部层理论，证明了在2-球面的射影化余切丛中，Legendrian曲线的Arnol'd三尖点猜想。通过分析具有指定微局部支集的层的导出范畴，并利用哈密顿同伦不变性，作者表明：从一个纤维出发的Legendrian同伦必然产生至少三个尖点的前影；而单尖点构型将导致不可数多条简单层——与初始阶段的可数结构矛盾。

ABSTRACT

We prove Arnol'd's three cusps conjecture about the front of Legendrian curves in the projectivized cotangent bundle of the $2$-sphere. We use the microlocal theory of sheaves of Kashiwara and Schapira and study the derived category of sheaves on the $2$-sphere with a given smooth Lagrangian microsupport.

研究动机与目标

• 证明Arnol'd猜想：在PT*S²中，任何从纤维出发的通用Legendrian同伦均产生至少三个尖点的前影。
• 建立Legendrian曲线的拓扑与具有指定微局部支集的层的导出范畴结构之间的联系。
• 通过证明单尖点构型将导致矛盾，从而解决该猜想：即通过不可数多条同构类的简单层实现。

提出的方法

• 利用Kashiwara与Schapira的层的微局部理论，分析在S²上、微局部支集包含于Legendrian子流形Λ的层的导出范畴D^b_Λ(k_M)。
• 应用层论版本的哈密顿同伦不变性：T*S²上的齐次哈密顿同伦Φ诱导范畴的等价关系D^b_Λ(k_M) ≅ D^b_Φ(Λ)(k_M)。
• 通过与与同伦相关的核K_t进行卷积，构造一族层F_t，保持微局部支集与对偶性。
• 利用S² → ℝ的Morse函数q（具有两个临界点）分析其上推Rq*(F_t)，将问题约化为研究在ℝ上具有特定微局部支集的层。
• 应用Mayer-Vietoris分解，并基于在切点附近的局部行为，建立子范畴中不可数多条同构类的判别准则。
• 通过证明单尖点前影将导致D^b_Λ(k_M)中不可数多条简单层，而初始纤维构型仅有可数多条，从而导出矛盾。

实验结果

研究问题

• RQ1 在PT*S²中，任何从纤维出发的通用Legendrian同伦是否均产生至少三个尖点的前影？
• RQ2 在导出范畴D^b_Λ(k_S²)中，简单层的数量能否检测Legendrian微局部支集Λ的拓扑特征？
• RQ3 前影中尖点数量与关联微局部范畴中简单层的同构类基数之间存在何种关系？

主要发现

• 三尖点猜想已得证明：在PT*S²中，任何从纤维出发的通用Legendrian同伦均产生至少三个尖点的前影。
• 单尖点构型将导致D^b_Λ(k_S²)中不可数多条同构类的简单层，与初始纤维处的可数结构矛盾。
• 初始纤维Λ₀ = T*_{x₀}S²对应的范畴D^b_Λ(k_S²)仅有可数多条同构类的简单层。
• 由哈密顿同伦诱导的范畴等价保持了简单对象同构类的基数。
• 矛盾源于：单尖点前影通过在适当开覆盖上的Mayer-Vietoris论证，可导出不可数多条此类对象。
• 该结果适用于S²，且通过提升形变，可推出对RP²的原始猜想成立。