[논문 리뷰] Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces

Christian Okonek, Andrei Teleman|arXiv (Cornell University)|2010. 11. 04.

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

한 줄 요약

이 논문은 클라인 곡면의 피카르 토러스의 실수 부분에서 실수 행렬식 선다발의 고정점 다발의 첫 번째 스티펠-블랑슈타인 클래스를 Appell-Humbert 이론과 국소화 기법을 사용하여 계산한다. 주요 결과는 $ w_1({\cal L}_{\kappa}^\tilde{\iota}) $ 가 $ w_1(\kappa^\tilde{\iota}) $ 에 대한 명시적 공식과, $ w_1({\cal L}_{p_0}^\tilde{\iota}) $ 가 $ p_0 \in C^\iota $ 의 연결 성분에 대한 공식을 제공하며, 실수 게이지 이론과 실수代数기하학에서의 옵티멀리티 문제를 해결한다.

ABSTRACT

The purpose of this paper is to compute determinant index bundles of certain families of Real Dirac type operators on Klein surfaces as elements in the corresponding Grothendieck group of Real line bundles in the sense of Atiyah. On a Klein surface these determinant index bundles have a natural holomorphic description as theta line bundles. In particular we compute the first Stiefel-Whitney classes of the corresponding fixed point bundles on the real part of the Picard torus. The computation of these classes is important, because they control to a large extent the orientability of certain moduli spaces in Real gauge theory and Real algebraic geometry.

연구 동기 및 목표

• 실수 게이지 이론과 실수代수기하학에서의 옵티멀리티 문제를 해결하기 위해 클라인 곡면에서의 행렬식 인덱스 다발의 첫 번째 스티펠-블랑슈타인 클래스를 계산한다.
• 피카르 토러스의 실수 부분에서 실수 행렬식 선다발을 실수 썰라 특성 또는 고정점 집합 위의 실수 점에서 유래하는 썰라 다발과 연관지킨다.
• 이 실수 선다발의 고정점 다발의 첫 번째 스티펠-블랑슈타인 클래스를 계산하여 모듈리 공간의 옵티멀리티를 제어한다.
• Appell-Humbert 자료와 국소화를 사용하여 $ w_1({\cal L}_{\kappa}^{\tilde{\iota}}) $ 와 $ w_1({\cal L}_{p_0}^{\tilde{\iota}}) $ 에 대한 완전한 공식을 수립한다.
• 저차원 기하학에서 실수 시베르크-워든 이론과 실수 게이지 선형 시그마 모델에 기초가 되는 도구를 제공한다.

제안 방법

• 피카르 토러스에서 실수 썰라 다발 $ {\cal L}_{\kappa} $ 과 $ {\cal L}_{p_0} $ 의 Appell-Humbert 자료를 계산하기 위해 Appell-Humbert 이론을 사용한다.
• 실수 선다발 $ {\cal L}_{\kappa} $ 의 Appell-Humbert 자료에서 첫 번째 스티펠-블랑슈타인 클래스 $ w_1({\cal L}_{\kappa}^{\tilde{\iota}}) $ 를 추출한다.
• 실수 선다발 $ (L_{\kappa}, \tilde{\iota}_{{\cal L}_{\kappa}}) $ 와 $ (L_{p_0}, \tilde{\iota}_{{\cal L}_{p_0}}) $ 를 비교하여 그 스티펠-블랑슈타인 클래스 간의 관계를 규명한다.
• 자기 동형이 있는 다양체에 대한 $ \mathbb{Z}_2 $-등변 다발에 대한 국소화 공식을 적용하며, 경계 성분으로서의 프로젝티브 다발 $ \mathbb{P}_{\mathbb{R}}(N_{X^\iota/X} \oplus \underline{\mathbb{R}}) $ 을 사용한다.
• Whitney 합 공식과 채인-우 클래스를 사용하여 프로젝티브 다발 위의 내림받은 다발의 총 스티펠-블랑슈타인 클래스를 분해한다.
• 국소화 공식 유도: $ \langle w_2(_{\mathbb{R}}E), [X]_2 \rangle = \langle w_1(E^{\tilde{\iota}}) + \frac{r(r-1)}{2}w_1(N_{X^\iota/X}), [X^\iota]_2 \rangle $, 실수 2차원 다변량에서 실수 랭크-$ r $ 다발에 대해 유효하며 고정점 집합의 codimension-1 조건을 만족한다.

실험 결과

연구 질문

• RQ1 클라인 곡면에서 실수 썰라 특성에 관련된 실수 행렬식 선다발의 고정점 다발의 첫 번째 스티펠-블랑슈타인 클래스는 무엇인가?
• RQ2 실수 점 $ p_0 \in C^\iota $ 에 대해 실수 선다발의 고정점 다발의 첫 번째 스티펠-블랑슈타인 클래스는 어떤 연결 성분에 의존하는가?
• RQ3 실수 게이지 이론의 모듈리 공간의 옵티멀리티는 피카르 토러스에서 실수 행렬식 선다발의 $ w_1 $ 을 계산하여 결정할 수 있는가?
• RQ4 $ \mathbb{Z}_2 $-등변 스티펠-블랑슈타인 클래스에 대한 국소화 공식은 자기 동형이 있는 다양체에 대해 실수 썰라 다발에 적용 가능한가?
• RQ5 실수 토러스 위의 실수 선다발의 Appell-Humbert 자료는 그 $ \mathbb{Z}_2 $-등변 구조와 관련된 스티펠-블랑슈타인 클래스를 어떻게 캡슐화하는가?

주요 결과

• 첫 번째 스티펠-블랑슈타인 클래스 $ w_1({\cal L}_{\kappa}^{\tilde{\iota}}) $ 는 명시적으로 $ w_1(\kappa^{\tilde{\iota}}) $ 로 계산되며, 이는 썰라 특성의 실수 구조에만 의존함을 보여준다.
• 첫 번째 스티펠-블랑슈타인 클래스 $ w_1({\cal L}_{p_0}^{\tilde{\iota}}) $ 는 $ p_0 \in C^\iota $ 의 연결 성분에 의해 결정되며, 동일한 성분 내에서의 $ p_0 $ 의 선택과는 무관하다.
• 국소화 공식이 도출되었으며, $ \langle w_2(_{\mathbb{R}}E), [X]_2 \rangle = \langle w_1(E^{\tilde{\iota}}) + \frac{r(r-1)}{2}w_1(N_{X^\iota/X}), [X^\iota]_2 \rangle $ 는 고정점 집합의 codimension-1 조건을 만족하는 닫힌 실수 2차원 다변량에서 실수 랭크-$ r $ 다발에 대해 유효하다.
• 실수 행렬식 선다발 $ (L_{\kappa}, \tilde{\iota}_{{\cal L}_{\kappa}}) $ 과 $ (L_{p_0}, \tilde{\iota}_{{\cal L}_{p_0}}) $ 는 실수 토러스 위의 실수 선다발을 분류하는 Grothendieck 군 $ H^2_{\mathbb{Z}_2}(\mathrm{Pic}^0(C), \underline{\mathbb{Z}}(1)) $ 의 원소로 나타남을 보였다.
• 이 계산은 실수 게이지 이론과 실수 대수곡선의 모듈리 공간에서의 옵티멀리티 장벽을 해결하며, 이러한 클래스들이 방향성 존재 여부를 제어함을 보여준다.
• 대칭 거듭제곱 $ S^d(C) $ 에서 결과를 시각화하여, 이러한 모듈리 공간의 옵티멀리티가 본 논문에서 계산된 $ w_1 $ 클래스에 의해 지배됨을 보였다.