zbMATH — the first resource for mathematics

Invariant differential operators and Frobenius decomposition of a \(G\)-variety. (Invariante Differentialoperatoren und die Frobenius-Zerlegung einer \(G\)-Varietät.) (German) Zbl 0976.14029
Let \(G\) denote a connected, reductive algebraic group. Suppose that \(G\) acts on a smooth, affine complex variety \(M.\) Let \({\mathcal D}^G(M)\) denote the \(G\)-invariant algebraic differential operators on \(M.\) Let \(\mathbb C[M]\) denote the coordinate ring of \(M.\) Decompose \(\mathbb C[M]\) into \(G\)-isotypical components. Then it is shown that the occurring components are irreducible pairwaise non-equivalent \({\mathcal D}^G(M)\)-modules, with a central character and uniquely determined by this character. As an application it is shown that the \(G\)-action on \(M\) is multiplicity free provided that the quotient of the moment map is finite. Moreover, there is an analogous decomposition for real forms. Furthermore, by some singular examples it is shown that the corresponding results for singular varieties are not true.

14L30 Group actions on varieties or schemes (quotients)
37K30 Relations of infinite-dimensional Hamiltonian and Lagrangian dynamical systems with infinite-dimensional Lie algebras and other algebraic structures
14L24 Geometric invariant theory
Full Text: EuDML