ホップ代数 - Wikipedia日本語版アーカイブ | wikipedia-is-dead.com

数学において，ホップ代数（ホップだいすう，英: Hopf algebra）は，ハインツ・ホップ（英語版）に因んで名づけられた代数的構造であり，同時に（単位的結合）代数かつ（余単位的余結合的）余代数であり，これらの構造の整合性により双代数になっており，さらにある性質を満たす反自己同型（英語版）を備えたものである．ホップ代数の表現論は特に見事である，なぜならば整合的な余積，余単位射，対合射の存在により，表現のテンソル積，自明表現，双対表現を構成できるからである．

ホップ代数は，その起源であり H 空間（英語版）の概念と関係する代数的位相幾何学，群スキーム（英語版）の理論，群論（群環の概念によって），そして多数の他の場所で，自然に生じ，おそらく双代数の最もよく知られた種類となっている．ホップ代数はそれ自身も研究されていて，一方では例の特定のクラスが，他方では分類問題が，多く研究されている．それらは物性物理学や量子的場の理論^[1]から弦理論^[2]まで多様な応用を持つ．

定理 (ホップ)^[3] $A$ を標数 0 の体上の有限次元次数付き可換（英語版）次数付き余可換ホップ代数とする．このとき $A$ は（代数として）奇数次の生成元による自由外積代数である．

定義

正式には，ホップ代数は体 $K$ 上の（結合的かつ余結合的）双代数 $H$ であって，次の図式が可換であるような（対蹠射または対合射と呼ばれる） $K$ 線型写像 $S : H \to H$ を持つものである：

ここで $Δ$ は双代数の余積であり， $\nabla$ は積， $η$ は単位射， $ε$ は余単位射である．スウィードラーの記法を用いて，この性質は次のようにも書ける：

S(c_{(1)})c_{(2)}=c_{(1)}S(c_{(2)})=\epsilon (c)1\qquad {\text{ for all }}c\in H.

代数に関しては，上の定義において基礎体 $K$ を可換環 $R$ に置き換えることができる^[4]．

ホップ代数の定義は（上の図式の対称性に表れているように）自己双対であるので， $H$ の双対を定義できるならば（ $H$ が有限次元ならいつでも可能である），それは自動的にホップ代数になる^[5]．

構造定数

基礎ベクトル空間の基底 $\{e_{k}\}$ を固定して，代数を構造定数を用いて定義できる．積に対して

e_{i}\nabla e_{j}=\sum _{k}\mu _{\;ij}^{k}e_{k},

余積に対して

\Delta e_{i}=\sum _{j,k}\nu _{i}^{\;jk}e_{j}\otimes e_{k},

対合射に対して

Se_{i}=\sum _{j}\tau _{i}^{\;j}e_{j}.

すると結合律は

\mu _{\;ij}^{k}\mu _{\;kn}^{m}=\mu _{\;jn}^{k}\mu _{\;ik}^{m}

であり，余結合律は

\nu _{k}^{\;ij}\nu _{i}^{\;mn}=\nu _{k}^{\;mi}\nu _{i}^{\;nj}

である．上の図式の可換性は

\nu _{k}^{\;ij}\tau _{j}^{\;m}\mu _{\;pm}^{n}=\nu _{k}^{\;jm}\tau _{j}^{\,\;i}\mu _{\;pm}^{n}

である．

対蹠射の性質

対蹠射 $S$ は $K$ 線型逆写像を持つよう要求されることもある．これは有限次元の場合や， $H$ が可換あるいは余可換（あるいはより一般に準三角（英語版））であるとき，自動的に成り立つ．

一般に， $S$ は反準同型なので^[6]， $S 2$ は準同型で，したがって $S$ が可逆ならば同型である．

対蹠射が対合、すなわち $S 2 = id H$ ならば，ホップ代数は対合的 (involutive) といわれる（そして台となる対合付きの代数は *-環となる）． $H$ が標数 0 の体上有限次元半単純，可換，あるいは余可換ならば，対合的である．

双代数 $B$ が対合射 $S$ を持つならば， $S$ は一意である（「双代数は高々 1 つのホップ代数構造を持つ」）^[7]．

対合射は $g$ を逆元 $g -1$ に送る群上の写像の類似である^[8]．

部分ホップ代数

ホップ代数 $H$ の部分代数 $A$ が部分ホップ代数であるとは， $H$ の部分余代数であり，対合射 $S$ が $A$ を $A$ の中に写すことをいう．言い換えると，部分ホップ代数 $A$ は， $H$ の積，余積，余単位射，対合射を $A$ に制限したとき（さらに $H$ の単位元 $1$ は $A$ に属しているとき）それ自身ホップ代数である．Nichols–Zoeller freeness theorem は $H$ が有限次元であるときに自然な $A$ 加群 $H$ は階数有限の自由加群であることを（1989年に）確立した．これは部分群に対するラグランジュの定理の一般化である．これと積分論の系として，半単純有限次元ホップ代数の部分ホップ代数は自動的に半単純である．

部分ホップ代数 $A$ がホップ代数 $H$ において右正規であるとは，安定性の条件，すべての $h \in H$ に対して $ad r (h)(A) \subseteq A$ , を満たすことをいう．ここで右随伴写像 $ad r$ はすべての $a \in A$ と $h \in H$ に対して $ad r (h)(a) = S (h (1)) ah (2)$ によって定義される．同様に，部分ホップ代数 $A$ が $H$ において左正規であるとは， $ad l (h)(a) = h (1) aS (h (2))$ によって定義される左随伴写像で安定なことをいう．正規性の2つの条件は対合射 $S$ が全単射なときには同値であり，この場合 $A$ は正規ホップ部分代数といわれる．

$H$ の正規部分ホップ代数 $A$ は（ $H$ の部分集合の等式の）条件 $HA + = A + H$ を満たす，ただし $A +$ は $K$ 上の余単位射の核を表す．この正規性条件は $HA +$ が $H$ のホップイデアルである（すなわち余単位射の核の代数イデアルで，余代数余イデアルで，対合射で安定である）ことを意味する．したがって，商ホップ代数 $H / HA +$ と全射準同型 $H \to H / A + H$ があり，群論における正規部分群と商群に類似の理論がある^[9]．

ホップ整環

分数体 $K$ をもつ整域 $R$ 上のホップ整環 $O$ とは， $K$ 上のホップ代数 $H$ における整環（英語版）であって，代数と余代数の演算で閉じている，特に余積 $Δ$ は $O$ を $O \otimes O$ に送る，もののことである^[10]．

群的元

群的元とは非零元 $x$ であって $Δ(x) = x \otimes x$ なるものである．群的元たちは対合射によって与えられる逆元を持つ群をなす^[11]．原始元（英語版） $x$ は $Δ(x) = x \otimes 1 + 1 \otimes x$ を満たす^[12]^[13]．

表現論

$A$ をホップ代数とし， $M$ と $N$ を $A$ 加群とする．このとき， $M \otimes N$ も次のようにして $A$ 加群である： $m \in M$ , $n \in N$ , $Δ(a) = (a 1, a 2)$ に対して，

a(m\otimes n):=\Delta (a)(m\otimes n)=(a_{1}\otimes a_{2})(m\otimes n)=(a_{1}m\otimes a_{2}n).

さらに，自明表現を基礎体 $K$ に $m \in K$ に対して

a(m):=\epsilon (a)m

として定義できる．最後に， $A$ の双対表現が定義できる： $M$ が $A$ 加群で $M*$ がその双対空間のとき， $f \in M*$ と $m \in M$ に対して

(af)(m):=f(S(a)m).

$Δ, ε, S$ の間の関係により，ベクトル空間のある自然な準同型は実際 $A$ 加群の準同型であることが保証される．例えば，ベクトル空間の自然な同型 $M \to M \otimes K$ と $M \to K \otimes M$ は $A$ 加群の同型でもある．また，ベクトル空間の写像 $M* \otimes M \to K, f \otimes m \to f (m)$ も $A$ 加群の準同型である．しかしながら，写像 $M \otimes M* \to K$ は $A$ 加群の準同型であるとは限らない．

例

	…に依存	余積	余単位射	対合射	可換	余可換	注意
