ワイル代数

抽象代数学におけるワイル代数（ワイルだいすう、）は多項式係数の微分作用素がなす非可換環である。量子力学におけるハイゼンベルクの不確定性原理の研究においてこの環を導入したヘルマン・ワイルにちなみ、この名前が付けられている。ワイル代数はハイゼンベルク群のリー環の普遍包絡環から、リー環の中心の生成元と普遍包絡環の単位元とを同一視して得られる商になっており、このことからハイゼンベルク代数とも呼ばれる。
定義.
以下 "F" を体とし、 "F" に係数を持ち "X" を変数とする一変数多項式環 "F"["X"] の元やその上の微分作用素を考える。多項式を係数とする微分作用素は一般に
の形に書ける。これは変数 "X" に関する微分を ∂"X" とするとき、"X" と ∂"X" とが "F" 上生成する多元環 "W"("X") := "F"["X"; ∂"X"] の元である。積の微分法則（ライプニッツ則）により ∂"X"("X"φ) = (1 + "X"∂"X")φ となるから、作用素として "X" と ∂"X" との間には
という関係がある。この "W"("X") はワイル代数と総称される多元環の無限系列の最初のものになっている。より一般に、"n"-次のワイル代数 "A""n" は "n"-変数多項式係数の微分作用素が成す環
であり、"A""n" における基本関係式は
で与えられる（δ"ij" はクロネッカーのデルタ）。これは、多項式の各変数に関する微分に対して順次を適用することによってワイル代数が構成されることをしめしている。
量子力学ではしばしば、生成元が物理量に対応する自己共役作用素となるように、複素数を係数として ∂ の代わりに formula_5 を生成元としてワイル代数を定義する。
生成元と基本関係による構成.
上で導入された代数"W"("X") は二つの生成元 "X", "Y" とそれらの間の関係
によって自由に生成された線形環と見なせる。同様にして代数 "A""n" を生成元と基本関係によって抽象的に与えることもできる。"V" をシンプレクティック形式 ω を備えた 2"n"-次元ベクトル空間のとき、"V" のワイル代数 "W"("V") は、"V" のテンソル代数 "T"("V") の、 "v" ⊗ "w" − "w" ⊗ "v" − ω("v", "w") の形の元によって生成される両側イデアル "I"による商
として定められる。言い換えれば "W"("V") は "V" によって生成され、["v", "w"] (:= "vw" − "wv") = ω("v", "w") のみを関係式とする多元環である。このとき、"W"("V") は、シンプレクティックベクトル空間に対して自然に定まるため、非退化なシンプレクティック形式 ω の取り方によらず"A""n" に同型である。 ωが0だとすれば上の関係式はVの対称代数 "S"("V") = Sym("V") を定めているので、ワイル代数 "W"("V") は"S"("V") の量子化（非可換環への変形）と見なすことができる。
"F"の標数が 0 だとすると、ワイル代数 "W"("V") は、対称代数 Sym("V") のモイヤル変形に自然同型である（ここではモイヤル積公式における定数 formula_6 を 1 に取り替え、また "V" を張るベクトルを変数と見て対称代数を "V"* 上の多項式函数と見なす）。この同型は Sym("V") から "W"("V") への対称化作用素
によって与えられる。
性質.
ワイル代数は単純環かつ整域になっている。
対称代数のワイル代数への量子化の類似物として、外積代数の量子化になっているクリフォード代数があげられる。 
この量子化の "n" = 1 の場合（および、そのフーリエ変換を用いた多項式函数を含む「ほとんどの」可積分函数への拡張）の詳細はワイル量子化を見よ。