On the multiplicativity of quantum cat maps

The quantum mechanical propagators of the linear automorphisms of the two-torus (cat maps) determine a projective unitary representation of the theta group, known as Weil's representation. We prove that there exists an appropriate choice of phases in the propagators that defines a proper representation of the theta group. We also give explicit formulae for the propagators in this representation.