# Talk:Superrigidity

WikiProject Mathematics (Rated Start-class, Low-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Low Priority
Field:  Geometry

## Arithmetic lattice

If Lambda is an arithmetic lattice in, say, SO(3,5) x SO(8) that has dense projection into SO(8) and has trivial intersection with {I} x SO(8), then the image Gamma of Lambda in SO(3,5) is a lattice in SO(3,5). The inverse map gives a representation of Gamma into SO(3,5) x SO(8) that does not extend to SO(3,5). Here, G = SO(3,5) and F = \R. So I *think* that some adjustment needs to be made in how the result is stated in the article, unfortunately. Maybe just put in a hypothesis that the image of the representation should have simple Zariski closure? Possibly I'm misreading something here?

I also wonder whether we need to have a qualification in the statement that we have first to restrict the representation to a subgroup of finite index before it will extend to the ambient Lie group.

I've noticed many times that it's very tricky to state superrigidity without having so many technical hypotheses that the usefulness of the result is made unclear. :-(