[論文レビュー] Hopf-Galois objects and cogroupoids

Julien Bichon|arXiv (Cornell University)|Jun 15, 2010

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、テンソル圏におけるホップ＝ガロア対象およびモノイダル同値を簡略化する構造的枠組みとしてコグループイドを導入する。コグループイドが連結である場合、ホップ＝ガロア対象およびモノイダル同値が自然に生じることを示し、ガロア対象の分類、等変な分解の構成、およびホップ代数間でのホッフ＝ホッジホモロジーとバイアルゲブラコホモロジーの関係を統一的に扱う言語を提供する。

ABSTRACT

We survey some aspects of the theory of Hopf-Galois objects that may studied advantageously by using the language of cogroupoids. These are the notes for a series of lectures given at Cordoba University, may 2010. The lectures are part of the course ``Hopf-Galois theory'' by Sonia Natale.

研究の動機と目的

• コグループイドを用いてホップ＝ガロア対象を概念的かつ計算的に分類するための枠組みを提供すること。
• コグループイドの構造を活用することで、コモジュール代数がガロア対象であることを検証するのを簡略化すること。
• コモジュール圏間のモノイダル同値を、ヤター＝ドリンフェルト加群およびバイアルゲブラコホモロジーへと拡張すること。
• コグループイド形式を用いて新しい分解を構成し、既知のものからホモロジー的不変量を導出すること。
• ガロア対象の分類とウルブリッヒの同値によるファイバー関手との関係を確立すること。

提案手法

• コグループイドの言語を用いて、ホップ＝ガロア対象およびモノイダル同値をより自然かつ構造的な形で再定式化すること。
• 連結コグループイドを定義し、それが二重ガロア対象および二つのホップ代数のコモジュール圏間のモノイダル同値を誘導することを示すこと。
• 代数的計算を容易にするために、有限コグループイドに付随する弱ホップ代数を構成すること。
• ファイバー関手法を用いて、双線形形式のホップ代数やユニバーサルコソバーレイントホップ代数などの特定のホップ代数上のガロア対象を分類すること。
• コグループイドによって誘導されるモノイダル同値を用いて、コモジュール代数間で分解およびコホモロジー的データを輸送すること。
• シュアウエンブルクの定理およびウルブリッヒの同値を活用し、モノイダル構造とガロア対象およびコホモロジーとの関係を明らかにすること。

実験結果

リサーチクエスチョン

• RQ1 コグループイドをどのようにして、与えられたホップ代数上のホップ＝ガロア対象を体系的に分類するために用いることができるか？
• RQ2 コグループイドは、コモジュール代数がガロア対象であることを検証する際に、どのようにして簡略化をもたらすか？
• RQ3 コモジュール圏間のモノイダル同値は、コグループイドの構造とどのように関係するか？
• RQ4 ホップ＝ガロア対象のホモロジー的不変量は、その関連するコグループイドおよび基本ホップ代数を用いて計算可能か？
• RQ5 ファイバー関手法は、コグループイド枠組み内でのガロア対象の分類において、どのようにして果たす役割を果たすか？

主な発見

• 連結コグループイドは自然に二重ガロア対象を生じさせ、二つのホップ代数のコモジュール圏間のモノイダル同値を誘導する。
• 有限コグループイドに付随する弱ホップ代数は、その構造および関連するガロア対象を研究するための計算的ツールを提供する。
• 双線形形式のホップ代数およびユニバーサルコソバーレイントホップ代数上のガロア対象の分類は、コグループイド構成を用いたファイバー関手法によって達成される。
• ホップ＝ガロア対象のホッフ＝ホッジ（コ）ホモロジーは、モノイダル同値を介して、対応するホップ代数のホッフ＝ホッジ（コ）ホモロジーによって決定される。
• コモジュール圏間のモノイダル同値は、ヤター＝ドリンフェルト加群の圏へと拡張され、バイアルゲブラコホモロジーにおける同型を可能にする。
• 量子代数 $k_q[x,y]$ のような明示的な分解は、コグループイドによって誘導されるモノイダル同値を用いて、古典的分解から導出可能である。