Mukai duality on adiabatic coassociative fibrations

Yang Li

REVIEW 4 major objections 5 minor 24 references

Mukai duality on adiabatic coassociative fibrations

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 Fibrewise Mukai duality turns K3-fibred G2 manifolds into mirror-like dual fibrations with the same adiabatic geometry.

desk verdict A serious formal framework for Mukai-dual G2 fibrations with a global Nahm transform; coherent and honest, but conditional on strong regularity assumptions and on the companion paper. read the letter →

arxiv 1908.08268 v1 pith:3FLRBPWT submitted 2019-08-22 math.DG

Yang Li This is my paper · ORCID

classification math.DG MSC 53C2953C3853C2658D27

keywords MukaidualityG2manifoldscoassociativefibrationsadiabaticlimitsHermitian-Yang-MillsconnectionsNahmtransformFueterequationK3surfaces

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

This paper tries to show that a collapsed G2 manifold with a coassociative K3 fibration has a mirror-like partner: replace each fibre by the moduli space of irreducible Hermitian-Yang-Mills connections on a fixed bundle over that fibre. The paper claims this replacement, the Mukai dual fibration, carries canonical differential forms that satisfy every equation of the adiabatic fibration framework, so it is a genuine dual object of the same kind. If true, gauge theory on the original fibration is dual to gauge theory on the dual fibration: a Nahm transform built from a universal connection and coupled Dirac operators sends twisted adiabatic G2 instantons to twisted adiabatic G2 instantons, and the inverse transform recovers the original bundle and connection up to a central 1-form from the base. This gives a mathematical interpretation of physical speculations that G2 manifolds with calibrated fibrations occur in mirror pairs.

What carries the argument

The load-bearing object is the relative moduli bundle of fibrewise Hermitian-Yang-Mills connections, i.e. the Mukai dual fibration, equipped with a canonical horizontal distribution obtained by lifting the base connection on $M$ and projecting infinitesimal variations into the moduli tangent space. The fibrewise hyperkahler forms on this bundle, combined with an orthonormal coframe on the base, define canonical 3-form and 4-form, while the fibre volume form is the hyperkahler top form. The paper also constructs a twisted generalised adiabatic G2 instanton on the universal bundle over the fibred product $M\times_B M^\vee$, whose curvature is triholomorphic in the fibre directions and satisfies a linear PDE in the horizontal directions; this serves as the correspondence kernel. The proof of the Nahm transform effect on instantons relies on a curvature operator $\tilde{R}$ built from the adiabatic Levi-Civita connection and on the fact that the coupled fibre Dirac operator's variation satisfies the identities $\sum_k I^{S^+}_k [\nabla_{\partial/\partial t_k}, D^-]=0$ and $\sum_k I^{S^+}_k \tilde{R}_k=0$, which are exactly encoded by the adiabatic equations $d_H\omega=0$ and $d_H\Theta=0$.

What would settle it

A concrete test: on a single K3 fibre, take a Hermitian bundle with Mukai vector $v$ satisfying $(v,v)=0$ and $v^2=0$, and compute the moduli space of irreducible Hermitian-Yang-Mills connections; if for any fibre it is empty, singular, or not a smooth K3, or if a universal family contains a reducible member that breaks the fibrewise cokernel vanishing, then the asserted smooth Mukai dual fibration and Nahm transform do not exist.

Watch

Extended reading notes

Core claim

The central discovery is that Mukai duality can be performed fibrewise across an adiabatic coassociative K3 fibration, and that the dual fibration is again an adiabatic fibration of the same type. Concretely, take a bundle $P$ over $M$ whose restriction to each K3 fibre has Mukai vector $v$ with $v^2=0$; under smoothness assumptions the moduli spaces $M^\vee_b$ of irreducible Hermitian-Yang-Mills connections are K3 surfaces and assemble into a fibration $\pi^\vee: M^\vee\to B$. The paper proves that the canonical 3-form, 4-form, base form and fibre volume form obtained from the relative moduli construction satisfy exactly the adiabatic equations $d_f\omega^\vee=0$, $d_H\omega^\vee=0$, $d_f\lambda=0$, $d_H\mu^\vee=0$, $d_f\Theta^\vee=0$, $d_H\Theta^\vee=0$, and that the fibrewise hyperkahler periods are related by the $\mu$-map, i.e. the dual positive section is $h^\vee=\mu\circ h$. Moreover, using a twisted generalised adiabatic G2 instanton on the universal bundle $E\to M\times_B M^\vee$ as a correspondence, the Nahm transform maps twisted adiabatic G2 instantons on $F\to M$ to twisted adiabatic G2 instantons on $\hat{F}\to M^\vee$, and the inverse Nahm transform recovers the original pair up to a $\mathfrak{u}(1)$-valued 1-form pulled back from $B$.

