[논문 리뷰] The product formula for Gromov-Witten invariants

Kai Behrend|arXiv (Cornell University)|1997. 10. 10.

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

한 줄 요약

이 논문은 매끄럽고 사영인 대상의 곱에 대한 Gromov-Witten 불변량에 대한 곱 공식을 수립하며, $V \times W$의 불변량이 가상 기본류를 통해 $V$와 $W$의 불변량의 Cup 곱으로 주어진다는 것을 증명한다. 핵심 결과는 Gromov-Witten 변환에 대해 $V \times W$의 변환이 DMC-모티브의 범주에서 각 개별 변환의 Cup 곱과 자연스러운 동형사상이 된다는 것이다. 이는 모티브 기법과 DMC-모티브에 대한 항등원 원리에 의해 검증된다.

ABSTRACT

We prove that the system of Gromov-Witten invariants of the product of two varieties is equal to the tensor product of the systems of Gromov-Witten invariants of the two factors.

연구 동기 및 목표

• 제품 다양체 $V \times W$의 Gromov-Witten 불변량이 인자 $V$와 $W$의 불변량과 어떻게 관련되어 있는지 규명하는 것.
• 가상 기본류를 통한 Gromov-Witten 불변량에 대한 일반적인 곱 공식 수립.
• DMC-모티브의 범주에서 $V \times W$에 대한 Gromov-Witten 변환이 $V$와 $W$에 대한 변환의 Cup 곱과 일치한다는 것을 증명하는 것.
• 모티브 기반 및 스택 이론적 방법을 사용하여 $\mathbb{P}^1 \times \mathbb{P}^1$에 대한 직관적인 수량적 추론을 일반적인 매끄럽고 사영인 다양체로 확장하는 것.

제안 방법

• 확장된 이소지니를 갖춘 안정적 모듈라 그래프의 범주 위에서 자연스러운 변환으로서 모티브 기반 Gromov-Witten 불변량의 프레임워크를 사용한다.
• 범주 내에서 안정적 그래프에 대해 $\Psi_p$라는 함자를 정의하여, 투영 $p_V$와 $p_W$를 통해 $V$와 $W$의 자료를 $V \times W$로 옮기며, 안정화 및 궤도 사상의 유지 조건을 충족시킨다.
• 모듈라이 공간에서 대각 사상 $\Delta^*$를 통해 복합한 개별 불변량과의 풀어내림을 통해 자연 변환 $I^{V} \cup I^{W} = \Delta^* (I^V \otimes I^W)$를 구성한다.
• DMC-모티브에 대한 항등원 원리(문헌 [3]의 정리 8.2)를 적용하여 $I^{V} \cup I^{W} = I^{V \times W}$임을 보이고, 곱 공식을 확립한다.
• 가상 기본류가 피보트 곱과 호환되며, 적절한 이소지니와 모서리 압축에 대해 Gromov-Witten 구성의 함자성에 기반한다.
• 등급을 가진 DMC-모티브의 범주에서 $h(V)^{\otimes S}(\chi \dim V) \otimes h(W)^{\otimes S}(\chi \dim W) = h(V \times W)^{\otimes S}(\chi \dim V \times W)$의 텐서 곱 항등식을 사용한다.

실험 결과

연구 질문

• RQ1 제품 다양체 $V \times W$의 Gromov-Witten 불변량은 $V$와 $W$의 불변량으로 어떻게 분해되는가?
• RQ2 $V \times W$에 대한 Gromov-Witten 변환이 $V$와 $W$에 대한 변환의 Cup 곱으로 표현될 수 있는가?
• RQ3 비볼록 다양체에 대한 Gromov-Witten 불변량 정의에서 가상 기본류의 역할은 무엇인가?
• RQ4 Gromov-Witten 불변량의 모티브 형식은 기저가 되는 다양체의 곱 구조를 어떻게 캡슐화하는가?
• RQ5 곱 공식은 안정적 사상과 모듈라 그래프의 함자적 구조와 호환되는가?

주요 결과

• 제품 다양체 $V \times W$의 Gromov-Witten 불변량은 $V$와 $W$의 불변량의 Cup 곱으로 주어지며, 부호 수정이 있다: $I^{V \times W}_{g,n}(\beta)(\gamma \otimes \epsilon) = (-1)^s I^V_{g,n}(\beta_V)(\gamma) \cup I^W_{g,n}(\beta_W)(\epsilon)$, 여기서 $s = \sum_{i>j} \deg \gamma_i \deg \epsilon_j$.
• 클래식한 교차 이론 대신 가상 기본류를 사용함으로써, 이 곱 공식은 볼록성이 아닌 일반적인 매끄럽고 사영인 다양체에 대해서도 성립한다.
• DMC-모티브의 범주에서 $V \times W$에 대한 Gromov-Witten 변환은 $\Delta^* \circ (I^V \otimes I^W)$와 일치하며, 자연스러운 동형사상이 성립한다.
• 이 증명은 DMC-모티브에 대한 항등원 원리에 의존하며, 생성 부분범주에서의 등식으로부터 자연 변환의 등식을 유추할 수 있다.
• 이 구성은 함자적이다: $V \times W$에 대한 안정적 그래프의 범주에서 $V$와 $W$의 그래프의 피보트 곱으로 가는 사상 $\Psi$는 확장된 이소지니와 안정화 구조를 유지한다.
• 결과는 $\mathbb{P}^1 \times \mathbb{P}^1$의 직관적 사례를 일반화한다. 즉, $2(d_1 + d_2) + g - 1$개의 점을 통과하는 이중도수 $(d_1,d_2)$를 가진 곡선의 수는 각 인자에 대한 수의 곱과 같다.