Related papers: Four-dimensional quadratic forms over $\mathbb C(\…

In this paper, we establish the explicit lower bound estimates for the rank of universal quadratic forms in some certain families of real cubic fields under the condition of density one. The more general results that represent all multiples…

Commutative complex numbers of the form u=x+\alpha y+\beta z+\gamma t in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases \alpha, \beta and \gamma…

We classify the rational differential 1-forms with simple poles and simple zeros on the Riemann sphere according to their isotropy group; when the 1-form has exactly two poles the isotropy group is isomorphic to $\mathbb{C}^{*}$, namely…

We investigate the manifold $\cal{M}$ of (real) quadratic forms in n > 1 variables having a multiple eigenvalue. In addition to known facts, we prove that 1) $\cal{M}$ is irreducible, 2) in the case of n = 3, scalar matrices and only them…

We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over $\mathbb{F}_q(t)$, where $\mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based on a…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

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…

An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely…

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…

Let $K$ be a complete discrete valued field with residue field $k$ and $F$ the function field of a curve over $K$. Let $A \in {}_2Br(F)$ be a central simple algebra with an involution $\sigma$ of any kind and $F_0 =F^{\sigma}$. Let $h$ be…

In this paper, we derive the quadratic formula as a consequence of constructively proving the existence of standard and factored forms for general form real quadratic functions. Emphasis is put on connections to graphing of corresponding…

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand,…

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…

Let $K$ be a locally compact non-discrete field of characteristic $p>2$ and $Q$ be a non-degenerate isotropic binary quadratic form with coefficients in $K$. We obtain asymptotic estimates for the number of solutions in the two-fold product…

Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether…

Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve…

The geometrical structure of a real four-dimensional space-time has been extended via the Conservation group with basic field variable being the orthonormal tetrad. Field equations were obtained from a variational principle which is…

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.

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…

In this paper, we imitate a classical construction of a counterexample to the local-global principle of cubic forms of 4 variables which was discovered first by Swinnerton-Dyer (Mathematica (1962)). Our construction gives new explicit…