[논문 리뷰] The singularities of Yang-Mills connections for bundles on a surface. I. The local model

Johannes Huebschmann|ArXiv.org|1994. 11. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 6

한 줄 요약

이 논문은 닫힌 표면 위의 주다발에 대한 중심 양-밀스 접속의 모듈리 공간에 대한 국소 모델을 수립한다. 이를 위해 코homology 군의 Marsden-Weinstein 축약된 공간에서 0의 근방과 주어진 접속 근처의 모듈리 공간을 식별하는 쿠라니시 맵을 구성한다. 주요 기여는 접속의 안정자 군에 대한 표현 이론과 운동량 맵을 통해 모듈리 공간의 국소 구조를 기하학적으로 실현한 데 있다.

ABSTRACT

Let $Σ$ be a closed surface, $G$ a compact Lie group, not necessarily connected, with Lie algebra $g$, endowed with an adjoint action invariant scalar product, let $ξ\colon P o Σ$ be a principal $G$-bundle, and pick a Riemannian metric and orientation on $Σ$, so that the corresponding Yang-Mills equations $$d_A*K_A = 0$$ are defined, where $K_A$ refers to the curvature of a connection $A$. For every central Yang-Mills connection $A$, the data induce a structure of unitary representation of the stabilizer $Z_A$ on the first cohomology group $ oman H^1_A(Σ, oman{ad}(ξ))$ with coefficients in the adjoint bundle $ oman{ad}(ξ)$, with reference to $A$, with momentum mapping $Θ_A$ from $ oman H^1_A(Σ, oman{ad}(ξ))$ to the dual $z^*_A$ of the Lie algebra $z_A$ of $Z_A$. We show that, for every central Yang-Mills connection $A$, a suitable Kuranishi map identifies a neighborhood of zero in the Marsden-Weinstein reduced space $ oman H_A$ for $Θ_A$ with a neighborhood of the point $[A]$ in the moduli space of central Yang-Mills connections on $ξ$.

연구 동기 및 목표

• 닫힌 표면 위의 주다발에 대한 중심 양-밀스 접속의 모듈리 공간의 국소 구조를 이해하는 것.
• 게이지 군이 반드시 연결되어 있지 않을 경우 모듈리 공간에 나타나는 특이성을 분석하는 것.
• 첫 번째 코homology 군의 Marsden-Weinstein 축약된 공간과 중심 양-밀스 접속 근처의 모듈리 공간 사이의 대응관계를 수립하는 것.
• 표현 이론과 운동량 맵을 활용한 기하학적 프레임워크를 통해 양-밀스 접속의 국소 행동을 제공하는 것.

제안 방법

• 닫힌 표면 $ \Sigma $ 위의 주 $ G $-다발에서 중심 접속을 정의하기 위해 양-밀스 방정식 $ d_A^* K_A = 0 $ 를 사용한다.
• 접속 $ A $ 의 안정자 $ Z_A $ 에 의한 첫 번째 코homology 군 $ H^1_A(\Sigma, \text{ad}(\xi)) $ 에 유니터리 표현을 부여한다.
• $ H^1_A(\Sigma, \text{ad}(\xi)) $ 에서 $ Z_A $ 의 리 대수의 쌍대 $ z_A^* $ 로 향하는 운동량 맵 $ \Theta_A $ 를 구성한다.
• 쿠라니시 맵을 적용하여 축약된 공간 $ H_A $ 에서 0의 근방과 모듈리 공간 내 $[A]$ 근처의 근방을 식별한다.
• 모듈리 공간의 특이점 근처에서 심플렉틱 구조를 분석하기 위해 Marsden-Weinstein 축약 절차를 적용한다.
• 리 대수 $ \mathfrak{g} $ 에 $ \text{Ad}_G $-불변 내적을 부여하며, 이는 표면 $ \Sigma $ 의 리만 계량과 호환된다.

실험 결과

연구 질문

• RQ1 특이점 근처에서 중심 양-밀스 접속의 모듈리 공간의 국소 구조는 어떻게 묘사할 수 있는가?
• RQ2 안정자 군 $ Z_A $ 는 모듈리 공간 기하학에서 어떤 역할을 하는가?
• RQ3 코homology 군 상의 운동량 맵 $ \Theta_A $ 는 모듈리 공간의 국소 위상에 어떻게 관련되는가?
• RQ4 쿠라니시 맵은 축약된 공간과 모듈리 공간 사이에 국소 미분동형을 어떻게 제공하는가?
• RQ5 게이지 군 $ G $ 가 연결되어 있지 않을 경우 모듈리 공간의 특이성은 어떻게 영향을 받는가?

주요 결과

• 쿠라니시 맵은 Marsden-Weinstein 축약된 공간 $ H_A $ 에서 0의 근방과 중심 양-밀스 접속의 모듈리 공간 내 $[A]$ 근처의 근방 사이에 국소 미분동형을 유도한다.
• 첫 번째 코homology 군 $ H^1_A(\Sigma, \text{ad}(\xi)) $ 는 안정자 $ Z_A $ 에 대한 자연스러운 유니터리 표현을 지니며, 이는 축약 과정에 필수적이다.
• 운동량 맵 $ \Theta_A $ 는 $[A]$ 근처의 모듈리 공간 국소 기하학을 캐릭터라이즈하는 심플렉틱 몫 구조를 제공한다.
• 게이지 군 $ G $ 가 연결되어 있지 않은 경우에도 이 구성은 유효하여, 특이 케이스에까지 국소 모델의 적용 가능성을 확장한다.
• 국소 모델은 보조 선택에 의존하지 않고 고유한 기하학적 성질에 기반하여 정의되며, 따라서 정의가 고유하다.
• 결과적으로 코homological 데이터와 모듈리 공간의 국소 구조 사이의 정확한 대응관계를 확립함으로써 특이성의 깊은 분석이 가능해진다.