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

Paul D. Nelson|arXiv (Cornell University)|Feb 9, 2017

Quantum Chromodynamics and Particle Interactions被引用数 4

ひとこと要約

本稿では、非分裂四元数代数から生じるコンpact商上の量子分散の漸近的性質を、theta対応、調和解析、およびRallis内積公式を用いて計算する手法を開発する。微小局所化の持ち上げが $ p $-進算術的商上でなされる場合、量子分散は $ L $-関数と軌道積分によって支配される極限形に収束し、レベル $ N $ に対して指数関数的に減少する誤差項を伴うことが示された。

ABSTRACT

A method for determining quantum variance asymptotics on compact quotients attached to non-split quaternion algebras is developed in general and applied to "microlocal lifts" in the non-archimedean setting. The results obtained are in the spirit of recent work of Sarnak--Zhao. The arguments involve a careful analytic study of the theta correspondence, the interplay between additive and multiplicative harmonic analysis on quaternion algebras, the equidistribution of translates of elementary theta functions, and the Rallis inner product formula.

研究の動機と目的

• スプラット商（例：$ \mathrm{SL}_2(\mathbb{Z})\backslash\mathbb{H} $）に限らない、非分裂四元数代数への量子分散漸近的性質プログラムの拡張。
• パラボリックフーリエ展開の制限を克服するため、四元数代数上のtheta対応および調和解析に基づく新しい手法の開発。
• 特に $ p $-進算術的商上の微小局所化の持ち上げに対して、非アーチメデス型設定における量子分散の明確な漸近公式の確立。
• 古典的 $ q $-展開が利用できない非分裂算術的商へのLuo–Sarnak–Zhaoの結果の一般化。
• $ L $-関数と軌道積分を含む極限的表現を導出し、明示的な誤差項を伴う量子分散の極限式の導出。

提案手法

• $ q $-展開が存在しない状況において、倍加恒等式の代わりにEichler–Shimizuのtheta対応を用いる。
• Rallis内積公式を用いて、$ \mathrm{PGL}_2 $ 上の自動形式を四元数代数上のtheta持ち上げと関連付ける。
• $ \mathbb{A}_F^\times $-値関数に対する加法的および乗法的調和解析を用いて、軌道積分と畳み込みカーネルを分析する。
• 固有関数の族を $ \sigma $-型に分解することで、分散を扱いやすい局所的成分に還元する。
• Theorem 2 を用い、$ \varepsilon $-因子の $ \ell $-進推定値を制御し、$ \mathcal{S}(B_\mathfrak{q}) $ 上の双線形形式の良さに基づいて誤差項を制御する。
• 前トレース公式と $ f \in C_c^\infty(\mathrm{PB}^{\times}_\mathfrak{q}) $ の畳み込みカーネルを用い、分散を軌道積分と $ L $-値に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非分裂四元数代数に付随するコンパクト商上の量子分散の漸近的挙動は何か？
• RQ2 スプラット商におけるパラボリックフーリエ展開が利用できない状況では、量子分散をどのように計算できるか？
• RQ3 theta対応とRallis内積公式を用いて、非アーチメデス型設定における量子分散の漸近公式を導出できるか？
• RQ4 $ p $-進算術的商上の微小局所化の持ち上げの族における、量子分散の正確な一次項と誤差率は何か？
• RQ5 $ L $-関数と軌道積分は、この非分裂設定における極限的分散をどのように記述するか？

主な発見

• 量子分散 $ q^{-N}V_N(\Psi_1,\Psi_2) $ は $ N \to \infty $ のとき、極限のセミリニア形式 $ V_\infty(\Psi_1,\Psi_2) $ に収束し、誤差は $ O(Nq^{-N}) $ である。
• 極限 $ V_\infty $ は $ c_0 L^{(S)}(\pi,1/2) \int_{h \in N(H)} \langle \pi(h)\Psi_1, \Psi_2 \rangle_{L^2(\mathbf{X})} $ で与えられ、$ c_0 $ はゼータ関数と体積正規化を含む。
• 定数 $ c_0 = 2^{\#\mathrm{ram}_f(B)} \zeta_F^{(S)}(2) \mathrm{vol}(\mathbf{X})^{-1} \frac{1}{2\zeta_k(1)} $ であり、正規化を明示的に定量化している。
• 例 $ \mathbf{X} = \Gamma \backslash \mathrm{PGL}_2(\mathbb{Q}_q) $ に対して、$ c_0 = 2\pi^2 \frac{2(1+D^{-1})}{D} \frac{(1-q^{-1})(1-q^{-2})}{2} $ が得られ、具体的な評価が可能である。
• 漸近的誤差項は $ O(Nq^{-N}) $ で有界であり、レベル $ N $ に対して指数関数的に減少することが示され、このような数論的設定では最良の結果である。
• 本手法により、分散が $ L $-関数 $ L^{(S)}(\pi,1/2) $ によって支配されることを確立し、スペクトル統計と自動形式の $ L $-値を結びつける。