Small zeros of quadratic forms over algebraic function fields

From MaRDI portal





Every quadratic form \(q\) of rank \(n\) defined over \(\mathbb{Z}\) that is isotropic as a form over \(\mathbb{Q}\) has a nontrivial zero \(a\in \mathbb{Z}^n\). \textit{J. W. S. Cassels} [Proc. Camb. Philos. Soc. 52, 604 (1956; Zbl 0071.27204)] gave an estimate for the absolute values of the components of a minimal such zero. In subsequent research this result has been extended from the ring \(\mathbb{Z}\) and the field \(\mathbb{Q}\) to other domains and quotient fields. The case of an algebraic function field \(K\) of one variable over an arbitrary field \(k\) remained open. The author fills this gap. Two related questions are studied: For any finite set \(S\) of places of \(K\) over \(k\), the ring \(R(S)\) consists of the functions having poles at most at the places of \(S\). If \(q\) is defined and isotropic over \(K\), then there exists a nontrivial zero whose components belong to \(R(S)\). The author determines an upper bound for the smallest degree of the pole divisors of these zeros. Supposing that \(q\) is defined over \(k\) and, as a form over \(K\), represents an element \(t\in K^\times\), the smallest degree of the pole divisor of an element \(u\in K^n\) with \(q(u)=t\) is bounded from above.











This page was built for publication: Small zeros of quadratic forms over algebraic function fields

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