Varieties with representable CH_0-group and a question of Colliot-Thélène

기술적 요약: 표현 가능한 $CH_0$ 군을 갖는 다양체와 Colliot-Thélène의 질문

문제 제기
본 논문은 표현 가능한 $CH_0$ 군(Chow group of zero-cycles)과 매끄러운 사영 복소 다양체 상의 "보편적 0-사이클(universal 0-cycle)"의 존재성 사이의 관계에 관한 Colliot-Thélène의 특정 질문을 다룬다.

$X$를 매끄러운 사영 다양체라고 하자. $CH_0(X)$가 **표현 가능하다(representable)**는 것은 알베네스 사상(Albanese morphism) $a_X: CH_0(X)_{hom} \to Alb(X)$가 동형 사상임을 의미한다. $X$의 보편적 0-사이클은 코디멘션 $n$인 사이클 $\Gamma \in CH_n(Alb(X) \times X)$ (여기서 $n = \dim X$)로 정의되며, 임의의 $t \in Alb(X)$에 대하여 $a_X \circ \Gamma^* (\{t\} - \{0\})$가 $Alb(X)$내에서$t$와 같아지는 성질을 만족한다.

$CH_0$ 군이 표현 가능한 다양체들이 존재한다는 것은 알려져 있으나(저자의 이전 연구에서 구축된 특정 곡면들의 예시 등), 보편적 0-사이클을 갖지 않는 다양체들도 존재한다. 구체적으로, 표현 가능한 $CH_0$ 군을 가지면서 보편적 0-사이클을 갖지 않는 매끄러운 복소 사영 다양체 $X$가 존재하는가 하는 문제는 열린 문제였다. Colliot-Thélène는 다음과 같이 질문했다: 표현 가능한 $CH_0$ 군을 갖지만 보편적 0-사이클을 갖지 않는 매끄로한 복소 사영 다양체 $X$가 존재하는가?

방법론 및 이론적 틀
저자는 $CH_0$의 표현성이 부과하는 기하학적 제약을 분석함으로써 이 문제에 접근한다.

1. 기하학적 축소: Mumford의 정리를 사용하여, 본 논문은 $CH_0(X)$가 표현 가능하고 $Alb(X)$가 자명하지 않을 경우,$X$의 알베네스 사상이 매끄러운 사영 곡선$C$로 인수(factor)된다는 것을 입증한다. 즉, $\phi: X \to C$인 지배적 사상이 존재하여 $Alb(X) \cong J(C)$가 성립한다.
2. 사상의 지수(Index of Morphisms): 보편적 0-사이클의 존재성은 사상 $\phi: X \to C$의 **지수(index)**와 연결된다. 지수는 $C$를 지배하는 $X$의 기약 부분 다양체들의 차수의 최대공약수로 정의된다. 본 논문은 만약 이 지수가 1이라면 보편적 0-사이클이 존재함을 증명한다.
3. 호지 이론과의 연결: 보편적 0-사이클의 부재는 $H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$ (토션 제외) 상의 특정 호지 클래스 $\gamma_X$가 대수적이지 않음과 동치임이 밝혀졌다. 이 클래스는 대각선(diagonal)의 Künneth 분해로부터 발생한다. 따라서 반례를 구성하려면 이 특정 클래스가 대수적이지 않은 다양체를 찾아야 하며, 이는 토션 제외 적분 호지 추측(integral Hodge conjecture modulo torsion)에 대한 반례를 제공하게 된다.
4. 반례 구축: 반례의 구축은 Benoist와 Ottem이 제공한 적분 호지 추측의 반례에 기초한다. 저자는 타원 곡선 $E$와 고정점 없는 반대칭 심플렉틱 인볼루션(antisymplectic involution) $g$를 가진 K3 곡면 $S$의 곱 $E \times S$의 몫으로서 3-폴(3-fold) $X$를 구성한다.

주요 기여 및 결과

