Double coset density in classical algebraic groups (Q4699642)

The results of this paper, combined with the results of the author's paper [J. Lond. Math. Soc., II. Ser. 58, No. 1, 63-83 (1998; see the preceding review Zbl 0943.20040)], give a proof of the following theorem: Let \(G\) be a connected reductive algebraic group over an algebraically closed field of characteristic \(p\geq 0\), and let \(H\) and \(K\) be reductive subgroups. Then either \(G=HK\), or there is no dense \(H,K\)-double coset in \(G\). The bulk of paper under review is in proving this statement in the case that \(G\) is simple of classical type (while the case that \(G\) is simple of exceptional type is considered in the paper cited). This is done by case by case considerations. This theorem would immediately follow from the stronger statement that the action of \(K\) on \(G/H\) is stable in the sense of algebraic transformation groups [cf. \textit{V. L. Popov, E. B. Vinberg}, Invariant Theory, Encycl. Math. Sci. 55, 123-284 (1994); transl. from Itogi Nauki Tekh., Ser. Sovrem Probl. Mat., Fundam. Napravleniya 55, 137-309 (1989; Zbl 0735.14010)]. This statement looks very plausible, and if \(p=0\), it was proved by \textit{D. Luna} [Invent. Math. 16, 1-5 (1972; Zbl 0249.14016)]. In particular, the main result of the paper under review is new only for \(p>0\).