Quotients, automorphisms and differential operators

Let $V$ be a $G$-module where $G$ is a complex reductive group. Let Z:=\quot VG denote the categorical quotient and let $\pi\colon V\to Z$ be the morphism dual to the inclusion \O(V)^G\subset\O(V). Let $\phi\colon Z\to Z$ be an algebraic automorphism. Then one can ask if there is an algebraic map $\Phi\colon V\to V$ which lifts $\phi$, i.e., $\pi(\Phi(v))=\phi(\pi(v))$ for all $v\in V$. In \cite{Kuttler} the case is treated where V=r\lieg is a multiple of the adjoint representation of $G$. It is shown that, for $r$ sufficiently large (often $r\geq 2$ will do), any $\phi$ has a lift. We consider the case of general representations (satisfying some mild assumptions). It turns out that it is natural to consider holomorphic lifting of holomorphic automorphisms of $Z$, and we show that if a holomorphic $\phi$ and its inverse lift holomorphically, then $\phi$ has a lift $\Phi$ which is an automorphism such that $\Phi(gv)=\sigma(g)\Phi(v)$, $v\in V$, $g\in G$ where $\sigma$ is an automorphism of $G$. We reduce the lifting problem to the group of automorphisms of $Z$ which preserve the natural grading of \O(Z)\simeq\O(V)^G. Lifting does not always hold, but we show that it always does for representations of tori in which case algebraic automorphisms lift to algebraic automorphisms. We extend Kuttler's methods to show lifting in case $V$ contains a copy of \lieg.Comment: 23 pages, minor revisions. To appear in J. London Math. Societ

The Koszul complex of a moment map

Let $K\to U(V)$ be a unitary representation of the compact Lie group $K$. Then there is a canonical moment mapping $\rho\colon V\to\mathfrak k^*$. We have the Koszul complex ${\mathcal K}(\rho,\mathcal C^\infty(V))$ of the component functions $\rho_1,...,\rho_k$ of $\rho$. Let $G=K_{\mathbb C}$, the complexification of $K$. We show that the Koszul complex is a resolution of the smooth functions on $\rho^{-1}(0)$ if and only if G\to\GL(V) is 1-large, a concept introduced in earlier work of the second author. Now let $M$ be a symplectic manifold with a Hamiltonian action of $K$. Let $\rho$ be a moment mapping and consider the Koszul complex given by the component functions of $\rho$. We show that the Koszul complex is a resolution of the smooth functions on $Z=\rho^{-1}(0)$ if and only if the complexification of each symplectic slice representation at a point of $Z$ is 1-large.Comment: 8 pages, final version, to appear in Journal of Symplectic Geometr