[論文レビュー] Higher torsion in p-groups, Casimir operators and the classifying spectral sequence of a Lie algebra

Jonathan Pakianathan, Nicholas F. Rogers|arXiv (Cornell University)|Jul 15, 2010

Algebraic structures and combinatorial models参考文献 25被引用数 3

ひとこと要約

本稿では、p-進リー代数から生じるp-群のボクシュタインスペクトル系列をモデル化するスペクトル系列 Er[g] を導入し、特徴的pにおける相転移を明らかにする。sl₂(𝔽ₚ) に対しては、E₁[sl₂(𝔽ₚ)] は最小でも17個の生成子を必要とし、特徴的ゼロにおける2つと比べて顕著に多い。これは、整数コホモロジーにおける特異な torsion の存在を示している。

ABSTRACT

We study exceptional torsion in the integral cohomology of a family of p-groups associated to p-adic Lie algebras. A spectral sequence E r [g] is defined for any Lie algebra g which models the Bockstein spectral sequence of the corresponding group in characteristic p. This spectral sequence is then studied for complex semisimple Lie algebras like sln(C), and the results there are transferred to the corresponding p-group via the intermediary arithmetic Lie algebra defined over Z. Over C, it is shown that E 1 [g] = H (g, U(g)) = H(ΛBG) where U(g) is the dual of the universal enveloping algebra of g and ΛBG is the free loop space of the classifying space of a Lie group G associated to g. In characteristic p, a phase transition is observed. For example, it is shown that the algebra E 1 [sl2[Fp]] requires at least 17 generators unlike its characteristic zero counterpart which only requires two.

研究の動機と目的

• p-進リー代数に付随するp-群のボクシュタインスペクトル系列をモデル化するスペクトル系列 Er[g] を定義すること。
• このスペクトル系列が特徴的ゼロおよび特徴的pにおける挙動を、特に複素半単純リー代数 sln(ℂ) に対して分析すること。
• 整数環 ℤ 上の算術的リー代数を介して、複素ケースの結果をp-進設定に持ち込むこと。
• 特徴的ゼロと特徴的pにおけるコホモロジー的複雑さの構造的差異、特に生成子の要件という観点から分析すること。
• p-群の整数コホモロジーにおける特異な torsion 現象を同定および定量すること。

提案手法

• 任意のリー代数 g に対して、特徴的pにおける対応するp-群のボクシュタインスペクトル系列をモデル化するスペクトル系列 Er[g] を定義する。
• 複素数体上では、E₁[g] ≅ H(g, U(g)) ≅ H(ΛBG) が成り立つことを確立する。ここで U(g) は普遍包あらゆる代数の双対であり、ΛBG はリー群 G（g に付随する）の分類空間の自由ループ空間である。
• 整数環 ℤ 上の算術的リー代数を中間として用い、複素ケースの結果をp-進設定に持ち上げる。
• E₁[sl₂(𝔽ₚ)] のコホモロジー的構造を特徴的ゼロにおける対応物と比較することで、特徴的pにおけるスペクトル系列を分析する。
• リー代数コホモロジー、スペクトル系列理論、p-進群表現の技術を用いて torsion 現象を検出する。
• E₁[sl₂(𝔽ₚ)] が特徴的ゼロの場合よりも生成子の数が顕著に増加することを示し、相転移を示している。

実験結果

リサーチクエスチョン

• RQ1 スペクトル系列 Er[g] は、p-進リー代数から導かれるp-群のボクシュタインスペクトル系列をどのようにモデル化するか？
• RQ2 複素数の場合に、普遍包あらゆる代数の双対のコホモロジーと分類空間の自由ループ空間のコホモロジーの間にはどのような関係があるか？
• RQ3 生成子の複雑さという観点から、E₁[sl₂(𝔽ₚ)] と E₁[sl₂(ℂ)] の構造的差異は何か？
• RQ4 特徴的ゼロから特徴的pに移行する際、コホモロジー的構造に相転移が生じるという証拠は何か？
• RQ5 E₁[sl₂(𝔽ₚ)] に必要な最小生成子数は何か？また、特徴的ゼロの場合と比べてどう異なるか？

主な発見

• 複素数体上では、スペクトル系列が E₁[g] ≅ H(g, U(g)) ≅ H(ΛBG) を満たし、リー代数コホモロジーと分類空間の自由ループ空間の位相を結ぶ。
• 特徴的pでは、相転移が発生する：コホモロジー的複雑さが特徴的ゼロの場合と比べて顕著に増加する。
• sl₂(𝔽ₚ) に対しては、スペクトル系列 E₁[sl₂(𝔽ₚ)] が少なくとも17個の生成子を必要とし、特徴的ゼロの2つと比べて顕著に多い。
• 生成子数の増加は、対応するp-群の整数コホモロジーに特異な torsion が存在することを示している。
• 結果は、複素半単純リー代数 sln(ℂ) から、整数環 ℤ 上の算術的リー代数を介してp-群に持ち込まれている。
• スペクトル系列 Er[g] は、表現論、リー代数コホモロジー、正の特徴的におけるp-群の位相の間の橋渡しを果たす。