[논문 리뷰] On the Chow theory of Quot schemes of locally free quotients

Qingyuan Jiang|arXiv (Cornell University)|2020. 10. 21.

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

한 줄 요약

이 논문은 코hen-맥컬레이 스킴 위의 계량층의 국소 자유 몫을 매개변수화하는 Quot 스킴의 초군집합에 대한 일반적인 공식을 수립한다. 예상 차원 조건 하에서 성립하며, 기존의 그라스만다인 번들의, 블로업, 케일리의 기교, 플립/플롭에 대한 결과를 일반화한다. 이는 초군집합이 분해성의 위치의 해석된 초군집합의 합으로 분해되며, 그라스만다인의 베티 수로 가중된다는 점에서 유의미하다.

ABSTRACT

We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points on surfaces.

연구 동기 및 목표

• 벡들러 매핑의 분해성 위치를 해석하는 Quot 스킴의 초군집합을 계산하는 통합 프레임워크를 제공하는 것.
• 기존의 공식—그라스만다인 번들, 블로업, 케일리의 기교 등—을 하나의 구조적 공식 안에서 일반화하는 것.
• 이중화층 해석의 초군집합을 이용한 Lefschetz 타임스와 함께 Quot 스킴의 모티브적 분해를 수립하는 것.
• 유도 대수기하학에서 제기된 추측—Quot 스킴의 맥락에서 초군집합의 구조에 관해—을 검증하는 것.
• 모듈리 공간의 선형 계열과 표면 위의 점들에 대한 Hilbert 스킴에 공식을 적용하는 것.

제안 방법

• sheaf의 질량과 그 이중화층의 초군집합의 정수 분해를 유도하는 것.
• 그라스만다인의 베티 수를 초군집합 분해의 다중성 인자로 사용하는 것.
• Quot-공식 적용: $ CH^k(\mathfrak{Quot}_{X,d}(\mathscr{G})) \simeq \bigoplus_{j=0}^{\min\{d,\delta\}} \bigoplus_{\ell=0}^{j(\delta-j)} CH^{k-(d-j)(\delta-j)-\ell}(\mathfrak{Quot}_{X,d-j}(\mathscr{K}))^{\oplus b_{\ell}^{(j,\delta)}} $, 여기서 $\mathscr{K} = \mathcal{E}xt^1_{\mathcal{O}_X}(\mathscr{G}, \mathcal{O}_X)$.
• Lefschetz 타임스 $L = 1(-1)$를 이용한 모티브적 분해를 구성하여, $ h(\mathfrak{Quot}_{X,d}(\mathscr{G})) = \bigoplus_{j,\ell} \left( h(\mathfrak{Quot}_{X,d-j}(\mathscr{K})) \otimes L^{(d-j)(\delta-j)+\ell} \right)^{\oplus b_{\ell}^{(j,\delta)}} $ 를 도출하는 것.
• 대칭성과 채른 클래스 계산을 활용하여, 특히 플립 및 플롭의 경우에 다른 Quot 스킴의 초군집합을 연결하는 것.

실험 결과

연구 질문

• RQ1 분해성 위치를 해석하는 Quot 스킴의 초군집합은 다양한 기하적 맥락에서 어떻게 통일적으로 묘사될 수 있는가?
• RQ2 분해성 위치가 예상 차원을 가질 때 초군집합의 정확한 구조는 무엇인가?
• RQ3 Quot-공식은 기존의 결과—블로업 공식, 프로젝티비제이션, 케일리의 기교—를 통합할 수 있는가?
• RQ4 플립 또는 플롭의 경우 $ \mathfrak{Quot}_{X,d}(\mathscr{G}) $ 와 $ \mathfrak{Quot}_{X,d-\delta}(\mathscr{K}) $ 사이의 관계는 무엇인가?
• RQ5 왜 그라스만다인의 베티 수가 초군집합 분해의 다중성 인자로 자연스럽게 나타나는가?

주요 결과

• $ \mathfrak{Quot}_{X,d}(\mathscr{G}) $ 의 초군집합은 $ j \in [0, \min\{d, \delta\}] $ 에 따라 인덱스가 매겨진 직합으로 분해되며, 각 항목은 그라스만다인 $ \mathrm{Gr}_j(\delta) $ 의 베티 수 $ b_{\ell}^{(j,\delta)} $ 로 가중된다.
• 만약 $ d \leq \delta $ 이면, Quot 스킴는 일반적으로 $ X $ 위의 그라스만다인 번들이며, 초군집합 분해는 그라스만다인 섬유와 분해성 위치의 해석된 초군집합 기여를 포함한다.
• 만약 $ d > \delta $ 이면, Quot 스킴와 $ \mathfrak{Quot}_{X,d-\delta}(\mathscr{K}) $ 는 플립을 통해 비라시오널이며, $ \mathfrak{Quot}_{X,d-\delta}(\mathscr{K}) $ 의 초군집합은 $ \mathfrak{Quot}_{X,d}(\mathscr{G}) $ 의 초군집합에 통합되며, 나머지 부분은 고차 분해성 위치의 해석된 초군집합으로 구성된다.
• 만약 $ \delta = 0 $ 이면, 비라시오널 사상은 플롭이며, $ \mathfrak{Quot}_{X,d}(\mathscr{G}) $ 와 $ \mathfrak{Quot}_{X,d}(\mathscr{K}) $ 의 초군집합 레이어는 서로 동형이다.
• 공식은 알려진 결과로 특수화된다: $ \mathscr{G} $ 가 국소 자유일 경우, 그라스만다인 번들 공식을 복원한다; $ d=1 $ 이면 프로젝티비제이션 공식을 복원한다; $ d=\delta $ 이면 결정성 부분스킴의 블로업 공식을 제공한다.
• 응용으로는 표면 위의 점들에 대한 Hilbert 스킴와 곡선 위의 선형 계열의 모듈리 공간에 대한 초군집합 계산이 가능하며, Quot-공식의 모티브적 및 초군집합적 구조의 분해 덕분이다.