Selberg's orthogonality conjecture and symmetric power \(L\)-functions (Q2162833)

Let \(S\) be the Selberg class which consists of functions \(F(s)\) of a complex variable \(s\) enjoying certain analytic properties such that \(F(s)=\sum_n a_nn^{-s}\) is a Dirichlet series with \(a_n\ll n^\varepsilon\) for any \(\varepsilon>0\). Furthermore, \(F\) has an analytic continuation to an entire function, except possibly for a pole at \(s=1\), and suppose there is a functional equation of the usual type. Suppose further that \(\log F(s)\) also has a Dirichlet series \(\sum b_nn^{-s}\) with \(b_n\) supported on the prime powers, and satisfying \(b_n\ll n^\theta\) for some \(\theta <\frac{1}{2}\). There are various conjectures on such functions which can be viewed as a very low-brow alternative to the Langlands philosophy. A function \(F \in S\) is called primitive if for any \(F_1\), \(F_2 \in S\) satisfying the equation \(F = F_1F_2\), one has either \(F = F_1\) or \(F = F_2\). The primitive functions are the building blocks of \(S\). In the paper under review, the author shows that assuming the Selberg Orthonormality Conjecture (SOC) the \(L\)-functions \(L(s, \mathrm{Sym}^m \pi)\) and \(L(s, \mathrm{Sym}^m \pi \times \chi)\) are primitive functions in \(S\), where \(\pi\) is a cuspidal representation of \(\mathrm{GL}_2(\mathbb{A}_\mathbb{Q})\) defined by a non-CM holomorphic newform of weight \(\omega \geq 2\), \(K/\mathbb{Q}\) is a totally real Galois extension with Galois group \(G\), and \(\chi\) is an irreducible character of \(G\).