Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Witt group
Summary
In mathematics, a Witt group of a field, named after Ernst Witt, is an abelian group whose elements are represented by symmetric bilinear forms over the field.
Fix a field k of characteristic not equal to two. All vector spaces will be assumed to be finite-dimensional. We say that two spaces equipped with symmetric bilinear forms are equivalent if one can be obtained from the other by adding a metabolic quadratic space, that is, zero or more copies of a hyperbolic plane, the non-degenerate two-dimensional symmetric bilinear form with a norm 0 vector. Each class is represented by the core form of a Witt decomposition.
The Witt group of k is the abelian group W(k) of equivalence classes of non-degenerate symmetric bilinear forms, with the group operation corresponding to the orthogonal direct sum of forms. It is additively generated by the classes of one-dimensional forms. Although classes may contain spaces of different dimension, the parity of the dimension is constant across a class and so rk : W(k) → Z/2Z is a homomorphism.
The elements of finite order in the Witt group have order a power of 2; the torsion subgroup is the kernel of the functorial map from W(k) to W(kpy), where kpy is the Pythagorean closure of k; it is generated by the Pfister forms with a non-zero sum of squares. If k is not formally real, then the Witt group is torsion, with exponent a power of 2. The height of the field k is the exponent of the torsion in the Witt group, if this is finite, or ∞ otherwise.
The Witt group of k can be given a commutative ring structure, by using the tensor product of quadratic forms to define the ring product. This is sometimes called the Witt ring W(k), though the term "Witt ring" is often also used for a completely different ring of Witt vectors.
To discuss the structure of this ring we assume that k is of characteristic not equal to 2, so that we may identify symmetric bilinear forms and quadratic forms.
The kernel of the rank mod 2 homomorphism is a prime ideal, I, of the Witt ring termed the fundamental ideal.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related publications (13)
Related people (2)
Related concepts (5)
Isotropic quadratic form
In mathematics, a quadratic form over a field F is said to be isotropic if there is a non-zero vector on which the form evaluates to zero. Otherwise the quadratic form is anisotropic. More explicitly, if q is a quadratic form on a vector space V over F, then a non-zero vector v in V is said to be isotropic if q(v) = 0. A quadratic form is isotropic if and only if there exists a non-zero isotropic vector (or null vector) for that quadratic form. Suppose that (V, q) is quadratic space and W is a subspace of V.
Ernst Witt
Ernst Witt (26 June 1911 – 3 July 1991) was a German mathematician, one of the leading algebraists of his time. Witt was born on the island of Alsen, then a part of the German Empire. Shortly after his birth, his parents moved the family to China to work as missionaries, and he did not return to Europe until he was nine. After his schooling, Witt went to the University of Freiburg and the University of Göttingen. He joined the NSDAP (Nazi Party) and was an active party member. Witt was awarded a Ph.D.
Witt's theorem
"Witt's theorem" or "the Witt theorem" may also refer to the Bourbaki–Witt fixed point theorem of order theory. In mathematics, Witt's theorem, named after Ernst Witt, is a basic result in the algebraic theory of quadratic forms: any isometry between two subspaces of a nonsingular quadratic space over a field k may be extended to an isometry of the whole space. An analogous statement holds also for skew-symmetric, Hermitian and skew-Hermitian bilinear forms over arbitrary fields.