Representability of codimension three cycles

논문 요약: 코디멘션 3 사이클의 표현 가능성

1. 연구 배경 및 문제 제기 (Problem)

• 주요 주제: 대수기하학에서 차원 $p$인 사이클의 유리 동치 (rational equivalence) 를 modulo 한 Chow 군 $CH^p(X)$의 부분군인 대수적으로 자명한 사이클 군 $CH^p(X)_{alg}$ (또는 $A^p(X)$) 의 표현 가능성 (Representability) 문제를 다룹니다.
• 기존 연구:
  • Mumford 는 $p=2$인 경우 (곡면의 0-사이클), 기하학적 종수 (geometric genus) 가 0 이 아닌 곡면에서 $A^2(S)$가 표현 불가능함을 증명했습니다.
  • Voisin 등은 0-사이클 ($p=n$, $n$은 다양체의 차원) 에 대한 표현 가능성과 '유한 차원성 (finite dimensionality)'의 관계를 규명했습니다.
• 새로운 문제: 본 논문은 **4 차원 다양체 (fourfold, $X$) 위의 코디멘션 3 사이클 ($A^3(X)$)**에 초점을 맞춥니다.
  • 기존 0-사이클에 대한 표현 가능성 정의 (곡선 $C$와 대응관계 $\Gamma$를 통한 $J(C)$의 전사성) 를 4 차원 다양체의 코디멘션 3 사이클에 적용할 수 있는가?
  • 특히, 2 차원까지의 약한 표현 가능성 (weak representability up to dimension two) 개념을 도입하고, 이것이 4 차원 다양체의 유리성 (rationality) 판별에 어떤 의미를 가지는지 탐구합니다.

2. 주요 정의 및 방법론 (Methodology)

가. 2 차원까지의 약한 표현 가능성 (Weak Representability up to Dimension Two)

• $A^p(X)$가 2 차원까지 표현 가능하다는 것은, 유한 개의 곡선 $C_i$와 곡면 $S_j$가 존재하여, 각각에 대한 대응관계 (correspondence) $\Gamma_i, \Gamma'_j$를 통해 다음 합성 사상이 전사 (surjective) 임을 의미합니다:
  $$\bigoplus_i A^1(C_i) \oplus \bigoplus_j A^2(S_j) \xrightarrow{\sum \Gamma} A^p(X)$$
• 이는 $A^p(X)$가 곡선과 곡면의 Chow 군으로부터 생성될 수 있음을 뜻합니다.

나. Chow 다양체를 통한 유한 차원성 (Finite Dimensionality via Chow Varieties)

• Chow 다양체 $C^p_d(X)$: 차수 $d$인 코디멘션 $p$ 사이클을 매개변수화하는 다양체.
• 사상 $\theta^p_d$: $C^p_d(X) \times C^p_d(X) \to A^p(X)$, $(Z_1, Z_2) \mapsto [Z_1 - Z_2]$.
• 정의: $A^p(X)$가 2 차원까지 유한 차원 (finite dimensional up to dimension two) 이라는 것은, 어떤 $g > 1$에 대해 $\bigcup_d \text{im}(\theta^p_{gd})$가 $A^p(X)$를 덮을 때, 그 이미지 차원이 유한하게 유지되는 성질을 말합니다.

다. 핵심 도구: Roitman-Voisin 접근법

• Roitman 과 Voisin 의 0-사이클에 대한 논증을 4 차원 다양체의 코디멘션 3 사이클로 확장합니다.
• Mumford-Roitman 논증: Chow 다양체 곱에서 $A^p(X)$로의 사상의 섬유 (fiber) 가 가산 개의 Zariski 닫힌 집합의 합집합임을 이용합니다.
• Baire 범주 정리 (Baire Category Theorem): 비가산체 (복소수체) 위에서 가산 개의 진부분 다양체의 합집합으로 전체를 덮을 수 없다는 사실을 활용하여, 특정 차수의 사상이 전사성을 가짐을 증명합니다.

3. 주요 결과 및 정리 (Key Results)

정리 1.2 (주요 정리):

• 가정:
  1. $X$의 코디멘션 $p$ 사이클이 선형 부분공간 (linear subspaces) 에 의해 생성됨 (즉, Fano 다양체 $F(X)$의 0-사이클에서 $A^p(X)$로 가는 Abel-Jacobi 사상이 전사).
  2. $A^p(X)$가 Chow 다양체 곱의 적절한 가산 합집합을 통해 전사됨 (유한 차원성 조건).
