[論文レビュー] A note on coring extensions

Tomasz Brzeziński|ArXiv.org|Oct 1, 2004

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

ひとこと要約

本稿では、A-コールの右拡張として定義されるコール拡張（coring extension）の概念を導入し、忘却関手を通じて因数分解するcomodule圏間のk加法的関手と関連付ける。主な貢献は、コール拡張と因数分解可能な関手の間の対応を確立することであり、これは降下データを用いて示され、コールの圏（射がコール拡張であるもの）によって豊かにされる。

ABSTRACT

A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions is also introduced.

研究の動機と目的

• comoduleの文脈における代数準同型の一般化として、コール拡張の概念を定義・形式化すること。
• 忘却関手を通じて因数分解するcomodule圏間のk加法的関手とコール拡張の間の対応を確立すること。
• エンティング構造から生じる降下データの圏を用いて、この対応を示すこと。
• 対象がコールで、射がコール拡張であるような圏を構成し、コールのカテゴリカル枠組みを豊かにすること。
• 代数やコールにおける対称的挙動とは対照的に、左・右のコール拡張の非対称性を明確にすること。

提案手法

• A-コールCが左正則コアクションΔCに関して(C,D)-双コールドモジュールとなるB-コールDとしてコール拡張を定義すること。
• スウィードラーの記法を用いて、双コールドモジュール構造におけるコアクションと整合性条件を表現すること。
• Mkへの忘却関手を通じて、comodule圏間の関手の因数分解性を確立すること。
• A-コールCがB代数を測定する方法を定義するために測定写像ν:C⊗B→Aの概念を適用すること。
• C□D(D⊗D E) ≅ C⊗D Eのような同型を構成し、comodule関手の構造を検証すること。
• 双対構造と整合性を解析するために、左双対環*C = HomA(C,A)を用いること。

実験結果

リサーチクエスチョン

• RQ1 カテゴリカル因数分解を用いて、代数準同型の概念をコールに一般化する方法は何か？
• RQ2 comodule圏間の関手が忘却関手を通じて因数分解するための条件は何か？
• RQ3 コール拡張は非可換幾何学における降下データやエンティング構造とどのように関係するか？
• RQ4 射が標準的なコール準同型ではなくコール拡張であるようなコールの圏を定義できるか？
• RQ5 代数拡張における左・右の対称性が、なぜコール拡張には拡張されないのか？

主な発見

• コール拡張は、A-コールCが左正則コアクションΔCに関して(C,D)-双コールドモジュールであるようなB-コールDとして定義される。
• 任意のA-コール準同型γ:C→Dは、右コアクション(C⊗γ)∘ΔCを介してコール拡張を誘導する。
• コール拡張の存在は、Cが右B加群であり、ΔCが右B線形であることを示唆する。
• k加法的関手F:MC→MBが忘却関手を通じて因数分解するための必要十分条件は、適切な純粋性条件の下でコール拡張から生じることである。
• 射がコール拡張であるようなコールの圏は適切に定義されており、comodule関手を研究する新しいカテゴリカル枠組みを提供する。
• エンティング構造から生じる降下データの文脈において、コール拡張と因数分解可能な関手の間の対応が明示的に示されている。