[논문 리뷰] Infinitesimal Theory of Chow Groups via K-theory, Cyclic Homology and the Relative Chern Character

Benjamin F. Dribus, J. William Hoffman외 1명|arXiv (Cornell University)|2015. 01. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 3

한 줄 요약

이 논문은 비연결 K-이론, 음의 순환 호모로지, 상대 코흐 특성자를 사용하여 초미세 이론의 형식적 프레임워크를 수립함으로써 대수기하학에서 오랫동안 남아있던 문제를 해결한다. 이는 블로크-거르스텐-奎倫 분해의 초미세 두른에서의 접선 시퀀스가 미분형식의 코homology와 정확히 일치함을 증명하며, 블로크의 공식을 고차원 차원으로 일반화하고 그린과 그리피스의 기하적 접근법에 대한 엄밀한 기초를 제공한다.

ABSTRACT

We examine the tangent groups at the identity, and more generally the formal completions at the identity, of the Chow groups of algebraic cycles on a nonsingular quasiprojective algebraic variety over a field of characteristic zero. We settle a question recently raised by Mark Green and Phillip Griffiths concerning the existence of Bloch-Gersten-Quillen-type resolutions of algebraic K-theory sheaves on infinitesimal thickenings of nonsingular varieties, and the relationships between these sequences and their "tangent sequences," expressed in terms of absolute Kähler differentials. More generally, we place Green and Griffiths' concrete geometric approach to the infinitesimal theory of Chow groups in a natural and formally rigorous structural context, expressed in terms of nonconnective K-theory, negative cyclic homology, and the relative algebraic Chern character

연구 동기 및 목표

• 초미세 초월군 이론에 대한 형식적이고 엄밀한 구조적 맥락, 특히 항등원에서의 접선군을 제공하기 위해.
• 그린과 그리피스가 제기한 초미세 두른에서의 블로크-거르스텐-奎倫 유형 분해의 존재성 문제를 해결하기 위해.
• 음의 순환 호모로지와 상대 코흐 특성을 통해 K-이론 층의 접선 시퀀스와 절대 칼라비-다이어퍼렌셜의 코homology 사이의 정확한 관계를 수립하기 위해.
• 비연결 K-이론과 국소 코hom로 $ TCH^2(X) $의 블로크 공식을 고차원으로 일반화하기 위해.

제안 방법

• 저자들은 초미세 두른 $ X[\varepsilon] = X \times_{\text{Spec}(k)} \text{Spec}(k[\varepsilon]/(\varepsilon^{j+1})) $ 에서 대수적 K-이론의 초미세 구조를 모델링하기 위해 Bass-Thomason 비연결 K-이론을 사용한다.
• Weibel의 음의 순환 호모로지와 상대 대수적 코흐 특성을 사용하여 K-이론을 미분형식, 특히 $ \Omega^{\bullet}_{O_{X}/\mathbb{Q}} $ 와 연결한다.
• 핵심 기술 도구로는 국소 코hom로 $ \mathbb{H}^{-m}_{y}(HN(O_{X,y}[\varepsilon], \varepsilon)) $ 와 미분형식의 코homology $ H^j_y(\Omega^{\bullet}_{O_{X,y}/\mathbb{Q}}) $ 를 연결하는 스펙트럴 시퀀스이다.
• 논문은 $ K^{(i)}_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) $, $ \Omega^{\bullet,(i)}_{O_{X,y}/\mathbb{Q}} $, 그리고 그들의 코homology를 연결하는 분할 정확시퀀스의 교차도를 구성한다.
• 특정 깊이 조건 $ \Omega^n_{O_{X,y}/\mathbb{Q}} $ 을 사용하여 비영인 코homology를 $ H^j_y $ 로 제한함으로써 $ H^j_y(\Omega^{\bullet}_{O_{X,y}/\mathbb{Q}}) $ 와 $ HN_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) $ 의 식별이 가능함을 보장한다.
• 상대 코흐 특성을 사용하여 $ X[\varepsilon] $ 에서의 K-이론 군과 미분형식을 연결함으로써 $ K_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) \cong H^j_y(\Omega^{\bullet}_{O_{X,y}/\mathbb{Q}}) $ 의 동형을 수립한다.

