We prove an analogue of a Gouvêa–Mazur conjecture on local
constancy of dimension of slope subspaces of modular forms on the
upper half plane for automorphic forms on reductive algebraic groups
having discrete series. The proof uses a comparison of Bewersdorff’s elementary trace
formula for pairs of congruent weights and does not make use of methods from
-adic
Banach space theory, overconvergent forms or rigid analytic geometry.
We also compare two Goresky–MacPherson trace formulas computing Lefschetz
numbers on weighted cohomology for pairs of congruent weights; this has an application
to a more explicit version of the Gouvêa–Mazur conjecture for symplectic groups of
rank
.
Keywords
Gouvêa–Mazur conjecture, cohomology of arithmetic groups