Load-bearing premise

For every fibre, the moduli space of irreducible Hermitian-Yang-Mills connections on the restricted bundle is non-empty, compact, smooth, and a K3 surface, with the gauge group acting freely modulo its central $S^1$; if any fibre has an empty, singular, or noncompact moduli space, the Mukai dual fibration and Nahm transform are not defined.

Editorial extensions

If this is right

The Mukai dual fibration $\pi^\vee:M^\vee\to B$ is itself an adiabatic fibration, so the whole collapsed-G2 machinery of positive sections, maximal submanifold equations, and variational functionals applies to the dual side.
Adiabatic associative sections on the dual fibration are equivalent to adiabatic G2 instantons on the original bundle $P\to M$ up to gauge equivalence.
The Nahm transform sends twisted adiabatic G2 instantons on $F\to M$ with slope potential matching $E$ to twisted adiabatic G2 instantons on $\hat{F}\to M^\vee$ with slope potential matching $E'$.
The inverse Nahm transform returns the original bundle and connection up to a $\mathfrak{u}(1)$-valued 1-form pulled back from $B$, giving a Fourier-inversion-like duality between gauge theories on the two fibrations.
The double Mukai dual fibration is isomorphic to the original fibration as an adiabatic fibration, so the duality is involutive.

Reading between the lines

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

If the formal adiabatic picture survives perturbation to genuine torsion-free G2 metrics, this would realise the conjectured mirror pairs of G2 manifolds at the level of gauge theory, not just topology; a testable next step is to perturb an adiabatic instanton to a finite-epsilon instanton on a collapsed G2 manifold and see whether the Nahm-transformed pair persists.
The same relative-moduli construction should extend to Spin(7) manifolds with Cayley fibrations, with the Fueter-type equation over a 4-dimensional base replacing the 3-dimensional one; the author lists this as an open problem.
Including reducible connections or singular fibres is where the construction likely breaks or acquires singularities; the paper notes that the dual fibration can become singular even when the original is a smooth submersion, so a compactified theory of such singularities would be the natural continuation.
The equality of the submanifold and gauge-theoretic Chern-Simons functionals hints at an equivalence of quantum theories whose classical limit is the instanton-Fueter correspondence; quantising the two functionals and comparing partition functions is a concrete test.

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

Colleague,

I read Yang Li's arXiv:1908.08268. My short verdict: this is a serious formal construction, not a finished theory. If the companion paper and the moduli-space assumptions hold, it is the first systematic differential-geometric realisation of Gukov-Yau-Zaslow duality in Donaldson's adiabatic G2 setting, with a working dictionary between gauge theory on one fibration and submanifold/Fueter theory on the dual. The Mukai dual fibration is built as a moduli bundle carrying all the required adiabatic structures, and the fibrewise Nahm transform is globalised over the base with a good deal of careful Dirac-operator algebra. I was also persuaded by the instanton-Fueter correspondence and the equality of the two Chern-Simons functionals; the author's bookkeeping with central u(1) twists is careful.

What is genuinely new: the construction of the dual fibration, the universal twisted generalised adiabatic G2 instanton, and the Nahm transform with its inversion theorem. The paper is also honest: it repeatedly says everything is formal, no analytic perturbation result is proven, and singular fibres or reducible connections are left as open problems.

