We prove that the Cartesian product of two directed cycles of lengths and contains an antidirected Hamilton cycle, and hence is decomposable into antidirected Hamilton cycles, if and only if . For the Cartesian product of directed cycles, we establish new sufficient conditions for the existence of an antidirected Hamilton cycle.