Mukai duality on K3 surfaces from the differential geometric perspective

Yang Li

REVIEW 4 major objections 5 minor 1 cited by

Mukai duality on K3 surfaces from the differential geometric perspective

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read An irreducible Hermitian-Yang-Mills connection over a K3 surface is recovered exactly from its Nahm transform, which also preserves the Hermitian-Yang-Mills condition.

desk verdict A serious, mostly self-contained differential-geometric Nahm transform for K3 surfaces, with Fourier inversion that rests on sketched analytic estimates worth checking before you rely on it. read the letter →

arxiv 1908.05017 v1 pith:SPUPD7WT submitted 2019-08-14 math.DG

Yang Li This is my paper · ORCID

classification math.DG MSC 14J2853C2653C0758J05

keywords MukaidualityK3surfacesNahmtransformHermitian-Yang-MillsconnectionhyperkählergeometryFourier-Mukaianti-self-dualconnectionsspinors

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out a differential-geometric version of Mukai duality for K3 surfaces: instead of working with stable sheaves and derived categories, it treats the duality as an operation on Hermitian-Yang-Mills (HYM) connections, built from the kernel of a coupled Dirac operator. Its central claim is that an irreducible HYM connection whose Mukai vector has the same slope as the universal bundle can be transformed into an HYM connection on the dual K3 surface, and that applying the same construction twice recovers the original bundle and its original connection. Why a reader should care: if this holds, the Fourier-Mukai transform is an analytic, metric-dependent operation that does not choose a complex structure, and the same technique is shaped to carry over to the author's companion work on adiabatic coassociative K3 fibrations in G2 geometry. The precise statement is Theorem 1.1, developed in Theorems 4.3 and 4.19: the canonical comparison map is an isometric isomorphism of Hermitian vector bundles identifying the connection on the original bundle with the connection on the inverse transform.

What carries the argument

The machinery is the triple $(\nabla^{\mathrm{univ}}, D^\pm_{\alpha\tau}, G_\tau)$: the triholomorphic universal connection on $E \to X \times X^{\vee}$, whose mixed curvature $\Omega = F(\nabla^{\mathrm{univ}})_{X,X^{\vee}}$ satisfies $\Omega(I_k v, w) = -\Omega(v, I_k w)$; the coupled Dirac operators built from Clifford multiplication on the positive and negative spinor bundles; and the Green operator $G_\tau = (D^-_{\alpha\tau}D^+_{\alpha\tau})^{-1}$, which on a hyperkähler K3 surface equals $(\nabla^*_{\alpha\tau}\nabla_{\alpha\tau})^{-1}$. The transformed curvature is expressed through $G_\tau$ and $\Omega$, and two identities carry the inversion: the commutator formula $[-\nabla^{\mathrm{univ}}_{\partial_{\tau_i}}, G_\tau] = 2G_\tau(-\iota_{\partial_{\tau_i}}\Omega, \nabla_{\alpha\tau})G_\tau$, and the trace formula $\mathrm{Tr}_{S^-} G_\tau \Omega^t P(\Omega^t)^\dagger G_\tau = -4\sum_i [\nabla^{\mathrm{univ}}_{\partial_{\tau_i}}, [\nabla^{\mathrm{univ}}_{\partial_{\tau_i}}, G_\tau]]$. The final equality of inner products is decided by the short-distance asymptotics $G_\tau(y,x) \sim 1/(4\pi^2 |y-x|^2)$ and the second-order Taylor expansion of $\Delta^{\mathrm{univ}}_{X^{\vee}} Q_\tau(x,y)$, whose quadratic coefficient is shown to combine with the Green singularity to produce the metric term $\delta_{jk}$.

What would settle it

