A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

이 논문은 복소수체 위의 매끄러운 사영 3-다양체에서 호지 추측의 반례를 제시하고, 0-사이클의 Chow 군이 표현 가능하지만 보편적 0-사이클이 존재하지 않는 2-차원 다양체를 구성함으로써 콜리-텔레네의 질문과 호지 추측에 대한 새로운 반례를 제시합니다.

핵심

이 논문은 수학, 특히 대수기하학이라는 매우 추상적인 분야에서 이루어진 흥미로운 발견을 다루고 있습니다. 전문 용어들이 많지만, 핵심 아이디어를 일상적인 비유와 함께 설명해 드리겠습니다.

1. 연구의 핵심 질문: "완벽한 지도"가 있는가?

이 논문의 주인공은 **기하학적 모양 (다양체)**입니다. 수학자들은 이 모양들 위에 있는 점들의 집합 (0-사이클) 을 연구합니다.

• 비유: imagine(상상해 보세요) 우리가 거대한 도시 (기하학적 모양) 에 살고 있다고 합시다. 이 도시에는 수많은 집 (점) 들이 있습니다.
• 문제: 이 도시의 모든 집들을 하나의 '중앙 관리소' (아르바네스 다양체, Alb(X)) 로 연결하는 완벽한 지도가 존재할까요?
  • 이 지도는 도시의 모든 집들을 중앙 관리소의 특정 위치와 정확히 1 대 1 로 매칭해 주는 역할을 합니다.
  • 수학자들은 이 '완벽한 지도'를 **보편적 0-사이클 (Universal 0-cycle)**이라고 부릅니다.

과거의 연구들은 "이런 완벽한 지도는 항상 존재할까?"라는 질문을 던졌습니다.

• 1 차원 (곡선): 네, 항상 존재합니다. (도시가 일렬로 늘어선 길이라면 지도를 그리기 쉽습니다.)
• 3 차원 이상: 아니요, 존재하지 않는 경우가 있다는 것이 최근 발견되었습니다.

그런데, 2 차원 (표면) 은 어떨까요?
이 논문은 바로 이 2 차원 표면에 대해 의문을 제기합니다. "표면은 1 차원보다 복잡하지만 3 차원보다는 단순할 텐데, 여기서도 완벽한 지도가 없는 경우가 있을까?"

2. 발견된 사실: "지도는 있지만, 완벽하지는 않다"

저자 (테오도시스 알렉산드로우) 는 놀라운 결과를 찾아냈습니다.

• 결과: "네, 완벽한 지도가 없는 2 차원 표면이 존재합니다."
• 조건: 이 표면은 아주 특별한 성질 (CH0 군이 표현 가능함) 을 가지고 있어서, 점들의 집합을 관리하는 데는 문제가 없어 보이지만, 정작 '중앙 관리소'와 1 대 1 로 연결하는 **완벽한 매칭 (보편적 0-사이클)**은 불가능한 것입니다.

일상적인 비유:

imagine(상상해 보세요) 어떤 마을이 있습니다. 이 마을의 모든 가구를 분류하고 관리하는 시스템은 아주 잘 작동합니다 (표현 가능). 하지만, 마을의 모든 가구를 '중앙 시청'의 특정 좌석에 정확히 앉히는 **의자 배정표 (완벽한 지도)**를 만들려고 하면, 몇몇 가구들은 어디에 앉혀야 할지 모호해지거나, 의자가 부족해지는 문제가 발생합니다.

이 논문은 **"의자 배정표가 존재하지 않는, 하지만 관리 시스템은 완벽한 2 차원 마을"**을 찾아낸 것입니다.

3. 어떻게 증명했을까? (시간 여행을 이용한 실험)

이런 이상한 마을을 직접 찾아내는 것은 매우 어렵습니다. 그래서 저자는 **'변형 (Degeneration)'**이라는 기법을 사용했습니다.

• 비유: 우리가 원형의 구슬 (완벽한 표면) 을 가지고 있다고 칩시다. 이 구슬을 아주 천천히 녹여서, 구슬이 깨져서 여러 개의 조각 (비행기 날개 모양의 표면들) 이 이어진 상태로 변하게 만듭니다.
• 과정:
  1. 저자는 아주 특별한 **타입 2 의 타원 곡면 (Bielliptic surface)**을 선택했습니다.
  2. 이 표면을 마치 녹이는 것처럼 변형시켜, 두 개의 원통형 표면이 서로 연결된 형태로 변하게 만들었습니다.
  3. 이때 중요한 점은, 이 연결된 두 조각이 서로 다른 '이중 덮개' 구조를 가지고 있다는 것입니다.
  4. 수학적으로 계산해 보니, 이 두 조각을 합쳐서 원래의 '중앙 관리소'로 연결하려고 하면, **수학적 장벽 (Section 이 없음)**에 부딪힙니다.
  5. 이 장벽은 원래의 표면 (녹기 전) 에도 존재한다는 것을 의미합니다. 즉, 원래 표면에도 완벽한 지도가 없다는 뜻입니다.

4. 더 큰 의미: "수학의 법칙을 깨는 새로운 예시"

이 발견은 단순히 2 차원 표면에 대한 이야기로 끝나는 것이 아닙니다.

• 호지 추측 (Hodge Conjecture) 의 반례:
  수학에는 "모든 기하학적 모양은 다항식으로 설명할 수 있다"라는 유명한 가설 (호지 추측) 이 있습니다. 하지만 정수 (Integer) 를 사용할 때는 이 가설이 깨질 수 있다는 것이 알려져 있었습니다.
• 이 논문의 공헌:
  이전까지 알려진 반례들은 '꼬임 (Torsion)'이라는 아주 작은 오류 때문에 발생했습니다. 하지만 이 논명은 **꼬임이 전혀 없는, 진짜로 큰 오류 (Non-torsion)**를 가진 3 차원 물체 (2 차원 표면 × 타원 곡선) 를 만들어냈습니다.
  • 비유: 이전에는 "계산기 오차" 때문에 지도가 틀렸다고 했지만, 이번에는 "지도 자체가 존재하지 않는 근본적인 문제"를 발견한 것입니다.

요약

1. 질문: 2 차원 표면에서도 '점들을 중앙에 완벽하게 연결하는 지도'가 없는 경우가 있을까?
2. 답변: 네, 있습니다. 저자는 특수한 조건을 가진 2 차원 표면을 찾아냈습니다.
3. 방법: 표면을 변형시켜 (녹여서) 그 내부 구조의 모순을 드러내는 수학적 실험을 수행했습니다.
4. 의미: 이는 2 차원 세계에서도 3 차원처럼 복잡한 현상이 일어날 수 있음을 보여주며, 수학의 거대한 가설 (호지 추측) 이 정수 영역에서 어떻게 깨지는지에 대한 새로운 단서를 제공합니다.

이 논문은 수학자들이 "완벽해 보이는 시스템 안에서도 숨겨진 불완전함"을 찾아내는 과정의 아름다움을 보여줍니다.

기술 요약

이 논문은 Theodosis Alexandrou에 의해 작성된 것으로, 매끄러운 사영 복소 다양체 (smooth projective complex variety) 에서 **보편적 0-사이클 (universal 0-cycle)**의 존재성에 대한 새로운 장애물을 제시하고, 이를 적용하여 **표현 가능한 0-사이클 군 (representable CH0-group)**을 가지지만 보편적 0-사이클을 갖지 않는 **2 차원 사영 곡면 (surface)**을 구성합니다. 또한 이 결과를 통해 **적분 호지 추측 (integral Hodge conjecture)**의 반례를 3 차원 다양체에서 제시합니다.

다음은 논문의 기술적 요약입니다.

---

1. 연구 배경 및 문제 제기

• 보편적 0-사이클 (Universal 0-cycle):
  • 다양체 $X$의 아벨 - 야코비 사상 (Abel-Jacobi map) $\alpha_X: CH_0(X)_{hom} \to Alb(X)$이 주어졌을 때, $Alb(X) \times X$ 위의 차수 $d$인 사이클 $[\Gamma]$가 존재하여, $Alb(X)$ 위의 항등사상 $Id_{Alb(X)}$을 유도하는 경우를 말합니다.
  • 곡선 (curve) 의 경우 피카르 다양체 (Poincaré divisor) 를 통해 항상 존재하지만, Voisin 은 2 차원 이상에서는 이러한 보편적 0-사이클이 존재하지 않는 다양체가 있음을 보였습니다.
