[논문 리뷰] Seiberg-Witten invariants of 3-orbifolds and non-Kähler surfaces

Chen Weimin|arXiv (Cornell University)|2011. 12. 04.

Geometric and Algebraic Topology참고 문헌 21인용 수 4

한 줄 요약

이 논문은 3-오비폴드의 Seiberg-Witten 불변량과 그 정규화된 매니폴드(특이 원소를 제거한 후)의 불변량 사이의 공식을 수립하여, 비카일러 복소 표면의 불변량을 오비폴드 기법을 통해 계산할 수 있도록 한다. 주요 결과는 Biquard와 Williams의 이전 작업을 일반화하며, 오비폴드 선다발과 격자군의 작용 하에서의 궤도를 이용한 타원형 비카일러 표면의 Seiberg-Witten 불변량에 대한 위상수학적 공식을 제공한다.

ABSTRACT

A formula is given which computes the Seiberg-Witten invariant of a 3-orbifold from the invariant of the underlying manifold. As an application, we derive a formula for the Seiberg-Witten invariant of a non-Kähler complex surface, which was originally due to O. Biquard \cite{Biq} and S.R. Williams \cite{W} independently.

연구 동기 및 목표

• 특이 집합이 포함된 임베딩된 원으로 이루어진 3-오비폴드의 Seiberg-Witten 불변량에 대한 공식을 유도하고, 이를 정규화된 매니폴드의 불변량과 연관지운다.
• 이 공식을 비카일러 복소 표면, 특히 오일러 지표가 0인 타원형 표면의 Seiberg-Witten 불변량을 계산하는 데 적용한다.
• 표면이 반드시 카일러일 필요는 없지만, 오비폴드 구조와 Seifert 필라션을 사용하여 불변량 계산을 일반화한다.
• 4-매니폴드 위의 $Spin^c$-구조와 2-오비폴드 기반 위의 오비폴드 선다발 궤도 사이의 대응관계를 수립한다.
• 구면 분할과 분리 가능한 2-오비폴드 부분표면을 통해 비영 불변량의 위상수학적 특성화를 제공한다.

제안 방법

• 특이 집합을 제거하여 얻어진 매니폴드 $Y_0$의 $Spin^c$-구조 집합에서 3-오비폴드 $Y$의 $Spin^c$-구조 집합으로의 자연스러운 전성 사상 $\phi: S_Y \to S_{Y_0}$ 를 정의한다.
• Baldridge의 3-오비폴드에 대한 Seiberg-Witten 이론 확장에 기반하여, 자연스러운 사상을 통해 $SW_Y(\xi)$ 와 $SW_{Y_0}(\phi(\xi))$ 사이의 관계를 설정한다.
• 비카일러 복소 표면을 Seifert 필라션으로부터의 복원을 통해 얻어진 주 $S^1$-_bundle의 전체공간으로 모델링한다.
• 4-매니폴드 $X$ 위의 $Spin^c$-구조를 $\Gamma_X$에 의한 작용 하에서의 오비폴드 선다발 $D$의 궤도 $(D)$로 표현한다. 여기서 $\Gamma_X$ 는 $E_1$ 과 $E_2$ 에 의해 생성된 군이다.
• Seiberg-Witten 불변량 $SW_X((D))$ 는 $g \geq 1$ 일 때는 $|D'| \in [0, 2g-2]$ 인 $D' \in (D)$ 에 대해, $g = 0$ 일 때는 $|D'| \geq 0$ 인 모든 $D'$ 에 대해 계산하며, 이는 이항계수 또는 $|D'|+1$ 으로 가중치를 부여한다.
• Spin^c-구조의 결정선다발의 첫 번째 체르니 클래스를 $c_1(\det \mathcal{L}) = (2d - 2g + 2)F + \sum_i (2s_i + 1 - m_i)F_i$ 로 유도한다. 여기서 $F$ 는 정규점 위의 피브어이고, $F_i$ 는 $i$-번째 특이점 위의 피브어이다.

실험 결과

연구 질문

• RQ1 특이 집합이 포함된 임베딩된 원으로 이루어진 3-오비폴드의 Seiberg-Witten 불변량은 정규화된 매니폴드의 불변량과 어떻게 관련이 있는가?
• RQ2 비카일러 복소 표면 위의 $Spin^c$-구조는 어떤 구조를 가지며, 어떤 것들이 비영 불변량을 가질 수 있는가?
• RQ3 비카일러 타원형 표면의 Seiberg-Witten 불변량은 오비폴드 자료와 다발 이론적 구성으로 계산될 수 있는가?
• RQ4 군 $\Gamma_X$ 가 오비폴드 선다발 위에 작용할 때, Seiberg-Witten 불변량 계산에 어떤 영향을 미치는가?
• RQ5 비영 불변량을 가진 3-오비폴드에 대해 어떤 위상수학적 제약 조건이 존재하는가? 특히, 구면 2-오비폴드 부분표면과 그 분할 성질에 대해 어떤가?

주요 결과

• 특이 집합 $\Sigma Y$ 를 가진 3-오비폴드 $Y$ 의 Seiberg-Witten 불변량은 $\Sigma Y$ 를 제거하여 얻어진 정규화된 매니폴드 $Y_0$ 의 불변량과 동일하며, 자연스러운 사상 $\phi: S_Y \to S_{Y_0}$ 를 통해 연결된다. 즉, 모든 $\xi \in S_Y$ 에 대해 $SW_Y(\xi) = SW_{Y_0}(\phi(\xi))$ 이다.
• E \times C 에서 로그 변환을 적용하여 얻어진 비카일러 복소 표면 $X$ 에 대해, Seiberg-Witten 불변량 $SW_X((D))$ 는 오비폴드 선다발 궤도의 합으로 주어진다: $g \geq 1$ 일 때는 $\sum_{D' \in (D), |D'| \in [0,2g-2]} (-1)^{|D'|} \binom{2g-2}{|D'|}$ 이고, $g = 0$ 일 때는 $\sum_{D' \in (D), |D'| \geq 0} (|D'| + 1)$ 이다.
• 4-매니폴드 $X$ 위의 $Spin^c$-구조 $\mathcal{L}$ 의 결정선다발의 첫 번째 체르니 클래스는 $c_1(\det \mathcal{L}) = (2d - 2g + 2)F + \sum_i (2s_i + 1 - m_i)F_i$ 이다. 여기서 $F$ 는 정규점 위의 피브어이고, $F_i$ 는 $i$-번째 특이점 위의 피브어이다.
• 비영 불변량을 가진 $b_1 > 1$ 인 3-오비폴드 $Y$ 는 피아노 좋은 오비폴드여야 하며, 모든 구면 2-오비폴드 부분표면은 분리 가능해야 하며, 효율적 구면 분할에서 정확히 하나의 기초 성분만 비영인 $b_1$ 을 가져야 한다.
• $SW_X((D))$ 의 공식은 $b_2^+ = 1$ 일 때 Taubes 카메라와 일치하며, 이는 정확히 $g = 0$ 이고 $X$ 가 카일러일 때 발생한다. 이는 카일러 케이스와의 일致성을 확인한다.
• $\Gamma_X$ 는 오비폴드 선다발 $E_1$ 과 $E_2$ 에 의해 생성되며, 타원형 섬유의 호모로지에서 기저가 바뀌어도 보존된다. $SL(2,\mathbb{Z})$ 변환 하에서 $E_1', E_2'$ 는 $E_1, E_2$ 의 정수 계수 선형 조합이 된다.