[論文レビュー] A general Voronoi summation formula for GL(n,Z)

Stephen D. Miller, Wilfried Schmid|ArXiv.org|Dec 6, 2009

Advanced Algebra and Geometry参考文献 10被引用数 18

ひとこと要約

本稿は、自動形式分布の理論を用いて、$GL(n,\mathbb{Z})$ 上の自動形式に対するボロノイ和公式を一般化し、$GL(3)$ の既存結果を任意の $n$ に拡張する。アーチメデス的 $L$-関数因子を含む積分核を通じて、フーリエ係数と変換されたテスト関数の間に双対性を確立し、解析的数論におけるサブコンヴェクシティおよび $L$-関数の境界への応用を可能にする強力な道具を提供する。

ABSTRACT

In an earlier paper we derived an analogue of the classical Voronoi summation formula for automorphic forms on GL(3), by using the theory of automorphic distributions. The purpose of the present paper is to apply this theory to derive the analogous formulas for GL(n).

研究の動機と目的

• 全レベルの尖点形式について、$GL(3)$ から一般の $GL(n)$、$n \geq 2$ へのボロノイ和公式の拡張を目的とする。
• ヘッケ固有形式に限らない、ボロノイ和公式を一様に扱える枠組みを自動形式分布を用いて構築すること。
• テスト関数の間の積分変換を導出し、フーリエ変換とメリン変換の双対性を一般化すること。
• 高ランク $GL(n)$ 自動形式 $L$-関数へのサブコンヴェクシティおよび $L$-関数の境界の一般化の基盤を提供すること。
• 古典的構成をアーデール化することで、一般の合同部分群に対しても有効な公式を確立すること。

提案手法

• 自動形式分布を用いて、$GL(n)$ におけるボロノイ和公式を導出する。$GL(3)$ の場合の手法を一般化する。
• 多変数積分を用いて、$|x_j|^{-\lambda_j}$、$\operatorname{sgn}(x_j)^{\delta_j}$、および指数関数的因子 $e(-x_j)$ を含む、変換 $f \mapsto F$ の定義。
• メリン変換の双対性の確立：$M_\delta F(s) = (-1)^{n\delta} \prod_{j=1}^n G_{\delta_j + \delta}(s - \lambda_j + 1) \cdot M_\delta f(-s)$。ここで $G_\delta(s)$ はガンマ因子である。
• 古典的公式のアーデール的再定式化により、一般の合同部分群への適用可能性を拡張する。但し、アトキン＝レーナー型の情報が仮定される。
• カスエルマン埋め込み定理を用いて、アーチメデス的成分の表現パラメータ $(\lambda, \delta) \in \mathbb{C}^n \times (\mathbb{Z}/2\mathbb{Z})^n$ の存在を保証する。
• 公式が $\lambda, \delta$ の選択に依存しないこと（同時に添え字を置換する限り）を証明し、双対構造を保つ。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $GL(3)$ のボロノイ和公式を任意の $n \geq 2$ に対する $GL(n)$ に一般化できるか？
• RQ2 $GL(n)$ のボロノイ公式におけるテスト関数を結ぶ積分変換の正しい一般化は何か？
• RQ3 自動形式分布のアプローチが、$GL(n)$ 全体にわたる公式の一様な導出をどのように可能にするか？
• RQ4 アーチメデス的 $L$-関数因子 $G_\delta(s)$ は、$f$ と $F$ 間の双対性においてどのような役割を果たすか？
• RQ5 公式は非全レベルの合同部分群へ拡張可能か？その場合、追加のデータとして何が必要か？

主な発見

• 本稿は、$GL(n,\mathbb{Z})$ の尖点形式に対して一般ボロノイ和公式を確立し、指数関数的およびテスト関数による重み付けられたフーリエ係数の和を、クルーストマン型の和を含む双対和に結びつける。
• 変換 $f \mapsto F$ は、多変数積分により定義され、フーリエ変換を一般化し、$G_\delta(s)$ 関数を通じてアーチメデス的 $L$-因子を統合する。
• メリン変換の双対性 $M_\delta F(s) = (-1)^{n\delta} \prod_{j=1}^n G_{\delta_j + \delta}(s - \lambda_j + 1) \cdot M_\delta f(-s)$ は、テスト関数間の明確な解析的関係を提供する。
• 公式はヘッケ固有形式に限らず成り立ち、$\lambda, \delta$ の選択が同時に添え字を置換する限り、その選択に依存しない。
• アーデール的表現により、追加のフーリエ係数に関する情報（アトキン＝レーナー理論に類似）が得られれば、一般の合同部分群へも拡張可能である。
• 結果は古典的ポアソン和公式および $GL(2)$、$GL(3)$ のボロノイ公式を一般化し、$GL(n)$ においてそれらを一つの枠組みで統一する。