The tangent space to the space of 0-cycles

기술적 요약: 0-사이클 공간의 접공간 (The Tangent Space to the Space of 0-Cycles)

문제 정의
본 논문은 대수 다양체 $X$ 상의 0-사이클 공간의 기하학적 구조를 이해하는 데 있어 근본적인 간극을 다룬다. 0-사이클의 유리 동치(rational equivalence)가 "0-사이클 공간" 상의 점들의 유리 연결성(rational connectedness)에 대응한다는 것은 직관적으로 이해되어 왔으나, 이 대상(구체적으로는 무한 대칭 거듭제곱 $\text{Sym}^\infty(X/S)^+$의 군 완비화)은 고전적인 의미에서의 다양체나 스킴이 아니다. 이는 적절한 위상에서의 층(sheaf)으로만 존재한다. 따라서, 대상이 스킴이나 잘 정의된 국소 구조를 가진 스택(stack)임을 전제로 하는 표준적인 변형 이론(deformation theory)과 접공간의 정의를 직접적으로 적용할 수 없다. 본 논문은 주어진 점 $P$에서 이 층론적 대상의 접공간을 엄밀하게 구축함으로써, 0-사이클 공간 상의 유리 곡선(rational curves)을 연구하기 위한 기술적 토대를 제공하고자 한다.

방법론
저자는 $\text{Sym}^\infty(X/S)^+$를 기하학적 대상으로 취급하기 위해 **국소 링 대상 사이트(locally ringed sites)**의 프레임워크를 채택한다. 방법론은 다음 단계로 진행된다:

