[논문 리뷰] The Chow motive of semismall resolutions

Mark Andrea A. de Cataldo, Luca Migliorini|ArXiv.org|2002. 04. 05.

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

한 줄 요약

이 논문은 복소다양체에서의 반작소 대각선 대응에 대해 모티브 분해 정리를 수립하며, 총공간의 초등모티브가 관련된 조각의 이중화된 모티브들의 직합으로 분해됨을 보여준다. 이 분해는 섬유의 단일화 불변 성분을 인덱싱한다. 핵심 결과는 조각과 단일화 데이터로부터 구성된 대응을 통해 초등모티브, 초등군 및 혼합 호지 구조 간의 명시적 동형사상이 존재한다는 것이다. 이는 힐베르트 스킴과 표면 위의 파라보릭 힐베르트 스킴에 응용된다.

ABSTRACT

We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is compact, for the Chow motive of X.The result is a Chow-theoretic analogue of Borho-MacPherson's observation concerning the cohomology of the fibers and their relation to the relevant strata for f. Under suitable assumptions on the stratification, we prove an explicit version of the motivic decomposition theorem. The assumptions are fulfilled in many cases of interest, e.g. in connection with resolutions of orbifolds and of some configuration spaces. We compute the Chow motives and groups in some of these cases, e.g. the nested Hilbert schemes of points of a surface. In an appendix with T. Mochizuki, we do the same for the parabolic Hilbert scheme of points on a surface. The results above hold for mixed Hodge structures and explain, in some cases, the equality between orbifold Betti/Hodge numbers and ordinary Betti/Hodge numbers for the crepant semismall resolutions in terms of the existence of a natural map of mixed Hodge structures. Most results hold over an algebraically closed field and in the Kaehler context.

연구 동기 및 목표

• 반작소 대응에 대해 코homology에서 초등모티브와 대수적 사이클의 카테고리로 분해 정리를 확장하는 것.
• 반작소 해소에 대해 보로-맥퍼슨의 코homological 분해에 대응하는 초등모티브 이론적 해석을 제공하는 것.
• 특정 케이스, 즉 내포된 힐베르트 스킴과 표면 위의 점들에 대한 파라보릭 힐베르트 스킴의 초등모티브와 군을 계산하는 것.
• 크립탄트 해소에서 오비폴드와 일반적인 베티/호지 수가 동일한 이유를 혼합 호지 구조의 자연스러운 사상으로 설명하는 것.

제안 방법

• 직접 이미지 복합체 $ Rf_*\mathbb{Q}_X[\dim X] $ 에 대해 분해 정리를 사용하여, 관련된 조각에 따라 인덱싱된 $ X \times X $ 의 초등환원에서 직교 프로젝터를 구성하는 것.
• 관련된 조각 위에서 섬유의 단일화 불변 성분을 사용하여, 정밀한 기시프 포멀리즘과 교차 이론을 통해 대응 $ \overline{\Gamma} $ 를 구성하는 것.
• 차원 이동을 반영하기 위해 $ t_\chi = n - \sum_{v_* = 0} \chi(v) $ 를 사용하여 이중화된 모티브 $ [X_\chi](t_\chi) $ 를 정의하는 것.
• 대응 $ \overline{\Gamma}_* $ 가 조각의 이중화된 모티브의 직합과 총공간의 모티브 사이에 동형사상을 유도함을 증명하는 것.
• 힐베르트-차우 사상의 분할을 분석하여 이론을 힐베르트 스킴과 파라보릭 힐베르트 스킴에 적용하는 것.
• 생성함수를 사용하여 기저 표 superfuce와 분리자에 대한 대칭적 곱의 형태로 힐베르트 스킴의 모티브, 베티, 호지 다항식 생성함수를 표현하는 것.

실험 결과

연구 질문

• RQ1 반작소 대응에 대해 분해 정리를 코homology에서 초등모티브의 카테고리로 어떻게 승격시킬 수 있는가?
• RQ2 반작소 해소의 초등모티브는 조각과 단일화에 대해 어떻게 명시적으로 기술할 수 있는가?
• RQ3 크립탄트 반작소 해소에서 오비폴드와 일반적인 호지 수가 동일한 이유는 무엇이며, 이는 호지 구조에 어떻게 반영되는가?
• RQ4 표면 위의 점들에 대한 파라보릭 힐베르트 스킴의 초등모티브는 무엇이며, 어떻게 분해되는가?
• RQ5 기저 표 superfuce와 분리자에 대한 대칭적 곱의 형태로 힐베르트 스킴의 모티브, 베티, 호지 수의 생성함수를 표현할 수 있는가?

주요 결과

• 완전한 반작소 대응 $ f: X \to Y $ 의 초등모티브는 관련된 조각의 이중화된 모티브들의 직합으로 분해되며, 프로젝터의 합은 $ X $ 의 대각선과 같다.
• 조각과 단일화로부터 구성된 대응에 의해 유도되는 명시적 초등군 동형사상 $ \overline{\Gamma}_*: \bigoplus_{\chi \in \overline{\mathcal{S}}} A_*(X_\chi) \to A_*(Hilb(X,D;n,h,l_*)) $ 이 성립한다.
• 파라보릭 힐베르트 스킴의 경우, 모티브는 $ \bigoplus_{\chi \in \overline{\mathcal{S}}} [X_\chi](t_\chi) \cong [Hilb(X,D;n,h,l_*)] $ 로 분해되며, $ t\_\chi $ 는 차원 이동을 캡슐화한다.
• 초등모티브의 생성함수는 $ X $ 와 $ D $ 의 대칭적 거듭제곱에 대한 곱으로 표현되며, $ t^m $ 과 $ s_\alpha^m $ 의 텅 빈 변형을 포함하여 분할을 반영한다.
• 베티 및 호지 다항식의 생성함수는 명시적으로 주어지며, $ t $, $ s_\alpha $, $ X $ 와 $ D $ 의 베티/호지 수를 포함하는 유리함수 형태이다.
• 크립탄트 해소에서 오비폴드와 일반적인 호지 수가 동일한 것은 모티브 분해에서 유래하는 자연스러운 혼합 호지 구조 사상의 존재에 의해 설명된다.