Unramified class field theory of arithmetical surfaces
For X a scheme of finite type over some base ring R, the group \(\pi_ 1^{ab}(X)\) classifies the abelian unramified coverings of X. As in the class field theory of number fields, the primary goal for schemes is to obtain a description of \(\pi_ 1^{ab}(X)\) solely in terms of X itself, via some kind of reciprocity map. When R is a finite field, Lang in 1956, defined a reciprocity map from \(Z_ 0(X)\), the free abelian group on the closed points, and showed that for normal X the map had a dense image. Subsequent work led to the study of \(CH_ 0(X)\), the 0- dimensional Chow group of X, which for smooth projective varieties over a field is \(Z_ 0(X)\) modulo rational equivalence, and which in general can be defined using algebraic K-theory. It turns out that for X proper over \({\mathbb{Z}}\), there is a reciprocity map from \(CH_ 0(X)\) to the quotient \({\tilde \pi}{}_ 1^{ab}(X)\) of \(\pi_ 1^{ab}(X)\) which classifies the unramified abelian covers that split completely over any real valued point of X. (For schemes over finite fields, this quotient is just \(\pi_ 1^{ab}(X).)\) The main part of the current paper studies arithmetical surfaces, that is, proper smooth surfaces over finite fields, or connected regular surfaces which are proper and flat over \({\mathbb{Z}}\). For surfaces over finite fields, the degree map exhibits \(CH_ 0(X)\) as an extension of \({\mathbb{Z}}\) by \(CH_ 0(X)^ 0\), the subgroup of degree 0 cycle classes. Correspondingly, there is a map from \(\pi_ 1^{ab}(X)\) onto \({\hat {\mathbb{Z}}}\), the Galois group of the algebraic closure of the ground field. Call \(\pi_ 1^{ab}(X)^ 0\) the kernel of this map. In 1981 \textit{N. Katz} and \textit{S. Lang} [Enseign. Math., II. Sér. 27, 285-319 (1981; Zbl 0495.14011)] showed that \(\pi_ 1^{ab}(X)^ 0\) is finite, while work of Bloch and Milne established the finiteness of \(CH_ 0(X)^ 0\). Milne further established the p-primary injectivity of the reciprocity map \(CH_ 0(X)\to \pi_ 1^{ab}(X),\) assuming a certain condition on X. In this paper the authors show that for any smooth projective geometrically irreducible scheme over a finite field, the reciprocity map is always injective, and induces an isomorphism of the finite groups \(CH_ 0(X)^ 0\) and \(\pi_ 1^{ab}(X)^ 0\) so that, roughly speaking, \(\pi_ 1^{ab}(X)\) is obtained from \(CH_ 0(X)\) by replacing \({\mathbb{Z}}\) by \({\hat {\mathbb{Z}}}\). According to the authors, they had originally obtained these results for surfaces, and an elegant induction argument of Colliot-Thélène established the general case. For X a regular connected surface proper and flat over \({\mathbb{Z}}\), the main result established in this paper is that the reciprocity map \(CH_ 0(X)\to {\tilde \pi}_ 1^{ab}(X)\) is an isomorphism of finite abelian groups. Earlier, Bloch had proved this result in the case X is smooth over the ring of integers in a number field. To establish the unramified class field theory of arithmetical surfaces X in general, the authors concentrate on a fibration \(X\to C\), where C is a one dimensional scheme, and where the fibration may have singular fibres. In essence, the authors are able to improve on the earlier results of Bloch and Milne because they have a technique for treating the class field theory of a singular curve over a local field.
- Unramified class field theory of arithmetical schemes
- Class field theory of arithmetic surfaces
- Non-abelian class field theory for arithmetic surfaces
- Class field theory for arithmetic schemes
- Unramified Class Field Theory for Orders
- Arakelov Theory on Arithmetic Surfaces Over a Trivially Valued Field
- scientific article; zbMATH DE number 753829
- scientific article; zbMATH DE number 3305616
- scientific article; zbMATH DE number 1771891
- Arithmetic theory of arithmetic surfaces
- Torsion dans le groupe de Chow de codimension deux
- Unramified class field theory of arithmetical schemes
- Class field theory for curves over local fields
- Duality in the étale cohomology of one-dimensional proper schemes and generalizations
- The dimension of fields and algebraic K-theory
- Arithmetic on two dimensional local rings
- A note on p-adic étale cohomology
- Abelian extensions of an absolutely unramified local field with general residue field
- Groupe de Chow de codimension deux des variétés définies sur un corps de nombres: Un théorème de finitude pour la torsion. (The codimension two Chow group of varieties defined over a number field: A finiteness theorem for the torsion)
- The arithmetic of zero cycles on surfaces with geometric genus and irregularity zero
- Arithmetic theory of arithmetic surfaces
- Class field theory of arithmetic surfaces
- The \(R\)-equivalence on reductive algebraic groups defined over a global field
- Finiteness theorems in the class field theory of varieties over local fields.
- Tame class field theory for singular varieties over finite fields
- The degree three unramified cohomology group of Fano hypersurfaces
- Non-abelian class field theory for arithmetic surfaces
- Tame class field theory for arithmetic schemes
- On the kernel of the reciprocity map of normal surfaces over finite fields
- Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields
- Artin-Verdier duality for arithmetic surfaces
- The kernel of the reciprocity map of simple normal crossing varieties over finite fields
- On the kernel of the reciprocity map of simple normal crossing varieties over finite fields
- On the relative twist formula of \(\ell\)-adic sheaves
- Voevodsky's motives and Weil reciprocity
- Étale cohomology of arithmetic schemes and zeta values of arithmetic surfaces
- Albanese kernels and Griffiths groups
- Zero-cycle groups on algebraic varieties
- Reciprocity for Kato-Saito idele class group with modulus
- A local to global principle for higher zero-cycles
- Non-divisible cycles on surfaces over local fields
- A generalization of Serre's condition (F) with applications to the finiteness of unramified cohomology
- On a conjecture of Kato and Kuzumaki
- On Milnor K-groups attached to semi-Abelian varieties
- Divisibility results for zero-cycles
- Derived log Albanese sheaves
- Ramification theory of reciprocity sheaves. I: Zariski-Nagata purity
- Galois equivariance and stable motivic homotopy theory
- The Brauer-Manin pairing, class field theory, and motivic homology
- Bertini theorems and Lefschetz pencils over discrete valuation rings, with applications to higher class field theory
- Arakelov motivic cohomology. II.
- Arithmetic homology and an integral version of Kato's conjecture
- Analysis on arithmetic schemes. II.
- Sur la partie p-primaire du groupe de chow de codimension deux
- scientific article; zbMATH DE number 3957286 (Why is no real title available?)
- Zero-Cycles on Varieties Over Finite Fields
- Zero cycles on fibrations over a curve of arbitrary genus
- First and second \(K\)-groups of an elliptic curve over a global field of positive characteristic
- Cycles on curves over global fields of positive characteristic
- Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique
- The kernel of the reciprocity map of varieties over local fields
- Rational equivalence on adjoint groups of type \(D_n\) over fields of virtual cohomological dimension 2
- GEOMETRIC LOCAL -FACTORS IN HIGHER DIMENSIONS
- HIGHER IDELES AND CLASS FIELD THEORY
- Characteristic class and the \(\varepsilon \)-factor of an étale sheaf
- Geometric two-dimensional idèles with cycle module coefficients
- Motivic cohomology: applications and conjectures
- A higher-dimensional generalization of Lichtenbaum duality in terms of the Albanese map
- R-equivalence in adjoint classical groups over fields of virtual cohomological dimension 2
- Galois symbol maps for abelian varieties over a \(p\)-adic field
- On Bloch’s map for torsion cycles over non-closed fields
- Abelian geometric fundamental groups for curves over a \(p\)-adic field
- On integral class field theory for varieties over p-adic fields
- Brauer-Manin obstruction for zero-cycles on certain varieties
- ZERO-CYCLES ON NORMAL PROJECTIVE VARIETIES
- Motivic cohomology and \(K\)-theory of some surfaces over finite fields
- A finiteness theorem for zero-cycles over \(p\)-adic fields
- Zero-cycles in families of rationally connected varieties
- Duality theorems for curves over local fields
- Cohomological Hasse principle and motivic cohomology for arithmetic schemes
- Extended differential symbol and the Kato homology groups
- Torsion in abelian fundamental group and its application
- A local-global principle for twisted flag varieties
- A Hasse principle for \(G L_2 (\mathbb{F}_p)\) and Bloch's exact sequence for elliptic curves over number fields
- Covering data and higher dimensional global class field theory
- Some consequences of Wiesend's higher dimensional class field theory
- Class field theory for arithmetic schemes
- Class field theory for a product of curves over a local field
- Class field theory for open curves over \(p\)-adic fields
This page was built for publication: Unramified class field theory of arithmetical surfaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266752)
