  This paper contains the details and complete proofs of our earlier
announcement in math.AG/9907004 .
  We construct a general semiregularity map for algebraic cycles as asked for
by S. Bloch in 1972. The existence of such a semiregularity map has well known
consequences for the structure of the Hilbert scheme and for the variational
Hodge conjecture. Aside from generalizing and extending considerably previously
known results in this direction, we give new applications to deformations of
modules that encompass, for example, results of Artamkin and Mukai.
  The formation of the semiregularity map here involves powers of the cotangent
complex, Atiyah classes, and trace maps, and is defined not only for subspaces
of manifolds but for perfect complexes on arbitrary complex spaces. It
generalizes in particular Illusie's treatment of the Chern character to the
analytic context and specializes to Bloch's earlier description of the
semiregularity map for locally complete intersections as well as to the
infinitesimal Abel-Jacobi map for submanifolds.