• Colliot-Thélène 의 질문:
  • $X$의 0-사이클 군 $CH_0(X)$가 **표현 가능 (representable)**할 때 (즉, $\alpha_X$가 동형사상일 때), 보편적 0-사이클이 존재하는가?
  • Voisin 은 3 차원 다양체 (threefold) 에 대해 이 질문에 대한 반례를 제시했습니다.
• 주요 질문 (Question 1.2):
  • **2 차원 곡면 (surface)**의 경우, $CH_0(S)$가 표현 가능하지만 보편적 0-사이클이 존재하지 않는 예가 존재하는가?
  • Totaro 가 제기한 이 질문에 대한 답을 찾는 것이 본 논문의 핵심 목표입니다.

2. 주요 결과 (Main Results)

Theorem 1.3 (2 차원 반례의 존재)

• 조건: $E$를 복소수체 위의 타원곡선으로, $\text{End}(E) \cong \mathbb{Z}$이거나, 특정 Heegner 수 ($c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$) 에 대한 허수 이차체 $\mathbb{Q}(\sqrt{-c})$의 최대 순서 (maximal order) 에 의해 복소수 곱 (complex multiplication) 을 갖는 경우.
• 결과: 위 조건을 만족하는 타원곡선 $E$에 대해, $Alb(S) \cong E$인 매끄러운 사영 곡면 $S$가 존재하며, 다음을 만족합니다.
  1. $S$의 0-사이클 군 $CH_0(S)$는 표현 가능합니다.
  2. $S$는 보편적 0-사이클을 갖지 않습니다.
• 의의: Voisin 의 3 차원 반례를 2 차원으로 확장한 첫 번째 예시입니다.

Corollary 1.5 (적분 호지 추측의 반례)

• 위와 같은 타원곡선 $E$와 곡면 $S$에 대해, 3 차원 다양체 $X = E \times S$를 고려합니다.
• 결과: $X$는 **1-사이클에 대한 적분 호지 추측 (integral Hodge conjecture for 1-cycles)**이 실패하는 3 차원 다양체입니다.
• 특징: Benoist 와 Ottem 의 기존 반례가 4 차 코호몰로지의 **비자명 (non-torsion)**한 호지 클래스를 제공한 것과 달리, 이 논문은 **비자명 (non-torsion)**인 정수 계수 호지 클래스를 제공하며, 이는 대수적이지 않습니다.

3. 방법론 및 구성 (Methodology)

A. 보편적 0-사이클 존재에 대한 장애물 (Obstruction)

• Theorem 3.1 (핵심 정리):
  • $X \to \Delta$를 평탄한 사영 사상 (flat projective morphism) 으로, 특수 섬유 (special fibre) $X_0$가 단순 교차 (simple normal crossings) 를 이루며, 그 듀얼 그래프가 사슬 (chain) 형태인 경우를 가정합니다.
  • 만약 일반 섬유 (generic fibre) $X_K$가 보편적 0-사이클을 가진다면, 특수 섬유의 각 성분 $X_{0i}$에서 유도된 아벨 다양체들의 합 사상 (sum morphism) $\sum Alb(X_{0i}) \to Alb(C)$가 **단면 (section)**을 가져야 합니다.
  • 즉, 이 합 사상이 단면을 갖지 않는다면, $X_K$는 보편적 0-사이클을 가질 수 없습니다.

B. 타원곡면 (Bielliptic Surface) 의 퇴화 (Degeneration)

