On the algebraic hull of an automorphism group of a principal bundle (Q809399)

Suppose a locally compact group G acts by principal bundle automorphisms of a (continuous) principal H-bundle \(P\to M\) where H is a real algebraic group and M is separable and metrizable. Then under the further assumption that the G-action on M is ergodic with respect to some quasi- invariant measure, there is a smallest algebraic subgroup \(L\subset H\), unique up to conjugacy in H, such that there is a measurable G-invariant reduction of P to L, i.e., a measurable G-invariant section of P/L\(\to M\). This group L is called the algebraic hull of the action of G on \(P\to M\). Theorem: Suppose M is compact and G preserves a finite measure on M with respect to which the G-action is ergodic. Suppose further that G is a semisimple group of higher rank (i.e., a finite product \(\Pi G_ i\) where each \(G_ i\) is the set if \(k_ i\)-points of a \(k_ i\)-simple connected \(k_ i\)-group of \(k_ i\)-rank at least 2, where \(k_ i\) is a local field of characteristic 0. For \(k_ i={\mathbb{R}}\), we may also take \(G_ i\) to be a connected semisimple Lie group with finite center and all simple factors of \({\mathbb{R}}\)-rank at least 2.) If \(P\to M\) is a principal H-bundle on which G acts by principal bundle automorphisms, where H is a real algebraic group, then the algebraic hull of the action is a reductive group with compact center.