Skip to main content
1 of 2
Peter Humphries
  • 8.4k
  • 3
  • 51
  • 75

You need to do this via a local argument. A good reference for local components of $\mathrm{GL}_2 \times \mathrm{GL}_2$ automorphic representations is Gelbart and Jacquet, "A relation between automorphic representations of $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$". For just the $\mathrm{GL}_2$ theory, see Schmidt, "Some remarks on local newforms for $\mathrm{GL}(2)$".

At all primes $v \nmid pq$, the local epsilon factors and conductor exponents are trivial.

The local component of $f$ at $p$ is a principal series representation $\pi_{f,p} = \omega_{f,p,1} \boxplus \omega_{f,p,2}$, where $\omega_{f,p,1}, \omega_{f,p,2}$ are character of $\mathbb{Q}_p^{\times}$ of conductor exponent $c(\omega_{f,p,1}) = 1$ and $c(\omega_{f,p,2}) = 0$, while the local component of $g$ is a spherical principal series representation $\pi_{g,p} = \omega_{g,p,1} \boxplus \omega_{g,p,2}$ with both characters unramified, so that $c(\omega_{g,p,1}) = c(\omega_{f,p,2}) = 0$. Then \[\pi_{f,p} \times \pi_{g,p} = \omega_{f,p,1} \omega_{g,p,1} \boxplus \omega_{f,p,1} \omega_{g,p,2} \boxplus \omega_{f,p,2} \omega_{g,p,1} \boxplus \omega_{f,p,2} \omega_{g,p,2}.\] The conductor exponent is \[c(\pi_{f,p} \otimes \pi_{g,p}) = c(\omega_{f,p,1} \omega_{g,p,1}) + c(\omega_{f,p,1} \omega_{g,p,2}) + c(\omega_{f,p,2} \omega_{g,p,1}) + c(\omega_{f,p,2} \omega_{g,p,2}) = 2.\] The epsilon factor $\epsilon_p(s,\pi_{f,p} \otimes \pi_{g,p},\psi_p)$ is \[\epsilon_p(s,\omega_{f,p,1} \omega_{g,p,1},\psi_p) \epsilon_p(s,\omega_{f,p,1} \omega_{g,p,2},\psi_p) \epsilon_p(s,\omega_{f,p,2} \omega_{g,p,1},\psi_p) \epsilon_p(s,\omega_{f,p,2} \omega_{g,p,2},\psi_p),\] which is \[\epsilon_p(s,\pi_p,\psi_p)^2.\] (See Proposition 1.4 of Gelbart and Jacquet and equations (4) and (6) of Schmidt and use the fact that $g$ has trivial nebentypus means that $\omega_{g,p,1}(p) \omega_{g,p,2}(p) = 1$.)

The local components of $f$ and $g$ at $q$ are special representations $\pi_{f,q} = \omega_{f,q} \mathrm{St}_q$ $\pi_{g,q} = \omega_{g,q} \mathrm{St}_q$ with $\omega_{f,q}, \omega_{g,q}$ characters of $\mathbb{Q}_q^{\times}$ that are unramified and either trivial or quadratic. The conductor exponent of $c(\pi_{f,q} \otimes \pi_{g,q})$ is $2$, and the epsilon factor $\epsilon_q(s,\pi_{f,q} \otimes \pi_{g,q},\psi_q)$ is \[\epsilon_q(s,\omega_{g,q} \omega_{f,q} \mathrm{St}q, \psi_q) \epsilon_q(s,\omega{g,q}^{-1} \omega_{f,q} \mathrm{St}q, \psi_q) = \epsilon_q(s,\pi{f,q}, \psi_q)^2 = \epsilon_q(s,\pi_{g,q}, \psi_q)^2.\]

Peter Humphries
  • 8.4k
  • 3
  • 51
  • 75