Search   Memberlist   Usergroups
 Page 1 of 1 [3 Posts]
Author Message
Ilya Zakharevich
science forum beginner

Joined: 20 May 2005
Posts: 27

Posted: Fri Jun 30, 2006 10:01 am    Post subject: Re: Classifying nondegenerate bilinear forms

[A complimentary Cc of this posting was sent to
John Baez
<baez@math.removethis.ucr.andthis.edu>], who wrote in article <e7qfdd\$62s\$1@glue.ucr.edu>:
 Quote: We can always take our bilinear form and write it as a sum of a symmetric and antisymmetric part - does that help? It's possible for both these parts to be degenerate, even if the whole form is nondegenerate.

The classification follows from those in

@article {Thom91Pen,
old = MR91k:15031,
AUTHOR = {Thompson, Robert C.},
TITLE = {Pencils of complex and real symmetric and skew matrices},
JOURNAL = {Linear Algebra Appl.},
FJOURNAL = {Linear Algebra and its Applications},
VOLUME = {147},
YEAR = {1991},
PAGES = {323--371},
ISSN = {0024-3795},
CODEN = {LAAPAW},
}

Below is my short summary (of the complex case, I have one for real
one somewhere too).

Hope this helps,
Ilya

====================================================================

Splittable matrix: block matrix of the form
0 A and 0 A
A^t 0 -A^t 0
are symmetric and skewsymmetric (correspondingly) for any matrix A.
If A is m x n, then the total matrix is (n+m) x (n+m). For any pair
of m x n matrices A, B one can get a pair of splittable (skew)symmetric
matrices; call such pairs spliced. There are 3 flavors for such a pair:
[symm,symm], [symm,skew], [skew,skew] pairs; each flavor gets its own
spliced pair.

If the pair (A, B) is decomposable, the corresponding spliced pair
is decomposable. Thus if we want to find splittable examples of
indecomposable pairs, one must splice indecomposable pair of matrices.

Note that indecomposable pairs (A,B) are isomorphic (Kronecker
classification) to one of

Jordan lambda-pair ( J(lambda,n), Id(n) ) n x n
Jordan infinity-pair ( Id(n), J(0,n) ) n x n
decreasing Kronecker pair ( k(n), K(n) ) (n-1) x n
inreasing Kronecker pair ( k^t(n), K^t(n) ) (n+1) x n.

Here k(n) and K(n) are two "almost-diagonal" (n-1) x n matrices with
matrix elements delta(i,j) and delta(i+1,j) correspondingly. For n = 4:

1 0 0 0 0 1 0 0
0 1 0 0 and 0 0 1 0
0 0 1 0 0 0 0 1.

Since pairs (A, B) and (A^t, B^t) lead to isomorphic spliced pairs, it is
enough to consider only decreasing Kronecker pairs. It turns out that
spliced pair for a Kronecker pair is indecomposable in all 3 flavors of
pairs. Call the resulting splittable pair a spliced Kronecker pair.

Blocks for complex pencils: either spliced Kronecker, or spliced Jordan,
or pure Jordan; can never be isomorphic, so it is enough to describe which
spliced Jordan blocks are indecomposable, and provide examples of pure
Jordan blocks.

[skew, skew]: always even-dimensional, always splittable. Jordan
blocks and the increasing Kronecker blocks lead to non-isomorphic splittable
pairs. Thus any block is spliced, and all spliced blocks are different.

[symm, symm]: spliced Jordan pair is decomposable. Example of pure Jordan
pair: reflect matrices for "usual" Jordan pair in vertical axis.

[symm, skew]: spliced Jordan pair is indecomposable if lambda is not-0 and
not-infinity; or if lambda=0 and n is odd; or if lambda=infinity and n
is even. Pure Jordan pairs exist for:

lambda=infinity and odd n: reflect "usual" Jordan pair in vertical axis,
and make subdiagonal elements skewsymmetric
(-1s in the first half, 1s in the other).

lambda=0 and even n: reflect "usual" Jordan pair in vertical axis,
and make diagonal elements skewsymmetric
(-1s in the first half, 1s in the other).
William C Waterhouse
science forum beginner

Joined: 04 May 2005
Posts: 17

Posted: Tue Jun 27, 2006 9:45 pm    Post subject: Re: Classifying nondegenerate bilinear forms

In article <e7qfdd\$62s\$1@glue.ucr.edu>,
baez@math.removethis.ucr.andthis.edu (John Baez) writes:
 Quote: Suppose K^n is an n-dimensional vector space over some nice field K, like R or C. Do people know how to classify nondegenerate bilinear forms on V, where we regard two as the same if we can get from one to the other by the action of GL(n,K)? I know how it works for R or C when the bilinear form is symmetric or antisymmetric, but tonight I'm curious about the general case, where it could be neither symmetric nor antisymmetric. We can always take our bilinear form and write it as a sum of a symmetric and antisymmetric part - does that help? It's possible for both these parts to be degenerate, even if the whole form is nondegenerate.

Yes, it's worked out (though somewhat messy in characteristic 2).
The basic reference is

Carl Riehm, The equivalence of bilinear forms.
J. Algebra 31 (1974), 45--66.

The split into symmetric and antisymmetric is reasonable, but it
does encounter the problem mentioned. The solution is to look
at the "antisymmetry": that is, if B is the matrix (and nonsingular),
then B^t = BS for some S. Changing B to some H^t B H will change S to
a similar matrix. (Abstractly, the form b is an isomorphism
from V to V*; its dual b^t then maps V (== V**) to V* also, and thus
we get a unique s with b^t = bs).

So the first invariant is the rational canonical form of S. Over
the complex numbers, that's it. In any case, you can split V into
biorthogonal subspaces where S involves only one (or two related)
irreducible polynomials.

What happens in general there is that you get invariants that are
nondegenerate symmetric or skew or hermitian forms over finite
extensions of K. (In characteristic 2 you also need some quadratic forms).

Finally, a singular B splits into a nonsingular part and one or more
"basic" singular parts; the parts are unique up to isomorphism. See

Peter Gabriel, Appendix: degenerate bilinear forms.
J. Algebra 31 (1974), 67--72.

William C. Waterhouse
Penn State
John Baez
science forum Guru Wannabe

Joined: 01 May 2005
Posts: 220

 Posted: Tue Jun 27, 2006 5:23 am    Post subject: Classifying nondegenerate bilinear forms Suppose K^n is an n-dimensional vector space over some nice field K, like R or C. Do people know how to classify nondegenerate bilinear forms on V, where we regard two as the same if we can get from one to the other by the action of GL(n,K)? I know how it works for R or C when the bilinear form is symmetric or antisymmetric, but tonight I'm curious about the general case, where it could be neither symmetric nor antisymmetric. We can always take our bilinear form and write it as a sum of a symmetric and antisymmetric part - does that help? It's possible for both these parts to be degenerate, even if the whole form is nondegenerate.

 Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 Page 1 of 1 [3 Posts]
 The time now is Thu Feb 21, 2019 6:24 pm | All times are GMT
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

 Topic Author Forum Replies Last Post Similar Topics I am looking for information about nonlinear differential... andrzej1167 Math 0 Sat Jul 08, 2006 5:20 pm What is the relation between differential equations and d... andrzej1167 Math 4 Fri Jul 07, 2006 11:38 am Counter-Examples to Mean ond Other Forms of Convergence Jeffrey Rolland Math 5 Mon Jul 03, 2006 6:26 pm Differential forms and Lie groups John Fredsted Math 0 Thu Jun 01, 2006 11:22 am Perfect Diagonal Forms Titus Piezas III Research 7 Tue May 23, 2006 1:30 pm