Table of Contents
Fetching ...

Deformations of Chow groups via cyclic homology

Sen Yang

TL;DR

The paper studies infinitesimal deformations of the Chow groups CH^{p}(X) over a field k of characteristic zero by examining the formal completion \\widehat{CH}^{p} on local augmented Artinian k-algebras. It leverages cyclic and Hochschild homology, via Goodwillie’s perspective and the SBI exact sequence, to relate deformations to relative cyclic homology sheaves and then to Hodge cohomology. Under a specific Hodge-vanishing condition, it proves the canonical isomorphism \\widehat{CH}^{p}(A) \\cong H^{p}(X, \\Omega^{p-1}_{X/k}) \\otimes_{k} m_{A} for graded Artinian algebras with A_{0}=k, generalizing Bloch’s results from fields algebraic over \\mathbb{Q} to arbitrary characteristic zero fields. This yields a partial affirmative answer to linking pro-representability of Chow groups with Hodge theory and offers a framework connecting algebraic cycles to cyclic homology via relative theories.

Abstract

Let $X$ be a smooth projective variety over an arbitrary field $k$ of characteristic zero. We explore infinitesimal deformations of the Chow group $CH^{p}(X)$ via its formal completion $\widehat{CH}^{p}$, a functor defined on the category of local augmented Artinian $k$-algebras. Under a natural vanishing condition on Hodge cohomology groups, for certain augmented graded Artinian $k$-algebras $A$ with the maximal ideal $m_{A}$, we prove that \[ \widehat{CH}^{p}(A) \cong H^{p}(X, Ω^{p-1}_{X/ k})\otimes_{k}m_{A}. \]This extends earlier results of Bloch and others from the case where $k$ is algebraic over $\mathbb{Q}$ to arbitrary fields of characteristic zero,and gives a partial affirmative answer to a general question linking the pro-representability of Chow groups to a specific set of Hodge-theoretic vanishing conditions.

Deformations of Chow groups via cyclic homology

TL;DR

The paper studies infinitesimal deformations of the Chow groups CH^{p}(X) over a field k of characteristic zero by examining the formal completion \\widehat{CH}^{p} on local augmented Artinian k-algebras. It leverages cyclic and Hochschild homology, via Goodwillie’s perspective and the SBI exact sequence, to relate deformations to relative cyclic homology sheaves and then to Hodge cohomology. Under a specific Hodge-vanishing condition, it proves the canonical isomorphism \\widehat{CH}^{p}(A) \\cong H^{p}(X, \\Omega^{p-1}_{X/k}) \\otimes_{k} m_{A} for graded Artinian algebras with A_{0}=k, generalizing Bloch’s results from fields algebraic over \\mathbb{Q} to arbitrary characteristic zero fields. This yields a partial affirmative answer to linking pro-representability of Chow groups with Hodge theory and offers a framework connecting algebraic cycles to cyclic homology via relative theories.

Abstract

Let be a smooth projective variety over an arbitrary field of characteristic zero. We explore infinitesimal deformations of the Chow group via its formal completion , a functor defined on the category of local augmented Artinian -algebras. Under a natural vanishing condition on Hodge cohomology groups, for certain augmented graded Artinian -algebras with the maximal ideal , we prove that This extends earlier results of Bloch and others from the case where is algebraic over to arbitrary fields of characteristic zero,and gives a partial affirmative answer to a general question linking the pro-representability of Chow groups to a specific set of Hodge-theoretic vanishing conditions.
Paper Structure (3 sections, 17 theorems, 122 equations)

This paper contains 3 sections, 17 theorems, 122 equations.

Key Result

Theorem 1.1

Let $X$ be a smooth projective variety over a field $k$ of dimension $d \geq 2$, where $k$ is an algebraic field extension of $\mathbb{Q}$. Let $p$ be an integer such that $2 \leq p \leq d$. We suppose that $X$ satisfies the following condition: where $i$ is an integer such that $0 \leq i \leq p-2$. Then, for any $A \in Art_{k}$, there is an isomorphism where $m_{A}$ is the maximal ideal of $A$.

Theorems & Definitions (26)

  • Theorem 1.1: Bl3MaY6
  • Conjecture 1.2: Bl3
  • Theorem 1.3: Stien1
  • Conjecture 1.4: cf. Implication 1.2 on page 478 of GG
  • Theorem 1.6: cf. Theorem \ref{['t:yang1']} below
  • Lemma 2.1: cf. Prop. 1.1.10 of Loday
  • Theorem 2.2: HKR theorem
  • Example 2.3: cf. Ex 4.1.8 of Loday
  • Lemma 2.4: LQ
  • Theorem 2.5: cf. Th 2.2.1 of Loday
  • ...and 16 more