[論文レビュー] Hyperbolic 3-manifolds of bounded volume and trace field degree

Bo Gwang Jeon|arXiv (Cornell University)|Aug 22, 2013

Geometric and Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、Hodgsonの単一のカスプを持つ双曲的3次元多様体に対するトレース体次数の有界性に関する有限性結果を、複数のカスプを持つ多様体へと拡張し、2カスプを持つ多様体でカスプ形状が線形独立である場合、トレース体次数が有界となるデーン埋め込みは有限個に限られることを証明する。証明は、数論幾何における有界高さ予想を用いて、より広い設定下での有限性を確立する。

ABSTRACT

For a single cusped hyperbolic 3-manifold, Hodgson proved that there are only finitely many Dehn fillings of it whose trace fields have bounded degree. In this paper, we conjecture the same for manifolds with more cusps, and give the first positive results in this direction. For example, in the 2-cusped case, if a manifold has linearly independent cusp shapes, we show that the manifold has the desired this http URL prove the results, we use the proof of the Bounded Height Conjecture in arithmetic geometry.

研究の動機と目的

• 単一カスプから複数カスプへのデーン埋め込みにおけるトレース体次数の有界性に関するHodgsonの有限性結果を一般化すること。
• 1つより多くのカスプを持つ多様体に対し、トレース体次数が有界となるデーン埋め込みの数が有限に留まるかどうかを調査すること。
• この予想に対する最初の肯定的結果を、特にカスプ形状が線形独立である2カスプの場合に得ること。
• 数論幾何のツール、特に有界高さ予想を用いて、この幾何的文脈における有限性を証明すること。

提案手法

• デーン埋め込みのトレース体の複雑さを制御するための基盤として、数論幾何における有界高さ予想を採用する。
• 2カスプ多様体におけるカスプ形状の線形独立性という幾何的条件を用いて、得られるトレース体の代数的構造を制限する。
• 代数的数の高さに上限を設けることにより、トレース体次数が有界となる可能性のあるデーン埋め込みの数を制限する。
• 既知の数論幾何における有限性結果を活用して、適切な代数的多様体上の高さが有界な点の数を数える問題に還元する。
• デーン埋め込みの分類と代数的数論への接続を図るために、双曲的3次元多様体のトレース体を不変量として用いる。
• カスプ形状の独立性を用いて非退化性を保証することで、デーン埋め込みパラメータと次数が有界な代数的数体との間の対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 トレース体次数が有界となるデーン埋め込みの有限性は、単一カスプから複数カスプへの双曲的3次元多様体へと拡張可能か？
• RQ2 2カスプを持つ多様体のカスプ形状にどのような幾何的条件を課すと、トレース体次数が有界となるデーン埋め込みが有限個に限られるか？
• RQ3 数論幾何における有界高さ予想を、双曲的3次元多様体トポロジーにおける有限性結果の証明に応用可能か？
• RQ4 カスプ形状の線形独立性は、デーン埋め込み下でのトレース体の代数的構造にどのように影響するか？
• RQ5 トレース体は、複数のカスプを持つ多様体に対して、可能なデーン埋め込みの数をどのように制御するか？

主な発見

• カスプ形状が線形独立である2カスプを持つ双曲的3次元多様体に対しては、トレース体次数が有界となるデーン埋め込みは有限個に限られる。
• 証明は、デーン埋め込みの代数的不変量に有界高さ予想を適用することで、新たな有限性結果を確立する。
• カスプ形状の線形独立性は、退化を防ぎ、トレース体次数を制御するために不可欠な条件である。
• この方法により、Hodgsonの単一カスプ結果が2カスプの場合へと自然に拡張され、より広い予想に対する最初の肯定的証拠が得られた。
• 低次元トポロジーへの数論幾何のツールの応用により、数論と双曲幾何との間の新しい橋渡しがなされた。