  This article - a part of a multipaper project investigating arithmetic mean
ideals - investigates the codimension of commutator spaces [I, B(H)] of
operator ideals on a separable Hilbert space, i.e., ``How many traces can an
ideal support?" We conjecture that the codimension can be only zero, one, or
infinity. Using the arithmetic mean (am) operations on ideals introduced by
Dykema, Figiel, Weiss, and Wodzicki, and the analogous am operations at
infinity that we develop in this article, the conjecture is proven for all
ideals not contained in the largest am-infinity stable ideal and not containing
the smallest am-stable ideal. It is also proven for all soft-edged ideals
(i.e., I= IK(H)) and all soft-complemented ideals (i.e., I= I/K(H)), which
include many classical operator ideals. In the process, we prove that an ideal
of trace class operators supports a unique trace (up to scalar multiples) if
and only if it is am-infinity stable and that, for a principal ideal,
am-infinity stability is equivalent to regularity at infinity of the sequence
of s-numbers of the generator. Furthermore, we apply trace extension methods to
two problems on elementary operators studied by V. Shulman and to
Fuglede-Putnam type problems of the second author.
