Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I asked this question on math.stackexchange yesterday, but nobody has helped so far, and only 44 people have seen it! So I hope people do not mind me asking it here...

Let $A$ be a finite abelian group, and let

$ \psi : A \times A \to \mathbb{Q}/\mathbb{Z} $

be an alternating, non-degenerate bilinear form on $A$. Maybe I should say what I mean by these words; bilinear means it is linear in each argument separately; alternating means that $\psi(a,a) = 0$ for all $a$; non-degenerate means that, if $\psi(a,b) = 0$ for all $b$, then $a$ must be $0$.

Why must $A$ have square cardinality?

I believe it will follow from the following theorem in Linear algebra:

Theorem. Let $V$ be a finite dimensional vector space over a field $K$ that has an alternating, non-degenerate bilinear form on it (from $V \times V \to K$). Then dim $V$ is even.

My idea was to proceed as follows: If the size of $A$ is not square, then for some prime $p$, $A(p)$ is not square, where $A(p)$ means the $p$-primary part of $A$. The original $\psi$ induces a map on $A(p)$ that is non-degenerate, alternating and bilinear. I then wanted to say that $A(p)$ is an $\mathbb{F}_p$-vector space, and then applying the theorem I am done, but this is not true, e.g, $\mathbb{Z}/25\mathbb{Z}$ is not an $\mathbb{F}_5$-vector space.

Any pointers anyone?

share|improve this question

2 Answers 2

up vote 25 down vote accepted

Actually, one can show the following stronger result:

Proposition

Assume that a finite abelian group $A$ admits a non-degenarate, bilinear alternating form $\psi$. Then $A$ has a lagrangian decomposition, i.e. there exists a subgroup $G$, isotropic for $\psi$, such that

$A \cong G \times \widehat{G}$,

where $\widehat{G}$ denotes as usual the group of characters of $G$. In particular, $|A|=|G|^2$.

Therefore, the elements of $A$ can be written as $(x, \chi)$, with $x \in G$ and $\chi \in \widehat{G}$. Moreover, in such a presentation the form $\psi$ take the following shape:

$\psi((x, \chi), (y, \eta))=\chi(y)\eta(x)^{-1}$.

An easy proof, by induction on the order of the group, can be found in Lemma 5.2 of A. Davydov, Twisted automorphisms of group algebras, arXiv:0708.2758

Remark. It is interesting to notice the analogy with symplectic vector spaces. In fact, any symplectic vector space $(V, \omega)$ can be written as $V = W \oplus W^{*}$, where $W$ is a lagrangian (=isotropic of maximal dimension) subspace for $\omega$. In particular, $\dim V = 2 \dim W$. Moreover, with respect to this decomposition, $\omega$ has the following shape:

$\omega(x \oplus \chi, y \oplus \eta) = \chi(y) - \eta(x)$.

In the case of finite abelian groups the "dual role" is played by the group of characters, as usual.

share|improve this answer
    
That proof is quite swish, thank you. I still feel though that it should follow from the analogous result from linear algebra for vector spaces. –  Giuseppe Mar 18 '11 at 14:01
1  
This proof is very natural because it really rephrases, in the contest of finite groups, the usual proof for symplectic vector spaces. In fact, any finite-dimensional symplectic vector space $V$ can be written as $W \oplus W^*$, where $W$ is a lagrangian (=isotropic of maximal dimension) subspace for the given symplectic form. This explains why $\dim V$ must be even. Look at en.wikipedia.org/wiki/Symplectic_vector_space, in particular the paragraph "Standard symplectic space" –  Francesco Polizzi Mar 18 '11 at 15:24
    
I added in the answer a remark pointing out the analogy with symplectic spaces –  Francesco Polizzi Mar 18 '11 at 15:46
1  
To me this result has a folkloric feel: I am certainly aware of it and have used it in my own work (I even use the phrase "Lagrangian decomposition" in this context, which I think I picked up from some notes of van der Geer and Moonen), at least since 2003. But I don't know where this result comes from originally: does anyone have a primary source? –  Pete L. Clark Mar 19 '11 at 19:33
2  
This result comes up in the context of classifying Heisenberg central extensions of finite abelian groups. We discuss this aspect in the intro to our paper Locally Compact Abelian Groups with Symplectic Seld-duality, by Prasad, Shapiro and Vemuri (Adv. Math. 225 (2010) 2429-2454), arxiv.org/abs/0906.4397. It also seems to come up quite naturally in the theory of abelian varieties. It continues to hold for most reasonable classes of locally compact abelian groups, but fails in general. –  Amritanshu Prasad Mar 20 '11 at 0:12

I'm very glad about this topic, because I have a similar problem and Lemma 5.2 by Davydov would be the solution. But I have a problem with the proof. Davydov says that the inclusion $\langle a \rangle \to A$ and the surjection $A \to \widehat{\langle a \rangle}$ split. Does that mean that the short exact sequence $$ 0 \to \langle a \rangle \to A \to \widehat{\langle a \rangle} \to 0 $$ splits? But then the Splitting Lemma provides an isomorphism $A \cong \langle a \rangle \oplus \widehat{\langle a \rangle}$, but Davydov states that $$ A \cong \langle a \rangle^{\perp}\big/\langle a \rangle \oplus \langle a \rangle \oplus \widehat{\langle a \rangle}. $$ Could anyone help me by understanding Davydovs proof or do you have an alternative source (proof) for me?

Thanks a lot!

share|improve this answer
    
No. This means that both $0→⟨a⟩→A→A/⟨a⟩→0$ and $0→⟨a⟩^{\perp}→A→\widehat{⟨a⟩}$ split. Now it is easy to see (for instance by using the Snake Lemma) that $A/⟨a⟩=⟨a⟩^{\perp}/⟨a⟩⊕ \widehat{⟨a⟩}$, so the claim follows. –  Francesco Polizzi Jul 29 '11 at 21:11
    
Thank you so much! You saved my day! That was the last gap in my diploma thesis :) If I have an acknowlegdement in my thesis, you will be mentionned! –  mbeck Jul 29 '11 at 21:14

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.