[논문 리뷰] Distinguished cycles on varieties with motive of abelian type and the Section Property

Lie Fu, Charles Vial|arXiv (Cornell University)|2017. 09. 17.

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

한 줄 요약

이 논문은 대칭적으로 구분된 아벨 모티브의 개념을 도입하여, 차우 모티브가 아벨 유형인 매끄럽고 사영적인 다양체가 수치적 동치에 대한 유리 차우 링의 몫으로의 상사상에 대해 카라테오도리 클래스를 올리는 단면이 존재하는 충분조건을 확립한다. 주요 기여는 아벨 다양체, 쌍곡선, 페르마의 입체곡면, 고형성 높은 피카르 수를 가진 K3 또는 커머 표면 위의 힐베르트 스킴 등 수많은 다양체에서 이러한 단면의 존재를 증명한 것이다. 이는 복소 해석 기하학에서의 추측적 단면 성질에 강력한 증거를 제공한다.

ABSTRACT

A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We introduce the notion of symmetrically distinguished abelian motive and use it to provide a sufficient condition for a smooth projective variety to admit such a section. We then give series of examples of varieties for which our theory works. For instance, we prove the existence of such a section for arbitrary products of varieties with Chow groups of finite rank, abelian varieties, hyperelliptic curves, Fermat cubic hypersurfaces, Hilbert schemes of points on an abelian surface or a Kummer surface or a K3 surface with Picard number at least 19, and generalized Kummer varieties. The latter cases provide evidence for the conjectural Section Property and exemplify the mantra that the motives of holomorphic symplectic varieties should behave as the motives of abelian varieties, as algebra objects.

연구 동기 및 목표

• 복소 해석 기하학에서의 추측적 단면 성질을 제안하고, 이를 검토하기 위해, 복소 해석 기하학적 다양체에 대해, 유리 차우 링의 수치적 동치에 대한 몫으로의 상사상이 카라테오도리 클래스를 유지하는 단면을 갖는다는 것을 추측한다.
• 피터 올리버슨의 아벨 다양체에 대한 결과를, 차우 모티브가 아벨 유형인 더 넓은 다양체의 범주로 확장한다.
• 단면 존재를 위한 충분조건으로 대칭적으로 구분된 아벨 모티브의 개념을 도입한다.
• 힐베르트 스킴이 있는 K3 표면과 일반화된 커머 다양체와 같은 구체적인 예를 제시하여, 단면 성질이 성립함을 보이며, 복소 해석 기하학적 다양체의 모티브가 아벨 다양체의 모티브와 유사하게 행동한다는 아이디어를 뒷받침한다.

제안 방법

• 아벨 다양체에서 대칭적으로 구분된 사이클의 개념을 도입하고, 토판스터럭스를 가진 아벨 토르스로 확장한다.
• 올리버슨의 아벨 다양체에서의 캐논컬 단면을 일반화하여, 대칭적으로 구분된 아벨 모티브를 정의한다.
• 차우–큐너스 분해가 대수적 구조와 호환됨을 보장하는 핵심 조건 \/star{}를 사용하여 단면 존재의 기준을 설정한다.
• 곱, 프로젝티브 번들의 생성, 블로우업, 일반적으로 유한한 사상 등의 연산을 적용하여 조건 \/star{}를 유지하고, 이를 새로운 다양체의 범주로 확장한다.
• 곡선의 종수 ≤2, 페르마의 초곡면, 피카르 수 ≥19인 K3 표면, 아벨 또는 커머 표면 위의 힐베르트 스킴에 대해 \/star{}를 검증함으로써 구체적인 예를 구성한다.
• 뷰빌 분해와 세르스 사이클을 사용하여, 예를 들어 종수가 >2인 매우 일반적인 곡선이나 페르마의 4차 곡선과 같은 일부 다양체가 \/star{}를 만족하지 못함을 보이며, 이 이론의 한계를 규명한다.

실험 결과

연구 질문

• RQ1 모티브가 아벨 유형인 다양체에 대해, 수치적 동치에 대한 몫으로의 상사상이 카라테오도리 클래스를 올리는 단면이 존재하는가?
• RQ2 원래 복소 해석 기하학적 다양체에 대해 추측된 단면 성질이, 모티브가 아벨 유형인 특정 범주에 대해 성립하는가?
• RQ3 차우–큐너스 분해에 대해 어떤 조건이 이러한 단면의 존재를 보장하며, 실질적으로 이를 검증할 수 있는가?
• RQ4 어떤 모티브가 아벨 유형인 다양체가 단면 성질을 만족하지 못하며, 그 실패를 감지하는 기하학적 불변량은 무엇인가?
• RQ5 복소 해석 기하학적 다양체의 모티브가 아벨 다양체의 모티브와 대수적 구조로서의 카테고리인 차우 모티브의 카테고리 내에서 얼마나 유사하게 행동하는가?

주요 결과

• 논문은 아벨 다양체에서 수치적 동치에 대한 몫으로의 유리 차우 링 상사상에 대해 단면의 존재를 증명하며, 올리버슨의 결과를 일반화한다.
• 모든 차우 군의 유한 차수인 다양체의 곱에 대해서도 이러한 단면이 존재한다.
• 모든 쌍곡선에 대해 단면이 존재한다. 이는 그들의 모티브가 아벨 유형이면서 핵심 조건 \/star{}를 만족하기 때문이다.
• 페르마의 입체곡면에 대해서도 단면이 존재한다. 이는 대칭적으로 구분된 아벨 모티브를 갖기 때문이다.
• 피카르 수가 적어도 19 이상인 아벨 표면, 커머 표면 또는 K3 표면 위의 점들에 대한 힐베르트 스킴에 대해서는 단면 성질이 성립한다. 이는 곱셈적 차우–큐너스 분해의 존재 때문이며,
• 일반화된 커머 다양체 역시 이러한 단면을 갖는다. 이는 복소 해석 기하학에서의 추측적 단면 성질에 대한 추가적인 증거를 제공한다.