Witt's theorem

Witt's theorem

:"Witt's theorem" or "the Witt theorem" may also refer to the Bourbaki–Witt fixed point theorem of order theory."

Witt's theorem, named after Ernst Witt, concerns symmetric bilinear forms on finite-dimensional vector spaces. It tells us when we can extend an isometry on subspaces to an isometry of the whole space. This theorem gives some very powerful results, and allows one to define the Witt group, an invariant of the field you are working over.

Fix a field "k". A "symmetric bilinear form" is a pair ("E", "b"), where "E" is a finite-dimensional vector space over "k", and "b" : "E" × "E" → "k" is a symmetric bilinear map. That is, for all "α" ∈ "k" and for all "x", "y", "z" ∈ "E" we have In different contexts it is convenient to refer to the form simply as "E" or simply as "b". Moreover, all forms here will be bilinear and symmetric, so those adjectives are understood to be there when we simply refer to a form. The maps between forms that we are interested in are "metric linear maps" : sigma colon (E,b) o (E',b') ,, where "σ" is a linear map of vector spaces "E" → "E′ " which is "metric", which means it preserves the bilinear form

: b'(sigma(x), sigma(y)) = b(x,y) , for all x,y in E. ,

An isometry of forms is an isometry on the vector spaces which is also metric. Clearly, if "σ" is an isometry of vector spaces which is metric, then "σ" −1 is also metric. In addition, we define the "kernel" of " b " to be

: ker(b) = { x in E mid b(x,y) = 0 forall y in E }. ,

If ker("b") = 0, we say " b " is non-degenerate.

Witt's theorem

Let ("E", "b") be a symmetric, non-degenerate bilinear form, then any isometry

:sigma colon F o F' ,

of subspaces "F", "F′" of " E " can be extended to an isometry " E " → "E".

From this, we immediately get the following corollary. However, we must first make the following definition. A subspace "W" of "E" is called a "nullspace" if "b"("x", "y") = 0 for all x,y in W . A "maximal " nullspace is a nullspace which is not contained in any larger nullspace.

Corollary Let ("E", "b") be a symmetric, non-degenerate bilinear form, then every maximal nullspace has the same dimension, which is the maximum dimension of any nullspace. This maximum dimension is called the "index" of "E", denoted ind("E").

"Proof of corollary." Let "W" be a maximal nullspace, and let "V" be any nullspace. Suppose dim("W") leq , dim("V"), then there is a vector space isomorphism from "W" to a subspace of "V". Then, because, both spaces are nullspaces, this map of vector spaces is automatically metric. By Witt's theorem, we can extend this isometry to sigma colon E o E . Thus, sigma^{-1}(V) is a nullspace containing "W". By maximality, W = sigma^{-1}(V) . Therefore, dim("W") = dim("V").

References

O. Timonthy O'Meara, Introduction to Quadratic Forms, Springer-Verlag, 1973 (formulation and proof of theorem on page 97-99–).


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Witt — may refer to:People* Alex Witt, anchor for MSNBC * Alexander Witt, filmmaker * Alicia Witt, actress * Bobby Witt, former Major League Baseball pitcher * Brendan Witt, NHL player * Carl Gustav Witt, astronomer * Christian Friedrich Witt, baroque… …   Wikipedia

  • Ernst Witt — (June 26 1911 July 3 1991) was a German mathematician born on the island of Als, (German: Alsen ). Shortly after his birth, he and his parents moved to China, and he didn t return to Europe until he was nine.After his schooling, Witt went to the… …   Wikipedia

  • Poincaré–Birkhoff–Witt theorem — In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (Poincaré (1900), G. D. Birkhoff (1937), Witt (1937); frequently contracted to PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie… …   Wikipedia

  • Bourbaki–Witt theorem — In mathematics, the Bourbaki–Witt theorem in order theory, named after Nicolas Bourbaki and Ernst Witt, is a basic fixed point theorem for partially ordered sets. It states that if X is a chain complete poset, and : f : X o X such that : f (x)… …   Wikipedia

  • De Franchis theorem — In mathematics, the de Franchis theorem is one of a number of closely related statements applying to compact Riemann surfaces, or, more generally, algebraic curves, X and Y, in the case of genus g > 1. The simplest is that the automorphism… …   Wikipedia

  • Fixed point theorem — In mathematics, a fixed point theorem is a result saying that a function F will have at least one fixed point (a point x for which F ( x ) = x ), under some conditions on F that can be stated in general terms. Results of this kind are amongst the …   Wikipedia

  • Hasse-Witt matrix — In mathematics, the Hasse Witt matrix H of a non singular algebraic curve C over a finite field F is the matrix of the Frobenius mapping ( p th power mapping where F has q elements, q a power of the prime number p ) with respect to a basis for… …   Wikipedia

  • Hasse–Witt matrix — In mathematics, the Hasse–Witt matrix H of a non singular algebraic curve C over a finite field F is the matrix of the Frobenius mapping (p th power mapping where F has q elements, q a power of the prime number p) with respect to a basis for the… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Quadratic form — In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic form in the variables x and y. Quadratic forms occupy a central place in various branches of mathematics, including… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”