[論文レビュー] Quantum variance on quaternion algebras, I

Paul D. Nelson|arXiv (Cornell University)|Jan 11, 2016

Noncommutative and Quantum Gravity Theories被引用数 4

ひとこと要約

本稿は、非分裂ハミルトニアン代数から生じるコン pact な商上で、量子分散の最初の漸近公式を確立した。theta 対応を用いて問題をメタプレクティック・ランキン＝セルバーグ畳み込みに還元し、量子分散が中心 L-値によって支配される主要項と、平方根キャンセレーション閾値における二次的主項を特定した。これは、ロウ＝サルカン＝チョウの枠組みを分割型の場合に限るのではなく、非分裂型へと拡張したものである。

ABSTRACT

We determine the quantum variance of a sequence of families of automorphic forms on a compact quotient arising from a non-split quaternion algebra. Our results compare to those obtained by Luo--Sarnak, Zhao, and Sarnak--Zhao on the modular curve, whose method required a cusp. Our method uses the theta correspondence to reduce the problem to the estimation of metaplectic Rankin--Selberg convolutions. We apply it here to the first non-split case.

研究の動機と目的

• 非分裂ハミルトニアン代数から生じるコン pact 算術的商上の自己形式の族の量子分散を特定すること。
• 従来、尖点形式とフーリエ係数に依存していたロウ＝サルカン＝チョウの手法を、尖点を欠く非分裂かつコン pact な場合へと拡張すること。
• 自己形式および L-関数を用いて、量子分散和における主要項および二次的主項の存在と構造を確立すること。
• フーリエ展開やヘッケ乗法性の必要性を回避する、theta 対応に基づく新しい手法を提供すること。

提案手法

• theta 対応を用いてハミルトニアン代数上の自己形式を $\mathrm{Mp}_2$ 上のメタプレクティック形式に関連づけ、四重線形量子分散を二重線形表現に還元する。
• 問題は、Rallis 内積公式および Waldspurger–Maass–Shintani theta 上昇を用いて分析されるメタプレクティック・ランキン＝セルバーグ畳み込みの評価に帰着される。
• この手法は、$\mathrm{SL}_2$ の行列係数の減衰性に依存し、分散和の収束を保証する。
• 局所的および大域的 L-関数は、三重積公式および強近似を用いて計算され、特に素数 2 および 23 で重要である。
• 計算には、SAGE を用いた局所積分 $I_2$、$I_{23}$、$I_\infty$ の明示的評価と、既知の L-関数の特殊値が含まれる。
• 最終的な公式は、$L(\Psi_k, \frac{1}{2})$ および $\zeta_2(1)$、$\zeta_{23}(1)$、$L_2(\Psi_k, \frac{1}{2})$ を含む算術的係数を用いて分散を表す。

実験結果

リサーチクエスチョン

• RQ1 非分裂ハミルトニアン代数から生じるコン pact 商上の自己形式族の量子分散の漸近的挙動は何か？
• RQ2 尖点やフーリエ展開が存在しない状況において、分割型の場合に不可欠であったこれらの道具が欠落する場合、量子分散問題はどのように解決できるか？
• RQ3 中心 L-値およびメタプレクティック・ランキン＝セルバーグ畳み込みは、量子分散の主要項を決定する上で果たす役割は何か？
• RQ4 非分裂型の場合に、平方根キャンセレーション閾値における二次的主項は存在するか？
• RQ5 theta 対応は、量子分散計算においてヘッケ乗法性およびフーリエ係数の代わりにどのように機能するか？

主な発見

• 量子分散 $\mathcal{V}_T(\Psi)$ は $T^{d-1}\mathcal{V}_T(\Psi) = \mathcal{V}_\infty(\Psi) + o(1)$ を満たし、主要項 $\mathcal{V}_\infty(\Psi)$ は $L(\Psi_k, \frac{1}{2})$ と算術的係数の積として与えられる。
• 主要項は明示的に $L(\Psi_k, \frac{1}{2})P(\lambda_{\Psi_k}(2))$ と計算され、ここで $P$ は $\zeta_2(1)$、$\zeta_2(2)$、$L_2(\Psi_k, \frac{1}{2})$ を含む有理関数である。
• 平方根キャンセレーション閾値における二次的主項が現れ、これは $\Xi_k(g)$ と $\operatorname{Ad}(g)\phi_2$ を含む非自明な局所積分 $I_2$ に起因する。
• 分散が中心 L-値によって漸近的に支配されることを示し、算術的設定における Feingold–Peres の予測の非アーキメデス的類似を確認した。
• 計算により、$\|\theta_{\text{Jac}}\|^2\|h_k\|^2 = 2L^{(S)}(\Psi_k, \frac{1}{2}) \cdot \frac{(4\pi)^2}{4} \cdot \frac{2\zeta_{23}(1)}{23} \cdot 2^{-6} \zeta_2(1)^2 \zeta_2(2) \left(2 + \frac{L_2(\Psi_k, \frac{1}{2})}{\zeta_2(2)}\right)$ が成り立つことが確認され、これは $L(\Psi_k, \frac{1}{2})P(\lambda_{\Psi_k}(2))$ に簡約される。
• この手法は、尖点形式やフーリエ係数の必要性を回避できることを示し、theta 対応が非分裂型における量子分散計算の有効な代替手段であることを証明した。