Sums of multidimensional Kloosterman sums

For a positive integer \(q\geq 2\), let \(\mathbb{Z}_q\) be the residue class ring modulo \(q\) and denote by \(\mathbb{Z}_q^*\) its unit group. Denote by \(\overline{x}\) the inverse of the residue class \(x\in \mathbb{Z}_q^*\), and for any non-zero integers \(m,n_1,\ldots ,n_s\), define the multidimensional Kloosterman sum \[\mathcal{K}_q(m;n_1,\ldots ,n_s)=\sum_{x_1,\ldots ,x_s\in \mathbb{Z}_q^*}e_q(mx_1\cdots x_s+n_1\overline{x_1}+\cdots +n_s\overline{x_s}),\] where \(e_q(z):=\exp (2\pi iz/q)\). Take subsets \(\mathcal{M}=\{ v+1,\ldots, v+M\}\), \(\mathcal{N}_j=\{ w_j+1,\ldots ,w_j+N_j\}\) \((j=1,\ldots ,s)\) of \(\{ 1,\ldots q-1\}\) and consider these as subsets of \(\mathbb{Z}_q\). Define the following sum of Kloosterman sums: \[ \mathcal{S}_q(\mathcal{M},\mathcal{N}_1,\ldots \mathcal{N}_s):= \sum_{m\in\mathcal{M}}\sum_{n_1\in\mathcal{N}_1}\cdots \sum_{n_s\in\mathcal{N}_s} \mathcal{K}_q(m;n_1,\ldots ,n_s).\] The author deduces the following non-trivial upper bound: \[ \vert \mathcal{S}_q(\mathcal{M},\mathcal{N}_1,\ldots \mathcal{N}_s)\vert \leq q^{s+o(1)}+MN_1\cdots N_sq^{o(1)}\ \ \text{as }q\to\infty ,\] which in various cases generalizes and improves some bounds from the literature. The proof is elementary.

Cites work

This page was built for publication: Sums of multidimensional Kloosterman sums

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