Forme bilinéaire symétrique | EPFL Graph Search

En algèbre linéaire, une forme bilinéaire symétrique est une forme bilinéaire qui est symétrique. Les formes bilinéaires symétriques jouent un rôle important dans l'étude des quadriques. Définition Soit V un espace vectoriel de dimension n sur un corps commutatif K. Une application B : V\times V\to K est une forme bilinéaire symétrique sur l'espace si (\forall u,v,w\in V,~\forall \lambda \in K) :

B(u,v)=B(v,u) ;
B(u+v,w)=B(u,w)+B(v,w) ;
B(\lambda v,w)=\lambda B(v,w).

Les deux derniers axiomes impliquent seulement la linéarité par rapport à la « première variable » mais le premier permet d'en déduire la linéarité par rapport à la « deuxième variable ». Exemples Tout produit scalaire est une forme bilinéaire symétrique. Représentation matricielle Soit C=(e_{1},\ldots,e_{n}) une base d'un espace vectoriel V. Définissons la matrice carrée A d'ordre n par a_{ij}=B

Anneau de Witt des G-formes et multiples de G-formes trace

Philippe Chabloz

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

Réseaux idéaux sur des corps CM et des corps totalement réels

Ivan Suarez Atias

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.