Monodromy and irreducibility of type A₁ automorphic Galois representations | Synapse