The large sieve with square moduli in function fields

From MaRDI portal



Abstract: We prove a lower and an upper bound for the large sieve with square moduli for function fields. These bounds correspond to bounds for the classical large sieve with square moduli established in arXiv:1812.05844 by Baier, Lynch and Zhao and arXiv:math/0512271 by Baier and Zhao. Our lower bound in the function field setting contradicts an upper bound obtained in arXiv:1802.03131 by Baier and Singh. Indeed, we point out an error in arXiv:1802.03131.


Let \(q\) be an odd prime power, \(\mathbb{F}_q\) be a fixed finite field with \(q\) elements of characteristic \(p\) (prime), \(\mathrm{Tr}: \mathbb{F}_q\to\mathbb{F}_p\) be the trace map, and \(\mathbb{F}_q(t)_\infty\) be the completion of \(\mathbb{F}_q(t)\) at \(\infty\). We define the non-trivial additive character \(E:\mathbb{F}_q\to\mathbb{C}^\times\) by \[ E(x)=\exp\left(\frac{2\pi i}{p}\mathrm{Tr}(x)\right), \] and afterwards, the map \(e:\mathbb{F}_q(t)_\infty\to\mathbb{C}^\times\) by \[ e\left(\sum_{k=-\infty}^n a_kt^k\right)=E(a_{-1}). \] The aim of the paper under review is to find upper and lower bounds for the large sieve with square moduli in function fields, precisely the quantity \[ \sum_{\substack{f\in\mathbb{F}_q[t]\\ \deg f\leq Q}}\,\sum_{\substack{r\,\mathrm{mod}\,f^2\\ \gcd(r,f)=1}}\Big|\sum_{\substack{g\in\mathbb{F}_q[t]\\ \deg g\leq N}}a_g\,e\Big(g.\frac{r}{f^2}\Big)\Big|^2, \] where \(N\) and \(Q\) are positive integers with \(2Q\leq N\leq 4Q\), and \(a_g\in\mathbb{C}\) with \(g\in\mathbb{F}[t]\).











This page was built for publication: The large sieve with square moduli in function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2668930)