EULER CHARACTERISTICS IN RELATIVE K-GROUPS

Abstract

Suppose that M is a finite module under the Galois group of a local or global field. Ever since Tate's papers [17, 18], we have had a simple and explicit formula for the Euler–Poincaré characteristic of the cohomology of M. In this note we are interested in a refinement of this formula when M also carries an action of some algebra [Ascr ], commuting with the Galois action (see Proposition 5.2 and Theorem 5.1 below). This refinement naturally takes the shape of an identity in a relative K-group attached to [Ascr ] (see Section 2). We shall deduce such an identity whenever we have a formula for the ordinary Euler characteristic, the key step in the proof being the representability of certain functors by perfect complexes (see Section 3). This representability may be of independent interest in other contexts.

Our formula for the equivariant Euler characteristic over [Ascr ] implies the ‘isogeny invariance’ of the equivariant conjectures on special values of the L-function put forward in [3], and this was our motivation to write this note. Incidentally, isogeny invariance (of the conjectures of Birch and Swinnerton-Dyer) was also a motivation for Tate's original paper [18]. I am very grateful to J-P. Serre for illuminating discussions on the subject of this note, in particular for suggesting that I consider representability. I should also like to thank D. Burns for insisting on a most general version of the results in this paper.