[論文レビュー] Toric integrable geodesic flows

Eugene Lerman, Nadya Shirokova|ArXiv.org|Nov 20, 2000

Geometric and Algebraic Topology参考文献 5被引用数 3

ひとこと要約

この論文は、トーラス上の任意のトーリック可積分測地線フローが平坦な計量から生じることを証明し、TothとZelditchの予想を裏付ける。穿孔された余接 bundle 上のシンプレクティックおよび接触トーリック構造を分析することで、著者らは、モーメント写像像と同相的群作用における位相的障害により、非平坦計量はこのような可積分系を支持できないことを示している。

ABSTRACT

By studying completely integrable torus actions on contact manifolds we prove a conjecture of Toth and Zelditch that toric integrable geodesic flows on tori must have flat metrics.

研究の動機と目的

• トーラス上のトーリック可積分測地線フローが平坦計量に対応するという予想を解決すること。
• 非平坦計量がトーリック可積分性を支持できない幾何的・位相的障害を特定すること。
• シンプレクティックおよび接触幾何学的手法を用いて、トーラス上のトーリック可積分系を分類すること。
• 3次元接触トーリック多様体における固定点の不在と同相的群の構造が、レンズ空間の位相を生じさせ、トーラスの余球面束を除外することを確立すること。
• シンプレクティックトーリック多様体におけるモーメント写像像とチャーン類の障害が、元の幾何構造を一意に決定し、平坦性に至ることを示すこと。

提案手法

• 接触多様体のシンプレクティゼーションを用い、トーラス上の測地線フローを $T^*\mathbb{T}^n \setminus \mathbb{T}^n$ 上のシンプレクティックコーン構造に上昇させる。
• シンプレクティックトーリック多様体の理論とDelzantの分類を用いて、上昇作用のモーメント写像像を分析する。
• トーリック可積分性が、拡大作用と可換で、シンプレクティック形式とエネルギー関数を保存するハミルトニアントーラス作用を意味することを用いる。
• 3次元接触トーリック多様体における同相的群と軌道型を分析し、非自由作用がレンズ空間の位相を生じさせることを示す。
• Lerman, Tolman, Woodward のシンプレクティックトーリック多様体に関する結果を活用し、モーメント写像像がホモトピー型まで位相を決定することを示す。
• Haefliger–Salemの定理を適用して、非自由作用を伴う3次元接触トーリック多様体を分類し、それらがトーラスの余球面束ではなくレンズ空間であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 トーラス上の非平坦計量がトーリック可積分測地線フローを許容できるか？
• RQ2 非平坦計量がトーリック可積分系を支持できない位相的障害は何か？
• RQ3 3次元接触トーリック多様体における同相的群構造が多様体のグローバル位相に与える影響は何か？
• RQ4 トーラスの余球面束は、トーリック可積分測地線フローを支持する接触多様体として唯一の可能性か？
• RQ5 モーメント写像像とチャーン類の障害が、測地線フローから生じるシンプレクティックトーリック多様体の幾何構造をどの程度一意に決定するか？

主な発見

• トーラス $\mathbb{T}^n$ 上のトーリック可積分測地線フローは、計量 $g$ が平坦であることを意味し、TothとZelditchの予想を裏付ける。
• トーラスの穿孔された余接 bundle のシンプレクティゼーションは、モーメント写像像が位相を決定するシンプレクティックトーリック多様体である。
• 次元3において、接触多様体上のトーラス作用が自由でない場合、多様体はレンズ空間でなければならない。これは2次元トーラスの余球面束と微分同相でない。
• 接触多様体上での作用における固定点の不在と同相的群の構造（自明または円周）により、商空間が区間となる。これにより、グローバル位相がレンズ空間のものに強制される。
• シンプレクティックトーリック幾何学におけるチャーン類の障害とモーメント写像像は、多様体のシンプレクティック型を一意に決定し、平坦計量のみがこのような系を支持すると結論づける。
• この結果は有限被覆に対しても成り立つ：トーラス上の計量がトーリック可積分であるならば、その有限被覆への引き戻しもまたトーリック可積分であり、したがって平坦である。