Canad. J. Math. 58(2006), 93-114
Printed: Feb 2006
We define a motivic analogue of the Haar measure for groups of the form
$G(k\llp t\rrp)$, where~$k$ is an algebraically closed field
of characteristic zero, and $G$ is a reductive algebraic group defined over
A classical Haar measure on such groups does not
exist since they are not locally compact.
We use the theory of motivic integration introduced by M.~Kontsevich to
define an additive function on a certain natural Boolean algebra of subsets of
$G(k\llp t\rrp)$. This function takes values in the so-called dimensional
the Grothendieck ring of the category of varieties over the base
field. It is invariant under translations by all elements of $G(k\llp t\rrp)$,
and therefore we call it a motivic analogue of Haar measure.
We give an explicit construction of the motivic Haar measure, and then prove
that the result is independent of all the choices that are made in the process.
motivic integration, reductive group
14A15 - Schemes and morphisms
14L15 - Group schemes