Eigenvarieties and p-adic propagation of automorphy

Functoriality is a key feature in Langlands’ conjectured relationship between automorphic representations and Galois representations; it predicts that certain Galois representations are automorphic, i.e. should come from automorphic representations. We discuss the idea of $p$-adic propagation of automorphy, which seeks to establish the automorphy of everything in a “neighborhood” given the automorphy of something in that neighborhood. The “neighborhoods” that we consider will be the irreducible components of a $p$-adic analytic space called the eigenvariety, which parameterizes $p$-adic automorphic representations. This technique was introduced by Newton and Thorne in their proof of symmetric power functoriality, and can be adapted to investigate similar problems.