[논문 리뷰] Semisimple quantum cohomology of some Fano varieties

Nicolas Perrin|arXiv (Cornell University)|2014. 05. 22.

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

한 줄 요약

이 논문은 Fano 다양체의 Picard 계수 1인 경우에 대해 소량자 cohomology 환의 semisimplicity를 보장하는 충분조건을 제시한다. 이를 위해 소량자 곱에서 $ q^k $ 계수의 합으로 정의된 이차형식 $ Q_X $ 를 도입한다. 만약 $ Q_X $ 가 양의 정부호이고, 반대변환 클래스 $ h $ 가 $ \mathrm{QH}(X) $ 에서 가역이면, 소량자 cohomology 는 semisimple가 된다. 주요 기여는 여러 동차 공간과 그 초평면 절단에 대해 일관된 semisimplicity 증명을 제공하며, 특히 $ \mathrm{IG}(2,2n) $ 와 $ F_4/P_4 $ 에 대해 새로운 결과를 도출한다. 여기서 소량자 cohomology 는 semisimple 가 아니지만, 대량자 cohomology 는 semisimple 가 된다.

ABSTRACT

We give sufficient conditions for the semisimplicity of quantum cohomology of Fano varieties of Picard rank 1. We apply these techniques to prove new semisimplicity results for some Fano varieties of Picard rank 1 and large index. We also give examples of Fano varieties having a non semisimple small quantum cohomology but a semisimple big quantum cohomology.

연구 동기 및 목표

• Picard 계수 1인 Fano 다양체의 소량자 cohomology 환 $ \mathrm{QH}(X) $ 에 대한 semisimplicity 를 보장하는 충분조건을 설정하는 것.
• 소량자 곱에서 $ q^k $ 계수의 합으로 정의된 이차형식 $ Q_X $ 가 semisimplicity 를 결정하는 데서 수행하는 역할를 분석하는 것.
• 만약 $ Q_X $ 가 양의 정부호이고 반대변환 클래스 $ h $ 가 $ \mathrm{QH}(X) $ 에서 가역이면, $ \mathrm{QH}(X) $ 는 semisimple가 된다는 것을 증명하는 것.
• 이러한 결과를 동차 공간의 초평면 절단과 인접 다양체에 대해 확장하여, 조건 $ 2c_1(Y) > \dim Y $ 를 만족할 경우 그들의 양자 cohomology 가 semisimple가 됨을 증명하는 것.
• 일부 Fano 다양체에서 소량자 cohomology 는 semisimple 가 아니지만, 대량자 cohomology 는 semisimple 가 되는 경우가 있음을 보여, 소량자 semisimplicity 가 필수적인 것은 아님을 반례로 제시하는 것.

제안 방법

• 소량자 곱 $ a \star_0 b $ 에서 $ q^k $ 계수의 합으로 정의된 이차형식 $ Q_X(a,b) $ 를 정의하며, 이는 $ \mathrm{QH}(X) $ 에 작용한다.
• 만약 $ Q_X $ 가 양의 정부호이면, $ \mathrm{QH}(X) $ 의 근본부분 $ R(X) $ 가 $ h^k \star_0 a $ 에 의해 영이 되는 원소들의 집합에 포함됨을 증명한다. 여기서 $ h $ 는 Picard 군의 생성자이다.
• 가장 중요한 조건인 $ h $ 가 $ \mathrm{QH}(X) $ 에서 가역임을 이용하여, $ Q_X $ 가 양의 정부호일 경우 $ \mathrm{QH}(X) $ 가 semisimple가 됨을 결론짓는다.
• 대량자 cohomology $ \mathrm{BQH}_\tau(Y) $ 의 영원소 분석을 위해 양자 D-모듈드 이론과 $ h \star_0 - $ 의 작용을 적용하며, 코homology 차수에서 $ E_h^Y $ 의 상사상성(onto)을 이용한다.
• 특정 원소들, 예를 들어 $ C_0 = \sigma_{-\theta} - q\sigma_\alpha + q\sigma_\beta $ 를 $ \mathrm{QH}(Y) $ 에서 구성하여 영원소 여부를 테스트하고, 차수 및 계수 분석을 통해 모순을 이끌어내는 것.
• Gromov-Witten 불변량 $ I_d(\mathrm{pt}, \mathrm{pt}, \mathrm{pt}, \mathrm{pt}, \sigma_{-\zeta}) $ 를 사용하여 $ \mathrm{pt} \star_1 \mathrm{pt} $ 를 계산하며, 비영인 불변량이 $ d=4 $ 에서만 발생함을 보여, $ 9I_4(\mathrm{pt},\mathrm{pt},\mathrm{pt},\mathrm{pt}) = 6 $ 라는 조건에서 모순이 발생함을 증명한다. 이는 음이 아닌 정수로는 불가능하므로, $ \mathrm{BQH}_\tau(Y) $ 에는 영이 아닌 영원소가 존재하지 않음을 의미한다.

