11
$\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$ Feb 22, 2012 at 0:43

1 Answer 1

14
$\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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.