ホップ代数

数学において，ホップ代数（ホップだいすう，英: Hopf algebra）は，ハインツ・ホップ（英語版）に因んで名づけられた代数的構造であり，同時に（単位的結合）代数かつ（余単位的余結合的）余代数であり，これらの構造の整合性により双代数になっており，さらにある性質を満たす反自己同型（英語版）を備えたものである．ホップ代数の表現論は特に見事である，なぜならば整合的な余積，余単位射，対合射の存在により，表現のテンソル積，自明表現，双対表現を構成できるからである． ホップ代数は，その起源であり H 空間（英語版）の概念と関係する代数的位相幾何学，群スキーム（英語版）の理論，群論（群環の概念によって），そして多数の他の場所で，自然に生じ，おそらく双代数の最もよく知られた種類となっている．ホップ代数はそれ自身も研究されていて，一方では例の特定のクラスが，他方では分類問題が，多く研究されている．それらは物性物理学や量子的場の理論から弦理論まで多様な応用を持つ． 定理 (ホップ) A を標数 0 の体上の有限次元次数付き可換（英語版）次数付き余可換ホップ代数とする．このとき A は（代数として）奇数次の生成元による自由外積代数である． 正式には，ホップ代数は体 K 上の（結合的かつ余結合的）双代数 H であって，次の図式が可換であるような（対蹠射または対合射と呼ばれる）K 線型写像 S: H → H を持つものである： ここで Δ は双代数の余積であり，∇ は積，η は単位射，ε は余単位射である．スウィードラーの記法を用いて，この性質は次のようにも書ける： S ( c ( 1 ) ) c ( 2 ) = c ( 1 ) S ( c ( 2 ) ) = ϵ ( c ) 1  for all  c ∈ H . {\displaystyle S(c_{(1)})c_{(2)}=c_{(1)}S(c_{(2)})=\epsilon (c)1\qquad {\text{ for all }}c\in H.} 代数に関しては，上の定義において基礎体 K を可換環 R に置き換えることができる． ホップ代数の定義は（上の図式の対称性に表れているように）自己双対であるので，H の双対を定義できるならば（H が有限次元ならいつでも可能である），それは自動的にホップ代数になる． 基礎ベクトル空間の基底 { e k } {\displaystyle \{e_{k}\}} を固定して，代数を構造定数を用いて定義できる．積に対して e i ∇ e j = ∑ k μ i j k e k , {\displaystyle e_{i}\nabla e_{j}=\sum _{k}\mu _{\;ij}^{k}e_{k},} 余積に対して Δ e i = ∑ j , k ν i j k e j ⊗ e k , {\displaystyle \Delta e_{i}=\sum _{j,k}\nu _{i}^{\;jk}e_{j}\otimes e_{k},} 対合射に対して S e i = ∑ j τ i j e j . {\displaystyle Se_{i}=\sum _{j}\tau _{i}^{\;j}e_{j}.} すると結合律は μ i j k μ k n m = μ j n k μ i k m {\displaystyle \mu _{\;ij}^{k}\mu _{\;kn}^{m}=\mu _{\;jn}^{k}\mu _{\;ik}^{m}} であり，余結合律は ν k i j ν i m n = ν k m i ν i n j {\displaystyle \nu _{k}^{\;ij}\nu _{i}^{\;mn}=\nu _{k}^{\;mi}\nu _{i}^{\;nj}} である．上の図式の可換性は ν k i j τ j m μ p m n = ν k j m τ j i μ p m n {\displaystyle \nu _{k}^{\;ij}\tau _{j}^{\;m}\mu _{\;pm}^{n}=\nu _{k}^{\;jm}\tau _{j}^{\,\;i}\mu _{\;pm}^{n}} である． 対蹠射 S は K 線型逆写像を持つよう要求されることもある．これは有限次元の場合や，H が可換あるいは余可換（あるいはより一般に準三角（英語版））であるとき，自動的に成り立つ． 一般に，S は反準同型なので，S2 は準同型で，したがって S が可逆ならば同型である． 対蹠射が対合、すなわち S2 = idH ならば，ホップ代数は対合的 (involutive) といわれる（そして台となる対合付きの代数は *-環となる）．H が標数 0 の体上有限次元半単純，可換，あるいは余可換ならば，対合的である． 双代数 B が対合射 S を持つならば，S は一意である（「双代数は高々 1 つのホップ代数構造を持つ」）． 対合射は g を逆元 g−1 に送る群上の写像の類似である． ホップ代数 H の部分代数 A が部分ホップ代数であるとは，H の部分余代数であり，対合射 S が A を A の中に写すことをいう．言い換えると，部分ホップ代数 A は，H の積，余積，余単位射，対合射を A に制限したとき（さらに H の単位元 1 は A に属しているとき）それ自身ホップ代数である．Nichols–Zoeller freeness theorem は H が有限次元であるときに自然な A 加群 H は階数有限の自由加群であることを（1989年に）確立した．これは部分群に対するラグランジュの定理の一般化である．これと積分論の系として，半単純有限次元ホップ代数の部分ホップ代数は自動的に半単純である． 部分ホップ代数 A がホップ代数 H において右正規であるとは，安定性の条件，すべての h ∈ H に対して adr(h)(A) ⊆ A, を満たすことをいう．ここで右随伴写像 adr はすべての a ∈ A と h ∈ H に対して adr(h)(a) = S(h(1))ah(2) によって定義される．同様に，部分ホップ代数 A が H において左正規であるとは，adl(h)(a) = h(1)aS(h(2)) によって定義される左随伴写像で安定なことをいう．正規性の2つの条件は対合射 S が全単射なときには同値であり，この場合 A は正規ホップ部分代数といわれる． H の正規部分ホップ代数 A は（H の部分集合の等式の）条件 HA+ = A+H を満たす，ただし A+ は K 上の余単位射の核を表す．この正規性条件は HA+ が H のホップイデアルである（すなわち余単位射の核の代数イデアルで，余代数余イデアルで，対合射で安定である）ことを意味する．したがって，商ホップ代数 H/HA+ と全射準同型 H → H/A+H があり，群論における正規部分群と商群に類似の理論がある． 分数体 K をもつ整域 R 上のホップ整環 O とは，K 上のホップ代数 H における整環（英語版）であって，代数と余代数の演算で閉じている，特に余積 Δ は O を O⊗O に送る，もののことである． 群的元とは非零元 x であって Δ(x) = x ⊗ x なるものである．群的元たちは対合射によって与えられる逆元を持つ群をなす．原始元（英語版） x は Δ(x) = x ⊗ 1 + 1 ⊗ x を満たす． A をホップ代数とし，M と N を A 加群とする．このとき，M ⊗ N も次のようにして A 加群である：m ∈ M, n ∈ N, Δ(a) = (a1, a2) に対して， a ( m ⊗ n ) := Δ ( a ) ( m ⊗ n ) = ( a 1 ⊗ a 2 ) ( m ⊗ n ) = ( a 1 m ⊗ a 2 n ) . {\displaystyle 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 ∈ K に対して a ( m ) := ϵ ( a ) m {\displaystyle a(m):=\epsilon (a)m} として定義できる．最後に，A の双対表現が定義できる：M が A 加群で M* がその双対空間のとき，f ∈ M* と m ∈ M に対して ( a f ) ( m ) := f ( S ( a ) m ) . {\displaystyle (af)(m):=f(S(a)m).} Δ, ε, S の間の関係により，ベクトル空間のある自然な準同型は実際 A 加群の準同型であることが保証される．例えば，ベクトル空間の自然な同型 M → M ⊗ K と M → K ⊗ M は A 加群の同型でもある．また，ベクトル空間の写像 M* ⊗ M → K, f ⊗ m → f(m) も A 加群の準同型である．しかしながら，写像 M ⊗ M* → K は A 加群の準同型であるとは限らない． 有限群上の関数たちは群環と同一視できるが，これらはより自然に双対と考えられることに注意――群環の元は群の元の（重み付き）有限和であり，したがって群上の関数との内積が和の各項の群の元をその函数で評価することによって与えられる． リー群のコホモロジー環はホップ代数である：積はカップ積で与えられ，余積 H ∗ ( G ) → H ∗ ( G × G ) ≅ H ∗ ( G ) ⊗ H ∗ ( G ) {\displaystyle H^{*}(G)\rightarrow H^{*}(G\times G)\cong H^{*}(G)\otimes H^{*}(G)} は群の積 G × G → G によって与えられる．この観察は実はホップ代数の概念の源であった．この構造を用いて，ホップはリー群のコホモロジー環の構造定理を証明した． 定理 (Hopf) A を標数 0 上の有限次元次数付き可換（英語版）次数付き余可換ホップ代数とする．このとき A は（代数として）奇数次の生成元を持った自由外積代数である． 上の例はほとんど可換（すなわち積が可換）か余可換（すなわち Δ = T ∘ Δ ただし twist map T: H ⊗ H → H ⊗ H は T(x ⊗ y) = y ⊗ x によって定義される）である．他の面白いホップ代数は，可換でも余可換でもない，普遍包絡環や正則関数環，座標環のある種の「変形」あるいは「量子化」である．これらのホップ代数はしばしば量子群と呼ばれ，この用語は今のところ漠然としか定義されていない．それらは非可換幾何学において重要であり，思想は以下のようである：普通の代数群はその正則関数の普通のホップ代数によってよく記述される；このホップ代数の変形版をある種の「普通でない」あるいは「量子化された」代数群（もはや代数群ではない）と考えることができる．これらの対象を定義したり扱ったりする直接的な方法は存在しないように思われるが，ホップ代数を研究することはなおでき，実際それらをホップ代数と同一視する．したがって名前「量子群」である． 次数付きホップ代数は代数的位相幾何学においてしばしば用いられる：それらは H 空間（英語版）のすべてのホモロジーあるいはコホモロジー群の直和上の自然な代数的構造である． 局所コンパクト量子群（英語版）はホップ代数を一般化し，位相を持つ．リー群上のすべての連続関数からなる代数は局所コンパクト量子群である． 準ホップ代数（英語版）はホップ代数の一般化であり，余結合律が捩れを除いてしか成り立たないものである．それらはKZ方程式の研究において使われている． Alfons Van Daele によって1994年に導入された 乗作用素ホップ代数（英語版） はホップ代数の一般化であり，余積は（単位元をもつあるいはもたない）代数からその代数のテンソル積代数の乗作用素環（英語版） へである． V. G. Turaev によって2000年に導入されたホップ群（余）代数（英語版）もまたホップ代数の一般化である． 弱ホップ代数（英語版），あるいは量子亜群は，ホップ代数の一般化である．ホップ代数と同様，弱ホップ代数たちは代数の自己双対なクラスをなす，つまり，H が（弱）ホップ代数ならば，H 上の線型形式からなる双対空間 H* もそうである（H との自然なペアリングとその余代数・代数構造から得られる代数・余代数構造に関して）．弱ホップ代数 H は通常次のように取られる： 有限次元代数かつ余代数で，余積 Δ: H → H ⊗ H と余単位射 ε: H → k を持ち，Δ(1) ≠ 1 ⊗ 1 あるいはある a, b ∈ H に対して ε(ab) ≠ ε(a)ε(b) でもよいが，他のすべてのホップ代数の公理を満たす．あるいは，以下を要求する：すべての a, b, c ∈ H に対して， ( Δ ( 1 ) ⊗ 1 ) ( 1 ⊗ Δ ( 1 ) ) = ( 1 ⊗ Δ ( 1 ) ) ( Δ ( 1 ) ⊗ 1 ) = ( Δ ⊗ Id ) Δ ( 1 ) {\displaystyle (\Delta (1)\otimes 1)(1\otimes \Delta (1))=(1\otimes \Delta (1))(\Delta (1)\otimes 1)=(\Delta \otimes {\mbox{Id}})\Delta (1)} ϵ ( a b c ) = ∑ ϵ ( a b ( 1 ) ) ϵ ( b ( 2 ) c ) = ∑ ϵ ( a b ( 2 ) ) ϵ ( b ( 1 ) c ) {\displaystyle \epsilon (abc)=\sum \epsilon (ab_{(1)})\epsilon (b_{(2)}c)=\sum \epsilon (ab_{(2)})\epsilon (b_{(1)}c)} H は以下の公理を満たす弱められた対合射 S: H → H を持つ： すべての a ∈ H に対して S ( a ( 1 ) ) a ( 2 ) = 1 ( 1 ) ϵ ( a 1 ( 2 ) ) {\displaystyle S(a_{(1)})a_{(2)}=1_{(1)}\epsilon (a1_{(2)})} （右辺は像が HR または Hs と書かれる separable subalgebra である通常 ΠR(a) あるいは εs(a) と書かれる面白い射影）； すべての a ∈ H に対して a ( 1 ) S ( a ( 2 ) ) = ϵ ( 1 ( 1 ) a ) 1 ( 2 ) {\displaystyle a_{(1)}S(a_{(2)})=\epsilon (1_{(1)}a)1_{(2)}} （像が S によって HL に反同型な separable algebra HL あるいは Ht である通常 ΠR(a) あるいは εt(a) と書かれる別の面白い射影）； すべての a ∈ H に対して S ( a ( 1 ) ) a ( 2 ) S ( a ( 3 ) ) = S ( a ) . {\displaystyle S(a_{(1)})a_{(2)}S(a_{(3)})=S(a).} Δ(1) = 1 ⊗ 1 ならこれらの条件はホップ代数の対合射の2つの通常の条件となることに注意． 公理は部分的には H 加群の圏がrigid monoidal category（英語版） であるように選ばれている．unit H-module は上で述べた separable algebra HL である． 例えば，有限亜群代数は弱ホップ代数である．特に，[n] の i と j の間に可逆な矢印 eij と eji の1つのペアがある [n] 上の亜群代数は n × n 行列の代数 H に同型である．この H 上の弱ホップ代数構造は余積 Δ(eij) = eij ⊗ eij, 余単位射 ε(eij) = 1, 対合射 S(eij) = eji によって与えられる．separable subalgebras HL と HR は一致し，中心的でない可換代数（対角行列の部分代数）である． 弱ホップ代数への早期の理論的貢献は や に見つかる． ホップ亜代数（英語版） を参照． 群はホップ代数と同じ図式（同じことだが演算）によって公理化できる，ただし G は加群の代わりに集合と取られる．この場合： 体 K は 1 点集合で置き換えられる 自然な余単位射がある（1 点に写す） 自然な余積がある（対角写像） 単位射は群の単位元である 積は群の積である 対合射は逆元である この哲学において，群は「一元体」上のホップ代数と考えることができる． 準三角ホップ代数（英語版） Algebra/set analogy（英語版） ホップ代数の表現論（英語版） リボンホップ代数（英語版） 超代数（英語版） Supergroup (physics)（英語版） Anyonic Lie algebra（英語版） スウィードラーのホップ代数（英語版） 置換のホップ代数（英語版） ミルナー・ムーアの定理（英語版） [脚注の使い方] ^ G の有限性は KG ⊗ KG が KG × G に自然に同型であることを意味する．これは余積の上の公式で用いられる．無限群 G に対しては，KG ⊗ KG は KG × 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.  ^ a b 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. https://books.google.co.jp/books?id=pBJ6sbPHA0IC&pg=PA153&dq=%22is+an+antimorphism+of+algebras%22  ^ Dăscălescu, Năstăsescu & Raianu (2001). Remarks 4.2.3. p. 151. https://books.google.co.jp/books?id=pBJ6sbPHA0IC&pg=PA151&dq=%22the+antipode+is+unique%22  ^ 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. http://www.ams.org/tran/1994-342-02/S0002-9947-1994-1220906-5/S0002-9947-1994-1220906-5.pdf.  ^ 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, https://books.google.com/books?id=8FnvAAAAMAAJ  Underwood, Robert G. (2011), An introduction to Hopf algebras, Berlin: Springer-Verlag, ISBN 978-0-387-72765-3, Zbl 1234.16022