Work out Lemmas 4.12–4.18 explicitly in the simplest nontrivial case—say a rank-2 HYM bundle with the same slope over a quartic K3—and verify analytically or numerically that the coefficient $-1/(4\pi^2)\int_{X^{\vee}} \mathrm{Tr} \sum_i \Omega(\partial/\partial y_j, \partial/\partial \tau_i)\Omega(\partial/\partial y_k, \partial/\partial \tau_i)$ equals the metric $\delta_{jk}$ (Lemma 4.15), and that the first-order asymptotic (32) has coefficient $-y_\mu$. A mismatch in either coefficient would produce a nonzero connection difference in Proposition 4.17 and falsify Theorem 4.19.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that Mukai/Fourier-Mukai duality has a canonical differential-geometric realization with a bona fide inverse. Starting from an irreducible HYM connection $(F,\alpha)$ on a hyperkähler K3 surface $X$, the null space of the negative Dirac operator $D^-_{\alpha\tau}$ forms a vector bundle $\widehat F$ over the Mukai dual K3 surface $X^{\vee}$, and the $L^2$ projection of the universal connection gives $\widehat F$ its HYM connection $\widehat\alpha$. The curvature of $\widehat\alpha$ is shown to be HYM by a spinor argument: the problematic term $\langle G_\tau \Omega^t \psi_i, \wedge \Omega^t \psi_j\rangle$ is anti-self-dual because the complex-structure operators $I^{S^+}_k$ on positive spinors commute with the Green operator and rotate the triholomorphic mixed curvature $\Omega$. For the inverse, the paper constructs a comparison map $F \to \widehat{\widehat F}$ out of Green operators, Clifford contraction, and the antilinear symmetry $\epsilon$, proves it solves the coupled Dirac equation, and then evaluates the induced inner product through short-distance asymptotics of the Green kernel and of $\Delta^{\mathrm{univ}}_{X^{\vee}} Q_\tau(x,y)$; the result is that the comparison map is an isometric isomorphism identifying $\alpha$ with $\widehat{\widehat\alpha}$.

Load-bearing premise

The whole inversion result rests on unproved short-distance asymptotic formulas: the Green's operator kernel $G_\tau(y,x) \sim 1/(4\pi^2 |y-x|^2)$ and the second-order Taylor expansion of the universal parallel-transport Laplacian near the diagonal $y = x$, together with Lemma 4.7's spinor commutator identity which the paper leaves to the reader; if any of these estimates or identities fails, the comparison map need not be an isometry and the connections need not match.

Editorial extensions

If this is right

Every irreducible HYM connection of the allowed slope is the inverse Nahm transform of its own Nahm transform; the duality is an involution on connections, not just on cohomology classes.
The HYM-preservation theorem applies without choosing a complex structure, so the transform is simultaneously compatible with all hyperkähler complex structures on $X$ and $X^{\vee}$.
The $\mu$-map computation (Theorem 3.2) shows the volumes of $X$ and $X^{\vee}$ are equal, and the induced hyperkähler structure on $X$ from its interpretation as a moduli space of ASD connections over $X^{\vee}$ agrees with the original one (Theorem 3.3).
The same Green-operator technology is designed for direct adaptation to G2 geometry, where the companion paper applies Mukai duality to adiabatic coassociative K3 fibrations.
When the non-singularity assumptions fail—if the family of connections on $X^{\vee}$ develops reducibles—the comparison map may still be defined but the inversion theorem's conclusion is not claimed.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the analytic core is the four-dimensional Green-kernel singularity plus the hyperkähler spinor action, the same inversion argument should extend to higher-rank bundles and to non-algebraic K3 surfaces, where the algebraic Fourier-Mukai formalism requires projectivity; the paper does not state this extension.
The equality of the two hyperkähler structures on $X$ (Section 3.2) suggests a converse fibration statement: the family of HYM connections on $X^{\vee}$ parametrized by $X$ is the same moduli problem, so the duality should extend to an equivalence of the full categories of HYM bundles of fixed slope; the paper stops at the bundle/connection level.
One testable check is to derive Lemma 4.7's commutator identity as a spinor Weitzenböck formula; if that identity can be proven by a local calculation independent of the Green asymptotics, the curvature HYM proof in Theorem 4.3 would not rely on the sketched estimates.
The explicit use of the antilinear symmetry $\epsilon$ and the flatness of the positive spin bundles suggests that the same inversion construction can be written on any hyperkähler 4-manifold with trivial positive spin bundle; whether the comparison map remains an isometry would test how much of the K3 classification the proof really uses.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Yang Li has written a dense preprint that does something genuinely new: a spinor-based Nahm transform for irreducible HYM connections on K3 surfaces with non-zero Mukai degree, including a Fourier inversion theorem. The algebraic FM dual is known, and Bartocci et al. covered some of the same ground via twistor methods, but the approach here — using the universal connection, Dirac operators, and Green's functions — is a real differential-geometric counterpart, and it is explicitly built for the author's G2 companion paper. The curvature computation in Theorem 4.3 (HYM preserved) is well laid out, and the careful treatment of the U(r) centre in Section 2.3 corrects a genuine gap in the existing literature. Credit where due: the paper does not overclaim, flags its own assumptions, and is transparent about what is standard and what is new.

