[論文レビュー] Bimodule herds

Tomasz Brzeziński, Joost Vercruysse|arXiv (Cornell University)|May 16, 2008

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

この論文は、bimodule herd（二重加群の群）という構造を導入する。これは、二重加群 M、その形式的双対（ペン）P、および単位的かつコアソシエーシビティを満たす羊飼い写像 s からなる。この論文は、任意の bimodule herd が対応する二つの coring とコアクションを誘導することを示し、また、飼いならされた（忠実平坦かつプロジェネレーター）状態にあるとき、エンティング構造に関するガロア加群となる。さらに、双対二重加群コヒャードから得られる非単位的環は、元の代数と同型である可能性がある。

ABSTRACT

The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, then these corings are associated to entwining structures; the bimodule herd is a Galois comodule of these corings. The notion of a bicomodule coherd is introduced as a formal dualisation of the definition of a bimodule herd. Every bicomodule coherd defines a pair of (non-unital) rings. It is shown that a tame $B$-$A$ bimodule herd defines a bicomodule coherd, and sufficient conditions for the derived rings to be isomorphic to $A$ and $B$ are discussed. The composition of bimodule herds via the tensor product is outlined. The notion of a bimodule herd is illustrated by the example of Galois co-objects of a commutative, faithfully flat Hopf algebra.

研究の動機と目的

• bimodule herd の概念を、二重加群、その双対（ペン）、および羊飼い写像を統合する圏論的構造として形式化すること。
• bimodule herd と対応する二つの coring とコアクションの間の対応関係を、特に飼いなれた条件のもとで確立すること。
• bicomodule coherd の双対的概念を導入し、非単位的環との関係を検討すること。
• bicomodule coherd から導かれる環が、元の代数 A および B と同型となる条件を調査すること。
• bimodule herd のテンソル積による合成を示し、可換で忠実平坦なホップ代数上のガロアコオブジェクトを具体例として提示すること。

提案手法

• bimodule herd を三つ組 (M, P, s) として定義する。ここで M は B-A 二重加群、P はその形式的双対（ペン）、s は単位的かつコアソシエーシビティを満たす羊飼い写像である。
• 羊飼い写像と二重加群構造を用いて、二つの coring を構成し、それらがコアクションを備えることを示す。
• 飼いなれること（忠実平坦性およびプロジェネレーター性）という概念を適用し、coring がエンティング構造から生じることを保証する。
• bimodule herd の構成を双対化して bicomodule coherd を定義し、これにより非単位的環の対が誘導されることを示す。
• テンソル積を用いて bimodule herd を合成し、構造的整合性が保たれることを示す。
• 可換で忠実平坦なホップ代数上のガロアコオブジェクトを具体例として用い、この枠組みを実装する。

実験結果

リサーチクエスチョン

• RQ1 二重加群、その形式的双対、および羊飼い写像をどのように組み合わせると、コアソシエーシビティと単位的性質を持つ整合的な代数的構造が得られるか？
• RQ2 bimodule herd から生じる coring とコアクション構造は何か？また、飼いなれた条件を仮定した場合、これらはエンティング構造とどのように関係するか？
• RQ3 bicomodule coherd の双対的構成が、元の代数 A および B と同型な環をもたらす条件は何か？
• RQ4 bimodule herd はどのようにテンソル積によって合成可能であり、その合成で何が構造的性質として保たれるか？
• RQ5 可換で忠実平坦なホップ代数上のガロアコオブジェクトは、bimodule herd の枠組みを実現するために果たす役割は何か？

主な発見

• 任意の bimodule herd は、対応する二つの coring と関連コアクションを誘導し、coring 理論への圏論的リンクを確立する。
• bimodule herd が飼いなれている（忠実平坦かつプロジェネレーター）場合、誘導される coring はエンティング構造に関連する。
• 飼いなれた条件下で、bimodule herd は構成された coring に関してガロア加群となる。これは、古典的ガロア理論をこの文脈に一般化する。
• bimodule herd の形式的双対は bicomodule coherd を与え、これにより非単位的環の対が定義される。
• bicomodule coherd から得られる環が元の代数 A および B と同型となる十分条件が提示される。
• bimodule herd のテンソル積による合成は適切に定義されており、成分の構造的性質を保つ。