Equivariant algebraic vector bundles over a product of affine varieties (Q1355879)

In this article, the author classifies equivariant vector bundles over certain base spaces. Let \(G\) be a reductive complex algebraic group, \(Q\) a \(G\)-module, and let \(Z\) be a \(G\)-variety having a fixed point \(z_0\). One denotes by \(\text{VEC}_G(Z,Q)\) the set of equivalence classes of algebraic \(G\)-vector bundles over \(Z\) whose fiber over \(z_0\) is \(Q\). In general, it is not known how to classify or put a structure on this set. However, in some cases, this can be done. G. Schwarz showed that if \(Z\) is a \(G\)-module with a one-dimensional quotient, then \(\text{VEC}_G(Z,Q)\cong\mathbb{C}^p\) for a certain \(p\), which can be calculated. The additive structure can be interpreted using Whitney sums of vector bundles [\textit{G. W. Schwarz}, C. R. Acad. Sci., Paris, Sér. I 309, No. 2, 89-94 (1989; Zbl 0688.14040)]. In a previous article, the author showed that Schwarz' result holds also when \(Z\) is a weighted \(G\)-cone with a smooth one-dimensional quotient [\textit{K. Masuda}, Osaka J. Math. 32, No. 4, 1065-1085 (1995; see the preceding review)]. In the present article, one considers the case where the base \(Z\) is the product of a weighted \(G\)-cone \(X\) with a smooth one-dimensional quotient and an irreducible affine variety \(Y\) such that all vector bundles over \(Y\) and over \(\mathbb{C}^*\times Y\) are trivial (\(G\) acts trivially on \(Y\)). It is shown, for example, that if \(Q\) is multiplicity-free as a module over the principal isotropy group of \(X\), then \(\text{Vec}(X\times\mathbb{C}^m,Q)\cong \text{Mor}(\mathbb{C}^m,\mathbb{C}^p)\), where \(p\) is calculated as above and \(\text{Mor}(\mathbb{C}^m,\mathbb{C}^p)\) is the set of morphisms from \(\mathbb{C}^m\) to \(\mathbb{C}^p\). The proof uses techniques developed by \textit{H. Kraft} and \textit{G. W. Schwarz} in Publ. Math., Inst. Hautes Étud. Sci. 76, 1-97 (1992; Zbl 0783.14026)].