An Oka principle for equivariant isomorphisms (Q499889): Difference between revisions

The authors prove several generalizations of Grauert's Oka principle. Let \(G\) be a reductive Lie group acting holomorphically on connected normal Stein spaces \(X\) and \(Y\) and assume that the categorical quotients (which are normal Stein spaces) are biholomorphic, \(X//G \simeq Y //G \simeq Q\). Let \(p : X \to Q\) and \(r : Y \to Q\) be the quotient maps and assume that there exists an open covering \((U_{i} )_{i}\) of \(Q\) such that \(p^{-1} (U_i )\) and \(r^{-1} (U_i )\) are \(G\)-equivariantly biholomorphic. Assume the action of \(G\) to be generic. Then the following holds. {\parindent=6mm \begin{itemize} \item[(1)] The obstruction to \(X\) and \(Y\) being \(G\)-biholomorphic is topological. Namely, there exists a bundle arising from the given data whose topological triviality is equivalent to the \(G\)-equivariant biholomorphicity of \(X\) and \(Y\) (Theorem 2.6). The obstruction is an element in \(H^1 (Q,\mathcal A)\), where \(\mathcal A\) is the sheaf of groups of \(G\)-biholomorphisms of \(X\) over \(Q\). \item [(2)] Let \(K\) be a maximal compact subgroup of \(G\). If \(X\) is \(K\)-contractible or if \(G\) is abelian and \(X\) smooth and \(\mathbb Z\)-acyclic then \(X\) and \(Y\) are biholomorphic (Theorem A). \item [(3)] If \(X\) and \(Y\) are smooth and \(G\)-equivariantly diffeomorphic and the diffeomorphism is holomorphic on the fibres of the quotient map, then \(X\) and \(Y\) are G-invariantly biholomorphic over \(Q\) (Theorem B). \item [(4)] The result (1) holds if \(X\) is smooth and \(Y\) is replaced by a generic \(G\)-module \(V\) (Theorem C). \item [(5)] As a consequence of (4), a holomorphic \(G\)-action on \(\mathbb C^n\), which is locally \(G\)-biholomorphic over a common quotient to a generic linear action, is linearisable (Corollary 5.3). \end{itemize}} The authors conclude the paper by showing that if \(X\) and \(Y\) are smooth and fulfill the assumptions above, then {\parindent=0.6cm\begin{itemize} \item[(a)] strict \(G\)-diffeomorphisms can be deformed to special \(G\)-diffeomorphisms; the existence of the latter removes the topological obstructions to \(G\)-biholomorphicity of \(X\) and \(Y\) over \(Q\); \item [(b)] strong \(G\)-homeomorphisms can be deformed to special strong \(G\)-homeomorphisms; thus if \(X\) and \(Y\) are strongly \(G\)-homeomorphic, they are \(G\)-biholomorphic. \end{itemize}}