Where I would push back: the Fourier inversion theorem (Theorems 4.16 and 4.19) hangs on a chain of short-distance asymptotics — Lemmas 4.13–4.18 and especially Lemma 4.7, whose proof is explicitly left to the reader. Lemma 4.7 fixes the relative sign between the diagonal and off-diagonal terms, and that sign feeds directly into the critical commutator identity in Lemma 4.10 and the coefficient -4 in equation (19). If that sign is wrong, the isometry and connection comparison collapse. The stress-test note is right about the load-bearing nature of this step. That said, the structure is internally coherent: Lemma 4.10 is derived in detail from Lemma 4.7, and the final cancellation in Proposition 4.17 is plausible. The gap is a missing proof, not an evident contradiction.

The analytic estimates for the Green's function near the diagonal (Lemma 4.14) are also only sketched, with the usual caveat about needing uniformity in the τ parameter. This is a technical paper, and the author is clearly competent; the omitted details are probably fillable, but they are not trivial. A serious referee would need to see them spelled out before the main theorem can be taken as fully established.

For whom: researchers working on gauge theory on K3 surfaces, Nahm transforms, or G2 geometry. It deserves a serious referee — but the referee should insist on the missing derivations. My recommendation: send it to review, with a request that the author supply the proof of Lemma 4.7 and the full asymptotics in Lemmas 4.13–4.18. If those hold, this is a solid contribution.

Referee Report

4 major / 5 minor

Summary. The paper develops a differential-geometric framework for Mukai duality on K3 surfaces, with an eye toward the author's companion work on adiabatic coassociative K3 fibrations. It reviews the moduli-theoretic construction of the Mukai dual X∨, constructs a universal connection ∇univ on the universal bundle, and uses spinor methods to define the Nahm transform of an irreducible Hermitian–Yang–Mills connection of the appropriate slope. The main theorems are Theorem 4.3 (the Nahm transform is again HYM) and Theorem 4.19 (Fourier inversion: the inverse Nahm transform is canonically isometric to the original bundle and identifies the connections). The proof of Theorem 4.19 proceeds through a comparison map built from Green operators, a correlator formula for its Hermitian inner product (Lemma 4.9), and a sequence of short-distance asymptotic evaluations (Lemmas 4.12–4.18).

Significance. If the analytic estimates are made rigorous, the paper would provide a genuinely differential-geometric Fourier inversion theorem for HYM connections on K3 surfaces, complementing the algebraic Fourier–Mukai theory and the twistor-oriented work of Bartocci et al. The paper contains several valuable contributions: a careful treatment of the U(r) versus PU(r) issue in the universal connection (Section 2.3), a spinor-based proof of the preservation of the HYM condition, and an explicit comparison map. The reliance on the algebraic Fourier–Mukai transform on cohomology (Theorem 2.8, Remark 18) is an external input used only to compare ranks and Mukai vectors; I do not see this as circular. The main impediment is that the load-bearing analytic identities—Lemma 4.7 and the asymptotic Lemmas 4.14, 4.15, and 4.18—are either left to the reader or only sketched, so the central claim is currently conditional.

major comments (4)