群多元環 $KG$	群 $G$	$Δ(g) = g \otimes g$ ( $\forall g \in G$ )	$ε (g) = 1$ ( $\forall g \in G$ )	$S (g) = g -1$ ( $\forall g \in G$ )	⇔ $G$ が可換	yes
有限^{[注釈 1]}群から $K$ への写像全体 $K G$ （点ごとの和と積）	有限群 $G$	$Δ(f)(x, y) = f (xy)$	$ε (f) = f (1 G)$	$S (f)(x) = f (x -1)$	yes	⇔ $G$ が可換
コンパクト群上の表現関数（英語版）環	コンパクト群 $G$	$Δ(f)(x, y) = f (xy)$	$ε (f) = f (1 G)$	$S (f)(x) = f (x -1)$	yes	⇔ $G$ が可換	逆に，有限のハール積分をもつ $C$ 上の任意の可換対合的被約（英語版）ホップ代数はこのようにして生じ，淡中–クライン双対性（英語版）の1つの定式化を与える^[14]．
代数群上の正則関数環	代数群 $G$	$Δ(f)(x, y) = f (xy)$	$ε (f) = f (1 G)$	$S (f)(x) = f (x -1)$	yes	⇔ $G$ が可換	逆に，体上の任意の可換ホップ代数はこのようにして群スキーム（英語版）から生じ，圏の逆同値（英語版）を与える^[15]．
テンソル代数 $T(V)$	ベクトル空間 $V$	$Δ(x) = x \otimes 1 + 1 \otimes x$ ( $x \in V$ ), $Δ(1) = 1 \otimes 1$	$ε (x) = 0$	$S (x) = - x$ ( $\forall x \in T 1 (V)$ ) （として高次のテンソル冪に拡張する）	⇔ $dim(V)=0, 1$	yes	対称代数と外積代数（これらはテンソル代数の商）もまた余積，余単位，対合をこのように定義してホップ代数である
普遍包絡環 $U(g)$	リー環 $g$	$Δ(x) = x \otimes 1 + 1 \otimes x$ ( $\forall x \in g$ )（この規則は交換子と協調的であり，したがって $U$ の全体に一意的に拡張できる）	$ε (x) = 0$ ( $\forall x \in g$ )（再び $U$ に拡張する）	$S (x) = - x$	⇔ $g$ が可換	yes
スウィードラーのホップ代数（英語版）: $K [c, x]$ を $c 2 = 1$ , $x 2 = 0$ , $xc = - cx$ で割った代数 $H$	標数が $2$ でない体 $K$	$Δ(c) = c \otimes c$ , $Δ(x) = c \otimes x + x \otimes 1$ , $Δ(1) = 1 \otimes 1$	$ε (c) = 1$ , $ε (x) = 0$	$S (c) = c -1 = c$ , $S (x) = - cx$	no	no	台となるベクトル空間は ${1, c, x, cx}$ によって生成され，したがって次元は $4$ である．これは非可換かつ非余可換なホップ代数の最小の例である．
対称関数の環（英語版）^[16]		完全斉次対称関数 $h k$ ( $k \geq 1$ ) のことばで： $Δ(h k) = 1 \otimes h k + h 1 \otimes h k -1 + \dots + h k -1 \otimes h 1 + h k \otimes 1$ .	$ε (h k) = 0$	$S (h k) = (-1) k e k$	yes	yes

有限群上の関数たちは群環と同一視できるが，これらはより自然に双対と考えられることに注意――群環の元は群の元の（重み付き）有限和であり，したがって群上の関数との内積が和の各項の群の元をその函数で評価することによって与えられる．

リー群のコホモロジー

リー群のコホモロジー環はホップ代数である：積はカップ積で与えられ，余積

H^{*}(G)\rightarrow H^{*}(G\times G)\cong H^{*}(G)\otimes H^{*}(G)

は群の積 $G \times G \to G$ によって与えられる．この観察は実はホップ代数の概念の源であった．この構造を用いて，ホップはリー群のコホモロジー環の構造定理を証明した．

定理 (Hopf)^[3]: $A$ を標数 $0$ 上の有限次元次数付き可換（英語版）次数付き余可換ホップ代数とする．このとき $A$ は（代数として）奇数次の生成元を持った自由外積代数である．

量子群と非可換幾何学

詳細は「量子群」を参照

上の例はほとんど可換（すなわち積が可換）か余可換（すなわち^[17] $Δ = T \circ Δ$ ただし twist map^[18] $T : H \otimes H \to H \otimes H$ は $T (x \otimes y) = y \otimes x$ によって定義される）である．他の面白いホップ代数は，可換でも余可換でもない，普遍包絡環や正則関数環，座標環のある種の「変形」あるいは「量子化」である．これらのホップ代数はしばしば量子群と呼ばれ，この用語は今のところ漠然としか定義されていない．それらは非可換幾何学において重要であり，思想は以下のようである：普通の代数群はその正則関数の普通のホップ代数によってよく記述される；このホップ代数の変形版をある種の「普通でない」あるいは「量子化された」代数群（もはや代数群ではない）と考えることができる．これらの対象を定義したり扱ったりする直接的な方法は存在しないように思われるが，ホップ代数を研究することはなおでき，実際それらをホップ代数と同一視する．したがって名前「量子群」である．

群との類似

群はホップ代数と同じ図式（同じことだが演算）によって公理化できる，ただし $G$ は加群の代わりに集合と取られる．この場合：

