Tame class field theory for singular varieties over algebraically closed fields

MaRDI QIDQ288652zbMATH OpenFDO

Authors Thomas Geisser, Alexander Schmidt

Publication date 27 May 2016

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.4068, http://www.emis.de/journals/DMJDMV/vol-21/04.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

higher dimensional class field theorySuslin homologytame fundamental group

Mathematics Subject Classification ID

Class field theory (11R37) Algebraic cycles (14C25) Homotopy theory and fundamental groups in algebraic geometry (14F35) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43)

Abstract: Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first mod m tame etale cohomology of X. We show that the induced homomorphism from the mod m Suslin homology to the abelianized tame fundamental group of X mod m is surjective. It is an isomorphism of finite abelian groups if (m, char(k)) = 1, and for general m if resolution of singularities holds over k.

Review text

Let \(k\) be an algebraically closed field of characteristic \(p \geq 0\), \(X\) a separated scheme of finite type over \(k\) and \(m \in \mathbb N\). The authors construct a reciprocity homomorphism NEWLINE\[NEWLINE\mathrm{rec}_X: H^S_1(X,\mathbb Z/m\mathbb Z) \to \pi_1^{t,ab} (X)/mNEWLINE\]NEWLINE from the first mod \(m\) algebraic singular homology to the abelianized tame fundamental group of \(X\) mod \(m\) and prove its surjectivity. Furthermore, if \(p \nmid m\) or if ``resolution of singularities holds for schemes of dimension \(\leq \dim X +1\), \(\mathrm{rec}_X\) is an isomorphism.NEWLINENEWLINEThat the two above groups are isomorphic for \(p \nmid m\) is already known from the work of \textit{A. Suslin} and \textit{V. Voevodsky} [Invent. Math. 123, No. 1, 61--94 (1996; Zbl 0896.55002)], but now an explicit homomorphism is constructed. Imitating an idea from topology, the authors use torsors to construct a pairing between \(H^S_1(X,\mathbb Z/m\mathbb Z)\) and the first mod \(m\) tame étale cohomology group, which leads to an explicit definition of \(\mathrm{rec}_X\). Then the main result is first proved for smooth curves, and then via blow-ups for the general case.

Recommendations

• Singular homology and class field theory of varieties over finite fields
• Some consequences of Wiesend's higher dimensional class field theory
• Singular homology of arithmetic schemes
• The tame site of a scheme
• Un isomorphisme de Suslin
• On the kernel of the reciprocity map of normal surfaces over finite fields
• Torsion zero-cycles and étale homology of singular schemes
• On Suslin's singular homology and cohomology
• Arithmetic homology and an integral version of Kato's conjecture
• On the Fundamental Group of a Variety with Quotient Singularities

Cited in

(9)

• Singular homology of arithmetic schemes
• Tame class field theory for singular varieties over finite fields
• On the kernel of the reciprocity map of normal surfaces over finite fields
• The tame site of a scheme
• Singular homology and class field theory of varieties over finite fields
• Motivic cohomology: applications and conjectures
• On Suslin's singular homology and cohomology
• Homotopy invariance of tame homotopy groups of regular schemes
• Some consequences of Wiesend's higher dimensional class field theory

This page was built for publication: Tame class field theory for singular varieties over algebraically closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q288652)