Small Zeros of Quadratic Forms over the Algebraic Closure of Q
نویسنده
چکیده
Let N ≥ 2 be an integer, F a quadratic form in N variables over Q, and Z ⊆ Q N an L-dimensional subspace, 1 ≤ L ≤ N . We prove the existence of a small-height maximal totally isotropic subspace of the bilinear space (Z, F ). This provides an analogue over Q of a well-known theorem of Vaaler proved over number fields. We use our result to prove an effective version of Witt decomposition for a bilinear space over Q. We also include some related effective results on orthogonal decomposition and structure of isometries for a bilinear space over Q. This extends previous results of the author over number fields. All bounds on height are explicit.
منابع مشابه
Height Bounds on Zeros of Quadratic Forms Over Q-bar
In this paper we establish three results on small-height zeros of quadratic polynomials over Q. For a single quadratic form in N ≥ 2 variables on a subspace of Q , we prove an upper bound on the height of a smallest nontrivial zero outside of an algebraic set under the assumption that such a zero exists. For a system of k quadratic forms on an L-dimensional subspace of Q , N ≥ L ≥ k(k+1) 2 + 1,...
متن کاملSearch Bounds for Zeros of Polynomials over the Algebraic Closure of Q
We discuss existence of explicit search bounds for zeros of polynomials with coefficients in a number field. Our main result is a theorem about the existence of polynomial zeros of small height over the field of algebraic numbers outside of unions of subspaces. All bounds on the height are explicit.
متن کاملHeights and quadratic forms: Cassels’ theorem and its generalizations
In this survey paper, we discuss the classical Cassels’ theorem on existence of small-height zeros of quadratic forms over Q and its many extensions, to different fields and rings, as well as to more general situations, such as existence of totally isotropic small-height subspaces. We also discuss related recent results on effective structural theorems for quadratic spaces, as well as Cassels’-...
متن کاملWitt rings of quadratically presentable fields
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...
متن کاملSmall Zeros of Quadratic Forms with Linear Conditions
where H here stands for height of x and F , respectively. This generalizes a well known result of Cassels [2] about the existence of small zeros of quadratic forms with rational coefficients to the existence of small zeros of quadratic polynomials with rational coefficients. We generalize Masser’s result in the following way. Let K be a number field of degree d over Q. Let the coefficients fij ...
متن کامل