On normal representations of G-actions on projective varieties (Q913873)

The author examines a relation between G-actions on manifolds and the polynomial invariants of G-representations, G being a finite group. Given a faithful representation \(\psi: G\to GL(V;{\mathbb{C}})\) with \(V^ G=(0)\), let \({\mathcal H}_{\psi}\) be the subset of \({\mathcal S}(G) (=\) the set of all subgroups of G) consisting of \(\{G_ x\in {\mathcal S}(G)| x\in S(V)\}\) (here S(V) denotes the unit sphere. Let \({\mathcal K}_{\psi}\) be the open set \({\mathcal S}(G)-\bar {\mathcal H}_{\psi}\). Let \({\mathcal P}=\{P_ 1,...,P_ s\}\) be a set of homogeneous G-invariant polynomials such that the G- invariant subvariety of \({\mathbb{P}}(V)\) defined by \(P_ i=0\), \(1\leq i\leq s\), has empty intersection with \({\mathbb{P}}(V)^ H\), for every \(H\in {\mathcal K}_{\psi}\). The author proves that given such a \({\mathcal P}\) there exists a smooth complex projective variety M with a smooth algebraic action of G on it such that \(M^ G\) consists of \(\prod^{s}_{i=1}\deg (P_ i) \) isolated points; further, the complex tangential G-representation at each point of \(M^ G\) is isomorphic to the given \(\psi\). The author then uses this result for the ``geometric realization'' of a finite set which may be briefly described as follows. Given a finite set \(\{\psi_{\gamma}\}\), \(\gamma\in \Gamma\), of G-representations of the same dimension \( n,\) does there exist a smooth closed oriented G-manifold \(M^{2n}\) (the G-action preserving the orientation) such that: (1) \(M^ G\) is discrete and equals \(\Gamma\) ; (2) the tangential G-representation at each \(\gamma \in M^ G\) is SO- isomorphic to \(\psi_{\gamma}\) (here \(\psi_{\gamma}\) is regarded as an orthogonal representation under the inclusion U(n)\(\subset SO(2n)).\) The author obtains some explicit results for this problem, when G is either a cyclic group or a finite subgroup of SU(2). This paper makes a fine contribution to geometric invariant theory.