• 결론: 매끄러운 사영 곡면 $S$와 대응관계 $\Gamma \subset S \times X$가 존재하여, $\Gamma^*: A^2(S) \to A^p(X)$가 전사입니다.
• 의미: $A^p(X)$의 표현 가능성이 곡선뿐만 아니라 곡면을 통해서도 달성될 수 있음을 보였습니다. 여기서 $S$는 $X$의 $p$-차원 선형 부분공간 Fano 다양체의 초평면 절단 (hyperplane section) 으로 얻어집니다.

정리 2.1 (불변성):

• 4 차원 다양체 $X$에서 $A^3(X)$의 2 차원까지 표현 가능성은 **유리 불변량 (birational invariant)**입니다.
• 증명 논리: $X$를 곡면이나 곡선을 중심으로 블로우업 (blow-up) 하면 $A^3(\tilde{X})$는 $A^3(X)$와 $A^2(S)$ (또는 $A^1(C)$) 의 직합으로 분해됩니다. $A^2(S)$와 $A^1(C)$는 이미 2 차원까지 표현 가능하므로, 전체적인 표현 가능성은 불변합니다.
• 응용: 만약 $A^3(X)$가 2 차원까지 표현 불가능하다면, $X$는 유리 (rational) 할 수 없습니다. 이는 4 차원 unirational 다양체의 비유리성 (non-rationality) 을 판별하는 새로운 불변량을 제공합니다.

정리 2.7 (동치성):

• $X$가 매끄러운 사영 4 차원 다양체이고, 대수적 동치와 호몰로지 동치가 일치한다고 가정할 때, $A^3(X)$가 2 차원까지 표현 가능할 필요충분조건은 2 차원까지 유한 차원인 것입니다.
• 이는 Voisin 의 0-사이클에 대한 결과를 코디멘션 3 사이클로 성공적으로 일반화한 것입니다.

정리 2.6 (유한 차원성과 유한 차원성):

• 선형 부분공간에 의해 생성되는 경우, 2 차원까지의 유한 차원성과 일반적인 유한 차원성 (finite dimension) 이 동치임을 증명합니다.

4. 논증의 핵심 단계 (Key Technical Steps)

1. Fano 다양체 활용: $X$의 코디멘션 $p$ 선형 부분공간들의 Fano 다양체 $F(X)$를 도입합니다. $A^p(X)$는 $A^0(F(X))$ (즉, $F(X)$의 0-사이클) 에 의해 지배됩니다.
2. 초평면 절단 (Hyperplane Sections): $F(X)$를 매끄러운 곡면 $S$나 곡선 $C$로 줄여가는 과정을 거칩니다.
   • $F(X)$의 0-사이클이 고차원 초평면 절단 (곡면 $Y_t$) 의 0-사이클로 생성됨을 보입니다.
   • Lemma 2.8 을 통해, 충분히 높은 차수의 사이클이 Fano 다양체의 임의의 ample 초평면 절단과 교차함을 증명합니다.
3. 차원 분석: Fiber 의 차원 분석을 통해, $A^3(X)$가 곡면 $S$의 $A^2(S)$로부터 전사적으로 생성될 수 있음을 유도합니다.

5. 의의 및 기여 (Significance)

• 이론적 확장: Mumford-Roitman-Voisin 의 0-사이클에 대한 표현 가능성 이론을 **코디멘션 3 사이클 (4 차원 다양체)**로 확장한 최초의 체계적인 시도 중 하나입니다.
• 새로운 불변량: 4 차원 unirational 다양체의 비유리성을 판별하기 위한 새로운 유리 불변량 (birational invariant) 을 제시했습니다. 기존에는 0-사이클의 표현 불가능성이 주요 도구였으나, 이제는 $A^3(X)$의 표현 불가능성이 비유리성의 강력한 지표가 될 수 있음을 보였습니다.
• 구체적 적용: Fano 4 차원 다양체 중 $A^3(X)$가 유리 곡선의 차이로 생성되는 경우, $A^3(X)$가 2 차원까지 표현 가능함을 보임으로써, 이러한 다양체들이 유리성 판별에서 어떻게 작용하는지 설명했습니다.

결론적으로, 이 논문은 고차원 대수기하학에서 사이클의 표현 가능성 문제를 곡선과 곡면의 관점에서 재정의하고, 이를 통해 4 차원 다양체의 기하학적 구조 (특히 유리성) 를 이해하는 새로운 틀을 마련했습니다.