실험 결과

연구 질문

• RQ1 매끄러운 다양체 $ X $ 의 초미세 두른 $ X_j $ 에서 블로크-거르스텐-奎倫 유형 분해가 존재하는가? 이때 첫 번째 사상의 핵이 원래 분해의 접선 시퀀스와 일치하는가?
• RQ2 2보다 큰 $ p $ 에 대해 접선군 $ TCH^p(X) $ 가 미분형식의 코homology 로 기술될 수 있는가? 이는 블로크의 공식을 일반화하는가?
• RQ3 상대 대수적 코흐 특성과 음의 순환 호모로지의 상호작용은 어떻게 $ X[\varepsilon] $ 에서의 대수적 K-이론의 초미세 구조를 모델링하는가?
• RQ4 국소 코hom로 상대 음의 순환 복합체와 다양체 $ X $ 의 미분형식 코homology 사이에 자연스러운 식별이 존재하는가?
• RQ5 형식적 완비화된 초월군이 비연결 K-이론과 상대 코흐 특성을 통해 기술될 수 있는가?

주요 결과

• 논문은 $ K_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) \cong H^j_y(\Omega^{\bullet}_{O_{X,y}/\mathbb{Q}}) $ 를 수립하며, 여기서 $ \Omega^{\bullet}_{O_{X,y}/\mathbb{Q}} = \Omega^{m+j-1}_{O_{X,y}/\mathbb{Q}} \oplus \Omega^{m+j-3}_{O_{X,y}/\mathbb{Q}} \oplus \cdots $ 이다. 이는 $ y \in X^{(j)} $ 에서의 접선 K-이론에 대한 코homological 기술을 제공한다.
• 각 $ i $ 에 대해 군 $ K^{(i)}_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) $ 는 $ H^j_y(\Omega^{\bullet,(i)}_{O_{X,y}/\mathbb{Q}}) $ 와 동형이며, 여기서 $ \Omega^{\bullet,(i)}_{O_{X,y}/\mathbb{Q}} $ 는 $ \frac{m+j}{2} < i \leq m+j $ 에서만 비영이 되며, 그 범위 내에서 $ \Omega^{2i - (m+j) - 1}_{O_{X,y}/\mathbb{Q}} $ 가 존재한다.
• 상대 코흐 특성은 $ K^{(i)}_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) $, $ \Omega^{\bullet,(i)}_{O_{X,y}/\mathbb{Q}} $, 그리고 그들의 코homology 를 연결하는 분할 정확시퀀스의 교차도를 유도하며, 코흐 특성이 $ K^{(i)}_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) \to \Omega^{\bullet,(i)}_{O_{X,y}/\mathbb{Q}} $ 를 매핑한다.
• 블로크-거르스텐-奎倫 분해 $ \mathcal{G}_0 $ 의 접선 시퀀스 $ \underline{\underline{T}}\mathcal{G}_0 $ 는 $ \Omega^1_{X/\mathbb{Z}} $ 의 쿠사인 분해와 일치함을 확인하여, 그린과 그리피스의 기하적 직관을 확인한다.
• 이 구성은 $ X_1 $ 에서 $ \mathcal{G}_1 \to \mathcal{G}_0 $ 의 핵이 $ \underline{\underline{T}}\mathcal{G}_0 $ 와 동형임을 보여주며, 그린과 그리피스의 질문에 대한 긍정적인 답변을 제시한다.
• 이 프레임워크는 블로크의 공식 $ TCH^2(X) \cong H^2(X, \Omega^1_{X/\mathbb{Z}}) $ 를 $ K_m(O_{X,y}[\varepsilon] \text{ on } y[\varepsilon], \varepsilon) \cong H^j_y(\Omega^{\bullet}_{O_{X,y}/\mathbb{Q}}) $ 를 통해 고차원으로 자연스럽게 일반화한다.