마타이-퀼런 형식

틀:위키데이터 속성 추적 미분기하학과 이론물리학에서 마타이-퀼런 형식(മത്തായി-Quillen形式, 틀:Llang)은 벡터 다발의 톰 특성류를 표현하는 미분 형식이며, 벡터 다발의 올 방향으로 가우스 함수를 따른다. 무한 차원 공간 위의 유한 차원 벡터 다발에 대하여 정의될 수 있으며, 이는 위상 양자장론과 깊은 관계를 가진다.

정의

다음이 주어졌다고 하자.

• (유한 차원) 연결 유향 매끄러운 다양체 $M$
• (유한 차원) 콤팩트 리 군 $G$
• $G$-주다발 $G\hookrightarrow P\twoheadrightarrow M$
• 유한 짝수 차원 실수 내적 공간 $(F,⟨-,-⟩)$
• $G$의 유한 짝수 차원 직교 표현 $\rho :G\to \mathrm{O}(F)$.
  • 이로부터 연관 벡터 다발 유한 짝수 차원 벡터 다발 $F\hookrightarrow E\stackrel{\pi }{\twoheadrightarrow }M$을 정의할 수 있으며, 그 올 위에는 양의 정부호 내적이 주어진다.
• $P$ 위의 주접속 $\mathrm{\nabla }$
  • 이로부터 $E$의 단면에 대해서도 벡터 다발 접속이 주어진다.

그렇다면, $P\times F$ 위에 다음과 같은 미분 형식을 정의하자.

${\mathrm{\Phi }}_{\mathrm{\nabla }}(E){|}_{\xi }=\frac{1}{(2\pi {)}^{2m}}\underset{{ℝ}^{2m}}{\int }{\mathrm{d}}^{2m}B\underset{{ℝ}^{2m}}{\int }{\mathrm{d}}^{2m}\chi ,\exp (S[\xi ,\chi ,{\mathrm{\Omega }}_{\mathrm{\nabla }},B])$

$S[\xi ,\chi ,{\mathrm{\Omega }}_{\mathrm{\nabla }},B]=-B^i{B}_i/2+i{\xi }^i{B}_i-{\chi }_i\mathrm{i}\mathrm{\nabla }{\xi }^i+{\chi }_i{\mathrm{\Omega }}^{ij}{\chi }_j/2$

여기서

• $i,j,\dots$는 $F$의 벡터 지표이다. 이는 $F$의 내적을 통하여 올리거나 내릴 수 있다.
• ${\rho }_{ij}({\mathrm{\Omega }}_{\mathrm{\nabla }})\in \mathrm{End}(F)$는 주접속 $\mathrm{\nabla }$의 주곡률 ${\mathrm{\Omega }}_{\mathrm{\nabla }}$의 $\rho$에 의한 표현이다.
• $({\xi }^1,\dots ,{\xi }^{2m})$은 $F$ 위의 데카르트 좌표계를 이룬다. 이들의 공변 미분 $\mathrm{\nabla }{\xi }^i$는 $P\times F$ 위의 $G$-불변 1차 미분 형식들이다. 공변 미분의 정의에 따라, 이는 $P{\times }_{G}F=E$ 위의 1차 미분 형식을 이룬다.
• $\int {\mathrm{d}}^{2m}\chi$는 $2m$개의 형식적 반가환 변수 ${\chi }^1,\dots ,{\chi }^{2m}$에 대한 베레진 적분이다. 변수 ${\chi }^i$는 홀수차 (가환) 미분 형식과 반가환한다.
• ${\chi }^i{\rho }_{ij}({\mathrm{\Omega }}_{\mathrm{\nabla }}){\chi }^j+\mathrm{i}{\chi }_i\mathrm{\nabla }{\xi }^i$은 $P\times F$ 위의 2차 미분 형식과 1차 미분 형식의 합이다. 그 (형식적) 지수 함수는 미분 형식 쐐기곱에 대한 멱급수 전개로 정의된다. 베레진 적분은 이 멱급수에서, 미분 형식 등급이 $2m$인 항만을 골라낸다.
• $\int \mathrm{d}B$는 스칼라 보조장 $B$에 대한 적분이다.

즉, 다음과 같다.

기호	설명	$G\le \mathrm{O}(F)$에 대한 변환	가환성	$P\times F$ 위의 미분 형식 차수
${\xi }^i$	데카르트 좌표	기본 표현	가환	0
$\mathrm{\nabla }{\xi }^i$	데카르트 좌표	기본 표현	가환	1
${\chi }_i$	형식적 그라스만 변수	(쌍대) 기본 표현	반가환	0
${\rho }_{ij}({\mathrm{\Omega }}_{\mathrm{\nabla }})$	주곡률	딸림표현	가환	2
$B_i$	보조장	기본 표현	가환	0

보조장 $B$에 대한 적분을 취하면, 다음을 얻는다.

${\mathrm{\Phi }}_{\mathrm{\nabla }}(E){|}_{\xi }=\frac{1}{(2\pi {)}^m}\underset{{ℝ}^{2m}}{\int }{\mathrm{d}}^{2m}\chi ,\exp (S^{\prime }[\xi ,\chi ,{\mathrm{\Omega }}_{\mathrm{\nabla }}])$

