[논문 리뷰] The Quantum Orbifold Cohomology of Weighted Projective Spaces

Tom Coates, Alessio Corti외 2명|arXiv (Cornell University)|2006. 08. 20.

Algebraic Geometry and Number Theory참고 문헌 42인용 수 10

한 줄 요약

이 논문은 가중 프로젝티브 공간의 작은 양자 오르비코호몰로지가 $S^1$-동차 풀 공간의 동차 플로어 코호몰로지와 관련된 일반화된 지벨탈 히우레틱을 사용하여 계산된다. 토닉 및 안정 맵 컴actification에서 동차 국소화를 통해 소형 $J$-함수에 대한 추측된 공식을 증명함으로써, 이들은 종단 특이점을 가진 완전교차를 포함하여, 명시적으로 알려진 작은 양자 오르비코호몰로지가 있는 고차원 오르비포트의 첫 번째 비자명한 가족을 확립한다.

ABSTRACT

We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental's heuristic argument, which relates small quantum cohomology to S^1-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov-Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is known. We also obtain formulas for the small J-functions of weighted projective complete intersections satisfying a combinatorial condition; this condition naturally singles out the class of orbifolds with terminal singularities.

연구 동기 및 목표

• 비자명한 특이점을 가진 오르비포트의 한 클래스인 임의의 가중 프로젝티브 공간 $\mathbb{P}^\mathbf{w}$ 의 소형 양자 오르비코호몰로지 링을 계산하는 것.
• 양자 코호몰로지와 풀 공간의 $S^1$-동차 플로어 코호몰로지 사이의 지벨탈 히우레틱을 오르비포트 설정으로 일반화하는 것.
• 종수 0의 그로모프–와이튼 불변량을 생성하는 소형 $J$-함수에 대한 추측된 공식을, 베르트람의 방법을 기반으로 한 동차 코호몰로지와 국소화를 사용하여 증명하는 것.
• 종단 특이점을 특징짓는 조합 조건을 만족하는 가중 프로젝티브 완전교차로 결과를 확장하는 것.

제안 방법

• 소형 양자 오르비코호몰로지가 $\mathbb{P}^\mathbf{w}$ 의 풀 공간 $L\mathbb{P}^\mathbf{w}$ 의 $S^1$-동차 플로어 코호몰로지와 관련된 지벨탈의 히우레틱 추론을 일반화하여 $\mathbb{P}^\mathbf{w}$ 에 적용한다.
• 유리 곡선의 공간에 대한 두 가지 컴팩티피케이션을 구성한다: 토닉 컴팩티피케이션과 두 번째 인자에서 차수 $1/r$ 인 $\mathbb{P}^\mathbf{w} \times \mathbb{P}(1,r)$ 에 대한 종수 0 안정 맵의 매니폴드.
• 이 컴팩티피케이션들 사이의 $\mathbb{C}^\times$-동차 맵을 사용하여 그들의 동차 코호몰로지 클래스를 연결한다.
• 동차 국소화를 적용하여 토닉 컴팩티피케이션에서의 $\mathbb{C}^\times$-동차 코호몰로지 클래스의 적분을 계산하고, 이를 안정 맵 컴팩티피케이션에서의 적분으로 변환한다.
• 얻어진 표현식을 사용하여 연령 이동된 차수와 오르비 불변량으로 표현된 소형 $J$-함수에 대한 추측된 공식을 검증한다.
• 양자 레프슈츠 정리와 $S^1$-동차 플로어 코호몰로지 위의 $\mathcal{D}$-모듈 구조를 활용하여 $J$-함수와 양자 코호몰로지 링을 연결한다.

실험 결과

연구 질문

• RQ1 부드러운 배경 공간이 없는 상황에서 가중 프로젝티브 공간의 소형 양자 오르비코호몰로지를 어떻게 계산할 수 있는가?
• RQ2 비자명한 이소트로피를 가진 오르비포트로의 양자 코호몰로지와 $S^1$-동차 플로어 코호몰로지 사이의 지벨탈 히우레틱을 확장할 수 있는가?
• RQ3 가중 프로젝티브 공간의 소형 $J$-함수의 명시적 형태는 무엇이며, 종수 0의 그로모프–와이튼 불변량을 어떻게 캡슐화하는가?
• RQ4 어떤 가중 프로젝티브 완전교차가 잘 정의된 소형 양자 오르비코호몰로지를 가지며, 그들의 종단 특이성을 보장하는 조건은 무엇인가?
• RQ5 유리 곡선의 컴팩티피케이션들에 대한 $\mathbb{C}^\times$-동차 구조는 $J$-함수와 양자 불변량과 어떻게 관련이 있는가?

주요 결과

• 모든 가중 프로젝티브 공간 $\mathbb{P}(w_0,\dots,w_n)$ 의 소형 양자 오르비코호몰로지 링은 소형 $J$-함수에 대한 증명된 공식을 통해 완전히 계산된다.
• 일반화된 지벨탈 히우레틱에서 유도된 추측된 $J$-함수는 $\mathbb{C}^\times$-동차 컴팩티피케이션에서의 동차 국소화를 통해 엄밀히 증명된다.
• 이 방법은 임의의 차원을 가진 오르비포트의 가족 중에서 알려진 소형 양자 오르비코호몰로지를 가진 첫 번째 비자명한 예를 확립한다.
• 종단 특이점을 특징짓는 조합 조건을 만족하는 가중 프로젝티브 완전교차 $\mathcal{X} \subset \mathbb{P}^\mathbf{w}$ 에 대해서는 소형 $J$-함수가 계산된다.
• 모든 $f \in F$ 에 대해 $\sum_{i=0}^n \langle fw_i \rangle > 1 + \sum_{j=0}^m \langle fd_j \rangle$ 를 만족하는 조건은 종단 특이성을 보장하며, Reid–Tai 기준에 의해 확인된다.
• $k_\mathcal{X} = 0$ 일 때 $J$-함수는 $I_{\mathcal{X}}(t) = \iota_*\left(F(t)z + G(t) + O(z^{-1})\right)$ 의 형태를 가지며, $k_\mathcal{X} < 0$ 일 때는 $I_{\mathcal{X}}(t) = \iota_*\left(z + \tau(t) + O(z^{-1})\right)$ 의 형태를 가지며, $\tau(t)$ 와 $G(t)/F(t)$ 는 오르비 기하학에 의해 결정된다.