The moduli space of conically singular instantons over an SU(3)-manifold

Dominik Gutwein; Yuanqi Wang

arxiv: 2604.06057 · v1 · submitted 2026-04-07 · 🧮 math.DG

The moduli space of conically singular instantons over an SU(3)-manifold

Dominik Gutwein , Yuanqi Wang This is my paper

Pith reviewed 2026-05-10 18:29 UTC · model grok-4.3

classification 🧮 math.DG

keywords moduli spaceconically singular instantonsSU(3)-structureFredholm deformation theoryKuranishi structureHermitian Yang-Millsvirtual dimensionsheaf cohomology

0 comments

The pith

Fredholm deformation theory for conically singular SU(3)-instantons produces a Kuranishi structure on the moduli space when the principal bundle varies.

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

The paper develops a deformation theory for instantons with conical singularities on 6-manifolds that have an SU(3)-structure. It fixes the tangent connection at the singularity but lets the underlying bundle change, so the location of the singularity can move. This setup yields a Kuranishi structure, which is a local model for the moduli space near each point. Under some assumptions, the dimension of the cokernel of the deformation operator is computed explicitly. The results are then specialized to instantons with structure group PU(n), giving a virtual dimension expressed via sheaf cohomology groups on projective space.

Core claim

By developing a Fredholm deformation theory that fixes the tangent connection but allows the principal bundle (and thus the singular set) to vary, the authors establish the existence of a Kuranishi structure for the moduli space of conically singular SU(3)-instantons. They also provide a formula for the dimension of the cokernel of the instanton deformation operator under certain assumptions, and apply this to obtain a virtual dimension formula in terms of sheaf cohomology for the case of PU(n)-instantons.

What carries the argument

The instanton deformation operator, whose Fredholm properties enable the Kuranishi structure when the tangent connection is fixed but the bundle varies.

If this is right

The moduli space admits a Kuranishi structure, allowing local description by zeros of a section of a vector bundle over a finite-dimensional space.
A formula exists for the dimension of the cokernel of the deformation operator under the stated assumptions.
For PU(n)-instantons, the virtual dimension of the moduli space is given by a combination of sheaf cohomology dimensions over P^2.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This approach may allow the moduli space to be compactified by including limits where singularities collide or move to infinity.
The method could extend to other special holonomy settings where conical singularities appear in gauge theory.
Computing the virtual dimension via cohomology might connect these spaces to algebraic geometry invariants on the base manifold.

Load-bearing premise

The SU(3)-structure on the 6-manifold must allow the conical singularities and tangent connections to be prescribed in a way that makes the deformation operator Fredholm with the given cokernel formula.

What would settle it

An explicit example of an SU(3)-manifold with a conically singular instanton where the expected virtual dimension from the formula does not match the actual dimension of the moduli space, or where no local Kuranishi chart exists.

read the original abstract

In this article we study the moduli space of conically singular instantons (or Hermitian Yang--Mills connections) with prescribed tangent connections over a 6-manifold equipped with an $\mathrm{SU}(3)$-structure. That is, we develop a Fredholm deformation theory for such $\mathrm{SU}(3)$-instantons in which we fix the tangent connection but allow the underlying principal bundle (and, in particular, the singular set) to vary. This leads to the existence of a Kuranishi structure for this moduli space. Moreover, we investigate the cokernel of the instanton deformation operator and give under certain assumptions a formula for its dimension. Ultimately, we apply our results to conically singular instantons with structure group $\mathbb{P}\mathrm{U}(n)$ and give a formula for the virtual dimension of their moduli space in terms of sheaf cohomology of certain vector bundles over $\mathbb{P}^2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper builds a deformation theory for conically singular SU(3)-instantons that lets the singular set move while fixing the tangent connection, yielding a Kuranishi structure and a virtual dimension formula via sheaf cohomology for the PU(n) case.

read the letter

