[論文レビュー] 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 $ を含む母関数を用いて、巡回型分布をモデル化する。
• 各 $ \epsilon_i^j \mapsto 1 $（$ j \leq r_i $）を満たす $ \mathbb{Q} $-線形評価写像 $ \Phi $ を適用し、ノルム的要素を除去して有理係数を抽出する。
• 巡回型が指定された配置の数を数えるために特徴多項式 $ \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] $ で与えられる。
• 巡回型 $ \mu $ をもつ $ gH $ の要素数は、$ \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 $ in における $ 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 $ 上の多項式へと拡張された、対称群陪集合における巡回型統計を体系的に計算する方法を提供する。