[논문 리뷰] Invariants of stable quasimaps with fields

Huai-Liang Chang, Mu-Lin Li|arXiv (Cornell University)|2018. 04. 15.

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

한 줄 요약

이 논문은 Kiem-Li의 코세크션 로컬라이제이션을 사용하여, $\pi^n$ 속의 매끄러운 초곡면에 대한 $\epsilon$-안정 쿼시맵과 P-필드의 모듈리 공간에 대해 가상 기본류를 구축한다. 그 결과로, 초곡면 $X$에 대한 쿼시맵 모듈리 공간 위의 가상 사이클이 (부호를 제외하고) 쿼시맵의 가상 사이클과 일치함을 증명하며, 이는 임의의 초곡면과 모든 계수에 대해 Chang-Li의 수치적 항등식을 사이클 수준으로 일반화한다.

ABSTRACT

For an arbitrary smooth hypersurface X in a projective space, we construct its LG moduli of quasimaps with P fields. Apply Kiem-Li's cosection localization we obtain a virtual fundamental class. We show the class coincides, up to sign, with that of moduli of quasimaps to X. This generalizes Chang-Li's numerical identity to the cycle level, and from Gromov Witten invariants to quasimap invariants.

연구 동기 및 목표

• Gromov-Witten 불변량과 Landau-Ginzburg 불변량 사이의 Chang-Li의 수치적 항등식을 불변량 수준에서 가상 사이클 수준으로 확장한다.
• 매끄러운 초곡면 $X \subset \mathbb{P}^n$ 에 대한 $\epsilon$-안정 쿼시맵과 P-필드의 모듈리 공간에 대해 가상 기본류를 구축한다.
• 초곡면 $X$ 상의 쿼시맵 불변량과 $\mathbb{P}^n$ 에 대한 필드를 가진 쿼시맵의 불변량 사이에 사이클 수준의 대응관계를 확립한다.
• 결과를 제자리가 아닌 임의의 매끄러운 초곡면, 즉 degree $m$ 초곡면으로 일반화하고, 표식과 모든 계수를 포함한다.
• 장-이론적 모듈리 공간을 통한 쿼시맵과 Gromov-Witten 불변량 사이의 월-크로싱을 기하학적 실현으로 제공한다.

제안 방법

• 모듈리 스택 $\overline{M}^\epsilon_{g,\ell}(\mathbb{P}^n,d)^p$ 를 구성하여, $\mathbb{P}^n$ 에 대한 $\epsilon$-안정 쿼시맵과 $p \in \Gamma(L^{-m} \otimes \omega_C)$ 의 단면을 포함한다.
• 초곡면 $X$ 를 정의하는 동차 다항식 $q$ 를 사용하여, 이 모듈리 공간 위의 장애층에 대한 코세크션 $\sigma$ 를 정의한다.
• Kiem-Li의 코세크션 로컬라이제이션을 적용하여, 비특이성 집합 $\overline{M}^\epsilon_{g,\ell}(X,d)$ 에 값이 있는 가상 사이클 $[\overline{M}^\epsilon_{g,\ell}(\mathbb{P}^n,d)^p]^{\mathrm{vir}}$ 를 얻는다.
• 직접 이미지 콘 구조를 사용하여 쿼시맵과 필드 수정된 모듈리 공간의 장애 이론을 연결한다.
• 국소화된 Gysin 역상과 국소화된 체르니 클래스 기법을 통해 가상 사이클의 동형을 확립한다.
• 코homological 및 변형 이론적 추론을 통해 핵심 항등식 $[\overline{M}^\epsilon_{g,\ell}(\mathbb{P}^n,d)^p]^{\mathrm{vir}} = (-1)^{md+1-g}[\overline{M}^\epsilon_{g,\ell}(X,d)]^{\mathrm{vir}}$ 을 증명한다.

실험 결과

연구 질문

• RQ1 필드를 가진 쿼시맵의 가상 사이클이 $\mathbb{P}^n$ 에 대한 매끄러운 초곡면 $X \subset \mathbb{P}^n$ 에 대한 쿼시맵의 가상 사이클과 일치하는가?
• RQ2 Chang-Li의 불변량 간 수치적 항등식이 불변량 수준에서 가상 사이클 수준으로 승격될 수 있는가?
• RQ3 코세크션 로컬라이제이션 방법이 임의의 매끄러운 초곡면에 대해 쿼시맵과 필드를 가진 가상 기본류를 일관되게 제공하는가?
• RQ4 필드 수정된 모듈리 공간과 제한된 쿼시맵 모듈리 공간의 가상 사이클을 연결하는 정확한 부호 인자는 무엇인가?
• RQ5 이 구성은 초곡면 외에도 $\mathbb{P}^n$ 속의 완전교차에서 확장될 수 있는가?

주요 결과

• 모듈리 공간 $\epsilon$-안정 쿼시맵과 P-필드를 가진 $\mathbb{P}^n$ 에 대한 가상 사이클은 초곡면 $X \subset \mathbb{P}^n$ 에 대한 쿼시맵의 가상 사이클의 $(-1)^{md+1-g}$ 배와 같다.
• 결과는 Chang-Li의 수치적 항등식을 불변량 수준에서 가상 사이클 수준으로 일반화하며, degree $m$ 의 모든 매끄러운 초곡면에 대해 유효하다.
• 제자리 3차곡면의 경우 ($m=5$, $n=4$, $g=1$), 가상 사이클 $[\overline{M}^\epsilon_{1,0}(X,d)]^{\mathrm{vir}}$ 의 차수는 P-필드 모듈리에서의 가상 사이클의 차수와 일치하며, 이는 $g=1$ Gromov-Witten 불변량에 대한 별개의 Landau-Ginzburg 구성법을 제공한다.
• 이 구성은 $\mathbb{P}^n$ 속의 완전교차로까지 확장되며, 필드 수정된 모듈리 공간의 가상 사이클은 쿼시맵 모듈리 공간의 가상 사이클의 $(-1)^{(\sum m_i)d + 1 - g}$ 배와 같다.
• 부호 인자 $(-1)^{md+1-g}$ 는 선다발 $L^{igotimes m}$ 의 오일러 특성으로부터 유도되며, $\chi(C, L^{igotimes m}) = md + 1 - g$ 로 계산된다.
• 증명는 국소화된 Gysin 역상과 국소화된 체르니 클래스 공식에 기반하며, 핵심 단계는 코세크션의 비특이성 집합이 $X$ 에 대한 쿼시맵 모듈리 공간과 일치함을 식별하는 것이다.