[논문 리뷰] Chen--Ruan cohomology of some moduli spaces

Indranil Biswas, Mainak Poddar|ArXiv.org|2008. 08. 24.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 고도수 g ≥ 2인 컴acts 리만 곡면에서의 안정적 PSL(2,ℂ)-_bundle의 모듈리 공간에 대한 Chen–Ruan cohomology ring을 계산한다. 2-torsion 부분군 Γ에 의한 작용과 고정점 기여를 통해, 고정된 결정자를 가진 랭크-2 범주에 대한 Γ-작용의 고정점 기여를 이용하여, 오비폴드 코hom로지 이론과 오비폴드 Gromov–Witten 유형 상관 함수를 통해 그 링 구조를 유도한다.

ABSTRACT

Let X be a compact connected Riemann surface of genus at least two. We compute the Chen--Ruan cohomology ring of the moduli space of stable PSL(2, C)--bundles of nontrivial second Stiefel--Whitney class over X.

연구 동기 및 목표

• Γ가 Pic^0(X)의 2-torsion 부분군인 오비폴드 ${\mathcal{M}}_{\xi}/\Gamma$의 Chen–Ruan 코호몰로지 링을 계산하는 것.
• 고정된 결정자를 가진 랭크-2 안정 범주에 대한 Γ-몫을 통해 발생하는 안정적 $\text{PSL}(2,\mathbb{C})$-_bundle의 모듈리 공간의 오비폴드 코호몰로지 구조를 이해하는 것.
• 특히 고정점 부분다양체 $\mathcal{S}(L)$를 포함한 상관 함수와 차단 다발의 계수를 이용하여 Chen–Ruan 코호몰로지의 링 구조를 규명하는 것.
• 클래스가 같은 또는 다른 꼬임 부문에서 온 경우, 그리고 교차가 자명하거나 유한한 경우에 따라 Chen–Ruan 곱의 행동을 규명하는 것.

제안 방법

• 고도수 g ≥ 2인 리만 곡면 X 위에서 결정자가 1인 랭크-2 안정 범주에 대한 모듈리 공간 ${\mathcal{M}}_{\xi}$를 정의한다.
• Jacobian의 2-torsion 부분군인 $\Gamma = \text{Pic}^0(X)_2$가 $L^{igotimes 2} \cong \mathcal{O}_X$를 만족하는 선다발 L과의 텐서곱을 통해 작용한다.
• 안정적 $\text{PSL}(2,\mathbb{C})$-bundle와 비자명한 $w_2$를 가진 오비폴드 몫 ${\mathcal{M}}_{\xi}/\Gamma$를 구성한다.
• Chen–Ruan 코호몰로지를 직접 합 분해를 통해 정의한다: $H_{CR}^*({\mathcal{M}}_{\xi}/\Gamma,\mathbb{Q}) = H^*({\mathcal{M}}_{\xi}/\Gamma,\mathbb{Q}) \oplus \bigoplus_{L \neq \mathcal{O}_X} H^{*-2\iota(L)}(\mathcal{S}(L)/\Gamma,\mathbb{Q})$, 여기서 $\mathcal{S}(L)$는 L의 고정점 다양체이다.
• 가상 클래스와 차단 다발의 계수를 이용한 삼점 상관 함수를 통해 링 구조를 정의한다. 이 계수들은 기하학적 및 위상수학적 자료로부터 계산된다.
• 고정점 다양체 $\mathcal{S}(L_1) \cap \mathcal{S}(L_2)$의 교차에 따라 네 가지 경우를 분석한다: 공집합, 점, 또는 유한군 작용으로 인한 경우로, 각각 다른 곱 규칙을 가진다.

실험 결과

연구 질문

• RQ1 비자명한 $w_2$를 가진 $\text{PSL}(2,\mathbb{C})$-bundle에 대해 오비폴드 ${\mathcal{M}}_{\xi}/\Gamma$의 Chen–Ruan 코호몰로지 링의 구조는 무엇인가요?
• RQ2 Γ-작용에 의해 발생하는 꼬임 부문이 고정점 부분다양체 $\mathcal{S}(L)$를 통해 Chen–Ruan 코호몰로지에 어떻게 기여하는가요?
• RQ3 고정점 다양체 $\mathcal{S}(L_1)$와 $\mathcal{S}(L_2)$가 자명하거나 비자명하게 교차할 경우, Chen–Ruan 곱의 행동은 어떻게 되나요?
• RQ4 모듈리 공간의 최고차수 코호몰로지 클래스와 카르탕 클래스 $\kappa$에 따라 링 구조는 어떻게 의존합니까?
• RQ5 최고차수 정규화 클래스 $\Omega$와 그 적분값 $v = \int_{{\mathcal{M}}_{\xi}/\Gamma} \kappa^{3(g-1)}$는 곱의 구조를 결정하는 데 어떤 역할을 합니까?

주요 결과

• Chen–Ruan 코호몰로지 링 ${\mathcal{M}}_{\xi}/\Gamma$는 비자명한 $L \in \Gamma$에 대한 고정점 다양체 $\mathcal{S}(L)$의 기여를 포함한, 비꼬임 및 꼬임 부문의 직접 합으로 계산된다.
• L ≠ $\mathcal{O}_X$인 경우, 꼬임 부문 코호몰로지 $H^{*-2\iota(L)}(\mathcal{S}(L)/\Gamma,\mathbb{Q})$가 링 구조에 기여하며, 이때 $\iota(L)$는 $d\phi_L$의 고유값에 의해 결정된다.
• 경우 (b)에서는 Chen–Ruan 곱이 $\alpha_1 \cup \alpha_2 = \alpha_1 \wedge f^*\alpha_2$를 만족하며, $f^*\alpha_2 = 0$이 되는 조건은 $\alpha_2$가 $\kappa$의 거듭제곱의 배수일 때만 성립한다.
• 경우 (c)에서는 곱이 $\alpha_1 \cup \alpha_2 = f^*\alpha_1 \wedge \alpha_2$로 주어지며, 유사한 소멸 조건이 적용된다.
• 경우 (d)에서는 $\mu(\omega(L_1) \otimes \omega(L_2)) = 1$이면, $\alpha_i \in A^{2g-2}(L_i)$이면 $\alpha_1 \cup \alpha_2 = \frac{1}{4} \alpha_1 \alpha_2 \Omega'$이고, 그 외의 경우는 0이 된다. 여기서 $\Omega'$는 $\mathcal{S}(L_1 \otimes L_2)/\Gamma$ 위의 정규화된 최고차수 클래스이다.
• 정규화 상수 $v = \int_{{\mathcal{M}}_{\xi}/\Gamma} \kappa^{3(g-1)}$는 $v = \frac{1}{2^{2g}} \int_{{\mathcal{M}}_{\xi}} H([X])^{3g-3}$를 통해 $\int_{{\mathcal{M}}_{\xi}} H([X])^{3g-3}$와 관련되며, 이 적분은 베르누이 수와 조합론적 계수를 이용해 계산된다.