Arthur's multiplicity formula for GSp${}_4$ and restriction to Sp${}_4$

Abstract

We prove the classification of discrete automorphic representations of GSp${}_4$ explained in [Art04], as well as a compatibility between the local Langlands correspondences for GSp${}_4$ and Sp${}_4$ .