曲面のような空間の各点にベクトル空間がくっついていて、全体がねじれてつながっているとします。この「ねじれ具合」を、数で測れないでしょうか。接続という「隣の点へのずらし方の規則」を一つ決めると、各点で曲率という量が決まります。規則を取り替えると曲率は変わりますが、閉じた曲面全体で足し合わせた値は変わらず、直線束の場合は(i 2 π \frac{i}{2\pi} 2 π i 倍すると)整数になります。この記事では、その仕組み(Chern–Weil 理論)を示し、量子 Hall 効果の整数や Berry 位相が同じ枠組みで説明できることを見ます。以下の箇条書きは、その結論を専門用語のまま並べたものです。
Lie 環上の不変多項式 f f f に曲率 F F F を代入した f ( F ) f(F) f ( F ) は、M M M 上の閉形式になり、その de Rham 類は接続の取り方によりません(定理 2.3 )。差は超越形式 の外微分 d T f ( A 0 , A 1 ) d\,Tf(A_0,A_1) d T f ( A 0 , A 1 ) で書けます。これが Chern–Weil 準同型 です。
U ( n ) U(n) U ( n ) 束では det ( 1 + i 2 π F ) = 1 + c 1 + c 2 + ⋯ \det\bigl(1+\tfrac{i}{2\pi}F\bigr)=1+c_1+c_2+\cdots det ( 1 + 2 π i F ) = 1 + c 1 + c 2 + ⋯ が Chern 類 、S O ( 2 m ) SO(2m) S O ( 2 m ) 束では Pfaffian Pf ( F / 2 π ) \operatorname{Pf}(F/2\pi) Pf ( F /2 π ) が Euler 類 を与えます(定義 3.1 、定義 3.3 )。向き付けられた平面束では e = c 1 e=c_1 e = c 1 です。
閉曲面上の複素直線束の Chern 数 ∫ Σ c 1 \int_\Sigma c_1 ∫ Σ c 1 は整数です(定理 4.1 )。証明は、曲面を小さな多角形に分けると各辺の平行移動が 2 回ずつ逆向きに現れ、ホロノミーの積が 1 1 1 になることだけを使います。Hopf 束(磁気単極子)の Chern 数は − 1 -1 − 1 です。
パラメータに依存する Hermite 行列の孤立した固有値の固有空間は直線束をなし、射影による微分が Berry 接続 です(命題 5.1 )。Berry 位相はそのホロノミー、TKNN の Hall 伝導度はその Chern 数です。
tr ( F ∧ F ) = d C S ( A ) \operatorname{tr}(F\wedge F)=d\,\mathrm{CS}(A) tr ( F ∧ F ) = d CS ( A ) となる Chern–Simons 形式 C S ( A ) = tr ( A ∧ d A + 2 3 A ∧ A ∧ A ) \mathrm{CS}(A)=\operatorname{tr}(A\wedge dA+\tfrac23A\wedge A\wedge A) CS ( A ) = tr ( A ∧ d A + 3 2 A ∧ A ∧ A ) は、ゲージ変換で巻き付き数の項だけずれます(定理 6.1 )。これはアノマリーと Chern–Simons 理論の水準の量子化の幾何学的な起源です。
この記事で使う事前知識
接続・ゲージポテンシャル・曲率 : 主束の各点で「ずらし方」を決めるのが接続で、局所切断に関する表示がポテンシャル A A A 、その曲率が F = d A + A ∧ A F=dA+A\wedge A F = d A + A ∧ A です。→ ファイバー束・主束と接続
ゲージ変換 : 局所切断を取り替えたときにポテンシャルが A ↦ g − 1 A g + g − 1 d g A\mapsto g^{-1}Ag+g^{-1}dg A ↦ g − 1 A g + g − 1 d g と変わる規則のことです。
ホロノミー : ループに沿って平行移動したとき、ファイバーが元の位置に戻ってどれだけ変換されるか、という量です。→ ファイバー束・主束と接続
de Rham コホモロジー : 閉形式を、完全形式(ある形式の外微分)の差を無視して同一視した類の集まりです。→ de Rham コホモロジー
ベクトル束 : 多様体の各点にベクトル空間(ファイバー)が滑らかにくっついたものです。
Hermite 行列の固有値 : Hermite 行列はユニタリ行列で対角化でき、固有値は実数です。→ ユニタリ行列
前章 の Hopf 束では、曲率の積分 ∫ S 2 F = 2 π i \int_{S^2}F=2\pi i ∫ S 2 F = 2 π i が束の非自明性を示していました。接続を取り替えると F F F は変わりますが、この積分は変わらないはずです。なぜなら、自明な束では F = d A F=dA F = d A (大域的)から積分は 0 0 0 になり、積分の値は束の「ねじれ具合」だけを測っているように見えるからです。Chern–Weil 理論はこの直観を一般化し、曲率から作られる閉形式のコホモロジー類が、束だけで決まる位相不変量(特性類 )であることを示します。
物理ではこの不変量があちこちに現れます。
量子 Hall 効果の Hall 伝導度は、Brillouin ゾーン上の Bloch 束の Chern 数に e 2 / h e^2/h e 2 / h を掛けたものです(TKNN 公式、トポロジカル相 )。
断熱過程で量子状態が得る Berry 位相は、固有状態の束の接続のホロノミーです。
軸性アノマリー ∂ μ j μ 5 ∝ ϵ μ ν ρ σ F μ ν F ρ σ \partial_\mu j^{\mu5}\propto\epsilon^{\mu\nu\rho\sigma}F_{\mu\nu}F_{\rho\sigma} ∂ μ j μ 5 ∝ ϵ μν ρ σ F μν F ρ σ の右辺は第 2 Chern 形式で、その積分(インスタントン数)は整数です(定理 6.2[非可換ゲージ理論の量子化] )。
以下、前章と同じく G G G は行列 Lie 群、g \mathfrak{g} g はその Lie 環で、A α A_\alpha A α 、F α = d A α + A α ∧ A α F_\alpha=dA_\alpha+A_\alpha\wedge A_\alpha F α = d A α + A α ∧ A α は局所切断 s α s_\alpha s α に関するゲージポテンシャルと曲率です。
定義 2.1 (不変多項式 ) ↗
対称な k k k 重線形写像 f : g × ⋯ × g → C f\colon\mathfrak{g}\times\dots\times\mathfrak{g}\to\mathbb{C} f : g × ⋯ × g → C が不変 であるとは、すべての g ∈ G g\in G g ∈ G について f ( g X 1 g − 1 , … , g X k g − 1 ) = f ( X 1 , … , X k ) f(gX_1g^{-1},\dots,gX_kg^{-1})=f(X_1,\dots,X_k) f ( g X 1 g − 1 , … , g X k g − 1 ) = f ( X 1 , … , X k ) が成り立つことをいう。f ( X ) = f ( X , … , X ) f(X)=f(X,\dots,X) f ( X ) = f ( X , … , X ) と略記する。
g ⊂ g l ( N ) \mathfrak{g}\subset\mathfrak{gl}(N) g ⊂ gl ( N ) のとき、f k ( X 1 , … , X k ) = 1 k ! ∑ σ tr ( X σ ( 1 ) ⋯ X σ ( k ) ) f_k(X_1,\dots,X_k)=\frac1{k!}\sum_{\sigma}\operatorname{tr}(X_{\sigma(1)}\cdots X_{\sigma(k)}) f k ( X 1 , … , X k ) = k ! 1 ∑ σ tr ( X σ ( 1 ) ⋯ X σ ( k ) ) は不変で、f k ( X ) = tr X k f_k(X)=\operatorname{tr}X^k f k ( X ) = tr X k です。det ( 1 + t X ) \det(1+tX) det ( 1 + tX ) の t k t^k t k の係数も(対称化すれば)不変多項式で、tr X k \operatorname{tr}X^k tr X k の多項式で書けます。
g \mathfrak{g} g 値の微分形式 α 1 , … , α k \alpha_1,\dots,\alpha_k α 1 , … , α k (次数 p 1 , … , p k p_1,\dots,p_k p 1 , … , p k )には、g \mathfrak{g} g の基底 X a X_a X a で α i = ∑ a α i a X a \alpha_i=\sum_a\alpha_i^aX_a α i = ∑ a α i a X a と展開して
f ( α 1 , … , α k ) = ∑ a 1 , … , a k α 1 a 1 ∧ ⋯ ∧ α k a k f ( X a 1 , … , X a k ) f(\alpha_1,\dots,\alpha_k)=\sum_{a_1,\dots,a_k}\alpha_1^{a_1}\wedge\dots\wedge\alpha_k^{a_k}\,f(X_{a_1},\dots,X_{a_k}) f ( α 1 , … , α k ) = a 1 , … , a k ∑ α 1 a 1 ∧ ⋯ ∧ α k a k f ( X a 1 , … , X a k )
と代入します。偶数次の形式どうしは可換なので、F F F のような 2 形式を代入したものは引数について対称です。局所的に α β = g α β − 1 α α g α β \alpha_\beta=g_{\alpha\beta}^{-1}\alpha_\alpha g_{\alpha\beta} α β = g α β − 1 α α g α β と変換する形式(随伴型 の形式。曲率がその例:命題 5.1[ファイバー束・主束と接続] 1)を代入すると、不変性により f ( α 1 , … , α k ) f(\alpha_1,\dots,\alpha_k) f ( α 1 , … , α k ) は重なりで一致し、M M M 上の大域的な形式になります。随伴型の p p p 形式 α \alpha α の共変外微分 を
D α = d α + A ∧ α − ( − 1 ) p α ∧ A D\alpha=d\alpha+A\wedge\alpha-(-1)^p\alpha\wedge A D α = d α + A ∧ α − ( − 1 ) p α ∧ A
と定めます。
次の補題は、この節の主定理の証明で外微分を計算するための道具です。共変外微分 D D D は、ゲージ変換しても同じ規則で変わる形式(随伴型)に対して、ふつうの外微分 d d d の代わりをするものと読んでください。証明の 2 は、一点でポテンシャルが 0 0 0 になるゲージに取り替えれば、その点では D D D が d d d と一致して計算が楽になる、という方針です。
補題 2.2 (共変外微分と不変多項式 ) ✓
随伴型の形式 α \alpha α に対し D α D\alpha D α も随伴型である。
随伴型の形式 α 1 , … , α k \alpha_1,\dots,\alpha_k α 1 , … , α k (次数 p i p_i p i )に対し
d f ( α 1 , … , α k ) = ∑ i = 1 k ( − 1 ) p 1 + ⋯ + p i − 1 f ( α 1 , … , D α i , … , α k ) . d\,f(\alpha_1,\dots,\alpha_k)=\sum_{i=1}^k(-1)^{p_1+\dots+p_{i-1}}f(\alpha_1,\dots,D\alpha_i,\dots,\alpha_k). d f ( α 1 , … , α k ) = i = 1 ∑ k ( − 1 ) p 1 + ⋯ + p i − 1 f ( α 1 , … , D α i , … , α k ) .
Bianchi 恒等式は D F = 0 DF=0 D F = 0 と書ける。
証明(補題 2.2) 1。 A ′ = g − 1 A g + g − 1 d g A'=g^{-1}Ag+g^{-1}dg A ′ = g − 1 A g + g − 1 d g 、α ′ = g − 1 α g \alpha'=g^{-1}\alpha g α ′ = g − 1 α g とし、d ( g − 1 ) = − g − 1 d g g − 1 d(g^{-1})=-g^{-1}dg\,g^{-1} d ( g − 1 ) = − g − 1 d g g − 1 を使って展開すると
d α ′ = − g − 1 d g g − 1 ∧ α g + g − 1 d α g + ( − 1 ) p g − 1 α ∧ d g , A ′ ∧ α ′ − ( − 1 ) p α ′ ∧ A ′ = g − 1 ( A ∧ α − ( − 1 ) p α ∧ A ) g + g − 1 d g g − 1 ∧ α g − ( − 1 ) p g − 1 α ∧ d g \begin{aligned}
d\alpha'&=-g^{-1}dg\,g^{-1}\wedge\alpha g+g^{-1}d\alpha\,g+(-1)^pg^{-1}\alpha\wedge dg,\\
A'\wedge\alpha'-(-1)^p\alpha'\wedge A'&=g^{-1}(A\wedge\alpha-(-1)^p\alpha\wedge A)g+g^{-1}dg\,g^{-1}\wedge\alpha g-(-1)^pg^{-1}\alpha\wedge dg
\end{aligned} d α ′ A ′ ∧ α ′ − ( − 1 ) p α ′ ∧ A ′ = − g − 1 d g g − 1 ∧ α g + g − 1 d α g + ( − 1 ) p g − 1 α ∧ d g , = g − 1 ( A ∧ α − ( − 1 ) p α ∧ A ) g + g − 1 d g g − 1 ∧ α g − ( − 1 ) p g − 1 α ∧ d g で、和は g − 1 ( D α ) g g^{-1}(D\alpha)g g − 1 ( D α ) g です。
2。 両辺は大域的な形式なので、各点 x x x で一致を示せば十分です。x x x のまわりの座標を x ( x ) = 0 x(x)=0 x ( x ) = 0 となるように取り、h = exp ( − ∑ i x i A i ( x ) ) h=\exp\bigl(-\sum_ix^iA_i(x)\bigr) h = exp ( − ∑ i x i A i ( x ) ) と置きます(A = ∑ i A i d x i A=\sum_iA_idx^i A = ∑ i A i d x i 、A i ( x ) A_i(x) A i ( x ) は点 x x x での値で定数行列)。h ( x ) = 1 h(x)=1 h ( x ) = 1 、d h ( x ) = − A ( x ) dh(x)=-A(x) d h ( x ) = − A ( x ) なので、ゲージ変換後のポテンシャル h − 1 A h + h − 1 d h h^{-1}Ah+h^{-1}dh h − 1 A h + h − 1 d h は x x x で 0 0 0 です。1 と 命題 6.2[ファイバー束・主束と接続] により両辺はゲージ変換で変わらないので、A ( x ) = 0 A(x)=0 A ( x ) = 0 のゲージで示せばよく、そのとき x x x で D α i = d α i D\alpha_i=d\alpha_i D α i = d α i です。f f f は定数係数の多重線形写像なので、外微分の Leibniz 則から主張は x x x で成り立ちます。
3 は 命題 5.1[ファイバー束・主束と接続] 2 そのものです(p = 2 p=2 p = 2 で D F = d F + A ∧ F − F ∧ A DF=dF+A\wedge F-F\wedge A D F = d F + A ∧ F − F ∧ A )。
∎
次の定理は、曲率から作る形式が閉であることと、接続を取り替えても de Rham 類が変わらないことを述べます。1 は補題から出ます。2 は、A 0 A_0 A 0 から A 1 A_1 A 1 まで A t = A 0 + t η A_t=A_0+t\eta A t = A 0 + t η でつないで、f ( F t ) f(F_t) f ( F t ) の t t t による微分が完全形式になることを示す、という方針です。
定理 2.3 (Chern–Weil の定理 ) ✓
P → M P\to M P → M を主 G G G 束、f f f を次数 k k k の不変多項式とする。
任意の接続について f ( F ) f(F) f ( F ) は M M M 上の閉 2 k 2k 2 k 形式である。
二つの接続 A 0 , A 1 A_0,A_1 A 0 , A 1 について η = A 1 − A 0 \eta=A_1-A_0 η = A 1 − A 0 、A t = A 0 + t η A_t=A_0+t\eta A t = A 0 + t η 、F t F_t F t をその曲率とすると
f ( F 1 ) − f ( F 0 ) = d T f ( A 0 , A 1 ) , T f ( A 0 , A 1 ) = k ∫ 0 1 f ( η , F t , … , F t ) d t . f(F_1)-f(F_0)=d\,Tf(A_0,A_1),\qquad Tf(A_0,A_1)=k\int_0^1f(\eta,F_t,\dots,F_t)\,dt. f ( F 1 ) − f ( F 0 ) = d T f ( A 0 , A 1 ) , T f ( A 0 , A 1 ) = k ∫ 0 1 f ( η , F t , … , F t ) d t .
したがって de Rham 類 [ f ( F ) ] ∈ H d R 2 k ( M ; C ) [f(F)]\in H^{2k}_{\mathrm{dR}}(M;\mathbb{C}) [ f ( F )] ∈ H dR 2 k ( M ; C ) は接続によらない。
f ↦ [ f ( F ) ] f\mapsto[f(F)] f ↦ [ f ( F )] は不変多項式の環から H d R e v ( M ; C ) H^{\mathrm{ev}}_{\mathrm{dR}}(M;\mathbb{C}) H dR ev ( M ; C ) への環準同型(Chern–Weil 準同型 )である。
証明(定理 2.3) 1。 補題 2.2 2、3 から d f ( F , … , F ) = ∑ i f ( F , … , D F , … , F ) = 0 d\,f(F,\dots,F)=\sum_if(F,\dots,DF,\dots,F)=0 d f ( F , … , F ) = ∑ i f ( F , … , D F , … , F ) = 0 です(F F F は偶数次なので符号はすべて + + + )。
2。 η \eta η は二つの接続の差なので、変換則の非斉次項 g − 1 d g g^{-1}dg g − 1 d g が打ち消し合って随伴型です。A t A_t A t は接続で(定理 4.3[ファイバー束・主束と接続] 2 の変換則を満たす)、
F t = d A 0 + A 0 ∧ A 0 + t ( d η + A 0 ∧ η + η ∧ A 0 ) + t 2 η ∧ η F_t=dA_0+A_0\wedge A_0+t(d\eta+A_0\wedge\eta+\eta\wedge A_0)+t^2\eta\wedge\eta F t = d A 0 + A 0 ∧ A 0 + t ( d η + A 0 ∧ η + η ∧ A 0 ) + t 2 η ∧ η です。t t t で微分すると d d t F t = d η + A t ∧ η + η ∧ A t = D t η \frac{d}{dt}F_t=d\eta+A_t\wedge\eta+\eta\wedge A_t=D_t\eta d t d F t = d η + A t ∧ η + η ∧ A t = D t η (D t D_t D t は A t A_t A t に関する共変外微分)です。f f f の対称性から
d d t f ( F t ) = k f ( D t η , F t , … , F t ) . \frac{d}{dt}f(F_t)=k\,f(D_t\eta,F_t,\dots,F_t). d t d f ( F t ) = k f ( D t η , F t , … , F t ) . 一方 補題 2.2 2 と D t F t = 0 D_tF_t=0 D t F t = 0 から d f ( η , F t , … , F t ) = f ( D t η , F t , … , F t ) d\,f(\eta,F_t,\dots,F_t)=f(D_t\eta,F_t,\dots,F_t) d f ( η , F t , … , F t ) = f ( D t η , F t , … , F t ) です。t t t について 0 0 0 から 1 1 1 まで積分し、外微分と t t t 積分を交換すれば主張を得ます(被積分関数は t t t について滑らか)。
3。 積 f g fg f g (対称化した積)について ( f g ) ( F ) = f ( F ) ∧ g ( F ) (fg)(F)=f(F)\wedge g(F) ( f g ) ( F ) = f ( F ) ∧ g ( F ) は代入の定義から従い、類の積は代表元の積で定まります。
∎
定義 3.1 (Chern 類 ) ↗
E E E を Hermite 計量と、それと両立する接続を持つ階数 n n n の複素ベクトル束とする(g = u ( n ) \mathfrak{g}=\mathfrak{u}(n) g = u ( n ) 、F F F は反 Hermite 行列値)。
c ( E ) = det ( 1 + i 2 π F ) = 1 + c 1 ( E ) + c 2 ( E ) + ⋯ , c k ( E ) ∈ H d R 2 k ( M ) c(E)=\det\Bigl(1+\frac{i}{2\pi}F\Bigr)=1+c_1(E)+c_2(E)+\cdots,\qquad c_k(E)\in H^{2k}_{\mathrm{dR}}(M) c ( E ) = det ( 1 + 2 π i F ) = 1 + c 1 ( E ) + c 2 ( E ) + ⋯ , c k ( E ) ∈ H dR 2 k ( M ) で第 k k k Chern 類 c k ( E ) c_k(E) c k ( E ) を定める。とくに第 1 Chern 類 は c 1 = i 2 π tr F c_1=\frac{i}{2\pi}\operatorname{tr}F c 1 = 2 π i tr F 、tr F = 0 \operatorname{tr}F=0 tr F = 0 のとき c 2 = 1 8 π 2 tr ( F ∧ F ) c_2=\frac1{8\pi^2}\operatorname{tr}(F\wedge F) c 2 = 8 π 2 1 tr ( F ∧ F ) 。
i 2 π F \frac{i}{2\pi}F 2 π i F は Hermite 行列値なので、その固有値の基本対称式 である c k c_k c k は実数値の形式です。定理 2.3 により類は接続によりません。また c 2 c_2 c 2 の式は、det ( 1 + X ) \det(1+X) det ( 1 + X ) の 2 次の部分が 1 2 ( ( tr X ) 2 − tr X 2 ) \frac12\bigl((\operatorname{tr}X)^2-\operatorname{tr}X^2\bigr) 2 1 ( ( tr X ) 2 − tr X 2 ) であることから従います。
命題 3.2 (Chern 類の基本性質 ) ✓
(自然性)滑らかな写像 ϕ : N → M \phi\colon N\to M ϕ : N → M について c ( ϕ ∗ E ) = ϕ ∗ c ( E ) c(\phi^*E)=\phi^*c(E) c ( ϕ ∗ E ) = ϕ ∗ c ( E ) 。
(Whitney の和公式)c ( E ⊕ E ′ ) = c ( E ) ∧ c ( E ′ ) c(E\oplus E')=c(E)\wedge c(E') c ( E ⊕ E ′ ) = c ( E ) ∧ c ( E ′ ) 。
直線束について c 1 ( L ⊗ L ′ ) = c 1 ( L ) + c 1 ( L ′ ) c_1(L\otimes L')=c_1(L)+c_1(L') c 1 ( L ⊗ L ′ ) = c 1 ( L ) + c 1 ( L ′ ) 、c 1 ( L ∗ ) = − c 1 ( L ) c_1(L^*)=-c_1(L) c 1 ( L ∗ ) = − c 1 ( L ) 。
E E E が自明なら c ( E ) = 1 c(E)=1 c ( E ) = 1 。
証明(命題 3.2) 1。 E E E の接続を引き戻すと、局所ポテンシャルは ϕ ∗ A α \phi^*A_\alpha ϕ ∗ A α 、曲率は ϕ ∗ F α \phi^*F_\alpha ϕ ∗ F α で、行列式は引き戻しと可換です。2。 E ⊕ E ′ E\oplus E' E ⊕ E ′ の変換関数はブロック対角 g ⊕ g ′ g\oplus g' g ⊕ g ′ です(命題 2.4[ファイバー束・主束と接続] )。E , E ′ E,E' E , E ′ の接続の直和はブロック対角の接続で、曲率もブロック対角 F ⊕ F ′ F\oplus F' F ⊕ F ′ 、行列式は積になります。3。 L ⊗ L ′ L\otimes L' L ⊗ L ′ の接続 ∇ ⊗ 1 + 1 ⊗ ∇ ′ \nabla\otimes1+1\otimes\nabla' ∇ ⊗ 1 + 1 ⊗ ∇ ′ の局所ポテンシャルは A + A ′ A+A' A + A ′ (U ( 1 ) U(1) U ( 1 ) では数値)で、曲率は F + F ′ F+F' F + F ′ です。L ∗ L^* L ∗ では変換関数が g ˉ = g − 1 \bar g=g^{-1} g ˉ = g − 1 で、ポテンシャルは − A -A − A です。4。 自明な束は A = 0 A=0 A = 0 の接続を持ち、F = 0 F=0 F = 0 です。
∎
次の Euler 類は、偶数階数の向き付けられた実ベクトル束に対するもので、反対称行列の Pfaffian(定義の中の式で、下で触れるように 2 乗すると行列式になる量)に曲率を代入して作ります。
定義 3.3 (Euler 類 ) ↗
E E E を計量と両立する接続を持つ向き付けられた実ベクトル束で、階数 2 m 2m 2 m のものとする(g = s o ( 2 m ) \mathfrak{g}=\mathfrak{so}(2m) g = so ( 2 m ) )。反対称行列 X X X の Pfaffian を
Pf ( X ) = 1 2 m m ! ∑ σ ∈ S 2 m sgn ( σ ) X σ ( 1 ) σ ( 2 ) ⋯ X σ ( 2 m − 1 ) σ ( 2 m ) \operatorname{Pf}(X)=\frac1{2^mm!}\sum_{\sigma\in S_{2m}}\operatorname{sgn}(\sigma)\,X_{\sigma(1)\sigma(2)}\cdots X_{\sigma(2m-1)\sigma(2m)} Pf ( X ) = 2 m m ! 1 σ ∈ S 2 m ∑ sgn ( σ ) X σ ( 1 ) σ ( 2 ) ⋯ X σ ( 2 m − 1 ) σ ( 2 m ) とし、e ( E ) = [ Pf ( 1 2 π F ) ] ∈ H d R 2 m ( M ) e(E)=\bigl[\operatorname{Pf}\bigl(\tfrac{1}{2\pi}F\bigr)\bigr]\in H^{2m}_{\mathrm{dR}}(M) e ( E ) = [ Pf ( 2 π 1 F ) ] ∈ H dR 2 m ( M ) を Euler 類 という。
Pfaffian は Pf ( g X g T ) = det ( g ) Pf ( X ) \operatorname{Pf}(gXg^{\mathsf{T}})=\det(g)\operatorname{Pf}(X) Pf ( g X g T ) = det ( g ) Pf ( X ) を満たすので(Pf ( X ) \operatorname{Pf}(X) Pf ( X ) は ∑ i < j X i j e i ∧ e j \sum_{i<j}X_{ij}e_i\wedge e_j ∑ i < j X ij e i ∧ e j の m m m 乗を m ! m! m ! で割ったものの e 1 ∧ ⋯ ∧ e 2 m e_1\wedge\dots\wedge e_{2m} e 1 ∧ ⋯ ∧ e 2 m の係数で、g g g による基底変換で行列式倍される)、S O ( 2 m ) SO(2m) S O ( 2 m ) について不変です。Pf ( X ) 2 = det X \operatorname{Pf}(X)^2=\det X Pf ( X ) 2 = det X も成り立ちます。m = 1 m=1 m = 1 では Pf ( 0 a − a 0 ) = a \operatorname{Pf}\begin{pmatrix}0&a\\-a&0\end{pmatrix}=a Pf ( 0 − a a 0 ) = a です。
例 3.4 (曲面の Euler 類と Gauss–Bonnet )
向き付けられた Riemann 曲面 Σ \Sigma Σ の接バンドルでは、正規直交枠に関する Levi-Civita 接続の曲率は Ω = ( 0 Ω 1 2 − Ω 1 2 0 ) \Omega=\begin{pmatrix}0&\Omega^1{}_2\\-\Omega^1{}_2&0\end{pmatrix} Ω = ( 0 − Ω 1 2 Ω 1 2 0 ) 、Ω 1 2 = K θ 1 ∧ θ 2 \Omega^1{}_2=K\,\theta^1\wedge\theta^2 Ω 1 2 = K θ 1 ∧ θ 2 である(定理 6.2[曲率テンソル] の後の段落)。よって e ( T Σ ) e(T\Sigma) e ( T Σ ) は 1 2 π K v o l \frac1{2\pi}K\,\mathrm{vol} 2 π 1 K vol で代表され、Gauss–Bonnet の定理(曲線と曲面 )は ∫ Σ e ( T Σ ) = χ ( Σ ) \int_\Sigma e(T\Sigma)=\chi(\Sigma) ∫ Σ e ( T Σ ) = χ ( Σ ) と読める。単位球面では 1 2 π ⋅ 4 π = 2 = χ ( S 2 ) \frac1{2\pi}\cdot4\pi=2=\chi(S^2) 2 π 1 ⋅ 4 π = 2 = χ ( S 2 ) である。高次元の一般化 ∫ M e ( T M ) = χ ( M ) \int_Me(TM)=\chi(M) ∫ M e ( T M ) = χ ( M ) (Gauss–Bonnet–Chern)は指数定理の一例である(例 3.3[指数定理] )。
向き付けられた階数 2 の実ベクトル束 は、正の向きの 90 ° 90° 90° 回転を i i i 倍とみなすことで複素直線束になり、S O ( 2 ) ≅ U ( 1 ) SO(2)\cong U(1) S O ( 2 ) ≅ U ( 1 ) です。回転の生成子 ( 0 − a a 0 ) \begin{pmatrix}0&-a\\a&0\end{pmatrix} ( 0 a − a 0 ) は i a ∈ u ( 1 ) ia\in\mathfrak{u}(1) ia ∈ u ( 1 ) に対応するので、Ω \Omega Ω は − i Ω 1 2 -i\Omega^1{}_2 − i Ω 1 2 に対応し、c 1 = i 2 π ( − i Ω 1 2 ) = 1 2 π Ω 1 2 = Pf ( Ω / 2 π ) c_1=\frac{i}{2\pi}(-i\Omega^1{}_2)=\frac1{2\pi}\Omega^1{}_2=\operatorname{Pf}(\Omega/2\pi) c 1 = 2 π i ( − i Ω 1 2 ) = 2 π 1 Ω 1 2 = Pf ( Ω/2 π ) 。すなわち e = c 1 e=c_1 e = c 1 です。
実ベクトル束には、不変多項式 det ( 1 + X / 2 π ) \det(1+X/2\pi) det ( 1 + X /2 π ) (X ∈ s o ( r ) X\in\mathfrak{so}(r) X ∈ so ( r ) )から Pontryagin 類 p k ∈ H d R 4 k ( M ) p_k\in H^{4k}_{\mathrm{dR}}(M) p k ∈ H dR 4 k ( M ) が同じ方法で定まり、複素化の Chern 類と p k ( E ) = ( − 1 ) k c 2 k ( E ⊗ C ) p_k(E)=(-1)^kc_{2k}(E\otimes\mathbb{C}) p k ( E ) = ( − 1 ) k c 2 k ( E ⊗ C ) で結ばれます。定義と基本性質の証明は 指数定理 の 定義 3.11[指数定理] と 命題 3.12[指数定理] にあり、Hirzebruch の符号数定理(定理 3.14[指数定理] )や A ^ \hat A A ^ 種数に現れます。
この節の目標は、曲面上の直線束で曲率を積分した値が 2 π i 2\pi i 2 π i の整数倍になることです。方針は、曲面を小さな多角形に分け、各多角形での積分をその境界のホロノミーで表し、どの辺も隣り合う二つの多角形で逆向きに通るのでホロノミーの積が 1 1 1 になる、というものです。
定理 4.1 (曲面上の Chern 数の整数性 ) ✓
Σ \Sigma Σ を向き付けられた閉曲面とし、Σ \Sigma Σ が有限個の閉多角形 D 1 , … , D m D_1,\dots,D_m D 1 , … , D m に分割されているとする。ここで各 D j D_j D j はある座標チャートの中の(区分的に滑らかな辺を持つ)多角形で、向きは Σ \Sigma Σ から誘導され、二つの多角形は辺または頂点でのみ交わり、各辺はちょうど二つの多角形に(逆向きに)属する。さらに直線束 L L L は各 D j D_j D j の近傍で自明であるとする。このとき L L L の任意の U ( 1 ) U(1) U ( 1 ) 接続について
∫ Σ c 1 ( L ) = i 2 π ∫ Σ F ∈ Z . \int_\Sigma c_1(L)=\frac{i}{2\pi}\int_\Sigma F\in\mathbb{Z}. ∫ Σ c 1 ( L ) = 2 π i ∫ Σ F ∈ Z .
証明(定理 4.1) D j D_j D j の近傍の局所切断 s j s_j s j に関するポテンシャルを A j A_j A j とします。U ( 1 ) U(1) U ( 1 ) は可換なので F = d A j F=dA_j F = d A j が D j D_j D j 上で成り立ち(命題 5.1[ファイバー束・主束と接続] 1)、多角形上の Stokes の定理(チャート内の Green の定理)から
∫ D j F = ∮ ∂ D j A j . \int_{D_j}F=\oint_{\partial D_j}A_j. ∫ D j F = ∮ ∂ D j A j . 一方、ループ ∂ D j \partial D_j ∂ D j のホロノミーは exp ( − ∮ ∂ D j A j ) \exp(-\oint_{\partial D_j}A_j) exp ( − ∮ ∂ D j A j ) です(命題 7.3[ファイバー束・主束と接続] 3 と、U ( 1 ) U(1) U ( 1 ) では経路順序が不要なこと)。よって exp ( − ∫ Σ F ) = ∏ j h o l ( ∂ D j ) \exp(-\int_\Sigma F)=\prod_j\mathrm{hol}(\partial D_j) exp ( − ∫ Σ F ) = ∏ j hol ( ∂ D j ) です。
右辺が 1 1 1 であることを示します。各頂点 v v v のファイバーに点 u v u_v u v を一つずつ選びます。向き付きの辺 e e e (v v v から w w w )に沿った平行移動について P e ( u v ) = u w τ e P_e(u_v)=u_w\tau_e P e ( u v ) = u w τ e で τ e ∈ U ( 1 ) \tau_e\in U(1) τ e ∈ U ( 1 ) を定めると、逆向きの辺では τ − e = τ e − 1 \tau_{-e}=\tau_e^{-1} τ − e = τ e − 1 です。ループ ∂ D j \partial D_j ∂ D j のホロノミーは、U ( 1 ) U(1) U ( 1 ) が可換なので、基点や出発する頂点によらず、∂ D j \partial D_j ∂ D j をなす向き付きの辺についての積 ∏ e ⊂ ∂ D j τ e \prod_{e\subset\partial D_j}\tau_e ∏ e ⊂ ∂ D j τ e に等しくなります(P e P_e P e の合成を追うと、選んだ u v u_v u v は打ち消し合う)。全体の積では各辺が両方の向きで 1 回ずつ現れるので ∏ j h o l ( ∂ D j ) = 1 \prod_j\mathrm{hol}(\partial D_j)=1 ∏ j hol ( ∂ D j ) = 1 です。
したがって exp ( − ∫ Σ F ) = 1 \exp(-\int_\Sigma F)=1 exp ( − ∫ Σ F ) = 1 、すなわち ∫ Σ F ∈ 2 π i Z \int_\Sigma F\in2\pi i\mathbb{Z} ∫ Σ F ∈ 2 π i Z で、i 2 π ∫ Σ F ∈ Z \frac{i}{2\pi}\int_\Sigma F\in\mathbb{Z} 2 π i ∫ Σ F ∈ Z です。
∎
この証明は、格子ゲージ理論の「各リンクが二つのプラケットに逆向きに現れる」構造(曲率テンソル の章の動機で触れた離散 Bianchi 恒等式)と同じものです。連続理論では Stokes の定理が、格子ではリンクの打ち消し合いが、それぞれ整数性を保証しています。
例 4.3 (Hopf 束と磁気単極子の Chern 数 )
例 7.7[ファイバー束・主束と接続] の接続では F = i 2 sin θ d θ ∧ d φ F=\tfrac i2\sin\theta\,d\theta\wedge d\varphi F = 2 i sin θ d θ ∧ d φ 、∫ S 2 F = 2 π i \int_{S^2}F=2\pi i ∫ S 2 F = 2 π i なので
∫ S 2 c 1 = i 2 π ⋅ 2 π i = − 1. \int_{S^2}c_1=\frac{i}{2\pi}\cdot2\pi i=-1. ∫ S 2 c 1 = 2 π i ⋅ 2 π i = − 1. 同伴する直線束 S 3 × U ( 1 ) C S^3\times_{U(1)}\mathbb{C} S 3 × U ( 1 ) C は、[ ( z 1 , z 2 ) , v ] ↦ v ( z 1 , z 2 ) [(z_1,z_2),v]\mapsto v(z_1,z_2) [( z 1 , z 2 ) , v ] ↦ v ( z 1 , z 2 ) により C P 1 \mathbb{CP}^1 CP 1 上のトートロジー束 (各点 [ z ] [z] [ z ] に直線 C z \mathbb{C}z C z を対応させる束)と同型である。二つの切断の変換関数 g S N = e i φ g_{SN}=e^{i\varphi} g S N = e i φ を使うと、∫ S 2 F = ∫ D N d A N + ∫ D S d A S = ∮ 赤道 ( A N − A S ) = ∮ i d φ = 2 π i \int_{S^2}F=\int_{D_N}dA_N+\int_{D_S}dA_S=\oint_{\text{赤道}}(A_N-A_S)=\oint i\,d\varphi=2\pi i ∫ S 2 F = ∫ D N d A N + ∫ D S d A S = ∮ 赤道 ( A N − A S ) = ∮ i d φ = 2 π i とも計算でき、Chern 数は変換関数の巻き付き数で決まることがわかる。物理では、磁気単極子の磁荷と電荷の積が量子化されるという Dirac の量子化条件が、この整数性(変換関数が赤道上で整数回巻くこと)の表れである。
X X X を多様体(パラメータ空間)とし、H : X → { N × N Hermite 行列 } H\colon X\to\{N\times N\text{ Hermite 行列}\} H : X → { N × N Hermite 行列 } を滑らかな写像、E ( k ) E(k) E ( k ) を H ( k ) H(k) H ( k ) の単純な 固有値で、他の固有値から離れているものとします。
命題 5.1 (固有直線束と Berry 接続 ) ✓
各 k 0 ∈ X k_0\in X k 0 ∈ X の近傍で、E ( k ) E(k) E ( k ) は滑らかであり、固有空間への直交射影 P ( k ) P(k) P ( k ) は滑らかである。固有空間 L k = im P ( k ) L_k=\operatorname{im}P(k) L k = im P ( k ) は自明な束 X × C N X\times\mathbb{C}^N X × C N の滑らかな部分直線束 L L L をなす。
L L L の切断 ψ \psi ψ に対し ∇ ψ = P d ψ \nabla\psi=P\,d\psi ∇ ψ = P d ψ は Hermite 計量と両立する接続(Berry 接続 )である。単位長の局所切断 ψ \psi ψ に関するポテンシャルと曲率は
A = ⟨ ψ , d ψ ⟩ , F = d A = ⟨ d ψ ∧ d ψ ⟩ A=\langle\psi,d\psi\rangle,\qquad F=dA=\langle d\psi\wedge d\psi\rangle A = ⟨ ψ , d ψ ⟩ , F = d A = ⟨ d ψ ∧ d ψ ⟩ で、A A A は純虚数値である(⟨ ⋅ , ⋅ ⟩ \langle\cdot,\cdot\rangle ⟨ ⋅ , ⋅ ⟩ は第 2 引数について線形)。
証明(命題 5.1) 1。 k 0 k_0 k 0 の近くで、E ( k 0 ) E(k_0) E ( k 0 ) を中心とし他の固有値を含まない円 C C C を取ります。H ( k ) H(k) H ( k ) をユニタリ行列で対角化すると ( z − H ) − 1 = ∑ j ( z − λ j ) − 1 P j (z-H)^{-1}=\sum_j(z-\lambda_j)^{-1}P_j ( z − H ) − 1 = ∑ j ( z − λ j ) − 1 P j (P j P_j P j は固有射影)なので、留数定理から
P ( k ) = 1 2 π i ∮ C ( z − H ( k ) ) − 1 d z P(k)=\frac1{2\pi i}\oint_C(z-H(k))^{-1}dz P ( k ) = 2 π i 1 ∮ C ( z − H ( k ) ) − 1 d z は C C C の内側の固有値の固有射影です。固有値の連続性(特性多項式の根の連続性)により、k k k が k 0 k_0 k 0 に近ければ C C C の内側の固有値は E ( k ) E(k) E ( k ) だけで、P ( k ) P(k) P ( k ) はその固有射影です。被積分関数は k k k について滑らかなので P P P も滑らかで、E ( k ) = tr ( H ( k ) P ( k ) ) E(k)=\operatorname{tr}(H(k)P(k)) E ( k ) = tr ( H ( k ) P ( k )) も滑らかです。P ( k 0 ) v 0 ≠ 0 P(k_0)v_0\ne0 P ( k 0 ) v 0 = 0 となる v 0 v_0 v 0 を取れば、k ↦ P ( k ) v 0 k\mapsto P(k)v_0 k ↦ P ( k ) v 0 は k 0 k_0 k 0 の近傍で 0 0 0 にならない滑らかな切断で、L L L の局所自明化を与えます。
2。 ∇ ( f ψ ) = P ( d f ψ + f d ψ ) = d f ψ + f ∇ ψ \nabla(f\psi)=P(df\,\psi+f\,d\psi)=df\,\psi+f\nabla\psi ∇ ( f ψ ) = P ( df ψ + f d ψ ) = df ψ + f ∇ ψ (P ψ = ψ P\psi=\psi P ψ = ψ )なので接続です。⟨ ψ 1 , ψ 2 ⟩ \langle\psi_1,\psi_2\rangle ⟨ ψ 1 , ψ 2 ⟩ を微分すると ⟨ d ψ 1 , ψ 2 ⟩ + ⟨ ψ 1 , d ψ 2 ⟩ \langle d\psi_1,\psi_2\rangle+\langle\psi_1,d\psi_2\rangle ⟨ d ψ 1 , ψ 2 ⟩ + ⟨ ψ 1 , d ψ 2 ⟩ で、ψ i ∈ L \psi_i\in L ψ i ∈ L と P P P の自己共役性から ⟨ d ψ 1 , ψ 2 ⟩ = ⟨ P d ψ 1 , ψ 2 ⟩ \langle d\psi_1,\psi_2\rangle=\langle Pd\psi_1,\psi_2\rangle ⟨ d ψ 1 , ψ 2 ⟩ = ⟨ P d ψ 1 , ψ 2 ⟩ なので、計量と両立します。単位長の ψ \psi ψ では L L L が 1 次元なので P d ψ = ⟨ ψ , d ψ ⟩ ψ Pd\psi=\langle\psi,d\psi\rangle\psi P d ψ = ⟨ ψ , d ψ ⟩ ψ 、すなわち A = ⟨ ψ , d ψ ⟩ A=\langle\psi,d\psi\rangle A = ⟨ ψ , d ψ ⟩ です。⟨ ψ , ψ ⟩ = 1 \langle\psi,\psi\rangle=1 ⟨ ψ , ψ ⟩ = 1 を微分して A + A ˉ = 0 A+\bar A=0 A + A ˉ = 0 です。F = d A = ⟨ d ψ ∧ d ψ ⟩ F=dA=\langle d\psi\wedge d\psi\rangle F = d A = ⟨ d ψ ∧ d ψ ⟩ (⟨ d ψ , ∧ d ψ ⟩ \langle d\psi,\wedge d\psi\rangle ⟨ d ψ , ∧ d ψ ⟩ の意味で、成分の積をウェッジ積で取る)です。
∎
物理の Berry 接続 A = i ⟨ u ∣ d u ⟩ \mathcal{A}=i\langle u|du\rangle A = i ⟨ u ∣ d u ⟩ (トポロジカル相 の 定義 4.1[トポロジカル相] )は A = − i A A=-i\mathcal{A} A = − i A に当たります。断熱定理により、H ( k ( t ) ) H(k(t)) H ( k ( t )) のパラメータをループに沿ってゆっくり一周させると、状態は動的位相 e − i ∫ E d t e^{-i\int E\,dt} e − i ∫ E d t と、Berry 接続のホロノミー exp ( − ∮ A ) = exp ( i ∮ A ) \exp(-\oint A)=\exp(i\oint\mathcal{A}) exp ( − ∮ A ) = exp ( i ∮ A ) を得ます(定理 6.5[時間発展と時間依存摂動論] )。断熱定理そのものは解析の定理で、ここで示したのはその幾何学的な部分です。
例 5.2 (磁場中のスピン 1/2 )
X = S 2 X=S^2 X = S 2 、H ( n ) = − n ⋅ σ H(\boldsymbol{n})=-\boldsymbol{n}\cdot\boldsymbol{\sigma} H ( n ) = − n ⋅ σ (n = ( sin θ cos φ , sin θ sin φ , cos θ ) \boldsymbol{n}=(\sin\theta\cos\varphi,\sin\theta\sin\varphi,\cos\theta) n = ( sin θ cos φ , sin θ sin φ , cos θ ) )の基底状態 E = − 1 E=-1 E = − 1 を考える。n ⋅ σ \boldsymbol{n}\cdot\boldsymbol{\sigma} n ⋅ σ を ψ N = ( cos θ 2 , sin θ 2 e i φ ) \psi_N=(\cos\frac\theta2,\sin\frac\theta2e^{i\varphi}) ψ N = ( cos 2 θ , sin 2 θ e i φ ) に作用させると、cos θ cos θ 2 + sin θ sin θ 2 = cos θ 2 \cos\theta\cos\frac\theta2+\sin\theta\sin\frac\theta2=\cos\frac\theta2 cos θ cos 2 θ + sin θ sin 2 θ = cos 2 θ と e i φ ( sin θ cos θ 2 − cos θ sin θ 2 ) = e i φ sin θ 2 e^{i\varphi}(\sin\theta\cos\frac\theta2-\cos\theta\sin\frac\theta2)=e^{i\varphi}\sin\frac\theta2 e i φ ( sin θ cos 2 θ − cos θ sin 2 θ ) = e i φ sin 2 θ から固有値 + 1 +1 + 1 の固有ベクトルである。これは Hopf 束の切断 s N s_N s N そのもので、Berry 接続 A = ⟨ ψ N , d ψ N ⟩ A=\langle\psi_N,d\psi_N\rangle A = ⟨ ψ N , d ψ N ⟩ は Hopf 束の接続の A N A_N A N に一致する(例 7.7[ファイバー束・主束と接続] )。したがって基底状態の束の Chern 数は − 1 -1 − 1 、緯線を一周したときの Berry 位相は e − i Ω / 2 e^{-i\Omega/2} e − i Ω/2 (Ω \Omega Ω は囲む立体角)である。これは 例 6.6[時間発展と時間依存摂動論] の結果の幾何学的な説明になっている。
2 次元結晶の Bloch ハミルトニアン H ( k ) H(\boldsymbol{k}) H ( k ) は Brillouin ゾーン T 2 T^2 T 2 上で周期的で、孤立したバンドの固有直線束の Chern 数 C C C は 定理 4.1 により整数です。TKNN 公式は、そのバンドが占有された絶縁体の Hall 伝導度が σ x y = e 2 h C \sigma_{xy}=\frac{e^2}{h}C σ x y = h e 2 C であることを主張します(定理 5.4[トポロジカル相] )。Hall 伝導度が精密に量子化される理由は、それが Chern–Weil 理論の位相不変量だからです。
tr ( F ∧ F ) \operatorname{tr}(F\wedge F) tr ( F ∧ F ) はゲージ変換で変わらない形式ですが、局所的には A A A だけで書いた形式の外微分として表せます。それが Chern–Simons 形式です。次の定理の 1 はこの関係を、2 は A A A をゲージ変換したときに C S \mathrm{CS} CS がどうずれるかを述べます。証明はどちらも展開と、トレースの巡回性を使った項の整理です。
定理 6.1 (Chern–Simons 形式 ) ✓
開集合上の g \mathfrak{g} g 値 1 形式 A A A (g ⊂ g l ( N ) \mathfrak{g}\subset\mathfrak{gl}(N) g ⊂ gl ( N ) )に対し C S ( A ) = tr ( A ∧ d A + 2 3 A ∧ A ∧ A ) \mathrm{CS}(A)=\operatorname{tr}\bigl(A\wedge dA+\tfrac23A\wedge A\wedge A\bigr) CS ( A ) = tr ( A ∧ d A + 3 2 A ∧ A ∧ A ) と置く。F = d A + A ∧ A F=dA+A\wedge A F = d A + A ∧ A とすると
d C S ( A ) = tr ( F ∧ F ) d\,\mathrm{CS}(A)=\operatorname{tr}(F\wedge F) d CS ( A ) = tr ( F ∧ F ) 。
h h h を G G G 値の関数、A h = h − 1 A h + h − 1 d h A^h=h^{-1}Ah+h^{-1}dh A h = h − 1 A h + h − 1 d h 、θ = h − 1 d h \theta=h^{-1}dh θ = h − 1 d h とすると
C S ( A h ) = C S ( A ) − d tr ( θ ∧ h − 1 A h ) − 1 3 tr ( θ ∧ θ ∧ θ ) . \mathrm{CS}(A^h)=\mathrm{CS}(A)-d\operatorname{tr}\bigl(\theta\wedge h^{-1}Ah\bigr)-\frac13\operatorname{tr}(\theta\wedge\theta\wedge\theta). CS ( A h ) = CS ( A ) − d tr ( θ ∧ h − 1 A h ) − 3 1 tr ( θ ∧ θ ∧ θ ) .
証明(定理 6.1) 行列値の形式のトレースは、p p p 形式 α \alpha α と q q q 形式 β \beta β について tr ( α ∧ β ) = ( − 1 ) p q tr ( β ∧ α ) \operatorname{tr}(\alpha\wedge\beta)=(-1)^{pq}\operatorname{tr}(\beta\wedge\alpha) tr ( α ∧ β ) = ( − 1 ) pq tr ( β ∧ α ) を満たします。とくに 1 形式 3 つの積のトレースは巡回置換で不変で、tr ( A ∧ A ∧ A ∧ A ) = − tr ( A ∧ A ∧ A ∧ A ) = 0 \operatorname{tr}(A\wedge A\wedge A\wedge A)=-\operatorname{tr}(A\wedge A\wedge A\wedge A)=0 tr ( A ∧ A ∧ A ∧ A ) = − tr ( A ∧ A ∧ A ∧ A ) = 0 です。以下ウェッジ記号を省略します。
1。 d C S = tr ( d A d A ) + 2 3 ⋅ 3 tr ( d A A A ) = tr ( d A d A ) + 2 tr ( d A A A ) d\,\mathrm{CS}=\operatorname{tr}(dA\,dA)+\tfrac23\cdot3\operatorname{tr}(dA\,AA)=\operatorname{tr}(dA\,dA)+2\operatorname{tr}(dA\,AA) d CS = tr ( d A d A ) + 3 2 ⋅ 3 tr ( d A AA ) = tr ( d A d A ) + 2 tr ( d A AA ) です(d ( A A A ) = d A A A − A d A A + A A d A d(AAA)=dA\,AA-A\,dA\,A+AA\,dA d ( AAA ) = d A AA − A d A A + AA d A の 3 項はトレースの性質で等しい)。一方 tr ( F F ) = tr ( d A d A ) + tr ( d A A A ) + tr ( A A d A ) + tr ( A A A A ) = tr ( d A d A ) + 2 tr ( d A A A ) \operatorname{tr}(FF)=\operatorname{tr}(dA\,dA)+\operatorname{tr}(dA\,AA)+\operatorname{tr}(AA\,dA)+\operatorname{tr}(AAAA)=\operatorname{tr}(dA\,dA)+2\operatorname{tr}(dA\,AA) tr ( F F ) = tr ( d A d A ) + tr ( d A AA ) + tr ( AA d A ) + tr ( AAAA ) = tr ( d A d A ) + 2 tr ( d A AA ) で一致します。
2。 A ~ = h − 1 A h \tilde A=h^{-1}Ah A ~ = h − 1 A h と置くと A h = A ~ + θ A^h=\tilde A+\theta A h = A ~ + θ 、d θ = − θ θ d\theta=-\theta\theta d θ = − θ θ 、d A ~ = h − 1 d A h − θ A ~ − A ~ θ d\tilde A=h^{-1}dA\,h-\theta\tilde A-\tilde A\theta d A ~ = h − 1 d A h − θ A ~ − A ~ θ です。tr ( A ~ h − 1 d A h ) + 2 3 tr A ~ 3 = C S ( A ) \operatorname{tr}(\tilde A\,h^{-1}dAh)+\tfrac23\operatorname{tr}\tilde A^3=\mathrm{CS}(A) tr ( A ~ h − 1 d A h ) + 3 2 tr A ~ 3 = CS ( A ) (共役不変)に注意して展開すると、
C S ( A h ) = C S ( A ) + tr ( θ h − 1 d A h ) − 2 tr ( A ~ A ~ θ ) − 3 tr ( A ~ θ θ ) − tr θ 3 + 2 3 ( 3 tr ( A ~ A ~ θ ) + 3 tr ( A ~ θ θ ) + tr θ 3 ) \mathrm{CS}(A^h)=\mathrm{CS}(A)+\operatorname{tr}(\theta\,h^{-1}dA\,h)-2\operatorname{tr}(\tilde A\tilde A\theta)-3\operatorname{tr}(\tilde A\theta\theta)-\operatorname{tr}\theta^3+\tfrac23\bigl(3\operatorname{tr}(\tilde A\tilde A\theta)+3\operatorname{tr}(\tilde A\theta\theta)+\operatorname{tr}\theta^3\bigr) CS ( A h ) = CS ( A ) + tr ( θ h − 1 d A h ) − 2 tr ( A ~ A ~ θ ) − 3 tr ( A ~ θ θ ) − tr θ 3 + 3 2 ( 3 tr ( A ~ A ~ θ ) + 3 tr ( A ~ θ θ ) + tr θ 3 ) となります(tr ( A h d A h ) \operatorname{tr}(A^h\,dA^h) tr ( A h d A h ) から最初の 5 項、2 3 tr ( A h ) 3 \tfrac23\operatorname{tr}(A^h)^3 3 2 tr ( A h ) 3 から括弧の項)。整理すると
C S ( A h ) = C S ( A ) + tr ( θ h − 1 d A h ) − tr ( A ~ θ θ ) − 1 3 tr θ 3 . \mathrm{CS}(A^h)=\mathrm{CS}(A)+\operatorname{tr}(\theta\,h^{-1}dA\,h)-\operatorname{tr}(\tilde A\theta\theta)-\tfrac13\operatorname{tr}\theta^3. CS ( A h ) = CS ( A ) + tr ( θ h − 1 d A h ) − tr ( A ~ θ θ ) − 3 1 tr θ 3 . 最後に d tr ( θ A ~ ) = tr ( d θ A ~ ) − tr ( θ d A ~ ) = − tr ( θ θ A ~ ) − tr ( θ h − 1 d A h ) + tr ( θ θ A ~ ) + tr ( θ A ~ θ ) = − tr ( θ h − 1 d A h ) + tr ( A ~ θ θ ) d\operatorname{tr}(\theta\tilde A)=\operatorname{tr}(d\theta\,\tilde A)-\operatorname{tr}(\theta\,d\tilde A)=-\operatorname{tr}(\theta\theta\tilde A)-\operatorname{tr}(\theta\,h^{-1}dAh)+\operatorname{tr}(\theta\theta\tilde A)+\operatorname{tr}(\theta\tilde A\theta)=-\operatorname{tr}(\theta\,h^{-1}dAh)+\operatorname{tr}(\tilde A\theta\theta) d tr ( θ A ~ ) = tr ( d θ A ~ ) − tr ( θ d A ~ ) = − tr ( θ θ A ~ ) − tr ( θ h − 1 d A h ) + tr ( θ θ A ~ ) + tr ( θ A ~ θ ) = − tr ( θ h − 1 d A h ) + tr ( A ~ θ θ ) なので、中央の 2 項は − d tr ( θ A ~ ) -d\operatorname{tr}(\theta\tilde A) − d tr ( θ A ~ ) です。
∎
閉 3 次元多様体 Y Y Y 上の自明な S U ( N ) SU(N) S U ( N ) 束では、ゲージ変換 h : Y → S U ( N ) h\colon Y\to SU(N) h : Y → S U ( N ) による Chern–Simons 作用 1 8 π 2 ∫ Y C S ( A ) \frac1{8\pi^2}\int_Y\mathrm{CS}(A) 8 π 2 1 ∫ Y CS ( A ) の変化は、Stokes の定理により
w ( h ) = − 1 24 π 2 ∫ Y tr ( ( h − 1 d h ) 3 ) w(h)=-\frac1{24\pi^2}\int_Y\operatorname{tr}\bigl((h^{-1}dh)^3\bigr) w ( h ) = − 24 π 2 1 ∫ Y tr ( ( h − 1 d h ) 3 )
だけです。Y = S 3 Y=S^3 Y = S 3 、G = S U ( 2 ) ≅ S 3 G=SU(2)\cong S^3 G = S U ( 2 ) ≅ S 3 、h = i d h=\mathrm{id} h = id では、s u ( 2 ) \mathfrak{su}(2) su ( 2 ) の基底 e a = − i 2 σ a e_a=-\tfrac i2\sigma_a e a = − 2 i σ a ([ e a , e b ] = ∑ c ϵ a b c e c [e_a,e_b]=\sum_c\epsilon_{abc}e_c [ e a , e b ] = ∑ c ϵ ab c e c )で tr ( θ 3 ) ( e 1 , e 2 , e 3 ) = 3 tr ( e 1 [ e 2 , e 3 ] ) = 3 tr ( e 1 2 ) = − 3 2 \operatorname{tr}(\theta^3)(e_1,e_2,e_3)=3\operatorname{tr}(e_1[e_2,e_3])=3\operatorname{tr}(e_1^2)=-\tfrac32 tr ( θ 3 ) ( e 1 , e 2 , e 3 ) = 3 tr ( e 1 [ e 2 , e 3 ]) = 3 tr ( e 1 2 ) = − 2 3 、e a e_a e a を正規直交とする両側不変計量で S U ( 2 ) SU(2) S U ( 2 ) は半径 2 2 2 の 3 次元球面(体積 16 π 2 16\pi^2 16 π 2 )なので、w ( i d ) = 1 24 π 2 ⋅ 3 2 ⋅ 16 π 2 = 1 w(\mathrm{id})=\frac{1}{24\pi^2}\cdot\frac32\cdot16\pi^2=1 w ( id ) = 24 π 2 1 ⋅ 2 3 ⋅ 16 π 2 = 1 です。一般に w ( h ) w(h) w ( h ) は写像 h h h の写像度 に等しい整数です(この事実は de Rham の写像度理論によるもので、ここでは主張にとどめます)。このため exp ( i k 4 π ∫ C S ( A ) ) \exp\bigl(\tfrac{ik}{4\pi}\int\mathrm{CS}(A)\bigr) exp ( 4 π ik ∫ CS ( A ) ) が大きなゲージ変換でも不変であるためには、水準 k k k が整数でなければなりません。また 4 次元では 1 8 π 2 tr ( F ∧ F ) = c 2 \frac1{8\pi^2}\operatorname{tr}(F\wedge F)=c_2 8 π 2 1 tr ( F ∧ F ) = c 2 が局所的に d ( 1 8 π 2 C S ) d\bigl(\tfrac1{8\pi^2}\mathrm{CS}\bigr) d ( 8 π 2 1 CS ) と書けることが、軸性アノマリーの右辺が全微分であるにもかかわらず物理的効果(インスタントン数)を持つ理由です。
演習 7.1 易
T C P 1 T\mathbb{CP}^1 T CP 1 、すなわち S 2 S^2 S 2 の接バンドルを複素直線束とみたとき、∫ S 2 c 1 = 2 \int_{S^2}c_1=2 ∫ S 2 c 1 = 2 であることを 例 3.4 から示せ。またトートロジー束 γ \gamma γ について T C P 1 ≅ γ ∗ ⊗ γ ∗ T\mathbb{CP}^1\cong\gamma^*\otimes\gamma^* T CP 1 ≅ γ ∗ ⊗ γ ∗ と仮定すると、命題 3.2 と矛盾しないことを確かめよ。
解答 e = c 1 e=c_1 e = c 1 なので ∫ c 1 ( T S 2 ) = ∫ e ( T S 2 ) = 1 2 π ∫ S 2 K v o l = 4 π 2 π = 2 \int c_1(TS^2)=\int e(TS^2)=\frac1{2\pi}\int_{S^2}K\,\mathrm{vol}=\frac{4\pi}{2\pi}=2 ∫ c 1 ( T S 2 ) = ∫ e ( T S 2 ) = 2 π 1 ∫ S 2 K vol = 2 π 4 π = 2 。一方 例 4.3 より ∫ c 1 ( γ ) = − 1 \int c_1(\gamma)=-1 ∫ c 1 ( γ ) = − 1 で、命題 3.2 3 から ∫ c 1 ( γ ∗ ⊗ γ ∗ ) = 2 ⋅ 1 = 2 \int c_1(\gamma^*\otimes\gamma^*)=2\cdot1=2 ∫ c 1 ( γ ∗ ⊗ γ ∗ ) = 2 ⋅ 1 = 2 です。両者は一致します。
演習 7.2 標準
d : T 2 → R 3 ∖ { 0 } \boldsymbol{d}\colon T^2\to\mathbb{R}^3\setminus\{0\} d : T 2 → R 3 ∖ { 0 } を滑らかな写像とし、H ( k ) = − d ( k ) ⋅ σ H(\boldsymbol{k})=-\boldsymbol{d}(\boldsymbol{k})\cdot\boldsymbol{\sigma} H ( k ) = − d ( k ) ⋅ σ の基底状態の束 L L L を考える。d ^ = d / ∣ d ∣ : T 2 → S 2 \hat{\boldsymbol{d}}=\boldsymbol{d}/|\boldsymbol{d}|\colon T^2\to S^2 d ^ = d /∣ d ∣ : T 2 → S 2 とする。(a) L L L は 例 5.2 の束の d ^ \hat{\boldsymbol{d}} d ^ による引き戻しで、Berry 曲率は F = d ^ ∗ ( i 2 v o l S 2 ) F=\hat{\boldsymbol{d}}^*\bigl(\tfrac i2\mathrm{vol}_{S^2}\bigr) F = d ^ ∗ ( 2 i vol S 2 ) であることを示せ。(b) Chern 数が
C = − 1 4 π ∫ T 2 d ^ ⋅ ( ∂ 1 d ^ × ∂ 2 d ^ ) d k 1 d k 2 C=-\frac1{4\pi}\int_{T^2}\hat{\boldsymbol{d}}\cdot\bigl(\partial_1\hat{\boldsymbol{d}}\times\partial_2\hat{\boldsymbol{d}}\bigr)\,dk_1dk_2 C = − 4 π 1 ∫ T 2 d ^ ⋅ ( ∂ 1 d ^ × ∂ 2 d ^ ) d k 1 d k 2 となることを示せ。
解答 (a) H ( k ) = ∣ d ∣ H 0 ( d ^ ( k ) ) H(\boldsymbol{k})=|\boldsymbol{d}|\,H_0(\hat{\boldsymbol{d}}(\boldsymbol{k})) H ( k ) = ∣ d ∣ H 0 ( d ^ ( k )) (H 0 ( n ) = − n ⋅ σ H_0(\boldsymbol{n})=-\boldsymbol{n}\cdot\boldsymbol{\sigma} H 0 ( n ) = − n ⋅ σ )で、正の定数倍は固有ベクトルを変えないので、L k = L d ^ ( k ) ( 0 ) L_{\boldsymbol{k}}=L^{(0)}_{\hat{\boldsymbol{d}}(\boldsymbol{k})} L k = L d ^ ( k ) ( 0 ) です。射影も P ( k ) = P 0 ( d ^ ( k ) ) P(\boldsymbol{k})=P_0(\hat{\boldsymbol{d}}(\boldsymbol{k})) P ( k ) = P 0 ( d ^ ( k )) なので、Berry 接続 P d ψ P\,d\psi P d ψ は引き戻しの接続で、曲率は引き戻し d ^ ∗ F 0 \hat{\boldsymbol{d}}^*F_0 d ^ ∗ F 0 (命題 3.2 1 の証明と同じ)です。F 0 = i 2 v o l S 2 F_0=\tfrac i2\mathrm{vol}_{S^2} F 0 = 2 i vol S 2 は 例 5.2 から従います。
(b) v o l S 2 \mathrm{vol}_{S^2} vol S 2 を点 n \boldsymbol{n} n で v o l ( a , b ) = n ⋅ ( a × b ) \mathrm{vol}(\boldsymbol{a},\boldsymbol{b})=\boldsymbol{n}\cdot(\boldsymbol{a}\times\boldsymbol{b}) vol ( a , b ) = n ⋅ ( a × b ) と書くと、d ^ ∗ v o l = d ^ ⋅ ( ∂ 1 d ^ × ∂ 2 d ^ ) d k 1 ∧ d k 2 \hat{\boldsymbol{d}}^*\mathrm{vol}=\hat{\boldsymbol{d}}\cdot(\partial_1\hat{\boldsymbol{d}}\times\partial_2\hat{\boldsymbol{d}})\,dk_1\wedge dk_2 d ^ ∗ vol = d ^ ⋅ ( ∂ 1 d ^ × ∂ 2 d ^ ) d k 1 ∧ d k 2 です。C = i 2 π ∫ F = i 2 π ⋅ i 2 ∫ d ^ ∗ v o l C=\frac{i}{2\pi}\int F=\frac{i}{2\pi}\cdot\frac i2\int\hat{\boldsymbol{d}}^*\mathrm{vol} C = 2 π i ∫ F = 2 π i ⋅ 2 i ∫ d ^ ∗ vol で主張を得ます。被積分関数の積分は d ^ \hat{\boldsymbol{d}} d ^ が球面を覆う回数の 4 π 4\pi 4 π 倍で、Qi–Wu–Zhang 模型の Chern 数の計算(定理 6.2[トポロジカル相] )はこの公式の具体例です(符号は基底状態か励起状態か、Berry 接続の規約で変わります)。
演習 7.3 標準
U ( 1 ) U(1) U ( 1 ) 束の二つの接続 A 0 , A 1 A_0,A_1 A 0 , A 1 について、定理 2.3 の超越形式を f ( X ) = i 2 π X f(X)=\frac{i}{2\pi}X f ( X ) = 2 π i X (k = 1 k=1 k = 1 )で計算し、c 1 c_1 c 1 の代表元の差が d ( i 2 π ( A 1 − A 0 ) ) d\bigl(\frac i{2\pi}(A_1-A_0)\bigr) d ( 2 π i ( A 1 − A 0 ) ) であることを確かめよ。A 1 − A 0 A_1-A_0 A 1 − A 0 が M M M 上の大域的な 1 形式であることも説明せよ。
解答 k = 1 k=1 k = 1 では T f = ∫ 0 1 f ( η ) d t = i 2 π η Tf=\int_0^1f(\eta)dt=\frac{i}{2\pi}\eta T f = ∫ 0 1 f ( η ) d t = 2 π i η で、η = A 1 − A 0 \eta=A_1-A_0 η = A 1 − A 0 です。U ( 1 ) U(1) U ( 1 ) では F t = d A t F_t=dA_t F t = d A t なので f ( F 1 ) − f ( F 0 ) = i 2 π d η f(F_1)-f(F_0)=\frac{i}{2\pi}d\eta f ( F 1 ) − f ( F 0 ) = 2 π i d η と直接一致します。変換則 A β = A α + g − 1 d g A_\beta=A_\alpha+g^{-1}dg A β = A α + g − 1 d g の非斉次項は接続によらないので、差 η \eta η では打ち消し合い、η α = η β \eta_\alpha=\eta_\beta η α = η β (可換なので共役も不要)となって大域的な形式です。
S. S. Chern, Complex Manifolds Without Potential Theory , 2nd ed., Springer, 1979 — Chapter III–IV(Chern–Weil 理論と特性類)。
J. Milnor, J. Stasheff, Characteristic Classes , Princeton University Press, 1974 — Appendix C(Chern–Weil 理論)。
S. Kobayashi, K. Nomizu, Foundations of Differential Geometry , Vol. II, Wiley, 1969 — Chapter XII。
M. Nakahara, Geometry, Topology and Physics , 2nd ed., IOP Publishing, 2003 — Chapter 11(特性類、Chern–Simons 形式)、Chapter 10.6(Berry 位相)。
M. V. Berry, “Quantal phase factors accompanying adiabatic changes”, Proceedings of the Royal Society of London A 392 (1984), 45–57. doi:10.1098/rspa.1984.0023
D. J. Thouless, M. Kohmoto, M. P. Nightingale, M. den Nijs, “Quantized Hall conductance in a two-dimensional periodic potential”, Physical Review Letters 49 (1982), 405–408. doi:10.1103/PhysRevLett.49.405
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 3 回(Claude Code)・最終 2026-10-12