[论文解读] A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability

Nir Gadish|arXiv (Cornell University)|Mar 6, 2017

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

一句话总结

本文为有限域上代数簇的分歧伽罗瓦覆叠中的表示稳定性量身定制了一种迹公式，使得以研究弗罗贝尼乌斯作用在具有非平凡稳定子的有理轨道上的行为。该文推导出对称群的杨子群陪集内循环类型分布的显式公式，通过特征多项式与生成函数将先前关于无平方多项式的工作扩展至包含重根的情形。

ABSTRACT

A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X} ightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type. Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense. We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.

研究动机与目标

• 将格罗滕迪克-莱夫谢茨迹公式推广至具有非平凡稳定子的群作用的分歧覆叠，以在表示稳定性背景下实现算术统计。
• 提供一种实用工具，用于计算在非自由群作用下的代数簇中，弗罗贝尼乌斯诱导的有理轨道上置换的分布。
• 通过一种新的除法符号代数，将关于无平方多项式的统计推广至包含根重数的多项式。
• 在有限域上的多项式统计与对称群的杨子群陪集中的循环类型分布之间建立直接联系。
• 利用幂零变量与求值映射，推导出此类陪集中循环计数的显式生成函数与期望值。

提出的方法

• 通过在稳定子非平凡时对弗罗贝尼乌斯置换进行平均特征值评估，将格罗滕迪克-莱夫谢茨迹公式适配于处理分歧覆叠。
• 在多项式空间上引入形式除法符号代数，以编码算术数据，并将其与对称群表示联系起来。
• 使用包含变量 $ t_k $ 和阶数为 $ r_i+1 $ 的幂零元素 $ \epsilon_i $ 的生成函数，以建模循环类型分布。
• 应用 $ \mathbb{Q} $-线性求值映射 $ \Phi $，将 $ \epsilon_i^j \mapsto 1 $ 对于 $ j \leq r_i $，从而消除幂零性以提取有理系数。
• 使用特征多项式 $ \binom{X}{\mu} $ 来计数指定类型循环的构型，其期望值通过推导出的生成函数计算。
• 将迹公式重新解释为对称群在杨子群陪集上的作用，利用共轭诱导的置换作用。

实验结果

研究问题

• RQ1 格罗滕迪克-莱夫谢茨迹公式如何被调整以处理群作用中具有非平凡稳定子的分歧覆叠？
• RQ2 对称群 $ S_N $ 的杨子群陪集中循环类型的分布是怎样的，特别是当该陪集在共轭作用下稳定时？
• RQ3 特征多项式如何用于计算此类陪集中循环类型统计的期望值？
• RQ4 有限域 $ \mathbb{F}_q $ 上具有重根的多项式算术与对称群表示之间有何联系？
• RQ5 包含幂零变量与求值映射的生成函数能否为对称群陪集中循环计数提供精确公式？

主要发现

• 在杨子群 $ H \subseteq S_N $ 的陪集 $ gH $ 上，特征多项式 $ \binom{X}{\mu} $ 的期望值为 $ \mathbb{E}_{S_N}[\binom{X}{\mu}] \Phi\left[ \prod_{k=1}^{\infty} \left( \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \right)^{\mu_k} \right] $。
• 在 $ gH $ 中具有循环类型 $ \mu $ 的元素个数为 $ \frac{|H| \cdot |C_\mu|}{N!} \Phi\left[ \prod_{k=1}^{N} \left( \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \right)^{\mu_k} \right] $，其中 $ C_\mu $ 为类型 $ \mu $ 的共轭类。
• 在 $ gH $ 中 $ k $-循环的期望个数为 $ \frac{1}{k} \sum_{\substack{i \\ d_i|k \\ d_i r_i \geq k}} d_i $，由 $ \mu_k=1 $，$ \mu_j=0 $ 的情形导出。
• 在 $ gH $ 上 $ \binom{X}{\mu} $ 的期望值的生成函数为 $ \Phi\left[ \exp\left( \sum_{k=1}^{\infty} \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \frac{t_k}{k} \right) \right] $。
• 该迹公式成功通过平均特征值评估，编码了在分歧覆叠中弗罗贝尼乌斯作用在有理轨道上的分布，即使稳定子非平凡亦然。
• 该方法为对称群陪集中循环类型统计的计算提供了系统性方法，将关于无平方多项式的结论推广至 $ \mathbb{F}_q $ 上的一般多项式。