The non-abelian Leopoldt conjecture and equalities of -invariants
arXiv:2603.18961
Abstract
Let be a reductive group quasi-split at . Using arguments of Hansen--Thorne, we show that under the non-abelian Leopoldt conjecture (NALC), Hansen's -adic overconvergent cohomology eigenvariety for is étale over its image in weight space at any non-critical classical tempered cuspidal point of `cohomological multiplicity one'. This applies to all non-critical classical cuspidal points if . We then let be a -ordinary regular algebraic cuspidal automorphic representation of such that is Steinberg. Combining the above étaleness result for the classical point attached to , and a local-global compatibility result from our earlier work, we deduce -- under a tangent vector hypothesis that is true for at least half the simple roots -- the equality of Fontaine--Mazur and automorphic -invariants for . Where this assumption is satisfied, we deduce the NALC implies a conjecture of Gehrmann: that automorphic -invariants are independent of cohomological degree. Our approach is inspired by (and generalises) previous work of Gehrmann--Rosso. When is the symmetric power lift of a modular form, we verify all assumptions other than the NALC, and deduce a functoriality result for the automorphic -invariants.
Final version. To appear in Annales mathematiques du Quebec