体 $K$ は 1 点集合で置き換えられる
自然な余単位射がある（1 点に写す）
自然な余積がある（対角写像）
単位射は群の単位元である
積は群の積である
対合射は逆元である

この哲学において，群は「一元体」上のホップ代数と考えることができる^[23]．

脚注

[脚注の使い方]

注釈

↑ $G$ の有限性は $K G \otimes K G$ が $K G \times G$ に自然に同型であることを意味する．これは余積の上の公式で用いられる．無限群 $G$ に対しては， $K G \otimes K G$ は $K G \times G$ の真部分集合である．この場合台が有限の写像の空間にホップ代数の構造を入れることができる．

出典

↑ Haldane, F. D. M.; Ha, Z. N. C.; Talstra, J. C.; Bernard, D.; Pasquier, V. (1992). “Yangian symmetry of integrable quantum chains with long-range interactions and a new description of states in conformal field theory”. Physical Review Letters 69 (14): 2021–2025. doi:10.1103/physrevlett.69.2021.
↑ Plefka, J.; Spill, F.; Torrielli, A. (2006). “Hopf algebra structure of the AdS/CFT S-matrix”. Physical Review D 74 (6): 066008. doi:10.1103/PhysRevD.74.066008.
1 2 Hopf, Heinz (1941). “Über die Topologie der Gruppen–Mannigfaltigkeiten und ihre Verallgemeinerungen” (German). Ann. of Math. (2) 42: 22–52. doi:10.2307/1968985.
↑ Underwood (2011) p. 55.
↑ Underwood (2011) p. 62.
↑ Dăscălescu, Năstăsescu & Raianu (2001). Prop. 4.2.6. p. 153
↑ Dăscălescu, Năstăsescu & Raianu (2001). Remarks 4.2.3. p. 151
↑ Quantum groups lecture notes
↑ Montgomery (1993) p. 36.
↑ Underwood (2011) p. 82.
↑ Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2010). Algebras, Rings, and Modules: Lie Algebras and Hopf Algebras. Mathematical surveys and monographs. 168. American Mathematical Society. p. 149. ISBN 0-8218-7549-3
↑ Mikhalev, Aleksandr Vasilʹevich; Pilz, Günter, eds (2002). The Concise Handbook of Algebra. Springer-Verlag. p. 307, C.42. ISBN 0792370724
↑ Abe, Eiichi (2004). Hopf Algebras. Cambridge Tracts in Mathematics. 74. Cambridge University Press. p. 59. ISBN 0-521-60489-3
↑ Hochschild, G (1965), Structure of Lie groups, Holden-Day, pp. 14–32
↑ Jantzen, Jens Carsten (2003), Representations of algebraic groups, Mathematical Surveys and Monographs, 107 (2nd ed.), Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3527-2 , section 2.3
↑ See Michiel Hazewinkel, Symmetric Functions, Noncommutative Symmetric Functions, and Quasisymmetric Functions, Acta Applicandae Mathematica, January 2003, Volume 75, Issue 1-3, pp 55–83
↑ Underwood (2011) p. 57.
↑ Underwood (2011) p. 36.
↑ Montgomery (1993) p. 203.
↑ Van Daele, Alfons (1994). “Multiplier Hopf algebras”. Transactions of the American Mathematical Society 342 (2): 917–932. doi:10.1090/S0002-9947-1994-1220906-5.
↑ Gabriella Böhm, Florian Nill, Kornel Szlachanyi. J. Algebra 221 (1999), 385–438
↑ Dmitri Nikshych, Leonid Vainerman, in: New direction in Hopf algebras, S. Montgomery and H.-J. Schneider, eds., M.S.R.I. Publications, vol. 43, Cambridge, 2002, 211–262.
↑ Group = Hopf algebra « Secret Blogging Seminar, Group objects and Hopf algebras, video of Simon Willerton.

参考文献

