A weighted vertical Sato-Tate law for Maaß forms on ${\mathrm{GSp}}_4$

Félicien Comtat

We prove a weighted Sato-Tate law for the Satake parameters of automorphic forms on ${\mathrm{GSp}}_4$ with respect to a fairly general congruence subgroup $H$ whose level tends to infin…