24/06/20 13:23:03.45 rFjmNp0J.net
ゲージ理論：Hermann Weylが始祖。1970年代になって、マイケル・アティヤの学生 サイモン・ドナルドソンが、フィールズ賞
これも、押さえておくべし
ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%82%B8%E7%90%86%E8%AB%96
ゲージ理論（gauge theory）は、場の理論の分類である。局所変換の際にラグランジアンが不変となる系を扱う。
ゲージ（ものさし、尺度）という用語は、ラグランジアンの冗長な自由度を表している。可能なゲージを変換することをゲージ変換と呼ぶ。ゲージ変換は、リー群を形成し、理論の対称群あるいはゲージ群と呼ばれる。リー群には生成子のリー代数が付随する。それぞれの生成子に対応してゲージ場と呼ばれるベクトル場が導入され、これにより局所変換の下でのラグランジアンの不変性（ゲージ不変性）が保証される。ゲージ場を量子化して得られる粒子はゲージボゾンと呼ばれる。非可換なゲージ群の下でのゲージ理論は、非可換ゲージ理論と呼ばれ、ヤン＝ミルズ理論が代表的である。
物理学における有用な理論の多くは、ある対称性変換群の下で不変なラグランジアンによって記述される。物理的な過程が発生する時空の全ての点において一斉に同一な変換の下で不変であるとき、理論は大域対称性を持つと言う。局所対称性を要求すると、系により強い制約を課すこととなり、この点がゲージ理論の重要な点である。
ゲージ理論は、素粒子を記述する場の理論として成功している。量子電磁気学はU(1)対称性に基づく可換ゲージ理論であり、ゲージボゾンを光子として持つ電磁ポテンシャルがゲージ場である。標準模型は U(1) × SU(2) × SU(3) 対称性に基づく非可換ゲージ理論であり、1つの光子、3つのウィークボソン、および 8つのグルーオンの合計 12 のゲージボゾンを持つ。
歴史
ゲージ変換の自由度を持った最初の理論は電磁気学における、1864年のマクスウェル(James Clerk Maxwell)による電磁場の公式である
Hermann Weylが、一般相対論と電磁気学を統一しようと、スケール変換（もしくは、ゲージ変換）の下の不変性が、一般相対論の局所対称性であろうと予想した。
量子力学の発展したのち、ワイル、フォック(Vladimir Fock)、ロンドン(Fritz London)が、スカラー要素を複素数値に置き換え、スケール変換を U(1) ゲージ対称性である相(phase)の変更に置き換えることにより、スケール（ゲージ）を変形した。
このことが、電荷を帯びた量子力学的な粒子の波動函数として電磁場を説明した。
これがヴォルフガング・パウリ(Wolfgang Pauli)により1940年代に広められ、ゲージ理論として広く認識された最初であった。[1]
つづく