Premium
Euler Characteristics in Relative K‐Groups
Author(s) -
Flach M.
Publication year - 2000
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/s0024609300006950
Subject(s) - mathematics , isogeny , equivariant map , pure mathematics , functor , section (typography) , formal group , cohomology , identity (music) , absolute galois group , simple (philosophy) , action (physics) , algebra over a field , field (mathematics) , abelian group , philosophy , physics , epistemology , quantum mechanics , business , advertising , acoustics
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 A , 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 A (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 A 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. 2000 Mathematics Subject Classification 19A99, 18G99, 11R34.