[論文レビュー] A Note on Riemann Surfaces of Large Systole

Shotaro Makisumi|arXiv (Cornell University)|Jun 13, 2012

Analytic Number Theory Research参考文献 14被引用数 7

ひとこと要約

この論文は、固定された共(compact)算術的フクシアン群の主合同部分群から構成されるコン pact な双曲的リーマン面の族に対して、成長定数 $\gamma = \frac{4}{3}$ が最適であることを証明する。不定的三変数二次形式への還元と局所-大域原理を用いて、このような算術的構成では、それ以上の系統的成長率を達成できないことが示され、既知の上限の鋭さが確認される。

ABSTRACT

We examine the large systole problem, which concerns compact hyperbolic Riemannian surfaces whose systole, the length of the shortest noncontractible loops, grows logarithmically in genus. The generalization of a construction of Buser and Sarnak by Katz, Schaps, and Vishne, which uses principal "congruence" subgroups of a fixed cocompact arithmetic Fuchsian, achieves the current maximum known growth constant of γ= 4/3. We prove that this is the best possible value of γfor this construction using arithmetic Fuchsians in the congruence case. The final section compares the large systole problem with the analogous large girth problem for regular graphs.

研究の動機と目的

• 固定された算術的フクシアン群の主合同部分群から構成されるコン pact な双曲的リーマン面の系統的長さの最良の成長率 $\gamma$ を特定すること。
• 既知の構成で $\gamma = \frac{4}{3}$ を達成していることと、一般の面積に基づく上限 $\gamma \leq 2$ の間のギャップを埋め、この定数の最適性を証明すること。
• このような算術的構成が $\gamma = \frac{4}{3}$ を超えることはできないことを確立し、現在知られている最良の上限の鋭さを決定すること。
• リーマン面における大きな系統的長さの問題と、正則グラフにおける大きな周囲長の問題との類似性を明らかにし、共通する算術的構成と境界を強調すること。

提案手法

• 算術的フクシアン群から導かれる不定的三変数二次形式による整数の表現問題に、系統的長さの下界を還元する。
• 不定的三変数二次形式による表現に関する局所-大域原理を適用し、小さな非自明な解の存在を分析する。
• 実二次体の整数環における理想類とノルムの上限を用いて、形式の表現における要素の大きさを制御する。
• 系統的長さ問題をクaternion代数の要素における合同条件に翻訳し、それらを順序とイデアルの算術と結びつける。
• ミンコフスキーの上限を用いて、イデアルにおける小さなノルムの存在を活用し、潜在的な系統的測地線の大きさを制限する。
• クaternion代数を用いたラマヌジャン・グラフの構成と比較し、類似した技法と境界を指摘する。

実験結果

リサーチクエスチョン

• RQ1 固定された共(compact)算術的フクシアン群の主合同部分群を用いた算術的リーマン面における系統的長さの成長定数 $\gamma = \frac{4}{3}$ は、より良くできるか？
• RQ2 このような構成に対して、一般の面積に基づく上限 $\gamma \leq 2$ よりもタイトな理論的上限 $\gamma$ は存在するか？
• RQ3 不定的三変数二次形式の表現論は、算術的双曲的リーマン面における系統的長さにどの程度制限を及えるか？
• RQ4 リーマン面における大きな系統的長さの問題と、正則グラフにおける大きな周囲長の問題における手法は、どのように比較できるか？
• RQ5 合同部分群の設定における算術的フクシアン群から生じる表面族に対して、$\gamma = \frac{4}{3}$ は最良の値であるか？

主な発見

• 固定された共(compact)算術的フクシアン群の主合同部分群から構成されるコン pact な双曲的リーマン面の族に対して、成長定数 $\gamma = \frac{4}{3}$ が最適である。
• このような算術的構成では、$\gamma = \frac{4}{3}$ を超える系統的長さの成長率を達成できないことが、不定的三変数二次形式への還元により証明された。
• この証明は、不定的三変数二次形式による表現に関する局所-大域原理と、実二次体の理想類におけるノルムの上限に依存する。
• この結果により、ブーサー–サルナックおよびカツ–シュープス–ヴィシュネの構成が、この算術的枠組み内で最良の系統的長さの成長率を達成していることが確認された。
• $\gamma = \frac{4}{3}$ の鋭さは、ビッグスとボシエが LPS 構成に対して $\gamma = \frac{4}{3}$ が最良であることを証明したラマヌジャン・グラフの最適性結果と類似している。
• 本論文は、リーマン面における大きな系統的長さの問題と、正則グラフにおける大きな周囲長の問題との間に強い類似性を確立した。両者ともクaternion的算術を用いて $\gamma = \frac{4}{3}$ を達成し、それぞれの設定で最適性が証明されている。