[論文レビュー] Generalized Hopf Modules for bimonads

Marcelo Aguiar, Stephen U. Chase|arXiv (Cornell University)|Dec 14, 2012

Algebraic structures and combinatorial models参考文献 31被引用数 11

ひとこと要約

本稿は、comodule-monadとcomonoid $ C $ を導入することで、bimonad の設定においてスウィードラーのホップモジュールの基本定理とシュナイダーの構造定理を一般化し、ホップモジュールと $ C $-comodules の間のカテゴリカル同値を確立する。主な貢献は、古典的ホップモジュール理論をbimonadicおよび2-モノイダルな文脈へ拡張する統一的枠組みを提供することであり、ホップガロア理論やヒルベルトの定理90への応用を含む。

ABSTRACT

Bruguières, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which involves, in addition to the bimonad, a comodule-monad and a algebra-comonoid over it. As an application we obtain a generalization of another classical theorem from the Hopf algebra literature, due to Schneider, which itself is an extension of Sweedler's result (to the setting of Hopf Galois extensions).

研究の動機と目的

• ホップ代数からbimonadへホップモジュールの基本定理を拡張するため、comodule-monad 構造を組み込むこと。
• bimonadic枠組み内でのホップガロア拡張に対するシュナイダーの構造定理を一般化すること。
• ホップモジュールのモナドとコモジュール構造を結ぶ中心的構造としてのcomonoid $ C $ を導入すること。
• 一般化されたホップモジュールの圏と $ C $-comodules の圏の間のカテゴリカル同値を確立することにより、古典的結果を一般化すること。
• 非可換ヒルベルトの定理90に動機づけられた、2-モノイダル圏におけるbimonoid上でのホップモジュールのカテゴリカル基盤を提供すること。

提案手法

• adjunction 沿いの共伴コモノイドを導入し、ベックのコモノイダリティ定理を一般化する。
• bimonad $ T $ 上でのcomodule-monad を定義し、ホップガロア理論における相対的ホップモジュールを一般化する。
• bimonad と comodule-monad から、モジュール構造とコモジュール構造の整合性を保証するように、comonoid $ C $ を構成する。
• comodule-monad 上の代数としてのホップモジュール構造と、comonoid $ C $ に関するコモジュール構造とを、接続公理を満たすように定義する。
• このような一般化されたホップモジュールの圏と $ C $-comodules の圏の同値性を示す主要定理を証明する。
• 同値性の基準として、Galois作用素の可逆性を用い、古典的ホップガロア条件を一般化する。

実験結果

リサーチクエスチョン

• RQ1 スウィードラーのホップモジュールの基本定理をホップ代数からbimonadへどのように拡張できるか？
• RQ2 comonoid $ C $ の導入は、bimonad 上での一般化されたホップモジュールの構造をどのように精緻にするか？
• RQ3 bimonad 上でのcomodule-monad理論は、ホップガロア拡張に対するシュナイダーの構造定理をどのように一般化するか？
• RQ4 共伴コモノイドは、この文脈へのコモノイダリティ定理の拡張において果たす役割は何か？
• RQ5 一般化されたホップモジュールと $ C $-comodules の関係は何か？ そして、この同値性はどのような条件下で確立されるか？

主な発見

• 本稿は、comodule-monad および comonoid $ C $ に関する一般化されたホップモジュールの圏と $ C $-comodules の圏との間でカテゴリカル同値を確立する。
• 同値性は、一般化されたGalois作用素の可逆性によって特徴づけられ、ホップガロア理論における重要な基準を一般化する。
• 共伴コモノイドの普遍的性質が導出され、ベックのコモノイダリティ定理の一般化を可能にする。
• 本理論は、非可換ヒルベルトの定理90のカテゴリカル枠組みを提供し、$ H^1(G, GL(n,A)) $ が自由基底変換を伴う $ Bbbk $-モジュールの同型類を分類する。
• $ A $ が $ Bbbk $-代数として忠実平坦であり、Galois写像が同型であるとき、第一コホホロジー集合 $ H^1(G, Aut_A(N)) $ は、$ A $-モジュールとして $ A ens M isom N $ を満たす $ Bbbk $-モジュール $ M $ の同型類を分類する。
• $ n=1 $ の場合、双対性は群同型にまで拡張され、正確な完全列 $ 1 \to \tH^1(G,A^\times) \to \tPic(\tBbbk) \to \tPic(A) $ が得られ、非可換ヒルベルトの定理90の実現が達成される。