[論文レビュー] Deformations and descent type theory for Hopf algebras

A. L. Agore, G. Militaru|arXiv (Cornell University)|May 30, 2012

Algebraic structures and combinatorial models参考文献 21被引用数 1

ひとこと要約

この論文は、補完子の分類問題（CCP）を、ホップ代数およびリー代数の拡大に対して解き、同型類の補完子と、${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft))$ というコホモロジー的対象との間の全単射対応を確立することによって達成する。ここで $(\triangleright, \triangleleft)$ は補完子 $H$ に関連するマッチドペアである。主な貢献は、コホモロジーを用いた変形理論による補完子の分類であり、CCP の複雑さを測る要因となる要因として、因子化指数 $[E:A]^f$ が用いられる。

ABSTRACT

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given complement then all the other complements are obtained from $H$ by a certain type of deformation. We establish a bijective correspondence between the isomorphism classes of all complements of $A$ in $E$ and a cohomological type object ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, ( riangleright, riangleleft) )$, where $( riangleright, riangleleft)$ is the matched pair associated to $H$. The factorization index $[E: A]^f$ is introduced as a numerical measure of the (CCP). For two $n$-th roots of unity we construct a $4n^2$-dimensional Hopf algebra whose factorization index over the group algebra is arbitrary large.

研究の動機と目的

• ホップ代数およびリー代数の拡大における補完子の分類問題（CCP）を解くこと。これは、$E = A \# H$ となるすべての部分代数 $H$ の完全な記述と分類を求める問題である。
• 与えられたホップ代数 $A$ のすべての補完子の構造を理解し、特にそれらが変形によってどのように関連しているかを明らかにすること。
• 因子化指数 $[E:A]^f$ を導入し、それがCCPの複雑さを測る数値的不変量としての役割を果たすことを明らかにすること。
• 群代数部分代数に対して、任意に大きな因子化指数を持つホップ代数の具体的な例を構成すること。

提案手法

• 固定された補完子 $H$ によって誘導されるマッチドペア $(\triangleright, \triangleleft)$ を用いて、$E = A \# H$ の二重交叉積構成における $H$ と $A$ 間の相互作用を記述する。
• 補完子 $H$ の同型類と、コホモロジー的対象 ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft))$ 間の全単射対応を確立する。
• 因子化指数 $[E:A]^f$ を、非同型な補完子の数を測る指標として定義し、群論における因子化の概念を一般化する。
• 二つの $n$ 乗根の単位根からなる $4n^2$ 次元ホップ代数を構成し、その群代数部分代数における因子化指数を任意に大きくできることを示す。
• 変形理論を用いて、すべての補完子が特定のタイプのコホモロジー的変形によって、ある固定された補完子 $H$ から得られることを示す。
• ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft))$ を、同型類による補完子の分類のモジュライ空間として用いる。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数 $A$ の拡大 $E$ におけるすべての補完子を同型類で分類するにはどうすればよいか？
• RQ2 コホモロジーは、ホップ代数拡大における補完子の変形をパrameter化する役割を果たすか？
• RQ3 因子化指数 $[E:A]^f$ は、補完子の分類問題の複雑さをどのように定量化するか？
• RQ4 群代数部分代数に対して、因子化指数を任意に大きくできるホップ代数を構成できるか？
• RQ5 マッチドペア $(\triangleright, \triangleleft)$ と、二重交叉積拡大における補完子の分類の関係は何か？

主な発見

• 補完子の同型類とコホモロジー的対象 ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft))$ 間に全単射対応が存在し、コホモロジーを用いた完全な分類が可能である。
• 因子化指数 $[E:A]^f$ は、$E$ における $A$ の非同型補完子の数を測る数値的不変量として導入され、値が大きいほどCCPの複雑さが高くなることを示す。
• 任意の $n$ に対して、$4n^2$ 次元のホップ代数を構成でき、その群代数部分代数における因子化指数が正確に $n^2$ となることを示した。これにより、因子化指数を任意に大きくできることを示した。
• すべての補完子は、ある固定された補完子 $H$ から、コホミロジー群 ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft))$ によってパrameter化される特定のタイプの変形によって得られる。
• 補完子 $H$ に関連するマッチドペア $(\triangleright, \triangleleft)$ は、$H$ と $A$ 間の相互作用を符号化し、コホモロジー的分類を定義する上で不可欠である。
• $4n^2$ 次元のホップ代数を、任意に大きな因子化指数を持つように構成したことで、補完子の分類問題が無限大の複雑さを示す可能性を示した。