Dăscălescu, Sorin; Năstăsescu, Constantin; Raianu, Șerban (2001), Hopf Algebras. An introduction, Pure and Applied Mathematics, 235 (1st ed.), Marcel Dekker, ISBN 0-8247-0481-9, Zbl 0962.16026 .
Pierre Cartier, A primer of Hopf algebras, IHES preprint, September 2006, 81 pages
Fuchs, Jürgen (1992), Affine Lie algebras and quantum groups. An introduction with applications in conformal field theory, Cambridge Monographs on Mathematical Physics, Cambridge: Cambridge University Press, ISBN 0-521-48412-X, Zbl 0925.17031
H. Hopf, Uber die Topologie der Gruppen-Mannigfaltigkeiten und ihrer Verallgemeinerungen, Ann. of Math. 42 (1941), 22–52. Reprinted in Selecta Heinz Hopf, pp. 119–151, Springer, Berlin (1964). MR4784, Zbl 0025.09303
Montgomery, Susan (1993), Hopf algebras and their actions on rings, Regional Conference Series in Mathematics, 82, Providence, Rhode Island: American Mathematical Society, ISBN 0-8218-0738-2, Zbl 0793.16029
Street, Ross (2007), Quantum groups, Australian Mathematical Society Lecture Series, 19, Cambridge University Press, ISBN 978-0-521-69524-4, MR2294803, Zbl 1117.16031 .
Sweedler, Moss E. (1969), Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, MR0252485, Zbl 0194.32901
Underwood, Robert G. (2011), An introduction to Hopf algebras, Berlin: Springer-Verlag, ISBN 978-0-387-72765-3, Zbl 1234.16022

⌬ Phoenix Mesh CID: 未登録 IPFS未登録 📡 0ピア N=1 CRITICAL PQS A90

[14] $G$ の有限性は $K G \otimes K G$ が $K G \times G$ に自然に同型であることを意味する．これは余積の上の公式で用いられる．無限群 $G$ に対しては， $K G \otimes K G$ は $K G \times G$ の真部分集合である．この場合台が有限の写像の空間にホップ代数の構造を入れることができる．

[1] Haldane, F. D. M.; Ha, Z. N. C.; Talstra, J. C.; Bernard, D.; Pasquier, V. (1992). “Yangian symmetry of integrable quantum chains with long-range interactions and a new description of states in conformal field theory”. Physical Review Letters 69 (14): 2021–2025. doi:10.1103/physrevlett.69.2021.

[2] Plefka, J.; Spill, F.; Torrielli, A. (2006). “Hopf algebra structure of the AdS/CFT S-matrix”. Physical Review D 74 (6): 066008. doi:10.1103/PhysRevD.74.066008.

[Hopf,_1941-3] 1 2 Hopf, Heinz (1941). “Über die Topologie der Gruppen–Mannigfaltigkeiten und ihre Verallgemeinerungen” (German). Ann. of Math. (2) 42: 22–52. doi:10.2307/1968985.

[Und55-4] Underwood (2011) p. 55.

[Und62-5] Underwood (2011) p. 62.

[6] Dăscălescu, Năstăsescu & Raianu (2001). Prop. 4.2.6. p. 153

[7] Dăscălescu, Năstăsescu & Raianu (2001). Remarks 4.2.3. p. 151

[8] Quantum groups lecture notes

[9] Montgomery (1993) p. 36.

[Und82-10] Underwood (2011) p. 82.

[11] Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2010). Algebras, Rings, and Modules: Lie Algebras and Hopf Algebras. Mathematical surveys and monographs. 168. American Mathematical Society. p. 149. ISBN 0-8218-7549-3

[12] Mikhalev, Aleksandr Vasilʹevich; Pilz, Günter, eds (2002). The Concise Handbook of Algebra. Springer-Verlag. p. 307, C.42. ISBN 0792370724

[13] Abe, Eiichi (2004). Hopf Algebras. Cambridge Tracts in Mathematics. 74. Cambridge University Press. p. 59. ISBN 0-521-60489-3

[15] Hochschild, G (1965), Structure of Lie groups, Holden-Day, pp. 14–32

[16] Jantzen, Jens Carsten (2003), Representations of algebraic groups, Mathematical Surveys and Monographs, 107 (2nd ed.), Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3527-2 , section 2.3

[17] See Michiel Hazewinkel, Symmetric Functions, Noncommutative Symmetric Functions, and Quasisymmetric Functions, Acta Applicandae Mathematica, January 2003, Volume 75, Issue 1-3, pp 55–83

[Und57-18] Underwood (2011) p. 57.

[Und36-19] Underwood (2011) p. 36.

[Mon203-20] Montgomery (1993) p. 203.

[21] Van Daele, Alfons (1994). “Multiplier Hopf algebras”. Transactions of the American Mathematical Society 342 (2): 917–932. doi:10.1090/S0002-9947-1994-1220906-5.

[22] Gabriella Böhm, Florian Nill, Kornel Szlachanyi. J. Algebra 221 (1999), 385–438

[23] Dmitri Nikshych, Leonid Vainerman, in: New direction in Hopf algebras, S. Montgomery and H.-J. Schneider, eds., M.S.R.I. Publications, vol. 43, Cambridge, 2002, 211–262.

[24] Group = Hopf algebra « Secret Blogging Seminar, Group objects and Hopf algebras, video of Simon Willerton.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[注釈 1]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

定義