0
大学数学基礎解説
文献あり

Dirac作用素のゼロモードと指数定理

279
0

ABJ anomalyの計算:経路積分における藤川の方法 [1] では、U(1)の電磁場がフェルミオンと結合している系においてABJ anomalyの計算を行いました。本記事ではこれを非可換ゲージ理論(以下これをYang-Mills(YM)理論と呼びます)に拡張します。計算自体はほぼU(1)の場合と変わりません。そして以下に見るように、Dirac演算子の右手ゼロモードと左手ゼロモードの差が、ゲージ場のトポロジカル不変量で書けることがわかります。粒子の右手・左手とは、γ5の固有状態のことあり、その固有値がプラスのものが右手(right handed, RH)、マイナスのものが左手(left handed, LH)です。

このように、楕円型微分作用素の解析的な指標が、幾何学的な位相的指標(トポロジカルな不変量)と結びつくのは、Atiyah-Singer及びAtiyah-Patodi-Singerの指数定理の現れです。

非可換ゲージ理論の基礎

非可換ゲージ理論(YM理論)に関しては以前記事を書きました:
ゲージ対称性とは何か(8):Yang-Mills理論とDiracの方法 Mathlog3
基本事項に関しては、この記事の「基本的なこと」をご参照ください。

本記事ではEuclid計量の空間を考え、かつフェルミオンψを含む作用を扱います。これに必要な事項を以下に記しておきます。本記事ではFujikawa2001のnotationを採用しています。

Yang-Mills理論のLagrangian

本記事で扱うEuclid空間の経路積分は以下で定義される:
Dψ¯Dψ[DAμ]exp[ψ¯(iDm)ψd4x+SYM],(1)SYM:=14d4xFμνaFaμν=12d4x tr(FμνFμν)
ここで
{:=γμDμ,  Dμ:=μigAμaTa,Fμν:=ig[Dμ,Dν]=μAνaνAμa+gfabcAμbAνc=:FμνaTa
である。フェルミオンψはゲージ群SU(N)の基本表現。ψiαのようにSU(N)の基本表現のインデックスi (1iN)とspinorのインデックスαをもつ。TaはSU(N)の生成子: [Ta,Tb]=ifabcTcfabc:群の構造定数)。Aμa (1aN21)はゲージ場であり、群の随伴表現。は共変微分であり、Fujikawa2001のnotationではエルミートである。

本記事におけるγ行列の定義に関しては、Mathlog1の「Appendix 1: Euclid空間でのγ行列」をご参照ください。また、Eq.(1)には本来ゲージ固定項が存在しますMathlog2が、本記事の議論では必要ないので省いています。

ゲージ変換

ψAμ:=AμaTaのゲージ変換性は以下:
ψUψ,   AμA=UμU1+1igUAμU1
ここで
U:=exp(iθa(x)Ta),   U1=U
である。θa(x)は時空に依存する任意関数。

ψ¯(im)ψ14FμνaFaμν=12tr(FμνFμν)はゲージ変換に対し不変なので、上記Lagrangianもゲージ不変です。

非可換ゲージ理論におけるカイラルアノマリー

局所的なカイラル変換に関し、Eq.(1)の経路積分のヤコビアンを計算します。

局所的な無限小カイラル変換
ψψ(x)=eiα(x)γ5ψ(x)=ψ(x)+iα(x)γ5ψ(x),ψ¯ψ¯(x)=ψ¯(x)eiα(x)γ5=ψ¯(x)+ψ¯(x)iα(x)γ5
に対し、YM理論の経路積分のヤコビアンは以下で与えられる:
J=exp[2in=1d4xα(x)φn(x)γ5φn(x)]
ここでφnはDirac演算子の固有関数であり、φn=λnφnλn:固有値)を満たす。

これはMathlog1の「公式1 局所的なカイラル変換に関するヤコビアン1」の証明と同じなので省略する。

次にJを正則化し計算します。

以下の関係式が成立する:
(2)limMn=1d4x α(x)φn(x)γ5f(λn2/M2)φn(x)=d4x α(x)g232π2tr ϵμναβFμνFαβ
ff(0)=1, f()=0, limx0xf(x)=limxxf(x)=0を満たす十分に早く減少する関数。

これもMathlog1における「公式2」のYM理論バージョンの式であり、導出は殆ど同じです。

limMn=1d4x α(x)φn(x)γ5f(λn2/M2)φn(x)=limMn=1d4x α(x)φn(x)γ5f(2/M2)φn(x)=:Trα(x)γ5f(2/M2)
ここでTrは時空の積分、Diracのトレースと共にゲージ群に関してもトレースをとっていることに注意。以降trTrから時空の積分を除いたものとする。この式は正則化されているので、Mathlog1と同様平面波で展開して計算してよい。これを実行すると以下のようになる:
tr α(x)γ5f(2/M2)=limMtrM4d4k(2π)4γ5f{(ikμ+Dμ/M)2ig4[γμ,γν]Fμν/M2}
U(1)ゲージ理論の場合の対応する式の証明はMathlog1のAppendix 2に示してある。証明を追えばわかるように、これは非可換ゲージ理論に関しても全く同様に成立する。
この先の計算もMathlog1と同様である。「公式2 局所的なカイラル変換に関するヤコビアン2」において非可換ゲージ理論の場合に変更されるのは、egtrがゲージ群のトレースを含むことである。これより
Eq.(2)=trγ512!{ig4[γμ,γν]Fμν}2d4k(2π)4f(kμkμ)=g232π2trϵμναβFμνFαβ
となる。時空の積分とα(x)を戻せば最終的にEq.(2)を得る。