1. 기하학적 프레임워크: 저자는 "기하학적 대상"을 밑공간 $S$ 위의 국소 노테르(Noetherian) 스킴들의 니스네비치 사이트(Nisnevich site) 상의 집합값 층(set-valued sheaf)이자, **어틀라스(atlas)**를 갖춘 것으로 정의한다. 어틀라스란 층으로의 모피즘들의 모임으로서, 그 합집합이 유효 단사(effective epimorphism)인 것을 의미한다.
2. 사이트의 구축: 어틀라스를 가진 층 $X$에 대하여, 저자는 니스네비치-에탈 사이트(Nisnevich-étale site) $X_{\text{Nis-\'et}}$를 구축한다. 이 사이트의 대상들은 어틀라스에 대해 에탈(étale)인 스킴들로부터 $X$로의 모피즘들이다.
3. 국소 링 구조: 점 $P$(층으로부터의 필드 스펙트럼으로부터의 모피즘)에서의 스탈크 펑터(stalk functor)를 정의함으로써, 저자는 에탈 근방(étale neighborhoods)의 범주가 **코필터링(cofiltered)**될 경우, 이 사이트가 국소 링 사이트가 됨을 확립한다. 이를 통해 구조 층 $\mathcal{O}_X$, 카러 미분 형식의 층 $\Omega^1_{X/S}$, 그리고 접 층(tangent sheaf) $T_{X/S}$를 정의할 수 있다.
4. 0-사이클을 위한 구체적 구축: 본 논문은 상대적 0-사이클의 공간을 무한 대칭 거듭제곱 모노이드의 군 완비화인 $\text{Sym}^\infty(X/S)^+$로 식별한다. 저자는 대칭 거듭제곱의 자연스러운 유도 구조와 힐베르트-초(Hilbert-Chow) 모피즘으로부터 유도된, 초우(Chow) 어틀라스라고 불리는 특정한 어틀라스를 구축한다.
5. 코필터링 증명: 핵심적인 기술적 노력은 임의의 점 $P$에 대한 에탈 근방 $N_P$의 범주가 코필터링됨을 증명하는 것이다. 이는 에탈 근방의 파이버 곱(fiber product)의 표현 가능성(representability)을 분석하고, 초우 어틀라스 및 기저가 되는 대칭 거듭제곱의 성질을 활용함으로써 달성된다.

주요 기여 및 결과

• 접공간의 정의: 본 논문은 점 $P$에서의 접공간 $T_{\text{Sym}^\infty(X/S)^+}(P)$를 접 층의 스탈크와 잔여 필드 $\kappa(P)$의 텐서 곱으로 성공적으로 정의하였다. 이는 $\text{Sym}^\infty(X/S)^+$의 군 완비화에 대한 최초의 엄밀한 접공간 구축이다.
• 주요 정리: 핵심 결과는 정리 6으로, 국소 노테르 스킴 $X$가 $S$ 위에서 (대칭 거듭제곱이 존재하고 구조적 모피즘이 섹션을 갖는 경우), 0-사이클 공간 $\text{Sym}^\infty(X/S)^+$의 임의의 점 $P$에 대한 에탈 근방 $N_P$의 범주는 코필터링되어 있다는 것이다.
• 접근 방식의 비교: 본 논문은 상대적 0-사이클의 서로 다른 구축들 사이의 관계를 명확히 한다:
  • Rydh의 접근법: 분할 거듭제곱(divided powers) $\Gamma_d(X/S)$를 사용한다.
  • Suslin-Voevodsky 및 Kollár의 접근법: 뚱뚱한 점(fat points)과 풀백(pullback)을 통해 정의된 사이클을 사용한다.
  • 저자는 (순수 표수 0 또는 $X$가 $S$ 위에서 평평하고 $S$가 세미노테르(seminormal)인 경우) \text{Sym}^\iff(X/S)^+가 세미노테르 스킴들로 제한되었을 때 Suslin-Voevodsky와 Kollár가 구축한 상대적 0-사이클 층들과 동형임을 증명한다.
• 유리 연결성과 유리 동치: 본 논문은 0-사이클 공간의 기하학과 고전적 대수 기하학 사이의 정밀한 연결 고리를 확립한다. 두 점 $P$와 $Q$가 $\text{Sym}^\infty(X/S)^+$ 상에서 유리 연결되어 있다면(즉, 유리 곡선의 사슬을 통해), 이는 $X$ 상의 대응하는 0-사이클들이 유리 동치임을 의미한다.
• 리 군론(Lie Theory)의 잠재력: $\text{Sym}^\infty(X/S)^+$는 아벨 군 대상(abelian group object)이므로, 모든 점에서의 접공간 존재는 이 공간에 대한 리 이론이 전개될 수 있음을 시사한다. 즉, 모든 접공간은 항등원(영 사이클)에서의 접공간과 동형이다.

의의 및 주장
본 논문은 0-사이클 공간의 유리 곡선에 대한 변형 이론을 위한 필요한 "기술적 토대"를 제공한다고 주장한다. 접 공간의 존재와 국소 링 사이트 구조를 확립함으로써, 저자는 Kollár가 다양체의 유리 연결성을 증명하기 위해 사용했던 기법들(예: 유리 곡선을 따라 접 층의 풀백의 양의 성질을 분석하는 것)을 적용할 수 있게 한다.

저자는 접 층이 구축되었으나, 이것이 국소 자유(locally free)인지 혹은 유리 곡선으로의 풀백이 표준적인 방식대로 세르 트위스트(Serre twists)로 분해되는지는 아직 알려지지 않았음을 명시적으로 언급한다. 그러나 본 논문은 접공간 자체의 구축이 그러한 조사를 위한 전제 조건임을 주장한다. 이 연구의 목적은 0-사이클의 연구를 순수한 대수적 동치 관계로부터 특정 "공간"(니스네비치 층)에 대한 기하학적 분석으로 이동시키는 것이며, 이는 Green과 Griffiths의 철학에 부합하면서도 0-사이클 공간에 결여되었던 "존재론(ontology)"을 제공하는 것이다.

본 논문은 Bloch의 추측을 증명하거나 특정 다양성에 대해 0-사이클 공간이 유리 연결되어 있음을 입증한다고 주장하지 않는다. 대신, 변형 이론을 사용하여 그러한 질문들을 공식화하고 잠재적으로 공격할 수 있게 해주는 도구들(접공간과 국소 링 사이트 구조)을 제공한다.