Bloch's formula for 0-cycles with modulus and higher dimensional Class Field Theory

Bloch's cycle complex and coherent dualizing complexes in positive characteristic

Let $X$ be a separated scheme of dimension $d$ of finite type over a perfect field $k$ of positive characteristic $p$. In this work, we show that Bloch's cycle complex $\mathbb{Z}^c_X$ of zero cycles mod $p^n$ is quasi-isomorphic to the Cartier operator fixed part of a certain dualizing complex from coherent duality theory. From this we obtain new vanishing results for the higher Chow groups of zero cycles with mod $p^n$ coefficients for singular varieties.

Zero cycles with modulus and zero cycles on singular varieties

Given a smooth variety $X$ and an effective Cartier divisor $D \subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles ${\rm CH}_0(X)$ and the Chow group of 0-cycles with modulus ${\rm CH}_0(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that this is the universal regular quotient of ${\rm CH}_0(X|D)$. As a consequence of the above decomposition, we prove the Roitman torsion theorem for the 0-cycles with modulus. We show that ${\rm CH}_0(X|…

Invariants birationnels dans la suite spectrale de Bloch-Ogus

For a field k of cohomological dimension d we prove that some E_2-terms of the Bloch-Ogus spectral sequence are birational invariants of smooth projective geometrically integral varieties over k. Over a finite field, we relate one of these invariants with the cokernel of the l-adic cycle class map for 1-cycles. Soit k un corps de dimension cohomologique d. On établit que certains E_2-termes de la suite spectrale de Bloch-Ogus sont des invariants birationnels des k-variétés projectives et lisses, géométriquement intègres. Sur un corps fini, on relie un de ces invariants au conoyau de l'applicat…

A moving lemma for cycles with very ample modulus

We prove a moving lemma for higher Chow groups with modulus, in the sense of Binda-Kerz-Saito, of projective schemes when the modulus is given by a very ample divisor. This provides one of the first cases of moving lemmas for cycles with modulus, not covered by the additive higher Chow groups. We apply this to prove a contravariant functoriality of higher Chow groups with modulus. We use our moving techniques to show that the higher Chow groups of a line bundle over a scheme, with the 0-section as the modulus, vanishes.

Suslin homology via cycles with modulus and applications

We show that for a smooth projective variety $X$ over a field $k$ and a reduced effective Cartier divisor $D \subset X$, the Chow group of 0-cycles with modulus $\mathrm{CH}_0(X|D)$ coincides with the Suslin homology $H^S_0(X \setminus D)$ under some necessary conditions on $k$ and $D$. We derive several consequences, and we answer to a question of Barbieri-Viale and Kahn.

Generic cycles, Lefschetz representations, and the generalized Hodge and Bloch conjectures for abelian varieties

We prove Bloch's conjecture for correspondences on powers of complex abelian varieties, that are "generically defined". As an application we establish vanishing results for (skew-)symmetric cycles on powers of abelian varieties and we address a question of Voisin concerning (skew-)symmetric cycles on powers of K3 surfaces in the case of Kummer surfaces. We also prove Bloch's conjecture in the following situation. Let $γ$ be a correspondence between two abelian varieties $A$ and $B$ that can be written as a linear combination of products of symmetric divisors. Assume that $A$ is isogenous to th…

On 0-cycles with modulus

Given a smooth surface $X$ over a field and an effective Cartier divisor $D$, we provide an exact sequence connecting $CH_0(X,D)$ and the relative $K$-group $K_0(X,D)$. We use this exact sequence to answer a question of Kerz and Saito whenever $X$ is a resolution of singularities of a normal surface. This exact sequence is used to show that the localization sequence for ordinary Chow groups does not extend to Chow groups with modulus.

$\mathbb{A}^1$-equivalence of zero cycles on surfaces II

Using recent developments in the theory of mixed motives, we prove that the log Bloch conjecture holds for an open smooth complex surface if the Bloch conjecture holds for its compactification. This verifies the log Bloch conjecture for all $\mathbb{Q}$-homology planes and for open smooth surfaces which are not of log general type.

0次Suslin同调与带模0-循环周群之比较

The comparison of the 0-th Suslin homology and Chow groups of 0-cycles with modulus

本文证明了在正特征域上，射影正规曲面及任意维数射影光滑概形中，带模零循环周群与0次Suslin同调之间的同构关系。

有效零闭链与Bloch-Beilinson滤过

Effective zero-cycles and the Bloch-Beilinson filtration

本文将Voisin关于两点有理等价的猜想推广到高次有效零闭链，在阿贝尔簇与hyper-Kähler流形上给出证据，并对K3曲面上半稳定层模空间给出显式判据，同时提出关于对角线所属对应子代数的第二个猜想。

K-theory and 0-cycles on schemes

We prove Bloch's formula for 0-cycles on affine schemes over algebraically closed fields. We prove this formula also for projective schemes over algebraically closed fields which are regular in codimension one. Several applications, including Bloch's formula for 0-cycles with modulus, are derived.

Cycle class maps for Chow groups of zero-cycles with modulus

For a quasi-projective smooth scheme X of pure dimension d over a field k and an effective Cartier divisor D on X whose support is a simple normal crossing divisor, we construct a cycle class map from the Chow group of zero-cycles with modulus to the top cohomology of the dth relative Milnor K-sheaf.

Cube invariance of higher Chow groups with modulus

The higher Chow group with modulus was introduced by Binda-Saito as a common generalization of Bloch's higher Chow group and the additive higher Chow group. In this paper, we study invariance properties of the higher Chow group with modulus. First, we formulate and prove "cube invariance," which generalizes $\mathbb{A}^1$-homotopy invariance of Bloch's higher Chow group. Next, we introduce the nilpotent higher Chow group with modulus, as an analogue of the nilpotent algebraic $K$-group, and define a module structure on it over the big Witt ring of the base field. We deduce from the module stru…

关于非闭域上挠闭链的 Bloch 映射

On Bloch's map for torsion cycles over non-closed fields

本文将 Bloch 挠闭链映射推广到任意域，证明其对余维数至多为二的闭链仍单射，但对零闭链一般不再单射，并由此回答了 Scavia 和 Suzuki 关于 Jannsen 闭链类映射单射性的问题。

Semi-purity for cycles with modulus

In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair $\mathfrak{X}=(\overline{X}, X_\infty)$ over a field $k$, consisting of a smooth projective $k$-scheme and an effective Cartier divisor on it. As application, we prove the analogue in the modulus setting of Voevodsky's fundamental theorem on the homotopy invariance of the cohomology of homotopy invariant sheaves with transfers, based on a main result of "Purity of reciprocit…

Torsion in the 0-cycle group with modulus

We show, for a smooth projective variety $X$ over an algebraically closed field $k$ with an effective Cartier divisor $D$, that the torsion subgroup $\CH_0(X|D)\{l\}$ can be described in terms of a relative {é}tale cohomology for any prime $l \neq p = {\rm char}(k)$. This extends a classical result of Bloch, on the torsion in the ordinary Chow group, to the modulus setting. We prove the Roitman torsion theorem (including $p$-torsion) for $\CH_0(X|D)$ when $D$ is reduced. We deduce applications to the problem of invariance of the prime-to-$p$ torsion in $\CH_0(X|D)$ under an infinitesimal exten…

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The generalized Bloch conjecture for $Y$ is this statement with "geometric coniveau" replaced by "Hodge coniveau".

Additive Chow groups with higher modulus and the generalized de Rham-Witt complex

Bloch and Esnault defined additive higher Chow groups with modulus (m+1) on the level of zero cycles over a field k, denoted by TH^n(k,n;m), n,m >0. They prove that TH^n(k,n;1) is isomorphic to the group of absolute Kaehler differentials of degree n-1 over k. In this paper we generalize their result and show that TH^n(k,n;m) is isomorphic to W_mΩ^{n-1}_k, the group of degree n-1 elements in the generalized de Rham-Witt of length m over k. This complex was defined by Hesselholt and Madsen and generalizes the p-typical de Rham-Witt complex of Bloch-Deligne-Illusie. Before we can prove this theor…

Supplement to: Goncharov's Relations in Bloch's higher Chow Group CH^3(F,5)

This is a supplement to the paper "Goncharov's Relations in Bloch's higher Chow Group CH^3(F,5)" submitted as math.AG/0105084. We check the admissiblility of all the cycles appearing in the main article.

Involutions on algebraic surfaces and the Generalised Bloch's conjecture

In this note we are going to consider a smooth projective surface equipped with an involution and study the action of the involution at the level of Chow group of zero cycles.

A decomposition theorem for 0-cycles and applications

We prove a decomposition theorem for the cohomological Chow group of 0-cycles on the double of a quasi-projective $R_1$-scheme over a field along a closed subscheme, in terms of the Chow groups, with and without modulus, of the scheme. This yields a significant generalization of the decomposition theorem of Binda-Krishna. As applications, we prove a moving lemma for Chow groups with modulus and an analogue of Bloch's formula for 0-cycles with modulus on singular surfaces. The latter extends a previous result of Binda-Krishna-Saito.

A cycle class map from Chow groups with modulus to relative $K$-theory

Let $\bar{X}$ be a smooth quasi-projective $d$-dimensional variety over a field $k$ and let $D$ be an effective Cartier divisor on it. In this note, we construct cycle class maps from (a variant of) the higher Chow group with modulus of the pair $(\bar{X},D)$ in the range $(d+n, n)$ to the relative $K$-groups $K_n(\bar{X}, D)$ for every $n\geq 0$.

A module structure and a vanishing theorem for cycles with modulus

We show that the higher Chow groups with modulus of Binda-Kerz-Saito for a smooth quasi-projective scheme $X$ is a module over the Chow ring of $X$. From this, we deduce certain pull-backs, the projective bundle formula, and the blow-up formula for higher Chow groups with modulus. We prove vanishing of $0$-cycles of higher Chow groups with modulus on various affine varieties of dimension at least two. This shows in particular that the multivariate analogue of Bloch-Esnault--Rülling computations of additive higher Chow groups of 0-cycles vanishes.

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections, II

We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.

Relative $K$-theory via 0-cycles in finite characteristic

Let $R$ be a regular semi-local ring, essentially of finite type over an infinite perfect field of characteristic $p \ge 3$. We show that the cycle class map with modulus from an earlier work of the authors induces a pro-isomorphism between the additive higher Chow groups of relative 0-cycles and the relative $K$-theory of truncated polynomial rings over $R$. This settles the problem of equating 0-cycles with modulus and relative $K$-theory of such rings via the cycle class map.

A moving lemma for algebraic cycles with modulus and contravariance

We prove a moving lemma which implies the contravariance of Bloch-Esnault's additive higher Chow group in smooth affine varieties and Binda-Saito's higher Chow group (taken in the Nisnevich topology) in smooth varieties equipped with effective Cartier divisors. The new ingredients in the moving method are parallel translation {\em with modulus} in the affine space that involves a new integer parameter, and Noether's normalization lemma over a Dedekind base.

Bloch's Conjecture, Deligne Cohomology and Higher Chow Groups

We express the kernel of Griffiths' Abel-Jacobi map by using the inductive limit of Deligne cohomology in the generalized sense (i.e. the absolute Hodge cohomology of A. Beilinson). This generalizes a result of L. Barbieri-Viale and V. Srinivas in the surface case. We then show that the Abel-Jacobi map for codimension 2 cycles and the Albanese map are bijective if a general hyperplane section is a surface for which Bloch's conjecture is proved. In certain cases we verify Nori's conjecture on the Griffiths group. We also prove a weak Lefschetz-type theorem for (higher) Chow groups, generalize a…

Chern character and obstructions to deforming cycles

Following Bloch-Esnault-Kerz and Green-Griffiths' recent works on deformation of algebraic cycle classes, we use Chern character from K-theory to negative cyclic homology to show how to eliminate obstructions to deforming cycles.

Normal functions and the height of Gross-Schoen cycles

We prove a variant of a formula due to S. Zhang relating the Beilinson-Bloch height of the Gross-Schoen cycle on a pointed curve with the self-intersection of its relative dualizing sheaf. In our approach the height of the Gross-Schoen cycle occurs as the degree of a suitable Bloch line bundle. We show that the Chern form of this line bundle is non-negative, and we calculate its class in the Picard group of the moduli space of pointed stable curves of compact type. The basic tools are normal functions and biextensions associated to the cohomology of the universal jacobian.

Bloch's conjecture for Enriques varieties

Enriques varieties have been defined as higher-dimensional generalizations of Enriques surfaces. Bloch's conjecture implies that Enriques varieties should have trivial Chow group of zero-cycles. We prove this is the case for all known examples of irreducible Enriques varieties of index larger than $2$. The proof is based on results concerning the Chow motive of generalized Kummer varieties.

Bloch's conjecture for Generalized Burniat Type surfaces with $p_g=0$

The aim of this article is to prove Bloch's conjecture, asserting that the group of rational equivalence classes of zero cycles of degree 0 is trivial for surfaces with geometric genus zero, for regular generalized Burniat type surfaces. The technique is the method of "enough automorphisms" introduced by Inose-Mizukami in a simplified version due to the first author.

Relative cycles with moduli and regulator maps

Let X be a separated scheme of finite type over a field k and D a non-reduced effective Cartier divisor on it. We attach to the pair (X, D) a cycle complex with modulus, whose homotopy groups - called higher Chow groups with modulus - generalize additive higher Chow groups of Bloch-Esnault, Rülling, Park and Krishna-Levine, and that sheafified on $X_{Zar}$ gives a candidate definition for a relative motivic complex of the pair, that we compute in weight 1. When X is smooth over k and D is such that $D_{red}$ is a normal crossing divisor, we construct a fundamental class in the cohomology of re…

Cycles over fields of transcendence degree one

We extend earlier examples provided by Schoen, Nori and Bloch to show that when a surface has the property that the kernel of its Albanese map is non-zero over the field of complex numbers, this kernel is non-zero over a field of transcendence degree one. This says that the conjecture of Bloch and Beilinson that this kernel is zero for varieties over number fields is precise in the sense that it is not valid for fields of transcendence degree one.

Bloch-type conjectures and an example of a threefold of general type

The hypothetical existence of a good theory of mixed motives predicts many deep phenomena related to algebraic cycles. One of these, a generalization of Bloch's conjecture says that "small Hodge diamonds" go with "small Chow groups". Voisin's method (which produces examples with small Chow groups) is analyzed carefully to widen its applicability. A threefold of general type without 1- and 2-forms is exhibited for which this extension yields Bloch's generalized conjecture.

Bloch's conjecture on certain surfaces of general type with $p_g=0$ and with an involution: the Enriques case

In this short note we prove that an involution on certain examples of surfaces of general type with $p_g=0$, acts as identity on the Chow group of zero cycles of the relevant surface. In particular we consider examples of such surfaces when the quotient is an Enriques surface and show that the Bloch's conjecture holds for such surfaces.

Torsion zero cycles with modulus on affine varieties

In this note we show that given a smooth affine variety $X$ over an algebraically closed field $k$ and an effective (possibly non reduced) Cartier divisor $D$ on it, the Kerz-Saito Chow group of zero cycles with modulus ${\rm CH}_0(X|D)$ is torsion free, except possibly for $p$-torsion if the characteristic of $k$ is $p>0$. This generalizes to the relative setting classical theorems of Rojtman (for $X$ smooth) and of Levine (for $X$ singular). A stronger version of this result, that encompasses $p$-torsion as well, was proven with a different and more sophisticated method by A. Krishna and the…

Chow group of 0-cycles with modulus and higher dimensional class field theory

One of the main results of this paper is a proof of the rank one case of an existence conjecture on lisse l-adic sheaves on a smooth variety over a finite field due to Deligne and Drinfeld. The problem is translated into the language of higher dimensional class field theory over finite fields, which describes the abelian fundamental group by Chow groups of zero cycles with moduli. A key ingredient is the construction of a cycle theoretic avatar of refined Artin conductor in ramification theory originally studied by Kazuya Kato.

Bloch's conjecture for Inoue surfaces with p_g=0, K^2 =7

The aim of this article is to prove Bloch's conjecture (asserting that the group of rational equivalence classes of zero cycles of degree zero is trivial) for Inoue surfaces with p_g=0 and K^2 = 7. These surfaces can also be described as bidouble covers of the four nodal cubic, which allows to use the method of "enough automorphisms" introduced by Inose-Mizukami (in a simplified version).

The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture

We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree $d$ associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at $e$ real places and $(n+2,0)$ at the remaining $d-e$ real places for $1\leq e <d$. Recently, these cycles were constructed by Kudla and Rosu-Yott and they proved that the generating series of special cycles in the cohomology group is a Hilbert-Siegel modular form of half integral weight. We prove that, assuming the Beilinson-Bloch conjecture on the injectivity of the higher Abel-Jacobi map, the generating serie…

Chow groups of conic bundles in $\mathbb P^5$ and the Generalised Bloch's conjecture

Consider the Fano surface of a conic bundle embedded in $\mathbb P^5$. Let $i$ denote the natural involution acting on this surface. In this note we provide an obstruction to the identity action of the involution on the group of algebraically trivial zero cycles modulo rational equivalence on the surface.

$\mathbb{A}^1$-equivalence of zero cycles on surfaces

In this paper, we study $\mathbb{A}^1$-equivalence classes of zero cycles on open complex algebraic surfaces. We prove the logarithmic version of Mumford's theorem on zero cycles and prove that log Bloch's conjecture holds for quasiprojective surfaces with log Kodaira dimension $-\infty$.

Reciprocity for Kato-Saito idele class group with modulus

We introduce an etale fundamental group with modulus and construct a reciprocity homomorphism from the Kato-Saito idele class group with modulus to this fundamental group. This is the K-theoretic analogue of the reciprocity for the cycle-theoretic idele class group with modulus due to Kerz-Saito, and plays a central role in showing the isomorphism between the two idele class groups. It also provides a new interpretation of the already known etale fundamental group with modulus due to Deligne and Laumon.

An infinitesimal approach to the study of Cycles on Abelian Varieties

This paper is a work in progress on Bloch's conjecture asserting the vanishing of the Pontryagin product of a $ p $ codimensional cycle on an abelian variety by $ p+1 $ zero cycles of degree zero. We prove an infinitesimal version of the conjecture and we discuss, in particular, the case of $ 3 $ dimensional cycles.

Goncharov's relations in Bloch's higher Chow group CH^3(F,5)

Using Totaro-Bloch-Kriz's linear fractional cycles Gangl and Muller-Stach recently prove the 5-term relations for the dilogarithm in Bloch's higher Chow group CH^2(F,3) and the Kummer-Spence relations in some group G(F) over an arbitrary field F where G(F) is isomorphic to CH^3(F,5) up to torsions under the Beilinson-Soule vanishing conjecture that CH^2(F,n)=0 for n>3. In this paper we show that Goncharov's 22-term relations for the trilogarithm also hold in G(F).

穿孔椭圆曲线的动机基本群与代数闭链

The motivic fundamental group of a punctured elliptic curve and algebraic cycles

本文在椭圆动机DG范畴中研究穿孔椭圆曲线的动机基本群，利用Schur复形给出其消解，并构造出类似于Bloch-Totaro闭链的代数闭链。

关于高阶周环与混合霍奇结构的高度配对 II

Height Pairing on Higher Cycles and Mixed Hodge Structures II

该研究针对恰当相交且余维互补的布洛赫高阶周环，通过赋予其带框混合霍奇结构定义两种阿基米德局部高度配对，推广了经典代数周环的双扩张阿基米德高度，应用于多对数变分并证明了相关高度性质。

On Voisin's conjecture for zero-cycles on hyperkaehler varieties

Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning zero-cycles on self-products of Calabi-Yau varieties. We reformulate Voisin's conjecture in the setting of hyperkähler varieties, and we prove this reformulated conjecture for one family of hyperkähler fourfolds.

On a multiplicative version of Bloch's conjecture

A theorem of Esnault, Srinivas and Viehweg asserts that if the Chow group of 0-cycles of a smooth complete complex variety decomposes, then the top-degree coherent cohomology group decomposes similarly. In this note, we prove that (a weak version of) the converse holds for varieties of dimension at most 5 that have finite-dimensional motive and satisfy the Lefschetz standard conjecture. The proof is based on Vial's construction of a refined Chow-Kunneth decomposition for these varieties.

0-cycles on singular schemes and class field theory

We show that the Chow group of 0-cycles on a singular projective scheme $X$ over a finite field describes the abelian extensions of its function field which are unramified over the regular locus of $X$. As a consequence, we obtain the Bloch-Quillen formula for the Chow group of 0-cycles on such schemes. We deduce simple proofs of results of Kerz-Saito for a class of surfaces without any assumption on ${\rm char}(k)$.

Algebraic cycles and very special cubic fourfolds

Informed by the Bloch-Beilinson conjectures, Voisin has made a conjecture about $0$-cycles on self-products of Calabi-Yau varieties. In this note, we consider variant versions of Voisin's conjecture for cubic fourfolds, and for hyperkähler varieties. We present examples for which these conjectures are verified, by considering certain very special cubic fourfolds and their Fano varieties of lines.

Height pairing and nearby cycles

We prove that, as was conjectured by Spencer Bloch, the Hodge period of some limit Hodge structures equals the height pairing of algebraic cycles on the resolution of singularities of the singular fiber.

Algebraic cycles and Todorov surfaces

Motivated by the Bloch-Beilinson conjectures, Voisin has formulated a conjecture about 0-cycles on self-products of surfaces of geometric genus one. We verify Voisin's conjecture for the family of Todorov surfaces with $K^2=2$ and fundamental group $\mathbb{Z}/2\mathbb{Z}$. As a by-product, we prove that certain Todorov surfaces have finite-dimensional motive.

挠循环上的两个循环类映射

Two Cycle Class Maps on Torsion Cycles

本文比较挠循环上的 Bloch 循环类映射与 étale motivic 循环类映射，证明二者在符号差异意义下一致。

Multiple polylogarithms, polygons, trees and algebraic cycles

We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.