[논문 리뷰] The formulation of the Chern-Simons action for general compact Lie groups using Deligne cohomology

Kiyonori Gomi|ArXiv.org|2001. 04. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 4

한 줄 요약

이 논문은 Deligne 코hom로 일반적인 컴acts Lie 군에 대해 Chern-Simons 작용을 수식화하여, 경계가 있는 3차원 다양체에서도 일관된 정의가 가능하도록 한다. 작용은 $BG$로의 사상 공간 위의 $\tau$-값 함수로 구성되며, 다양체에 경계가 있을 경우 허미션 선다발의 단면이 되어 접합과 위상적 불변성과의 호환성을 보장한다.

ABSTRACT

We formulate the Chern-Simons action for any compact Lie group using Deligne cohomology. This action is defined as a certain function on the space of smooth maps from the underlying 3-manifold to the classifying space for principal bundles. If the 3-manifold is closed, the action is a function with values in complex numbers. If the 3-manifold is not closed, then the action is a section of a Hermitian line bundle associated with the Riemann surface which appears as the boundary.

연구 동기 및 목표

• 단순연결된 군을 초월해 일반적인 컴acts Lie 군에 대해 Chern-Simons 작용을 일반화하기.
• 伝통적인 미분 특성 수단이 실패하는 경계가 있는 3차원 다양체에서 작용을 정의하는 문제를 해결하기.
• 접합과 방향 전환과 같은 위상적 연산을 존중하는 기하학적으로 일관된 작용을 Deligne 코호모로 구성하기.
• 경계 리만 다양체에서 $BG$로의 사상 공간 위에 자연스러운 허미션 선다발을 정의하고, 그 단면이 작용을 표현하기.
• 작용이 접합, 방향, 덧셈과 같은 고전장 이론의 기본 공리를 만족함을 확립하기.

제안 방법

• 특성 4형식 $\frac{1}{8\pi^2} \operatorname{Tr}(F_u \wedge F_u)$ 를 사용하여, $c_u \in H^3(BG, \mathcal{F}^3)$ 에서의 유일한 Chern-Simons 클래스를 Deligne 코호모로 표현하기.
• $c_u$ 의 Čech 코ycle 표현을 사용하여 $\mathrm{Map}(M, BG)$ 의 열린 부분집합 위의 국소 함수 $\mathcal{A}_{M;A}$ 정의하기.
• $\mathrm{Map}(\Sigma, BG)$ 위에 Čech 코ycle 에서 유도된 전이 함수를 사용해 허미션 선다발 $\mathcal{L}_\Sigma$ 구성하기.
• 다양체에 경계가 있을 경우, 전역 Chern-Simons 작용 $\mathcal{A}_M$ 을 $r^*\mathcal{L}_{\partial M}$ 의 단면으로 정의하기.
• 통합 시에 제대로 작동하도록, 임베디드 표면에 沿해 제약 및 압축에 대해 작용이 잘 변하는지 확인하기.
• 국소 항목의 명시적 삼각형 분할 기반 계산을 통해, 선다발의 접속과의 호환성을 보장하는 평행 이동을 사용하여 작용이 접속과 호환됨을 검증하기.

실험 결과

연구 질문

• RQ1 일반적인 컴acts Lie 군에 대해, 특히 3차원 다양체에 경계가 있을 경우, Chern-Simons 작용을 어떻게 일관되게 정의할 수 있는가?
• RQ2 비단순연결된 경우에, $\mathbb{C}^*$-값 작용을 대체할 기하학적 구조는 무엇인가?
• RQ3 접합, 방향 전환, 그리고 분리합집합과 같은 위상적 연산에서 작용은 어떻게 행동하는가?
• RQ4 Chern-Simons 작용을 선다발의 단면으로 해석할 수 있으며, 만약 그렇다면 그 선다발의 기하학적 의미는 무엇인가?
• RQ5 작용은 선다발의 접속과 호환되는가? 그리고 기대되는 평행 이동을 재현하는가?

주요 결과

• 다양체 $M$ 가 닫혀 있을 경우, 작용은 $\mathrm{Map}(M, BG)$ 위의 $\mathbb{T}$-값 함수로 정의되며, 경계가 있을 경우 $r^*\mathcal{L}_{\partial M}$ 의 품근으로 정의된다.
• $\mathrm{Map}(\Sigma, BG)$ 위의 Chern-Simons 선다발 $\mathcal{L}_\Sigma$ 는 잘 정의되어 있으며, 그 위상적 등급은 Deligne 코호모로 클래스 $c_u$ 에만 의존한다.
• 작용은 접합 공리를 만족한다: 표면 $\Sigma$ 에 따라 잘라진 $M_{\text{cut}}$ 에서 $\operatorname{Tr}_\xi(\mathcal{A}_{M_{\text{cut}}}) = \mathcal{A}_M$ 이다.
• 작용은 방향 전환과 호환된다: $\mathcal{A}_{-M}(\gamma) = \overline{\mathcal{A}_M(\gamma)}$ 이며, $\mathcal{L}_{-\Sigma} \cong \mathcal{L}_\Sigma^*$ 이다.
• 작용은 분리합집합에서 덧셈적이다: $\mathcal{A}_{M_1 \sqcup M_2} = \mathcal{A}_{M_1} \otimes \mathcal{A}_{M_2}$ 이며, 선다발들 사이에 대응하는 텐서곱 구조가 존재한다.
• 작용은 $\mathrm{Map}(\Sigma, BG)$ 의 경로를 따라 평행 이동을 재현한다: $\mathcal{A}^{-1}_{\Sigma \times I}(\Gamma)$ 는 경로 $\gamma$ 를 따라 접속 $\nabla$ 의 평행 이동과 같다.