I want to understand how we construct from a modular form $f$ its symmetric power function $Sym^rf.$ I read that there is a particular representation that does this but I am not familiar with this notion so can you explain to me or give me a reference that helps me to understand clearly this application ?
Best wishes,
Khadija 



How to construct the symmetric power function from a modular form?
The standard casual usage of this terminology is itself confusing. To be a little formal, for a modular/automorphic form $f$ on $GL\_2$, the $L$-function (or at least the good-prime factors) looks like $L(s,f)=\prod\_p 1/\det(1\_2-p^{-s}A\_p)$ where $A\_p$ is a two-by-two matrix (or conjugacy class thereof). This gives the quadratic-in-$p^{-s}$ denominator we expect. The symmetric $r$-th power $L$-functions is directly described as a Dirichlet series with Euler product as 
$$ L(s,f,{\rm Sym}^r) \;=\; \prod\_p {1\over \det(1\_r-p^{-s}{\rm Sym}^r A\_p)}
$$
That is, the symmetric power is that of the two-by-two matrices giving local-at-$p$ information.


*Yes*, it is conjectured (Langlands functoriality) that any such multilinear algebra operations on the local data $A\_p$ produces the standard $L$-function attached to a cuspform on $GL\_n$ of the right size to have the (good-prime) $L$-factors be of the proper degree in $p^{-s}$. This is not known in many cases...


That is, on one hand, the symmetric power $L$-function is set up rather trivially and definitionally, via the symmetric power of the two-dimensional repn of $GL\_2$, in which the local data $A\_p$ sits, for every $p$. On the other hand, while we imagine/hope that there really is an automorphic form whose standard $L$-function is that "defined" one, we do not know that this is so. That is, we do not generally know that there is an automorphic *representation* producing that $L$-function.


