Nonlinearizable operations of semisimple groups on affine spaces. (Q1814175): Difference between revisions

For each complex reductive group \(G\) the author constructs an algebraic action of \(G\) on the space \(\mathbb{C}^ n\) which is not linearizable. For a \(G\)-variety \(X\), a fixed point \(x\in X\) and a \(G\)-module \(M\) let \(VB_ G(X,x,M)\) denote the set of isomorphy classes of \(G\)-vector bundles over \(X\) whose fiber above \(x\) is isomorphic to \(M\). Consider a maximal torus \(T\) of \(G\). Let \(\alpha\) denote a simple root with respect to \(\mathfrak t\). Then \({\mathfrak l}={\mathfrak t}\oplus\mathbb{C}\cdot X_{\alpha}\oplus\mathbb{C}\cdot X_{-\alpha}\) is the direct sum of its center and the subalgebra \({\mathfrak l'}=\mathbb{C}\cdot H_{\alpha}\oplus\mathbb{C}\cdot X_{\alpha}\oplus\mathbb{C}\cdot X_{-\alpha}\cong SL(2,\mathbb{C})\). Denote by \(\mathfrak a\) the affine space \(\xi+\mathfrak l'\subseteq\mathfrak g\) for an element \(\xi\in\mathfrak t\) whose precise centralizer is \(\mathfrak l\). If \(L\) denotes the maximal rank subgroup generated by \(\mathfrak l\), then \(\mathfrak a\) is an \(L\)-variety. For a dominant weight \(\chi\) let \(M_{\chi}\) (resp., \(M_{\chi}'\)) denote the associated irreducible \(G\)-module (resp., \(L\)-module). --- Now let \(\mathcal W\) be an \(L\)-vector bundle over \(\mathfrak a\). The center \(Z\) of \(L\) operates trivially on \(\mathfrak a\) and linearly on each fiber. Then the union of the \(\chi| Z\)-eigenspaces of the fibers is a subbundle \(\mathcal W_{\chi\mid Z}\). If \(M_{\chi}\) is considered as \(L\)-module, then \(M_{\chi}'\) may be identified with the \(\chi| Z\)-eigenspace of \(Z\). One obtains a function \[ \Phi_{\chi}=(\mathcal V\mapsto(\mathcal V|{\mathfrak a})_{\chi| Z}): VB_ G({\mathfrak g},O,M_{\chi})\to VB_ L({\mathfrak a},\xi,M_{\chi}'). \] The main result is that this function is surjective for any regular dominant weight \(\chi\). By a result of \textit{G. Schwarz} [C. R. Acad. Sci., Paris, Sér. I. 309, 89-94 (1989; Zbl 0688.14040)] the range of \(\Phi_{\chi}\) does not only contain the class of the trivial bundle. It therefore follows that nontrivial \(G\)-vector bundles over \(\mathfrak g\) exist. From this the existence of nonlinearizable affine actions follows comparatively quickly.