The soft spots are proportionate. The manuscript is not self-contained: the K3-level structural results (triholomorphic connections, Nahm transform, Fourier inversion) come from the companion paper [17], and two load-bearing existence proofs in Chapter 5, Lemma 5.13 and Theorem 5.14, are sketches. A referee cannot verify the main theorems without reading [17]. Second, the fibre-moduli assumption is load-bearing: nonempty, compact, smooth K3 moduli with free gauge action. The paper states it, but the scope of the introduction reads more unconditional than the proof supports. The stress-test note about primitivity is fair: v²=0 alone does not force the moduli space to be K3; the standard statement also needs primitivity. That is a precision gap, likely fixable, but Theorem 1.4 as written is overbroad. The author's own remark that reducible connections can make the dual fibration singular reinforces the conditional nature. The citation pattern is fine: self-citation to [17] points to a directly related preceding paper, and the rest of the references cover the relevant literature.

Who gets value: researchers in G2 geometry, gauge theory, and mathematical mirror symmetry. It deserves a serious referee, with the caveat that the referee must also read the companion paper. I would send it out, and ask for precise regularity and primitivity hypotheses. I would not cite it as a fully proven duality until the companion dependencies are checked.

Referee Report

4 major / 5 minor

Summary. This paper develops a formal differential-geometric framework for adiabatic limits of G2 structures on coassociative K3 fibrations over a contractible base, in the sense of Donaldson. Starting from a Donaldson adiabatic fibration π:M→B, the paper defines a Mukai dual fibration π∨:M∨→B by fibrewise replacing each K3 fibre with the moduli space of irreducible Hermitian–Yang–Mills connections on a fixed bundle, and shows that this dual fibration again satisfies the full set of Donaldson adiabatic fibration equations (Theorems 1.4 and 5.2). The paper constructs a universal connection on E→M×_B M∨, called a twisted generalised adiabatic G2 instanton (Theorem 5.14), and uses it to define a Nahm transform that sends twisted adiabatic G2 instantons on a bundle F→M to twisted adiabatic G2 instantons on a bundle F^→M∨ (Theorem 6.10). An inverse Nahm transform is also constructed and shown to recover the original pair up to twisting by a u(1)-valued 1-form pulled back from the base (Theorem 6.12). Along the way the paper proves an instanton–Fueter correspondence for adiabatic G2 instantons, equates the relevant Chern–Simons functionals, and relates adiabatic associative sections on the dual fibration to adiabatic G2 instantons on the original one. The paper is explicitly formal: no analytic convergence or perturbation results are claimed.

Significance. If the stated hypotheses are met, this is an extensive and valuable contribution. It provides a concrete differential-geometric realization of the Gukov–Yau–Zaslow duality speculation for adiabatic G2 fibrations, complete with canonical geometric structures on the dual fibration, an equality of Chern–Simons-type functionals, and a Fourier–Mukai/Nahm correspondence between gauge theories on the two sides. The paper is honest about its formal nature and about the smoothness assumptions used, and it contains a large amount of explicit computation and variational structure. Its main debt is to the author's companion paper [17], from which the triholomorphic connection, the K3 Nahm transform, and the Fourier inversion theorem are imported; the results here are therefore conditional on [17] as well as on the smooth moduli assumptions.

major comments (4)