The core advance is a Fredholm setup where the principal bundle (and its singular locus) can vary but the tangent connection stays fixed. This produces a Kuranishi structure on the moduli space of conically singular instantons on a 6-manifold with SU(3)-structure. They also give a formula for the cokernel dimension of the deformation operator under stated assumptions, then apply it to PU(n) instantons to express virtual dimension in terms of cohomology of bundles on P^2. That last step is concrete and potentially useful for counting purposes in this geometry. The approach looks like a genuine extension of standard instanton deformation theory rather than a direct rehash of earlier fixed-singularity results. The technical move of holding the tangent connection constant while allowing the bundle to change is the part that feels new and worth checking in detail. The abstract indicates they rely on existing Fredholm theory and prior instanton literature, which keeps the foundation familiar. The application to virtual dimensions is a clear payoff that specialists can test against known cases. The main soft spot is the cokernel formula, which holds only under certain assumptions. The stress-test note flags that these assumptions may involve indicial roots or decay rates that could shift once the singular set moves. If the paper does not verify that the assumptions survive the variation, the index computation and resulting virtual dimension would rest on shaky ground. From the abstract alone it is not clear how restrictive or automatically satisfied those conditions are. This work is aimed at researchers in gauge theory on manifolds with special holonomy, particularly those already comfortable with Kuranishi structures, Hermitian Yang-Mills connections, and singular instantons. A reader who knows the background literature on moduli of connections will extract the most value; outsiders will find it narrow. The central claim is coherent on its own terms and engages the literature honestly, so the paper deserves a serious referee to verify the proofs and the validity of the assumptions in the varying-bundle setting. I would send it to peer review rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The paper develops a Fredholm deformation theory for conically singular SU(3)-instantons (Hermitian Yang-Mills connections) on a 6-manifold with SU(3)-structure. It fixes the tangent connection while allowing the underlying principal bundle and singular set to vary, establishes the existence of a Kuranishi structure on the resulting moduli space, derives a formula for the dimension of the cokernel of the instanton deformation operator under certain assumptions, and applies the results to PU(n)-instantons to obtain a virtual dimension formula expressed via sheaf cohomology of vector bundles on P^2.

Significance. If the central claims hold, the work would extend gauge-theoretic deformation theory to settings with movable conical singularities, providing a Kuranishi structure and explicit virtual dimension formulas that link analytic moduli problems to algebraic geometry via sheaf cohomology. This could enable new computations of instanton moduli spaces in SU(3)-geometry and related contexts in complex geometry and gauge theory.

major comments (2)

[Abstract; cokernel dimension section (likely §4)] Abstract and the section deriving the cokernel formula: the dimension formula for the cokernel of the instanton deformation operator is stated to hold 'under certain assumptions,' but the manuscript does not verify that these assumptions (such as indicial root vanishing or decay conditions on the cone) remain valid when the principal bundle and singular set are allowed to vary while the tangent connection is fixed, as set up in the deformation theory. This is load-bearing for both the Kuranishi structure existence and the subsequent virtual dimension computation for PU(n) instantons.
[Application section (likely §5)] The application to PU(n) instantons: the virtual dimension formula in terms of sheaf cohomology on P^2 relies on the cokernel dimension result; without confirmation that the assumptions persist under variation of the singular locus, the formula's generality is not established.

minor comments (2)

[Introduction/setup] Notation for the SU(3)-structure and conical singularities could be clarified with an explicit local model equation early in the setup.
[Introduction] The manuscript would benefit from a brief comparison table or remark contrasting the fixed-tangent-connection setup with prior fixed-bundle instanton deformation theories.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting these important points regarding the assumptions underlying the cokernel dimension formula. We address each major comment below and outline the revisions we will make to strengthen the exposition.

read point-by-point responses

Referee: Abstract and the section deriving the cokernel formula: the dimension formula for the cokernel of the instanton deformation operator is stated to hold 'under certain assumptions,' but the manuscript does not verify that these assumptions (such as indicial root vanishing or decay conditions on the cone) remain valid when the principal bundle and singular set are allowed to vary while the tangent connection is fixed, as set up in the deformation theory. This is load-bearing for both the Kuranishi structure existence and the subsequent virtual dimension computation for PU(n) instantons.

Authors: We agree that the manuscript does not contain an explicit verification that the assumptions persist under variation of the principal bundle and singular set. Because the tangent connection is held fixed, the local conical model (including the metric and the model connection) is unchanged. Consequently, the indicial operator on the cone, its roots, and the admissible decay rates in the weighted Sobolev spaces are independent of the global choice of bundle and of the location of the singular locus. We will insert a short paragraph immediately after the statement of the cokernel formula (in the relevant section) that records this independence and confirms that the assumptions therefore continue to hold throughout the deformation theory. This clarification will also underpin the existence of the Kuranishi structure. revision: yes
Referee: The application to PU(n) instantons: the virtual dimension formula in terms of sheaf cohomology on P^2 relies on the cokernel dimension result; without confirmation that the assumptions persist under variation of the singular locus, the formula's generality is not established.

