Universal observability and codimension one subgroups of Borel subgroups (Q1065150)

A subgroup \(H\) of an affine algebraic group \(G\) is called observable in \(G\) if the quotient variety \(G/H\) is quasi-affine; further an affine algebraic group \(H\) is called universally observable if every embedding of \(H\) in an affine algebraic group \(G\) gives a quasi-affine quotient \(G/H\). The question is how to characterize the universally observable groups. The author shows that a sufficient condition for the universal observability of a solvable group is that a certain monoid of characters for the inner operation of \(H\) on its hyperalgebra should be a group. Also, he shows that \(\mathrm{Ker}\, \chi\) is universally observable when \(\chi : B\to G_ m\) is a character in the dominant chamber of a Borel subgroup \(B\) of \(\mathrm{SL}_ n\). He shows further that this sufficient condition is not necessary, and gives a method for testing a group for the failure of universal observability, and shows the non-universal observability of a family of codimension one subgroups of Borel subgroups of \(\mathrm{GL}_ n\) \((n\geq 3)\).