[§4.2, Lemma 4.7] The proof of Lemma 4.7 is explicitly omitted ('We leave the details to the reader as an exercise'). This identity is not a routine aside: it is used directly in Corollary 4.8 and in the derivation of the double-commutator formula (19) in Lemma 4.10, which in turn controls the short-distance limit in Lemma 4.15 and the connection comparison in Proposition 4.17. A sign or factor error in the relative coefficient between -(ιΩ,∇) and Σ_k I^{S+}_k(ι_{I_k∂}Ω,∇) would alter the factor 2 in Corollary 4.8 and the coefficient -4 in (19), and would propagate through the entire inversion argument. The full Clifford algebra computation must be supplied.
[§4.3, Lemmas 4.12–4.15, Remark 15] The Fourier inversion argument depends on delicate short-distance behavior: Lemma 4.14 asserts Gτ(y,x) ∼ (4π²|y−x|²)^{-1}(I+O(|y−x|^{2−ε})), and Lemma 4.15 evaluates the limit by using the second-order expansion of Δ^univ_{X∨}Qτ from Lemma 4.13. Remark 15 asserts without proof that the singular expression −Σ_i[∇^{univ,t}_{∂τ_i},[∇^{univ,t}_{∂τ_i},Gτ]] becomes smooth at y=x, and Lemma 4.12 uses Green's formula for a singular kernel. These are the steps that convert the correlator (23) into the identity operator on F_x, so they are load-bearing. The manuscript needs rigorous statements with uniform error estimates in τ and y, and a justification of the limiting procedure.
[§4.4, Proposition 4.17 and Lemma 4.18] The connection comparison in Proposition 4.17 rests on the first-order refinements (31) and (32) of Lemma 4.18, whose proof is only summarized: several terms are discarded as 'Laplacian and divergence terms' and an integration-by-parts sign is asserted. Because the whole cancellation in Proposition 4.17 depends on the exact coefficients in these asymptotics, the omitted details must be written out, including the treatment of the singular kernel in equation (29).
[§4.3, Lemma 4.9] Lemma 4.9 itself acknowledges an 'analytic subtle point' concerning the unbounded evaluation functional f′, but the passage from the L² functional to a point evaluation is not justified. Since this underlies the correlator formula (18) and hence the entire isometry argument, a rigorous functional-analytic justification is needed.

minor comments (5)

[Abstract and Introduction] There are several typos, including 'taylored', 'nee d', and 'irredubible'; the final version should be carefully proofread.
[Throughout] The provided version contains numerous encoding artifacts (e.g., '/uni2295', '/divid⟩s.alt0') that make parts of Sections 2 and 3 hard to read; these should be corrected in the typeset version.
[Theorem 4.16] The 'family Atiyah-Singer theorem' is invoked without a precise statement; please add the index-theoretic formula used to determine rk(\hat{\hat F}).
[Remark 16] Remark 16 mentions an 'interesting exercise' about general coordinates; since the main proof already uses geodesic coordinates, this remark is optional and could be deleted or replaced by a brief explanation.
[§3.2 and Lemma 4.15] The relation between the metric g∨∨ defined in (12) and the integral evaluated in Lemma 4.15 (including the sign and the factor 1/(4π²)) should be made explicit, since the two expressions are similar but not obviously identical.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's central Nahm-transform and Fourier-inversion claims are not forced by their inputs; the main gaps are unproved analytic estimates, not circular reductions.

full rationale

The derivation chain is not circular. The Nahm transform is defined independently of the theorem: F-hat is the kernel of the coupled Dirac operator D^-_{ατ}, and the universal connection ∇univ is constructed from a Green's operator and is shown, not assumed, to be triholomorphic (Theorem 2.14). The HYM-preservation proof in Section 4.1 reduces the curvature of F-hat to ⟨Gτ Ω^t·ψ, Ω^t·ψ⟩ and verifies the ASD condition using the triholomorphic property of Ω, without using the target theorem as an input. The Fourier-inversion proof in Sections 4.2–4.4 constructs a comparison map from Green operators and curvature, computes its pointwise norm as the short-distance limit (24), and evaluates that limit using the metric identity g^{∨∨}=g proved in Section 3.2. That metric identity is established with the algebraic Fourier–Mukai transform and the µ-map isometry, both cited to independent sources (Huybrechts–Lehn [7], Mukai [10]), and it is not a restatement of Theorem 4.19. The only genuinely load-bearing but unverified items are analytic: Lemma 4.7 is stated with 'We leave the details to the reader as an exercise,' and the short-distance asymptotic expansions underlying Lemmas 4.12–4.18 are sketched rather than proved. These are correctness risks and proof gaps, not circularity: no equation is defined in terms of the conclusion, and no fitted parameter is relabelled as a prediction. The self-citation [9] appears only as motivation and is not used as evidence. Accordingly the circularity score is 0.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper introduces no fitted parameters and no invented physical entities. The central claim relies on standard gauge theory and algebraic geometry (Hitchin-Kobayashi, Fourier-Mukai transform on cohomology, hyperkähler quotient) plus a set of asymptotic estimates stated in this paper that are load-bearing and only partially verified.

assumptions (8)

