[論文レビュー] On the distribution of the trace in the unitary symplectic group and the distribution of Frobenius

Gilles Lachaud|arXiv (Cornell University)|Jun 22, 2015

Advanced Algebra and Geometry参考文献 14被引用数 6

ひとこと要約

本稿は、Weylの積分公式と対称関数を用いて、特に g=2 の場合に、ユニタリシンプレクティック群 USp(2g) におけるトレースの分布を研究する。超幾何関数、ルジャンドル関数、楕円積分、Meijer G-関数を用いた、トレース密度の4通りの明示的表現を導出し、Viète写像を介した新しい積分公式を確立し、分布を対称多項式および対称アラコーブと関連付ける。主な貢献は、Sato-Tate予想および有限体上の曲線の有理点数の数え上げに関連する、トレース分布の精密な解析的記述である。

ABSTRACT

The purpose of this article is to study the distribution of the trace on the unitary symplectic group. We recall its relevance to equidistribution results for the eigenvalues of the Frobenius in families of abelian varieties over finite fields, and to the limiting distribution of the number of points of curves. We give four expressions of the trace distribution if g = 2, in terms of special functions, and also an expression of the distribution of the trace in terms of elementary symmetric functions. In an appendix, we prove a formula for the trace of the exterior power of the identity representation.

研究の動機と目的

• ユニタリシンプレクティック群 USp(2g) の行列のトレースの分布を解析すること、特に g=2 および g=3 の場合に焦点を当てる。
• この分布を、有限体上のアーベル多様体および曲線のファミリーにおけるフロベニウス固有値の等分布と関連付けること。
• 特殊関数および対称多項式を用いて、トレース密度の明示的解析的表現を導出すること。
• Viète写像および初等対称多項式を用いて、Weylの積分公式を再定式化し、新たな積分フレームワークを導くこと。

提案手法

• 角度 (θ₁,…,θg) 及びその余弦 (tj = 2cosθj) を用いた Weylの積分公式を適用し、USp(2g) 上のトレース分布を導出する。
• g=2 の場合に、ガウスの超幾何関数を用いてトレース密度 fτ(x) を表現する：|x| ≤ 4 の範囲で fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16)。
• 固有値を初等対称多項式に写像する Viète写像 s(t) = (s₁(t),…,sg(t)) を用い、対称アラコーブ Σg = s([−2,2]^g) を定義する。
• 変数を対称多項式に変更することで新しい積分公式を導出し、fτ(x) を超平面断面 Vx = {s ∈ Σg | s₁ = x} 上の積分として表現する。
• 写像 q を通じて、標準表現の外積冪のトレースと対称多項式の間の関係を確立し、0 ≤ n ≤ g の範囲で τn(m) = ∑ⱼ binom(g+2j−n,j) s_{n−2j}(t) が成り立つことを示す。
• 対称多項式から特性多項式の係数への写像 q* が同型であることを証明し、整数成分をもつユニポテンツ下三角行列として表現されることを示す。

実験結果

リサーチクエスチョン

• RQ1 USp(4) 上でのトレース分布の明示的解析的形は何か？ そして、特殊関数を用いてどのように表現できるか？
• RQ2 Viète写像および対称アラコーブ構造は、トレース分布の積分公式をどのように精緻化するか？
• RQ3 USp(2g) の文脈において、標準表現の外積冪のトレースと初等対称多項式の間の関係は何か？
• RQ4 トレースの分布は、有限体上の曲線のファミリーにおけるフロベニウス固有値の等分布とどのように関連するか？
• RQ5 対称関数を用いて、対称アラコーブ上での積分としてトレース分布を表現できるか？

主な発見

• g=2 の場合、トレース密度は |x| ≤ 4 の範囲で fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16) で明示的に与えられる。
• 種数 2 におけるトレース分布について、4通りの同値な表現が得られた：超幾何関数、ルジャンドル関数、楕円積分、Meijer G-関数を用いたもの。
• 共轭類上のトレースの分布は、対称アラコーブ上の積分として表現される：fτ(x) = ∫_{Vx} αx(s) ds、ここで Vx = {s ∈ Σg | s₁ = x} である。
• 標準表現の n 項外積冪のトレースは τn(m) = ∑ⱼ binom(g+2j−n,j) s_{n−2j}(t) を満たし、g=2 および g=3 の場合に明示的公式が得られた。
• 対称多項式から特性多項式の係数への写像 q* は同型であり、整数成分をもつユニポテンツ下三角行列として表現される。
• m ∈ USp(2g) の特性多項式は ∏_{j=1}^g (u² - u t_j + 1) で与えられ、t_j = 2cosθ_j であり、τ_n(m) = a_n(t) が成り立つ。ここで a_n(t) は双対多項式の展開における係数である。