Symmetric bilinear form

Summary

In mathematics, a symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a bilinear function B that maps every pair (u,v) of elements of the vector space V to the underlying field such that B(u,v)=B(v,u) for every u and v in V. They are also referred to more briefly as just symmetric forms when "bilinear" is understood. Symmetric bilinear forms on finite-dimensional vector spaces precisely correspond to symmetric matrices given a basis for V. Among bilinear forms, the symmetric ones are important because they are the ones for which the vector space admits a particularly simple kind of basis known as an orthogonal basis (at least when the characteristic of the field is not 2). Given a symmetric bilinear form B, the function

Official source

https://en.wikipedia.org/wiki/Symmetric_bilinear_form

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.

Related publications (3)

Related publications

Related people

Related units

Related concepts (11)

Related concepts

Related courses (7)

Related courses

Related lectures (10)

Related lectures

This thesis deals with the study of G-forms and particulary the trace form of a G-Galois algebra. Let k be a field of characteristic not two. Let G be a finite group and L a G-Galois algebra over k. We define the trace form qL by qL(x, y) = TrL/k(xy) for all x, y in L. This is a bilinear symmetric form which is G-invariant. In other words, qL is a G-form. We know that L has a self-dual normal basis if and only if the trace form qL is G-isomorphic to the unit G-form q0. This is an important reason to classify the trace forms. This work contains two different parts. In the first part, we study G-forms in general, putting a ring structure on their Witt group. We then proved an analogue of Pfister's theorem - i.e. there is no zero divisor of odd dimension - when k[G] is semi-simple, k is big enough and G is abelian. Counter-examples are given when these conditions are not fulfilled. In the second part of this thesis, we study the trace form qL of a G-Galois algebra. E. Bayer-Fluckiger and H. W. Lenstra proved that if G is of odd order, then qL is always G-isomorphic to the unit form. If G is of even order, this is no longer the case. However, if the field k is of cohomological 2-dimension less than or equal to 1, then E. Bayer-Fluckiger and J.-P. Serre gave a necessary and sufficient condition - in terms of cohomological invariants - for the trace form qL to be isomorphic to the unit form. M. Monsurrò generalized this result to fields of virtual cohomological 2-dimension equal to 1. However, in higher cohomological dimensions, it becomes very difficult to classify the trace form itself. But it is possible to give general results if we consider multiples of the trace form or more generally the product of the trace form by a quadratic form. E. Bayer-Fluckiger formulated 2 conjectures about the possibility of finding a complete system of invariants for such a product when the quadratic form lies in a certain ideal of the Witt ring of k depending on the cohomological dimension of the field. In this work, we prove the first conjecture for all cohomological dimensions and the second one for a field of cohomological 2-dimension equal to 2. A more general conjecture is proved including the fields of virtual cohomological 2-dimension equal to 2. Finally, the second conjecture of E. Bayer-Fluckiger is proved in all cohomological dimensions, but only when either the characteristic of k is non zero or the group G is abelian or a 2-group, or k is big enough.

EPFL2004

This thesis deals with the study of ideal lattices over number fields. Let K be a number field, which is assumed to be CM or totally real. An ideal lattice over K is a pair (I,b), where I is a fractional ideal of K and b : I × I → R is a symmetric positive definite bilinear form such that b(x, y) = Tr(αxy) for a totally positive α ∈ K ⊗ R. The ideal lattice defined previously will be denoted by (I,α). In the first part, we will focus on constructing modular lattices over number fields. In particular the case of cyclotomic fields will be treated more carefully. A modular lattice is a lattice which is similar to its dual lattice. H.-G. Quebbemann introduced this notion in 1995 and in 1997, and he also defined a notion of analytic extremality for these lattices. It seemed promising to look for ideal lattices which were modular. This investigation led to the introduction of Arakelov modular lattices. This notion has turned out to be very interesting. If K = Q(ζn ) is a cvclotomic field, then the set of levels ℓ for which there exists an Arakelov modular lattice of level ℓ over Q(ζn ) is explicitly given in this thesis. Moreover, assume that K is a CM field, and that we are given an Arakelov modular lattice (I,α) of level ℓ over K. Under an assumption on K (which is satisfied for cyclotomic fields), we describe a way to compute all the Arakelov modular lattices of level ℓ over K. In the second part of this thesis, a construction is introduced which enables us to associate a totally real field K' to a given CM-field K. This field K' has the following property : if (I,α) is an ideal lattice over K. where I is an ambiguous ideal, then there exists an ideal lattice over K' isometric (as a lattice) to (I,α). This leads to the construction of several classic lattices over totally real fields. It also enables us to bound the Euclidean minimum of the field K' with respect to that of the field K.

EPFL2005

Distinct Values Of Bilinear Forms On Algebraic Curves

Frank de Zeeuw, Adrian Claudiu Valculescu

Let B-M : C x C -> C be a bilinear form B-M(p, q) - p(T)Mq, with an invertible matrix M is an element of C-2x2. We prove that any finite set S contained in an irreducible algebraic curve C of degree d in C determines Omega(d)(vertical bar S vertical bar(4/3)) distinct values of B-M, unless C has an exceptional form. This strengthens a result of Charalambides [1] in several ways. The proof is based on that of Pach and De Zeeuw [9], who proved a similar statement for the Euclidean distance function in R. Our main motivation for this paper is that for bilinear forms, this approach becomes more natural, and should better lend itself to understanding and generalization.

Univ Calgary, Dept Math & Statistics2016

EPFL2004