Sunday 02 February 2025
Mathematicians have long sought to understand the properties of instanton moduli spaces, which are complex geometric objects that arise in the study of vector bundles on projective space. Instantons are a type of algebraic object that play a crucial role in many areas of mathematics and physics, including string theory and quantum field theory.
In a recent paper, mathematicians Dimitri Markushevich and Alexander Tikhomirov have made significant progress towards understanding the structure of instanton moduli spaces for small charges. Specifically, they have proved that these spaces are unirational, meaning that they can be parametrized by a set of algebraic equations.
To understand what this means, it’s helpful to start with the basics. An instanton is a type of vector bundle on projective space that has certain properties, including a vanishing cohomology group and a specific value for its second Chern class. The moduli space of these objects is the set of all possible ways of constructing an instanton, up to some natural transformations.
The problem of determining the birational type of this moduli space has been resistant to solution for many years. In fact, the rationality of the moduli space is known only for charges n=1, 2, 3 and 5. The paper by Markushevich and Tikhomirov tackles this problem head-on, proving that the moduli space is unirational for charges n=4, 6 and 7.
The proof relies on a clever combination of algebraic geometry and linear algebra. The authors start by representing the instantons as elements of a certain algebraic variety, which they call U. This variety has a natural action of an algebraic group G, and Markushevich and Tikhomirov show that the moduli space is isomorphic to the quotient U/G.
The key insight of the paper comes from considering a slice of this quotient, which they call Y. This slice is a subvariety of U that is invariant under the action of a smaller subgroup H of G. Markushevich and Tikhomirov prove that Y is a (G,H)-slice of the action of G on U, meaning that it meets certain technical conditions.
The proof is then completed by showing that Y is a complete intersection of 32n(n-1) hypersurfaces in an affine space of dimension 2n(n+3).
Cite this article: “Mathematicians Make Progress on Instanton Moduli Spaces”, The Science Archive, 2025.
Instantons, Moduli Spaces, Algebraic Geometry, Linear Algebra, Unirational, Vector Bundles, Projective Space, String Theory, Quantum Field Theory, Birational Type
