量子群のソースを表示

{{翻訳中途|1=[https://en.wikipedia.org/w/index.php?title=Quantum_group&oldid=707882674 英語版 "Quantum group" 10:05, 2 March 2016 (UTC)]|date=2016年3月}}
{{Groups}}

[[数学]]と[[理論物理学]]において、'''量子群'''（りょうしぐん、{{lang-en-short|quantum group}}）は付加構造を持った様々な種類の非[[可換代数]]を指す。一般に、量子群はある種の[[ホップ代数]]である。ただ1つの包括的な定義があるわけではなく、広範に類似した対象の族がある。

用語「量子群」は最初[[可積分系#量子可積分系|量子可積分系]]の理論において現れた。[[ウラジーミル・ドリンフェルト]] ({{lang|uk|Володи́мир Дрі́нфельд}}, {{en|Vladimir Drinfeld}}) と[[神保道夫]]によってホップ代数のある特定のクラスとして定義されたのだった。同じ用語は古典[[リー群]]あるいは[[リー代数|リー環]]を変形したあるいはそれに近い他のホップ代数に対しても用いられる。例えば、ドリンフェルトと神保の仕事の少し後に{{仮リンク|Shahn Majid|en|Shahn Majid}}によって導入された、量子群の `bicrossproduct' のクラスである。

ドリンフェルトのアプローチでは、量子群は補助的なパラメーター ''q'' あるいは ''h'' に依存したホップ代数として生じる。この代数は、''q'' = 1 あるいは ''h'' = 0 のとき、ある種のリー環（しばしば[[半単純リー環|半単純]]あるいは[[アフィンリー環|アフィン]]）の[[普遍包絡環]]になる。密接に関係するのはある双対対象であり、これもホップ代数であり量子群と呼ばれる。これは対応する半単純[[代数群]]あるいは[[コンパクト群#コンパクトリー群|コンパクトリー群]]上の関数環を変形したものである。

群がしばしば対称性として現れるのと同じように、量子群は多くの他の数学的対象に作用する。そのような場合に形容詞「量子」(quantum) を導入することが流行となっている。例えば{{仮リンク|量子平面|en|quantum plane}}や{{仮リンク|量子グラスマン多様体|en|quantum Grassmannian}}といったものがある。

== 直観的意味 ==
量子群の発見は全く予想されていなかった、というのも、長い間、コンパクト群や半単純リー環は「堅い」対象である、言い換えると、「変形」(deform) できないと思われていたからだ。量子群の背後にある思想の1つは、ある意味で同値だがより大きい構造、すなわち[[群環]]や[[普遍包絡環]]を考えれば、群あるいは包絡環は「変形」できる（変形すると群や包絡環ではなくなるが）ということである。正確には、変形は[[可換]]とも{{仮リンク|余可換|en|cocommutative}}とも限らない[[ホップ代数]]の圏において達成される。変形した対象を、[[アラン・コンヌ]] ({{fr|Alain Connes}}) の[[非可換幾何]]の意味での「非可換空間」上の関数の代数として考えることができる。しかしながら、この直観は、Leningrad School ([[Ludwig Faddeev]], Leon Takhtajan, Evgenii Sklyanin, [[Nicolai Reshetikhin]] and [[Vladimir Korepin]]) と、Japanese School による関連した研究によって発展された、量子{{仮リンク|ヤン・バクスター方程式|en|Yang–Baxter equation}}と{{仮リンク|量子逆散乱法|en|quantum inverse scattering method}}の研究において、量子群の特定のクラスが有用性を既に証明された後に来た<ref>{{citation|first=Christian|last=Schwiebert|title=Generalized quantum inverse scattering|year=1994|id=|arxiv=hep-th/9412237v3|bibcode = 1994hep.th...12237S|pages=12237 }}</ref>。量子群の第二の{{仮リンク|双クロス積|en|bicrossproduct}}のクラスの背後にある直観は異なり、[[量子重力]]へのアプローチとして自己双対な対象の研究から来た<ref>{{citation|first=Shahn|last=Majid|title=Hopf algebras for physics at the Planck scale|year=1988|journal=Classical and Quantum Gravity|volume= 5|pages=1587–1607|doi=10.1088/0264-9381/5/12/010|bibcode=1988CQGra...5.1587M|issue=12}}</ref>。

==ドリンフェルト・神保型の量子群==
一般に「量子群」と呼ばれる対象の1つのタイプは[[ホップ代数]]の圏において[[半単純リー環]]あるいはより一般に[[カッツ・ムーディ代数]]の[[普遍包絡環]]の変形としてウラジーミル・ドリンフェルトと[[神保道夫]]の研究において現れた。結果の代数は付加構造を持っており、{{仮リンク|準三角ホップ代数|en|quasitriangular Hopf algebra}}となる。

''A'' = (''a<sub>ij</sub>'') をカッツ・ムーディ代数の[[カルタン行列]]とし、''q'' を 0 でも 1 でもない複素数とする。このとき量子群 ''U<sub>q</sub>''(''G''), ただし ''G'' はカルタン行列が ''A'' であるリー環、は以下の生成元と関係式により定まる[[単位的環|単位的]][[結合代数]]として定義される。生成元は、''k''<sub>λ</sub>（ただし λ は[[ウェイト格子]]の元、つまり 2(λ, α<sub>''i''</sub>)/(α<sub>''i''</sub>, α<sub>''i''</sub>) はすべての ''i'' に対して整数）、''e<sub>i</sub>'', ''f<sub>i</sub>''（[[単純ルート]] α<sub>''i''</sub> に対して）。関係式は

*<math>k_0 = 1,</math>
*<math>k_{\lambda} k_{\mu} = k_{\lambda+\mu},</math>
*<math>k_{\lambda} e_i k_{\lambda}^{-1} = q^{(\lambda,\alpha_i)} e_i,</math>
*<math>k_{\lambda} f_i k_{\lambda}^{-1} = q^{- (\lambda,\alpha_i)} f_i,</math>
*<math>[e_i,f_j] = \delta_{ij} \frac{k_i - k_i^{-1}}{q_i - q_i^{-1}},</math>
* ''i'' ≠ ''j'' のとき
::<math>\sum_{n=0}^{1 - a_{ij}} (-1)^n \frac{[1 - a_{ij}]_{q_i}!}{[1 - a_{ij} - n]_{q_i}! [n]_{q_i}!} e_i^n e_j e_i^{1 - a_{ij} - n} = 0,</math>
::<math>\sum_{n=0}^{1 - a_{ij}} (-1)^n \frac{[1 - a_{ij}]_{q_i}!}{[1 - a_{ij} - n]_{q_i}! [n]_{q_i}!} f_i^n f_j f_i^{1 - a_{ij} - n} = 0.</math>

ただし、すべての正の整数 ''n'' に対し
:<math>k_i = k_{\alpha_i}, q_i = q^{\frac{1}{2}(\alpha_i,\alpha_i)}, [0]_{q_i}! = 1, [n]_{q_i}! = \prod_{m=1}^n [m]_{q_i}</math>
であり、
:<math>[m]_{q_i} = \frac{q_i^m - q_i^{-m}}{q_i - q_i^{-1}}</math>
である。これらはそれぞれ[[q階乗| ''q'' 階乗]]（通常の[[階乗]]の[[q-類似| ''q'' 類似]]）と ''q'' 整数である。上の最後の2つの関係式は ''q'' セール関係式、[[Jean-Pierre Serre|セール]]関係式の変形、である。

''q'' → 1 の極限において、これらの関係式は普遍包絡環 ''U''(''G'') の関係式に近づく、ただし ''k''<sub>λ</sub> → 1 および <math>\frac{k_{\lambda} - k_{-\lambda}}{q - q^{-1}} \to t_{\lambda}</math> であり、ここにカルタン部分環の元 ''t''<sub>λ</sub> はカルタン部分環のすべての元 ''h'' に対して (''t''<sub>λ</sub>, ''h'') = λ(''h'') を満たす。

これらの代数がホップ代数となるような様々な[[余代数|余結合的余積]]がある。例えば、

:*<math>\Delta_1(k_\lambda) = k_\lambda \otimes k_\lambda,</math>
:*<math>\Delta_1(e_i) = 1 \otimes e_i + e_i \otimes k_i,</math>
:*<math>\Delta_1(f_i) = k_i^{-1} \otimes f_i + f_i \otimes 1,</math>
:*<math>\Delta_2(k_\lambda) = k_\lambda \otimes k_\lambda,</math>
:*<math>\Delta_2(e_i) = k_i^{-1} \otimes e_i + e_i \otimes 1,</math>
:*<math>\Delta_2(f_i) = 1 \otimes f_i + f_i \otimes k_i,</math>
:*<math>\Delta_3(k_\lambda) = k_\lambda \otimes k_\lambda,</math>
:*<math>\Delta_3(e_i) = k_i^{-\frac{1}{2}} \otimes e_i + e_i \otimes k_i^{\frac{1}{2}},</math>
:*<math>\Delta_3(f_i) = k_i^{-\frac{1}{2}} \otimes f_i + f_i \otimes k_i^{\frac{1}{2}},</math>

ただし生成元の集合は必要であればウェイト格子の元と{{仮リンク|ルート格子|en|root lattice}}の元の 1/2 の和として表現可能な λ に対する ''k''<sub>λ</sub> を含むように拡張される。

さらに、任意のホップ代数から逆にした余積 ''T'' <small> o </small> Δ を持つ別のホップ代数が得られる。ここで ''T'' は ''T''(''x'' &otimes; ''y'') = ''y'' &otimes; ''x'' によって与えられ、さらに3つのバージョンを与える。

''U<sub>q</sub>''(''A'') の[[余単位]]はすべてのこれらの余積と同じである：ε(''k''<sub>λ</sub>) = 1, ε(''e<sub>i</sub>'') = ε(''f<sub>i</sub>'') = 0, そして、上記余積のそれぞれの[[ホップ代数|対合射]]は次で与えられる：

:*<math>S_1(k_{\lambda}) = k_{-\lambda},\ S_1(e_i) = - e_i k_i^{-1},\ S_1(f_i) = - k_i f_i,</math>
:*<math>S_2(k_{\lambda}) = k_{-\lambda},\ S_2(e_i) = - k_i e_i,\ S_2(f_i) = - f_i k_i^{-1},</math>
:*<math>S_3(k_{\lambda}) = k_{-\lambda},\ S_3(e_i) = - q_i e_i,\ S_3(f_i) = - q_i^{-1} f_i.</math>

あるいは、量子群 ''U<sub>q</sub>''(''G'') を '''C''' 上の不定元 ''q'' のすべての[[有理関数]]からなる体 '''C'''(''q'') 上の代数と見ることができる。

同様に、量子群 ''U<sub>q</sub>''(''G'') を '''Q''' 上の不定元 ''q'' のすべての[[有理関数]]の体 '''Q'''(''q'') 上の代数と見なすことができる（下の ''q'' = 0 における量子群についての節を参照）。量子群の中心は量子行列式によって記述できる。

===表現論===
カッツ・ムーディ代数やその普遍包絡環に多くの異なるタイプの表現があるのと全く同じように、量子群にも多くの異なるタイプの表現がある。

すべてのホップ代数の場合がそうであるように、''U<sub>q</sub>''(''G'') は加群として自身の上に[[随伴自己準同型|随伴表現]]を持つ。その作用は
:<math>{\mathrm{Ad}}_x \cdot y = \sum_{(x)} x_{(1)} y S(x_{(2)})</math>
によって与えられる。ただし
:<math>\Delta(x) = \sum_{(x)} x_{(1)} \otimes x_{(2)}</math>
である。

====場合 1: ''q'' が 1 の冪根でないとき====
表現の1つの重要なタイプはウェイト表現であり、対応する[[加群]]はウェイト加群と呼ばれる。ウェイト加群はウェイトベクトルを基底に持つ加群である。ウェイトベクトルは {{math|0}} でないベクトル {{mvar|v}} であって、すべての {{mvar|&lambda;}} に対して {{math|1=''k<sub>&lambda;</sub>'' &sdot; ''v'' = ''d<sub>&lambda;</sub>v''}} となるものである。ここで {{mvar|d<sub>&lambda;</sub>}} は各ウェイト {{mvar|&lambda;}} に対する複素数であって、以下を満たす。

:*{{math|1=''d''<sub>0</sub> = 1}},
:*すべてのウェイト {{math|''&lambda;'', ''&mu;''}} に対して、{{math|1=''d<sub>&lambda;</sub> d<sub>&mu;</sub>'' = ''d<sub>&lambda; + &mu;</sub>''}}.

ウェイト加群はすべての {{mvar|e<sub>i</sub>}} と {{mvar|f<sub>i</sub>}} の作用が局所冪零である（すなわち加群の任意のベクトル {{mvar|v}} に対して、ある正の整数 {{mvar|k}}（{{mvar|v}} に依存してよい）が存在して、すべての {{mvar|i}} に対して <math>e_i^k.v = f_i^k.v = 0</math> となる）とき、可積分であると呼ばれる。可積分な加群の場合には、ウェイトベクトルに付随する複素数 {{mvar|d<sub>&lambda;</sub>}} は <math>d_{\lambda} = c_{\lambda} q^{(\lambda,\nu)}</math> を満たす。ただし {{mvar|&nu;}} はウェイト格子の元で、{{mvar|c<sub>&lambda;</sub>}} は次のような複素数である。

:*<math>c_0 = 1,\,</math>
:*すべてのウェイト {{mvar|&lambda;}}, {{mvar|&mu;}} に対して、<math>c_{\lambda} c_{\mu} = c_{\lambda + \mu},</math>
:*すべての {{mvar|i}} に対して、<math>c_{2\alpha_i} = 1.</math>

特に興味があるのは{{仮リンク|最高ウェイト表現|en|highest weight representation}}と対応する最高ウェイト加群である。最高ウェイト加群は以下を満たすウェイトベクトル ''v'' によって生成される加群である：すべてのウェイト &mu; に対して ''k''<sub>&lambda;</sub> ・ ''v'' = ''d''<sub>&lambda;</sub>''v'', すべての ''i'' に対して ''e<sub>i</sub>'' ・ ''v'' = 0. 同様に、量子群は最低ウェイト表現と最低ウェイト加群をもつことができる。最低ウェイト加群とは以下を満たすウェイトベクトル ''v'' によって生成される加群である：すべてのウェイト &lambda; に対して ''k''<sub>&lambda;</sub> ・ ''v'' = ''d''<sub>&lambda;</sub>''v'', すべての ''i'' に対して ''f<sub>i</sub>'' ・ ''v'' = 0.

ベクトル ''v'' がウェイト ν を持つことを、ウェイト格子のすべての &lambda; に対して <math>k_{\lambda}.v = q^{(\lambda,\nu)} v</math> が成り立つことと定義する。

''G'' がカッツ・ムーディ代数であれば、''U<sub>q</sub>''(''G'') の最高ウェイト ν の任意の既約最高ウェイト表現において、ウェイトの重複度は同じ最高ウェイトを持つ ''U''(''G'') の既約表現におけるそれらの重複度に等しい。最高ウェイトが優整であれば、既約表現の weight spectrum は ''G'' の[[ワイル群]]の下で不変であり、表現は可積分である。（ウェイト &mu; が優整とは、&mu; が次の条件を満たすことをいう： <math>2 (\mu,\alpha_i)/(\alpha_i,\alpha_i)</math> はすべての ''i'' に対して非負の整数である。）

逆に、最高ウェイト加群が可積分であれば、その最高ウェイトベクトル ''v'' は <math>k_{\lambda}.v = c_{\lambda} q^{(\lambda,\nu)} v</math> を満たす。ただし ''c''<sub>&lambda;</sub> ・ ''v'' = ''d''<sub>&lambda;</sub>''v'' は以下を満たす複素数である：

:*<math>c_0 = 1,</math>
:*すべてのウェイト &lambda;, &mu; に対して、<math>c_{\lambda} c_{\mu} = c_{\lambda + \mu},</math>
:*すべての ''i'' に対して、<math>c_{2\alpha_i} = 1,</math>

そして、''ν'' は優整である。

すべてのホップ代数の場合がそうであるように、2つの加群の[[テンソル積]]はまた加群である。{{math|''U''<sub>''q''</sub>(''G'')}} の元 {{mvar|x}} とそれぞれの加群のベクトル {{mvar|v}}, {{mvar|w}} に対して、
:<math>x \cdot (v \otimes w) = \Delta(x) \cdot (v \otimes w),</math>
よって <math>k_{\lambda}.(v \otimes w) = k_{\lambda}.v \otimes k_{\lambda}.w</math> であり、余積が {{math|Δ<sub>1</sub>}} の場合には、<math>e_i.(v \otimes w) = k_i.v \otimes e_i.w + e_i.v \otimes w</math> および <math>f_i.(v \otimes w) = v \otimes f_i.w + f_i.v \otimes k_i^{-1}.w</math> である。

上で記述された可積分最高ウェイト加群は、1次元加群（すべての &lambda; に対して ''k''<sub>&lambda;</sub> = ''c''<sub>&lambda;</sub> で、すべての ''i'' に対して ''e<sub>i</sub>'' = ''f<sub>i</sub>'' = 0）と、0 でないベクトル ''v''<sub>0</sub> であってすべてのウェイト &lambda; に対して <math>k_{\lambda}.v_0 = q^{(\lambda,\nu)} v_0</math> とすべての ''i'' に対して <math>e_i.v_0 = 0</math> を満たすものによって生成された最高ウェイト加群の、テンソル積である。

''G'' が（カッツ・ムーディ代数の特別な場合としての）有限次元リー環である場合には、優整最高ウェイトを持つ既約表現も有限次元である。

最高ウェイト加群のテンソル積の場合には、その部分加群への分解はカッツ・ムーディ代数の対応する加群のテンソル積と同じである（その最高ウェイトやその重複度は同じである）。

====場合 2: ''q'' が 1 の冪根であるとき====
<!--- This subsubsection is waiting for input --->

===準三角性===

====場合 1: ''q'' が 1 の冪根でないとき====
Strictly, 量子群 ''U<sub>q</sub>''(''G'') は準三角ではないが、''R'' 行列の役割を果たす形式無限和が存在するという意味で「ほぼ準三角」と考えることができる。この形式無限和は生成元 ''e<sub>i</sub>'', ''f<sub>i</sub>'' とカルタン生成元 ''t''<sub>λ</sub> の項で表現できる。ここで ''k''<sub>λ</sub> は形式的に ''q''<sup>''t''<sub>λ</sub></sup> と同一視される。形式無限和は2つの因子
:<math>q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}</math>
とある形式無限和の積である。ただし λ<sub>''j''</sub> はカルタン部分環の双対空間のある基底で、μ<sub>''j''</sub> は双対基底で、η = ±1 である。

''R'' 行列の役割を果たす形式無限和は2つの既約最高ウェイト加群のテンソル積に well-defined な作用を持ち、また2つの最低ウェイト加群のテンソル積にも well-defined な作用を持つ。具体的には、''v'' がウェイト α を持ち ''w'' がウェイト β を持つならば、
:<math>q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}.(v \otimes w) = q^{\eta (\alpha,\beta)} v \otimes w</math>
であり、加群がともに最高ウェイト加群あるいはともに最低ウェイト加群であるという事実は <math>v \otimes w</math> 上の他の因子の作用を有限和にreduceする。

具体的には、''V'' が最高ウェイト加群であれば、形式無限和 ''R'' は ''V'' &otimes; ''V'' 上の well-defined で[[可逆]]な作用を持ち、（End(''V'' &otimes; ''V'') の元としての）''R'' のこの値は{{仮リンク|ヤン・バクスター方程式|en|Yang–Baxter equation}}を満たし、したがって[[組み紐群]]の表現を決定でき、[[結び目]]、[[絡み目]]、[[組み紐]]の quasi-invariants を定義することができる。

====場合 2: ''q'' が 1 の冪根であるとき====
<!--- This subsubsection is waiting for input --->

===''q'' = 0 における量子群===
{{main|{{仮リンク|結晶基底|en|Crystal base}}}}
[[柏原正樹]]は量子群の ''q'' → 0 の極限の振る舞いを研究し、{{仮リンク|結晶基底|en|Crystal base}}と呼ばれる非常に良い性質を持つ基底を発見した。

===ルート系とディンキン図形による記述と分類===
上記の {{math|1=''q<sup>n</sup>'' = 1}} に対する {{math|''U<sub>q</sub>''('''g''')}} のような量子群の有限商の記述にはかなりの進展があった。通常は'''点状''' (pointed) [[ホップ代数]]のクラスを考える。つまりすべての部分余イデアルは 1 次元であるということであり、したがってそれらの和は'''余根基''' (coradical) と呼ばれる群をなす。
[[File:Dynkin4A3lift.png|thumb|4つの {{math|A{{sub|3}}}} のコピーをつなぐ点状ホップ代数の一般ディンキン図形]]
* 2002年、H.-J. Schneider と N. Andruskiewitsch<ref>Andruskiewitsch, Schneider: Pointed Hopf algebras, New directions in Hopf algebras, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Cambridge, 2002.</ref>は、とくに上記の {{math|''U<sub>q</sub>''('''g''')}} の有限商として、（素数 {{math|2}}, {{math|3}}, {{math|5}}, {{math|7}} を除いて）余根基がアーベル群の点状ホップ代数の長年に渡る分類の努力を終えた。通常の[[半単純リー環]]のときと同じようにそれらは {{mvar|E}} たち（ボレルパート）と双対の {{mvar|F}} たちと {{mvar|K}} たち（カルタン部分環）に分解する：

::<math>\left(\mathfrak{B}(V)\otimes k[\mathbf{Z}^n]\otimes\mathfrak{B}(V^*)\right)^\sigma.</math>

:ここで、古典論と同様、{{mvar|V}} は {{mvar|E}} たちで張られる {{mvar|n}} 次元の{{仮リンク|組みひもベクトル空間|en|Braided vector space}} であり、{{math|σ}}（いわゆるコサイクルツイスト）は {{mvar|E}} たちと {{mvar|F}} たちの間の非自明な '''linking''' をつくる。古典論とは対照的に、2つよりも多くの linked components が現れるかもしれないことに注意。'''量子ボレル代数'''の役割は組みひもベクトル空間の{{仮リンク|ニコルス代数|en|Nichols algebra}} <math>\mathfrak{B}(V)</math> に取って代わられる。
[[File:Dynkin Diagram Triangle.jpg|thumb|有限次元ニコルス代数に付随するランク 3 のディンキン図形]]
* 決定的な材料は従って、I. Heckenberger<ref>Heckenberger: Nichols algebras of diagonal type and arithmetic root systems, Habilitation thesis 2005.</ref> による一般[[ディンキン図形]]のことばによる'''アーベル群'''に対する{{仮リンク|ニコルス代数|label=有限ニコルス代数の分類|en|Nichols algebra}}であった。小さい素数の場合には、三角形のようなエキゾチックな例が起こる（ランク {{math|3}} のディンキン図形の図も参照）。
* その間、Schneider と Heckenberger<ref>Heckenberger, Schneider: Root system and Weyl gruppoid for Nichols algebras, 2008.</ref> は、（有限次元の仮定なしに）Kharcheko によってアーベルな場合に証明されたように'''算術的な'''[[ルート系]]の存在を非可換な場合にも一般に証明し{{仮リンク|PBW定理|label=PBW基底|en|Poincaré–Birkhoff–Witt theorem}}を生成した。これは最近特別な場合 {{math|''U<sub>q</sub>''('''g''')}} に使うことができ<ref>Heckenberger, Schneider: Right coideal subalgebras of Nichols algebras and the Duflo order of the Weyl grupoid, 2009.</ref>、例えばこれらの量子群のある種の余イデアル部分代数と[[リー代数]] {{math|'''g'''}} の[[ワイル群]]の位数との数値的な一致を説明する。

==コンパクト行列量子群==
{{see also|{{仮リンク|コンパクト量子群|en|compact quantum group}}}}
{{仮リンク|S.L. Woronowicz|en|S.L. Woronowicz}} はコンパクト行列量子群を導入した。コンパクト行列量子群はその上の「連続関数」が[[C*-環|C<sup>*</sup>環]]の元によって与えられるような抽象的構造である。コンパクト行列量子群の幾何学は[[非可換幾何学]]の特別な場合である。

コンパクトハウスドルフ位相空間上の複素数値連続関数の全体は可換C<sup>*</sup>環をなす。{{仮リンク|ゲルファント表現|en|Gelfand representation|label=ゲルファントの定理}}により、可換C<sup>*</sup>環はあるコンパクトハウスドルフ位相空間上の複素数値連続関数のC<sup>*</sup>環に同型であり、その位相空間はC<sup>*</sup>環によって[[同相]]の違いを除いて一意的に決定される。

コンパクト[[位相群]] ''G'' に対し、C<sup>*</sup>環の準同型写像
:Δ: ''C(G)'' → ''C(G)'' &otimes; ''C(G)''
（ただし ''C(G)'' &otimes; ''C(G)'' はC<sup>*</sup>環のテンソル積、つまり、''C''(''G'') と ''C''(''G'') の代数的なテンソル積の完備化）であって、すべての ''f'' ∈ ''C''(''G'') とすべての ''x'', ''y'' ∈ ''G'' に対して Δ(''f'')(''x'', ''y'') = ''f''(''xy'')（ただしすべての ''f'', ''g'' ∈ ''C''(''G'') とすべての ''x, y'' ∈ ''G'' に対して (''f'' &otimes; ''g'')(''x'', ''y'') = ''f''(''x'')''g''(''y'')）であるものが存在する。また、乗法的な線型写像
:κ: ''C(G)'' → ''C(G)''
であって、すべての ''f'' ∈ ''C(G)'' とすべての ''x'' ∈ ''G'' に対して κ(''f'')(''x'') = ''f(x<sup>&minus;1</sup>)'' となるものが存在する。これは ''G'' が有限でない限り真に ''C''(''G'') をホップ代数にはしない。一方、''G'' の有限次元[[群の表現|表現]]はホップ *-代数でもある ''C''(''G'') の *-部分代数を生成するのに使うことができる。具体的には、<math>g \mapsto (u_{ij}(g))_{i,j}</math> が ''G'' の ''n'' 次元表現であれば、すべての ''i'', ''j'' に対して ''u<sub>ij</sub>'' ∈ ''C(G)'' であり

:<math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}</math>

である。すべての ''i'', ''j'' に対する ''u<sub>ij</sub>'' とすべての ''i'', ''j'' に対する κ(''u<sub>ij</sub>'') によって生成された * 代数はホップ * 代数であることが従う：余単位はすべての ''i'', ''j'' に対して ε(''u<sub>ij</sub>'') = δ<sub>''ij''</sub>（ただし δ<sub>''ij''</sub> は[[クロネッカーのデルタ]]）によって決定され、antipode は κ で、単位は
:<math>1 = \sum_k u_{1k} \kappa(u_{k1}) = \sum_k \kappa(u_{1k}) u_{k1}</math>
によって与えられる。

一般化として、コンパクト行列量子群は対 (''C'', ''fu'') として定義される、ただし ''C'' は C<sup>*</sup> 代数で、<math>u = (u_{ij})_{i,j = 1,\dots,n}</math> は ''C'' の元を成分に持つ行列であって以下を満たす。

:* ''u'' の要素によって生成される ''C'' の * 部分代数 ''C''<sub>0</sub> は ''C'' において稠密である。

:* 余積 Δ: ''C'' → ''C'' &otimes; ''C''（ただし ''C'' &otimes; ''C'' は C<sup>*</sup> 代数のテンソル積、つまり ''C'' と ''C'' の代数的テンソル積の完備化）と呼ばれる C<sup>*</sup> 代数準同型であってすべての ''i'', ''j'' に対して
:::<math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}</math>
::を満たすものが存在する。

:* 次のような線型反乗法的写像 κ: ''C''<sub>0</sub> → ''C''<sub>0</sub>（余逆射）が存在する：すべての ''v'' ∈ ''C''<sub>0</sub> に対して κ(κ(''v''<sup>*</sup>)<sup>*</sup>) = ''v'', および 
:::<math>\sum_k \kappa(u_{ik}) u_{kj} = \sum_k u_{ik} \kappa(u_{kj}) = \delta_{ij} I,</math>
::ただし ''I'' は ''C'' の単位元。κ は反乗法的なので、''C''<sub>0</sub> のすべての元 ''v'', ''w'' に対して κ(''vw'') = κ(''w'') κ(''v'') である。

連続性の結果として、''C'' 上の余積は余結合的である。

一般に、''C'' は双代数ではなく、''C''<sub>0</sub> はホップ *-環である。

インフォーマルには、''C'' はコンパクト行列量子群上の複素数値連続関数の *-環と見なすことができ、''u'' はコンパクト行列量子群の有限次元表現と見なすことができる。

コンパクト行列量子群の表現はホップ * 代数の[[余代数|余表現]]によって与えられる（余ユニタリ余結合的余代数 ''A'' の余表現は成分が ''A'' の正方行列 <math>v = (v_{ij})_{i,j = 1,\dots,n}</math>（よって ''v'' は M(''n'', ''A'') に属する）であってすべての ''i'', ''j'' に対して

:<math>\Delta(v_{ij}) = \sum_{k=1}^n v_{ik} \otimes v_{kj}</math>

ですべての ''i'', ''j'' に対して ε(''v<sub>ij</sub>'') = δ<sub>''ij''</sub> となるものである）。さらに、表現 ''v'' は ''v'' の行列がユニタリであるとき（あるいは同じことだがすべての ''i'', ''j'' に対して κ(''v<sub>ij</sub>'') = ''v''<sup>*</sup><sub>''ij''</sub> であるとき）ユニタリと呼ばれる。

コンパクト行列量子群の例は SU<sub>μ</sub>(2) である、ただしパラメーター μ は正の実数である。なので SU<sub>μ</sub>(2) = (C(SU<sub>μ</sub>(2)), ''u'') である、ただし C(SU<sub>μ</sub>(2)) は以下を満たす α と γ によって生成された C<sup>*</sup> 代数である：

:<math>\gamma \gamma^* = \gamma^* \gamma, </math>
:<math>\alpha \gamma = \mu \gamma \alpha, </math>
:<math>\alpha \gamma^* = \mu \gamma^* \alpha, </math>
:<math>\alpha \alpha^* + \mu \gamma^* \gamma = \alpha^* \alpha + \mu^{-1} \gamma^* \gamma = I,</math>

また、

:<math>u = \left( \begin{matrix} \alpha & \gamma \\ - \gamma^* & \alpha^* \end{matrix} \right),</math>

よって余積は Δ(α) = α &otimes; α &minus; γ &otimes; γ<sup>*</sup>, Δ(γ) = α &otimes; γ + γ &otimes; α<sup>*</sup> によって決定され、余逆は κ(α) = α<sup>*</sup>, κ(γ) = &minus;μ<sup>&minus;1</sup>γ, κ(γ<sup>*</sup>) = &minus;μγ<sup>*</sup>, κ(α<sup>*</sup>) = α によって決定される。''u'' は表現であるがユニタリ表現ではないことに注意。''u'' はユニタリ表現

:<math>v = \begin{pmatrix} \alpha & \sqrt{\mu} \, \gamma \\
- \frac{1}{\sqrt{\mu}} \gamma^* & \alpha^* \end{pmatrix}</math>

と同値である。

同値であるが、SU<sub>μ</sub>(2) = (C(SU<sub>μ</sub>(2)), ''w'') である、ただし C(SU<sub>μ</sub>(2)) は以下を満たす α と β によって生成される C<sup>*</sup> 代数である：

:<math>\beta \beta^* = \beta^* \beta,</math>
:<math>\alpha \beta = \mu \beta \alpha,</math>
:<math>\alpha \beta^* = \mu \beta^* \alpha,</math>
:<math>\alpha \alpha^* + \mu^2 \beta^* \beta = \alpha^* \alpha + \beta^* \beta = I,</math>

また

:<math>w = \left( \begin{matrix} \alpha & \mu \beta \\ - \beta^* & \alpha^* \end{matrix} \right),</math>

よって余積は Δ(α) = α &otimes; α &minus; μβ &otimes; β*, Δ(β) = α &otimes; β + β &otimes; α<sup>*</sup> によって決定され、余逆は κ(α) = α<sup>*</sup>, κ(β) = &minus;μ<sup>&minus;1</sup>β, κ(β<sup>*</sup>) = &minus;μβ<sup>*</sup>, κ(α<sup>*</sup>) = α によって決定される。''w'' はユニタリ表現であることに注意。2つの実現は方程式 <math>\gamma = \sqrt{\mu} \, \beta</math> によって同一視できる。

μ = 1 のとき、SU<sub>μ</sub>(2) は具体的なコンパクト群 SU(2) 上の関数の代数 ''C''(SU(2)) に等しい。

==Bicrossproduct quantum groups==
Whereas compact matrix pseudogroups are typically versions of  Drinfeld–Jimbo quantum groups in a dual function algebra formulation, with additional structure, the bicrossproduct ones are a distinct second family of quantum groups of increasing importance as deformations of solvable rather than semisimple Lie groups. They are associated to Lie splittings of Lie algebras or local factorisations of Lie groups and can be viewed as the cross product or Mackey quantisation of one of the factors acting on the other for the algebra and a similar story for the coproduct Δ with the second factor acting back on the first. The very simplest nontrivial example corresponds to two copies of '''R''' locally acting on each other and results in a quantum group  (given here in an algebraic form) with generators ''p'', ''K'', ''K''<sup>&minus;1</sup>, say, and coproduct

:<math>[p, K]=h K(K-1)</math>
:<math>\Delta p=p\otimes K+1\otimes p</math>
:<math>\Delta K=K\otimes K</math>

where ''h'' is the deformation parameter. This quantum group was linked to a toy model of Planck scale physics implementing [[Born reciprocity]] when viewed as a deformation of the [[Heisenberg algebra]] of quantum mechanics. Also, starting with any compact real form of a semisimple Lie algebra '''g''' its complexification as a real Lie algebra of twice the dimension splits into '''g''' and a certain solvable Lie algebra (the Iwasawa decomposition), and this provides a canonical bicrossproduct quantum group associated to '''g'''. For '''su'''(2) one obtains a quantum group deformation of the [[Euclidean group]] E(3) of motions in 3 dimensions.

== 関連項目 ==
===関連分野===
* {{仮リンク|リー双代数|en|Lie bialgebra}}
* {{仮リンク|ポアソン・リー群|en|Poisson–Lie group}}
* {{仮リンク|アフィン量子群|en|Affine quantum group}}
* {{仮リンク|量子アフィン代数|en|Quantum affine algebras}}
===研究者===
*[[神保道夫]]
*[[三町勝久]]
*[[ウラジーミル・ドリンフェルト]]

== 脚注 ==
<references/>

== 参考文献 ==
*{{cite book | last=Grensing | first=Gerhard | year=2013 | title=Structural Aspects of Quantum Field Theory and Noncommutative Geometry | publisher=World Scientific | isbn=978-981-4472-69-2 | url = http://www.worldscientific.com/worldscibooks/10.1142/8771}}
*{{cite news |last= Jagannathan |first= R.  |year= 2001 |title= Some introductory notes on quantum groups, quantum algebras, and their applications |url= https://arxiv.org/abs/math-ph/0105002v1 |arxiv=math-ph/0105002v1 }}
* {{Citation | last1=Kassel | first1=Christian | title=Quantum groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94370-1 |mr=1321145 | year=1995 | volume=155}}
* {{cite book |last= Lusztig |first= George |year= 2010 |origyear= 1993 |title= Introduction to Quantum Groups |url= https://books.google.co.uk/books?id=HKPjCUiOUQ0C&printsec=frontcover&hl=en |location= Cambridge,&nbsp;MA |publisher= Birkhauser |isbn= 978-0-817-64716-2 }}
* {{Citation | last1=Majid | first1=Shahn | title=A quantum groups primer | publisher=[[Cambridge University Press]] | series=London Mathematical Society Lecture Note Series | isbn=978-0-521-01041-2 |mr=1904789 | year=2002 | volume=292}}
* {{ citation
   | last = Majid
   | first = Shahn
   | title = What Is...a Quantum Group?
   | journal = [[Notices of the American Mathematical Society]]
   |date=January 2006
   | volume = 53
   | issue = 1
   | pages = 30&ndash;31
   | url = http://www.ams.org/notices/200601/what-is.pdf
   | format = [[PDF]]
   | accessdate = 2008-01-16 }}
* {{citation|title=Introduction to quantum groups|first1=P.|last1=Podles|first2=E.|last2=Muller|id=|arxiv=q-alg/9704002|bibcode = 1997q.alg.....4002P|year=1997|pages=4002 }}
* {{cite book |last1= Shnider |first1= Steven |author1-link= Steve Shnider |last2= Sternberg |first2= Shlomo |year= 1993 |title= Quantum groups: From coalgebras to Drinfeld algebras |series= Graduate Texts in Mathematical Physics |volume= 2 |location= Cambridge,&nbsp;MA |publisher= International Press }}
* {{Citation | last1=Street | first1=Ross | author1-link=Ross Street | title=Quantum groups | publisher=[[Cambridge University Press]] | series=Australian Mathematical Society Lecture Series | isbn=978-0-521-69524-4|mr=2294803 | year=2007 | volume=19}}
{{群論}}
{{DEFAULTSORT:りようしくん}}
[[Category:量子群|*]]
[[Category:数学的量子化]]
[[Category:数学に関する記事]]