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

We regard an isomorphism of Lie groups to mean a group isomorphism which is simultaneously a diffeomorphism of the underlying smooth manifold. I'm wondering about how much rigidity is imposed by this definition.

Question: If we have maps $f, g: G\rightarrow H$, where $G, H$ are Lie groups, $f$ is an abstract group isomorphism, and $g$ is a diffeomorphism, must $G$ and $H$ be isomorphic as Lie groups?

I think there should be a (possibly easy) counterexample, but neither I nor the professors I've asked could immediately find one.

EDIT: assume $G$ and $H$ are connected.

share|improve this question
2  
This has already been around MO: mathoverflow.net/questions/44060 –  Anton Fonarev Nov 26 '12 at 22:41
    
See also: mathoverflow.net/questions/62385 –  Theo Buehler Nov 27 '12 at 1:11
    
Anton -- no, it hasn't quite. The question you link to is about topological groups, this one is about Lie groups. On the other hand, at first I'd misread it as well. –  algori Nov 27 '12 at 1:26

3 Answers 3

The answer to your question is "no". I've rewritten my previous answer to include details.

In dimension $d$ at least 7, there are continuous positive-dimensional (non-isotrivial) families of nilpotent Lie algebras in characteristic zero. I had previously heard this as folklore, but some searching yields Ming-Peng Gong's dissertation, which has explicit presentations. By the exponential correspondence, this yields families of unipotent groups over subfields of $\mathbb{R}$, all of whose real-analytifications have underlying manifolds that are diffeomorphic to $\mathbb{R}^d$.

I will choose the family (147E), with generating basis $x_1,\ldots,x_7$, and nonzero brackets $[x_1,x_2] = x_4$, $[x_1,x_3]=-x_6$, $[x_1,x_5] = -x_7$, $[x_2,x_3]=x_5$, $[x_2,x_6]=\lambda x_7$, $[x_3,x_4]=(1-\lambda)x_7$, as $\lambda$ varies over complex numbers satisfying $\lambda(\lambda-1) \neq 0$. Over the complex numbers, the Lie algebras are distinguished up to isomorphism by the value of $j(\lambda) = \frac{(1-\lambda+\lambda^2)^3}{\lambda^2(\lambda-1)^2}$. For each real $\lambda$, I will call the Lie algebra $L(\lambda)$, and the corresponding Lie group $G(\lambda)$.

For any real quadratic extension $K/\mathbb{Q}$, there is a Galois-conjugate pair $(\lambda, \lambda')$ of irrational elements, such that $j(\lambda) \neq j(\lambda')$. One reason is that $j^{-1}j$ is not equivariant under translation by one - you can find the 6-element preimage of $j(\lambda)$ written out in Wikipedia's Modular lambda article. For such a pair, $L(\lambda)$ is not isomorphic to $L(\lambda')$, and $G(\lambda)$ is not isomorphic to $G(\lambda')$ as a real Lie group.

However, the underlying groups of real points are isomorphic. The isomorphism is given by transporting the nontrivial Galois automorphism of $K$ through the functor $- \otimes_K \mathbb{R}$ on Lie algebras, followed by exponentiation. This is highly discontinuous. For example, each $\exp(x_i) \in G(\lambda)$ is taken to $\exp(x_i) \in G(\lambda')$, but $\exp (\lambda x_i) \in G(\lambda)$ is taken to $\exp(\lambda' x_i) \in G(\lambda')$.

In summary, we have two Lie groups $G(\lambda)$ and $G(\lambda')$, we have an abstract group isomorphism $f$ (by transport of Galois) between them, and a diffeomorphism $g$ (because they are both diffeomorphic to $\mathbb{R}^7$) between them, but they are not isomorphic as Lie groups.

share|improve this answer
    
Scott -- that's interesting but could you give more details or a reference? –  algori Nov 27 '12 at 2:47
    
Okay, I have some paperwork to do right now, though. –  S. Carnahan Nov 27 '12 at 3:22

L. Kramer, The topology of a semi-simple Lie group is essentially unique

We study locally compact group topologies on semisimple Lie groups. We show that the Lie group topology on such a group $S$ is very rigid: every 'abstract' isomorphism between $S$ and a locally compact and $\sigma$-compact group $\Gamma$ is automatically a homeomorphism, provided that $S$ is absolutely simple. If $S$ is complex, then non-continuous field automorphisms of the complex numbers have to be considered, but that is all.

To appear in Adv. Math.

share|improve this answer

All you need is love:-)) Not really, just take a family of complex nilpotent Lie algebras $L_a$ depending on a complex parameter $a$. Such a family exists in dimension 7, or maybe even 6 (I do not remember the nilpotent classification).

Now consider a wild automorphism of complex numbers $\phi$. Then $L_a$ and $L_{\phi (a)}$ for a generic $a$ are isomorphic as Lie algebras over ${\mathbb Q}$ but not over ${\mathbb R}$ or ${\mathbb C}$. Love is all you need((-: the corresponding simply connected Lie groups are isomorphic as abstract groups but not as Lie groups.

share|improve this answer
    
Seems very cool ! –  Alexander Chervov Nov 27 '12 at 9:12

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.