Today, I was in class, and was given a question of the form “show that cannot be surjective, and I asked my professor, “can we assume some basic functional analysis? The open mapping theorem implies that this is is open, and hence a homeomorphism, which it is not.” A fellow student remarked that manifolds aren’t Linear, which I accidentally misheard as “please quit mathematics immediately.” Luckily, I am very bull-headed and I’ve spent the day reformulating the proof for the open mapping theorem in Banach spaces to Lie groups. I think it works– I was unable to find any such result in my books on Lie theory, and I didn’t want to google it initially (we live with our contradictions), but after proving the lemma, I looked it up just in case and posted this question on SE. I guess we will just have to see.
Here, let’s just assume that is a Lie group embedded in with all the good stuff (connected, smooth, without boundary, etc.)
I will make use of Baire Category and this nice idea from Fulton and Harris:
Nice Idea: Let be any neighborhood of the identity. Then “generates” .
This essentially follows by showing that is clopen. First, we note that for any , , so it is open, and it is closed since its complement is open as well: .
This is really the result that gives me hope for such a theorem to exist, because it relates the topological structure of a small ball around the origin to some algebraic notion of “generates.” From this, I hope that a theorem very much analogous to the proof for the open mapping theorem in functional analysis will work.
We will also make use of the following facts about :
Quick Fact: is second-countable, and a Baire space. Without jargon: the topology on has a countable basis (so every cover admits countable subcover), and is not the union of countably many closed sets with empty interior.
In the case that this method works, and you care about such things, one could probably generalize the following theorem mildly, but this blogger already has a mental cramp, so we give our main lemma:
Lemma 1: Let be Lie groups of arbitrary dimension. If is a surjective Lie group homomorphism, then the image of an open neighborhood of the identity in is a neighborhood with nonempty interior about .
As expected, pick some neighborhood of . We want to pick some open ball in so that the closure of is compact and contained in . Remember, we want to make use of Baire category, which is no good for open sets. By our nice idea,
but we can choose countably many such , by our quick fact. We can call this collection , and consider the image of under , which is all of . In particular, . But since is a homomorphism, this is the same thing as considering a whole bunch of , whose images are compact and hence closed. By Baire category, one of these guys has empty interior, say . But then has nonempty interior, since multiplication by an element is a homeomorphism. Hence, has nonempty interior.
This implies the theorem, since once we have this, we may pick some symmetric subset of any open neighborhood so that . Since has nonempty interior, we determine that for any . Noting that contains the identity of so that , we can do the following finagling:
meaning that we can find a suitable basis so that for each , contains the identity for . From this, we use the homomorphism property to conclude that for each open , we have that .