Twistor spaces for hyperkähler implosions (Q2509558)

The authors define a hyperkähler implosion for \(\mathrm{SU}(n)\) and generalize this to other compact groups. First they review the theory of twistor spaces for hyperkähler manifolds, recall the hyperkähler structure on the nilpotent cone in the Lie algebra of \(\mathrm{SL}(n,\mathbb C)\) and describe its twistor space. They also recall the constructions of the symplectic implosion and the hyperkähler implosion for \(K=\mathrm{SU}(n)\), and study the geometry of the twistor space of the universal hyperkähler implosion \(Q\) for this \(K\). Using the description of \(Q\) as a hyperkähler quiver variety, they construct a holomorphic map from the twistor space of \(Q\) to a complex bundle and an associated map of \(Q\) to the affine space of the bundle's holomorphic sections. Both maps are described in detail for \(n=2\) and \(n=3\). The authors explain how these maps are built from the fundamental irreducible representations of \(\mathrm{SU}(n)\) and the hypertoric variety associated to the hyperplane arrangement given by the root planes in the Lie algebra of the maximal torus. The most important fact is that these constructions can be extended to universal hyperkähler implosions for other compact groups.