[論文レビュー] Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups

Mikhail G. Katz, Mary Schaps+1 more|ArXiv.org|May 1, 2005

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

ひとこと要約

この論文は、クaternion代数の主合同部分群から生じる算術的リーマン面の系統長に、対数的下界を確立し、ハーウィッツ面では少なくとも $\frac{4}{3}\log g$ の割合で系統長が増加することを証明する。著者らは、非有理トレース体へ一般化された、クォータニオン代数のイデアルにおける新しいトレース推定を考案し、これにより算術的設定下での鋭い系統長の下界を達成した。

ABSTRACT

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3-bound syspi_1(X_{\PCH}) > 4/3 \log(g(X_{\PCH})). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.

研究の動機と目的

• バサーとサルナックの算術的曲面における系統長の下界を、有理トレース体に限らない場合にまで拡張すること。
• 非有理体における代数的整数の稠密性のため、ハーウィッツ面では系統長の制御が不十分であるという問題に取り組むこと。
• 任意のイデアルに対して有効な、クォータニオン代数における新しいトレース推定を考案し、より広範な算術的設定下での系統長解析を可能にすること。
• ハーウィッツ面の主合同部分群の塔に対して、鋭い $\frac{4}{3}$-下界を確立すること。
• 単体的体積を用いて、双曲的3次元多様体への系統長の下界を一般化すること。

提案手法

• 代数的数論とトレースの上限を用いて、クォータニオン代数の順序の元に対する、任意のイデアルに対して有効な新しいトレース推定を構築する。
• 除法的クォータニオン代数の最大順序から導かれる算術的フクシアン群の主合同部分群 $\Gamma(I)$ にそのトレース推定を適用する。
• トレースの上限を用いて、双曲的要素の移動長の下界を導出し、これが系統長を制御することを示す。
• ハーウィッツ順序の主合同部分群 $\mathcal{Q}_{\text{Hur}}^1(I)$ がすべての適切なイデアル $I$ に対してねじれがないことを証明し、商曲面が滑らかであることを保証する。
• ハーウィッツ面における体積公式 $\operatorname{vol}(X_I) = \frac{21}{\pi}(g-1)$ をトレース推定と組み合わせ、$\frac{4}{3}\log g$ の下界を導出する。
• 低 genus のハーウィッツ面について数値的にその下界を検証し、漸近的解析を用いてすべての高次の genus に拡張する。

実験結果

リサーチクエスチョン

• RQ1 トレース体が $\mathbb{Q}$ でない場合、算術的リーマン面の系統長が対数的に下から抑えられるか。
• RQ2 数体上のクォータニオン代数のイデアルに対して、双曲的要素の最小移動長を制御するためのトレース推定は何か。
• RQ3 非有理トレース体を持つにもかかわらず、ハーウィッツ面の主合同部分群の塔に対して $\frac{4}{3}\log g$ の系統長下界が成り立つか。
• RQ4 算術的設定下で、双曲的3次元多様体の系統長とその単体的体積の関係は何か。
• RQ5 トレース推定の手法を主合同部分群に限らず、他の算術的格子へ一般化できるか。

主な発見

• 本論文は、すべての genus $g \geq 65$ に対して、ハーウィッツ面の主合同部分群の塔の系統長に、鋭い $\frac{4}{3}\log g$ の下界を確立した。
• 新しいトレース推定が証明された：$\Delta_H(I)$ 内の $x \neq \pm 1$ に対して、$|\operatorname{Tr}_D(x)| > \frac{1}{16}N(I)^2 - 2$ が、数体の整数環内の任意のイデアル $I$ に対して成り立つ。
• すべての適切なイデアル $I$ に対して、主合同部分群 $\mathcal{Q}_{\text{Hur}}^1(I)$ がねじれがないことが示され、商が滑らかな双曲的曲面であることが保証された。
• 商曲面 $X_I = \Delta_H(I)\backslash\mathcal{H}^2$ の系統長は、$g(X_I) \geq 65$ のとき $\operatorname{sys}\pi_1(X_I) \geq \frac{4}{3}\log g(X_I)$ を満たし、$g \leq 100$ の場合については直接計算で検証された。
• この手法は双曲的3次元多様体へ一般化され、単体的体積に基づく系統長の下界が得られた。
• 本研究の結果は、元々のバサー＝サルナックの構成を越えて、特に非有理トレース体を持つ算術的曲面の系統長挙動を解消した。