  We study universal families of stable genus two curves with level structure.
Among other things, it is shown that the (1,1) part is spanned by divisor
classes, and that there are no cycles of type (2,2) in the third cohomology of
the first direct image. Using this, we deduce the Hodge and Tate conjectures
hold for these varieties.
