12
$\begingroup$

The Eilenberg-Mazur swindle shows that the Grothendieck group of an additive category with countable coproducts is trivial. The strategy is to observe that any "Euler characteristic" $\chi$ on such a category must be zero, because for any object $P$, we have $$P \oplus \bigoplus_{i=1}^\infty P \simeq \bigoplus_{i = 1}^\infty P$$ which implies that $\chi(P) + \chi(Q) = \chi(Q)$ for $Q = \bigoplus_{i=1}^\infty P$.

Is there any analog for the higher $K_i$ (of, say, an exact category in Quillen's sense)? I don't know any simple way of thinking of the higher $K_i$ (e.g. via Euler characteristics), but it would be interesting if, say, the associated K-theory space somehow had to be contractible.

$\endgroup$
1
  • 2
    $\begingroup$ We'll give a very general answer to this in the class as well. $\endgroup$ Commented Feb 22, 2012 at 0:43

1 Answer 1

15
$\begingroup$

Yes, there is an analogue, see Weibel's book, chapter V, \S 1.9 (http://www.math.rutgers.edu/~weibel/Kbook.html). He calls an exact category $A$ "flasque" if there is a functor $\infty: A \to A$ such that $A \coprod \infty(A) \cong \infty (A)$ and proves that the Quillen K-theory space $K(A)$ of a flasque category $A$ is contractible. Your countable coproduct gives an example. Analogous statements hold more generally for Waldhausen categories and Waldhausen K-theory.

Another result that fits into this context is that if $R$ is a ring, the group of ALL automorphisms of $R^{\infty}$ is acylic (Mac Duff, de la Harpe, "Acyclic groups of automorphisms"). This is proven by an Eilenberg-swindle argument as well.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .