<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (Forms) - Chapter 3: Background Theory on Forms</title>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body>
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br /></div>
<p><a id="s0ss0" name="s0ss0"></a></p>
<h3>3. Background Theory on Forms</h3>
<p>In this section, we give a very brief overview on the theory of sesquilinear and quadratic forms. The reader can find more in the texts: Cameron <a href="chapBib.html#biBCameron">[C00]</a>, Taylor <a href="chapBib.html#biBTaylor">[T92]</a>, Aschbacher <a href="chapBib.html#biBAschbacher">[A00]</a>, or Kleidman and Liebeck <a href="chapBib.html#biBKleidmanLiebeck">[KL90]</a>.</p>
<p><a id="s1ss0" name="s1ss0"></a></p>
<h4>3.1 Sesquilinear forms, dualities, and polarities</h4>
<p>A <em>sesquilinear form</em> on a vector space V over a field F, is a map f from Vtimes V to F which is linear in the first coordinate, but semilinear in the second coordinate; that is, there is a field automorphism alpha (the <em>companion automorphism</em> of f) such that f(v,lambda w)=lambda^alpha f(v,w) for all v,win V and lambdain F. If alpha is the identity, then f is <em>bilinear</em>. Two vectors v and w are <em>orthogonal</em> (w.r.t. f) if f(v,w) = 0. The <em>radical</em> of f is the subspace consisting of vectors which are orthogonal to every vector, and we say that f is <em>non-degenerate</em> if its radical is trivial (and <em>degenerate</em> otherwise). A <em>duality</em> delta of a projective space mathcalP is an incidence reversing permutation of the subspaces of mathcalP, and a <em>polarity</em> of mathcalP is a duality of order 2. An example of such arises from a non-degenerate sesquilinear form; given a subspace W, we let W^perp be the set of points which are orthogonal with every element of W. We say that a subspace W is <em>totally isotropic</em> with respect to a polarity if W contains or is contained in W^perp. The Birkhoff-von Neumann Theorem states that every duality of the projective space PG(n,q) arises from a non-degenerate sesquilinear form (up to a scalar). Such a duality is a polarity if it is <em>reflexive</em>, i.e., f(v,w)=0 implies f(w,v)=0. Now a sesquilinear form f is <em>hermitian</em> if f(v,w)=f(w,v)^alpha holds where alpha is the companion automorphism of f and alpha has order 2. But if alpha is trivial then f is <em>symmetric</em>. If f inturn satisfies f(v,v)=0 (for all v) then f is <em>alternating</em>. It is a well-known theorem of polar geometry that a non-degenerate reflexive sesquilinear form is either alternating, symmetric, or similar to an hermitian form. The associated polarity is called <em>symplectic</em>, <em>orthogonal</em>, and <em>unitary</em> respectively (though there are some other conventions for the characteristic 2 case).</p>
<p><a id="s1ss1" name="s1ss1"></a></p>
<h5>3.1-1 Example</h5>
<p>Let M be an invertible 4-dimensional square matrix over F and consider the following map on pairs of elements of the 4-dimensional vector space V over F:</p>
<p class="pcenter">\[f(v, w) = v M w^T. \]</p>
<p>Then f is a sesquilinear form of V and M is the <em>Gram matrix</em> of f.</p>
<p><a id="s2ss0" name="s2ss0"></a></p>
<h4>3.2 Quadratic forms</h4>
<p>We have seen that a polar space can arise from a reflexive sesquilinear form, but there are other polar spaces which do not arise this way, but instead have an associated quadratic form. A map Q from a vector space V to a field F is a <em>quadratic form</em> if it satisfies Q(lambda v) = lambda^2Q(v) for all vin V and lambdain F. We say that a subspace W is <em>totally singular</em> if the restriction of Q to W is trivial. Note that a subspace is totally isotropic (with respect to the associated polarity) if it is totally singular, but the converse is not always true.</p>
<p><a id="s2ss1" name="s2ss1"></a></p>
<h5>3.2-1 Example</h5>
<p>Let M be an invertible 4-dimensional square matrix over F and consider the following map on elements of the 4-dimensional vector space V over F:</p>
<p class="pcenter">\[f(v) = v M v^T. \]</p>
<p>Then f is a quadratic form of V and M is the <em>Gram matrix</em> of f.</p>
<p>Given a quadratic form Q, there is an associated sesquilinear form f (which may not be reflexive) defined as follows</p>
<p class="pcenter">\[f(v,w)=Q(v+w)-Q(v)-Q(w). \]</p>
<p>For characteristic not 2, the quadratic form and its associated sesquilinear form f determine one another, as 2 Q(v)= f(v,v) (for all v).</p>
<p><a id="s3ss0" name="s3ss0"></a></p>
<h4>3.3 Morphisms of forms</h4>
<p>An <em>isometry</em> from a formed space (V,f) to a formed space (W,f') is a bijection phi such that for all v,w in V we have</p>
<p class="pcenter">\[f(v,w) = f'(\phi(v), \phi(w)). \]</p>
<p>The weaker notions of <em>similarity</em> and <em>semi-similarity</em> are also important in polar geometry. If there exists a scalar lambda such that for all v,w in V we have</p>
<p class="pcenter">\[f(v,w) = \lambda f'(\phi(v), \phi(w)) \]</p>
<p>then we say that phi is a similarity. If we also have a fixed field automorphism alpha such that</p>
<p class="pcenter">\[f(v,w)=\lambda f'(\phi(v), \phi(w))^\alpha, \]</p>
<p>then phi is a semi-similarity. Naturally, we say that the formed spaces (V,f) and (W,f') are <em>isometric</em> (resp. <em>similar</em>) if there exists an isometry (resp. similarity) between them. Every non-degenerate reflexive sesquilinear form is alternating, symmetric, or similar to an hermitian form. Thus, up to similarity, the non-degenerate polar spaces come in five flavours: symplectic, unitary, orthogonal-elliptic, orthogonal-hyperbolic, and orthogonal-parabolic. In the case of the orthogonal spaces, they are distinguished by their Witt Index (the common dimension of their maximal totally singular/isotropic subspaces).</p>
<p><a id="s4ss0" name="s4ss0"></a></p>
<h4>3.4 An important convention</h4>
<p>In <strong class="pkg">Forms</strong>, we have stipulated a convention on the creation of forms so as to cause as little confusion as possible. The hermitian forms will simply be those with the Frobenius Automorphism is the companion automorphism. We should also caution the user on what information is "enough" to specify a form as problems can arise in even characteristic.</p>
<p><a id="s4ss1" name="s4ss1"></a></p>
<h5>3.4-1 Example</h5>
<p>Let F be a finite field of square order and let M be the following 4times 4 matrix over F:</p>
<div class="pcenter"><table class="GAPDocTable">
<tr>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
</tr>
<tr>
<td class="tdcenter">1</td>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
</tr>
<tr>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
</tr>
<tr>
<td class="tdcenter">0</td>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
<td class="tdcenter">0</td>
</tr>
</table><br /><p> </p><br />
</div>
<p>Let alpha be the unique automorphism of F of order 2. Then the form</p>
<p class="pcenter">\[
(u, v) := uM(v^T)^\alpha
\]</p>
<p>defines a non-degenerate hermitian sesquilinear form. If F has odd characteristic, then the form</p>
<p class="pcenter">\[
(u, v) := uMv^T
\]</p>
<p>defines a non-degenerate orthogonal form, but if F has even characteristic, then this form is both:</p>
<ol>
<li><p>a symplectic bilinear form, and</p>
</li>
<li><p>the associated bilinear form arising from a quadratic form.</p>
</li>
</ol>
<p>In the latter, case we see that the bilinear form does not <em>define</em> the quadratic form, but rather that the quadratic form is necessary in order to define the polar geometry.</p>
<p><a id="s5ss0" name="s5ss0"></a></p>
<h4>3.5 Canonical forms</h4>
<p>Every nondegenerate polar space has a direct decomposition into a sum</p>
<p class="pcenter">\[L_1\perp L_2\perp\cdots L_n\perp U \]</p>
<p>where each of the L_i are hyperbolic lines and U is an anisotropic subspace of dimension at most 2. Thus if the given polar space is defined by a sesquilinear form f, then there is an isometric polar space defined by a Gram Matrix of the form</p>
<div class="pcenter"><table class="GAPDocTable">
<tr>
<td class="tdcenter">U</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter">\epsilon</td>
<td class="tdcenter">0</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">\epsilon</td>
<td class="tdcenter">0</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">*</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">*</td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">0</td>
<td class="tdcenter">1</td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
<tr>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter"></td>
<td class="tdcenter">\epsilon</td>
<td class="tdcenter">0</td>
<td> </td>
<td> </td>
<td> </td>
<td> </td>
</tr>
</table><br /><p> </p><br />
</div>
<p>were the top left hand corner represents the anisotropic part, and there are zeros everywhere else. The value of epsilon is -1 if the form is alternating, otherwise it is 1.</p>
<div class="pcenter">
<table class="chlink"><tr><td><a href="chap0.html">Top of Book</a></td><td><a href="chap2.html">Previous Chapter</a></td><td><a href="chap4.html">Next Chapter</a></td></tr></table>
<br />
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br /></div>
</div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
1482
