[論文レビュー] Hyperbolic orbifolds of small volume

Mikhail Belolipetsky|arXiv (Cornell University)|Feb 21, 2014

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、$>\mathrm{PO}(n,1)$ 内の算術的および非算術的格子に焦点を当て、最小体積 hyperbolic $n$-軌道的および $n$-多様体に関する既知の結果と予想を概説する。曲率と球充填法を用いて、次元が高くなると超指数的に減少する下界を確立し、既知の下界と高次元における予想される最小体積との間にある広大な隔たりを強調している。

ABSTRACT

Volume is a natural measure of complexity of a Riemannian manifold. In this survey, we discuss the results and conjectures concerning n-dimensional hyperbolic manifolds and orbifolds of small volume.

研究の動機と目的

• hyperbolic $n$-軌道的および $n$-多様体の最小体積問題に関する現在の知識を要約すること。
• 低次元および高次元における算術的格子とその体積下界の役割を検討すること。
• 既知の超指数的に減少する下界と高次元における予想される超指数的に増加する最小体積との隔たりを調査すること。
• Kazhdan–Margulis の定理やカスプにおける球充填法といった幾何学的・数論的技法が体積推定にどのように適用できるかを探索すること。
• 非算術的格子や次元 $n$ における $μn$（最小自己長）の改善された下界に関する、特に未解決の問題を特定すること。

提案手法

• 偶数次元における体積とオイラー標跡の関係を示すためにガウス＝ボナットの定理を用い、軌道的への一般化には軌道的オイラー標跡を用いる。
• 代数群 $\mathbf{G}$ を数体 $k$ 上で定義し、$\phi: \mathbf{G}(k\otimes_{\mathbb{Q}}\mathbb{R})^\circ \to \mathrm{PO}(n,1)^\circ$ がコンパクト核を持つようにするという、Borel–Harish-Chandra の定理を適用して算術的格子を構成する。
• 双曲的ピタゴラスの定理と準等長埋め込み技術を用いて、木の埋め込みを通じて双曲空間内の距離を推定する。
• 互いに交わらない二等分線テストを適用し、$\cosh(b_n) \geq \cosh(2.303)$ ならば、写像 $\rho$ による木の像が準等長埋め込みであることを示す。
• ワングの Zassenhaus 領域に関する境界と曲率推定を用いて、$n$ とともに超指数的に減少する一般の体積下界を導出する。
• ケラークラスのカスプ球充填法を用いて、非コンパクトな hyperbolic $n$-多様体の体積下界を導出し、$m \cdot \nu_n$ に比例する形で表す。ここで $\nu_n \approx \frac{e\sqrt{n}}{n!}$ である。

実験結果

リサーチクエスチョン

• RQ1 算術的 hyperbolic $n$-軌道的の体積に関する既知の鋭い下界は何か。また、$n$ とともにどのように変化するか。
• RQ2 次元 $n$ における最小自己長 $\mu_n$ は、$n$ の多項式または逆多項式関数によって下から抑えられるか。
• RQ3 現在の最高の一般体積下界が $n$ とともに超指数的に減少する理由は何か。また、予想される最小体積と比べてどう異なるか。
• RQ4 自己長が小さい非算術的格子が体積下界の改善にどの程度利用可能か。また、そのような構成を妨げる障壁は何か。
• RQ5 カスプ幾何学と球充填密度は、非コンパクトな hyperbolic $n$-多様体の体積推定にどのように寄与するか。

主な発見

• hyperbolic $n$-軌道的の既知の最良一般下界は、ガンマ関数と三角積分を含む式 (7) によって与えられ、$n$ とともに超指数的に減少する。
• 非コンパクトな hyperbolic $n$-多様体では、体積は $m \cdot \frac{2n}{n(n+1)} \nu_n$ で下から抑えられる。ここで $m$ はカスプの数、$\nu_n \approx \frac{e\sqrt{n}}{n!}$ であり、再び超指数的に減少する下界が得られる。
• 正則木の $\Gamma$-作用による $\mathbf{H}^n$ への準等長埋め込みの構成により、$\cosh(b_n) \geq \cosh(2.303)$ の条件下で、$\epsilon \geq \frac{C}{\sqrt{n}}$（$C \approx 1.799$）ならば $\mu_n \leq \epsilon$ が成り立つ。
• Kazhdan–Margulis の定理により、格子における自己長長の均一な下界が保証されるが、ここでの明示的定量的バージョンは依然として超指数的減少を許容する。
• 広範な進展にもかかわらず、高次元における既知の超指数的に減少する下界と予想される超指数的に増加する最小体積との間には、依然として大きな隔たりが存在する。
• 特に非算術的格子における $\mu_n$ のより良い下界を見つける問題は未解決であり、現在の手法では算術的ケースを超えて準等長埋め込みの議論を拡張できない。