[論文レビュー] Growth of homology torsion in finite coverings and hyperbolic volume

Thang T. Q. Lê|arXiv (Cornell University)|Dec 24, 2014

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

ひとこと要約

本稿は、トーラス境界を持つ非可約かつ向き付け可能な3次元多様体の有限被覆における1次ホモロジーねじれの成長率の上界を確立し、ねじれの指数的成長率が多様体の双曲的体積を $6\pi$ で割った値によって上から抑えられることを示している。この結果は、トレース収束条件を満たす正則および一般の有限被覆に適用可能であり、双曲的3次元多様体に対してはこの上界が達成可能であるという予想を支持する。

ABSTRACT

We give an upper bound for the growth of homology torsions of finite coverings of irreducible 3-manifolds with tori boundary in terms of hyperbolic volume.

研究の動機と目的

• 非可約かつ向き付け可能な3次元多様体（トーラス境界付き）の有限被覆における1次ホモロジー群のねじれの成長率の上界を確立すること。
• トレース収束条件を用いて、正規部分群に制限されない一般の有限被覆へこの上界を拡張すること。
• 双曲的3次元多様体に対して、上界 $\mathrm{vol}(X)/(6\pi)$ が達成可能であるという予想を支持すること。
• $S^3$ 内の絡み目の分岐被覆を分析し、それらによって得られる閉3次元多様体のねじれ成長上界を拡張すること。
• 解析的技法を用いて、$L^2$-不変量におけるねじれの成長を Fuglede-Kadison 行列式およびスペクトル測度と関連付けること。

提案手法

• Fuglede-Kadison 行列式を用いて、群作用のスペクトルデータとホモロジーねじれの成長を関連付ける。
• 正規部分群に限らない一般の有限指数部分群へ一般化するため、トレース収束条件 $\Gamma_k \xrightarrow{\mathrm{tr}} 1$ を適用する。
• スペクトル測度とボレル測度の弱収束を用いて、対数的ねじれ成長の極限を分析する。
• Fatou の補題と確率論における portmanteau 定理を用いて、作用素の行列式に関する不等式を導出する。
• 3次元多様体の幾何化定理に基づく分解を用い、$\mathrm{vol}(X)$ を双曲的部品の双曲的体積の和として定義する。
• $L^2$- torsion および $L^2$-ベッチ数の理論、特に $\Pi$-不変量行列式とその対数微分を根拠とする。

実験結果

リサーチクエスチョン

• RQ1 与えられた3次元多様体の有限被覆における1次ホモロジーねじれの最大指数的成長率は何か？
• RQ2 有限被覆におけるねじれの成長は、双曲的体積のような幾何的不変量で上から抑えられるか？
• RQ3 双曲的3次元多様体に対して、上界 $\mathrm{vol}(X)/(6\pi)$ は達成可能か？
• RQ4 トレース収束条件 $\Gamma_k \xrightarrow{\mathrm{tr}} 1$ は、正規部分群に限らない一般の有限指数部分群へ結果を一般化する仕組みであるか？
• RQ5 Fuglede-Kadison 行列式と $L^2$-コホモロジーにおけるねじれの成長との関係は何か？

主な発見

• 任意の正規部分群の包含列について、$\ln t_1(\Gamma)/[\Pi:\Gamma]$ の上極限は $\mathrm{vol}(X)/(6\pi)$ で上から抑えられる。
• この上界は、$\Gamma_k \xrightarrow{\mathrm{tr}} 1$ を満たす任意の有限指数部分群の列について、正規でなくても、かつネストされていなくても成り立つ。
• $\mathrm{vol}(X) = 0$（例えば球面的またはグラフ多様体）である3次元多様体に対して、等号が成立する（すなわち上界が達成可能）という予想が証明された。
• $S^3$ 内の絡み目の分岐被覆に対しては、それらによって得られる閉3次元多様体のねじれに対しても同じ上界が適用可能である。
• 証明はスペクトル測度の弱収束と portmanteau 定理に依拠し、Fatou の補題を用いて積分の極限を制御する。
• この結果は、Bergeron, Venkatesh, Lück による算術的3次元多様体におけるねじれの漸近的挙動に関するより広範な予想を支持する。