On observable subgroups of complex analytic groups (Q1891732): Difference between revisions

A closed Lie subgroup \(G_1\) of a complex analytic group \(G_2\) is said to be observable if any finite-dimensional analytic \(G_1\)-module is a \(G_1\)-submodule of a finite-dimensional analytic \(G_2\)-module. Let \(G\) be a complex analytic group which can be expressed as a semidirect product \(KH\), where \(K\) is a closed normal simply-connected solvable subgroup and \(H\) is a maximal reductive analytic subgroup of \(G\). If \(N\) denotes the representation radical of \(G\), then the subgroup \(HN\) of \(G\) is called the algebraic kernel of \(G\). Let \(L\) be a closed analytic subgroup of a faithfully representable complex analytic group \(G\). The authors prove that \(L\) is observable in \(G\) if and only if (i) the algebraic kernel of \(L\) is the intersection of \(L\) and the algebraic kernel of \(G\), and (ii) the algebraic kernel of \(L\) is observable in the algebraic kernel of \(G\).