[論文レビュー] Generating functions and statistics on spaces of maximal tori in classical Lie groups

Jason Fulman, Rita Jiménez Rolland+1 more|arXiv (Cornell University)|Oct 21, 2016

Advanced Algebra and Geometry参考文献 14被引用数 3

ひとこと要約

この論文は、古典的リー群の型A、B、Cにおける$F$-安定な最大トーラス上の多項式統計の安定値に対する明示的公式を導出するために母関数技法を用いる。ねじれホモロジー的安定性を確立し、安定ねじれベッチ数の母関数を計算することで、それらが線形再帰関係を満たす有理関数であることを示す。

ABSTRACT

In this paper we use generating function methods to obtain new asymptotic results about spaces of $F$-stable maximal tori in $GL_n(\overline{F_q})$, $Sp_{2n}(\overline{F_q})$, and $SO_{2n+1}(\overline{F_q})$. We recover stability results of Church--Ellenberg--Farb and Jiménez Rolland--Wilson for "polynomial" statistics on these spaces, and we compute explicit formulas for their stable values. We derive a double generating function for the characters of the cohomology of flag varieties in type B/C, which we use to obtain analogs in type B/C of results of Chen: we recover "twisted homological stability" for the spaces of maximal tori in $Sp_{2n}(\mathbb{C})$ and $SO_{2n+1}(\mathbb{C})$, and we compute a generating function for their "stable twisted Betti numbers". We also give a new proof of a result of Lehrer using symmetric function theory.

研究の動機と目的

• 古典的リー群の$F$-安定な最大トーラス上の多項式統計の漸近的安定性に関する結果を、母関数に基づく新たな証明を与えること。
• 生成関数を用いて、Church–Ellenberg–Farb や Jiménez Rolland–Wilson の先行結果を拡張し、これらの統計の明示的安定値を計算すること。
• 型B/Cのフラッグ多様体のコホロジー特性の二重母関数を導出し、型AにおけるChenの結果の類似を可能にすること。
• 型B/Cにおける安定ねじれベッチ数が、有界な準周期と有限の再帰順序を持つ有理関数であることを示すこと。
• 対称関数論的証明を用いて、型AにおけるLehrerの定理（特性多項式と点数に関するもの）を再証明すること。

提案手法

• 有限体上の$GL_n$、$Sp_{2n}$、$SO_{2n+1}$における$F$-安定な最大トーラスのLehrerの特性公式の左辺を分析するために母関数を用いる。
• 対称関数論を応用し、コインvariant代数と共役関数の内積に注目することで、型AにおけるLehrerの結果を再証明する。
• ハイパーオクタヘドラル群$B_n$の構造を用いて、型B/Cにおけるフラッグ多様体のコホロジー特性の二重母関数を導出する。
• 安定ねじれベッチ数の母関数を有理関数として計算し、分母が$1 - z^i$および$1 + z^i$の積であることを明らかにすることで、有理関数の構造を特定する。
• 母関数の極を分析することで、安定ベッチ数が、次数が$\deg(P) - 1$未満の有理関数であり、準周期が$\text{lcm}(2, 4, \dots, 2\deg(P))$の約数であることを示す。
• 母関数から導かれる再帰関係を用いて、$\mathbb{C}^n$、$\bigwedge^2\mathbb{C}^n$、$\bigwedge^3\mathbb{C}^n$などの表現における安定ベッチ数を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 古典的リー群の型A、B、Cにおける$F$-安定な最大トーラス上の多項式統計の明示的安定値は何か？
• RQ2 母関数を用いて、型AにおけるChenの結果に類似した、型B/Cにおけるねじれホモロジー的安定性の結果をどのように導出できるか？
• RQ3 型B/Cにおける安定ねじれベッチ数の母関数の構造は何か？ そして、それにより関数的形態にどのような意味が生じるか？
• RQ4 型B/Cにおける安定ねじれベッチ数は線形再帰関係を満たすか？ もしそうなら、その順序と係数はどのように決定されるか？
• RQ5 対称関数論を用いて、型AにおけるLehrerの特性公式の新たな証明を与えることができるか？

主な発見

• $GL_n$、$Sp_{2n}$、$SO_{2n+1}$における$F$-安定な最大トーラス上の多項式統計の安定値は、母関数を用いて明示的に計算された。
• 型B/Cにおける安定ねじれベッチ数の母関数は、有理関数であり、分母は$1 - z^i$および$1 + z^i$の積で表され、次数は特性多項式の次数で有界である。
• 安定ねじれベッチ数は、次数が$\deg(P) - 1$未満の有理関数であり、準周期は$\text{lcm}(2, 4, \dots, 2\deg(P))$の約数である。
• 標準的表現$\mathbb{C}^n$に対して、安定ベッチ数は$d$が奇数のとき$\beta_d = 1$、偶数のとき$\beta_d = 0$であり、$d \geq 3$では$\beta_d = \beta_{d-2}$を満たす。
• $\bigwedge^2\mathbb{C}^n$に対しては、$d \geq 6$で$\beta_d = \beta_{d-2} + \beta_{d-4} - \beta_{d-6}$を満たし、周期4の区分的有理関数である。
• $\bigwedge^3\mathbb{C}^n$に対しては、次数2の有理関数であり、周期12、再帰順序12の関係を満たし、$d$を12で割った剰余に応じた二次的依存性を示す。