The SO(3)-instanton moduli space and tensor products of ADHM data

\(K\)-theory instantions ADHM quiver representations equivariant \(K\)-group moment map Nekrasov partition function Nekrasov-Shadchin integral formula singular GIT quotient Uhlenbeck partial compactification

Mathematics Subject Classification ID

Applications of vector bundles and moduli spaces in mathematical physics (twistor theory, instantons, quantum field theory) (14D21) Yang-Mills and other gauge theories in quantum field theory (81T13)

Abstract: Let

M_{n}^{K}

be the moduli space of framed

K

-instantons with instanton number

n

when

K

is a compact simple Lie group of classical type. Due to Donaldson's theorem, its scheme structure is given by the regular locus of a GIT quotient of

m u^{- 1} (0)

where

m u

is the moment map on the associated symplectic vector space of ADHM data. A main theorem of this paper asserts that

m u

is flat for

K = S O (3, m a t h b b R)

and any

n g e 0

. Hence we complete the interpretation of the K-theoretic Nekrasov partition function for the classical groups in Nekrasov-Shadchin's work in term of Hilbert series of the instanton moduli spaces together with the author's previous results. We also write ADHM data for the second symmetric and exterior products of the associated vector bundle of an instanton. This gives an explicit quiver-theoretic description of the isomorphism

M_{n}^{K} c o n g M_{n}^{K^{'}}

for all the pairs

K, K^{'}

with isomorphic Lie algebras.

Review text

Let \(\mathcal{M}^{K}_{n}\) be the moduli space of framed \(K\)-instantons with the instanton number \(n\) over the 4-sphere. When \(K\) is a classical compact Lie group, other than \(\operatorname{SO}(3,\mathbb{R})\), the instanton partition function for \(\mathcal{M}^{K}_{n}\) is given by the Nekrasov-Shadchin integral formula for the Uhlenbeck partial compactification, which integrates an equivariant \(K\)-theory class defined over a vector space of ADHM quiver representations. But for \(K=\operatorname{SO}(3,\mathbb{R})\) there is a difference arising from the non-reduced components of the ADHM space. The main result of this paper clarifies this difference, and completes the interpretation of the Nekrasov partition function for classical groups. Due to [\textit{S. K. Donaldson}, Commun. Math. Phys. 93, 453--460 (1984; Zbl 0581.14008)], the scheme structure of \(\mathcal{M}^{K}_{n}\) can be given by the smooth locus of the GIT quotient \(\mu^{-1}(0)/\!\!/SP(V)\), where \(\mu\) is the moment map on the associated symplectic vector space of the ADHM data. According to the first main result, \(\mu\) is flat and \(\mu^{-1}(0)\) is a non-reduced complete intersection of dimension \(\frac{k^2+3k}2\) with \(\lfloor\frac{k}4\rfloor+1\) irreducible components, where \(k=\dim V\). Moreover, \(\mu^{-1}(0)/\!\!/SP(V)\) is also non-reduced, with the same number of components, and of dimension \(k\). A birational model for each component is given explicitly. The flatness gives some useful étale open subsets over which geometric properties, such as normality, can be checked. The second main result is a quiver description of scheme-theoretic isomorphisms \(\mathcal{M}^{K}_{n}\simeq\mathcal{M}^{K'}_{n}\) in terms of the ADHM data. The precise statement involves a limit of the tensor product of the ADHM data with respect to a \(\mathbb{C}^*\) action and a dilation of the ADHM space. There are precisely five pairs \(K,K'\) of classical groups that give rise to such isomorphisms, meaning that the corresponding instanton spaces have two different scheme structures. The isomorphisms of the Lie algebras of \(K,K'\) induce their isomorphisms as Gieseker spaces, which are, in turn, isomorphic to the spaces of ADHM data via the monad construction.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: The \(\operatorname{SO}(3)\)-instanton moduli space and tensor products of ADHM data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2414535)