• 정리 1.4 (주요 결과): 본 논문은 $CH_0(X)$는 표현 가능하지만, 보편적 0-사이클을 갖지 않는 매끄러운 사영 3-폴 $X$의 존재성을 증명한다. 이는 Colliot-Thélène의 질문에 대한 긍정적인 답변을 제공한다.

  • 구축: $X = (E \times S) / (t_\xi, g)$이며, 여기서 $E$는 차수가 2인 평행 이동 $t_\xi$를 갖는 타원 곡선이고, $S$는 고정점 없는 인볼루션 $g$를 갖는 K3 곡면이다. 이 몫은 엔리케스 곡면(Enriques surface) $\Sigma = S/g$와 타원 곡선 몫 $E_\xi = E/t_\xi$를 형성한다.
  • 표현성: 사상 $p_{E_\xi}: X \to E_\xi$는 $CH_0$ 상에서 동형 사상을 유도하여 표현성을 증명한다.
  • 보편적 0-사이클의 부재: 증명 과정은 만약 보편적 0-사이클이 존재한다면, 에탈ale 이중 피복(étale double covers)과 관련된 특정 코호몰로지 조건을 만족하는 대응(correspondence) $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$가 존재해야 함을 보여준다. 이 조건은 일반적인 파라미터 선택 하에서는 불가능함이 밝혀지며, 이는 비대수적 토션 곡선 클래스에 관한 Benoist와 Ottem의 결과에 의존한다.

• 명제 2.2: 본 논문은 알베네스 다양체가 어떤 곡선의 야코비안(Jacobian)의 직합(direct summand)인 경우, 보편적 0-사이클의 존재성과 $X \times X$ 상의 Künneth 투영사 $\delta_1$의 대수성 사이의 동치 관계를 확립한다. 이는 기하학적 성질을 $X$의 모티브 구조와 연결한다.

• 명제 2.7: 알베네스 사상이 지수가 1인 곡선 $C$를 통해 인수된다면 보편적 0-사이클이 존재함이 증명된다. 본 논문은 그 역은 성립하지 않음을 언급하며, 지수가 $d > 1$임에도 불구하고 여전히 보편적 0-사이클을 갖는 곡면의 예를 제시한다.

• 명제 3.5: 저자는 $[\Gamma]^*\beta \neq 0$인 대응 $\Gamma$를 허용하는 타원 곡선 $E$가 오직 가산 개(countably many) 존재한다는 Benoist와 Ottem의 결과를 짧은 증명과 완만한 일반화를 통해 제공한다. 이 기술적 보조정리는 주요 구축에서 요구되는 대응의 부재를 보장하는 데 결정적이다.

• 곡면 분석 (섹션 4): 본 논문은 $p_g=0$이고 $q \neq 0$인 곡면들을 조사한다. 이러한 곡면이 순환 군에 의한 곡선들의 곱의 몫인 경우, 알베네스 파이브레이션(fibration)의 지수가 1이며, 이는 보편적 0-사이클의 존재를 함의함을 보여준다. 이는 3-폴의 반례와 대조되며, 반례의 제한적인 성격을 강조한다.

의의 및 주장
본 논문은 $CH_0$의 표현성을 갖는 것이 보편적 0-사이클의 존재를 보장하지 않음을 보여줌으로써, 0-사이클의 기하학에 관한 특정 미해결 문제를 해결한다고 주장한다.

구축은 다양체 $X$가 적분 베티 코호몰로지(integral Betti cohomology)에 토션을 가지고 있다는 사실에 기초한다. 결과적으로, $X$에 대한 보편적 0-사이클의 부재는 4-폴 $Alb(X) \times X$ 상의 곡선 클래스(차수가 2인 호지 호몰로지 클래스)에 대한 적분 호지 추측(modulo torsion)에 대한 반례를 제공한다.

저자는 주요 정리의 가정들이 기하학적으로 "매우 제한적"이라고 언급하는데, 이는 $CH_0$의 표현성이 알베네스 다양체가 곡선의 야코비안과 동형이 되도록 강제하기 때문이다. 본 논문은 적분 베티 코로몰로지에 토션이 없는 사례를 구축하려는 것이 아님을 명시하며, 이를 향후의 과제로 남겨둔다. 본 연구는 표현성, 알베네스 사상의 구조, 그리고 적분 호지 추측 사이의 미묘한 차이를 명확히 하는 데 기여한다.