[論文レビュー] New test vector for Waldspurger's period integral, relative trace formula, and hybrid subconvexity bounds

Yueke Hu, Paul D. Nelson|arXiv (Cornell University)|Oct 27, 2018

Advanced Algebra and Geometry参考文献 20被引用数 5

ひとこと要約

本稿は、新形式ではなくコンpact誘導理論からの最小ベクトルを用いて、新規の共同分岐を伴う場合におけるWaldspurgerの周期積分の定量的局所テストベクトルの均一な構成を提示する。局所積分の大きさと導手 $ C(/pi \times \pi_{\chi^{-1}}) $ の明示的関係を確立し、相対的トレース公式を用いて、有利な範囲でWeyl境界に一致するハイブリッド部分凸界を示す。

ABSTRACT

In this paper we give quantitative local test vectors for Waldspurger's period integral (i.e., a toric period on $ ext{GL}_2$) in new cases with joint ramifications. The construction involves minimal vectors, rather than newforms and their variants. This paper gives a uniform treatment for the matrix algebra and division algebra cases under mild assumptions, and establishes an explicit relation between the size of the local integral and the finite conductor $C(π imesπ_{χ^{-1}})$. As an application, we combine the test vector results with the relative trace formula, and prove a hybrid type subconvexity bound which can be as strong as the Weyl bound in proper range.

研究の動機と目的

• 共同分岐を伴う場合におけるWaldspurgerの周期積分のテストベクトルを、行列代数および除法代数の設定において均一に取り扱うこと。
• 解析的制御を向上させるために、従来の新形式に基づくテストベクトルの代わりに、コンパクト誘導理論から得られる最小ベクトルを用いること。
• 局所周期積分の大きさと導手 $ C(/pi \times \pi_{\chi^{-1}}) $ の間の明確な定量的関係を確立すること。
• テストベクトルの結果を応用し、 twisted base change L関数のハイブリッド部分凸界を導出し、適切な範囲でWeyl境界に一致させること。
• Lie代数線形化と行列係数解析に基づく、Tunnell-Saitoの $\epsilon$-値テストの表現論的代替案を提示すること。

提案手法

• 超臨界的表現のコンパクト誘導理論を用い、大規模なコンパクト開部分群における特徴指標の固有ベクトルとしての最小ベクトルをテストベクトルとして構成する。
• 局所周期積分の定量的解析に、恒等元近傍におけるキリロフモデルと行列係数技術を適用する。
• 積分が支持される範囲でLie代数の線形化と行列係数展開を用いることで、状況にかかわらず一様な取り扱いが可能になる。
• テスト関数として最小ベクトルの行列係数を選択することで、相対的トレース公式を用い、スペクトル和の長さを短縮し、幾何側の解析を簡略化する。
• $p$-進設定における明示的 $\epsilon$-値テストと判別式解析を用い、解の数と積分の大きさを決定する。
• 正規化 $ \Phi_{\varphi^{\mathbb{B}}}(1) = 1 $ と $ \pi $ の最小性の仮定に依存し、標準的なテストベクトルの選択を保証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト誘導理論からの最小ベクトルを用いて、共同分岐を伴う場合におけるWaldspurgerの周期積分のテストベクトルをどのように構成できるか。
• RQ2 これらの新規な場合において、局所周期積分の大きさと導手 $ C(\pi \times \pi_{\chi^{-1}}) $ の間の明確な定量的関係は何か。
• RQ3 最小ベクトルの行列係数を用いた相対的トレース公式は、強力な部分凸界を導くために効果的に適用可能か。
• RQ4 概念的明確性と計算的有用性の観点から、本手法はTunnell-Saitoの $\epsilon$-値テストとどのように比較できるか。
• RQ5 本手法は、GL(2) やクaternion代数を越えて、他の群に対してもどの程度拡張可能か。

主な発見

• $ c(\theta\chi^{-1}) = 2d $ のとき、局所周期積分の大きさは $ \frac{1}{q^{\lfloor d/2\rfloor}} $ であり、これは導手 $ C(\pi \times \pi_{\chi^{-1}}) $ と整合し、分岐および非分岐の場合を問わず一様に成り立つ。
• $ c(\theta\chi^{-1}) = 2d $ のとき、$ \varpi^{n+1} $ における関連する2次方程式の解の数は $ 2q $ であり、$ v(u) > n-d $ かつ $ v(b) \geq d $ のとき、積分の大きさは $ \frac{1}{(q+1)q^{d-1}} $ である。
• $ n-d $ が偶数のとき、判別式 $ \Delta(0) \equiv -8\varpi_{\mathbb{F}}^{n-d}\frac{D}{D'}\delta \mod \varpi $ であり、$ \Delta(0) $ が平方数であるのは $ -2\delta $ が平方数であるときと一致する。
• $ n-d $ が奇数のとき、$ \Delta(0) $ は平方数でないが、$ v_{\mathbb{F}}(u) = \frac{n-d-1}{2} $ を満たす $ u $ を選ぶことで、$ \Delta(u) $ を平方数にできる。このとき $ 2\delta $ が平方数であれば、各解に対して $ \frac{1}{q^{\lfloor d/2\rfloor}} $ が得られる。
• 相対的トレース公式を用いて導かれたハイブリッド部分凸界は、適切な範囲でWeyl境界に一致する。これは、テスト関数として最小ベクトルの行列係数を選択することで達成される。
• 本手法はTunnell-Saitoの $ \epsilon $-値テストの表現論的代替案を提供し、最小ベクトルおよび新形式の両方に対して局所積分の明示的評価を可能にする。