[논문 리뷰] A higher dimensional foliated Donaldson theory, I

Shuguang Wang|arXiv (Cornell University)|2012. 12. 30.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 4

한 줄 요약

이 논문은 codimension-4 리만 포일리에이션을 갖는 고차원 다양체 위에서의 포일리에이티드 반자기적 자기장 이론을 제안하며, 기본 반자기적 접속의 모듈리 공간에 대한 콪팩티피케이션 정리를 수립한다. 포일리에이티드 이론을 전단면 다양체 위의 표준 4차원 인스탄턴 이론과 편균군 작용을 통해 연결함으로써, 포일리에이션의 타우트성과 평균 곡률의 영제로 인해 이상 모듈리 공간이 콩팩트해짐을 증명한다. 특이점은 오직 콩팩트 리브만에서만 발생한다.

ABSTRACT

We introduce the foliated anti-self dual equation for higher dimensional smooth manifolds with codimension-4 Riemannian foliations. Several fundamental results are established, towards the defining of a Donaldson type invariant for such foliations.

연구 동기 및 목표

• codimension-4 리만 포일리에이션을 지닌 다양체를 위한 도널드슨 이론의 고차원 해석을 개발하기 위해.
• 일반적인 고차원 인스탄턴 이론에서 타당하지 않은 타당성과 콩팩티피케이션 문제를 포일리에이티드 구조를 활용하여 해결하기 위해.
• 전단면으로의 4차원 반자기적 방정식으로의 축소를 통해 새로운 게이지이론적 불변량—포일리에이티드 도널드슨 불변량—을 정의하기 위해.
• 기본 반자기적 접속의 모듈리 공간에 대한 콩팩티피케이션 정리를 수립하고, 콩팩트 리브만이 가지는 분기 위치로서의 역할을 규명하기 위해.
• 모듈리 공간의 콩팩티피케이션과 전하 양자화를 보장하기 위해, 캘리브레이션 형식에 대한 표준적인 닫힘 조건을 포일리에이션의 타우트성으로 대체함으로써 이를 약화시키기 위해.

제안 방법

• codimension-4 리만 포일리에이션의 특성 형식 $\chi = \chi_{\mathcal{F}}$ 를 사용하여 포일리에이티드 반자기적 방정식 $*(F_A \wedge \chi) = -F_A$ 를 도입한다.
• 기본 접속 $A$ 에 한정함으로써, 정규 벡터 번들의 $Q = TM/T\mathcal{F}$ 위에서의 전단면 반자기적 방정식 $\overline{*}F_A = -F_A$ 로 방정식을 축소한다.
• 편균군 작용을 통한, $M$ 위의 포일리에이티드 이론, $Q$ 위의 전단면 이론, 그리고 전단면 $Y$ 위의 등급 4차원 게이지 이론 사이의 등가성을 적용한다.
• 비콤팩트이고 비연결된 전단면 $Y$ 위에서 표준 4차원 반자기적 방정식 $*F_{A'} = -F_{A'}$ 를 사용하여, 편균군 불변성을 확보함으로써 타당성과 콩팩티피케이션을 회복한다.
• 기본 접속 $A$ 와 $Y$ 위의 $\mathbf{H}$-불변 접속 $A'$ 사이의 대응관계를 수립하며, 반자기적 조건을 유지한다.
• 곡률 형식의 약한 수렴과 전류의 극한을 활용하여 특이점을 분석하고, 극한 접속 $\tilde{A}$ 가 $M$ 전역에서 매끄럽게 연장됨을 보인다.

실험 결과

연구 질문

• RQ1 codimension-4 리만 포일리에이션을 갖는 다양체에 대해 도널드슨 이론의 고차원 해석을 구성할 수 있는가?
• RQ2 표준적인 타당성 조건이 없는 고차원에서 반자기적 접속의 모듈리 공간은 어떻게 콩팩트화될 수 있는가?
• RQ3 타우트성은 콩팩티피케이션과 전하 양자화를 위해 표준적인 캘리브레이션 형식의 닫힘 조건을 어떻게 대체하는가?
• RQ4 포일리에이션의 콩팩트 리브만은 모듈리 공간의 극한 행동에서 어떻게 나타나는가?
• RQ5 포일리에이티드 인스탄턴 모듈리 공간은 전단면 축소와 편균군 불변성을 통해 표준 4차원 게이지 이론과 어떻게 관련되는가?

주요 결과

• 포일리에이션 $\mathcal{F}$ 가 타우트이고 평균 곡률 $\kappa = 0$ 이면, 기본 반자기적 접속의 이상 모듈리 공간 $\mathcal{I}\mathcal{M}_{\mathrm{b}}(E)$ 는 콩팩트하다.
• 극한 접속 $\tilde{A}$ 는 전체 다양체 $M$ 위로 매끄럽게 연장되며, 이는 특이점 집합 $S([\tilde{A}])$ 가 공집합임을 의미한다. 이는 티안의 일반적 설정보다 더 강력한 결과이다.
• 곡률 형식의 약한 극한에서의 특이 전류 $T$ 는 유한한 수의 콩팩트 리브만에 지지된 정칙 포일리에이션 사이클이다. 이는 정리 6.5와 추론 1.16를 통해 입증된다.
• 포일리에이티드 도널드슨 불변량은 분류 공간 $\mathcal{B}$ 위에서의 슬래시 곱을 통해 정의되며, 정칙 포일리에이션 2-사이클과의 페어링을 통해 정수 값을 갖는 불변량을 도출한다.
• 모듈리 공간은 전체 메트릭이 아닌 번들의 림워즈 메트릭 성분 $g_L$ 에만 의존한다.
• 타우트성 가정은 $d\chi = 0$ 에서의 요구 조건을 $\mathcal{F}$-상대적 닫힘 ($d_{\mathcal{F}}\chi = 0$) 으로 약화시키며, 이는 콩팩티피케이션과 전하 양자화에 충분하다.