On the irreducibility of arithmetic cycles