실험 결과

연구 질문

• RQ1 Picard 계수 1인 Fano 다양체 $ X $ 의 소량자 cohomology 환 $ \mathrm{QH}(X) $ 가 언제 semisimple가 되는가?
• RQ2 소량자 곱에서 $ q^k $ 계수의 합으로 정의된 이차형식 $ Q_X $ 는 $ \mathrm{QH}(X) $ 의 semisimplicity 를 보장하는 충분조건으로 사용될 수 있는가?
• RQ3 어떤 동차 공간과 그 초평면 절단에서 $ Q_X $ 가 양의 정부호가 되며, 이는 $ \mathrm{QH}(X) $ 의 semisimplicity 를 의미하는가?
• RQ4 소량자 cohomology 는 semisimple 가 아니지만 대량자 cohomology 는 semisimple 가 되는 Fano 다양체가 존재하는가?
• RQ5 소량자 곱의 구조와 영원소 분석을 이용하여, $ \mathrm{Gr}(2,2n+1) $, $ \mathrm{OG}(5,10) $, $ F_4/P_1 $ 과 같은 Fano 다양체의 가족에 대해 대량자 cohomology 의 semisimplicity 를 통일적으로 증명할 수 있는가?

주요 결과

• 모든 Fano 다양체 $ X $ 에 대해 소량자 cohomology 환 $ \mathrm{QH}(X) $ 는 리스트 $ \mathbb{P}^n, Q_n, \mathrm{OG}(5,10), E_6/P_6, \mathrm{Gr}(2,n), \mathrm{LG}(3,6), \mathrm{OG}(6,12), E_7/P_7 $ 와 그 일반선형 절단 $ Y $ (codimension $ k $, $ 2c_1(Y) > \dim Y $ 를 만족) 에 대해 semisimple하다.
• 만약 $ X = \mathrm{Gr}(2,2n+1) $, $ \mathrm{OG}(5,10) $, $ \mathrm{LG}(3,6) $, $ F_4/P_1 $, 또는 $ G_2/P_1 $ 이고 $ Y $ 가 그 일반초평면 절단이라면, $ \mathrm{QH}(Y) $ 는 semisimple하다. 이는 이전 결과를 복원하고 확장한다.
• 제시된 동차 공간의 일반선형 절단 $ Y $ (codimension $ k $) 에 대해, 조건 $ 2c_1(Y) > \dim Y $ 를 만족할 경우, 모든 Fano 다양체 $ Y $ 에 대해 이차형식 $ Q_X $ 는 양의 정부호이다.
• 만약 $ X = \mathrm{IG}(2,2n) $ 또는 $ X = F_4/P_4 $ 라면, 소량자 cohomology $ \mathrm{QH}(X) $ 는 semisimple 가 아니지만, 대량자 cohomology $ \mathrm{BQH}(X) $ 는 semisimple하다.
• 비음수 정수로는 불가능한 조건 $ 9I_4(\mathrm{pt},\mathrm{pt},\mathrm{pt},\mathrm{pt}) = 6 $ 에 기반하여, $ \mathrm{BQH}_\tau(Y) $ 에 영이 아닌 영원소가 존재하지 않음을 증명한다. 따라서 $ \mathrm{BQH}_\tau(Y) $ 는 semisimple하다.
• 특히 $ Y = \mathrm{IG}(2,2n+1) $ (즉, $ \mathrm{Gr}(2,2n+1) $ 의 초평면 절단) 에 대해, 대량자 cohomology $ \mathrm{BQH}(Y) $ 의 semisimplicity 는 통일적으로 회복되며, 이는 이 경우 Dubrovin 추측이 성립함을 확인한다.