It seems that the inverse limit of simply connected Lie groups is simply connected. The argument uses the well-known fact that the second homotopy group of any Lie group is trivial (see e.g. Homotopy groups of Lie groups).

Applying the long exact sequence of homotopy groups to the bonding homomorphism $p_{n+1,n}:G_{n+1}\to G_n$ between the simply connected topological groups, we conclude that its kernel $K_{n+1}=p_{n+1,n}^{-1}(e)$ has trivial homotopy group $\pi_1(K_{n+1})=\pi_2(G_n)=0$. Using this fact, and also the fact that a locally trivial bundle over a contractible space is trivial, for any loop $\gamma:\partial\mathbb D\to G$ defined on the boundary of the unit disk $\mathbb D$ we can inductively construct a sequence of maps $\bar\gamma_n:\mathbb D\to G_n$ such that $p_{n+1,n}\circ \bar\gamma_{n+1}=\bar\gamma_n$ and $\bar\gamma_n|\partial\mathbb D=p_{\infty,n}\circ\gamma$ for all $n$. Here $p_{\infty,n}:G\to G_n$ denotes the limit projection. Then the maps $\bar \gamma_n$ determine a map $\bar \gamma:\mathbb D\to G$ extending the map $\gamma$ and witnessing that the topological group $G$ is simply connected.

I hope that this argument is correct (this is a question to specialists in Algebraic Topology).

2more comments