• Theorem 4.1 (구축):
  • Type 2 의 **타원곡면 (bielliptic surface)**을 퇴화시켜 특수 섬유가 두 개의 성분 ($R_1, R_2$) 으로 이루어진 사슬 형태가 되도록 구성합니다.
  • 각 성분 $R_i$는 타원곡선 $E$의 2 차 덮개 (étale double cover) $E_i \to E$ 위에 정의된 최소 규칙 곡면 (minimal ruled surface) 입니다.
  • 핵심 계산: 두 성분에서 유도된 합 사상 $Alb(R_1) \times Alb(R_2) \to E$가 단면을 갖지 않음을 증명합니다.
    • $E$의 자기 동형군 (Endomorphism ring) 이 $\mathbb{Z}$이거나 PID 인 경우, 2-토션 (2-torsion) 구조와 자기 동형 사상의 성질을 이용해 단면의 존재를 모순으로 이끌어냅니다.
    • 특히 $c=-7$인 경우 (Stark-Heegner 정리에 의해 PID 이지만, 특정 조건에서 단면이 존재할 수 있음) 를 제외하고, 나머지 Heegner 수에 대해서는 단면이 존재하지 않음을 보입니다.

C. 증명 전략

1. Theorem 1.4: 위에서 언급한 퇴화 (degeneration) 가 존재함을 증명하고, 특수 섬유에서의 합 사상이 단면을 갖지 않음을 보입니다.
2. Theorem 5.1: Corollary 3.2 를 적용하여, 만약 일반 섬유가 보편적 0-사이클을 가진다면 특수 섬유에서 단면이 존재해야 한다는 모순을 유도합니다.
3. Theorem 1.3: 위 논리를 바탕으로 $C$ 위에서 정의된 곡면 $S$를 구성하고, 이것이 보편적 0-사이클이 없음을 결론지읍니다.

4. 기술적 세부 사항 및 통찰

• 타원곡면 (Bielliptic Surfaces) 의 분류:
  • Bagnera-De Franchis 분류에 따르면, 타원곡면은 7 가지 유형으로 나뉩니다.
  • Voisin 의 이전 연구에 따르면, 아벨 사상 (Albanese morphism) 의 **지수 (index)**가 1 이면 보편적 0-사이클이 존재합니다.
  • 본 논문은 Type 2 (지수가 2 인 경우) 를 대상으로 하여, 지수가 1 이 아닌 경우에도 보편적 0-사이클이 존재하지 않을 수 있음을 보였습니다.
• 퇴화 전략의 차이:
  • Benoist-Ottem 의 반례는 타원곡선 $E$를 퇴화시키는 방식이었습니다.
  • 본 논문은 곡면 $S$ 자체를 퇴화시키는 방식을 취했습니다. 이는 Schreieder 와 저자의 최근 연구 흐름을 따릅니다.
• 적분 호지 추측과의 연결:
  • 보편적 0-사이클의 부재는 $H^{2d}(Alb(X) \times X, \mathbb{Z})$의 특정 호지 클래스가 대수적 사이클로 표현되지 않음을 의미합니다 (Lemma 5.4).
  • 이를 통해 $E \times S$에서 4 차 (degree 4) 의 비자명 비대수적 호지 클래스를 명시적으로 구성했습니다.

5. 결론 및 의의

• 2 차원에서의 반례 확립: Totaro 가 제기한 "표현 가능한 0-사이클 군을 갖는 곡면이 보편적 0-사이클을 갖는가?"라는 질문에 대해 **부정 (No)**으로 답했습니다.
• 새로운 장애물 제시: 아벨 다양체 간의 합 사상이 단면을 갖지 않는지 여부를 통해 보편적 0-사이클의 존재를 판별하는 강력한 기하학적 장애물을 제시했습니다.
• 호지 추측 연구의 발전: 3 차원 다양체에서 적분 호지 추측이 실패하는 새로운 사례를 제공하며, 특히 **비자명 (non-torsion)**인 반례를 구성함으로써 기존 연구와 차별화되었습니다.
• 구체성: Heegner 수와 관련된 구체적인 타원곡선과 Type 2 타원곡면을 명시적으로 언급하여, 추상적인 존재 증명뿐만 아니라 구체적인 예시를 제시했습니다.

이 논문은 대수기하학, 특히 사이클 이론 (cycle theory) 과 호지 이론 (Hodge theory) 의 교차점에서 중요한 진전을 이루었으며, 고차원 다양체의 구조와 0-사이클의 성질에 대한 이해를 심화시켰습니다.