[논문 리뷰] Bloch's conjecture for surfaces with involutions and of geometric genus zero

Vladimir Guletskiĭ|arXiv (Cornell University)|2017. 04. 13.

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

한 줄 요약

이 논문은 기하학적 종수 0인 매끄럽고 사영적인 표면 S와 정규적 호모티피가 있을 때, Bloch의 추측이 S에 대해 성립함과 동시에 그의 몰입된 몫 표면 W = S/ι에 대해 성립함이 서로 동치임을 증명한다. 이 동치관계는 추측의 타당성을 S에서 W로 이행시키는 데 유용하며, 이는 수치적 Godeaux 표면, 캄페델리 표면의 절반, 크라이거로-가타초 표면, 그리고 일부 카타네제 표면을 포함한 여러 표면에 대해 추측을 증명하는 데 기여한다. 또한, Enriques 유형 몫을 갖는 정규적 호모티피를 가진 K3 표면은 유한 차원 모티브를 갖는다.

ABSTRACT

Let $S$ be a smooth projective surface with $p_g=0$, let $ι$ be a regular involution acting on $S$, and let $W$ be the resolution of singularities of the quotient surface $S/ι$. In the paper we prove that Bloch's conjecture holds for the surface $S$ if and only if it holds for the surface $W$. This yields Bloch's conjecture for all surfaces $S$ whenever the same conjecture is true for the desingularized quotient $W$. In particular, Bloch's conjecture holds true for all numerical Godeaux surfaces with involutions, a "half" of Campedelli surfaces with involutions, the surface of Craighero and Gattazzo, some Catanese surfaces and other examples. Applying the same method to $K3$-surfaces, we prove that if a $K3$-surface $S$ admits a regular involution whose quotient is of Enriques type, then the motive $M(S)$ is finite-dimensional.

연구 동기 및 목표

• p_g = 0 이고 정규적 호모티피를 갖는 표면 S에 대해 Bloch의 추측을 검증하는 기준을 설정하기 위해, 그 표면의 몰입된 몫 표면 W와의 관련성을 규명한다.
• S에 대한 Bloch의 추측 검증 문제를 W에 대한 동일한 추측 검증 문제로 축소함으로써, 광범위한 표면 클래스에 대해 문제를 단순화한다.
• 이 방법을 수치적 Godeaux, 캄페델리, 크라이거로-가타초, 카타네제 표면과 같은 특정 표면에 적용하여 Bloch의 추측이 새로운 케이스에서 성립함을 확인한다.
• K3 표면에 대해 정규적 호모티피를 갖는 경우, 그 몫이 Enriques 유형일 때의 프레임워크를 확장하여 그들의 모티브의 유한 차원성을 증명한다.

제안 방법

• p_g = 0 이고 정규적 호모티피 ι를 갖는 표면 S에 대해, 몫 표면 S/ι를 구성한다. 이 표면은 특이점을 가질 수 있다.
• S/ι의 특이점을 해결하여 매끄러운 표면 W를 얻는다. 이는 몰입된 몰입 표면이다.
• 모티브 이론 및 코homological 불변량을 통해 S와 W에서 Bloch의 추측의 타당성 간의 동치관계를 수립한다.
• 특히 W가 일반 유형 또는 Enriques 유형 표면일 경우, W에 대한 알려진 결과를 활용하여 S에 대한 추측의 진리성을 유도한다.
• K3 표면에 대해 정규적 호모티피를 갖는 경우에도 동일한 방법을 적용하여, 몰입된 몫의 비라지오모르피 유형을 분석함으로써 모티브 M(S)의 성질을 유추한다.
• 몰입된 몫이 Enriques 유형일 경우, 모티브 M(S)가 유한 차원임을 암시하는 것은 기존의 모티브 이론 결과에 기반한다.

실험 결과

연구 질문

• RQ1 p_g = 0 과 정규적 호모티피 ι를 갖는 표면 S에 대해, Bloch의 추측이 어떤 조건에서 성립하는가?
• RQ2 S에서 Bloch의 추측의 타당성은 몰입된 몰입 표면 W = S/ι에서의 타당성과 어떻게 관련이 있는가?
• RQ3 이 동치관계를 이용하여 수치적 Godeaux 표면이나 크라이거로-가타초 표면과 같은 특정 표면에 대해 추측을 검증할 수 있는가?
• RQ4 정규적 호모티피를 갖는 K3 표면 S의 모티브 M(S)에 대해 무엇을 말할 수 있는가? 이 표면의 몰입된 몫이 Enriques 유형일 경우에 대해 말이다.
• RQ5 몰입된 몫이 Enriques 유형일 경우, M(S)의 유한 차원성이 유추되는가?

주요 결과

• p_g = 0 과 정규적 호모티피를 갖는 표면 S에 대해 Bloch의 추측이 성립함과 동시에 그의 몰입된 몰입 표면 W = S/ι에 대해 성립함이 서로 동치이다.
• 모든 수치적 Godeaux 표면에 대해 호모티피가 존재하는 경우, 그리고 호모티피가 존재하는 캄페델리 표면의 절반에 대해 추측이 확인되었다.
• 크라이거로-가타초 표면과 일부 카타네제 표면에 대해선 W로의 축소를 통해 추측이 검증되었다.
• 정규적 호모티피를 갖는 K3 표면에 대해 몰입된 몫이 Enriques 유형일 경우, 그 모티브 M(S)가 유한 차원임을 증명하였다.
• 이 방법은 몰입된 표면에서 원래 표면으로의 일반적인 전이 원칙을 제공하며, Bloch의 추측에 대해 알려진 사례의 범위를 크게 확장한다.
• S와 W 사이의 동치관계는 W에 대한 알려진 결과를 활용하여 S에 대한 새로운 결과를 이끌어내는 데 유용하며, 특히 모티브와 코homological 유한성의 맥락에서 유의미하다.