量子群

数学と理論物理学において、量子群（りょうしぐん、）は付加構造を持った様々な種類の非可換代数を指す。一般に、量子群はある種のホップ代数である。ただ1つの包括的な定義があるわけではなく、広範に類似した対象の族がある。
用語「量子群」は最初量子可積分系の理論において現れた。ウラジーミル・ドリンフェルト (, ) と神保道夫によってホップ代数のある特定のクラスとして定義されたのだった。同じ用語は古典リー群あるいはリー環を変形したあるいはそれに近い他のホップ代数に対しても用いられる。例えば、ドリンフェルトと神保の仕事の少し後にによって導入された、量子群の `bicrossproduct' のクラスである。
ドリンフェルトのアプローチでは、量子群は補助的なパラメーター "q" あるいは "h" に依存したホップ代数として生じる。この代数は、"q" = 1 あるいは "h" = 0 のとき、ある種のリー環（しばしば半単純あるいはアフィン）の普遍包絡環になる。密接に関係するのはある双対対象であり、これもホップ代数であり量子群と呼ばれる。これは対応する半単純代数群あるいはコンパクトリー群上の関数環を変形したものである。
群がしばしば対称性として現れるのと同じように、量子群は多くの他の数学的対象に作用する。そのような場合に形容詞「量子」(quantum) を導入することが流行となっている。例えばやといったものがある。
直観的意味.
量子群の発見は全く予想されていなかった、というのも、長い間、コンパクト群や半単純リー環は「堅い」対象である、言い換えると、「変形」(deform) できないと思われていたからだ。量子群の背後にある思想の1つは、ある意味で同値だがより大きい構造、すなわち群環や普遍包絡環を考えれば、群あるいは包絡環は「変形」できる（変形すると群や包絡環ではなくなるが）ということである。正確には、変形は可換ともとも限らないホップ代数の圏において達成される。変形した対象を、アラン・コンヌ () の非可換幾何の意味での「非可換空間」上の関数の代数として考えることができる。しかしながら、この直観は、Leningrad School (Ludwig Faddeev, Leon Takhtajan, Evgenii Sklyanin, Nicolai Reshetikhin and Vladimir Korepin) と、Japanese School による関連した研究によって発展された、量子との研究において、量子群の特定のクラスが有用性を既に証明された後に来た。量子群の第二ののクラスの背後にある直観は異なり、量子重力へのアプローチとして自己双対な対象の研究から来た。
ドリンフェルト・神保型の量子群.
一般に「量子群」と呼ばれる対象の1つのタイプはホップ代数の圏において半単純リー環あるいはより一般にカッツ・ムーディ代数の普遍包絡環の変形としてウラジーミル・ドリンフェルトと神保道夫の研究において現れた。結果の代数は付加構造を持っており、となる。
"A" = ("aij") をカッツ・ムーディ代数のカルタン行列とし、"q" を 0 でも 1 でもない複素数とする。このとき量子群 "Uq"("G"), ただし "G" はカルタン行列が "A" であるリー環、は以下の生成元と関係式により定まる単位的結合代数として定義される。生成元は、"k"λ（ただし λ はウェイト格子の元、つまり 2(λ, α"i")/(α"i", α"i") はすべての "i" に対して整数）、"ei", "fi"（単純ルート α"i" に対して）。関係式は
ただし、すべての正の整数 "n" に対し
であり、
である。これらはそれぞれ"q" 階乗（通常の階乗の"q" 類似）と "q" 整数である。上の最後の2つの関係式は "q" セール関係式、セール関係式の変形、である。
"q" → 1 の極限において、これらの関係式は普遍包絡環 "U"("G") の関係式に近づく、ただし "k"λ → 1 および formula_10 であり、ここにカルタン部分環の元 "t"λ はカルタン部分環のすべての元 "h" に対して ("t"λ, "h") = λ("h") を満たす。
これらの代数がホップ代数となるような様々な余結合的余積がある。例えば、
ただし生成元の集合は必要であればウェイト格子の元との元の 1/2 の和として表現可能な λ に対する "k"λ を含むように拡張される。
さらに、任意のホップ代数から逆にした余積 "T" Δ を持つ別のホップ代数が得られる。ここで "T" は "T"("x" ⊗ "y") = "y" ⊗ "x" によって与えられ、さらに3つのバージョンを与える。
"Uq"("A") の余単位はすべてのこれらの余積と同じである：ε("k"λ) = 1, ε("ei") = ε("fi") = 0, そして、上記余積のそれぞれの対合射は次で与えられる：
あるいは、量子群 "Uq"("G") を C 上の不定元 "q" のすべての有理関数からなる体 C("q") 上の代数と見ることができる。
同様に、量子群 "Uq"("G") を Q 上の不定元 "q" のすべての有理関数の体 Q("q") 上の代数と見なすことができる（下の "q" = 0 における量子群についての節を参照）。量子群の中心は量子行列式によって記述できる。
表現論.
カッツ・ムーディ代数やその普遍包絡環に多くの異なるタイプの表現があるのと全く同じように、量子群にも多くの異なるタイプの表現がある。
すべてのホップ代数の場合がそうであるように、"Uq"("G") は加群として自身の上に随伴表現を持つ。その作用は
によって与えられる。ただし
である。
場合 1: "q" が 1 の冪根でないとき.
表現の1つの重要なタイプはウェイト表現であり、対応する加群はウェイト加群と呼ばれる。ウェイト加群はウェイトベクトルを基底に持つ加群である。ウェイトベクトルは でないベクトル であって、すべての に対して となるものである。ここで は各ウェイト に対する複素数であって、以下を満たす。
ウェイト加群はすべての と の作用が局所冪零である（すなわち加群の任意のベクトル に対して、ある正の整数 （ に依存してよい）が存在して、すべての に対して formula_25 となる）とき、可積分であると呼ばれる。可積分な加群の場合には、ウェイトベクトルに付随する複素数 は formula_26 を満たす。ただし はウェイト格子の元で、 は次のような複素数である。
特に興味があるのはと対応する最高ウェイト加群である。最高ウェイト加群は以下を満たすウェイトベクトル "v" によって生成される加群である：すべてのウェイト μ に対して "k"λ ・ "v" = "d"λ"v", すべての "i" に対して "ei" ・ "v" = 0. 同様に、量子群は最低ウェイト表現と最低ウェイト加群をもつことができる。最低ウェイト加群とは以下を満たすウェイトベクトル "v" によって生成される加群である：すべてのウェイト λ に対して "k"λ ・ "v" = "d"λ"v", すべての "i" に対して "fi" ・ "v" = 0.
ベクトル "v" がウェイト ν を持つことを、ウェイト格子のすべての λ に対して formula_30 が成り立つことと定義する。
"G" がカッツ・ムーディ代数であれば、"Uq"("G") の最高ウェイト ν の任意の既約最高ウェイト表現において、ウェイトの重複度は同じ最高ウェイトを持つ "U"("G") の既約表現におけるそれらの重複度に等しい。最高ウェイトが優整であれば、既約表現の weight spectrum は "G" のワイル群の下で不変であり、表現は可積分である。（ウェイト μ が優整とは、μ が次の条件を満たすことをいう： formula_31 はすべての "i" に対して非負の整数である。）
逆に、最高ウェイト加群が可積分であれば、その最高ウェイトベクトル "v" は formula_32 を満たす。ただし "c"λ ・ "v" = "d"λ"v" は以下を満たす複素数である：
そして、"ν" は優整である。
すべてのホップ代数の場合がそうであるように、2つの加群のテンソル積はまた加群である。 の元 とそれぞれの加群のベクトル , に対して、
よって formula_37 であり、余積が の場合には、formula_38 および formula_39 である。
上で記述された可積分最高ウェイト加群は、1次元加群（すべての λ に対して "k"λ = "c"λ で、すべての "i" に対して "ei" = "fi" = 0）と、0 でないベクトル "v"0 であってすべてのウェイト λ に対して formula_40 とすべての "i" に対して formula_41 を満たすものによって生成された最高ウェイト加群の、テンソル積である。
"G" が（カッツ・ムーディ代数の特別な場合としての）有限次元リー環である場合には、優整最高ウェイトを持つ既約表現も有限次元である。
最高ウェイト加群のテンソル積の場合には、その部分加群への分解はカッツ・ムーディ代数の対応する加群のテンソル積と同じである（その最高ウェイトやその重複度は同じである）。
準三角性.
場合 1: "q" が 1 の冪根でないとき.
Strictly, 量子群 "Uq"("G") は準三角ではないが、"R" 行列の役割を果たす形式無限和が存在するという意味で「ほぼ準三角」と考えることができる。この形式無限和は生成元 "ei", "fi" とカルタン生成元 "t"λ の項で表現できる。ここで "k"λ は形式的に "q""t"λ と同一視される。形式無限和は2つの因子
とある形式無限和の積である。ただし λ"j" はカルタン部分環の双対空間のある基底で、μ"j" は双対基底で、η = ±1 である。
"R" 行列の役割を果たす形式無限和は2つの既約最高ウェイト加群のテンソル積に well-defined な作用を持ち、また2つの最低ウェイト加群のテンソル積にも well-defined な作用を持つ。具体的には、"v" がウェイト α を持ち "w" がウェイト β を持つならば、
であり、加群がともに最高ウェイト加群あるいはともに最低ウェイト加群であるという事実は formula_44 上の他の因子の作用を有限和にreduceする。
具体的には、"V" が最高ウェイト加群であれば、形式無限和 "R" は "V" ⊗ "V" 上の well-defined で可逆な作用を持ち、（End("V" ⊗ "V") の元としての）"R" のこの値はを満たし、したがって組み紐群の表現を決定でき、結び目、絡み目、組み紐の quasi-invariants を定義することができる。
"q" = 0 における量子群.
柏原正樹は量子群の "q" → 0 の極限の振る舞いを研究し、と呼ばれる非常に良い性質を持つ基底を発見した。
ルート系とディンキン図形による記述と分類.
上記の に対する のような量子群の有限商の記述にはかなりの進展があった。通常は点状 (pointed) ホップ代数のクラスを考える。つまりすべての部分余イデアルは 1 次元であるということであり、したがってそれらの和は余根基 (coradical) と呼ばれる群をなす。
コンパクト行列量子群.
 はコンパクト行列量子群を導入した。コンパクト行列量子群はその上の「連続関数」がC*環の元によって与えられるような抽象的構造である。コンパクト行列量子群の幾何学は非可換幾何学の特別な場合である。
コンパクトハウスドルフ位相空間上の複素数値連続関数の全体は可換C*環をなす。により、可換C*環はあるコンパクトハウスドルフ位相空間上の複素数値連続関数のC*環に同型であり、その位相空間はC*環によって同相の違いを除いて一意的に決定される。
コンパクト位相群 "G" に対し、C*環の準同型写像
（ただし "C(G)" ⊗ "C(G)" はC*環のテンソル積、つまり、"C"("G") と "C"("G") の代数的なテンソル積の完備化）であって、すべての "f" ∈ "C"("G") とすべての "x", "y" ∈ "G" に対して Δ("f")("x", "y") = "f"("xy")（ただしすべての "f", "g" ∈ "C"("G") とすべての "x, y" ∈ "G" に対して ("f" ⊗ "g")("x", "y") = "f"("x")"g"("y")）であるものが存在する。また、乗法的な線型写像
であって、すべての "f" ∈ "C(G)" とすべての "x" ∈ "G" に対して κ("f")("x") = "f(x−1)" となるものが存在する。これは "G" が有限でない限り真に "C"("G") をホップ代数にはしない。一方、"G" の有限次元表現はホップ *-代数でもある "C"("G") の *-部分代数を生成するのに使うことができる。具体的には、formula_47 が "G" の "n" 次元表現であれば、すべての "i", "j" に対して "uij" ∈ "C(G)" であり
である。すべての "i", "j" に対する "uij" とすべての "i", "j" に対する κ("uij") によって生成された * 代数はホップ * 代数であることが従う：余単位はすべての "i", "j" に対して ε("uij") = δ"ij"（ただし δ"ij" はクロネッカーのデルタ）によって決定され、antipode は κ で、単位は
によって与えられる。
一般化として、コンパクト行列量子群は対 ("C", "fu") として定義される、ただし "C" は C* 代数で、formula_50 は "C" の元を成分に持つ行列であって以下を満たす。
連続性の結果として、"C" 上の余積は余結合的である。
一般に、"C" は双代数ではなく、"C"0 はホップ *-環である。
インフォーマルには、"C" はコンパクト行列量子群上の複素数値連続関数の *-環と見なすことができ、"u" はコンパクト行列量子群の有限次元表現と見なすことができる。
コンパクト行列量子群の表現はホップ * 代数の余表現によって与えられる（余ユニタリ余結合的余代数 "A" の余表現は成分が "A" の正方行列 formula_53（よって "v" は M("n", "A") に属する）であってすべての "i", "j" に対して
ですべての "i", "j" に対して ε("vij") = δ"ij" となるものである）。さらに、表現 "v" は "v" の行列がユニタリであるとき（あるいは同じことだがすべての "i", "j" に対して κ("vij") = "v"*"ij" であるとき）ユニタリと呼ばれる。
コンパクト行列量子群の例は SUμ(2) である、ただしパラメーター μ は正の実数である。なので SUμ(2) = (C(SUμ(2)), "u") である、ただし C(SUμ(2)) は以下を満たす α と γ によって生成された C* 代数である：
また、
よって余積は Δ(α) = α ⊗ α − γ ⊗ γ*, Δ(γ) = α ⊗ γ + γ ⊗ α* によって決定され、余逆は κ(α) = α*, κ(γ) = −μ−1γ, κ(γ*) = −μγ*, κ(α*) = α によって決定される。"u" は表現であるがユニタリ表現ではないことに注意。"u" はユニタリ表現
と同値である。
同値であるが、SUμ(2) = (C(SUμ(2)), "w") である、ただし C(SUμ(2)) は以下を満たす α と β によって生成される C* 代数である：
また
よって余積は Δ(α) = α ⊗ α − μβ ⊗ β*, Δ(β) = α ⊗ β + β ⊗ α* によって決定され、余逆は κ(α) = α*, κ(β) = −μ−1β, κ(β*) = −μβ*, κ(α*) = α によって決定される。"w" はユニタリ表現であることに注意。2つの実現は方程式 formula_66 によって同一視できる。
μ = 1 のとき、SUμ(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"−1, say, and coproduct
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.