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

My question is the following. Which representations of $Sp(2g, \mathbb Z)$ are extendable to representations of $Sp(2g, \mathbb C)$ or $Sp(2g, \mathbb R)$. Is there a general theory and a good beginning reference for these type of questions. Some Representations of $Sp(2g, \mathbb Z)$ dont seem to extend such as coset spaces associated to quotients with respect to congruence subgroups. The question is are these the only ones in some sense. I am a novice in this branch of mathematics so any references would be appreciated. The question arose because I want to understand complex vector bundles admitting a flat Connection on $\mathcal A_g(\mathbb C)$.

share|improve this question
    
It helps to specify $g$ here, since the case of a rank one simple Lie group is far more problematic than higher ranks (beginning with the congruence subgroup problem). The literature is formidable, so the book-in-progress suggested by Andy is a good place to start. Though the question in your header looks straightforward, it conceals a lot of heavy mathematics. (By the way, you might add lie-groups to your long list of tags.) –  Jim Humphreys Dec 6 '12 at 20:50
    
P.S. It may be worth looking at the 1967 IHES Publ. Math. 33 paper by Bass-Milnor-Serre (available at numdam.org), which treats the congruence subgroup problem here and considers representations (final section). For symplectic groups of rank at least 2, there is extra complication if you work over imaginary number fields. But in rank 1 (the classical modular group) it's far worse. For general discrete subgroups you ask which lattices are arithmetic subgroups (as in Mostow, Margulis) and then which arithmetic groups are congruence groups. The story is rather long. –  Jim Humphreys Dec 6 '12 at 23:42
    
Thanks Jim, Will definitely take a look at those!! –  Anant Atyam Dec 7 '12 at 1:12
add comment

2 Answers

up vote 6 down vote accepted

The result you are looking for is the Margulis superrigidity theorem. See Chapter 13 of the book "Introduction to Arithmetic Groups" by Dave Witte Morris for more details.

share|improve this answer
add comment

Perhaps I can take the liberty of amplifying on Andy Putman's answer. We are looking for, say,(finite dimensional complex) representations of $\Gamma = Sp_{2g}({\mathbb Z})$ for $g\geq 2$, so we are in "higher rank". Using super-rigidity, it can be proved that all representations of $\Gamma$ are completely reducible. We may therefore, need only describe the irreducible complex representations $\rho $ of $\Gamma$.

Any such $\rho$ is a tensor product of the form $\tau \otimes \sigma$ where $\tau$ is an irreducible {\bf algebraic} representation of $Sp_{2g}({\mathbb C})$ (hence given by highest weight theory) and $\sigma$ is an irreducible representation of $Sp_{2g}({\mathbb Z}/m{\mathbb Z})$ (a finite congruence quotient of $\Gamma $). This can be easily deduced from the reference of Prof. Jim Humphreys (Bass-Milnor-Serre paper)

share|improve this answer
    
Apologies: in this case, superrigidity and complete reducibility follow from the congruence subgroup property. Complete reducibility does not follow directly from super-rigidity but one has to have an extra argument using vanishing of the first cohomology of $\Gamma $ with values in finite dimensional representations. This is also done in Margulis' book on discrete subgroups of semi-simple Lie groups. –  Aakumadula Jan 13 '13 at 12:31
add comment

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.