[論文レビュー] Hopf modules and the fundamental theorem for Hopf (co)quasigroups

Tomasz Brzeziński|ArXiv.org|Dec 17, 2009

Mathematics and Applications被引用数 7

ひとこと要約

この論文は、非可換的かつ非コアソシエイティブなホップ代数の一般化であるホップ（コ）クオーシャーグループにおけるホップモジュールを導入し、基本定理の類似を確立する。ホップ（コ）クオーシャーグループ上の左および右ホップモジュールの圏は、ベクトル空間の圏と同値である。主な結果は、この同値性が誘導関手と余不変関手によって媒介され、反対称写像とガロア写像が、ガロア型の条件からホップ（コ）クオーシャーグループ構造を再構成する上で中心的な役割を果たす点にある。

ABSTRACT

The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.

研究の動機と目的

• ホップ代数理論の基本定理を、非可換的かつ非コアソシエイティブなホップ（コ）クオーシャーグループの設定に一般化すること。
• 古典的なホップモジュールの概念を非可換的状況に拡張するために、ホップ（コ）クオーシャーグループ上のホップモジュールを定義し、それらを研究すること。
• ホップモジュールの圏とベクトル空間の圏との間の圏同値性を確立することにより、ホップ代数の古典的基本定理を模倣すること。
• ガロア写像の全単射性と反対称写像の存在を用いてホップ（コ）クオーシャーグループを特徴付けることにより、ガロア理論的特徴付けを提供すること。
• 先行研究の示唆に従い、ホップコクオーシャーグループ上における微分構造の圏論的および代数的基盤を築くこと。

提案手法

• 非可換代数および非コアソシエイティブコールゲブラに、特定の一般化逆条件を満たす反対称写像を備えた弱化された公理によってホップ（コ）クオーシャーグループの概念を導入する。
• 反対称写像とコプロダクトを含む修正されたコ作用公式を用いて、ホップ（コ）クオーシャーグループ上のホップモジュールを定義する。
• 構造写像における可換性およびコアソシエイティビティの欠如に対処するため、「ほぼ線形性」と「ほぼ余線形性」の概念を導入する。
• 積とコプロダクトを用いて定義される、H⊗HからH⊗Hへの標準写像βおよびγとして右および左ガロア写像を構成する。
• 反対称写像の存在が、ガロア写像が「ほぼ線形な逆写像」を持つことと同値であることを証明し、ガロア型特徴付けを確立する。
• 余等化子を用いて不変量を定義することで、誘導関手F = −⊗Hと余不変関手G = (−)^Hを用いて、ホップモジュールの圏とベクトル空間の圏との間の圏同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数理論の基本定理は、非可換的かつ非コアソシエイティブなホップ（コ）クオーシャーグループの文脈に拡張可能か？
• RQ2 可換性およびコアソシエイティビティの欠如を考慮すると、ホップ（コ）クオーシャーグループ上でのホップモジュールはどのように定義され、構造づけられるか？
• RQ3 ガロア写像βおよびγはホップ（コ）クオーシャーグループを特徴付ける上で果たす役割は何か？ それらの全単射性は反対称写像を再構成可能か？
• RQ4 ホップ（コ）クオーシャーグループの文脈において、ホップモジュールの圏とベクトル空間の圏との間の圏同値性は存在するか？
• RQ5 可換性およびコアソシエイティビティの欠如下で、モジュール圏における誘導作用および準同型の振る舞いはいかなるものか？

主な発見

• ホップコクオーシャーグループH上の右ホップモジュールの圏は、誘導関手F = −⊗Hと余不変関手G = (−)^Hを用いて、ベクトル空間の圏と同値である。
• 誘導関手の逆関手は余不変関手であり、各モジュールに対してそのH不変量（作用写像とコ増幅写像の余等化子として定義される）を割り当てる。
• FとGの随伴の単位および余単位が明示的に構成され、それらが同型であることが示され、圏同値性が確認された。
• 左ガロア写像γは右H-ホップモジュールの同型であり、その逆写像は反対称写像とコ作用構造を用いて構成される。
• 反対称写像Sは標準的な反対称写像の性質を満たす：(Sh)₁h₂ = h₁(Sh)₂ = ε(h)1で、非可換的状況下でも成立する。
• 左ホップモジュールの圏も、右モジュール構成の双対化により、ベクトル空間の圏と同値であることが示された。