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

Actually I am an undergraduate student, but I want to study Heisenberg groups over arbitrary field.

Firstly, why is this group important? I know that the Heisenberg group is important in the field of quantum physics, but in mathematics how is it? And secondly I want to know the current studies of the classifications of the irreducible representations of Heisenberg groups over an arbitrary field(like over $\mathbb{Q}_p,\mathbb{R}, \mathbb{C}$ or finite field). Would you recommend any references in this area? (e.g. survey papers or influential papers)


share|improve this question
I think it's certainly valuable to ask why a particular mathematical object is important. But there's some disconnect between "I want to study Heisenberg groups over arbitrary field" and "Firstly, why is this group important?" --- certainly you should think the group important if you want to study its irreps. So let me turn the tables and ask: why do you want to study this group? –  Theo Johnson-Freyd Apr 8 '11 at 14:36
The notion of "Heisenberg group" occurs by now over many different fields and in different levels of generality, so the subject is probably too broad for any single answer. Indeed, MathSciNet lists thousands of articles or books which involve this notion. I guess mathematicians were first attracted to Heisenberg groups in the context of harmonic analysis on locally compact groups, where this kind of group is just a step beyond the well-studied abelian case. –  Jim Humphreys Apr 9 '11 at 13:28

3 Answers 3

up vote 7 down vote accepted

Here is one important way in which the Heisenberg group is important :

Let $F$ be a local field of characteristic not equal to 2 (so for example, one of your fields $\mathbb{Q}_p$ or $\mathbb{R}$ or $\mathbb{C}$ above), and let $\psi$ be a nontrivial unitary additive character of $F$. Let $V$ be a symplectic space over $F$ with symplectic form $\langle , \rangle$, and form the Heisenberg group $H(V)$. This is the group which is set theoretically $V \times F$, with group operation $(v_1, x_1)(v_2,x_2) = (v_1+v_2, t_1+t_2 + \frac{1}{2} \langle v_1,v_2 \rangle)$.

By the Stone-Von-Neumann theorem, $H(V)$ has a unique irreducible smooth (or unitary) representation $(\rho_{\psi}, W)$ over $\mathbb{C}$ with central character $\psi$. Note that $Sp(V)$ acts on $H(V)$ in a natural way through its action on $V$. Then, by Schur's Lemma, for every $g \in Sp(V)$, there exists an intertwining operator $\phi_g$ between $(\rho_{\psi}, W)$ and $(\rho_{\psi} \circ g, W)$, which is unique up to multiplication by $\mathbb{C}^*$.

We therefore get a projective representation $$Sp(V) \rightarrow PGL(W)$$ $$g \mapsto \phi_g$$

It can be shown that this projective representation lifts to a representation of $\widetilde{Sp(V)}$, where $\widetilde{Sp(V)}$ is a naturally defined double cover of $Sp(V)$, called the Metaplectic group. This representation, denoted $\omega_{\psi}$, is called the Weil representation. Both the Weil representation and the metaplectic group are important in number theory and representation theory. If you're curious, Wee Teck Gan has a nice survey article on how the metaplectic group arises in the Langlands program : http://www.math.ucsd.edu/~wgan/ICCM.pdf



share|improve this answer

This seems like a reasonable survey article: http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183547543

Also there is a book by Deitmar and Echterhoff - "Principles of Harmonic Analysis", which I found quite readable, but that treats coefficients in $\mathbb{R}$ only. But this book is probably more likely to be useful for graduate students.

share|improve this answer

You should really study the representation theory in the wider context of a semidirect product. George Mackey wrote the basic theory on this, and you'll almost certainly understand more by working out what the theory says for these special cases (whether discrete groups or more general locally compact groups).

share|improve this answer

Your Answer


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.