domain assumption The Mukai dual X∨ exists as a compact nonempty moduli space of stable sheaves on X and is itself a K3 surface (Theorem 2.8, citing [7]).
The paper imports this existence and K3 property from algebraic geometry (Huybrechts-Lehn) rather than proving it.
domain assumption Projectivity: the Kähler class of ω1 is rational (Remark 4).
The algebraic theory requires a projective K3 surface; the paper argues this is not restrictive because the twistor sphere contains projective members.
domain assumption The Hitchin-Kobayashi correspondence identifies stable holomorphic bundles with irreducible HYM connections (Sections 2.1 to 2.2).
The paper relies on this external theorem to translate between the algebraic and gauge-theoretic pictures throughout.
domain assumption The universal connection ∇univ exists with curvature formula (4), using the Green operator G_A for irreducible connections (Lemma 2.12).
The construction is adapted from Donaldson-Kronheimer and requires irreducibility and the Coulomb gauge condition for the canonical decomposition.
standard math The Fourier-Mukai transform on cohomology FM and FM∨ are inverses, preserve the Mukai pairing, and compute Mukai vectors (Theorem 2.8, Remark 18).
The paper explicitly depends on [7] for these properties; they are external algebraic results, not re-derived.
standard math The spin geometry conventions of the Appendix (action of complex structures on positive spinors, antilinear map ε, Clifford commutation relations) globalize to covariantly constant objects on hyperkähler K3 surfaces.
These algebraic identities are used in the HYM-preservation proof (Theorem 4.3) and in the comparison map (Section 4.2).
ad hoc to paper Short-distance asymptotics of the Green's function Gτ(y,x) ∼ 1/(4π²|y-x|²) and the second-order Taylor expansion of ∆univ_{X∨}Qτ in Lemmas 4.14 and 4.18.
These estimates are asserted with only sketched proofs and are load-bearing for the Fourier inversion isometry and connection comparison.
domain assumption The family of HYM connections on X∨ parametrized by X is irreducible, and H0(X∨, Hom(E∨|x, F)) = 0 for all x, making the inverse Nahm transform well defined (Theorem 3.3, Section 4.2).
The main theorem explicitly assumes these non-singularity conditions; they are not proved, only verified in special cases.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Mukai duality on K3 surfaces from the differential geometric perspective." pith.science (2026). https://pith.science/paper/SPUPD7WT

@misc{pith2026190805017,
  author       = {Pith},
  title        = {Pith review of: Mukai duality on K3 surfaces from the differential geometric perspective},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SPUPD7WT}},
  note         = {Machine review of arXiv:1908.05017}
}

read the original abstract

This paper treats the theory of Mukai duality on K3 surfaces from the differential geometric perspective, taylored to the need of the author's companion paper about Mukai duality of adiabatic coassociative K3 fibrations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Mukai duality on adiabatic coassociative fibrations
math.DG 2019-08 conditional novelty 7.0 of 10

Mukai duality applied fibre-by-fibre produces a canonical dual Donaldson adiabatic fibration for K3-fibred G2 manifolds, and a Nahm transform maps twisted G2 instantons between the two sides.

Reference graph

Works this paper leans on

13 extracted references · 8 canonical work pages · cited by 1 Pith paper

[1]

A hyper-K¨ ahler Fourier transform

Bartocci, C.; Bruzzo, U.; Hern´ andez Ruip´ erez, D. A hyper-K¨ ahler Fourier transform. Diﬀerential Geom. Appl. 8 (1998), no. 3, 239–249

1998
[2]

A Fourier-M ukai trans- form for stable bundles on K3 surfaces

Bartocci, C.; Bruzzo, U.; Hern´ andez Ruip´ erez, D. A Fourier-M ukai trans- form for stable bundles on K3 surfaces. J. Reine Angew. Math. 486 (1997), 1–16

1997
[3]

Hyper-K¨ ahler Nahm transf orms

Bartocci, Claudio; Jardim, Marcos. Hyper-K¨ ahler Nahm transf orms. Alge- braic structures and moduli spaces, 103–111, CRM Proc. Lectur e Notes, 38, Amer. Math. Soc., Providence, RI, 2004

work page 2004
[4]

Nahm’s transformation for ins tantons

Braam, Peter J.; van Baal, Pierre. Nahm’s transformation for ins tantons. Comm. Math. Phys. 122 (1989), no. 2, 267–280

1989
[5]

Instantons on gravitons

Cherkis, Sergey A. Instantons on gravitons. Comm. Math. Phy s. 306 (2011), no. 2, 449–483

