[논문 리뷰] The Yang-Mills stratification for surfaces revisited

Daniel A. Ramras|arXiv (Cornell University)|2008. 05. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 5

한 줄 요약

이 논문은 리만 곡면 위에서 아티야와 보트의 양–밀스 분할에 대해 재검토하며, 방향성 있는 경우와 비방향성 있는 경우의 비준비-스테이블 분할의 최소 codimension에 대한 정확한 공식을 제공한다. 이는 만일의 곡면의 경우, 중심 양–밀스 연결의 호모토피 궤도 공간의 연결성은 종수 1일 때 정확히 $2\gcd(n,k)-2$이며, $g>1$일 때는 $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$임을 규명한다. 비방향성 곡면에 대해서는 후와 리우의 이론을 통해 유사한 결과를 도출하여, 낮은 차원의 게이지-등변 cohomology에서의 동형을 이끌어낸다.

ABSTRACT

We revisit Atiyah and Bott's study of Morse theory for the Yang-Mills functional over a Riemann surface, and establish new formulas for the minimum codimension of a (non-semi-stable) stratum. These results yield the exact connectivity of the natural map (C_{min} E)//G(E) --> Map^E (M, BU(n)) from the homotopy orbits of the space of central Yang-Mills connections to the classifying space of the gauge group G(E). All of these results carry over to non-orientable surfaces via Ho and Liu's non-orientable Yang-Mills theory. A somewhat less detailed version of this paper (titled "On the Yang-Mills stratification for surfaces") will appear in the Proceedings of the AMS.

연구 동기 및 목표

• 아티야와 보트의 양–밀스 함수에 대한 모스-이론적 접근을 정밀화하고 확장하여, 비준비-스테이블 분할의 최소 codimension을 정확히 계산한다.
• 중심 양–밀스 연결의 호모토피 궤도 공간에서 게이지 군의 분류공간으로의 자연스러운 사상의 정확한 연결성을 규명한다.
• 호와 리우의 비방향성 양–밀스 이론을 활용하여 이러한 결과를 비방향성 곡면으로 확장한다.
• 계산된 연결성을 기반으로, 낮은 차원의 게이지-등변 cohomology에서의 동형을 확립한다.

제안 방법

• 논문은 비방향성 곡면의 이중 덮개에서 대칭 분할을 분류함으로써 양–밀스 분할을 분석하며, 특히 호환되는 대칭 수열의 고정점 집합에 초점을 맞춘다.
• 이중 덮개 $\widetilde{E}$ 위의 연결의 공간에서 대칭 분할 $\mu$의 복소 codimension $c(\mu)$에 대한 공식을 유도하며, 이는 원래 공간 $\mathcal{A}(E)$에서의 실수 codimension을 결정한다.
• 허용 가능한 대칭 수열 $\mu = ((n_1,k_1),(n_0,0),(n_1,-k_1))$에 대해 $c(\mu)$를 최소화함으로써 최소 codimension을 계산하며, 이는 $i=1,\dots,\lfloor n/2\rfloor$에 대해 최소화 문제로 환원된다.
• codimension 함수 $c(i) = 2n - 2i + (2ni - 3i^2)(\widetilde{g}-1)$의 이차 최적화를 통해 최소화자(최소화하는 $i$)를 식별한다.
• 종수 1의 경우, $n$이 홀수일 때 최소 codimension이 $2n - 2$이며, $n$이 짝수일 때는 $2n - 4$임을 보이며, 이에 따라 연결성이 각각 $n-1$ 또는 $n-2$가 된다.
• 비방향성 곡면로의 결과 확장을 위해, 분할의 고정점의 구조를 분석하며, 특히 클라인 병에서의 비자명한 복합선다발 $E^{-}$와 자명한 복합선다발 $E^{+}$에 특별한 주의를 기울인다.

실험 결과

연구 질문

• RQ1 종수 $g>1$인 리만 곡면에서 랭크 $n$과 초전하수 $k$를 가진 복합선다발에 대해, 비준비-스테이블 양–밀스 분할의 정확한 최소 codimension은 무엇인가?
• RQ2 호모토피 궤도 공간 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$의 연결성은 분류공간 $\mathrm{Map}^E(M,BU(n))$의 위상수학적 성질과 어떻게 관련이 있는가?
• RQ3 특히 클라인 병에서 비방향성 곡면 위의 중심 양–밀스 연결 공간의 정확한 연결성 한계는 무엇인가?
• RQ4 방향성 곡면에서의 결과는 호와 리우의 비방향성 양–밀스 이론을 통해 비방향성 곡면으로 어떻게 확장되는가?
• RQ5 이중 덮개에서의 대칭 분할은 비방향성 곡면에서 고정점 분할의 codimension을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 종수 $g=1$이고 랭크 $n$, 초전하수 $k$인 복합선다발 $E$에 대해, 호모토피 궤도 공간 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$의 연결성은 정확히 $2\gcd(n,k)-2$이다.
• 종수 $g>1$일 경우, 연결성은 정확히 $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$이며, 여기서 $[r]_n$은 $\{1,\dots,n\}$ 내에서 $r$과 모듈로 $n$으로 합동인 유일한 정수를 나타낸다.
• 클라인 병($\widetilde{g}=1$)에서, $n$이 홀수이면 $\mathcal{A}_{\mathrm{flat}}(E)$의 연결성은 정확히 $n-1$이다; $n$이 짝수이고 $E=E^{-}$이면 연결성은 $n-2$이다.
• 클라인 병에서의 자명한 복합선다발 $E^{+}$에 대해 $n$이 짝수일 경우, 비어 있지 않은 분할의 최소 codimension은 $n+2$이므로, $\mathcal{A}_{\mathrm{flat}}(E^{+})$는 정확히 $n$-연결이다.
• 결과는 낮은 차수에서 $H^{*}_{\mathcal{G}(E)}(\mathcal{C}_{\textrm{min}}(E);\mathbb{Z}) \cong H^{*}(B\mathcal{G}(E);\mathbb{Z})$ 및 $H^{*}_{\mathcal{G}_0(E)}(\mathcal{C}_{\textrm{min}}(E);\mathbb{Z}) \cong H^{*}(B\mathcal{G}_0(E);\mathbb{Z})$의 동형을 암시한다.
• 종수 $g>1$인 경우, $\mathcal{A}(E)$에서 비어 있지 않은 분할의 최소 codimension은 오직 $\mu_i = ((i,1),(n-i,0),(i,-1))$ 형태의 분할에서 $i=1$일 때에만 달성되며, 이 경우 codimension은 $c(1) = 2n\widetilde{g} - 3\widetilde{g} + 1$이 된다.