ホップ代数

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

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

定理  A}} を標数 0 の体上の有限次元次数付き可換次数付き余可換ホップ代数とする．このとき A}} は奇数次の生成元による自由外積代数である．

1. 定義
-----

正式には，ホップ代数は体 K}} 上の双代数 H}} であって，次の図式が可換であるようなK}} 線型写像 //S//: //H// → //H//}} を持つものである：

ここで Δ}} は双代数の余積であり，∇}} は積，η}} は単位射，ε}} は余単位射である．スウィードラーの記法を用いて，この性質は次のようにも書ける：代数に関しては，上の定義において基礎体 K}} を可換環 R}} に置き換えることができる．

ホップ代数の定義は自己双対であるので，H}} の双対を定義できるならば，それは自動的にホップ代数になる．

1.1. 構造定数
---------

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

余積に対して

対合射に対して

すると結合律は

であり，余結合律は

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

である．

1.2. 対蹠射の性質
-----------

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

一般に，S}} は反準同型なので，//S//2}} は準同型で，したがって S}} が可逆ならば同型である．

対蹠射が対合、すなわち 1=//S//2 = id//H//}} ならば，ホップ代数は対合的  といわれる．H}} が標数 0 の体上有限次元半単純，可換，あるいは余可換ならば，対合的である．

双代数 B}} が対合射 S}} を持つならば，S}} は一意である．

対合射は g}} を逆元 //g//−1}} に送る群上の写像の類似である．

1.3. 部分ホップ代数
------------

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

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

H}} の正規部分ホップ代数 A}} は条件 1=//HA//+ = //A//+//H//}} を満たす，ただし //A//+}} は K}} 上の余単位射の核を表す．この正規性条件は //HA//+}} が H}} のホップイデアルであることを意味する．したがって，商ホップ代数 //H/////HA//+}} と全射準同型 //H// → //H/////A//+//H//}} があり，群論における正規部分群と商群に類似の理論がある．

1.4. ホップ整環
----------

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

1.5. 群的元
--------

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

2. 表現論
------

A}} をホップ代数とし，M}} と N}} を A}} 加群とする．このとき，//M// ⊗ //N//}} も次のようにして A}} 加群である：//m// ∈ //M//}}, //n// ∈ //N//}}, 1=Δ = }} に対して，

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

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

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

3. 例
----

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

4. リー群のコホモロジー
-------------

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

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

定理  A}} を標数 0}} 上の有限次元次数付き可換次数付き余可換ホップ代数とする．このとき A}} は奇数次の生成元を持った自由外積代数である．

5. 量子群と非可換幾何学
-------------

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

6. 関連概念
-------

次数付きホップ代数は代数的位相幾何学においてしばしば用いられる：それらは H 空間のすべてのホモロジーあるいはコホモロジー群の直和上の自然な代数的構造である．

局所コンパクト量子群はホップ代数を一般化し，位相を持つ．リー群上のすべての連続関数からなる代数は局所コンパクト量子群である．

準ホップ代数はホップ代数の一般化であり，余結合律が捩れを除いてしか成り立たないものである．それらはKZ方程式の研究において使われている．

Alfons Van Daele によって1994年に導入された 乗作用素ホップ代数 はホップ代数の一般化であり，余積は代数からその代数のテンソル積代数の乗作用素環 へである．

V. G. Turaev によって2000年に導入されたホップ群代数もまたホップ代数の一般化である．

6.1. 弱ホップ代数
-----------

弱ホップ代数，あるいは量子亜群は，ホップ代数の一般化である．ホップ代数と同様，弱ホップ代数たちは代数の自己双対なクラスをなす，つまり，H}} がホップ代数ならば，H}} 上の線型形式からなる双対空間 H*}} もそうである．弱ホップ代数 H}} は通常次のように取られる：

有限次元代数かつ余代数で，余積 Δ: //H// → //H// ⊗ //H//}} と余単位射 //ε//: //H// → //k//}} を持ち，1=Δ ≠ 1 ⊗ 1}} あるいはある //a//, //b// ∈ //H//}} に対して 1=//ε// ≠ //ε////ε//}} でもよいが，他のすべてのホップ代数の公理を満たす．あるいは，以下を要求する：すべての //a//, //b//, //c// ∈ //H//}} に対して，
H}} は以下の公理を満たす弱められた対合射 //S//: //H// → //H//}} を持つ：
すべての //a// ∈ //H//}} に対して ；
すべての //a// ∈ //H//}} に対して ；
すべての //a// ∈ //H//}} に対して 1=Δ = 1 ⊗ 1}} ならこれらの条件はホップ代数の対合射の2つの通常の条件となることに注意．公理は部分的には H}} 加群の圏がrigid category であるように選ばれている．unit H}}-module は上で述べた separable algebra HL}} である．

例えば，有限亜群代数は弱ホップ代数である．特に，[//n//]}} の i}} と j}} の間に可逆な矢印 eij}} と eji}} の1つのペアがある [//n//]}} 上の亜群代数は //n// × //n//}} 行列の代数 H}} に同型である．この H}} 上の弱ホップ代数構造は余積 1=Δ = //eij// ⊗ //eij//}}, 余単位射 1=//ε// = 1}}, 対合射 1=//S// = //eji//}} によって与えられる．separable subalgebras HL}} と HR}} は一致し，中心的でない可換代数である．

弱ホップ代数への早期の理論的貢献は や に見つかる．

6.2. ホップ亜代数
-----------

ホップ亜代数 を参照．

7. 群との類似
--------

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

体 K}} は 1 点集合で置き換えられる
自然な余単位射がある
自然な余積がある
単位射は群の単位元である
積は群の積である
対合射は逆元であるこの哲学において，群は「一元体」上のホップ代数と考えることができる．

8. 関連項目
-------

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------

last1=Dăscălescu.
Pierre Cartier, [1], IHES preprint, September 2006, 81 pages
H. Hopf, Uber die Topologie der Gruppen-Mannigfaltigkeiten und ihrer Verallgemeinerungen, Ann. of Math. 42 , 22–52. Reprinted in Selecta Heinz Hopf, pp.   119–151, Springer, Berlin . id = 4784}},
last1=Street .