The Ratios Conjecture for local averages of three-cube sums

About 2 years old · traced to

Fix a real M⩾0M\geqslant 0. Let a∈O6\bm{a}\in \mathcal{O}^6 and d∈O+d\in \mathcal{O}^+ with ∣a∣,∣d∣⩽M^\lvert \bm{a}\rvert,\lvert d\rvert\leqslant \widehat M. Let b∈K∞6\bm{b}\in K_\infty^6 with ∣b∣⩽1\lvert \bm{b}\rvert\leqslant 1. Let AF,1a,d(s)A_{F,1}^{\bm{a},d}(s) be the Euler product defined from the local averages μˉF,1a,d(r)\bar{\mu}_{F,1}^{\bm{a},d}(r), and write s=β+σ(Z)+iτs=\beta+\sigma(Z)+i\tau. The Ratios Conjecture. There exists β=βM(Z)∈[0,1]\beta=\beta_M(Z)\in[0,1] such that, uniformly over Z∈NZ\in\mathbb{N} and τ∈R\tau\in\mathbb{R},

∑c∈S1c≡amodd∣c−tZb∣⩽Z^/M^Φc,1(s)=∑c∈S1c≡amodd∣c−tZb∣⩽Z^/M^(1+O(gZ^−3β)) AF,1a,d(s),\sum_{\substack{\bm{c}\in \mathcal{S}_1 \\ \bm{c}\equiv\bm{a}\bmod{d} \\ \lvert\bm{c}-t^Z\bm{b}\rvert\leqslant\widehat Z/\widehat M}}\Phi^{\bm{c},1}(s)=\sum_{\substack{\bm{c}\in \mathcal{S}_1 \\ \bm{c}\equiv\bm{a}\bmod{d} \\ \lvert\bm{c}-t^Z\bm{b}\rvert\leqslant\widehat Z/\widehat M}}(1+O(g\widehat Z^{-3\beta}))\,A_{F,1}^{\bm{a},d}(s),

for some function g=gM(Z)→0g=g_M(Z)\to0 as Z→∞Z\to\infty. This is the paper's Ratios Conjecture prediction, expressing the averaged ratio through the leading Euler-product constant; the stated parser status is unknown, so its resolution is not established by the supplied material.

References

Primary source

Tim Browning, Jakob Glas and Victor Y. Wang, “Optimal sums of three cubes in F_q[t]”, arXiv:2408.03668 (2024).

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.