ホップ代数

数学において，ホップ代数（ホップだいすう，Hopf algebra）は，Heinz Hopfに因んで名づけられた代数的構造であり，同時に（単位的結合）代数かつ（余単位的余結合的）余代数であり，これらの構造の整合性により双代数になっており，さらにある性質を満たすantiautomorphismを備えたものである．ホップ代数の表現論は特に見事である，なぜならば整合的な余積，余単位射，対合射の存在により，表現のテンソル積，自明表現，双対表現を構成できるからである．
ホップ代数は，その起源であり H-spaceの概念と関係する代数的位相幾何学，group schemeの理論，群論（群環の概念によって），そして多数の他の場所で，自然に生じ，おそらく双代数の最もよく知られた種類となっている．ホップ代数はそれ自身も研究されていて，一方では例の特定のクラスが，他方では分類問題が，多く研究されている．それらは物性物理学や量子的場の理論から弦理論まで多様な応用を持つ．
定理 (ホップ) A を標数 0 の体上の有限次元Graded-commutative次数付き余可換ホップ代数とする．このとき A は（代数として）奇数次の生成元による自由外積代数である．

**定義**
正式には，ホップ代数は体 K 上の（結合的かつ余結合的）双代数 H であって，次の図式が可換であるような（対蹠射または対合射と呼ばれる）線型写像|K 線型写像 S: H → H を持つものである：
antipode commutative diagram
ここで Δ は双代数の余積であり，∇ は積，η は単位射，ε は余単位射である．スウィードラーの記法を用いて，この性質は次のようにも書ける：

代数に関しては，上の定義において基礎体 K を可換環 R に置き換えることができる．
ホップ代数の定義は（上の図式の対称性に表れているように）自己双対であるので，H の双対を定義できるならば（H が有限次元ならいつでも可能である），それは自動的にホップ代数になる．

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

余積に対して

対合射に対して

すると結合律は

であり，余結合律は

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

である．

**対蹠射の性質**
対蹠射 S は K 線型逆写像を持つよう要求されることもある．これは有限次元の場合や，H が可換あるいは余可換（あるいはより一般にQuasitriangular Hopf algebra）であるとき，自動的に成り立つ．
一般に，S は反準同型なので，S2 は準同型で，したがって S が可逆ならば同型である．
対蹠射が対合、すなわち 1=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 に対して 1=adr(h)(A) ⊆ A, を満たすことをいう．ここで右随伴写像 adr はすべての a ∈ A と h ∈ H に対して 1=adr(h)(a) = S(h(1))ah(2) によって定義される．同様に，部分ホップ代数 A が H において左正規であるとは，1=adl(h)(a) = h(1)aS(h(2)) によって定義される左随伴写像で安定なことをいう．正規性の2つの条件は対合射 S が全単射なときには同値であり，この場合 A は正規ホップ部分代数といわれる．
の正規部分ホップ代数 A は（H の部分集合の等式の）条件 1=HA+ = A+H を満たす，ただし A+ は K 上の余単位射の核を表す．この正規性条件は HA+ が H のホップイデアルである（すなわち余単位射の核の代数イデアルで，余代数余イデアルで，対合射で安定である）ことを意味する．したがって，商ホップ代数 H/HA+ と全射準同型 H → H/A+H があり，群論における正規部分群と商群に類似の理論がある．

**ホップ整環**
分数体 K をもつ整域 R 上のホップ整環 O とは，K 上のホップ代数 H におけるOrder (ring theory)であって，代数と余代数の演算で閉じている，特に余積 Δ は O を O⊗O に送る，もののことである．

**群的元**
群的元とは非零元 x であって 1=Δ(x) = x ⊗ x なるものである．群的元たちは対合射によって与えられる逆元を持つ群をなす．label=原始元 x は 1=Δ(x) = x ⊗ 1 + 1 ⊗ x を満たす．

**表現論**
をホップ代数とし，M と N を A 加群とする．このとき，M ⊗ N も次のようにして A 加群である：m ∈ M, n ∈ N, 1=Δ(a) = (a1, a2) に対して，

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

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

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

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

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

は群の積 G × G → G によって与えられる．この観察は実はホップ代数の概念の源であった．この構造を用いて，ホップはリー群のコホモロジー環の構造定理を証明した．
 定理 (Hopf)
 A を標数 0 上の有限次元Graded-commutative次数付き余可換ホップ代数とする．このとき A は（代数として）奇数次の生成元を持った自由外積代数である．

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

