[論文レビュー] Givental's non-linear Maslov index on lens spaces

Gustavo Granja, Yael Karshon+2 more|arXiv (Cornell University)|Apr 19, 2017

Geometric and Algebraic Topology参考文献 38被引用数 10

ひとこと要約

この論文は、実射影空間の接触自己同型群の普遍被覆上の非線形Maslov指数（Giventalのもの）をレンズ空間へ拡張し、生成関数と特異コhomology指数理論を用いて類似の不変量を構成する。主な貢献は、レンズ空間の接触自己同型群の単位成分の普遍被覆上でこの指数がクェイジモーフィズムであることを証明したことであり、これにより順序可能性や判別距離の非有界性といった新しい接触剛性結果が得られる。

ABSTRACT

Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. In this article we give an analogue for lens spaces of Givental's construction and its applications.

研究の動機と目的

• 元々 $\mathbb{RP}^{2n-1}$ に対して定義されたGiventalの非線形Maslov指数をレンズ空間へ一般化すること。
• レンズ空間の接触自己同型群の単位成分の普遍被覆上でクェイジモーフィズムを確立すること。
• 構成された不変量を用いて、接触剛性現象（順序可能性や判別距離の非有界性など）を証明すること。
• 生成関数と特異コhomology指数理論の枠組みを、射影空間の場合と同様にレンズ空間へ拡張すること。

提案手法

• ホモロジーの結合作用と $\mathbb{Z}_k$-可換ホモロジーを用いて、レンズ空間上に特異コホモロジー指数を構成する。
• Giventalの元々の構成と同様に、接触ホモトピーに関連する生成関数を介して非線形Maslov指数を定義する。
• 端点を固定したホモトピーに関して不変であることを示すことにより、接触自己同型群の普遍被覆上で指数が適切に定義されることを証明する。
• ホモトピーの合成における指数の有界誤差条件を満たすことで、クェイジモーフィズム性を確立する。
• 特異コホモロジー指数の結合加法性を用いて、ホモトピーの連結における指数の振る舞いを制御する。
• $\mathbb{Z}_k$ の作用におけるホモロジー結合の可換性を活用し、指数式における符号補正を導出する。

実験結果

リサーチクエスチョン

• RQ1 Giventalの非線形Maslov指数は、$\mathbb{RP}^{2n-1}$ からレンズ空間 $L(k,1)$ へ拡張可能か？
• RQ2 レンズ空間上に構成された指数は、接触自己同型群の単位成分の普遍被覆上でクェイジモーフィズムか？
• RQ3 この指数は、レンズ空間上での接触剛性現象（順序可能性や判別距離の非有界性など）を検出可能か？
• RQ4 特異コホモロジー指数は、レンズ空間における $\mathbb{Z}_k$-可換結合作用に関してどのように振る舞うか？

主な発見

• レンズ空間上の非線形Maslov指数は、適切に定義されたクェイジモーフィズム $\mu: \widetilde{\mathrm{Cont}}_0(L(k,1)) \to \mathbb{Z}$ であり、ある一様定数 $C$ に対して $|\mu(\phi \cdot \psi) - \mu(\phi) - \mu(\psi)| \leq C$ を満たす。
• レンズ空間上の特異コホモロジー指数は、$\mathbb{Z}_k$-可換結合作用に関して加法的である：$\mathrm{ind}(A \ast_{\mathbb{Z}_k} B) \geq \mathrm{ind}(A) + \mathrm{ind}(B)$ であり、両方のインデックスが奇数の場合は $-1$ の補正が加わる。
• 指数は端点を固定したホモトピーに関して不変であり、接触自己同型群の普遍被覆上で適切に定義された写像に下降する。
• 構成はGiventalの元々の枠組みをレンズ空間へ一般化し、判別集合との交差指数としての解釈といった重要な性質を保持する。
• レンズ空間上のホモロジー結合作用は符号可換性を満たす：$\tau_*(\alpha \ast_G \beta) = (-1)^{(l+1)(m+1)} \beta \ast_G \alpha$ であり、これは指数の一貫性に不可欠である。
• 本論文は、指数がレンズ空間における移動点およびReeb弦を検出できることを確立し、このクラスの多様体への接触幾何的応用を拡張した。