[Chapter 5, introduction; Theorem 5.2] The statement that a compact nonempty moduli space of HYM connections with Mukai vector v satisfying (v,v)=0 'must be K3 surfaces' omits the primitivity hypothesis of Mukai's theorem. Without v primitive, the moduli space need not be a K3 surface; it can be empty or have a different or singular structure. Since the definition of M∨→B as a K3 fibration is the basis for Theorem 5.2 and hence for Theorem 1.4, please add the primitivity condition and cite the precise statement from [17] or [13].
[§4.2 and Chapter 5; Theorems 5.2 and 6.10] The whole construction is conditional on the assumption that for every b∈B the moduli space of irreducible HYM connections on P|_{Mb} is nonempty, compact and smooth, with the gauge group acting freely modulo its central S1. This is stated in §4.2 and in the introduction to Chapter 5, and it is load-bearing: if even one fibre has a reducible connection or a singular moduli space, the Mukai dual fibration is not defined and the Nahm transform arguments collapse. The paper itself acknowledges in the open-problems section that reducible connections can produce singularities even when M→B is a smooth submersion. I recommend that the main theorems be phrased explicitly with these hypotheses, for instance 'under the smooth moduli assumption of Section 4.2', so that the abstract and theorem statements do not read as unconditional assertions.
[§5.5–5.6, Lemma 5.13 and Theorem 5.14] The proof of Lemma 5.13 is only a sketch, and Theorem 5.14, which produces the twisted generalised adiabatic G2 instanton ∇univ on E→M×_B M∨, is a key input for the Nahm transform in Chapter 6. The sentence 'we can prescribe the tensor product connection on Λ^rE ≃ L⊗L′' hides the choice of identification Λ^rE ≅ L⊗L′ and the non-uniqueness noted in the remark. Please either give a complete proof or explicitly state that the existence and properties of ∇univ are taken from [17]; as written, the central input to Chapter 6 is not fully proved inside this paper.
[§4.5, proof of Proposition 4.13] The proof of d∇M μ^M=0 contains an unjustified step: after writing the derivative of the L2 moduli metric, the paper asserts that a 'pointwise calculation on the K3 surface' reduces the averaged integrand to −Tr_{u(r)}(g_{Mb}(a_j,a_j)) ∂/∂t dVol_{Mb}. However, the a_j form an L2-orthonormal basis of T_A M, not a pointwise orthonormal basis, so averaging over j cannot be replaced by a pointwise trace without further argument. Since Proposition 4.13 is part of Theorem 4.14 and hence of the dual adiabatic fibration structure, please supply the missing details or cite a reference for this argument.

minor comments (5)

[Theorem 1.5] There is a typo: 'adiabtic' should be 'adiabatic'.
[Abstract and Section 2.2] The paper oscillates between 'contractible base' in the abstract and 'local base' in the body. Please state precisely the topological hypotheses on B needed for the global statements of Theorems 1.4, 5.2 and 6.10.
[Chapter 5, notation] The notation E for the Hermitian bundle and E′ for the related bundle on the dual side is easy to confuse; a more distinct notation would improve readability.
[Section 4.2, equations (40)–(42)] The convention for the L2 metric with the factor 1/(4π^2) is used repeatedly; it should be stated explicitly in Section 4.2 rather than only via a reference to [17].
[Proposition 4.9] The sentence 'Here M is noncompact' is imprecise when B has boundary; in that case M is compact with boundary π^{-1}(∂B). The subsequent boundary calculation is correct, but the wording should be adjusted.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the G2-level Mukai dual and Nahm transform statements are derived from independent K3-level inputs.

full rationale

The derivation of the Mukai dual fibration's adiabatic structure (Theorem 1.4 / Theorem 5.2) is a direct construction: the fibrewise moduli space is equipped with canonical 3-form, 4-form, and volume form, and the proof (Sections 4.4–4.5, 5.1) verifies Donaldson's equations by transferring the original fibration's equations via the isometric μ-map and moduli-bundle integrability conditions. No quantity is fitted or renamed as a prediction. The Nahm transform theorems (1.7, 1.8) are proven by explicit curvature computations (Sections 6.1–6.3) that use the input equation for α to cancel terms in the output curvature; the inverse transform recovers the original connection via the fibrewise Fourier inversion from [17] and the Fueter-section identification. The paper's reliance on the companion paper [17] is substantial, but [17] supplies K3-surface-level results (Mukai duality, triholomorphic universal connections, K3 Nahm transform) that are independent of the G2 fibration target and are not obtained from the present paper's assumptions. The manuscript explicitly states its conditional assumptions (compactness, nonemptiness, freeness of the gauge action, irreducibility) and notes the formal nature of the adiabatic limit and the absence of analytic perturbation results; these are limitations, not circular reductions. No step was found in which a claimed output is equivalent by construction to an input, nor any load-bearing argument that reduces to a self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

The paper is honest about its assumptions: everything is formal and relies on smooth, compact, irreducible moduli spaces and on the companion paper [17] for the K3-level machinery. There are no fitted parameters and no invented physical entities.

assumptions (5)

