Trihyperkähler reduction and instanton bundles on \(\mathbb{CP}^{3}\). (English) Zbl 1396.14012
Summary: A trisymplectic structure on a complex \(2n\)-manifold is a three-dimensional space \(\Omega\) of closed holomorphic forms such that any element of \(\Omega\) has constant rank \(2n\), \(n\) or zero, and degenerate forms in \(\Omega\) belong to a non-degenerate quadric hypersurface. We show that a trisymplectic manifold is equipped with a holomorphic 3-web and the Chern connection of this 3-web is holomorphic, torsion-free, and preserves the three symplectic forms. We construct a trisymplectic structure on the moduli of regular rational curves in the twistor space of a hyper-Kähler manifold, and define a trisymplectic reduction of a trisymplectic manifold, which is a complexified form of a hyper-Kähler reduction. We prove that the trisymplectic reduction in the space of regular rational curves on the twistor space of a hyper-Kähler manifold \(M\) is compatible with the hyper-Kähler reduction on \(M\). As an application of these geometric ideas, we consider the ADHM construction of instantons and show that the moduli space of rank \(r\), charge \(c\) framed instanton bundles on \(\mathbb{CP}^3\) is a smooth trisymplectic manifold of complex dimension \(4rc\). In particular, it follows that the moduli space of rank two, charge \(c\) instanton bundles on \(\mathbb{C}\mathbb{P}^{3}\) is a smooth complex manifold dimension \(8c-3\), thus settling part of a 30-year-old conjecture.
MSC:
14C21 | Pencils, nets, webs in algebraic geometry |
14D20 | Algebraic moduli problems, moduli of vector bundles |
53A60 | Differential geometry of webs |
53C26 | Hyper-Kähler and quaternionic Kähler geometry, “special” geometry |
53C28 | Twistor methods in differential geometry |
Keywords:
mathematical instanton; hyper-Kähler reduction; stable bundle; twistor space; hyper-Kähler manifold; spacial holonomyReferences:
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.