[論文レビュー] On the action of the Steenrod algebra on the modular invariants of special linear group

Nguyễn Sum|arXiv (Cornell University)|Oct 18, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 6

ひとこと要約

本稿は、奇素数 $p$ に対して $ℤ/ p$ 上の特殊線形群 $SL_n$ のモジュラー不変量におけるスティーナロード代数の作用を計算する。ミルナーのスティーナロード代数の基底と、一般化されたディクソン＝ミュー不変量 $[k; e_{k+1}, \dots, e_n]$ における $St^{S,R}$ の作用を表す新しい公式を用いて、ミュー不変量 $M_{n,s_1,\dots,s_k}$ における作用の明示的公式を導出する。この作用は、行列式に類似した不変量と $p$-進展開に基づく新しい代数的枠組みを用いて再解釈され、先行研究の結果を再収得する。

ABSTRACT

We compute the action of the Steenrod algebra on generators of algebras of invariants of special linear group ${SL_n=SL(n,\mathbb Z/p)}$ in the polynomial algebra with $ p$ an odd prime number.

研究の動機と目的

• 奇素数 $p$ に対して $ℤ/ p$ 上の $SL_n$ のモジュラー不変量におけるスティーナロード代数 $\mathcal{A}(p)$ の作用を計算すること。
• ミルナーの基底 $St^{S,R}$ を用いて、ディクソンおよびミュー不変量における $P^k$-作用の先行結果を統一的な公式で拡張すること。
• 不変量 $[k; e_{k+1}, \dots, e_n + s]$ とディクソン不変量 $Q_{n,s}$ の間の構造的関係を確立し、再帰的計算を可能にする。
• $p$-進インデックスとインデックスの不交分割に基づく新しい代数的枠組みを用いて、$P^k$ がミュー不変量 $M_{n,s_1,\dots,s_k}$ に作用する既知の作用を再導出し、再解釈すること。

提案手法

• 外積と多項式生成子からなる $H^*(B(\mathbb{Z}/p)^n)$ の中で、行列式に類似した表現を持つ一般化不変量 $[k; e_{k+1}, \dots, e_n]$ を導入する。
• スティーナロード代数 $\mathcal{A}(p)$ のミルナーの基底 $St^{S,R}$ を用い、双対代数における $\tau_s$ と $\xi_i$ の単項式と双対をなす。
• 指数の $p$-進展開を符号化するため、インデックス集合 $\{k+1, \dots, n\}$ の分割 $J = (J_0, \dots, J_m)$ を定義する。
• 作用の公式 $St^{S,R}[k; e_{k+1}, \dots, e_n] = (-1)^{t(k-t)}[k-t, s_1, \dots, s_t, e_{k+1}+\Phi_J(k+1), \dots, e_n+\Phi_J(n)]$ を導出する。ただし $R = R_J$ のときであり、それ以外は 0 である。
• 高次の不変量を低次のもので表すために、$[k; e_{k+1}, \dots, e_n + n] = \sum_{s=0}^{n-1} (-1)^{n+s-1} [k; e_{k+1}, \dots, e_n + s] Q_{n,s}^{p^{e_n}}$ という重要な関係を適用する。
• この公式を用いて $P^t M_{n,s_1,\dots,s_k}$ を明示的に計算し、ハングとミン（2010年）の結果を再収得し、再解釈する。

実験結果

リサーチクエスチョン

• RQ1 スティーナロード代数 $\mathcal{A}(p)$ は、$SL_n$-不変量環の一般化不変量 $[k; e_{k+1}, \dots, e_n]$ にどのように作用するか？
• RQ2 $St^{S,R}$ がミュー不変量 $M_{n,s_1,\dots,s_k}$ に作用する際、一様な代数的公式を用いて一括して計算可能か？
• RQ3 $[k; e_{k+1}, \dots, e_n + n]$ とディクソン不変量 $Q_{n,s}$ の間にどのような構造的関係が存在するか？
• RQ4 $P^t$ が $M_{n,s_1,\dots,s_k}$ に作用する既知の作用を、$p$-進インデックスと分割に基づく公式を用いて再導出し、一般化可能か？
• RQ5 関数 $\Phi_J$ および列 $R_J = \sum_{j \in J_s} p^{e_j}$ は、スティーナロード作用の台を決定する上で果たす役割は何か？

主な発見

• 不変量 $[k; e_{k+1}, \dots, e_n]$ における $St^{S,R}$ の作用は、$R = R_J$ を満たすある分割 $J$ に対してのみ非ゼロであり、その値は $(-1)^{t(k-t)}[k-t, s_1, \dots, s_t, e_{k+1}+\Phi_J(k+1), \dots, e_n+\Phi_J(n)]$ に等しい。
• 不変量 $[k; e_{k+1}, \dots, e_n + n]$ は、$s = 0, \dots, n-1$ に対して $[k; e_{k+1}, \dots, e_n + s] Q_{n,s}^{p^{e_n}}$ の線形結合として表され、再帰的構造が確立される。
• $P^t = St^{\emptyset, (t)}$ が $M_{n,s_1,\dots,s_k}$ に作用する際、$t = \sum_{i=1}^{k+1} \frac{p^{s_i} - p^{t_i}}{p-1}$ かつ $s_{i-1} < t_i \leq s_i$ を満たすときのみ非ゼロであり、その結果はミュー不変量またはミュー不変量とディクソン不変量の積の和となる。
• $t_{k+1} = n$ の場合、結果は $i=1$ から $k+1$ まで $(-1)^{k+1-i} M_{n,t_1,\dots,\hat{t}_i,\dots,t_{k+1}} Q_{n,t_i}$ の和となり、既知の公式を一般化する。
• 特別な場合 $M_{n,1,\dots,n-1} = [n-1; 0]$ に対して、$St^{S', R}$ の作用を明示的に計算した。$R = \Delta_{s_t}$ のとき $(-1)^{s_t - t} M_{s_0,\dots,\hat{s}_t,\dots,s_k}$ となり、$R = \Delta_n$ のときは $Q_{n,s_t}$ の和となり、それ以外はゼロである。
• 本稿は、$p$-進インデックスと分割された指数シフトに基づく新しい枠組みを用いて、ミュー不変量における $P^t$ の作用を直接かつ新規に導出する。この結果は、ハングとミン（2010年）の結果を確認し、再解釈する。