[논문 리뷰] Gromov-Witten theory of banded gerbes over schemes

Elena Andreini, Yunfeng Jiang외 1명|arXiv (Cornell University)|2011. 01. 31.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 17

한 줄 요약

이 논문은 매끄러운 사영다양체 위의 $G$-밴드드 게르베에 대한 고리수 $g$의 오르비포드 고로모브-고웬 인버리언트에 대한 정확한 공식을 수립한다. 이는 $G$의 유한 아벨군 $G$의 특성에 의해 결정되는 가중치를 가진 기저 공간 $X$의 인버리언트들의 가중합으로 분해된다는 것을 보여준다. 이 결과는 고리수에서의 분해 추측을 확인하며, 에탈 분해와 조건 이론 비교를 이용한 가상 기본류의 푸시포워드 공식을 통해 이전의 고리수 0 결과를 일반화한다.

ABSTRACT

Let $X$ be a smooth complex projective algebraic variety. Let $\mathcal{G}$ be a $G$-banded gerbe with $G$ a finite abelian group. We prove an exact formula expressing genus $g$ orbifold Gromov-Witten invariants of $\mathcal{G}$ in terms of those of $X$.

연구 동기 및 목표

• 밴드드 게르베의 고리수 0 분해 결과를 임의의 고리수 $g$로 확장한다.
• 기저 다양체 $X$의 인버리언트와 $G$-밴드드 게르베 $\mathcal{G}$의 오르비포드 고로모브-고웬 인버리언트를 연결하는 정확한 공식을 수립한다.
• $\mathcal{G}$의 고로모브-고웬 이론이 $G$의 기약 표현들에 대한 합으로 분해됨을 증명하여, 고리수에서의 물리적 분해 추측을 확인한다.
• 게르베와 그 기저 공간의 날카로운 안정 맵의 모듈리 공간의 가상 기본류를 비교하기 위한 일반적 프레임워크를 개발한다.

제안 방법

• 자연스러운 사상 $p: \mathcal{K}_{g,n}(\mathcal{G}, \beta) \to \overline{M}_{g,n}(X, \beta)$를 $\mathcal{K}_{g,n}(\mathcal{G}, \beta) \to P_{g,n} \to \overline{M}_{g,n}(X, \beta)$로 인수분해하며, 여기서 $P_{g,n}$는 날카로운 곡선을 포함하는 피봇의 열린 부분스택이다.
• $\mathcal{K}_{g,n}(\mathcal{G}, \beta) \to P_{g,n}$ 사상이 에탈임을 보여, 조건 이론을 비교할 수 있도록 한다.
• 조건 이론 비교를 통해 $\mathcal{K}_{g,n}(\mathcal{G}, \beta)$의 가상 기본류와 $\overline{M}_{g,n}(X, \beta)$의 가상 기본류를 연결하는 푸시포워드 공식을 증명한다.
• 푸시포워드 결과를 내림내림 잠재함수에 적용하여, 고리수 $g$의 $\mathcal{G}$의 잠재함수를 $G$의 특성들에 대한 합으로 표현하며, 이는 기저 잠재함수에 비틀린 노비코프 변수를 사용한다.
• 특성의 수직성과 유한군 표현 이론을 활용하여 합이 $|\widehat{G}|$개의 $X$의 복제본으로 분해됨을 해석한다.
• 상대적 거시 모듈리 공간 구성법을 활용하여 스택의 사상과 체계 확장 및 기하적 피브어를 통한 차수 계산을 연결한다.

실험 결과

연구 질문

• RQ1 매끄러운 사영다양체 $X$ 위의 $G$-밴드드 게르베 $\mathcal{G}$에 대한 고리수 $g$의 오르비포드 고로모브-고웬 인버리언트는 $X$의 인버리언트와 어떻게 관련이 있는가?
• RQ2 고리수 0에서의 분해 추측—즉, $\mathcal{G}$의 고로모브-고웬 이론이 $|\widehat{G}|$개의 $X$의 이론으로 분해된다는 주장—을 고리수 0에서 고리수 $g$로 확장할 수 있는가?
• RQ3 가상 기본류의 푸시포워드 $\mathcal{K}_{g,n}(\mathcal{G}, \beta)$에서 $\overline{M}_{g,n}(X, \beta)$로의 정확한 공식은 무엇인가?
• RQ4 왜곡된 곡선과 왜곡된 안정 맵의 스택은 고리수에서의 조건 이론 비교를 어떻게 지원하는가?
• RQ5 $G$의 특성은 $X$의 인버리언트가 $\mathcal{G}$의 인버리언트에 기여하는 데 어떤 역할을 하는가?

주요 결과

• 밴드드 게르베 $\mathcal{G}$의 고리수 $g$의 내림내림 잠재함수는 $\mathcal{F}^{g}_{\mathcal{G}}(\{t_{i\rho,j}\}) = r^{2g-2} \sum_{[\rho] \in \widehat{G}} \mathcal{F}^{g}_{X}(\{t_{i\rho,j}\}; Q_\rho)$로 주어지며, 여기서 $Q_\rho^\beta = Q^\beta \chi_\rho(\exp(-2\pi i (\alpha \cap \beta)/r))$이다.
• 가상 기본류의 푸시포워드 $p_*[\mathcal{K}_{g,n}(\mathcal{G}, \beta)]^{vir}$는 $[\overline{M}_{g,n}(X, \beta)]^{vir}$에 비례하며 비율은 $r^{2g-2}$이다. 이는 군의 순서와 고리수 의존성을 반영한다.
• $\mathcal{K}_{g,n}(\mathcal{G}, \beta) \to P_{g,n}$ 사상은 에탈이며, 이는 조건 이론 비교와 푸시포워드 공식의 성립에 필수적이다.
• $\mathcal{G}$의 고로모브-고웬 이론이 $|\widehat{G}|$개의 $X$의 이론으로 분해됨이 모든 $g \geq 0$에서 확인되었으며, [8]의 고리수 0 결과를 일반화한다.
• 공식은 $\mathcal{G}$의 인버리언트가 $X$의 인버리언트들의 특성에 의해 비틀어진 합임을 보여주며, 이 비틀림은 쌍 $\alpha \cap \beta$와 특성 $\chi_\rho$에 의해 결정된다. 이는 게르베의 밴딩을 반영한다.
• 결과는 임의의 유한 아벨군 $G$에 대해 성립하며, 주요 사례로 순환군 $G = \mu_r$를 다루며, 일반적인 $G$의 경우 표기 조정만 필요하다.