work page 2011
[6]

K.; Kronheimer, P

Donaldson, S. K.; Kronheimer, P. B. The geometry of four-manif olds. Ox- ford Mathematical Monographs. Oxford Science Publications. The Claren- don Press, Oxford University Press, New York, 1990. 36

work page 1990
[7]

The geometry of moduli sp aces of sheaves

Huybrechts, Daniel; Lehn, Manfred. The geometry of moduli sp aces of sheaves. Second edition. Cambridge Mathematical Library. Cambr idge Uni- versity Press, Cambridge, 2010

work page 2010
[8]

Fourier-Mukai transforms in algebraic geomet ry

Huybrechts, D. Fourier-Mukai transforms in algebraic geomet ry. Oxford Mathematical Monographs. The Clarendon Press, Oxford Univers ity Press, Oxford, 2006

work page 2006

Show all 13 references

[9]

Li, Y., Mukai duality on adiabatic coassociative ﬁbrations, in prepa ration
[10]

Symplectic structure of the moduli space of sh eaves on an abelian or K3 surface

Mukai, Shigeru. Symplectic structure of the moduli space of sh eaves on an abelian or K3 surface. Invent. Math. 77 (1984), no. 1, 101–116

1984
[11]

Duality between D(X) and D( ˆX) with its application to Picard sheaves

Mukai, Shigeru. Duality between D(X) and D( ˆX) with its application to Picard sheaves. Nagoya Math. J. 81 (1981), 153–175

1981
[12]

On the moduli space of bundles on K3 surfaces

Mukai, S. On the moduli space of bundles on K3 surfaces. I. Vector bundles on algebraic varieties (Bombay, 1984), 341–413, Tata Inst. Fund . Res. Stud. Math., 11, Tata Inst. Fund. Res., Bombay, 1987

1984
[13]

Moduli of vector bundles on K3 surfaces and symplectic manifolds

Mukai, Shigeru. Moduli of vector bundles on K3 surfaces and symplectic manifolds. (Japanese) Sugaku Expositions 1 (1988), no. 2, 139–1 74. 37

1988

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

A hyper-K¨ ahler Fourier transform

Bartocci, C.; Bruzzo, U.; Hern´ andez Ruip´ erez, D. A hyper-K¨ ahler Fourier transform. Diﬀerential Geom. Appl. 8 (1998), no. 3, 239–249

1998

[2] [2]

A Fourier-M ukai trans- form for stable bundles on K3 surfaces

Bartocci, C.; Bruzzo, U.; Hern´ andez Ruip´ erez, D. A Fourier-M ukai trans- form for stable bundles on K3 surfaces. J. Reine Angew. Math. 486 (1997), 1–16

1997

[3] [3]

Hyper-K¨ ahler Nahm transf orms

Bartocci, Claudio; Jardim, Marcos. Hyper-K¨ ahler Nahm transf orms. Alge- braic structures and moduli spaces, 103–111, CRM Proc. Lectur e Notes, 38, Amer. Math. Soc., Providence, RI, 2004

work page 2004

[4] [4]

Nahm’s transformation for ins tantons

Braam, Peter J.; van Baal, Pierre. Nahm’s transformation for ins tantons. Comm. Math. Phys. 122 (1989), no. 2, 267–280

1989

[5] [5]

Instantons on gravitons

Cherkis, Sergey A. Instantons on gravitons. Comm. Math. Phy s. 306 (2011), no. 2, 449–483

work page 2011

[6] [6]

K.; Kronheimer, P

Donaldson, S. K.; Kronheimer, P. B. The geometry of four-manif olds. Ox- ford Mathematical Monographs. Oxford Science Publications. The Claren- don Press, Oxford University Press, New York, 1990. 36

work page 1990

[7] [7]

The geometry of moduli sp aces of sheaves

Huybrechts, Daniel; Lehn, Manfred. The geometry of moduli sp aces of sheaves. Second edition. Cambridge Mathematical Library. Cambr idge Uni- versity Press, Cambridge, 2010

work page 2010

[8] [8]

Fourier-Mukai transforms in algebraic geomet ry

Huybrechts, D. Fourier-Mukai transforms in algebraic geomet ry. Oxford Mathematical Monographs. The Clarendon Press, Oxford Univers ity Press, Oxford, 2006

work page 2006