**関連概念**
次数付きホップ代数は代数的位相幾何学においてしばしば用いられる：それらは H-spaceのすべてのホモロジーあるいはコホモロジー群の直和上の自然な代数的構造である．
はホップ代数を一般化し，位相を持つ．リー群上のすべての連続関数からなる代数は局所コンパクト量子群である．
はホップ代数の一般化であり，余結合律が捩れを除いてしか成り立たないものである．それらはKZ方程式の研究において使われている．
Alfons Van Daele によって1994年に導入された Multiplier Hopf algebra はホップ代数の一般化であり，余積は（単位元をもつあるいはもたない）代数からその代数のテンソル積代数のmultiplier algebra へである．
V. G. Turaev によって2000年に導入されたHopf group-(co)algebraもまたホップ代数の一般化である．

**弱ホップ代数**
，あるいは量子亜群は，ホップ代数の一般化である．ホップ代数と同様，弱ホップ代数たちは代数の自己双対なクラスをなす，つまり，H が（弱）ホップ代数ならば，H 上の線型形式からなる双対空間 H* もそうである（H との自然なペアリングとその余代数・代数構造から得られる代数・余代数構造に関して）．弱ホップ代数 H は通常次のように取られる：
*有限次元代数かつ余代数で，余積 Δ: H → H ⊗ H と余単位射 ε: H → k を持ち，1=Δ(1) ≠ 1 ⊗ 1 あるいはある a, b ∈ H に対して 1=ε(ab) ≠ ε(a)ε(b) でもよいが，他のすべてのホップ代数の公理を満たす．あるいは，以下を要求する：すべての a, b, c ∈ H に対して，
:
:- H は以下の公理を満たす弱められた対合射 S: H → H を持つ：
#すべての a ∈ H に対して （右辺は像が  または  と書かれる separable subalgebra である通常 ΠR(a) あるいは εs(a) と書かれる面白い射影）；
#すべての a ∈ H に対して （像が S によって  に反同型な separable algebra HL あるいは Ht である通常 ΠR(a) あるいは εt(a) と書かれる別の面白い射影）；
#すべての a ∈ H に対して 
1=Δ(1) = 1 ⊗ 1 ならこれらの条件はホップ代数の対合射の2つの通常の条件となることに注意．
公理は部分的には H 加群の圏がlabel=rigid monoidal category であるように選ばれている．unit H-module は上で述べた separable algebra HL である．
例えば，有限groupoid代数は弱ホップ代数である．特に，math|n の i と j の間に可逆な矢印 eij と eji の1つのペアがある math|n 上の亜群代数は n × n 行列の代数 H に同型である．この H 上の弱ホップ代数構造は余積 1=Δ(eij) = eij ⊗ eij, 余単位射 1=ε(eij) = 1, 対合射 1=S(eij) = eji によって与えられる．separable subalgebras HL と HR は一致し，中心的でない可換代数（対角行列の部分代数）である．
弱ホップ代数への早期の理論的貢献は  や  に見つかる．

**ホップ亜代数**
を参照．

**群との類似**
群はホップ代数と同じ図式（同じことだが演算）によって公理化できる，ただし G は加群の代わりに集合と取られる．この場合：- 体 K は 1 点集合で置き換えられる- 自然な余単位射がある（1 点に写す）- 自然な余積がある（対角写像）- 単位射は群の単位元である- 積は群の積である- 対合射は逆元である
この哲学において，群は「一元体」上のホップ代数と考えることができる．

**関連項目**
 Quasitriangular Hopf algebra- Algebra/set analogy- Representation theory of Hopf algebras- Ribbon Hopf algebra- Superalgebra- Supergroup (physics)- Anyonic Lie algebra- Sweedler's Hopf algebra- Hopf algebra of permutations- Milnor–Moore theorem

**脚注**

**注釈**

**出典**

**参考文献**
  zbl=0962.16026 .- Pierre Cartier,  A primer of Hopf algebras, IHES preprint, September 2006, 81 pages-  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).  id = 4784,  1=0025.09303 - citation | last=Montgomery | first=Susan | title=Hopf algebras and their actions on rings | series=Regional Conference Series in Mathematics | volume=82 | location=Providence, Rhode Island | publisher=American Mathematical Society | year=1993 | isbn=0-8218-0738-2 | zbl=0793.16029 -  zbl=1117.16031 .- zbl=0194.32901  -  zbl=1234.16022