[논문 리뷰] The Quantum Lefschetz Principle for Vector Bundles as a Map Between Givental Cones

Tom Coates|arXiv (Cornell University)|2014. 05. 12.

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

한 줄 요약

이 논문은 $Y \subset X$의 계수가 0인 Gromov–Witten 불변량에 대한 Givental의 라그랑주 링커와 $X$의 올림터드 Gromov–Witten 불변량 사이의 정확한 관계를 설정한다. 이 관계는 $Y$가 볼록 벡터(bundle)의 영점일 때 성립하며, 포함사상 $i: Y \to X$에 의한 올림터드 $\mathbf{J}$-함수의 풀백이 $i_*$를 통해 양자 매개변수를 변환한 $Y$의 $\mathbf{J}$-함수와 일치함을 보여, Quantum Lefschetz Hyperplane Principle의 보완된 형태를 제공한다.

ABSTRACT

Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and Graber, which give a very simple relationship between the Givental cone for Y and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the convex vector bundle is the direct sum of nef line bundles, this gives a sharper version of the Quantum Lefschetz Hyperplane Principle.

연구 동기 및 목표

• 서브다양체 $Y$의 Givental 라그랑주 링커와 환경 공간 $X$의 올림터드 Givental 링커 사이의 정확한 기하학적 대응을 설정하는 것.
• 심플렉틱 기하학과 가상 사이클을 사용하여 볼록 벡터(bundle)의 설정에서 Quantum Lefschetz Hyperplane Principle를 일반화하는 것.
• 계수 0인 Gromov–Witten 불변량이 $\mathbf{J}$-함수의 비등변한 극한을 통해 $X$의 올림터드 불변량으로부터 $Y$로의 풀백으로 어떻게 유도되는지 명확히 하는 것.
• 임의의 공간의 양자 불변량을 그의 부분다양체인 완전교차의 불변량으로 계산하는 개념적이고 계산 가능한 프레임워크를 제공하는 것.

제안 방법

• 모든 계수 0 Gromov–Witten 불변량을 $\mathbf{J}$-함수를 통해 코어하는 Givental의 라그랑주 링커 $\mathcal{L}_X \subset \mathcal{H}_X$ 형식을 사용한다.
• S^1-등변 올림터드 $\boldsymbol{e}(E)$를 이용해 $\mathbf{J}$-함수 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$를 정의한다.
• 가상 기본류의 함의성과 Gysin 사상의 성질을 적용하여, 볼록 벡터(bundle)의 정규 단면을 통해 $X_{g,n,d}$와 $Y_{g,n,\delta}$의 가상 사이클을 연결한다.
• 대수기하학에서의 사영 공식과 기저 변경을 사용하여 포함사상 $i: Y \to X$와 사상 $f: Z \to X_{0,n+1,d}$를 따라 코homology 클래스의 투영을 연결한다.
• 비등변한 극한 $\lambda \to 0$을 사용하여 올림터드 $\mathbf{J}$-함수에서 표준 Gromov–Witten 불변량을 추출한다.
• 주요 결과를 도출하기 위해 $i^*\mathbf{J}_{\boldsymbol{e}}|_{\lambda=0} = \mathbf{J}_Y(i^*\mathbf{t})|_{Q^\delta \mapsto Q^{i_*\delta}}$를 보여, 양자 매개변수의 변환을 통해 링커를 연결한다.

실험 결과

연구 질문

• RQ1 서브다양체 $Y \subset X$가 볼록 벡터(bundle)의 정규 단면으로 정의될 때, 계수 0 Gromov–Witten 불변량은 환경 공간 $X$의 불변량과 어떻게 관련이 있는가?
• RQ2 Quantum Lefschetz Hyperplane Principle는 생성함수의 항등식을 넘어서, Givental 링커 사이의 정확한 사상으로 보완될 수 있는가?
• RQ3 올림터드 불변량은 어떻게 서브다양체의 양자 cohomology를 환경 공간으로부터의 풀백을 통해 캡슐화하는가?
• RQ4 올림터드 $\mathbf{J}$-함수의 비등변한 극한은 어떻게 서브다양체의 표준 $\mathbf{J}$-함수를 복원하는가?
• RQ5 벡터(bundle)의 볼록성은 링커 수준의 대응이 성립하는 데 얼마나 중요한가?

주요 결과

• X에서의 올림터드 $\mathbf{J}$-함수의 비등변한 극한은 잘 정의되어 있으며, 포함사상 $i^*$와 양자 매개변수 변환 $Q^\delta \mapsto Q^{i_*\delta}$에 의해 $Y$의 $\mathbf{J}$-함수와 일치한다.
• λ = 0에서 올림터드 $\mathbf{J}$-함수 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$의 풀백은 $i_*$를 통해 $H_2(Y) \to H_2(X)$로 매개변수를 변환한 표준 $\mathbf{J}$-함수 $\mathbf{J}_Y(i^*\mathbf{t})$와 일치한다.
• Y와 X의 Givental 링커 사이의 관계는 포함사상 $i: Y \to X$와 볼록 벡터(bundle)의 정규 단면을 따라 유도된 가상 클래스의 투영을 통해 유도된 심플렉틱 동형사상에 의해 설정된다.
• 증명은 가상 사이클의 함의성과 사영 공식에 기반하여, $X_{0,n+1,d}$의 가상 사이클이 영점 구조를 통해 $Y_{0,n+1,\delta}$의 가상 사이클로 투영됨을 보여준다.
• 결과는 임의의 볼록 벡터(bundle)에 대해 성립하며, 특히 편선선의 직접합에 대해서는 Quantum Lefschetz Hyperplane Principle의 정밀한 형태를 제공한다.
• 이 프레임워크는 볼록 벡터(bundle)가 있고 영점이 정규일 경우, 프로젝티브 코arse 모듈리 스킴을 가진 Deligne–Mumford 스택으로도 확장된다.