Comparing Hecke eigenvalues for pairs of automorphic representations for GL(2)
Kin Ming Tsang
TL;DR
The article investigates how local comparisons of Hecke eigenvalues for pairs of GL2 automorphic representations constrain global isomorphism, focusing on the lower Dirichlet density of places where $|a_v(\pi_1)|$ and $|a_v(\pi_2)|$ differ or satisfy inequalities. By analyzing products and adjoint lifts via Rankin–Selberg and symmetric power L-functions, and classifying pairs into dihedral and non-dihedral (including solvable polyhedral types), the authors prove a robust lower bound $\underline{\delta}(S_*^{>}(\pi_1,\pi_2)) \geq \tfrac{1}{16}$ for non-twist-equivalent pairs, and derive refined bounds in dihedral and mixed-dihedral cases. The results also yield improvements over prior bounds (e.g., Wong) for densities of places where $|a_v(\pi_1)| \neq |a_v(\pi_2)|$, and the paper demonstrates sharpness of several bounds through explicit tetrahedral and dihedral examples. Overall, the work advances quantitative strong multiplicity-type statements for GL2 by leveraging automorphy of symmetric powers and adjoint lifts, with potential implications for understanding global equivalence from local data. $L$-functions and density estimates are presented with precise pole-structure analyses at $s=1$, tying local trace inequalities to global arithmetic in a nuanced, case-by-case framework.
Abstract
We consider a variant of the strong multiplicity one theorem. Let $π_{1}$ and $π_{2}$ be two unitary cuspidal automorphic representations for $\mathrm{GL(2)}$ that are not twist-equivalent. We find a lower bound for the lower Dirichlet density of the set of places for which $\left\lvert a_{v}(π_{1}) \right\rvert > \left\lvert a_{v}(π_{2}) \right\rvert$, where $a_{v}(π_{i})$ is the trace of Langlands conjugacy class of $π_{i}$ at $v$. One consequence of this result is an improvement on the existing bound on the lower Dirichlet density of the set of places for which $\left\lvert a_{v}(π_{1})\right\rvert \neq \left\lvert a_{v}(π_{2}) \right\rvert$.
