[論文レビュー] Mod-two cohomology of symmetric groups as a Hopf ring

Chad Giusti, Paolo Salvatore+1 more|arXiv (Cornell University)|Sep 17, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 4

ひとこと要約

本稿は、線形部分多様体のトム類によって与えられる生成子を用いて、対称群のmod-twoコホモロジーに対する新しい加法的基底と明示的な積則を、ホップ環構造を用いて導入する。主な貢献は、移行積とスティーネロド作用素を統合した幾何的・不変量論的枠組みを通じて、カップ積関係の長年の複雑性を解消し、コホモロジーラインの完全かつ閉形式の記述を達成することにある。

ABSTRACT

We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and representation theory. In addition to a Hopf ring presentation, we give geometric cocycle representatives and explicitly determine the structure as an algebra over the Steenrod algebra. All calculations are explicit, with an additive basis which has a clean graphical representation. We also briefly develop related Hopf ring structures on rings of symmetric invariants and end with a generating set consisting of Stiefel-Whitney classes of regular representations v2. Added new results on varieties which represent the cocycles, a graphical representation of the additive basis, and on the Steenrod algebra action. v3. Included a full treatment of invariant theoretic Hopf rings, refined the definition of representing varieties, and corrected and clarified references.

研究の動機と目的

• 対称群のmod-twoコホモロジーラインの完全かつ明示的な記述を提供すること、積構造とスティーネロド作用素を含むこと。
• スカイライン図で表される幾何的・不変量論的生成子を用いた、新たな加法的基底の確立。
• 移行積を用いたホップ環構造を活用することで、従来の対称群コホモロジーのアプローチを統一・明確化すること。
• ディクソン二部分割とモービウス逆転を用いて、コプロダクトとスティーネロド作用の閉形式記述を与えること。
• 標準表現のステイフェル＝ブリッジクラスがホップ環としてコホモロジーを生成することを示し、明示的なコプロダクト公式を提示すること。

提案手法

• 本稿は、$ H^*(\coprod_n B\mathcal{S}_n; \mathbb{F}_2) $ 上のホップ環構造を用い、カップ積と移行積 $\odot$ の二種類の積構造を持ち、ポントリャーギン積の双対としてのコプロダクトを持つ。
• 生成子 $\gamma_{\ell,n}$ は次数 $n(2^\ell - 1)$ で定義され、$\Delta\gamma_{\ell,n} = \sum_{i+j=n} \gamma_{\ell,i} \otimes \gamma_{\ell,j}$ および $\gamma_{\ell,n} \odot \gamma_{\ell,m} = \binom{n+m}{n} \gamma_{\ell,n+m}$ を満たす。
• スカイライン図を用いて加法的基底を構成し、これはヤング図を一般化したもので、生成子の単項式を符号化する。
• カップ積はスカイライン図上の組合せ論的規則により記述され、対称化された単項式積に類似している。
• 移行積に対するカルタン公式を用いてスティーネロド代数の作用を計算し、問題を $\text{Sq}^i(\gamma_{\ell,2^k})$ の計算に還元する。
• ステイフェル＝ブリッジクラス $w(k,\ell)$ がホップ環を生成することを示し、コプロダクトはディクソン二部分割の和として、$\mathbb{F}_2$-値関数 $\phi$ を用いて重み付けられる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、1つの基底において、対称群のmod-twoコホモロジーを完全かつ明示的な積則で記述できるか？
• RQ2 ホップ環構造、特に移行積とコプロダクトが、コホモロジーラインをどのように整理しているか？
• RQ3 幾何的または不変量論的生成子（例：トム類、ステイフェル＝ブリッジクラス）を用いて、すべての対称群にわたるコホモロジーの均一な記述が可能か？
• RQ4 スティーネロド代数の作用はどのようにしてコホモロジーに作用し、小さな生成子の集合から再帰的に計算可能か？
• RQ5 ホップ環生成子の正確なコプロダクト公式は何か？また、ディクソン二部分割のような組合せ論的構造とどのように関係しているか？

主な発見

• $\coprod_n B\mathcal{S}_n $ のmod-twoコホモロジーは、明示的な関係 $\Delta\gamma_{\ell,n} = \sum_{i+j=n} \gamma_{\ell,i} \otimes \gamma_{\ell,j}$ および $\gamma_{\ell,n} \odot \gamma_{\ell,m} = \binom{n+m}{n} \gamma_{\ell,n+m}$ を持つクラス $\gamma_{\ell,n}$ によって生成されるホップ環として完全に記述される。
• スカイライン図を用いた加法的基底が構成され、これは生成子の単項式の視覚的・組合せ論的符号化を提供し、カップ積の明示的計算を可能にする。
• スティーネロド代数の作用は、生成子 $\gamma_{\ell,2^k}$ における作用によって完全に決定され、移行積に対するカルタン公式により、任意のクラスにおける $\text{Sq}^i$ の再帰的計算が可能になる。
• 標準表現のステイフェル＝ブリッジクラス $w(k,\ell)$ はホップ環としてコホモロジーを生成し、コプロダクトは $\Delta w(k,\ell) = \sum_{p' \cup p'' \in \Pi_{k,\ell}} \phi(p' \cup p'') \left( \bigodot_{(k_i,\ell_i) \in p'} w(k_i,\ell_i) \right) \otimes \left( \bigodot_{(k_j,\ell_j) \in p''} w(k_j,\ell_j) \right)$ で与えられる。
• ディクソン二部分割上の関数 $\phi$ は、細分の順序集合上のモービウス逆転により定義され、$q$-生成子の単項式と正しく対応するように保証される。
• 本稿では、すべてのコホモロジー類が線形部分多様体のトム類によって表され、初等アーベル部分群への制限写像がホップ環構造と整合的であることを示している。