[논문 리뷰] The Chow groups and the motive of the Hilbert scheme of points on a surface

Mark Andrea de Cataldo, Luca Migliorini|ArXiv.org|2000. 05. 24.

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

한 줄 요약

이 논문은 임의의 체 위의 매끄러운 대수적 표면에서 n개의 점의 Hilbert 스킴의 유리계수를 가진 Chow 모티프와 Chow 군을 계산한다. Gysin 형식론과 n의 분할에 관련된 대응을 사용하여, Hilbert 스킴의 모티프와 각 분할의 길이에 해당하는 타이트 타이트와 차수로 이동된 표면의 순서대칭 제품의 모티프들의 직합 사이의 동형사상을 수립한다.

ABSTRACT

We compute the Chow motive and the Chow groups with rational coefficients of the Hilbert scheme of points on a smooth algebraic surface

연구 동기 및 목표

• 임의의 체 위의 매끄러운 표면 $X$에서 n개의 점의 Hilbert 스킴 $X^{[n]}$의 유리계수를 가진 Chow 모티프를 규명하는 것.
• Hilbert 스킴 $X^{[n]}$의 Chow 군의 덧셈적 구조를 표면 $X$의 순서대칭 제품의 Chow 군과 연결시켜 이해하는 것.
• 혼합 호지 구조에서의 분해 정리와 타이트 타이트를 통합하는 $X^{[n]}$의 모티프적 분해를 수립하는 것.
• 모든 $n$에 대해 $X^{[n]}$의 모티프적 구조를 분할과 순서대칭 제품을 통해 기술하는 생성함수를 제공하는 것.

제안 방법

• 저자들은 Fulton-MacPherson의 Gysin 형식론을 사용하여 각 분할 $\nu \in P(n)$에 관련된 정밀한 대응 $\hat{\Gamma}^\nu$를 정의한다.
• 그들은 Chow 군 간의 사상 $\hat{\Gamma}_*$를 구성하고, 이를 유리성과 전성 결과(보조정리 5.1.5 및 5.3.2)를 통해 동형사상임을 증명한다.
• 핵심 단계는 각 분할에 대응하는 사영자 $\Delta_\nu$들이 서로 수직임을 보여주어 모티프의 직합 분해를 가능하게 한다.
• 모티프 $X^{[n]}$는 $X^{(\nu)}$의 대칭 거듭제곱들의 곱에 해당하는 $M(X^{(\nu)})(n - l(\nu))[2n - 2l(\nu)]$의 직합으로 식별된다.
• 결과는 Voevodsky의 모티프적 범주로 올리어, $DM_{h}(k)_\mathbb{Q}$에서 동형사상이 된다.
• 모티프적 구조를 위한 생성함수가 유도되며, 형식적 합 $\sum_{n=0}^\infty X^{[n]}(n)[2n] q^n$이 $m \geq 1$에 대해 $1/(1 - X_m(1)[2] q^m)$의 곱으로 표현된다.

실험 결과

연구 질문

• RQ1 Hilbert 스킴 $X^{[n]}$의 Chow 모티프는 표면 $X$의 순서대칭 제품을 통해 어떻게 기술될 수 있는가?
• RQ2 $X^{[n]}$의 Chow 군과 $X$의 순서대칭 제품의 곱의 Chow 군 사이의 정확한 관계는 무엇인가?
• RQ3 혼합 호지 구조에서의 분해 정리와 타이트 타이트는 $X^{[n]}$의 모티프적 구조와 어떻게 관련되는가?
• RQ4 모든 $n$에 걸쳐 $X^{[n]}$의 모티프적 구조를 캐릭터화하는 생성함수를 구성할 수 있는가?

주요 결과

• 유리계수를 가진 $X^{[n]}$의 Chow 모티프는 $\nu \in P(n)$에 대한 모든 분할에 대해 $M(X^{(\nu)})(n - l(\nu))$의 직합과 동형이다. 여기서 $X^{(\nu)}$는 $\nu$에 대응하는 대칭 거듭제곱들의 곱이다.
• 이 동형사상은 정밀한 Gysin 형식론을 통해 유도된 대응 $\hat{\Gamma}^\nu$를 통해 실현되며, 이를 통해 Chow 군에서의 단사성과 전성 결과가 확보된다.
• Voevodsky의 범주 $DM_{h}(k)_\mathbb{Q}$에서 $X^{[n]}$의 모티프는 이중 타이트와 이동을 거친 후 $\bigoplus_{\nu \in P(n)} M(X^{(\nu)})(l(\nu))[2l(\nu)]$와 동형이다.
• 모티프적 구조의 생성함수는 $\sum_{n=0}^\infty X^{[n]}(n)[2n] q^n = \prod_{m=1}^\infty \frac{1}{1 - X_m(1)[2] q^m}$이며, 이는 분할에 따른 분해를 캐릭터화한다.
• 이 결과는 동일한 대응 틀을 통해 Göttsche의 공식에 의한 $X^{[n]}$의 베티 수에 대한 사이클 이론적 증명을 제공한다.
• 이 분해는 분해 정리의 이동과 혼합 호지 구조에서의 타이트 타이트를 조화롭게 통합한다.