A Gauss-Bonnet theorem for motivic cohomology
type: Item
instance of: scholarly article
title: A Gauss-Bonnet theorem for motivic cohomology
zbMATH Open document ID: 0727.14012
DOI: 10.1007/BF01231496
author: Stuart Turner
published in: Inventiones Mathematicae
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143797
review text: Let C be a smooth complete irreducible curve over \({\mathbb{F}}_ q\) with function field L. Let E be a smooth complete irreducible curve over L. Then there exists a regular curve \({\mathcal E}\) proper flat and of finite type over C with generic fibre L-isomorphic to E. \({\mathcal E}\) is a smooth projective surface over \({\mathbb{F}}_ q\). Assume the \({\mathbb{F}}_ q\)- rational projection p: \({\mathcal E}\to C\) has an \({\mathbb{F}}_ q\)-rational section \(\sigma: C\to {\mathcal E}\). The fibration p: \({\mathcal E}\to C\) with section \(\sigma\) gives rise to a constant M called the covolume. It is constructed by means of the Tamagawa measures (for the places v of L) of suitable quotients of the \(SL_ 2(L_ v)\). M can be calculated: \[ M=(\log q)\zeta (C,2)^{-1}\cdot \prod_{v}K_ v \cdot Res_{s=2}\zeta ({\mathcal E},s), \] where the product runs over the \(v\in C\) such that \(p^{-1}(v)\) is singular, and \(K_ v=\zeta_{k({\mathcal E}_{v,\sigma})}(2)\zeta ({\mathcal E}_ v,2)^{-1}\). Here k(\({\mathcal E}_{v,\sigma})\) is the residue field of the local ring of the component of the fibre \({\mathcal E}_ v\) of p: \({\mathcal E}\to C\) over v containing \(\sigma\) v. On the other hand, the arithmetic Euler-Poincaré characteristic \(\chi\) (\({\mathcal E},{\mathbb{Z}})\) of \({\mathcal E}\) is defined by \[ \chi ({\mathcal E},{\mathbb{Z}})=\frac{[H^ 0({\mathcal E},{\mathbb{Z}})_{tor}][H^ 2({\mathcal E},{\mathbb{Z}})_{\cot or}][H^ 4({\mathcal E},{\mathbb{Z}})]}{[H^ 1({\mathcal E},{\mathbb{Z}})][H^ 3({\mathcal E},{\mathbb{Z}})][H^ 5({\mathcal E},{\mathbb{Z}})]}, \] where \(H^ i({\mathcal E},{\mathbb{Z}})\) is étale cohomology and [G] denotes the order of the (finite) group G. \(\chi\) (\({\mathcal E},{\mathbb{Z}})\) is an intrinsic invariant of the surface \({\mathcal E}.\) The Gauß-Bonnet theorem takes the form: \(\chi\) (\({\mathcal E},{\mathbb{Z}})=Mq^{-\chi}\zeta (C,2)\cdot \prod_{v}K_ v^{-1} \), where \(\chi\) is the self-intersection number of the diagonal o…
Mathematics Subject Classification ID: 14F45
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 14G10
Mathematics Subject Classification ID: 14G15
Mathematics Subject Classification ID: 14A20
Mathematics Subject Classification ID: 11S40
zbMATH DE Number: 4200370
zbMATH Keywords: covolume
zbMATH Keywords: Tamagawa measures
zbMATH Keywords: arithmetic Euler-Poincaré characteristic
zbMATH Keywords: motivic cohomology
zbMATH Keywords: Gauß-Bonnet formula
zbMATH Keywords: K-theory
zbMATH Keywords: residue of the zeta-function
zbMATH Keywords: elliptic curve
zbMATH Keywords: Néron model
reviewed by: W. W. J. Hulsbergen
MaRDI profile type: Publication
cites work: Q5525146
cites work: Q3859916
cites work: A Gauss-Bonnet formula for discrete arithmetically defined groups
cites work: Q3871006
cites work: Values of Zeta Functions of Varieties Over Finite Fields
cites work: Chern classes, adeles and L-functions.
cites work: Arithmétique des algèbres de quaternions
Wikidata QID: Q126162395
OpenAlex ID: W2055762489
description: scientific article; zbMATH DE number 4200370