domain assumption Donaldson's adiabatic fibration data (ω, λ, Θ, µ, H) satisfying the adiabatic equations exist and define a formal collapsed G2 limit.
Invoked throughout Section 2.2 and Proposition 2.1 as the starting point; no genuine torsion-free G2 metric is known to realise the data.
domain assumption For each b in B, the moduli space of irreducible HYM connections on P|Mb → Mb is a non-empty, compact, smooth K3 surface, and the gauge group action is free modulo the central S1.
Stated in Chapter 5 and Section 4.2; needed to define the Mukai dual fibration and the moduli bundle. Can fail in general, as the author notes.
domain assumption The companion paper [17] supplies triholomorphic universal connections on X × X∨, the K3 Nahm transform and its Fourier inversion theorem, and the µ-map isometry facts for the dual positive section.
Cited in Sections 5.3, 6.1 and 6.3; the inverse Nahm transform (Theorem 1.8) depends on the Fourier inversion theorem in [17].
domain assumption A global universal bundle E → M ×B M∨ with a twisted generalised adiabatic G2 instanton ∇univ exists.
Assumed in the introduction to Chapter 5 and constructed under the stated setup in Theorem 5.14; needed for the Nahm transform.
domain assumption The base B is contractible and the fibration has no singular fibres; all connections are irreducible when required.
Explicitly imposed to avoid global and singular issues; the author lists these as open problems in the introduction.

invented entities (3)

Mukai dual fibration M∨ → B with canonical structures (ω∨, Θ∨, µ∨)
purpose: Provides the dual Donaldson adiabatic fibration obtained by fibre-wise Mukai duality.
Constructed in Chapter 5; its properties are derived in the paper, with no independent computational or external verification.
Twisted generalised adiabatic G2 instanton on the universal bundle
purpose: The connection on E → M ×B M∨ needed to define the Nahm transform and to make the curvature cancellations work.
Introduced in Section 5.4; existence is shown under the paper's assumptions, but it is not independently verifiable outside the framework.
Adiabatic spinor bundle with parallel positive spinor Φ (canonical isomorphism S+X ≅ SB)
purpose: Encodes the G2 parallel-spinor characterisation in the adiabatic limit and is used for the Dirac operator calculations in the Nahm transform.
Defined in Chapter 3; it is a formal limit object, not a spinor on an actual G2 metric.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Mukai duality on adiabatic coassociative fibrations." pith.science (2026). https://pith.science/paper/3FLRBPWT

@misc{pith2026190808268,
  author       = {Pith},
  title        = {Pith review of: Mukai duality on adiabatic coassociative fibrations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3FLRBPWT}},
  note         = {Machine review of arXiv:1908.08268}
}

abstract

This paper studies the formal adiabatic limit of coassociative K3 fibred torsion free $G_2$ manifolds fibred over a contractible base, shows how to put this structure on a different fibration obtained by fibrewise performing Mukai duality of K3 surfaces, and furthermore relates the gauge theories on both fibrations by a Nahm transform. This gives a mathematical interpretation to the physical speculations of Gukov, Yau and Zaslow.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[17]

Mukai duality on K3 surfaces from the differential geometric perspective

Li, Y. Mukai duality from the diﬀerential geometric perspective , arXiv:1908.05017

work page Pith review arXiv 1908
[13]

The geometry of moduli s paces of sheaves

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

