Differentiable structure for direct limit groups (Q1182293): Difference between revisions

Let \(G=\varinjlim G_ \alpha\) be the direct limit of Lie groups \(\{G_ \alpha\), \(\alpha\in A\}\), and \({\mathfrak g}=\varinjlim {\mathfrak g}_ \alpha\) be the direct limit of Lie algebras \(\{{\mathfrak g}_ \alpha\), \(\alpha\in A\}\). \(G\) is a topological group and \({\mathfrak g}\) is a topological Lie algebra. The exponential map \(\exp_ G: {\mathfrak g}\to G\) is defined by \(\exp_ G(\xi)=[\exp_{G_ \alpha}(\xi_ \alpha)]\) with \(\xi=[\xi_ \alpha]\in {\mathfrak g}\). The representations \((\pi_ \alpha,V_ \alpha)\) of \(G_ \alpha\) on \(V_ \alpha\) yield the direct limit representation \((\pi,V)\) of \(G\) on \(V: \pi=\varinjlim \pi_ \alpha\), \(V=\varinjlim V_ \alpha\), \(\pi\) is a continuous topological group representation. One gets a continuous representation \(\pi^*\) on \({\mathfrak g}\) on \(V\) by means of the representations \((d\pi_ \alpha,V_ \alpha)\) of \({\mathfrak g}_ \alpha\) on \(V_ \alpha\) such that \(\pi(\exp_ G \xi)(v)=\exp \pi^*(\xi)(v)\), where \(\xi=[\xi_ \alpha]\in G\), \(v=[v_ \alpha]\in{\mathfrak g}\). The authors define a differentiable structure on \(G\) in such a manner that \(\pi^*\) turns out to be the differential \(d\pi\) of the representation \((\pi,V)\) of \(G\) on \(V\). Proposition: If \(\xi\in{\mathfrak g}\), then \(d\pi(\xi)\) has discrete spectrum. Define \(i(\xi)=\text{Sup}\{|\text{Im }\lambda|\), \(\lambda\) an eigenvalue of \(d\pi(\xi)\}\). By imposing the ``spectral growth condition'', namely: If \(\xi\in{\mathfrak g}\) then \(i(\xi)<\infty\), it is proved that \({\mathcal O}=\{\xi\in{\mathfrak g}\mid\) \(i(\xi)<\pi\}\) is an open neighbourhood of 0 in \({\mathfrak g}\), and if further \(d\pi: {\mathfrak g}\to\text{End}(V)\) is injective then \(\exp_ G{\mathcal O}\to G\) is injective. Proposition: \(U=\exp_ G({\mathcal O})\) is an open subset of \(G\), \(\exp_ G:{\mathcal O}\to U\) is a homeomorphism. The differentiable structure on \(G\) is obtained from the assertions of this proposition.