[論文レビュー] Hopf fibrations are characterized by being fiberwise homogeneous

Haggai Nuchi|arXiv (Cornell University)|Jul 17, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 5

ひとこと要約

この論文は、大円部分球面による球面のホップファイブレーションが、ファイバーごとの一様性（任意の2つのファイバーがファイバーを保存する等長写像で写像可能）によって一意に特徴づけられることを証明している。コンパクトなリー群の表現論およびモンゴメリー＝サマエルソンとボレルによる分類結果を用いて、このようなファイブレーションは古典的ホップファイブレーションと等長である必要があることが示された。特に3次元球面が大円でファイブレーションされる場合、連結な開集合上で局所的ファイバーごとの一様性が成り立つと、ファイブレーションは完全なホップファイブレーションの一部であることが示された。

ABSTRACT

Heinz Hopf's famous fibrations of the 2n+1-sphere by great circles, the 4n+3-sphere by great 3-spheres, and the 15-sphere by great 7-spheres have a number of interesting properties. Besides providing the first examples of homotopically nontrivial maps from one sphere to another sphere of lower dimension, they all share two striking features: (1) Their fibers are parallel, in the sense that any two fibers are a constant distance apart, and (2) The fibrations are highly symmetric. For example, there is a fiber-preserving isometry of each total space which takes any given fiber to any other one. Hopf fibrations have been characterized up to isometry by the first property above, initially among all fibrations of spheres by great subspheres, and later in the stronger sense among all fibrations of spheres by smooth subspheres. In this paper, we show that the Hopf fibrations are also characterized by their "fiberwise homogeneity" expressed above in (2), and in the strong sense among all fibrations of spheres by smooth subspheres. In the special case of the 3-sphere fibered by great circles, we prove something stronger. We prove that a fibration of a connected open set by great circles which is locally fiberwise homogeneous is part of a Hopf fibration.

研究の動機と目的

• 回転球面を滑らかな部分球面でファイブレーションする際、ファイバーごとの一様性を満たすものが唯一ホップファイブレーションであることを特徴づけること。
• 任意のファイバーを他の任意のファイバーに写すファイバーを保存する等長写像が存在する、すなわちファイバーごとの一様性が、このようなファイブレーションのクラスの中でホップファイブレーションを完全に特徴づけること。
• より強い局所的結果を証明すること：3次元球面の連結な開集合が大円でファイブレーションされ、かつ局所的ファイバーごとの一様性を満たす場合、そのファイブレーションはグローバルなホップファイブレーションの一部である。
• コンパクトリー群の表現論を応用し、ファイバーごとの一様性を持つファイブレーションの対称性群が、被覆空間上に既約かつ標準的な作用を示し、ホップモデルと同型であることを示すこと。

提案手法

• セルレのスペクトル系列を用いて、ファイバーごとの一様性を持つファイブレーションの底空間のコホロジー環がホップモデルのそれと一致することを示し、これにより底空間がホップファイブレーションの底空間と微分同相であることを示す。
• 球面および射影空間上で推移的かつ有効に作用するコンパクトリー群の分類（モンゴメリー＝サマエルソン、ボレル、オニシチク）を適用し、ファイブレーションの可能性のある対称性群を同定する。
• 作用の非退化性に関する補題を用いて、ファイブレーションの等長群が埋め込まれたユークリッド空間上で既約に作用することを証明する。
• 表現論を用いて、対称性群の被覆空間上への作用が標準的（すなわち、ホップモデルの対称性群の作用と同値）であることを示す。
• ファイブレーションがホップモデルと少なくとも1つのファイバーを共有することを示し、対称性群の推移性から、全体としてホップモデルと一致することを結論づける。
• 3次元球面の場合、局所的ファイバーごとの一様性を用いて、ファイブレーション写像の微分が0であることを示し、これによりファイブレーションが定数であり、したがってホップファイブレーションの一部であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ファイバーごとの一様性が、滑らかな部分球面によって回転球面にファイブレーションされるすべてのファイブレーションの中でホップファイブレーションを完全に特徴づけることができるか？
• RQ2 グローバルなファイバーごとの一様性と局所的なファイバーごとの一様性の違いが、ファイブレーションがホップファイブレーションの一部であるかどうかを決定づける役割を果たすか？
• RQ3 ファイバーごとの一様性を持つファイブレーションの対称性群は、古典的ホップファイブレーションのそれらとどのように関係するか？
• RQ4 3次元球面が大円でファイブレーションされる場合、局所的ファイバーごとの一様性を持つファイブレーションがグローバルなホップファイブレーションに拡張されるための条件は何か？
• RQ5 コンパクトリー群の表現論を用いて、対称性群の被覆空間上への作用が標準的であることを証明できるか？

主な発見

• 任意の $ C^1 $ ファイブレーションで、$ S^n $ を $ k $-次元球面でファイブレーションする場合、その底空間は対応するホップファイブレーションの底空間と微分同相である。
• このようなファイブレーションの対称性群は、埋め込まれたユークリッド空間上で既約に作用する。
• 対称性群の被覆空間上への作用は標準的であり、すなわちホップモデルの対称性群の作用と同値である。
• 任意の $ S^n $ を $ k $-次元球面でファイブレーションするファイバーごとの一様性を持つファイブレーションは、ホップファイブレーションと等長である。
• 3次元球面の場合、連結な開集合が大円でファイブレーションされ、かつ局所的ファイバーごとの一様性を持つ場合、そのファイブレーションはグローバルなホップファイブレーションの一部である。
• 3次元球面の場合、局所的ファイバーごとの一様性を持つファイブレーションでは、ファイブレーション写像の微分が0である必要がある。これによりファイブレーションは定数であり、したがってホップファイブレーションの一部であることが示される。