Abstract:Abstract The equation $x^2 + 1 = 0\mod p$ has solutions whenever p = 2 or $4n + 1$. A famous theorem of Fermat says that these primes are exactly the ones that can be described as a sum of two squares. The roots of the former equation are equidistributed is a beautiful theorem of Duke, Friedlander and Iwaniec. The angles associated to the representation of such prime as a sum of squares are equidistributed is a famous theorem of Hecke. We give a natural way to associate between roots and angles and prove that the joint equidistribution of the sequence of pairs of roots and angles is equidistributed as well. Our approach involves an automorphic interpretation, which reduces the problem to the study of certain Poincare series on an arithmetic quotient of $SL_2(\mathbb{R})$. Since our Poincare series have a nontrivial dependence on their Iwasawa θ-coordinate, they do not factor into functions on the upper half plane, as in the case studied by Duke et al. Spectral analysis on these higher dimensional varieties involves the nonspherical spectrum, making this paper the first complete study of a nonspherical equidistribution problem, with an arithmetic application. A couple of notable challenges we had to overcome were that of obtaining pointwise bounds for nonspherical Eisenstein series and utilizing a non-spherical analogue of the Selberg inversion formula, which we believe may have further implications beyond this work.

Local Root Numbers and Spectrum of the Local Descents for Orthogonal Groups: p-adic case

On the spectra of P- and P0-matrices

Local Langlands in families: The banal case

The local Langlands correspondence for GL(n) over p-adic fields

A note on special orthogonal groups following Waldspurger

Hecke algebras for p-adic reductive groups and Local Langlands Correspondences for Bernstein blocks

Kudla–Rapoport Cycles and Derivatives of Local Densities

On $p$-adic Gram-Schmidt Orthogonalization Process

Wavefront sets and descent method for finite symplectic groups

Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions

Converse theorems and the local Langlands correspondence in families

Nilpotent Orbits of Orthogonal Groups over P-Adic Fields, and the DeBacker Parametrization

On local intertwining periods

Topological cyclic homology of local fields

Norm Orthogonal Bases and Invariants of $p$-adic Lattices

On the upper bound of wavefront sets of representations of p-adic groups

A Higher-Dimensional Chevalley Restriction Theorem for Orthogonal Groups

The local converse theorem for odd special orthogonal and symplectic groups in positive characteristic

Fourier-Jacobi models of Deligne-Lusztig characters and depth zero local descent for unitary groups

Sectorial Equidistribution of the Roots of x 2 + 1 Modulo Primes

Fixed locus dimension of diagonalizable $p$-groups