[논문 리뷰] Localizing virtual structure sheaves by cosections

Young‐Hoon Kiem, Jun Li|arXiv (Cornell University)|2017. 05. 26.

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

한 줄 요약

이 논문은 완전한 방해 이론과 방해층의 코세그먼트를 갖는 델 라이느-멈포르 스택에서 가상의 구조층에 대한 K-이론적 코세그먼트 국소화를 도입한다. 코세그먼트의 지지부위 위에서 국소화된 기시스 지ap을 정의함으로써, $K_0(X(\sigma))$에 가상의 구조층을 구성하여 가상의 사이클을 대수적 K-이론으로 올리며, 이는 변형 불변성 K-이론적 불변량을 가능하게 하고, 구모보-원-우안 및 팬-자르비스-루안-위튼 불변량으로 결과를 확장한다.

ABSTRACT

We construct a cosection localized virtual structure sheaf when a Deligne-Mumford stack is equipped with a perfect obstruction theory and a cosection of the obstruction sheaf.

연구 동기 및 목표

• 코세그먼트 국소화를 차우 군에서 대수적 K-이론으로 확장하기 위해 K-이론적 가상의 구조층을 구성하는 것.
• 모듈리 공간이 올바르지 않더라도 잘 정의되는 $K_0$-이론에서의 국소화된 가상의 오일러 특성 수를 정의하는 것.
• 논문 [6,7]에서의 코세그먼트 국소화된 가상 사이클 결과를 FJRW 불변량에 대해 K-이론적 설정으로 올리는 것.
• 가상의 오일러 특성 수를 통해 랑두-긴츠부르크/칼라비-양 대응의 K-이론적 판본을 수립하는 것.
• 전역 해상의 선택에 대한 독립성과 변형에 대한 불변성을 증명하는 것.

제안 방법

• 코세그먼트에 따른 콘 $C_1$ 의 지지부위를 사용하여 $0^{!}_{E_1,\sigma}: K_0(E_1(\sigma)) \to K_0(X(\sigma))$ 를 국소화된 기시스 지ap으로 정의한다.
• 국소화된 가상의 구조층을 $[\mathscr{O}^{\mathrm{vir}}_{X,\mathrm{loc}}] = 0^{!}_{E_1,\sigma}[\mathscr{O}_{C_1}] \in K_0(X(\sigma))$ 로 구성한다.
• 푸시포워드와 국소화된 기시스 지압의 가환성을 활용하여 문제를 $X(\sigma)$ 에 따른 블로업으로 줄이며, 정확한 수열이 분할된 경우로 변형된다.
• 모든 $U = X \setminus X(\sigma)$ 에 대해 $E_1(\sigma)$ 가 $E_1|_{X(\sigma)}$ 와 $\ker(\sigma: E_1|_U \to \mathscr{O}_U)$ 의 합집합임을 이용한다.
• 전역 해상의 선택에 대한 독립성을 확보하기 위해 변형 불변성과 가상 기본류와의 호환성을 적용한다.
• 블로업에서의 분할 정확한 수열으로 환원하여 치오도의 K-이론 클래스 $Ke(E^\vee, \tau^\vee)$ 와의 비교를 수립한다.

실험 결과

연구 질문

• RQ1 코세그먼트 국소화된 가상 사이클을 차우 군에서 대수적 K-이론으로 올릴 수 있는가?
• RQ2 결과로 얻어진 K-이론적 가상의 구조층은 전역 해상의 선택에 영향을 받는가?
• RQ3 모듈리 공간이 올바르지 않더라도 $K_0$-이론에서 국소화된 가상의 오일러 특성 수를 정의하고 계산할 수 있는가?
• RQ4 국소화된 가상의 오일러 특성 수를 통해 K-이론적 랑두-긴츠부르크/칼라비-양 대응이 성립하는가?
• RQ5 국소화된 가상의 구조층은 기존의 K-이론적 불변량, 예를 들어 치오도의 클래스와 어떻게 관련이 있는가?

주요 결과

• 코세그먼트 국소화된 가상의 구조층 $[\mathscr{O}^{\mathrm{vir}}_{X,\mathrm{loc}}] \in K_0(X(\sigma))$ 는 잘 정의되어 있으며, 전역 해상 $[E^{-1} \to E^0]$ 의 선택과 무관하다.
• 구성은 $\imath_*[\mathscr{O}^{\mathrm{vir}}_{X,\mathrm{loc}}] = [\mathscr{O}^{\mathrm{vir}}_X] \in K_0(X)$ 를 만족하여 전역 가상의 구조층과의 호환성을 보장한다.
• 국소화된 가상의 구조층은 변형 불변이며, 모듈리 공간의 변형 동안 그 클래스를 유지한다.
• 코세그먼트 국소화된 가상의 오일러 특성 수 $\chi^{\mathrm{vir}}_{\mathrm{loc}}(X,\beta)$ 는 $\sum_i (-1)^i \dim H^i(X(\sigma), \beta \cdot \mathscr{O}^{\mathrm{vir}}_{X,\mathrm{loc}})$ 로 정의되며, $X$ 가 올바르지 않더라도 성립한다.
• 치오도의 K-이론 클래스 $Ke(E^\vee, \tau^\vee)$ 는 $K_0(S)$ 에서 $[\mathscr{O}^{\mathrm{vir}}_{X,\mathrm{loc}}]$ 와 일치하며, 존재하는 K-이론적 구성과의 직접적인 연결을 수립한다.
• 페르마 퀠틱에 대한 구모보-원-우안 모델에서 $\chi^{\mathrm{vir}}_{\mathrm{loc}}(\overline{M}_g(\mathbb{P}^4,d)^p) = (-1)^{5d - g + 1} \chi^{\mathrm{vir}}(N)$ 이 성립함을 증명하여 K-이론적 버전의 LG/CY 대응을 입증한다.