Related papers: Isotropy of 5-dimensional quadratic forms over the…

We extend to characteristic two recent results about isotropy of quadratic forms over function fields. In particular, we provide a characterization of function fields not only of quadratic forms but also more generally of polynomials in…

Over a field of characteristic 2, we give a complete classification of quadratic and bilinear forms of dimension 5 that are minimal over the function field of an arbitrary conic. This completes the unique known case due to Faivre concerning…

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.

A fundamental result of Springer says that a quadratic form over a field of characteristic not 2 is isotropic if it is so after an odd degree extension. In this paper we generalize Springer's theorem as follows. Let R be a an arbitrary…

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 $p$ and $q$ be anisotropic quadratic forms of dimension $\geq 2$ over a field $F$. In a recent article, we formulated a conjecture describing the general constraints which the dimensions of $p$ and $q$ impose on the isotropy index of…

A strong consequence of quadratic forms becoming hyperbolic over the function field of a form is established. This result is invoked to obtain a new characterisation of hyperbolicity over function fields, and to recover a number of…

In this paper we study symplectic involutions and quadratic pairs that become hyperbolic over the function field of a conic. In particular, we classify them in degree 4 and deduce results on 5 dimensional minimal quadratic forms, thus…

We investigate diagonal forms of degree $d$ over the function field $F$ of a smooth projective $p$-adic curve: if a form is isotropic over the completion of $F$ with respect to each discrete valuation of $F$, then it is isotropic over…

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…

The paper presents a classification of quadratic extension algebras, also known as algebras of degree 2, as well as several characterizations of quaternion algebras over a field (of characteristic not 2). The presentation is not restricted…

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,…

We offer some elementary characterisations of group and round quadratic forms. These characterisations are applied to establish new (and recover existing) characterisations of Pfister forms. We establish "going-up" results for group and…

Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two…

Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Any finite set $S$ of closed points of $C$ gives rise to an integral domain…

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…

Let $\varphi$ and $\psi$ be quadratic forms over a field $K$ of characteristic different from 2. In this paper, we give a criterion for isotropy of $\varphi$ over the function field of $\psi$ in terms of representations and we apply it to…

The characteristic map for the symmetric group is an isomorphism relating the representation theory of the symmetric group to symmetric functions. An analogous isomorphism is constructed for the symmetric space of symplectic forms over a…

We associate to every central simple algebra with involution of orthogonal type in characteristic two a totally singular quadratic form which reflects certain anisotropy properties of the involution. It is shown that this quadratic form can…

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…