Asymptotics of Hecke polynomial coefficients on the Atkin-Lehner eigenspaces

技術的要約：アトキンス・レナー固有空間におけるヘッケ多項式の係数の漸近挙動

問題設定
本論文は、特定の型のアトキンス・レナー（Atkin-Lehner）符号を持つカスプ形式の空間において、正規化された第 $m$ ヘッケ作用素 $T'_m$ の特性多項式の係数の漸近的挙動を調査するものである。$S_k(N)$ を重さ $k$、レベル $N$ のカスプ形式の空間とする。この空間は、正確な除数 $Q \parallel N$ に対するアトキンス・レナー対合 $W_Q$ の固有値 $\sigma(Q) \in \{\pm 1\}$ に基づく固有空間 $S_k^\sigma(N)$ に分解される。

特性多項式は次のように定義される：
$$T'_m(N, k, \sigma)(x) = \sum_{0 \le r \le d} c_r(m, N, k, \sigma) x^{d-r}$$
ここで $d = \dim S_k^\sigma(N)$ である。全空間 $S_k(N)$ および新空間 $S_k^{new}(N)$ における係数 $c_r$ の漸近的挙動は既知であるが（特に [20]）、より微細な分解である $S_k^\sigma(N)$ および $S_k^{new, \sigma}(N)$ における挙動は未解決のままであった。著者らは、これらの部分空間において係数が安定した漸近的符号を示すかどうかを判断し、これらの挙動に対して明示的な境界を確立することを目的としている。

手法
著者らは、代数的な恒等式と解析的なトレース公式を組み合わせて用いる：

1. ニュートン・ギルバートの恒等式（Newton-Girard Identities）： 係数 $c_r$ は、$T'_m$ の固有値の冪和（モーメント）$p_j$ と関連している。具体的には、$c_r = -\frac{1}{r} \sum_{j=1}^r c_{r-j} p_j$ である。これにより、係数の推定問題は、ヘッケ作用素の冪のトレースの推定へと還元される。
2. 明示的なトレース公式： 中心的な技術的ツールは、$S_k^\sigma(N)$ 上の $T'_m$ に関する明示的なトレース公式であり、これは**付録A（命題A.5）**から導かれる。この公式は、デデキントのプサイ関数 $\psi(N)$、素因数の数 $\omega(N)$、および類数を含む主項と明示的な誤差項 $E_{k, \sigma}(m, N)$ を提供する。
3. 漸近解析：
   • 平方数 $m$ の場合： $N + k \to \infty$ の極限を分析する。
   • 非平方数 $m$ の場合： $N$ を固定して $k \to \infty$ の極限を分析する。
   • 誤差項を推定するために、フルヴィッツの類数に関する境界や約数関数の性質を利用する。
4. 反例の構成： 非平方数 $m$ における $N$ 極限での挙動に対処するため、素数レベルと類数の性質を用いて、特定の $(N, \sigma)$ の無限族を構成し、符号の振動を示す。

主要な貢献と結果

• 平方数 $m$ の漸近挙動：
  定理 1.1 は、平方数 $m$ に対して、$N+k \to \infty$ のとき、第 $r$ 係数が次のように振る舞うことを確立している：
  $$c_r(m, N, k, \sigma) = \frac{(-1)^r}{r!} \left( \frac{1}{\sqrt{m}} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m}(k^{r-1}N^{r-1/2+\varepsilon})$$
  系 1.3 はこれに続く。平方数 $m$ の場合、有限個を除くすべての三つ組 $(N, k, \sigma)$ に対して $c_r$ は符号 $(-1)^r$ を持つ。

• 非平方数 $m$ の漸近挙動：
  定理 1.2 は、非平方数 $m$ に対して $k \to \infty$ としたときの挙動を決定する。偶数次係数 $c_{2r}$ は以下のようになる：
  $$c_{2r} = \frac{(-1)^r}{(2r)!!} \left( \frac{\sigma_1(m)}{m} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m,N}(k^{r-1})$$
  奇数次係数 $c_{2r+1}$ は、トレース $c_1$ によって支配される。系 1.4 は、非平方数 $m$ の場合、有限個を除くほとんどの $k$ に対して $c_{2r}$ は符号 $(-1)^r$ を持つことを述べている。

• $N$ 極限における符号の振動：
  （全空間では $N \to \infty$ とすると係数の符号が安定するが、それとは対照的に）定理 1.5 は、固定された偶数 $k$ および非平方数 $m$ に対して、 $c_2(m, N, k, \sigma)$ が正となる $(N, \sigma)$ のペアの無限族と、負となる無限族が存在することを証明する。これは、$H(4mp)^2$ に比例する項と $-(p+1)$ に比例する項との間の競合を分析することによって達成される。

• 新空間への拡張：
  セクション 6 では、符号パターン $\sigma$ が「許容可能」である場合（$4 \parallel N$ かつ $\sigma(4)=+1$ の場合を除く）、すべての主要な定理を新空間 $S_k^{new, \sigma}(N)$ へと拡張する。漸近形式は、修正された関数 $\psi^{new}(N)$ を用いて類似したものとなる。

• 明示的な境界：
  命題 7.1 および 7.2 は、系 1.3 および 1.4 の符号予測が成立するための $N$ および $k$ に関する明示的かつ有効な不等式を提供する。これらの境界は、トレース公式の明示的な誤差項から導出されている。

意義と主張
本論文は、ヘッケ作用素およびガロア共役を尊重する最も微細で自然な分解である、アトキンス・レナー固有空間へと、ヘッケ多項式の係数の理解を拡張することを主張している。

• 大域的性質の精緻化： 本研究は、ある性質（平方数 $m$ の係数の漸近的符号など）はより微細な固有空間においても保持される一方で、他の性質（非平方数 $m$ における $N \to \infty$ 時の符号の安定性など）は保持されないことを示している。これは、大域的な空間と、その固有空間分解との間の根本的な違いを浮き彫りにしている。
• 明示的なトレース公式： 主要な貢献の一つは、$S_k^\sigma(N)$ 上の $T'_m$ に関する明示的なトレース公式（命題 A.5）の導出である。著者らは、この公式が独立した関心事であることを述べており、これは[13]におけるヘッケ固有値の有効な一様分布の証明に必要であること、および[16]のような新空間次元の消滅分類を一般の重みに拡張するために必要であることを挙げている。
• 非消滅に関する予想： 著者らは、これらの空間において $k \ge 8$ で第 2 係数 $c_2$ は非消滅であるという予想 1.6 を提示しており、これは広範なパラメータ範囲において計算によって検証済みである。

著者らは、自身の研究の適用範囲について控えめな姿勢を保っており、トレース公式は、直近の係数の漸近挙動の範囲を超えた、一様分布や次元分類などの問題に取り組む他の研究者にとって有用になるであろうと述べている。