[논문 리뷰] Mathai-Quillen Formalism

Siye Wu|ArXiv.org|2005. 04. 30.

History and Theory of Mathematics인용 수 3

한 줄 요약

이 논문은 수학적-퀸 형식법을 종합적으로 서술한다. 이는 캐릭터리스틱 클래스—특히 톰 클래스와 오일러 클래스—의 명시적 대표를 가우시안 가중 초접속을 통해 제공하는 미분형식 구축법이다. 이 형식법을 일 페르미온 차원을 가진 초대칭 장 이론의 관점에서 재해석함으로써, 등변 코homology, 위상적 양자장 이론, 그리고 도널드슨 및 세이버그-위튼 불변량과 같은 불변량 간의 깊은 연관성을 확립한다.

ABSTRACT

We begin with the construction of Mathai-Quillen's Thom form. We also study the case with group actions, with a review of equivariant cohomology and then Mathai-Quillen's construction in this setting. Next, we show that much of the above can be formulated as a "field theory" on a superspace of one fermionic dimension. Finally, we present the interpretation of topological field theories using the Mathai-Quillen formalism.

연구 동기 및 목표

• 실수로 정렬된 벡터 번들의 총공간 위에서 가우시안 감쇠를 갖는 톰 클래스의 수학적-퀸 구성에 대한 체계적인 서술를 제공한다.
• 군 작용을 포함한 등변 설정으로 이 형식법을 확장하고, 카르탕 및 위엘 모델을 통해 등변 코homology와 연결한다.
• 일 페르미온 차원을 가진 초공간 위에서의 위상장 이론으로서 이 형식법을 해석하여 물리학에서의 코homological 장 이론과 연결한다.
• 이 형식법이 캐릭터리스틱 클래스의 명시적 대표를 제공하고 도널드슨 및 세이버그-위튼 불변량과 같은 불변량을 계산할 수 있음을 보여준다.
• 기하학적, 위상수학적, 물리적 관점을 통합하여, 수학적-퀸 형식이 부드러운 곡률 불변량과 영집합의 국소화된 푸앵카레 쌍대체 사이를 연결함을 보여준다.

제안 방법

• 초접속에 대한 베레진 적분을 사용하여 벡터 번들의 총공간 위의 미분형식으로서 수학적-퀸 톰 형식을 구성한다. 이는 섬유를 따라 지수적으로 감쇠하는 성질을 가진다.
• 벡터 공간의 클리포드 대수에서의 초트레이스를 정의하여 펄프잔과 A-호 급수를 표현한다. 이를 초접속의 지수형태와 연결한다.
• 등변 코homology의 카르탕 모델을 사용하여 등변 곡률을 $\mathcal{F} = F_A + \sqrt{-1}\psi + \phi $ 로 기술한다. 여기서 $\psi, \phi$ 는 페르미온 및 보존 초장이다.
• 곡률 항 $||F_A^+||^2$ 와 페르미온 및 보존 상호작용을 조합하여 위상적 게이지 이론의 라그랑지안을 구성한다. 이는 BRST 대칭에 대해 불변이다.
• 등변 곡률을 호의 순환체를 따라 적분한 Wilson-루프 유사 관측량 $W_\gamma(A,\psi,\phi)$ 를 정의한다. 이는 캐릭터리스틱 클래스를 나타낸다.
• 이 관측량의 경로적분 기대값은 게이지 군의 체적과 중심의 순서 $|Z(G)|$ 로 정규화된 후 도널드슨 불변량을 얻는다.

실험 결과

연구 질문

• RQ1 실수로 정렬된 벡터 번들의 톰 클래스는 어떤 식으로 국소화된 지지 집합을 갖는 미분형식으로 명시적으로 표현될 수 있는가?
• RQ2 베레진 적분과 초트레이스는 수학적-퀸 형식을 구성하고 펄프잔 및 A-호 급수와 어떻게 연결되는가?
• RQ3 군 작용 하에서 수학적-퀸 형식법은 어떻게 등변 코homology로 확장되며, 위엘 및 카르탕 모델과의 관계는 어떠한가?
• RQ4 이 형식법은 어떤 방식으로 일 페르미온 차원을 가진 초공간 위에서 위상장 이론으로 실현되는가?
• RQ5 이 형식법을 통해 구성된 관측량의 기대값은 도널드슨 및 세이버그-위튼 불변량과 같은 알려진 위상 불변량을 어떻게 복원하는가?

주요 결과

• 수학적-퀸 톰 형식은 $ u(x) = \frac{1}{(2\pi)^{n/2}} e^{-\frac{1}{2}(x,x)} dx^1 \wedge \cdots \wedge dx^n $ 로 주어지는 총공간 위의 미분형식으로서, $L^1$-노름이 1이며 영단면 근처에 국소화된다.
• 초트레이스 항등식 $ \mathrm{str}\, e^{\frac{\sqrt{-1}}{4}(\gamma, \Sigma \gamma)} = \hat{A}(\Sigma)^{-1/2} \mathrm{Pf}(\Sigma) $ 는 펄프잔을 통해 A-호 급수와 오일러 클래스의 미분형식 대표를 제공한다.
• 어떤 단면에 의한 수학적-퀸 형식의 당김은 오일러 클래스의 대표를 제공하며, 단면의 스케일링은 부드러운 펄프잔과 영집합의 푸앵카레 쌍대체 사이를 연결한다.
• 등변 설정에서 형식 $ \mathcal{F} = F_A + \sqrt{-1}\psi + \phi $ 는 등변 곡률을 나타내며, 형식 $ \frac{1}{4\check{h}(\mathfrak{g})} \int_\gamma (\mathcal{F}, \wedge \mathcal{F}) $ 는 접속 공간 위의 닫힌 등변 형식을 나타낸다.
• 기대값 $ \left\langle \prod_{i=1}^r W_{\gamma_i} \right\rangle $ 는 라그랑지안 (5.7) 의 경로적분을 통해 계산되며, $ |Z(G)| $ 로 정규화된 후 도널드슨 불변량을 얻는다. 비영인 결과는 $ \sum_i (4 - q_i) = \dim \mathcal{M} $ 를 만족할 때에만 존재한다.
• 이 형식법은 위상장 이론의 물리적 실현을 제공하며, 위튼과 아티야-제프리의 이론을 포함한다. 라그랑지안 (5.7) 에 위상적 항을 추가하면 위상적 게이지 이론의 작용을 재현한다.