$S^{\prime }[\xi ,\chi ,{\mathrm{\Omega }}_{\mathrm{\nabla }}]=-{\xi }_i{\xi }^j/2-{\chi }_i\mathrm{i}\mathrm{\nabla }{\xi }^i+{\chi }_i{\mathrm{\Omega }}^{ij}{\chi }_j/2$

이 작용은 초대칭

$\delta {\chi }_i=B_i$

$\delta {\xi }_i=\mathrm{\nabla }{\xi }_i$

$\delta B^i={\mathrm{\Omega }}^{ij}{\chi }_j$

을 가지며, 이에 따라

$S=\delta ({\chi }_i(\mathrm{i}{\xi }^i-B^i/2))$

이다.

베레진 적분에 의하여, ${\mathrm{\Phi }}_{\mathrm{\nabla }}(E)$는 $P\times F$ 위의 $2m$차 미분 형식을 이룬다. 정의에 따라 이는 $G$-불변이므로, 연관 벡터 다발 $E=P{\times }_{G}F$ 위의 $2m$차 미분 형식을 이룬다. 또한, 이는 초대칭 $\delta$에 의하여 닫힌 미분 형식이다. 이를 마타이-퀼런 형식이라고 한다.

무한 차원에서는 $m$ 등이 무한대가 되기 때문에 이 공식을 직접 해석할 수 없지만, 일부 경우 양자장론의 경로 적분 등을 사용하여 이 값을 정의할 수 있다.

성질

만약 $X$가 유한 차원 매끄러운 다양체일 때, $s$의 마타이-퀼런 형식

${\mathrm{\Phi }}_{\mathrm{\nabla }}(E)\in {\mathrm{\Omega }}^{2m}(E)$

의 드람 코호몰로지 동치류

$[{\mathrm{\Phi }}_{\mathrm{\nabla }}(E){]}_{\text{dR}}\in {\mathrm{H}}^{2m}(E){\otimes }_{\mathbb{Z}}ℝ$

는 $E$의 오일러 특성류

$\mathrm{e}(E)\in {\mathrm{H}}^{2m}$

의 실수 계수와 같다.

$(\mathrm{e}(E){\otimes }_{\mathbb{Z}}ℝ)=[{\mathrm{\Phi }}_{\mathrm{\nabla }}(E){]}_{\text{dR}}$

특히, 이는 사용한 단면 $s:M\to E$에 의존하지 않는다.

그러나 무한 차원에서는 마타이-퀼런 형식은 일반적으로 $s$에 의존하게 된다.

예

초대칭 양자 역학 (드람 코호몰로지)

다음과 같은 경우를 생각하자.

• $(M,g)$는 $n$차원 유한 차원 콤팩트 리만 다양체이다.
• ${𝕊}_{\beta }^1=[0,\beta ]/(0\sim \beta )$는 둘레가 $\beta \in {ℝ}^{+}$인 원이다.
• $X={\mathrm{L}}^{1,2}({𝕊}_{\beta }^1,M)$는 유한 에너지 고리들로 구성된 소볼레프 공간이다. 이는 힐베르트 다양체이며, $M$의 고리 공간(과 호모토피 동치)이다. 즉, 가측 함수 $f:{𝕊}^1\to M$ 가운데, 미분 $\dot{f}$가 거의 어디서나 존재하며, L² 르베그 공간에 속하는 것들로 구성된다.
• $G$는 직교군 $\mathrm{O}(n)$에 대한 게이지 군 $\{\varphi :M\to \mathrm{O}(n)\}$이며, $P$는 리만 다양체 $M$의 틀다발로서 유도된다.
• $F={\mathrm{L}}^{1,2}({𝕊}^1,{ℝ}^n)$이며, $\rho$는 함수의 합성으로 정의된다. 이에 따라, $E=P{\times }_{G}F=\mathrm{T}X$는 그 접다발이다.
• 단면 $s:X\to E$는 속력 $\gamma \mapsto \dot{\gamma }$이다. 그 영점은 상수 함수 고리들의 공간이다.

이 경우,

$Z=(2\pi {)}^{-(\dim M)/2}\underset{M}{\int }\mathrm{Pf}(\mathrm{Riem})=(2\pi {)}^{-(\dim M)/2)}\chi (M)$

을 얻는다. 이는 $\mathrm{\Omega }(M)$의 L² 완비화를 힐베르트 공간으로 하는 초대칭 양자역학의 분배 함수와 일치한다.

도널드슨 이론

틀:본문 만약

• $X$는 어떤 4차원 매끄러운 다양체 $M$ 위의 $G$-주다발 $P$의 주접속들의 공간이다.
• $E$는 $M$ 위의, $𝔤$-값 자기 쌍대 2차 미분 형식들의 공간이다.
• $s:F\mapsto F+*F$는 2차 미분 형식을 자기 쌍대 성분으로 대응시킨다.

이에 따라, $s$의 영점은 반 자기 쌍대 미분 형식들의 공간이다. 만약 이 공간이 0차원이라면 (점으로 구성된다면), 도널드슨 이론은 이 공간의 점의 수를 계산한다.

역사

마타이 바르기스(틀:Llang, 틀:Llang)와 대니얼 퀼런이 1986년에 도입하였다. 이후 마이클 아티야와 리사 제프리(틀:Llang)가 이 개념이 무한 차원에서 위상 양자장론에 해당한다는 것을 증명하였다.

참고 문헌

• 틀:저널 인용
• 틀:저널 인용