work page 2010
[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

work page 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

work page 1997
[3]

Hypoelliptic Laplacian and Bott-Chern cohom ology

Bismut, Jean-Michel. Hypoelliptic Laplacian and Bott-Chern cohom ology. A theorem of Riemann-Roch-Grothendieck in complex geometry. Pr ogress in Mathematics, 305. Birkh¨ auser/Springer, Cham, 2013

work page 2013
[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

work page 1989
[5]

Mirror symmetry for G2-manifolds: twisted connected sums and dual tops

Braun, Andreas P.; Del Zotto, Michele. Mirror symmetry for G2-manifolds: twisted connected sums and dual tops. J. High Energy Phys. 2017 , no. 5, 080, front matter+28 pp

work page 2017
[6]

The Strominger-Yau-Zaslow conjecture and its impact , Selected Expository Works of Shing-Tung Yau with Commentary

Chan, K. The Strominger-Yau-Zaslow conjecture and its impact , Selected Expository Works of Shing-Tung Yau with Commentary. Vol. II, 118 3-1208, Adv. Lect. Math. (ALM) 29, Int. Press, Somerville, MA, 2014

work page 2014

Show all 24 references

[7]

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. 51

1990
[8]

Adiabatic limits of co-associative Kovalev-Lefs chetz ﬁ- brations

Donaldson, Simon. Adiabatic limits of co-associative Kovalev-Lefs chetz ﬁ- brations. Algebra, geometry, and physics in the 21st century, 1– 29, Progr. Math., 324, Birkh¨ auser/Springer, Cham, 2017

2017
[9]

K.; Thomas, R

Donaldson, S. K.; Thomas, R. P. Gauge theory in higher dimensions . The geometric universe (Oxford, 1996), 31–47, Oxford Univ. Press, Oxford, 1998

1996
[10]

Self-dual instanton s and holo- morphic curves

Dostoglou, Stamatis; Salamon, Dietmar A. Self-dual instanton s and holo- morphic curves. Ann. of Math. (2) 139 (1994), no. 3, 581–640

1994
[11]

Duality and ﬁbra tions on G2 manifolds

Gukov, Sergei; Yau, Shing-Tung; Zaslow, Eric. Duality and ﬁbra tions on G2 manifolds. Turkish J. Math. 27 (2003), no. 1, 61–97

2003
[12]

Gauge theory, calibrated geometry and harm onic spinors

Haydys, Andriy. Gauge theory, calibrated geometry and harm onic spinors. J. Lond. Math. Soc. (2) 86 (2012), no. 2, 482–498

2012
[14]

Fourier-Mukai transforms in algebraic geome try

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

2006
[15]

Compact manifolds with special holonomy

Joyce, Dominic D. Compact manifolds with special holonomy. Oxfo rd Mathematical Monographs. Oxford University Press, Oxford, 20 00
[16]

Geometric structu res on G2 and Spin(7)-manifolds

Lee, Jae-Hyouk; Leung, Naichung Conan. Geometric structu res on G2 and Spin(7)-manifolds. Adv. Theor. Math. Phys. 13 (2009), no. 1, 1–31

2009
[18]

Mukai, S., On the moduli space of bundles on K3 surfaces I , Vect or Bundles on Algebraic Varieties, Oxford, 1987, 341–413

1987
[19]

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
[20]

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
[21]

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

1988
[22]

Riemannian geometry and holonomy groups

Salamon, Simon. Riemannian geometry and holonomy groups. Pitm an Re- search Notes in Mathematics Series, 201
[23]

Mirror sy mmetry is T -duality

Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric. Mirror sy mmetry is T -duality. Nuclear Phys. B 479 (1996), no. 1-2, 243–259

1996
[24]

Thomas, R. P. A holomorphic Casson invariant for Calabi-Yau 3-f olds, and bundles on K3 ﬁbrations. J. Diﬀerential Geom. 54 (2000), no. 2, 367–438. 52

2000

Pith tools

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

[1] [17]

Mukai duality on K3 surfaces from the differential geometric perspective

Li, Y. Mukai duality from the diﬀerential geometric perspective , arXiv:1908.05017

work page Pith review arXiv 1908

[2] [13]

The geometry of moduli s paces of sheaves

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

work page 2010

[3] [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

work page 1998

[4] [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

work page 1997

[5] [3]

Hypoelliptic Laplacian and Bott-Chern cohom ology

Bismut, Jean-Michel. Hypoelliptic Laplacian and Bott-Chern cohom ology. A theorem of Riemann-Roch-Grothendieck in complex geometry. Pr ogress in Mathematics, 305. Birkh¨ auser/Springer, Cham, 2013

work page 2013

[6] [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

work page 1989

[7] [5]

Mirror symmetry for G2-manifolds: twisted connected sums and dual tops

Braun, Andreas P.; Del Zotto, Michele. Mirror symmetry for G2-manifolds: twisted connected sums and dual tops. J. High Energy Phys. 2017 , no. 5, 080, front matter+28 pp

work page 2017

[8] [6]

The Strominger-Yau-Zaslow conjecture and its impact , Selected Expository Works of Shing-Tung Yau with Commentary

Chan, K. The Strominger-Yau-Zaslow conjecture and its impact , Selected Expository Works of Shing-Tung Yau with Commentary. Vol. II, 118 3-1208, Adv. Lect. Math. (ALM) 29, Int. Press, Somerville, MA, 2014

work page 2014