[논문 리뷰] Real bundle automorphisms, Cauchy Riemann operators and orientability of moduli spaces

Rémi Crétois|arXiv (Cornell University)|2013. 09. 12.

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소 벡터(bundle)에 실 구조를 지닌 실 곡선 위의 실 코시-리만 연산자 모듈리 공간 위의 행렬식 선다발의 방향성에 대한 자기동형사상 작용의 부호를 계산한다. 실 편평한 편평한 곡선의 모듈리 공간의 가역성은 순열 작용의 서명과 $\mathrm{Pin}^{\pm}$ 구조, 실 $\mathrm{Spin}$ 구조의 bordism 동치류와 같은 위상적 불변량에 의해 결정되며, 이는 이러한 모듈리 공간의 첫 번째 스티펠-브리튼 클래스에 대한 명시적 공식을 도출한다. 이 공식은 표준 선다발과 실 코homology 클래스로 표현된다.

ABSTRACT

This paper consists in a very brief English summary of the results appearing in French in two previous articles. We omit the proofs and focus on explaining our approach and theorems. This paper is not intended to be published. Questions are welcome. In our work, we considered a complex vector bundle $N$ equipped with a real structure $c_N$ over a real curve of arbitrary genus. We computed the sign of the action of an automorphism of $(N,c_N)$ on the orientations of the determinant line bundle over the space of Cauchy-Riemann operators on $(N,c_N)$. We first considered the automorphisms lifting the identity on the curve (in the first article). In this case, we obtained the sign as a product of two terms. The first one computes the signature of the permutations induced by the automorphisms acting in the $Pin^\pm$ structures on the real part of $(N,c_N)$. The second one comes from the action of the automorphisms of $(N,c_N)$ on the bordism classes of real $Spin$ structures on the curve. We then studied the general case in the second article. As an application of these results, we computed the first Stiefel-Whitney class of the moduli space of real pseudoholomorphic curves in many cases.

연구 동기 및 목표

• 실 코시-리만 연산자 공간 위의 행렬식 선다발의 방향성에 대한 실 벡터(bundle) 자기동형사상의 부호를 결정하는 것.
• 실 심플렉틱 다양체 내 실 편평한 편평한 곡선의 모듈리 공간의 가역성 이해하기.
• 표준 선다발과 실 코homology 클래스를 포함한 위상적 불변량을 사용하여 이러한 모듈리 공간의 첫 번째 스티펠-브리튼 클래스를 계산하는 것.
• 편평화 및 편평화 섹션을 통한 표준 방향의 존재 조건을 설정하는 것.

제안 방법

• 실 곡선 $(\Sigma_g, c_\Sigma)$ 위의 실 벡터(bundle) $(N, c_N)$ 의 자기동형사상 분석을 통해 $\Sigma_g$ 위의 항등사상으로 올리는 것을 중심으로 한다.
• 방향성 부호를 두 성분으로 분해한다: 실 부분 $\mathbb{R}N$ 에서의 $\mathrm{Pin}^{\pm}$ 구조에 대한 순열의 서명과 $\Sigma_g$ 에서의 실 $\mathrm{Spin}$ 구조의 bordism 동치류에 대한 작용.
• 일반적인 자기동형사상으로의 확장은 $\Sigma_g$ 위의 미분동형사상 $\varphi$ 와 그 $N$ 위로의 올림 $\Phi$ 를 포함하는 작용 계산의 일반화를 통해 이루어진다.
• 모듈리 공간의 실 편평한 편평한 곡선에 결과를 적용하기 위해, 모듈리 공간 위의 행렬식 다발이 표준 선다발과 교차선과의 전위에 관련된 타우토로지컬 다발 $T_D$ 와 관련이 있음을 연결한다.
• 편평화 섹션을 사용하여 특정 다발($\mathfrak{p}^+_X$, $O_X^{\mathrm{Spin}}$, $H^1_w(\mathbb{R}\Sigma_g, \mathbb{R})$) 를 자명화함으로써, 행렬식 선다발을 $\mathfrak{p}^+_X \otimes \det(H^1(\Sigma_g, \mathbb{R})_{-1})^{\otimes n-1} \otimes T_D$ 로 단순화한다.

실험 결과

연구 질문

• RQ1 실 벡터(bundle) 자기동형사상의 작용이 실 코시-리만 연산자 공간 위의 행렬식 선다발의 방향성에 어떻게 영향을 미치는가?
• RQ2 실 편평한 편평한 곡선의 모듈리 공간의 가역성을 결정하는 위상적 불변량은 무엇인가?
• RQ3 어떤 조건에서 실 심플렉틱 다양체가 모듈리 공간에 표준 방향을 유도하는 편평화를 가질 수 있는가?
• RQ4 기하학적 및 위상적 자료로 표현할 때, 모듈리 공간의 첫 번째 스티펠-브리튼 클래스는 어떻게 계산할 수 있는가?

주요 결과

• 행렬식 선다발의 방향성에 대한 자기동형사상 작용의 부호는 $\mathrm{Pin}^{\pm}$ 구조에 대한 순열의 서명과 실 $\mathrm{Spin}$ 구조의 bordism 동치류의 곱으로 주어진다.
• 부드러운 초곡면 $X_\delta \subset \mathbb{C}P^N$ 에서 $\delta \equiv N+1 \mod 4$ 를 만족하는 실 편평한 편평한 곡선의 경우, 모듈리 공간의 첫 번째 스티펠-브리튼 클래스는 $w_1(\mathbb{R}_\tau \mathcal{M}^d_{g,r}(X_\delta,J)) = w_1(L_r) + (\delta-1)w_1(\det(H^1(\Sigma_g, \mathbb{R})_{-1}))$ 로 주어진다.
• 편평화 다발 $D$ 와의 전위에 대한 곡선의 모듈리 공간 위의 행렬식 다발은 표준적으로 $\mathfrak{p}^+_X \otimes \det(H^1(\Sigma_g, \mathbb{R})_{-1})^{\otimes n-1} \otimes T_D$ 와 동형이다.
• 모든 실 심플렉틱 다양체는 편평화 섹션을 통해 편평화를 가지며, 이는 전위 곡선의 모듈리 공간에 표준 방향의 존재를 보장한다.
• 행렬식 다발의 표준 동형은 $\mathfrak{D}_{(\underline{\mathbf{d}})}(N)$ 에 대한 의존성을 제거하여 방향성 이론을 단순화한다.