これより、YM理論の場合の局所的なカイラル変換のヤコビアンは
J=exp[2id4α(x)g232π2trϵμναβFμνFαβ]
となります。

Diracゼロモードと量子アノマリー・指数定理の関係

Eq.(2)でαを定数とすれば
(3)limMn=1d4x φn(x)γ5f(λn2/M2)φn(x)=d4x g232π2tr ϵμναβFμνFαβ
となります。この式の左辺は次のようにDirac演算子のゼロモードで書くことができます。

Eq.(3)の左辺は以下のように表せる:
limMn=1d4x φn(x)γ5f(λn2/M2)φn(x)=n+n
ここでn+はDirac演算子のゼロ固有値のモードのうちright handed (RH) のモードの数、nは同left handed (LH) のモードの数である。

d4xφn(x)γ5φn(x)について考える。はHermiteなので、違う固有値に属する固有関数は直交する。ここでγ5=γ5より、λn0の固有関数φn=λnφn(x)が存在すれば、φ~n:=γ5φn
φ~n=λnφ~n(x)
であり、異なる固有値に属する。よって
d4xφn(x)γ5φn(x)=d4xφn(x)φ~n(x)=0   (λn0)
となる。ゆえにEq.(3)の左辺にはλn=0のモードだけが残る。ここでのゼロ固有値に属するφn(0)をrightとleftに分離する:
γ5φn(0)±=±φn(0)±
これらのモードはnormalizeされているとすると、Eq.(3)の左辺は以下のように計算できる:
limMn=1d4x φn(x)γ5f(λn2/M2)φn(x)=d4x {φn(0)+(x)γ5φn(0)+(x)+φn(0)(x)γ5φn(0)(x)}=d4x φn(0)+(x)φn(0)+(x)d4xφn(0)(x)φn(0)(x)=n+n
ここでn+はRHのゼロモードの数、nはLHのゼロモードの数である。

よってEq.(3)は
n+n=ν,   ν:=d4x g232π2tr ϵμναβFμνFαβ
と書けます。n+nは整数なのでνも整数です。よってこの量はゲージ場の連続変形で変化しないトポロジカルな不変量であると予想できます。

実際νの被積分関数は第2Chern指標と呼ばれ、S4上で積分すると整数になるトポロジカルな量です(Nakahara1990 P63)。そしてこれはインスタントンというYM理論のトポロジカルなソリトン解と関係します。インスタントン解はθ真空というYM理論の真空の間を結ぶ解です。この解が作用を有限にする条件等により、インスタントンの無限遠での振る舞いに条件をつけ、4次元Euclid時空R4を1点コンパクト化しR4{}S4とみなします(Nash1989 P257)。この解をνに入れることで、νが写像度であり保存量であることがわかります。この事実は、インスタントンがフェルミオンのRHとLHのゼロモードの差と関係することを示しています。これは「Atiyah-Singerの指数定理」の現れですNakahara1990。これに関しては次の記事で述べます。

一方 「無限ホテル」から始める量子異常 Mathlog4では、ϵμναβFμνFαβをノンゼロにする外場としての電磁場が存在する場合、軸性ベクトル電荷Q5が時間と共に増加することを述べました。この場合はインスタントンと違い、ゲージ場が定義されている空間がコンパクトではなく境界を持ちます。このときϵμναβFμνFαβはスペクトル流=「RHとLHのゼロモードの数の差の時間当たりのフロー」になります。これは境界をもつ底空間M上で定義された作用素の指数に関する定理である「Atiyah-Patodi-Singerの指数定理」の現れですNakahara1990

まとめ

非可換ゲージ理論の経路積分における局所的なカイラル変換に対するヤコビアンを計算しました。適切に正則化し計算すると、ゲージ場で表される第2Chern指標の積分が、Dirac作用素のゼロモードのLHとRHの数の差と等しいことがわかります。これは楕円型微分作用素の解析的指標と位相的指標の関係を示すAtiyah-Singer及びAtiyah-Patodi-Singerの指数定理の現れです。

保存則の観点から言えば、これらの事実は、古典的に保存するカレントが量子論では破れる現象である量子アノマリーと関係します。経路積分のヤコビアンとカレントの発散はWard恒等式により結びつきます。この恒等式より、位相的指標とカレントの発散の関係がわかります。標語的に言えば、対称性は量子効果により位相的指標ぶんだけ破れます。これらのお話に関してはMathlog1Mathlog4をご参照ください。

おしまい。

参考文献

[3]
藤川和男, 経路積分と対称性の量子的破れ, 新物理学選書, 岩波書店, 2001
[5]
中原幹夫, 理論物理学のための 幾何学とトポロジーII, Pearson Education Japan, 1990
[6]
チャールズ・ナッシュ、シッダールタ・セン (佐々木隆監訳 南部保貞/吉井久博訳), 物理学者のための トポロジーと幾何学, マグロウヒル, 1989
投稿日:2023728
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

bisaitama
bisaitama
142
64876

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 非可換ゲージ理論の基礎
  2. 非可換ゲージ理論におけるカイラルアノマリー
  3. Diracゼロモードと量子アノマリー・指数定理の関係
  4. まとめ
  5. 参考文献