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

Peter Schauenburg|ArXiv.org|Aug 6, 2002

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

ひとこと要約

この論文は、双対的反置換が全単射であるホップ代数上の忠実に平坦なホップ・ガロア対象が、グリュンパンの意味での量子 torsor 構造を備えることを確立する。明示的な構造写像——特にコモジュール代数同型とリボン変換——を構成することで、ホップ・ガロア対象と量子 torsor が圏的に同値であることを証明し、従来の torsor と主バンドルの対応を非可換設定に一般化する。

ABSTRACT

We prove that every faithfully flat Hopf-Galois object is a quantum torsor in the sense of Grunspan.

研究の動機と目的

• すべてのホップ・ガロア対象が量子 torsor 構造から生じるかどうかという未解決の問いを解消すること。
• あらかじめ量子群を指定せずに、ホップ・ガロア対象と量子 torsor の間の圏的同値性を確立すること。
• 非可換設定において、torsor と主バンドルの古典的対応を量子 torsor を用いて一般化すること。
• 量子 torsor の構造群が外部から与えられるのではなく、torsor 自身から構成できることを示すこと。
• Miyashita-Ulbrich 動作とリボン変換が、ホップ・ガロア対象上での量子 torsor 構造を定義するための必要な道具であることを示すこと。

提案手法

• ホップ・ガロア性を活用して、標準写像 β 及びその逆写像 γ を用いて、μ: T → T ⊗ T^op ⊗ T という写像を構成する。
• Miyashita-Ulbrich 動作 h ↦ h^[1] x h^[2] を用いて、T に Yeter-Drinfeld モジュール代数構造を定義する。
• θ: T → T を θ(x) = x_(0) ⌋ S(x_(1)) で定義するリボン変換を導入し、これが代数自己同型であることを示す。
• θ が自然かつ Yeter-Drinfeld 圈 YD^H_H のbraided monoidal 構造と整合することを示す。
• μ が量子 torsor の公理——特に結合性および θ との整合性——を満たすことを証明する。
• 反置換 S の全単射性を用いて、θ が可逆であり、μ を保存することを保証し、量子 torsor の公理が満たされることを確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての忠実に平坦なホップ・ガロア対象は、グリュンパンの意味での量子 torsor 構造を備えているか？
• RQ2 量子 torsor の構造群は、あらかじめ指定されないで、torsor 自身から導出可能か？
• RQ3 非可換設定において、ホップ・ガロア対象と量子 torsor の間に圏的同値性が存在するか？
• RQ4 リボン変換と Miyashita-Ulbrich 動作は、量子 torsor 構造を構成するためにどのように寄与するか？
• RQ5 反置換の全単射性は、量子 torsor の公理が満たされることを保証するために果たす役割は何か？

主な発見

• 双対的反置換が全単射であるホップ代数 H 上の忠実に平坦なホップ・ガロア対象 T は、μ と θ の構成により、グリュンパンの意味での量子 torsor 構造を備える。
• 写像 μ: T → T ⊗ T^op ⊗ T は、標準写像 β の逆写像を用いて定義され、量子 torsor の公理 (2.7)–(2.11) を満たす。
• Miyashita-Ulbrich 動作により T は Yeter-Drinfeld モジュール代数構造を備え、torsor の公理に必要なbraided な可換性を定義する上で不可欠である。
• θ: T → T を θ(x) = x_(0) ⌋ S(x_(1)) で定義するリボン変換は、代数自己同型であり、μ との整合性条件 (2.11) を満たす。
• θ の逆写像は θ^−1(x) = x_(0) ⌋ S^{-2}(x_(1)) で与えられ、反置換の全単射性により θ が全単射であることが示される。
• μ と θ の構成により、T は外部の量子群を参照せずに、グリュンパンの意味での量子 torsor となることが保証される。