[論文レビュー] Cartan connections and path structures with large automorphisms groups

Elisha Falbel, Martin Mion-Mouton+1 more|arXiv (Cornell University)|May 5, 2021

Geometric Analysis and Curvature Flows参考文献 25被引用数 4

ひとこと要約

この論文は、自己微分同型群が非コンパクトであるという条件下で、接触分配と固定された接触1形式を持つ厳密パス構造を有するコンパクトな3次元多様体を分類する。構造に関連するカルタン接続を用いて、曲率が定数であることを示し、このような多様体が有限被覆または接触形式の定数倍の下で、左不変構造を備えたSL(2,R)の普遍被覆、またはコまっくコンパクトな格子によるヘイセンベルク群と局所的に同型であることを証明する。

ABSTRACT

In this (unpublished) improved version, we withdraw the hypothesis of a dense orbit of the automorphism group in the main Theorem 1.1 when the structure is class C^3.

研究の動機と目的

• コンパクトで連結な3次元多様体を、接触分配と固定された接触1形式からなる厳密パス構造を備えたものとして分類し、その自己微分同型群が非コンパクトであるという条件の下で行う。
• ギャイズの接触＝アノソフ流の分類を、部分的双曲性やアノソフ性といった特別な力学的性質を要件としない、より広い幾何的構造のクラスに拡張する。
• 非コンパクトな自己微分同型群が稠密な軌道を持つことにより、カルタン接続の曲率が定数であることを示し、局所的均一性が生じることを確立する。
• このような構造が、有限被覆または接触形式の定数倍の下で、ヘイセンベルク群またはSL(2,R)の普遍被覆と局所的に同型であることを示す。

提案手法

• 幾何的構造に関連するカルタン接続を用いて、厳密パス構造を、同次空間に基づくカルタン幾何として表現する。
• 非コンパクトな自己微分同型群によるカルタン接続の不変性を用いて、その曲率の大部分の成分が消えることを導く。
• 局所自己微分同型群の下で稠密な軌道の存在を用いて、構造が局所的に均一であることを導く。
• カルタン幾何とリー群論の結果を応用して、可能なグローバルモデルを分類し、特にSL(2,R)の普遍被覆とヘイセンベルク群に焦点を当てる。
• 発展写像が被覆写像であることを示すために、普遍被覆における測地線のパスリフト性と完備性を利用する。
• Heis(3) ⋊ R* の離散部分群がHeis(3)上でコまっくコンパクトに作用する構造を解析し、作用が自由かつコまっくコンパクトであれば、中心的フローが周期的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 自己微分同型群が非コンパクトで、厳密パス構造を有するコンパクト3次元多様体のグローバル幾何的モデルは何か？
• RQ2 局所自己微分同型群の下で稠密な軌道が存在するとき、関連するカルタン接続の曲率にどのような制約を課えるか？
• RQ3 接触＝アノソフ流の3次元多様体における分類を、自己微分同型群が非コンパクトであるすべての厳密パス構造に一般化できるか？
• RQ4 どのような条件下で、コンパクト3次元多様体上の厳密パス構造がヘイセンベルク群またはSL(2,R)の普遍被覆と局所的に同型であるか？
• RQ5 Heis(3) ⋊ R* がHeis(3)上で自由かつコまっくコンパクトに作用する離散的で、自由な作用が中心的フローにどのような構造的制約を課えるか？

主な発見

• 自己微分同型群が非コンパクトで、稠密な軌道を持つとき、厳密パス構造に関連するカルタン接続の曲率は定数である。
• 自己微分同型群が非コンパクトで、厳密パス構造を有する任意のコンパクト3次元多様体は、有限被覆または接触形式の定数倍の下で、左不変構造を備えたSL(2,R)の普遍被覆、またはコまっくコンパクトな格子によるヘイセンベルク群と局所的に同型である。
• 構造がC3またはC2階で、稠密な局所自己微分同型軌道を持つ場合、グローバル構造は、fSL(2,R)の離散部分群による自由かつ正確かつコまっくコンパクトに作用する商、またはHeis(3)のコまっくコンパクトな格子による商の有限被覆のいずれかである。
• 作用が自由、正確、コまっくコンパクトであれば、商Γ\Heis(3)上の中心的フローは周期的である。これは、R*への射影の核が中心の非自明な離散部分群を含むことを意味する。
• Γ\Heis(3)上の構造の自己微分同型群が非コンパクトで自由に作用するためには、格子の中心化群がHeis(3)に含まれる必要があり、これにより格子が完全群の有限指数部分群であることが強制される。
• 分類は有限被覆または接触形式の定数倍の下で行われ、与えられた仮定の下で、fSL(2,R)とHeis(3)の2つのモデルが唯一の可能な局所モデルである。