[論文レビュー] On Tannaka Duality

M. Szyld|arXiv (Cornell University)|Oct 24, 2011

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

ひとこと要約

この論文は、ジョイアルとストリートの枠組みに従い、ベクトル空間から抽象的なテンソル圏へと一般化されたタンナカ・デュアルティーを用いて、テンソル圏とホップ代数の間に双対性を確立する。有限次元コモジュールの圏へのリフト同値性を、ある圏とホップ代数上の有限次元コモジュールの圏との間で証明し、この同値性を双対化することで、K線型テンソル圏の文脈においてサアベドラ・リヴァノとデリーニ＝ミルンの結果が回復されることを示している。

ABSTRACT

The purpose of this work is twofold: to expose the existing similarities between the generalizations of the Tannaka and Galois theories, and on the other hand, to develop in detail our own treatment of part of the content of Joyal and Street [1] paper, generalizing from vector spaces to an abstract tensor category. We also develop in detail the proof of the Tannaka equivalence of categories in the case of vector spaces. Saavedra Rivano [2], Deligne and Milne [3] generalize classical Tannaka theory to the context of K-linear tensor (or monoidal) categories. They obtain a lifting-equivalence into a category of \group representations for a finite-dimensional vector space valued monoidal functor. This lifting theorem is similar to the one of Grothendieck Galois theory [4] for a finite sets valued functor. On the other hand, Joyal and Street [1] work on the algebraic side of the duality between algebra and geometry, and also obtain a lifting-equivalence, but now to the category of finite-dimensional comodules over a Hopf algebra. In this work we follow the ideas of Joyal and Street and prove their lifting-equivalence, and then we show how it corresponds, by dualizing, to the ones of Saavedra Rivano [2] and Deligne and Milne [3]. Text is in spanish, but a brief english introduction is provided.

研究の動機と目的

• 一般化されたタンナカ・デュアルティーとガロア理論の間の関係を、テンソル圏の文脈で統一的かつ明確にすること。
• 抽象的なテンソル圏におけるジョイアルとストリートのリフト同値定理の詳細な展開を提供すること。
• ジョイアルとストリートのコモジュールに基づく同値性を双対化することで、サアベドラ・リヴァノとデリーニ＝ミルンの古典的タンナカ＝クラインの結果がどのように回復されるかを示すこと。
• 古典的なタンナカ・デュアルティーの枠組みを、ベクトル空間から任意のK線型テンソル圏へと一般化すること。
• ホップ代数のコモジュールを通じて、代数幾何学、表現論、およびカテゴリカルデュアルティーの間の概念的ブリッジを確立すること。

提案手法

• 代数と幾何の間の双対性を、モノイダル圏に焦点を当てたジョイアルとストリートのカテゴリカル枠組みを採用する。
• テンソル圏からホップ代数上の有限次元コモジュールの圏へのリフト同値性を構成する。
• ファイバー関手の構造を用いて、タンカリアン再構成プロセスによりホップ代数を回復する。
• 双対性の原則を適用して、コモジュール圏を再び表現論的設定に戻す。
• 得られた同値性を、K線型テンソル圏の文脈における古典的タンナカ＝クライン定理と比較する。
• モノイダル関手と自然変換の形式的枠組みを活用して、一般性を保ったまま同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ジョイアルとストリートのホップ代数上のコモジュールにおけるリフト同値性は、古典的タンナカ・デュアルティーとどのように関係しているか？
• RQ2 ジョイアルとストリートのコモジュールに基づく同値性の正確なカテゴリカル双対は何か？ そして、それはサアベドラ・リヴァノとデリーニ＝ミルンの結果をどのように回復するか？
• RQ3 ベクトル空間から抽象的テンソル圏へのタンナカ・デュアルティーの一般化は、表現論の本質的構造をどのように保っているか？
• RQ4 コモジュール設定におけるリフト同値性を体系的に双対化することで、古典的タンナカ＝クライン再構成定理をどのように回復できるか？
• RQ5 有限次元ベクトル空間へのモノイダル関手が、元の圏を再構成するコモジュールを持つホップ代数を誘導するための条件は何か？

主な発見

• この論文は、リッチテンソル圏とホップ代数上の有限次元コモジュールの圏との間でリフト同値性を確立し、ジョイアルとストリートの結果を一般化している。
• この同値性を双対化することで、K線型テンソル圏の文脈において、サアベドラ・リヴァノとデリーニ＝ミルンの古典的タンナカ＝クライン再構成定理が得られる。
• 再構成されたホップ代数上のコモジュールの圏が、与えられたファイバー関手のもとで元の圏と同値であることが示された。
• リフト同値性の証明は詳細に展開されており、抽象的テンソル圏におけるタンナカ・デュアルティーのカテゴリカル基盤を提供している。
• この枠組みは、ジョイアルとストリートが形式化した代数と幾何の双対性が、K線型テンソル圏の文脈へ自然に一般化されることを示している。
• 結果として、ベクトル空間における古典的タンナカ・デュアルティーが、ホップ代数とコモジュールを含むより広範なカテゴリカルデュアルティーの特別な場合であることが確認された。