Authors: With the added verification described above, the cokernel dimension formula applies uniformly to the PU(n) setting. The virtual dimension expression in terms of sheaf cohomology on P^2 therefore follows directly from the general result, without further restrictions on the singular locus. We will update the application section to reference the new paragraph and to state explicitly that the formula holds for varying singular sets under the fixed-tangent-connection hypothesis. revision: yes

Circularity Check

0 steps flagged

Standard Fredholm setup with explicit assumptions; no load-bearing reduction to self-citation or fitted inputs

full rationale

The derivation proceeds from the standard elliptic deformation complex for Hermitian Yang-Mills connections on an SU(3)-manifold, fixing the tangent connection while allowing the principal bundle (and thus singular set) to vary. This produces a Kuranishi structure via the usual obstruction theory. The cokernel-dimension formula is stated only under explicitly listed assumptions on indicial roots and decay, without claiming those assumptions hold automatically for all varying singular loci; the virtual-dimension formula for PU(n) instantons is then obtained by direct identification with sheaf-cohomology groups on P^2. All steps rest on external elliptic theory and prior instanton literature rather than on any self-definitional loop, fitted parameter renamed as prediction, or unverified self-citation chain. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only abstract available so ledger is incomplete; relies on standard differential geometry background without explicit free parameters or invented entities visible.

axioms (2)

domain assumption Existence of an SU(3)-structure on the 6-manifold compatible with conical singularities and prescribed tangent connections.
Invoked throughout the abstract as the setting for the instantons.
standard math Fredholm properties of the instanton deformation operator hold under the given setup.
Basis for the deformation theory and Kuranishi structure.

pith-pipeline@v0.9.0 · 5458 in / 1434 out tokens · 48257 ms · 2026-05-10T18:29:23.279059+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[1]

[BH16] David Baraglia and Pedram Hekmati

available underhttps://arxiv.org/abs/ 2310.01741. [BH16] David Baraglia and Pedram Hekmati. Moduli spaces of contact instantons.Adv. Math., 294:562–595,

work page arXiv
[2]

[CS02] Simon Chiossi and Simon Salamon

available underhttps://arxiv.org/abs/2410.15540. [CS02] Simon Chiossi and Simon Salamon. The intrinsic torsion ofSU(3)andG 2 struc- tures. InDifferential geometry. Proceedings of the international conference held in honour of the 60th birthday of A. M. Naveira, Valencia, Spain, July 8–14, 2001, pages 115–133. Singapore: World Scientific,

work page arXiv 2001
[3]

Donaldson and Richard P

65 [DT98] Simon K. Donaldson and Richard P. Thomas. Gauge theory in higher dimensions. InThe geometric universe: science, geometry, and the work of Roger Penrose. Proceedings of the symposium on geometric issues in the foundations of science, Oxford, UK, June 1996 in honour of Roger Penrose in his 65th year, pages 31–47. Oxford: Oxford University Press,

work page 1996
[4]

[FHN21] Lorenzo Foscolo, Mark Haskins, and Johannes Nordström

available underhttps://arxiv.org/abs/2309.07830. [FHN21] Lorenzo Foscolo, Mark Haskins, and Johannes Nordström. Complete noncom- pactG 2-manifolds from asymptotically conical Calabi-Yau 3-folds.Duke Math. J., 170(15):3323–3416,

work page arXiv
[5]

InGromov- Witten theory, gauge theory and dualities, Kioloa, Australia, January 6–16, 2016, page

[Hay19] Andriy Haydys.G 2 instantons and the Seiberg-Witten monopoles. InGromov- Witten theory, gauge theory and dualities, Kioloa, Australia, January 6–16, 2016, page

work page 2016
[6]

Calabi-Yau manifolds and SU(3) structure.J

[LLR19] Magdalena Larfors, Andre Lukas, and Fabian Ruehle. Calabi-Yau manifolds and SU(3) structure.J. High Energy Phys., 2019(1):33,

work page 2019
[7]

[MP78] Vladimir G

