Related papers: Universal quadratic forms over semi-global fields

The u-invariant of a field is the supremum of the dimensions of anisotropic quadratic forms over the field. We define corresponding u-invariants for hermitian and generalised quadratic forms over a division algebra with involution in…

This paper presents an adaptation of recently developed algorithms for quadratic forms over number fields in arXiv:1304.0708 to global function fields of odd characteristics. First, we present algorithm for checking if a given…

Let F be a field of characteristic different from 2. The u-invariant and the Hasse number of a field F are classical and important field invariants pertaining to quadratic forms. These invariants measure the suprema of dimensions of…

Let $k$ be a positive integer and let $F$ be a finite unramified extension of $\mathbb{Q}_2$ with ring of integers $\mathcal{O}_F$. An integral (resp. classic) quadratic form over $\mathcal{O}_F$ is called $k$-universal (resp. classically…

For all positive integers $k$ and $N$ we prove that there are infinitely many totally real multiquadratic fields $K$ of degree $2^k$ over $\mathbb Q$ such that each universal quadratic form over $K$ has at least $N$ variables.

The u-invariant of a field is the largest dimension of an anisotropic quadratic torsion form over the field. In this article we obtain a bound on the u-invariant of function fields in one variable over a henselian valued field with…

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given…

A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case…

For quadratic forms in $4$ variables defined over the rational function field in one variable over $\mathbb C(\!(t)\!)$, the validity of the local-global principle for isotropy with respect to different sets of discrete valuations is…

This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if a given non-degenerate quadratic form over a fixed number…

We prove that the set of anisotropic quadratic forms over global fields of characteristic different from 2 is a diophantine set. Our proof builds upon and extends the method of Koenigsmann, using tools from class field theory, the…

An integral quadratic lattice is called indefinite $k$-universal if it represents all integral quadratic lattices of rank $k$ for a given positive integer $k$. For $k\geq 3$, we prove that the indefinite $k$-universal property satisfies the…

We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption…

We use the Witt index to define and study a refined notion of the local-global principle for isotropy of quadratic forms over a field $k$ and to define and study refined versions of the $m$-invariant of $k$. We also explore connections…

A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary…

We study some properties of quadratic forms with values in a field whose underlying vector spaces are endowed with the structure of right vector spaces over a division ring extension of that field. Some generalized notions of isotropy,…

Let $ n \ge 2$ be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be $ n $-universal by using invariants from Beli's theory of bases of norm generators. Also, we provide a…

We present a complete suite of algorithms for finding isotropic vectors of quadratic forms (of any dimension) over an arbitrary global field of characteristic different from 2. This is a new version with numerous changes and improvements.

It is well known that every non-degenerate quadratic form admits a decomposition into an orthogonal sum of its anisotropic part and a hyperbolic form. This decomposition is unique up to isometry. In this paper we present an algorithm for…

We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result…