Related papers: Classes of forms Witt equivalent to a second trace…
Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few…
Let F be a field with characteristic two. We generalize the second trace form for central simple algebras with odd degree over F. We determine the second trace form and the Arf invariant and Clifford invariant for tensor products of central…
Let $G$ be a finite group and $K$ a finite field of characteristic $2$. Denote by $t$ the $2$-rank of the commutator factor group $G/G'$ and by $s$ the number of self-dual simple $KG$-modules. Then the Witt group of equivariant quadratic…
An alternative construction, using Witt's formalism, of the Arf-invariant of quadratic forms in characteristic 2.
A quadratic form over a Henselian-valued field of arbitrary residue characteristic is tame if it becomes hyperbolic over a tamely ramified extension. The Witt group of tame quadratic forms is shown to be canonically isomorphic to the Witt…
Let $ K $ be a global function field of characteristic $ 2 $. For each non-trivial place $ v $ of $ K $, let $ K_{v} $ be the completion of $ K $ at $ v $. We show that if two non-degenerate quadratic forms are similar over every $ K_{v} $,…
We give a canonical form of m-by-2-by-2 matrices for equivalence over any field of characteristic not two.
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…
For a discrete valuation ring $R$ with quotient field $K$ and residue field $F$ both of characteristic not 2, we study low-dimensional quadratic forms with Witt class in the $n$-th power of the fundamental ideal of $F$ resp. $K$ and point…
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…
Let $K$ be a number field. The \textit{integral trace form} is the integral quadratic form given by $\text{tr}_{K/\mathbb{Q}}(x^2)|_{O_{K}}.$ In this article we study the existence of non-conjugated number fields with equivalent integral…
Two fields are Witt equivalent if their Witt rings of symmetric bilinear forms are isomorphic. Witt equivalent fields can be understood to be fields having the same quadratic form theory. The behavior of finite fields, local fields, global…
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
We complete a classification of quadratic forms over a field of characteristic 2 of type (1,3) that become isotropic over the function field of a quadric.
This paper introduces a novel approach to the axiomatic theory of quadratic forms. We work internally in a category of certain partially ordered sets, subject to additional conditions which amount to a strong form of local presentability.…
Let $F$ be a field of characteristic $2$, $\pi$ be an $n$-fold bilinear Pfister form over $F$ and $\varphi$ an arbitrary quadratic form over $F$. In this note, we investigate Witt index, defect, total isotropy index and higher isotropy…
In this paper, we study additively indecomposable quadratic forms over real biquadratic and simplest cubic fields. In particular, we show that over these fields, we can always find such a classical form in 2 variables, which differs from…
We introduce the notion of hyperbolic equivalence for quadric bundles and quadratic forms on vector bundles and show that hyperbolic equivalent quadric bundles share many important properties: they have the same Brauer data; moreover, if…
The difference between slice and doubly-slice knots is reflected in algebra by the difference between metabolic and hyperbolic Blanchfield linking forms. We exploit this algebraic distinction to refine the classical Witt group of linking…
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…