Generators and relations for the affine rings of the classical groups (Q4033140)

Let \(\mathbb{C}\) be the complex numbers and \(G\) one of the following algebraic groups over \(\mathbb{C}: SL_ n\), \(GL_ n\), \(SO_ n\) or \(Sp_ n\). Let \(\mathbb{C}[G]\) be the algebra of regular functions on \(G\) and let \(U\) and \(U^ -\) be the unipotent radicals of a pair of opposite Borel subgroups of \(G\) containing a maximal torus of \(G\). Let \(\mathbb{C}[G/U]\) and \(\mathbb{C}[G/U^ -]\) denote the subalgebras of functions in \(\mathbb{C}[G]\) that are invariant under right translations by all elements in \(U\) and \(U^ - \), respectively. The authors show that the algebra homomorphism \(\lambda_ G:\mathbb{C}[G/U^ -]\otimes\mathbb{C}[G/U]\to\mathbb{C}[G]\) defined by multiplication of functions in \(\mathbb{C}[G]\) is surjective. They also show that the kernel of \(\lambda_ G\) is generated by the intersection of the kernel of \(\lambda_ G\) with the set of \(G\)-invariant elements in \(\mathbb{C}[G/U^ -]\otimes\mathbb{C}[G/U]\).