[논문 리뷰] Quantum Cohomology Rings of Toric Manifolds

Victor V. Batyrev|ArXiv.org|1993. 10. 05.

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

한 줄 요약

이 논문은 Kähler 형식 φ에 따라 매개변수화된 곱셈 구조를 사용하여 임의의 매끄럽고 사영적인 토릭 다양체의 양자 코hom로지 링을 계산한다. 양자 코호몰로지 링이 degree 통합의 지수를 포함하는 이항 관계로 생성된 다항식 링의 몫과 동형임을 증명하고, φ를 무한대로 스케일할 때 고전적 코호몰로지 링으로의 변형이 일어나며, 코드림 1에서 동형인 경우에 대해 플롭 유형의 밀림 변환에 대해 불변임을 보인다.

ABSTRACT

We compute the quantum cohomology ring $H^*_φ({\bf P}, {\bf C})$ of an arbitrary $d$-dimensional smooth projective toric manifold ${\bf P}_Σ$ associated with a fan $Σ$. The multiplicative structure of $H^*_φ({\bf P}_Σ, {\bf C})$ depends on the choice of an element $avarphi$ in the ordinary cohomology group $H^2({\bf P}_Σ, {\bf C})$. There are many properties of the quantum cohomology rings $H^*_φ({\bf P}_Σ, {\bf C})$ which are supposed to be valid for quantum cohomology rings of Kähler manifolds

연구 동기 및 목표

• 임의의 매끄럽고 사영적인 토릭 다양체 $ {f P}_{\rho} $의 양자 코호몰로지 링 $ H^{*}_{\rho}({\bf P}_{\rho},{\bf C}) $를 $ \varphi \in H^{2}({\bf P}_{\rho},{\bf C}) $에 따라 매개변수화하여 계산하는 것.
• Kähler 형식 $ \varphi $를 무한대로 스케일할 때 양자 코호몰로지 링이 고전적 코호몰로지 링으로 수렴함을 증명하는 것.
• 두 토릭 다양체가 코드림 1에서 동형이면, 양자 코호몰로지 링이 플롭 유형의 밀림 변환에 대해 불변임을 증명하는 것.
• 첫 번째 체르누 클래스가 닫힌 Kähler 콘 안에 있을 경우, 양자 코호몰로지 링이 반사 Calabi-Yau 초표면을 정의하는 라우렌트 다항식의 잭비안 링과 동형임을 보여주는 것.

제안 방법

• 양자 교차 수를 정의하기 위해 $ \mathcal{I}_{\lambda} $의 매니폴드를 사용하여 $ f: \mathbb{C}P^1 \to {\bf P}_{\Sigma} $의 정칙 매핑을 사용한다.
• 구조 상수를 $ t\varphi $로 스케일하면서 $ t \to \infty $로 갈 때의 극한 과정을 도입하여 고전적 코호몰로지 링으로의 수렴을 이룬다.
• 양자 코호몰로지 링을 $ \mathbb{C}[z]/(P(\Sigma) + B_{\varphi}(\Sigma)) $로 정의하며, 여기서 $ B_{\varphi}(\Sigma) $는 $ \lambda \in R(\Sigma)_{\geq 0} $에 대해 $ z^{\lambda} - \exp(-{\rm deg}_{\varphi}\lambda) $의 이항식으로 생성된 아이디얼이다.
• 가상 차원이 삽입된 총 차수와 일치할 때에만 교차 곱의 비영 기여가 발생한다는 원리를 적용한다.
• 차수 $ \lambda $에 대한 유리 곡선은 $ \lambda = \lambda^0 $일 때에만 기여하며, 그 가중치는 $ \exp(-{\rm deg}_{\varphi}\lambda) $이다.
• 모든 양자 링의 관계가 이러한 이항식 관계에 의해 생성됨을 보여 양자 코호몰로지 링과 몫 링 사이의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 토릭 다양체의 양자 코호몰로지 링은 Kähler 형식 $ \varphi \in H^2({\bf P}_{\Sigma},{\bf C}) $의 선택에 따라 어떻게 달라지는가?
• RQ2 φ를 t로 스케일하면서 $ t \to \infty $로 갈 때 양자 코호몰로지 링은 어떻게 되며, 고전적 코호몰로지 링으로 복원되는가?
• RQ3 코드림 1에서 동형인 토릭 다양체 사이의 플롭 유형의 밀림 변환에 대해 양자 코호몰로지 링은 불변인가?
• RQ4 양자 코호몰로지 링은 다항식 관계로 대수적으로 기술될 수 있으며, $ c_1({\bf P}_{\Sigma}) \in \overline{K}({\bf P}_{\Sigma}) $일 경우 반사 Calabi-Yau 초표면의 잭비안 링과 동형인가?

주요 결과

• 양자 코호몰로지 링 $ QH^{*}_{\varphi}({\bf P}_{\Sigma},{\bf C}) $는 $ B_{\varphi}(\Sigma) $가 $ \lambda \in R(\Sigma)_{\geq 0} $에 대해 $ z_1^{\lambda_1} \cdots z_n^{\lambda_n} - \exp(-{\rm deg}_{\varphi}\lambda) $의 이항식으로 생성되는 $ \mathbb{C}[z]/(P(\Sigma) + B_{\varphi}(\Sigma)) $의 몫 링과 동형이다.
• 만약 $ \varphi $가 Kähler 콘의 내부에 있다면, $ t \to \infty $일 때 양자 코호몰로지 링 $ QH^{*}_{t\varphi}({\bf P}_{\Sigma},{\bf C}) $는 고전적 코호몰로지 링 $ H^{*}({\bf P}_{\Sigma},{\bf C}) $로 수렴한다.
• 두 매끄럽고 사영적인 토릭 다양체 $ {\bf P}_{\Sigma_1} $와 $ {\bf P}_{\Sigma_2} $가 코드림 1에서 동형이라면, $ QH^{*}_{\varphi}({\bf P}_{\Sigma_1},{\bf C}) \cong QH^{*}_{\varphi}({\bf P}_{\Sigma_2},{\bf C}) $임을 보여주며, 이는 일반적인 코호몰로지 링이 동형이 아닐 수 있음에도 불구하고 성립한다.
• 첫 번째 체르누 클래스 $ c_1({\bf P}_{\Sigma}) $가 닫힌 Kähler 콘 안에 있을 경우, 양자 코호몰로지 링은 $ (\mathbb{C}^*)^d $에서 반사 Calabi-Yau 초표면을 정의하는 라우렌트 다항식 $ f_{\varphi}(X) $의 잭비안 링과 동형이다.
• 교차 수 $ (W_{\Omega} \cdot W_{z_1}^{\lambda_1^0} \cdots W_{z_n}^{\lambda_n^0})_{\mathcal{I}} $는 $ \lambda = \lambda^0 $일 때에만 비영이며, 그 값은 $ \exp(-{\rm deg}_{\varphi}\lambda^0) $와 같다.
• 양자 연산 곱은 $ \mathcal{Z}_1^{\lambda_1} \circ \cdots \circ \mathcal{Z}_n^{\lambda_n} = \exp(-{\rm deg}_{\varphi}\lambda) \cdot \text{id} $를 만족하며, 이는 이항식 관계가 링을 정의하는 데 충분함을 확인한다.