Optimal strong approximation for quadrics over F_q [t]

DOI10.1016/J.AIM.2022.108852MaRDI QIDQ2679897zbMATH OpenOpenAlexFDO

Authors Naser Talebizadeh Sardari, Masoud Zargar

Publication date 26 January 2023

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.07839

circle method function fields optimal strong approximation Ramanujan graphs

Distance in graphs (05C12) Quadratic forms over global rings and fields (11E12) Varieties over global fields (11G35) Applications of the Hardy-Littlewood method (11P55) Arithmetic theory of algebraic function fields (11R58) Hasse principle, weak and strong approximation, Brauer-Manin obstruction (14G12)

Review text

Let \(\mathcal O=\mathbb F_q[t]\) be the polynomial ring over the finite field \(\mathbb F_q\) with \(q\) elements, where \(q\) is a fixed odd prime power, let \(F({\mathbf x})\) be a non-degenerate quadratic form of discriminant \(\Delta\) over \(\mathcal O\) in \(d\geq 4\) variables \(\mathbf{x}=(x_1,\ldots,x_d)\), and let \(f\in \mathcal O\). In this paper, the authors study the optimal strong approximation problem for the quadric \(X_f\) given by the equation \(F(\mathbf{x})=f\). That is, given \(g\in \mathcal O\) and \(\boldsymbol{\lambda} =(\lambda_1,\ldots,\lambda_d)\in \mathcal O^d\), they consider solutions \(\mathbf{x}=(x_1,\ldots,x_d)\in \mathcal O^d\) to the equation \(F(\mathbf{x})=f\) for which \(\mathbf{x}\equiv \boldsymbol{\lambda} \mbox{ mod }g\) (that is, \(x_i \equiv \lambda_i \mbox{ mod }g\) for all \(i=1,\ldots,d\)). Necessary local local conditions for such a solution are that \(X_f(\mathbb F_q((1/t)))\neq \emptyset\) and, for all irreducible \(\varpi \in \mathcal O\), \(F(\mathbf{x})=f\) has a solution \(\mathbf{x}_{\varpi}\in \mathcal O_{\varpi}^d\) such that \(\mathbf{x}_{\varpi} \equiv \boldsymbol{\lambda}\mbox{ mod }\varpi^{\mbox{ord}_{\varpi}(g)}\). The main strong approximation result obtained (Theorem 1.1) is as follows. Let \(\varepsilon >0\) be given, let \(f,g\) be polynomials in \(\mathcal O\) for which the irreducible divisors of \(\Delta\) appear with bounded multiplicity in \(fg\), and let \(\boldsymbol{ \lambda}\in \mathcal O^d\). Suppose that the necessary local conditions for a solution are satisfied. Then there is a constant \(C_{\varepsilon,F}\), independent of \(f\), \(g\) and \(\boldsymbol{\lambda}\), such that if \(d\geq 5\) and \(\mbox{deg }f \geq (4+\varepsilon)\mbox{deg }g+C_{\varepsilon,f}\), then there exists \(\mathbf{x}\in \mathcal O^d\) such that \(F(\mathbf{x})=f\) and \(\mathbf{x}\equiv \boldsymbol{\lambda}\mbox{ mod }g\). In the case \(d=4\), the same result holds with \((4+\varepsilon)\) replaced by \((6+\varepsilon)\). The method of proof is based on a version of the circle method that was developed by \textit{D. R. Heath-Brown} over the integers [J. Reine Angew. Math. 481, 149--206 (1996; Zbl 0857.11049)] and further developed in a paper of the first author [Duke Math. J. 168, 1887--1927 (2019; Zbl 1443.11030)] to prove an optimal strong approximation result for quadratic forms over the integers. In the present paper, the authors extend the circle method over function fields by proving a stationary phase theorem that allows them to bound certain oscillatory integrals that appear in the circle method. The result obtained is optimal for \(d\geq 5\). The strong approximation result stated above is used to give a new proof, independent of the Ramanujan conjecture over function fields, that the diameter of a \(k\)-regular Morgenstern Ramanujan graph \(G\) is bounded above by \((2+\varepsilon)\log_{k-1}|G|+O_{\varepsilon}(1)\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Optimal strong approximation for quadrics over \(\mathbb{F}_q [t]\)

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