Symmetry conjecture for toric periods

Let ϕSNnew(O)\phi\in\mathcal{S}_N^\mathrm{new}(\mathcal{O}) be a normalized Hecke eigenform, let π\pi be the cuspidal representation generated by ϕ\phi, and let Y(D;π)Y(D;\pi) be the set of quadratic fields satisfying the local root-number condition. Let oπ\mathfrak{o}_\pi be the ring of integers of the Hecke field, and define

Px[P(ϕ)=z]=#{EY(D;π)ΔE<x, PE(ϕ)=z}#{EY(D;π)ΔE<x}.\mathbb{P}_x[\mathfrak{P}(\phi)=z]=\frac{\#\{E\in Y(D;\pi)\mid |\Delta_E|<x,\ \mathfrak{P}_E(\phi)=z\}}{\#\{E\in Y(D;\pi)\mid |\Delta_E|<x\}}.

Symmetry conjecture. For x>0x>0 and sufficiently small δ>0\delta>0,

12zoπPx[P(ϕ)=z]Px[P(ϕ)=z]x1δ#{EY(D;π)ΔE<x}.\frac12\sum_{z\in\mathfrak{o}_\pi}\left|\mathbb{P}_x[\mathfrak{P}(\phi)=z]-\mathbb{P}_x[\mathfrak{P}(\phi)=-z]\right|\ll\frac{x^{1-\delta}}{\#\{E\in Y(D;\pi)\mid |\Delta_E|<x\}}.

This predicts asymptotic sign symmetry in the distribution of algebraic toric periods and is supported by numerical experiments; it remains open.

Sources & referencesView supporting material

Primary source

Miyu Suzuki, Satoshi Wakatsuki and Shun'ichi Yokoyama, “Distribution of toric periods of modular forms on definite quaternion algebras”, arXiv:2203.07606 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.