What problem does this paper attempt to address?

### The problems the paper attempts to solve This paper aims to prove the existence of certain non - abelian base changes, specifically the base change of automorphic representations regarding symmetric power liftings. More precisely, the main theorem of the paper can be stated as follows: **Theorem 1.1**: Let \(\pi\) be a non - CM regular algebraic automorphic representation of \(GL_2(\mathbb{A}_\mathbb{Q})\) and \(n\geq1\). Then for any totally real extension \(F / \mathbb{Q}\), the base change \(BC_{F/\mathbb{Q}}(Sym^{n - 1}\pi)\) of the symmetric power \(Sym^{n-1}\pi\) exists. More specifically, there exists a regular algebraic automorphic representation \(BC_{F/\mathbb{Q}}(Sym^{n - 1}\pi)\) of \(GL_n(\mathbb{A}_F)\) such that for any place \(w\) of \(F\) above a place \(v\) of \(\mathbb{Q}\), we have: \[ rec_{F_w}(BC_{F/\mathbb{Q}}(Sym^{n - 1}\pi)_w)\cong Sym^{n - 1}rec_{\mathbb{Q}_v}(\pi_v)|_{W_{F_w}}. \] In more layman's terms, this paper proves the existence of symmetric power liftings and base changes of the automorphic representations corresponding to non - CM Hecke eigenforms of weight \(k\geq2\). ### Key contributions of the paper 1. **New proof methods**: The author provides new proofs regarding symmetric power liftings and base changes. These proofs are not only applicable to the case where \(F = \mathbb{Q}\), but also extended to any totally real extension \(F/\mathbb{Q}\). 2. **Improved technical means**: The author improves some of the technical means used in previous work. For example, a stronger classicality result (Proposition 3.7) is introduced, and more general level - raising theorems are used. 3. **Potential application value**: These new proofs and technical means provide a solid foundation for further research on similar problems and may be applied to other related fields. ### Mathematical tools involved The paper involves many advanced mathematical tools and techniques, including but not limited to: - **Automorphic representations theory** - **Galois representations** - **Eigenvarieties** - **Symmetric power liftings** - **Base change** Through these tools, the author successfully proves the above - mentioned theorem and provides new perspectives and methods for future research.

Non-abelian base change for symmetric power liftings of holomorphic modular forms

Symmetric power functoriality for Hilbert modular forms

Automorphic Forms with Degenerate Fourier Coefficients

Smith theory and cyclic base change functoriality

Cyclic base change of cuspidal automorphic representations over function fields

A p ‐adic approach to the existence of level‐raising congruences

Modular forms with non-vanishing central values and linear independence of Fourier coefficients

Modular supercuspidal lifts of weight $2$

Families over the integral Bernstein Center and Tate cohomology of local Base change lifts for GL(n, F)

Hilbert modular Eisenstein congruences of local origin

The infinite base change lifting associated to an APF extension of a $p$-adic field

Diagonal cycles and anticyclotomic Iwasawa theory of modular forms

Base change and Iwasawa Main Conjectures for ${\rm GL}_2$

Kolyvagin's conjecture for modular forms

The rationality of Stark-Heegner cycles attached to Bianchi modular forms -- The base-change scenario

Motivic action for Siegel modular forms

Explicit reciprocity laws and Iwasawa theory for modular forms

On the Endomorphism Algebra of Abelian Varieties Associated with Hilbert Modular Forms

Tate cohomology and local base change of generic representations of ${\rm GL}_3$ -- non-banal case

The basis problem for modular forms for the Weil representation

A note on the parity conjecture and base change