17
$\begingroup$

Let $H$,$K$ be closed connected subgroups of a compact Lie group $G$. Let $L:=\langle H,K \rangle$ be the subgroup they generate, ie, the smallest subgroup of $G$ containing them both. Must $L$ be closed?

Notes:

  1. False if $G$ is not compact.

  2. False if $H$, $K$ not connected: consider two $\mathbb{Z}/2\mathbb{Z}$ subgroups in $O(2)$ generated by reflections in irrationally related axes.

Is there a way to jack up (2) to a connected counterexample, for instance?

$\endgroup$
5
  • 2
    $\begingroup$ I took the liberty to add the tag of "Lie groups". $\endgroup$ Apr 20, 2011 at 20:36
  • 3
    $\begingroup$ I believe that the subgroup will be closed, given by the exponential of the subalgebra of the Lie algebra of G generated by the two subalgebras of H and K. The kind of argument I have in mind is similar to the proof of Theorem 0.4 in these notes: math.berkeley.edu/%7Eianagol/261A.F09/Simplegroups.pdf $\endgroup$
    – Ian Agol
    Apr 20, 2011 at 20:50
  • $\begingroup$ The result would follow easily if every element of $L$ could be written as $g_1g_2\ldots g_N$ for $g_i\in H\cup K$ and a fixed $N$. In that case, $L$ would be a continuous image of the compact space $(H\cup K)^N$, hence compact. I'm not sure if $L$ can always be written in this form, but it seems reasonable. $\endgroup$ Apr 21, 2011 at 10:06
  • 1
    $\begingroup$ @George: It is true that $L$ can be written in this form, see my answer... $\endgroup$ Apr 21, 2011 at 12:23
  • $\begingroup$ Yes, it is true that $L$ can be written in this form, but that's a consequence of the solution to the problem. I can't see how to argue that directly. $\endgroup$ Apr 22, 2011 at 6:58

2 Answers 2

12
$\begingroup$

Maybe it's helpful to formulate a somewhat different version of Mikhail's answer, from the viewpoint of the Borel-Tits development of reductive algebraic groups over an arbitrary field. When the field is $\mathbb{R}$, much of the basic structure of Lie groups is recaptured this way including the structure of compact connected Lie groups: such a group is always the group of real points of a connected reductive algebraic group over $\mathbb{C}$. (The book by Onishchik and Vinberg captures much of the information, but at the cost of leaving most proofs as structured exercises and working always over a base field of characteristic 0. The main ideas for algebraic groups work in much more generality.)

In the early part of Borel's book Linear Algebraic Groups you find in I.2.2 a general formulation which implies in particular that the answer to the question asked here is yes. (Indeed, $L$ is connected as well as closed.) The treatment in 7.5 of my book with the same title is a little more explicit, but doesn't refer to fields of definition since those are deferred to the end of the book. As far as I know there is no completely explicit formulation for compact Lie groups in the textbook literature, though I hope I'm wrong.

Unfortunately there seems to be no self-contained textbook treatment of the structure of compact Lie groups, though the representation theory is treated for example in the Springer GTM by Brocker and tom Dieck. Instead, compact Lie groups are typically discussed as special cases of more general Lie groups in larger books.

$\endgroup$
16
$\begingroup$

The abstract subgroup generated by $H$ and $K$ is closed.

We may assume that $G$ is connected. The groups $G$, $H$, $K$ are the groups of real points of real algebraic groups $\mathbf{G}$, $\mathbf{H}$, $\mathbf{K}$. Let $\frak g$, $\frak h$ , $\frak k$ be their Lie algebras. The complexifications ${\frak g}_{\Bbb C}$, ${\frak h}_{\Bbb C}$, ${\frak k}_{\Bbb C}$ are algebraic Lie algebras, i.e. Lie algebras of complex algebraic groups. Let ${\frak l}_{\Bbb C}$ be the Lie subalgebra of ${\frak g}_{\Bbb C}$ generated by Lie subalgebras ${\frak h}_{\Bbb C}$ and ${\frak k}_{\Bbb C}$. We refer to the book: Onishchik, A. L.; Vinberg, È. B.: Lie groups and algebraic groups, Springer-Verlag, Berlin, 1990. By Theorem 3.3.2 of this book, the Lie subalgebra ${\frak l}_{\Bbb C}$ is algebraic, i.e. it is the Lie algebra of a unique connected complex algebraic subgroup $\mathbf{L}_{\Bbb C}\subset \mathbf{G}_{\Bbb C}$. Clearly $\mathbf{L}_{\Bbb C}$ is defined over $\Bbb R$, i.e. comes from some real algebraic subgroup $\mathbf{L}\subset \mathbf{G}$. Set $L=\mathbf{L}(\Bbb R)$. Since $\mathbf{L}$ is connected and compact, the group of real points $L$ is connected, see Onishchik and Vinberg, Corollary 1 of Theorem 5.2.1. The Lie algebra $\frak l$ of $L$ is generated by the subalgebras $\frak h$ and $\frak k$. Since $H$ and $K$ are connected, $\mathbf{L}$ contains $\mathbf{H}$ and $\mathbf{K}$, and $L$ contains $H$ and $K$.

Let $L'$ denote the abstract subgroup generated by $H$ and $K$, it is contained in $L$. Since the Lie algebra $\frak l$ is generated by $\frak h$ and $\frak k$, one can easily see that for any element $A\in \frak l$ there exists a smooth map $\varphi$ from an interval $(-\varepsilon, \varepsilon)$ to $L$ with image contained in $L'$ and such that $d\varphi|_0=A$. It follows that $L'$ contains an open neighborhood of $1$ in $L$. Since $L$ is connected, we see that $L'=L$. Thus the abstract subgroup $L'$ generated by $H$ and $K$ is closed.

$\endgroup$
1
  • 2
    $\begingroup$ So, to summarize, the crucial extra structure comes from the real algebraic nature of compact Lie groups. Thanks, this is nice. $\endgroup$ Apr 21, 2011 at 8:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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