### Holomorphic K-theory, algebraic co-cycles, and loop groups, by Ralph L. Cohen and Paulo Lima-Filho

In this paper we study the ``holomorphic K-theory" of a projective variety.
This theory is defined in terms of the homotopy type of spaces of holomorphic
maps from the variety to Grassmannians and loop groups. This theory was
introduced by Lawson, Lima-Filho and Michelsohn, and also by Friedlander and
Walker, and a related theory was considered by Karoubi. Using the Chern
character studied by the authors in a companion paper, we show that there is
a rational isomorphism between holomorphic K-theory and the appropriate
"morphic cohomology", defined by Lawson and Friedlander. In doing so, we
describe a geometric model for rational morphic cohomology groups in terms of
algebraic maps from the variety to the ``symmetrized loop group"
Omega U(n) / Sigma_n where the symmetric group Sigma_n acts on U(n) via
conjugation. This is equivalent to studying algebraic maps to the quotient
of the infinite Grassmannians BU(k) by a similar symmetric group action. We
then prove a conjecture of Friedlander and Walker stating that if one
localizes holomorphic K-theory by inverting the Bott class, then it is
rationally isomorphic to topological K-theory. Finally we produce explicit
obstructions to periodicity in holomorphic K-theory, and show that these
obstructions vanish for generalized flag manifolds.

Ralph L. Cohen <ralph@math.stanford.edu>

Paulo Lima-Filho <plfilho@math.tamu.edu>