Higher rank arithmetic groups which are not invariably generated

It was conjectured in [KLS14] that for arithmetic groups, Invariable Generation is equivalent to the Congruence Subgroup Property. In view of the famous Serre conjecture this would imply that higher rank arithmetic groups are invariably generated. In this paper we prove that some higher rank arithmetic groups are not invariably generated.