Automorphy of Symm^5(GL(2)) and base change

DOI10.1016/J.MATPUR.2015.03.010MaRDI QIDQ496419zbMATH OpenOpenAlexFDO

Authors Luis Dieulefait

Publication date 21 September 2015

Published in Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.3946

zbMATH Keywords

automorphic formsGalois representationsLanglands functoriality

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Congruences for modular and (p)-adic modular forms (11F33) Galois representations (11F80) Langlands-Weil conjectures, nonabelian class field theory (11R39)

Abstract: We prove that for any Hecke eigenform f of level 1 and arbitrary weight there is a self-dual cuspidal automorphic form $pi$ of $G{L}_6(Q)$ corresponding to $Sym{m}^5(f)$, i.e., such that the system of Galois representations attached to $pi$ agrees with the 5-th symmetric power of the one attached to f. We also improve the base change result that we obtained in a previous work: for any newform f, and any totally real number field F (no extra assumptions on f or F), we prove the existence of base change relative to the extension $F/Q$. Finally, we combine the previous results to deduce that base change also holds for $Sym{m}^5(f)$: for any Hecke eigenform f of level 1 and any totally real number field F, the automorphic form corresponding to $Sym{m}^5(f)$ can be base changed to F.

Review text

The main result of the paper is an automorphy result for \(\mathrm{Symm}^5\). Let \(f\) be a level 1 cuspform of \(\mathrm{GL}_2(\mathbb{Q})\). If \(\rho\) is the Galois representation attached to \(f\), then \(\mathrm{Symm}^5(\rho)\) is automorphic. Moreover its restriction to any totally real field is still automorphic. The author strengthens his previous result [Ann. Math. (2) 176, No. 2, 1015--1038 (2012; Zbl 1288.11054)] and proves the base change for classical cuspidal modular forms in full generality: Let \(f\) be a newform of arbitrary level and weight \(k \geq 2\). Let \(F\) be any totally real field. Then \(f\) can be lifted to \(F\), i.e., there is a Hilbert newform \(f'\) over \(F\) whose associated Galois representation is isomorphic to the restriction to \(\mathrm{Gal}(\bar{F}/F)\) of the Galois representation attached to \(f\). The key technique used for proving these results stems from the author's previous work on base change for \(\mathrm{GL}_2\) where he used safe chains, i.e., series of congruences between two different newforms. A precise definition of this term depends on the context because one wants to use congruences which allow the use of automorphy lifting theorems after one passes from one form (which is known to be automorphic) to the other (whose automorphy we want to prove). The author constructs in this paper a safe chain between any pair of newforms.

Recommendations

• An example of non-normal quintic automorphic induction and modularity of symmetric powers of cusp forms of icosahedral type
• scientific article; zbMATH DE number 4089816
• Strong Multiplicity Theorems for GL(n)
• Solvable base change
• Publication:4864682
• Level-raising and symmetric power functoriality. III.
• Mod p Base Change transfer for GL(2)
• scientific article; zbMATH DE number 1016459
• Modular forms over the cyclotomic \(\mathbb Z_p\)-extension of \(\mathbb Q\)
• scientific article; zbMATH DE number 4116625

Cites work

• A 2-adic automorphy lifting theorem for unitary groups over CM fields
• A finiteness property of abelian varieties with potentially ordinary good reduction
• A relation between automorphic representations of ${\rm GL}(2)$ and ${\rm GL}(3)$
• Adequate groups of low degree
• Adequate subgroups and indecomposable modules
• Adequate subgroups. II
• An example of non-normal quintic automorphic induction and modularity of symmetric powers of cusp forms of icosahedral type
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. With Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-France Vignéras.
• Companion forms for unitary and symplectic groups
• Construction of some families of 2-dimensional crystalline representations
• Die adjungierten Darstellungen der Chevalley-Gruppen
• Extensions for finite Chevalley groups. I.
• Functorial products for \(\text{GL}_2\times \text{GL}_3\) and the symmetric cube for \(\text{GL}_2\).
• scientific article; zbMATH DE number 2005671 (Why is no real title available?)
• scientific article; zbMATH DE number 2019767 (Why is no real title available?)
• scientific article; zbMATH DE number 2066341 (Why is no real title available?)
• Langlands base change for \(\mathrm{GL}(2)\)
• Level raising and symmetric power functoriality. II
• Modularity of 2-adic Barsotti-Tate representations
• Moduli of finite flat group schemes, and modularity
• Notes on modularity lifting in the ordinary case
• on l-adic representations attached to modular forms II
• On a conjecture of Conrad, Diamond, and Taylor
• On Artin's conjecture for odd 2-dimensional representations
• On the automorphy of l-adic Galois representations with small residual image. With an appendix by Robert Guralnick, Florian Herzig, Richard Taylor and Jack Thorne
• Potential automorphy and change of weight
• Rational and generic cohomology
• Remarks on Serre's modularity conjecture
• Serre weights for rank two unitary groups
• Serre's modularity conjecture. I
• Serre's modularity conjecture: the level one case
• Shifted generic cohomology.
• The Breuil-Mézard conjecture for non-scalar split residual representations
• The Breuil-Mézard conjecture for potentially Barsotti-Tate representations
• The Fontaine-Mazur conjecture for $ {GL}_2$
• The level 1 case of Serre's conjecture revisited
• The Projective Indecomposable Modules of SL(2, p ⁿ )
• The weight in Serre's conjectures on modular forms

Cited in

(30)

• On the number of Galois orbits of newforms
• Symmetric power functoriality for holomorphic modular forms
• Average behaviour of higher moments of cusp form coefficients
• On the simultaneous sign changes of Hecke eigenvalues over an integral binary quadratic form
• Sign changes and nonvanishing of Fourier coefficients of holomorphic cusp forms
• Automorphy of \(m\)-fold tensor products of GL(2)
• Raising the level at your favorite prime
• Some density results on sets of primes for Hecke eigenvalues
• Automorphic forms, geometry and arithmetic. Abstracts from the workshop held August 22--28, 2021 (hybrid meeting)
• Langlands base change for \(\mathrm{GL}(2)\)
• Representation of finite groups: conjectures, reductions, and applications.
• scientific article; zbMATH DE number 7556163 (Why is no real title available?)
• Asymptotics for the Dirichlet coefficients of symmetric power \(L\)-functions
• Adequate subgroups and indecomposable modules
• scientific article; zbMATH DE number 7674544 (Why is no real title available?)
• scientific article; zbMATH DE number 7688064 (Why is no real title available?)
• Reciprocity in the Langlands program since Fermat's last theorem
• A p$p$‐adic approach to the existence of level‐raising congruences
• The general divisor problem of higher moments of coefficients attached to the Dedekind zeta function
• Modular supercuspidal lifts of weight 2
• Low-lying zeros of symmetric power L-functions weighted by symmetric square L-values
• On higher power moments of coefficients of Dedekind zeta function twisted by Fourier coefficients of cusp forms
• On the general divisor problem associated to higher power moments of the coefficients of the Dedekind zeta function
• Sign changes in short intervals related to Rankin-Selberg L-functions in the level aspect
• The asymptotics of coefficients of Dedekind zeta functions on certain integral binary quadratic forms
• On a divisor problem associated to Dedekind zeta function over certain quadratic forms
• On a certain multidimensional general divisor problem associated to coefficients of Dedekind zeta function
• The Ramanujan and Sato-Tate conjectures for Bianchi modular forms
• The distribution of coefficients attached to the Dedekind zeta function over certain sparse sequences
• On sign changes of the Fourier coefficients of symmetric power L-functions

This page was built for publication: Automorphy of \(\mathrm{Symm}^5(\mathrm{GL}(2))\) and base change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496419)