[論文レビュー] Quasisymmetric and unipotent tensor categories

Pavel Etingof, Shlomo Gelaki|ArXiv.org|Aug 10, 2007

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

ひとこと要約

この論文は、ドリンフェルトの量子化法を用いて、ℂ 上の擬対称的かつ単純型テンソル圏を分類し、このような圏が、自己同型 u と (S²𝔤)^G 内の冪零元 t を持つ、プロ代数的スーパ[group] G から生じることを示している。主な結果は、擬対称的圏の同値類と三つ組 (G, u, t) の同値類との間の全単射であり、デリーニュの定理を擬対称的設定に拡張し、余接続的ホップ代数を、余単純型ポアソン群の量子化によって分類する。

ABSTRACT

We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential growth which are unipotent, i.e., those whose only simple object is the unit object. We also classify fiber functors on such categories. Finally, using the Etingof-Kazhdan quantization theory of Poisson algebraic groups, we give a classification of coconnected Hopf algebras, i.e. of unipotent categories of exponential growth with a fiber functor.

研究の動機と目的

• 対称的テンソル圏のデリーニュの分類を、単純対象のペアにおいて braiding の平方が自明となるような擬対称的圏へ拡張すること。
• ファイバー関手を備えた単純型テンソル圏を、余単純型ポアソンプロ代数的群の量子化を用いて分類すること。
• 余接続的ホップ代数と、余単純型群上のリー準双代数構造から得られるデータ (G, δ) の間の対応を確立すること。
• ドリンフェルトの形式的変形理論を、形式的パrameter ℏ が存在しない圏へ一般化すること。これは、冪零的設定におけるべき級数の収束性を活用することで実現される。

提案手法

• 冪零的データに適応されたドリンフェルトの形式的量子化装置を用い、自己同型 u を持ち、t ∈ (S²𝔤)^G である冪零元 t を持つ、アフィンプロ代数的スーパ[group] G からテンソル圏を構成する。
• 量子化ホップ代数 O_ℏ(G) における積と余積の普遍公式を適用する。これは、冪零性により ℂ[ℏ] 上で収束するため、ℏ = 1 での特殊化が可能である。
• ℏ = 1 での特殊化により、ℂ 上のホップ代数 A(G,δ) を構成し、コラディカルフィルトレーションを保存し、余接続的であることを保証する。
• 量子化理論からの逆数公式を用いて、与えられた余接続的ホップ代数 A から、古典的ポアソン＝ホップ代数 (O(G), μ₀, Δ₀, δ) を再構成する。
• デリーニュの定理（指数的成長を示す対称的圏に関するもの）を活用し、分類問題を群論的データに還元する。
• 擬対称的圏の同値類と、三つ組 (G, u, t) の同値類との間の全単射を確立する。ここで t は冪零的であり、(S²𝔤)^G に属する。

実験結果

リサーチクエスチョン

• RQ1 ドリンフェルトの、擬三角的・擬ホップ QUE 代数の分類を、形式的パrameter ℏ が存在しない圏へどのように拡張できるか？
• RQ2 すべての単純対象ペアにおいて、braiding の平方が自明となるようなテンソル圏の構造はどのようなものか？
• RQ3 ℂ 上のどの余接続的ホップ代数が、余単純型ポアソンプロ代数的群の量子化から生じるか？
• RQ4 ファイバー関手を備えた単純型テンソル圏は、余単純型群上の代数的データによって分類可能か？

主な発見

• 擬対称的圏の同値類は、アフィンプロ代数的スーパ[group] G、G 内の自己同型 u（符号を反転させる作用をもつ）および (S²𝔤)^G 内の冪零元 t を持つ三つ組 (G, u, t) の同値類と、全単射で対応する。
• 擬対称的圏における単純型ファイバー関手の分類は、古典的ヤン・バクスター方程式の解 r で、r + r²¹ = t を満たす冪零解の集合と、全単射で対応する。
• ℂ 上のすべての余接続的ホップ代数は、ある余単純型群 G とそのリー代数 𝔤 = Lie(G) 上のリー準双代数構造 δ に対して A(G, δ) の形に表され、(G, δ) は同型を除いて一意的である。
• t の冪零性により、O_ℏ(G) の量子化は ℂ[ℏ] 上で収束し、ℏ = 1 での特殊化により ℂ 上のホップ代数を定義できる。
• この構成はコラディカルフィルトレーションを保存し、結果として得られるホップ代数 A が余接続的であることが保証される。
• 余接続的ホップ代数の古典的極限は、余接続的ポアソン＝ホップ代数 O(G) を回復し、これはベクトル空間として元の代数と同型である。