available underhttps://math.mit.edu/~rbm/papers/b-elliptic-1983/ 1983-Melrose-Mendoza.pdf. [MP78] Vladimir G. Maz’ya and Boris A. Plamenevskij. Estimates inL p and in Hölder classes and the Miranda-Agmon maximum principle for solutions of elliptic bound- ary value problems in domains with singular points on the boundary.Math. Nachr., 81:25–82,

work page 1983
[8]

[English translation:Transl., Ser. 2, Am. Math. Soc., 123:1–56, 1984]. [Nak88] Hiraku Nakajima. Compactness of the moduli space of Yang-Mills connections in higher dimensions.J. Math. Soc. Japan, 40(3):383–392,

work page 1984
[9]

ucl.ac.uk/id/eprint/10212567/12/Sole%20Farre_10212567_Thesis.pdf

available underhttps://discovery. ucl.ac.uk/id/eprint/10212567/12/Sole%20Farre_10212567_Thesis.pdf. [Tan16] Yuuji Tanaka. On the moduli space of Donaldson-Thomas instantons.Extr. Math., 31(1):89–107,

work page arXiv

[1] [1]

[BH16] David Baraglia and Pedram Hekmati

available underhttps://arxiv.org/abs/ 2310.01741. [BH16] David Baraglia and Pedram Hekmati. Moduli spaces of contact instantons.Adv. Math., 294:562–595,

work page arXiv

[2] [2]

[CS02] Simon Chiossi and Simon Salamon

available underhttps://arxiv.org/abs/2410.15540. [CS02] Simon Chiossi and Simon Salamon. The intrinsic torsion ofSU(3)andG 2 struc- tures. InDifferential geometry. Proceedings of the international conference held in honour of the 60th birthday of A. M. Naveira, Valencia, Spain, July 8–14, 2001, pages 115–133. Singapore: World Scientific,

work page arXiv 2001

[3] [3]

Donaldson and Richard P

65 [DT98] Simon K. Donaldson and Richard P. Thomas. Gauge theory in higher dimensions. InThe geometric universe: science, geometry, and the work of Roger Penrose. Proceedings of the symposium on geometric issues in the foundations of science, Oxford, UK, June 1996 in honour of Roger Penrose in his 65th year, pages 31–47. Oxford: Oxford University Press,

work page 1996

[4] [4]

[FHN21] Lorenzo Foscolo, Mark Haskins, and Johannes Nordström

available underhttps://arxiv.org/abs/2309.07830. [FHN21] Lorenzo Foscolo, Mark Haskins, and Johannes Nordström. Complete noncom- pactG 2-manifolds from asymptotically conical Calabi-Yau 3-folds.Duke Math. J., 170(15):3323–3416,

work page arXiv

[5] [5]

InGromov- Witten theory, gauge theory and dualities, Kioloa, Australia, January 6–16, 2016, page

[Hay19] Andriy Haydys.G 2 instantons and the Seiberg-Witten monopoles. InGromov- Witten theory, gauge theory and dualities, Kioloa, Australia, January 6–16, 2016, page

work page 2016

[6] [6]

Calabi-Yau manifolds and SU(3) structure.J

[LLR19] Magdalena Larfors, Andre Lukas, and Fabian Ruehle. Calabi-Yau manifolds and SU(3) structure.J. High Energy Phys., 2019(1):33,

work page 2019

[7] [7]

[MP78] Vladimir G

available underhttps://math.mit.edu/~rbm/papers/b-elliptic-1983/ 1983-Melrose-Mendoza.pdf. [MP78] Vladimir G. Maz’ya and Boris A. Plamenevskij. Estimates inL p and in Hölder classes and the Miranda-Agmon maximum principle for solutions of elliptic bound- ary value problems in domains with singular points on the boundary.Math. Nachr., 81:25–82,

work page 1983

[8] [8]

[English translation:Transl., Ser. 2, Am. Math. Soc., 123:1–56, 1984]. [Nak88] Hiraku Nakajima. Compactness of the moduli space of Yang-Mills connections in higher dimensions.J. Math. Soc. Japan, 40(3):383–392,

work page 1984

[9] [9]

ucl.ac.uk/id/eprint/10212567/12/Sole%20Farre_10212567_Thesis.pdf

available underhttps://discovery. ucl.ac.uk/id/eprint/10212567/12/Sole%20Farre_10212567_Thesis.pdf. [Tan16] Yuuji Tanaka. On the moduli space of Donaldson-Thomas instantons.Extr. Math., 31(1):89–107,

work page arXiv