[論文レビュー] On the resonances of convex co-compact subgroups of arithmetic groups

Dmitry Jakobson, Frédéric Naud|arXiv (Cornell University)|Nov 29, 2010

Advanced Algebra and Geometry参考文献 21被引用数 4

ひとこと要約

本稿は、算術群内の凸コンパクトなフクシアン部分群に対して、共振状態の実部の有効な下界を確立し、$\delta > \frac{1}{2}$ のときには少なくとも $\frac{\delta}{2} - \frac{1}{4}$ まで、$\delta \leq \frac{1}{2}$ のときには $\frac{\delta(1-2\delta)}{2}$ まで、共振状態が存在する帯域が得られることを示している。これらの結果は、このような帯域内に無限個の共振状態が存在することを意味し、スペクトル解析を用いた双曲的格子点数え上げ問題における誤差項の改善をもたらす。

ABSTRACT

Let $Λ$ be a non-elementary convex co-compact fuchsian group which is a subgroup of an arithmetic fuchsian group. We prove that the Laplace operator of the hyperbolic surface $X=Λ\backslash\H$ has infinitely many resonances in an effective strip depending on the dimension of the limit set $δ$. Applications to lower bounds for the hyperbolic lattice point counting problem are derived.

研究の動機と目的

• 算術的フクシアン群から生じる凸コンパクトな双曲的表面の共振状態の最大実部を特定すること。
• スペクトルギャップ $G(\Lambda)$ に対する有効な下界を確立すること。ここで $G(\Lambda)$ は、$\sigma < \delta$ で $\{\operatorname{Re}(s) \geq \sigma\}$ に有限個の共振状態しか存在しないような $\sigma$ の下界として定義される。
• 共振状態の分布を用いて、双曲的格子点数え上げ問題における誤差項の定量的改善を導出すること。
• 非自明な群で $\delta \neq \frac{1}{2}$ の場合に、スペクトルギャップ $G(\Lambda)$ が正であることを確認し、$G(\Lambda) = \frac{\delta}{2}$ という予想を支持すること。

提案手法

• グイヨープ・ツォルスキーのパラメトリクス構成を用いて、リゾルベント核 $R_\Lambda(s;z,z')$ の正則関数への解析的接続を用い、極（共振状態）を分析する。
• 部分和の公式を用いて、ポアンカレ級数 $P_\Lambda(s;z,z')$ と数え上げ関数 $N(T;z,z')$ の関係を確立する。
• ガウス超幾何関数の表現を用い、恒等式 $R_\Lambda(s;z,z') = \frac{4^{s-1}}{\pi} \frac{(\Gamma(s))^2}{\Gamma(2s)} P_\Lambda(s;z,z') + H(s;z,z')$ を通じて $R_\Lambda(s;z,z')$ と $P\_\Lambda(s;z,z')$ を関連付ける。
• リゾルベント核の極の構造を分析し、対角線から離れた点では残留部 $A_1(\zeta;z,z')$ が非自明な実解析的関数であることを示す。
• 解析関数の零点集合を用いて、与えられた半平面上に有限個の極しか持たない例外的 $(z,z')$ 組の集合 $\mathcal{N}$ を構成する。
• 誤差項 $O(e^{\rho T})$ の $\rho$ が小さすぎるものと仮定すると矛盾を導き、$\rho$ が $\frac{\delta}{2} - \frac{1}{4} - \epsilon_0$ を超えなければならないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 算術群の部分群である凸コンパクトなフクシアン群に対して、共振状態の最大実部は何か。また、臨界指数 $\delta$ に依存する関係は何か。
• RQ2 スペクトルギャップ $G(\Lambda)$ に対して、$\sigma < \delta$ で $\{\operatorname{Re}(s) \geq \sigma\}$ に有限個の共振状態しか存在しないような $\sigma$ の下界として、有効な下界を確立できるか。
• RQ3 共振状態の分布は、双曲的格子点数え上げ問題における誤差項にどのように影響するか。
• RQ4 予想 $G(\Lambda) = \frac{\delta}{2}$ は成り立ち、算術的部分群の設定において有効な境界によって支持されるか。

主な発見

• $0 < \delta \leq \frac{1}{2}$ のとき、スペクトルギャップは $G(\Lambda) \geq \frac{\delta(1 - 2\delta)}{2}$ を満たし、$\delta < \frac{1}{2}$ のとき正である。
• $\delta > \frac{1}{2}$ で $\Lambda$ が算術群の凸コンパクト部分群であるとき、$G(\Lambda) \geq \frac{\delta}{2} - \frac{1}{4}$ であり、$\delta > \frac{1}{2}$ のとき正である。
• $\frac{\delta}{2} - \frac{1}{4}$ の下界は有効であり、一般の凸コンパクト多様体に対しては以前の非有効または弱い境界を改善する。
• これらの結果は、対角線から離れたほとんどすべての $(z,z')$ の組に対して、リゾルベント核 $R_\Lambda(s;z,z')$ が半平面 $\{\operatorname{Re}(s) \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0\}$ に無限個の極を持つことを示唆する。
• 格子点数え上げ関数 $N(T;z,z')$ は $N(T;z,z') = \sum_j Q_j(T;z,z') e^{\delta_j T} + O(e^{\rho T})$ を満たし、$\rho \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0$ であるため、誤差項が改善される。
• 解析により、予想されたスペクトルギャップ $G(\Lambda) = \frac{\delta}{2}$ が漸近的に整合的であることが確認され、$\delta \to 0$ のとき $\frac{\delta}{2} + O(\delta^2)$ のように振る舞う。