Joint distribution of inverses in matrix groups over finite fields

From MaRDI portal
Publication:2336060



Abstract: We study the joint distribution of the solutions to the equation gh=x in G(mathbbFp) as poinfty, for any fixed xinG(mathbbZ), where G=operatornameGLn, operatornameSLn, operatornameSp2n or operatornameSOnpm. In the special linear case, this answers in particular a question raised by S. Hu and Y. Li, and improves their error terms. Similar results are derived in certain subgroups, and when the entries of g,h lie in fixed intervals. The latter shows for example the existence of ginoperatornameGLn(mathbbFp) such that g,g−1 have all entries in [0,cnp1−1/(2n2+2)+varepsilon] for some absolute constant cn>0. The key for these results is to use Deligne's extension of the Weil conjectures on a sheaf on G, along with the stratification theorem of Fouvry, Katz and Laumon, instead of reducing to bounds on classical Kloosterman sums.


The authors study the joint distribution of the solutions \((g, h)\) to the equation \(g.h = x\) in \(G (\mathbb{F}_{p})\) as \(p\rightarrow \infty\), for any fixed \(x \in G (\mathbb{Z})\), where \(G=\mathrm{GL}_{n}, \mathrm{SL}_{n}, \mathrm{Sp}_{2n}\) or \(\mathrm{SO}^{\pm}_{n}\). The main theorems contain uniform distribution results with (good) error terms. The proofs are based on exponential sum estimates, the Erdős-Turán-Koksma inequality, \textit{P. Deligne}'s extension of the Weil conjectures on a sheaf on \(G\) [Publ. Math., Inst. Hautes Étud. Sci. 52, 137--252 (1980; Zbl 0456.14014)] and on a theorem of \textit{É. Fouvry} [Isr. J. Math. 120, Part A, 81--96 (2000; Zbl 1010.11045)], \textit{N. M. Katz} and \textit{G. Laumon} [Publ. Math., Inst. Hautes Étud. Sci. 62, 145--202 (1985; Zbl 0603.14015)].











This page was built for publication: Joint distribution of inverses in matrix groups over finite fields

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