Invariant four-variable automorphic kernel functions
Let $F$ be a number field, let $\mathbb{A}_F$ be its ring of adeles, and let $g_1,g_2,h_1,h_2 \in \mathrm{GL}_2(\mathbb{A}_F)$. Previously the author provided an absolutely convergent geometric expression for the four variable kernel function $$ \sum_π K_π(g_1,g_2)K_{π^{\vee}}(h_1,h_2)L(s,(π\times π^{\vee})^S), $$ where the sum is over isomorphism classes of cuspidal automorphic representations $π$ of $\mathrm{GL}_2(\mathbb{A}_F)$. Here $K_π$ is the typical kernel function representing the action of a test function on the space of the cuspidal automorphic representation $π$. In this paper we show how to use ideas from the circle method to provide an alternate expansion for the four variable kernel function that is visibly invariant under the natural action of $\mathrm{GL}_2(F) \times \mathrm{GL}_2(F)$.