[논문 리뷰] Hodge cycles on some moduli spaces

Donu Arapura|ArXiv.org|2001. 02. 08.

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

한 줄 요약

이 논문은 기본 다양체의 거듭제곱 위에서 이러한 추측들이 성립함을 보여주는 바탕으로, 곡선과 표면 위의 층의 모듈리 공간들에 대해 Hodge 및 일반화된 Hodge 추측을 검증한다. 주요 결과로는, 코디라 차수 0인 표면의 점들의 Hilbert 스킴에 대해 Hodge 추측이 성립하고, 곡선 위의 안정 벡터 번들의 모듈리 공간에 대해 Hodge 추측이 그의 Jacobian의 거듭제곱 위에서 성립할 경우에 성립함을 보이며, 이는 산술적 맥락에서 Tate의 추측에 대해 유사한 결과를 제공한다.

ABSTRACT

The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface or a curve if it holds for all powers of the surface or curve. In the latter case, the curve can be replaced by its Jacobian. As a consequence the generalized Hodge conjecture holds for these moduli spaces when the curve is very general. A similar result is proved for the Hilbert schemes of points over an arbitrary surface.

연구 동기 및 목표

• 매끄럽고 프로젝티브인 곡선 위의 안정 벡터 번들의 모듈리 공간에 대해 Hodge 및 일반화된 Hodge 추측을 확립하기 위해.
• 특히 아벨 및 커머 표면인 표면 위의 반순수 토션-프리 층의 모듈리 공간으로 이러한 결과를 확장하기 위해.
• 표면의 Hilbert 스킴에 대해 Hodge 추측이 그 표면의 모든 거듭제곱 위에서 성립할 경우에 성립함을 보여주기 위해.
• 이러한 모듈리 공간들에 대해 Tate의 추측과 Hodge 순환의 절대성의 산술적 동반을 제공하기 위해.

제안 방법

• 적절한 섬유를 가진 지배적, 계층적 또는 섬유화된 다양체 위에서 Hodge 추측의 성립을 보장함으로써, 다양체에 대한 Hodge 추측의 환원.
• 정수적 다양체에 대해 Hodge 추측의 Jannsen의 공식화를 사용하여 계층화를 다루기 위해.
• 대수적 대응과 Künneth 성분에 기반한 기준을 적용하여, 다양체의 거듭제곱의 코homology와 모듈리 공간의 코homology를 연결하기 위해.
• 알려진 Hodge 구조와 coniveau 필터링 결과를 활용하여, 대수적 순환과 Hodge 순환 간의 관계를 설정하기 위해.
• de Cataldo와 Milgiorini의 Hilbert 스킴에 대한 결과를 응용하여, 점들의 Hilbert 스킴에 대한 Hodge 추측를 확립하기 위해.
• Galois 표현과 에테ール 코hom올로지의 활용을 통해 산술적 동반을 증명하기 위해, 특히 Tate의 추측과 Hodge 순환의 절대성 포함.

실험 결과

연구 질문

• RQ1 매끄럽고 프로젝티브인 곡선 위의 안정 벡터 번들의 모듈리 공간에 대해 Hodge 추측가 성립하는 조건은 무엇인가?
• RQ2 곡선 또는 표면의 거듭제곱 위에서 Hodge 추측의 성립이 Hilbert 스킴 또는 층의 모듈리 공간에 대해 Hodge 추측의 성립을 어떻게 유도하는가?
• RQ3 표면 위의 반순수 토션-프리 층의 모듈리 공간에 대해 일반화된 Hodge 추측이 성립하기 위한 조건은 무엇인가?
• RQ4 기저 다양체의 코디라 차수가 0일 경우, 이러한 모듈리 공간에 대해 어떤 산술 맥락에서 Tate의 추측이 성립하는가?
• RQ5 일반적으로 Hodge 순환의 절대성이 다양체에 대해 성립할 경우, 그 층의 모듈리 공간으로까지 얼마나 넓게 확장되는가?

주요 결과

• Hodge 추측는 매끄럽고 프로젝티브인 곡선 $ X $ 위의 안정 벡터 번들의 모듈리 공간 $ U_X(n,d) $ 에 대해, 그의 Jacobian $ J(X) $ 의 모든 거듭제곱 위에서 성립할 경우 성립한다.
• X 가 모듈리 공간에서 매우 일반적일 경우, $ J(X)^m $ 위에서 Hodge 추측가 성립함을 바탕으로, $ U_X(n,d) $ 에서 일반화된 Hodge 추측가 성립한다.
• 매끄럽고 프로젝티브인 표면 $ X $ 의 점들의 Hilbert 스킴에 대해 Hodge 추측는 그 표면의 모든 거듭제곱 위에서 성립할 경우 성립하며, 이 결과는 de Cataldo와 Milgiorini의 연구로부터 유도 가능하다.
• 아벨 또는 커머 표면 위의 반순수 토션-프리 층의 모듈리 공간에 대해 Hodge 추측가 검증되었다.
• 특성 0인 체 위에서 모듈리 공간 $ M = U_X(n,d) $ 에 대해 Tate의 추측는 그 곡선 $ X $ 의 모든 거듭제곱 위에서 성립할 경우 성립하며, 동일한 조건 하에서 $ M $ 에 대해 절대성 추측도 성립한다.
• 코디라 차수가 0인 표면의 경우, 점들의 Hilbert 스킴 $ X^{[n]} $ 에 대해 절대성 추측이 성립한다. 이는 $ X $ 의 모든 거듭제곱 위에서 성립하기 때문이며, 이러한 표면들은 절대성 성질를 갖는 다양체들로부터 지배적인 유리 사상이 존재한다.