[論文レビュー] A landscape of contact manifolds via rational SFT

Agustín Moreno, Zhengyi Zhou|arXiv (Cornell University)|Dec 8, 2020

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

ひとこと要約

本稿は、有理的シンプレクティック場理論（RSFT）から導かれる階層的ファンクター——代数的平面ねじれ、平面性、半拡大の位数——を用いて、接触多様体における接触構造の複雑さを測定する。この枠組みにより、ℕ∪{∞} に値をとる計算可能な不変量が得られ、3つのファンクターがすべて全射であることが証明され、特に高次元および特異点のリンクに対して、完全なコボルディズムと繰り返し平面構造の障害が特定される。

ABSTRACT

We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of structures, namely algebraic planar torsion, order of semi-dilation and planarity, all taking values in $\mathbb{N}\cup \{\infty\}$, where algebraic planar torsion can be understood as the analogue of Latschev-Wendl's algebraic torsion in the context of RSFT. The hierarchy functor is well-defined through a partial construction of RSFT and is within the scope of established virtual techniques. We develop computation tools for those functors and prove all three of them are surjective. In particular, the planarity functor is surjective in all dimension $\ge 3$. Then we use the hierarchy functor to study the existence of exact cobordisms. We discuss examples including iterated planar open books, spinal open books, affine varieties with uniruled compactification and links of singularities.

研究の動機と目的

• 有理SFTを用いて、既存の不変量（代数的ねじれなど）を精緻化する、計算可能な代数的階層不変量を接触多様体に対して構築すること。
• 代数的平面ねじれ、平面性、半拡大の位数という3つの新しい不変量を定義・研究し、それぞれℕ∪{∞} に値をとる。これらは接触構造の複雑さの増加を捉える。
• 3つの不変量がすべて全射であることを証明し、広範な接触位相的挙動を検出可能な能力を示すこと。
• この階層を、完全なシンプレクティックコボルディズムの存在を遮断し、高次元接触多様体における反復平面構造でない構造を検出する応用に用いること。
• 特に商特異点およびアフィン多様体に対して、代数幾何的性質と接触不変量との関係を階層ファンクターを通じて探求すること。

提案手法

• 有理SFT（RSFT）の$BL_{\backslash infty}$形式的枠組みを用い、 genus 0 の穴あき擬複素曲線に注目することで、完全なシンプレクティックコボルディズム圏から全順序集合への階層ファンクターを構成する。
• RSFTの補完の障害を測る不変量として代数的平面ねじれ（APT）を定義し、Latschev-Wendlの代数的ねじれとは異なり、有理SFT設定において類似する役割を果たす。
• シンプレクティゼーションにおける点制約付きの有理曲線の数を測る不変量として平面性（P）を定義し、非ゼロ値に対しては最大値によるモノイド構造をもつ。
• 平面性が1である多様体の部分圏において、線形化接触ホモロジー上の${\mathbb{Q}}[U]$-加群構造を用いて半拡大の位数（SD）を定義する。
• RSFTの部分的構成と既知の仮想的技法を用いて、不変量のファンクター性および定義の妥当性を保証する。
• 不変量を用いて、完全なコボルディズムの障害を検出し、アフィン多様体、特異点のリンク、コスフィアーバンドルから生じる接触多様体の分類に応用する。

実験結果

リサーチクエスチョン

• RQ1 有理SFTから、過渡的でない接触多様体の複雑さを段階的に捉える、より精緻な不変量の階層を構築可能か？
• RQ2 平面性不変量Pはすべての次元≥3で全射か？ その全射性は接触多様体の構造にどのような意味を持つか？
• RQ3 階層ファンクターと特異点のリンクの接触位相的性質の間にはどのような関係があるか？ 特に端末的商特異点に対して。
• RQ4 階層ファンクターは、双曲多様体上のコスフィアーバンドルにおいて、繰り返し平面開き本分解の障害を検出可能か？
• RQ5 代数幾何的性質（例：端末的特異点）と、特異点の境界における階層不変量の値との間に、対応関係があるか？

主な発見

• 代数的平面ねじれ（APT）不変量はℕ∪{∞} に値をとり、その有限性は接触多様体が強いシンプレクティック充填を持たないことを示し、フルSFTにおける代数的ねじれの役割を一般化する。
• 平面性不変量Pはすべての次元≥3で全射であり、ℕ∪{∞} のすべての値が接触多様体全体に実現されることを示している。
• 半拡大の位数（SD）は、P=1である部分圏上で全射であり、充填性およびコボルディズム関係に対する高次元の障害を検出可能である。
• 次元≥3の双曲多様体$Q$のコスフィアーバンドル$S^*Q$に対して、階層不変量は$\operatorname{H_{cx}}(S^*Q) > 0^{\operatorname{SD}}$を満たし、任意のリーマン領域$V$に対して、$\partial(V \times \mathbb{D})$への完全なコボルディズムが存在しないことを示し、グロモフの結果を一般化する。
• $n \geq 3$に対して、無限大の平面性を持つ異種球面の連結和を用いて構成された、反復平面でないtight接触構造が$S^{2n-1}$上に存在する。
• 次元≥5において、単連結な5-多様体上のすべてのほぼ接触構造は、非平面的モデルと連結和をとることで、階層不変量が$\infty^P$に達する接触代表をもつため、反復平面でない接触構造をもつ。