[論文レビュー] Twisted cohomology of configuration spaces and spaces of maximal tori via point-counting

Weiyan Chen|arXiv (Cornell University)|Mar 12, 2016

Advanced Combinatorial Mathematics参考文献 9被引用数 8

ひとこと要約

この論文は、有限体上の点数えとグロテンディーク＝リーマン・ゼータ関数のトレース公式を用いて、GL_n(ℂ) の配置空間および最大トーラス空間のねじれベッチ数を計算する。安定的ねじれベッチ数がコhomological次元において線形再帰関係を満たすことを確立し、表現安定性における長年の問題を解決する。生成関数は特性多項式とネックレス多項式を用いて記述される。

ABSTRACT

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations given by a character polynomial, we compute $H^i(Y_n; W_n)$ for all $i$ and all $n$ in terms of double generating functions. One consequence of the computation is a new recurrence phenomenon: the stable twisted Betti numbers $\lim_{n o\infty}\dim H^i(Y_n; W_n)$ are linearly recurrent in $i$. Our method is to compute twisted point-counts on the $F_q$-points of certain algebraic varieties, and then pass through the Grothendieck-Lefschetz fixed point formula to prove results in topology. We also generalize a result of Church-Ellenberg-Farb about the configuration spaces of the affine line to those of a general smooth variety.

研究の動機と目的

• すべての i および n に対して、W_n を仮想 S_n-表現とするとき、H^i(Conf_n(ℂ); W_n) および H^i(𝒯_n(ℂ); W_n) のねじれベッチ数を計算すること。
• ファルブが2014年のICM講演で提示した、M = ℂ に対するねじれベッチ数に関する質問1を解決すること。
• 安定的ねじれベッチ数に新たな再帰的現象を確立し、コhomological次元 i において線形再帰関係を満たすことを示すこと。
• チャーチ＝エレンバーグ＝ファルブによるアフィン直線の配置空間における点数え結果を、一般の滑らか多様体へ一般化すること。

提案手法

• グロテンディーク＝リーマン・ゼータ関数のトレース公式を用いて、𝔽_q 上のねじれ点数えとℂ 上のコhomology ベッチ数を関連付ける。
• 仮想 S_n-表現 W_n をパラメトライズするために、ℚ[X₁,X₂,…] 内の特性多項式 P を用いる。特定の状況では P = X choose λ となる。
• ネックレス多項式 M_k(z⁻¹) と (tz)^k の有理関数を用いて、ねじれベッチ数の二重生成関数を導出する。
• 形式的微分作用素 (∂/∂x_i)^λ を用いて、GL_n(𝔽_q)-トーラスの点数えの生成関数からねじれ点数えを抽出する。
• 生成関数を z = q⁻¹ で評価し、素数のべき乗上で解析接続を用いて形式的変数へ拡張する。
• n → ∞ のとき Conf_n(V)(𝔽_q) 上の重み付き点数えの収束を用いて、位相的安定性および再帰関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 W_n が仮想 S_n-表現であるとき、すべての i および n に対して dim H^i(Conf_n(ℂ); W_n) は何か？
• RQ2 lim_{n→∞} dim H^i(Conf_n(ℂ); W_n) である安定的ねじれベッチ数は、i において構造的再帰関係を満たすか？
• RQ3 𝔽_q 上の点数え法をアフィン直線から任意の滑らか多様体 V へ一般化できるか？
• RQ4 GL_n(ℂ) の最大トーラス空間のねじれベッチ数はどのように振る舞い、それらを記述する生成関数は何か？
• RQ5 n → ∞ のとき、Conf_n(V)(𝔽_q) 上の重み付き点数えの漸近的挙動は何か？

主な発見

• Conf_n(ℂ) のねじれベッチ数の生成関数は、ネックレス多項式 M_k(z⁻¹) と (tz)^k の有理関数を含む二項係数の積として与えられる。
• 最大トーラス空間 𝒯_n(ℂ) に対しては、同様の積構造を持ち、項 (t^k / (1 - q^{-k}))^{λ_k} および無限積 1/(1 - q^{-k}t) を含む。
• 安定的ねじれベッチ数 β_i = lim_{n→∞} dim H^{2i}(𝒯_n(ℂ); X choose λ) は、その生成関数が分母の次数が |λ| である有理関数であることから、長さ |λ| の線形再帰関係を満たす。
• 安定的ベッチ数の生成関数は ∑_i β_i z^i = (1/z_λ) ∏_{k=1}^l (1 - z^k)^{-λ_k} として与えられ、有理関数性と再帰関係が確認される。
• この方法により、n → ∞ のとき Conf_n(V)(𝔽_q) 上の重み付き点数えの収束が証明され、チャーチ＝エレンバーグ＝ファルブのアフィン直線に関する結果が一般化される。
• 論文はファルブ＝ウルフソンの最近の定理を点数え法を用いて再証明し、配置空間および最大トーラスのねじれコhomology の完全な公式を提供する。