Counting points on generic character varieties

技術要約：一般的キャラクタ多様体上の点の計数

問題設定
本論文は、有限体上の任意の簡約群 $G$ に関連する、穴あき曲面群および正則半単純共役類に関連するキャラクタ多様体の点の列挙を扱う。$GL_n$ のキャラクタ多様体の幾何学およびトポロジーは、Hausel, Letellier, Rodriguez-Villegas による基礎的な研究 [HRV08, HLRV11] により十分に理解されているが、一般的な簡約群に対するキャラクタ多様体の理解は限られている。具体的には、著者らは、マルチプリカティブ・キャラクタ多様体（穴あき曲面の基本群に関連するもの）と、その加法的類似物（リー環 $\mathfrak{g}$ に関連するもの）の両方について、$\mathbb{F}_q$ 上の点の数を決定することを目的としている。本研究は、「生成的（generic）」な共役類の組に焦点を当てており、この条件は多様体が滑らかであり、かつ等次元であることを保証する。

手法
著者らは、有限群のリー型表現論、Deligne-Lusztig 理論、およびリー環上の調和解析の組み合わせを用いている。

1. マルチプリカティブ（乗法的）な場合：

   • 出発点は、有限群 $G(\mathbb{F}_q)$ の既約複素文字による表現多様体の点数を表すフロベニウス・マス公式である。
   • 共役類が生成的であり、かつ強正則な元を含むという仮定を用いることで、著者らは Deligne および Lusztig [DL76] の定理を適用する。これにより、寄与する文字が主系列表現に限定される。
   • 文字の和は、タイプ $\tau = [L, \rho]$（ここで $L$ は標準的なエンドスピーシー群（擬似レヴィ部分群）であり、$\rho$ は $L$ のワイル群の既約文字である）へとグループ化することによって再構成される。
   • 文字の和は、エンドスピーシー群のポセット上でのメビウス反転を用いて評価される。重要なステップは、双対トーラス上のフロベニウス作用のスタビライザーを分析することであり、成分群が分裂することを保証するために有限の基底変換が必要となる。

2. アディティブ（加法的）な場合：

   • 加法的キャラクタ多様体は、リー環 $\mathfrak{g}$ と随伴軌道を通じて定義される。計数の問題は、随伴軌道の特性関数のフーリエ変換を含む、加法的なフロベニウス・マス公式を通じてアプローチされる。
   • 著者らは、これらのフーリエ変換を評価するために Kazhdan と Letellier [Let05] による結果を利用する。変換の非消滅は、リー環における「分裂（split）」した元に関連している。
   • マルチプリカティブな場合と同様に、和は「タイプ」 $\tau = [L, N]$（ここで $L$ はレヴィ部分群であり、$N$ はべき零軌道である）によって分解される。
   • 評価は、グリーン関数およびシュプリンガーファイバーの性質に依存する。著者らは、$E_8$ 型を持つ群の場合、点数が多項式であることを保証するために二次基底変換が必要になる可能性があると指摘している。

主要な貢献および結果

1. マルチプリカティブな多様体に対する多項式計数：

   • 定理 2： 著者らは、生成的なキャラクタ多様体 $X$ が簡約群 $G$ に関連する場合、すべての $m \geq 1$ に対して、点数 $|X(\mathbb{F}_{q^{rm}})|$ が多項式 $f_X(q^{rm})$ で与えられるような正の整数 $r$ が存在することを証明する。
   • 回文的性質： 計数多項式 $f_X(t)$ は回文的（係数が対称）であることが示される。これは、この多様体が「奇妙な（curious）」ポアンカレ双対性と「奇妙な」ハード・レフシェッツ特性を満たしていることを示唆しており、これらの多様体に対する $P=W$ 予想を支持するものである。
   • 連結成分： $X$ の連結成分の数は $|\pi_0(Z(\check{G}))|$ であると決定される。ここで $\check{G}$ はラングランズ双対群である。
   • 独立性： 多項式 $f_X$ は、群 $G$、種数 $g$、および穴の数 $n$ にのみ依存し、選択された特定の生成的共役類には依存しない。

2. アディティブな多様体に対する多項式計数：

   • 定理 6： 著者らは、加法的キャラクタ多様体 $Y$ も（具体的には二次基底変換の後で、すなわち $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$）多項式計数であることを確立する。
   • 非負の係数： （$GL_n$ にのみ存在する）クィバー多様体への直接的な関連性が欠如しているため、一般的な証明は困難であるが、ランク 7 未満の群に関する計算結果は、$f_Y$ の係数が非負であることを示唆している。これは、$Y$ のコホモロジーが純粋であるという予想を支持している。
   • 連結性： 加法的多様体 $Y$ は連結であることが証明されている。

3. 明示的な公式と例：

   • 本論文は、ルート系のデータ、ワイル群の文字、およびグリーン多項式を用いた、計数多項式 $f_X$ および $f_Y$ の明示的な有理関数公式を提供している。
   • セクション 7 では、低ランク群（$GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$）および特定の種数と穴の数に関する詳細な表と明示的な多項式を提示している。

意義および主張
本論文は、タイプ $A$ ($GL_n$) から任意の簡約群への、Hausel, Letellier, Rodriguez-Villegas による画期的な結果の一般化を主張している。

• 構造的洞察： 生成的なキャラクラ多様体が多項式計数であり、かつ回文的であることを示すことは、簡約的な設定において、 $GL_n$ で知られている挙動と同様の、深いトポロジカルな性質（ホッジ・テイト構造、ポアンカレ双対性、ハード・レフシェッツ）に対する強い証拠を提供する。
• Kac 多項式の簡約版： 加法的多様体の計数多項式は、コメット型のクィバーに対する Kac 多項式の簡約版として提案されている。その係数の非負性は、加法的キャラクタ多様体の幾何学と Borcherd 代数の表現論を結びつけるものとして予想されている。
• 将来の予想のための基礎： 著者らは、自らの結果が、 $GL_n$ で知られているマクドナルド多項式の公式と同様の、簡約的な設定における混合ホッジ多項式に関する予想を策定するための必要なデータを提供すると述べている。彼らは、一般的な $G$ に対して係数の非負性を証明することは、クィバー多様体との直接的な対応関係の欠如により、依然として非自明な未解決問題であることを強調している。

本研究は、中心 $Z(G)$ が連結であり、かつ体の標数が $G$ に対して「非常に良い（very good）」という仮定に強く依存している。著者らは、中心の連結性の仮定を緩和すると、双対群における非連結な中心化群のために公式が複雑になることを認めており、また、生成性の仮定が多様体の滑らかさと等次元性のために極めて重要であることを認めている。