[논문 리뷰] Mirror symmetry and quantum cohomology of projective bundles

Artur Elezi|ArXiv.org|2006. 10. 25.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 토릭 다양체 내의 반완전성 완전교차에서의 프로젝티브 범주에 대한 미러 대칭에 대한 추측을 증명하며, 프로젝티브 범주의 양자 D-모듈이 왜곡된 초기하 급수로부터 유래됨을 보여준다. 핵심 결과는 고전적 코homology 관계 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 가 소형 양자 코homology 환에서 $z\prod_{i=1}^{n}(z - c_1(L_i)) = q_1$ 로 변형되며, $X$ 에서의 관계들이 미분 연산자를 통해 범주로 옮겨진다는 것이다.

ABSTRACT

In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.

연구 동기 및 목표

• 프로젝티브 범주 $\mathbb{P}(V) \to X$ 에 대한 미러 대칭에 대한 추측을 증명하는 것. 여기서 $X$ 는 토릭 다양체 내의 반완전성 완전교차이다.
• 프로젝티브 범주 $\mathbb{P}(V)$ 의 $J$-함수와 왜곡된 초기하 급수 $I(\mathbb{P}(V))$ 가 일치함을 보이며, 팬오 경우의 일반화를 통해 비팬오 설정으로 확장한다.
• 기저 $X$ 에서의 양자 코homology 관계들이 미분 연산자를 통해 프로젝티브 범주 $\mathbb{P}(V)$ 로 상승됨을 보여주는 것.
• 소형 양자 코호몰로지 환에서 고전적 코호몰로지 관계 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 의 양자 변형을 특정하는 것.

제안 방법

• 섬세한 양자 보정을 반영하는 토핑 인자 $\mathcal{T}_{\nu,\beta}$ 를 사용하여 왜곡된 초기하 급수 $I(\mathbb{P}(V))$ 를 구성한다.
• 일점 Gromov-Witten 불변량과 중력 후손을 생성하는 함수로 $J$-함수 $J(\mathbb{P}(V))$ 를 정의한다.
• 추측적 등식 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$ 를 사용하여 미분 연산자를 통해 양자 코호몰로지 관계를 유도한다.
• 기저 $X$ 에서의 관계들을 프로젝티브 범주 $\mathbb{P}(V)$ 로 옮기기 위해, $J(\mathbb{P}(V))$ 에 작용하는 상승된 미분 연산자 $\tilde{\mathcal{P}}$ 를 구성한다.
• 연산자 $\Delta = \prod_{i=0}^{n}(\hbar\partial/\partial t_{k+1} - \sum_j a_{ij}\hbar\partial/\partial t_j) - q_1$ 가 $J(\mathbb{P}(V))$ 를 영으로 만든다는 것을 보여, $QH^*_s \mathbb{P}(V)$ 에서 $\prod_{i=0}^{n}(z - c_1(L_i)) = q_1$ 가 성립함을 암시한다.
• 기본 매핑 $i_*: H_2(X) \to H_2(\mathbb{P}(V))$ 의 단사성 증명을 통해 토릭 케이스에서 추측을 검증한다. 이는 $X$ 와 $\mathbb{P}(V)$ 간의 $J$-함수와 $I$-함수의 전달을 가능하게 한다.

실험 결과

연구 질문

• RQ1 프로젝티브 범주에 대한 추측된 미러 대칭 관계 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$ 가 토릭 다양체 내의 반완전성 완전교차 위에서 성립하는가?
• RQ2 기저 다양체 $X$ 에서의 양자 코호몰로지 관계들이 프로젝티브 범주의 양자 코호몰로지 환에서 어떻게 변형되는가?
• RQ3 소형 양자 코호몰로지 환에서 $H^*\mathbb{P}(V)$ 내의 고전적 코호몰로지 관계 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 의 양자 변형은 무엇인가?
• RQ4 양자 코호몰로지 환에서 $J(X)$ 를 영으로 만드는 연산자들이 $J(\mathbb{P}(V))$ 를 영으로 만드는 방식으로 상승될 수 있으며, 그 결과로 $QH^*_s \mathbb{P}(V)$ 에서 어떤 관계가 유도되는가?
• RQ5 왜곡 인자 $\mathcal{T}_{\nu,\beta}$ 는 프로젝티브 범주 $\mathbb{P}(V)$ 내의 섬세한 유리 곡선에서 유래하는 양자 보정을 어떻게 캡슐화하는가?

주요 결과

• 기저 $X$ 가 토릭 다양체 내의 반완전성 완전교차일 경우, 추측 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$ 가 증명되어 이러한 프로젝티브 범주에 대한 미러 대칭이 확립된다.
• 고전적 코호몰로지 관계 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 가 소형 양자 코호몰로지 환에서 $z\prod_{i=1}^{n}(z - c_1(L_i)) = q_1$ 로 변형되며, 이는 $\mathbb{P}^n$ 케이스의 일반화이다.
• $QH^*_s X$ 에서 유래한 관계들이 $QH^*_s \mathbb{P}(V)$ 로 상승되며, $p_i$ 의 양자 곱이 $\prod_{i=1}^{n}(z - c_1(L_i))^{L_i(\alpha)}$ 를 포함하는 인자로 변형됨을 보여준다.
• $\mathbb{P}(V)$ 의 $J$-함수는 $\Delta J(\mathbb{P}(V)) = 0$ 를 만족하며, 여기서 $\Delta = \prod_{i=0}^{n}(\hbar\partial/\partial t_{k+1} - \sum_j a_{ij}\hbar\partial/\partial t_j) - q_1$ 이다. 이는 $QH^*_s \mathbb{P}(V)$ 에서 $\prod_{i=0}^{n}(z - c_1(L_i)) = q_1$ 를 암시한다.
• $i_*: H_2(X) \to H_2(\mathbb{P}(V))$ 가 단사일 경우, $X$ 와 $\mathbb{P}(V)$ 의 $J$-함수와 $I$-함수 간에 당김에 의해 일관성이 유지되어 토릭 케이스에서 추측의 증명이 가능하다.
• $\mathcal{T}_{\nu,\beta}$ 는 $c_1(\tilde{L}_j) \cdot \alpha = 0$ 인 $\alpha \in H_2(X)$ 에 대한 이동에 대해 불변이며, 이는 $I_{\nu,\beta}$ 의 구성에서 일관성을 보장한다.