[论文解读] 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 积分公式与对称函数，研究了单位正交辛群 USp(2g) 中迹的分布，特别针对 g=2 的情形。通过推导，得到了四种关于超几何函数、勒让德函数、椭圆积分和梅杰 G-函数的迹密度显式表达式，并通过 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 的情形。
• 将该分布与有限域上阿贝尔簇及曲线族中 Frobenius 特征值的等分布性联系起来。
• 利用特殊函数与对称多项式，推导迹密度的显式解析表达式。
• 通过 Viète 映射与初等对称函数，重新表述 Weyl 积分公式，从而建立一种新的积分框架。

提出的方法

• 应用以角度 (θ₁,…,θg) 及其余弦值 (tj = 2cosθj) 表示的 Weyl 积分公式，推导 USp(2g) 上的迹分布。
• 对 g=2 的情形，利用高斯超几何函数表达迹密度 fτ(x)：fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16)，其中 |x| ≤ 4。
• 利用 Viète 映射 s(t) = (s₁(t),…,sg(t)) 将特征值映射到初等对称多项式，定义对称单形 Σg = s([−2,2]^g)。
• 通过变量替换为对称函数，推导出新的积分公式，将 fτ(x) 表示为在超平面截面 Vx = {s ∈ Σg | s₁ = x} 上的积分。
• 通过映射 q 建立外幂表示迹与对称多项式之间的联系，证明 τn(m) = ∑ⱼ binom(g+2j−n,j) s_{n−2j}(t)，其中 0 ≤ n ≤ g。
• 证明从对称多项式到特征多项式系数的映射 q* 是一个同构，其矩阵表示为具有整数元素的单峰下三角矩阵。

实验结果

研究问题

• RQ1 USp(4) 上迹分布的显式解析形式是什么？它如何用特殊函数表示？
• RQ2 Viète 映射与对称单形结构如何改进迹分布的积分公式？
• RQ3 在 USp(2g) 的背景下，外幂表示的迹与初等对称多项式之间存在何种关系？
• RQ4 迹的分布如何与有限域上曲线族中 Frobenius 特征值的等分布性相关联？
• RQ5 迹分布能否通过使用对称函数在对称单形上表示为积分形式？

主要发现

• 当 g=2 时，迹密度由 fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16) 显式给出，其中 |x| ≤ 4。
• 推导出四种等价的 genus 2 迹分布表达式：分别以超几何函数、勒让德函数、椭圆积分和梅杰 G-函数表示。
• 共轭类上迹的分布可表示为在对称单形上的积分：fτ(x) = ∫_{Vx} αx(s) ds，其中 Vx = {s ∈ Σg | s₁ = x}。
• 外幂表示的迹满足 τ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) 为对偶多项式展开中的系数。