[論文レビュー] Arithmeticity of hyperbolic 3-manifolds containing infinitely many totally geodesic surfaces

G. A. Margulis, Amir Mohammadi|arXiv (Cornell University)|Feb 19, 2019

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

ひとこと要約

この論文は、無限個の完全測地的表面を含む閉じた双曲的3次元多様体は、算術的でなければならないことを証明し、幾何的複雑性と算術的構造との強い関係を確立している。超剛性とエルゴディック理論を用いて、このような多様体の基本群がPGL₂(ℂ)における算術的格子と可換性を持つことを示し、3次元多様体の位相と算術幾何学における長年の未解決問題を解決した。

ABSTRACT

We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.

研究の動機と目的

• 算術的双曲的3次元多様体が、完全測地的表面を0個または無限個持つというリードの結果の逆を確立すること。
• リードとマクマレンが提起した、完全測地的表面の数が無限大であるならば算術的であるかという問いを解決すること。
• 無限個の完全測地的表面の存在が、基本群が算術的でなければならないことを証明すること。
• 幾何的複雑性の文脈において、ランク1の場合（SO(3,1)）に超剛性技法を拡張すること。

提案手法

• 数体の各場所におけるPGL₂(ℂ)およびその完備化への基本群の表現に超剛性定理を適用すること。
• 測度論的・エルゴディック理論的アプローチを用いて、測地的カレントの振る舞いと等変写像によるその像を分析すること。
• 測地線の空間からフラッグ多様体への可測な等変写像Ψを構成し、格子Γによる作用を用いてその像を分析すること。
• 弱近似定理と算術群の可換性の性質を活用して、基本群が算術的でなければならないことを導出すること。
• Ψの像がほとんど確実にPGL₂(ℝ)による単一の軌道に含まれることを用いて、格子が算術的であることを示すこと。
• 補題6.5を用いた改良された測度集中論法を適用し、Ψによるほとんどすべての測地線の像が単一のクロスまたは直線上にあることを示し、代数的剛性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 閉じた双曲的3次元多様体に無限個の完全測地的表面が存在するならば、その多様体は算術的であると結論づけられるか？
• RQ2 格子が事前に算術的でないと分かっていない場合に、超剛性技法をランク1の場合（SO(3,1)）に適応して算術性を証明できるか？
• RQ3 格子がPGL₂(ℂ)において算術的であることを強制する測度的または幾何的剛性条件は存在するか？
• RQ4 測地線の空間とその等変写像による像の構造は、算術性を検出できるか？
• RQ5 無限個の測地的表面の数の文脈において、共役群（commensurator）は算術的格子を特徴づける役割を果たすか？

主な発見

• 無限個の完全測地的表面を含む閉じた双曲的3次元多様体は、必然的に算術的である。
• このような多様体の基本群Γは、PGL₂(ℂ)における算術的格子と可換性を持つ。
• 測地的カレント写像Ψの像は、ほとんど確実にPGL₂(ℝ)による単一の軌道に含まれており、代数的剛性を示唆する。
• 証明は、可測な超剛性論法に依拠しており、等変写像Ψが単一の代数的部分群を通じて因数分解されなければならないことを示している。
• この結果により、閉じた双曲的3次元多様体が無限個の完全測地的表面を含える唯一の方法は、その基本群が算術的である場合に限ることを確認した。
• 基本群の共役群における指数は無限大であり、これは算術性に関する可換性による定理Cと整合的である。