Quotients, automorphisms and differential operators

TL;DR

This paper investigates when automorphisms of the categorical quotient of a G-module can be lifted to the original module, extending previous results to more general representations and considering holomorphic automorphisms.

Contribution

It generalizes lifting results for automorphisms from specific cases to broader classes of representations, including those with a copy of the Lie algebra and torus actions.

Findings

Holomorphic automorphisms that lift holomorphically have algebraic lifts.

Lifting always holds for torus representations, enabling algebraic automorphism lifting.

Extension of Kuttler's methods to cases where the module contains a Lie algebra copy.

Abstract

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$.