Moduli of equivariant algebraic vector bundles over a product of affine varieties (Q1363175)

We consider the base field \(\mathbb{C}\) of complex numbers. Let \(G\) be a reductive affine algebraic group and \(X\) a \(G\)-stable affine cone in a \(G\)-module. We denote by \(\text{Vec}_G(X,Q)\) the set of algebraic \(G\)-vector bundles over \(X\) whose fiber at the origin (the summit of the cone) is a \(G\)-module \(Q\), and by \(\text{VEC}_G (X,Q)\) the set of \(G\)-isomorphism classes in \(\text{Vec}_G (X,Q)\). We denote by \([E]\) the isomorphism class of \(E\in \text{Vec}_G (X,Q)\). The equivariant Serre problem asks whether VEC\(_G (X,Q)\) is trivial when \(X\) is a \(G\)-module. When \(G\) is abelian and \(X\) is a \(G\)-module, \textit{M. Masuda}, \textit{L. Moser-Jauslin} and \textit{T. Petrie} [Topology 35, No. 2, 329-334 (1996; Zbl 0884.14007)] have shown that \(\text{VEC}_G (X,Q)\) is trivial. However, for a nonabelian group \(G\), \(\text{VEC}_G (X,Q)\) is not trivial even if \(X\) is a \(G\)-module. Little is known on the moduli space \(\text{VEC}_G (X,Q)\), especially when the dimension of the algebraic quotient space \(X//G\) is greater than one. Even if \(X\) is a \(G\)-module, to classify elements in \(\text{VEC}_G (X,Q)\), when \(\dim X//G\geq 2\), is an open problem. Theorem A [\textit{K. Masuda}, Osaka J. Math. 32, No. 4, 1065-1085 (1995; Zbl 0883.14026)]: Let \(X\) be a weighted \(G\)-cone with smooth one-dimensional quotient and \(Q\) be a \(G\)-module. Then \(\text{VEC}_G (X,Q) \cong \mathbb{C}^p\) for a nonnegative integer \(p\). Moreover, there is a \(G\)-vector bundle \({\mathcal B}\) over \(X\times \mathbb{C}^p\) with fiber \(Q\) such that the map \(\mathbb{C}^p\ni z\mapsto [{\mathcal B} |_{X\times \{z\}}] \in\text{VEC}_G (X,Q)\) gives a bijection. Let \(X,p\), and \({\mathcal B}\) be as in theorem A. We denote by \(\text{Mor} (\mathbb{A}^m, \mathbb{C}^p)\) the set of morphisms from affine \(m\)-space \(\mathbb{A}^m\) to \(\mathbb{C}^p\). Then there is a map \(\Phi: \text{Mor} (\mathbb{A}^m, \mathbb{C}^p) \to\text{VEC}_G (X\times \mathbb{A}^m,Q)\) defined by \(\Phi(f)= [(\text{id}_X\times f)^* {\mathcal B}]\) for \(f\in\text{Mor} (\mathbb{A}^m, \mathbb{C}^p)\). By theorem A, it is bijective when \(m=0\). Moreover, theorem A implies that \(\Phi\) is injective. Masuda and Petrie have shown that \(\Phi\) is bijective in some examples. Main theorem. Let \(X\) be a weighted \(G\)-cone with smooth one-dimensional quotient. Then for any \(G\)-module \(Q\), the map \(\Phi: \text{Mor} (\mathbb{A}^m, \mathbb{C}^p) \to\text{VEC}_G (X\times \mathbb{A}^m,Q)\), \(f\mapsto [(\text{id}_X \times f)^* {\mathcal B}]\) gives a bijection.