[論文レビュー] The three cusps conjecture

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

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

ひとこと要約

この論文は、微局所層理論を用いて、2次元球面の射影化された余接 bundle における Legendrian 曲線について、Arnol'd の3個の尖点予想を証明する。導来圏における層の微局所的台が所定のものであるものとし、ハミルトニアン同値変換の不変性を活用することで、ファイバーから出発する Legendrian 同値変換は、少なくとも3個の尖点を持つフロントを生成することを示す。一方、1個の尖点配置は非可算個の単純層を含むことになり、初期段階での可算構造と矛盾する。

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.

研究の動機と目的

• PT*S² におけるファイバーから出発する任意の一般的 Legendrian 同値変換が、少なくとも3個の尖点を持つフロントを生成することを証明すること。
• Legendrian 曲線の位相的性質と、所定の微局所的台を持つ層の導来圏の構造との間の関係を確立すること。
• 1個の尖点配置が、非可算個の単純層の同型類を含むことから生じる矛盾を示すことにより、予想を解決すること。

提案手法

• Kashiwara と Schapira の層の微局所理論を用いて、Legendrian 部分多様体 Λ に微局所的台を含む S² 上の層の導来圏 D^b_Λ(k_M) を分析する。
• ハミルトニアン同値変換の層論的版を適用する：T*S² 上の同次的ハミルトニアン同値変換 Φ は、D^b_Λ(k_M) ≅ D^b_Φ(Λ)(k_M) という圏の同倣を誘導する。
• 同値変換に関連するカーネル K_t を用いた畳み込みにより、F_t と呼ばれる層の族を構成し、微局所的台と双対性を保つ。
• 2つの臨界点を持つ関数 q: S² → ℝ を用いて、Rq*(F_t) の押し出しを分析し、微局所的台が特定の性質を持つ ℝ 上の層に問題を還元する。
• Mayer-Vietoris 分解と、接点近傍での局所的挙動に基づく、部分圏における非可算個の同型類の基準を適用する。
• 1個の尖点フロントが D^b_Λ(k_M) 内で非可算個の単純層の同型類を生じることを示し、初期ファイバー構成における可算構造と矛盾することにより、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 PT*S² における任意の一般的 Legendrian 同値変換が、ファイバーから出発する場合、常に少なくとも3個の尖点を持つフロントを生成するか？
• RQ2 D^b_Λ(k_S²) 内の単純層の数は、Legendrian 微局所的台 Λ の位相的特徴を特定できるか？
• RQ3 フロントにおける尖点の数と、関連する微局所圏における単純層の同型類の濃度の間にはどのような関係があるか？

主な発見

• 3個の尖点予想が証明された：PT*S² における任意の一般的 Legendrian 同値変換がファイバーから出発する場合、常に少なくとも3個の尖点を持つフロントを生成する。
• 1個の尖点配置は、D^b_Λ(k_S²) 内で非可算個の同型類の単純層を含むことになり、初期ファイバーにおける可算構造と矛盾する。
• 初期ファイバー Λ₀ = T*_{x₀}S² に対して、D^b_Λ(k_S²) には単純層の同型類が可算個しか存在しない。
• ハミルトニアン同値変換によって誘導される圏の同倣は、単純対象の同型類の濃度を保存する。
• 矛盾は、1個の尖点フロントが、適切な開被覆における Mayer-Vietoris 論法により、非可算個のこのような対象を生じることに起因する。
• 結果は S² に対して成り立ち、変形の上昇により、RP² における元の予想も示唆される。