Moduli of algebraic \(\text{SL}_3\)-vector bundles over adjoint representation (Q5949464): Difference between revisions

Let \(G\) be a reductive complex algebraic group and \(P\) a complex \(G\)-module. Denote by \(\text{VEC}_G(P,Q)\) the set of equivariant isomorphism classes of algebraic \(G\)-vector bundles \(E\) over \(P\) whose fiber over the origin is a \(G\)-module \(Q\). By Masuda-Moser-Petrie's theorem, if \(G\) is abelian, then any \(G\)-bundle \(E\) is \(G\)-isomorphic to the trivial \(G\)-bundle \(P\times Q\to P\). If \(\dim P/\!/G=1\), then \(\text{VEC}_G(P,Q)\) is isomorphic to \(\mathbb{C}^p\) for a non-negative integer \(p\). When \(\dim P/\!/G\geq 2\), \(\text{VEC}_G(P,Q)\) is not necessarily finite-dimensional. More precisely, \textit{K. Mederer} [Moduli of \(G\)-equivariant vector bundles, Ph.D. thesis, Brandeis University (1995)] showed that \(\text{VEC}_G(P,Q)\) can contain a space of uncountably-infinite dimension. He considered the case when \(G\) is a dihedral group \(D_m\) and \(P\) is a two-dimensional \(G\)-module. Mederer proved that \(\text{VEC}_{D_3}(P,P)\) is isomorphic to \(\Omega_{\mathbb{C}}^1\) which is the universal Kähler differential module of \(\mathbb{C}\) over \(\mathbb{Q}\). In the present article it is shown that under some conditions there exists a surjection from \(\text{VEC}_G(P,Q)\) to \(\Omega_{\mathbb{C}}^1\). It is induced by taking an \(H\)-fixed point set \(E^H\), where \(H\) is a reductive subgroup of \(G\). The main result states that such a surjection does exist for \(G=\text{SL}_3\), \(Q\) an adjoint module and \(P=Q\oplus R\), where \(R\) is any \(G\)-module. This is the first example of a moduli space of uncountably-infinite dimension for a connected group.