[論文レビュー] Partial generalized crossed products and a seven-term exact sequence

Mikhailo Dokuchaev, Antonio Paques+2 more|arXiv (Cornell University)|Aug 16, 2019

Algebraic structures and combinatorial models参考文献 22被引用数 5

ひとこと要約

この論文は、可換環の部分ガロア拡大に対して、部分群コホモロジー、一般化されたクローズド積、およびピカード半群構成を導入することにより、古典的なチェイス＝ハリソン＝ローゼンバーグ系列を一般化した七項完全系列を確立する。主な貢献は、部分コホモロジー群、ピカード群、ブラウアー群、およびアズマヤ代数を含む新しい完全系列であり、ガロア理論を部分作用の設定に拡張する。

ABSTRACT

For a partial Galois extension of commutative rings we give a seven term exact sequence which generalize the Chase-Harrison-Rosenberg sequence.

研究の動機と目的

• 可換環の部分ガロア拡大の文脈において、古典的なチェイス＝ハリソン＝ローゼンバーグの七項完全系列を一般化すること。
• 可換半群へのユニタリ部分作用に基づくコホモロジー理論を導入することで、部分群作用へのガロアコホモロジー理論を拡張すること。
• 有限生成でランク ≤1 の射影 R-加群のピカード半群に倣った部分表現による一般化されたクローズド積構造を構成すること。
• コホモロジー的技法およびスペクトル系列に類似した議論を用いて、一般化された系列の完全性を証明すること。
• 作用がグローバルである場合に、元のチェイス＝ハリソン＝ローゼンバーグ系列が特別な場合として回復されること。

提案手法

• 著者たちは、有限群 G が可換環 R に部分作用 α を定義し、これにより R-加群の有限生成でランク ≤1 の射影加群のピカード半群 PicS(R) に部分作用 α* を誘導することを定義する。
• 部分群作用の環へのコホモロジー理論に基づき、i = 1,2,3 に対して部分コホモロジー群 H^i(G, α, R) を導入する。
• 構造が R の単元を係数として、PicS(R) への部分表現に基づく一般化されたクローズド積構成を用いる。
• 次の写像を用いて系列を構成する：H^1(G,α,R) → Pic(R^α), Pic(R^α) → PicS(R)^α* ∩ Pic(R), H^2(G,α,R) → B(R/R^α), B(R/R^α) → H^1(G,α*,PicS(R)), そして最後に H^3(G,α,R) へ。
• コycleの持ち上げおよび局所的自明性の議論を用いて、各写像の像が次の写像の核に等しいことを示す構成的証明により完全性を証明する。
• 証明は、第5の写像 φ₅ の像が、1-コサイクルから作られた代表的クローズド積を構成し、それがコホモロジー類としての性質を満たすことで、φ₆ の核に正確に一致することを示すことに依存する。

実験結果

リサーチクエスチョン

• RQ1 古典的なチェイス＝ハリソン＝ローゼンバーグの七項完全系列は、可換環の部分ガロア拡大の場合に一般化可能か？
• RQ2 ガロアコホモロジー理論は、環および加群への部分群作用を組み込むためにどのように拡張可能か？
• RQ3 部分作用の文脈において、固定点ピカード群 Pic(R)^G の適切な置き換えは何か？
• RQ4 ピカード半群 PicS(R) への部分表現に基づいた一般化されたクローズド積はどのように構成可能か？
• RQ5 一般化された系列が、作用がグローバルである場合に、元のチェイス＝ハリソン＝ローゼンバーグ系列に還元される条件は何か？

主な発見

• 論文は七項完全系列を確立する：0 → H¹(G,α,R) → Pic(R^α) → PicS(R)^α* ∩ Pic(R) → H²(G,α,R) → B(R/R^α) → H¹(G,α*,PicS(R)) → H³(G,α,R) であり、その完全性を証明する。
• この系列は古典的なチェイス＝ハリソン＝ローゼンバーグ系列を一般化し、作用がグローバルである場合には、元の系列に正確に還元される。
• 部分作用に対するヒルベルトの定理90条が証明される：Pic(R^α) = 0 ならば、H¹(G,α,R) = 0 である。
• 部分作用に対するクローズド積の定理が確立される：Pic(R) が自明ならば、写像 cls(ω) ↦ [R ⋆_α,ω G] により H²(G,α,R) ≅ B(R/R^α) が成り立つ。
• 第6の写像 φ₆ の像は、H³(G,α,R) の局所的自明なコホモロジー類の部分群 H³_lt(G,α,R) に含まれる。
• コホモロジー類 φ₆(cls(f)) が H³(G,α,R) で自明であることは、関連する3-コサイクルが R^α のすべての素イデアルにおいて局所的コバウンダリーであることにちょうど同値である。