Gauge theory on $T^*CP^2$: explicit Sp(2)-instantons, HYM connections, and Spin(7)-instantons

Emily Autumn Windes; Izar Alonso; Jesse Madnick

REVIEW 2 major objections 2 minor 1 cited by

Gauge theory on $T^*CP^2$: explicit Sp(2)-instantons, HYM connections, and Spin(7)-instantons

T0 review · 2 major / 2 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read On $T^*\mathbb{CP}^2$, invariant Spin(7)-instanton families meet only in one Sp(2)-instanton

desk verdict A specific, plausible classification of invariant instantons on T*CP^2, but the abstract alone can't show whether the ansatz completeness and intersection claims hold. read the letter →

arxiv 2508.17119 v1 pith:CANLVWYD submitted 2025-08-23 math.DG

Izar Alonso , Jesse Madnick , Emily Autumn Windes This is my paper · ORCID

classification math.DG MSC 53C0753C2653C2958E15

keywords T^*CP^2hyperkähler8-manifoldSpin(7)-instantonsSp(2)-instantonsHermitianYang-MillsconnectionsSU(3)-invariantcohomogeneity-onemodulispaces

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 classifies all SU(3)-invariant primitive Hermitian Yang-Mills connections and Sp(2)-instantons over the Calabi manifold $X = T^*\mathbb{CP}^2$, the unique complete non-flat cohomogeneity-one hyperkahler 8-manifold, for gauge groups $S^1$ and $SO(3)$. For the invariant $S^1$-bundles $\widetilde{E}_k \to X$, $k \in \mathbb{Z}$, it proves that the moduli space of SU(3)-invariant Spin(7)-instantons for each of the three Spin(7)-structures induced by the hyperkahler triple $(I,J,K)$ is a one-parameter family modulo gauge. Any two of these families intersect exactly at the unique invariant Sp(2)-instanton, which is non-flat when $k \neq 0$. This matters because it exhibits complete instanton moduli in a noncompact Ricci-flat 8-manifold and shows a precise geometric relation between solutions of the Spin(7) equations and those of the smaller Sp(2) gauge group.

What carries the argument

The load-bearing object is the cohomogeneity-one hyperkahler structure on $X = T^*\mathbb{CP}^2$ with its SU(3) symmetry and hyperkahler triple $(I,J,K)$; the three Spin(7)-structures $\Phi_I$, $\Phi_J$, $\Phi_K$ are induced from these complex structures. The argument restricts to SU(3)-invariant connections, reduces the instanton equations to a system of ordinary differential equations along the one-dimensional orbit space, solves that system to classify solutions, and then compares the three solution families to locate their common point.

What would settle it

Find an SU(3)-invariant Spin(7)-instanton on a nontrivial invariant $S^1$-bundle that is not gauge-equivalent to the one-parameter family described in the paper, or show that some $\Phi_I$-family and $\Phi_J$-family intersect at a point other than the unique invariant Sp(2)-instanton; either observation would refute the classification.

Watch

Extended reading notes

Core claim

On each invariant $S^1$-bundle $\widetilde{E}_k \to T^*\mathbb{CP}^2$, the paper claims that the space of SU(3)-invariant Spin(7)-instantons with respect to each of the three induced Spin(7)-structures $\Phi_I$, $\Phi_J$, $\Phi_K$ is exactly a one-parameter family modulo gauge. Moreover, every pair of these one-parameter families intersects precisely at the unique invariant Sp(2)-instanton on $\widetilde{E}_k$, which is non-flat when $k \neq 0$. The same symmetry reduction classifies primitive Hermitian Yang-Mills connections and Sp(2)-instantons for gauge groups $S^1$ and $SO(3)$.

Load-bearing premise

Every SU(3)-invariant instanton is assumed to be gauge-equivalent to one of the connection forms the paper solves; if a connection outside that list exists, the one-parameter classification is incomplete.

Editorial extensions

If this is right

The moduli space of SU(3)-invariant Spin(7)-instantons on any invariant $S^1$-bundle is connected and one-dimensional modulo gauge, with no additional discrete components inside the ansatz.
Sp(2)-instantons are exactly the common points of the three Spin(7) moduli families, so the smaller gauge group's solutions mark the intersections of differently structured Spin(7) equations.
All three Spin(7) moduli families coincide in the flat connection only when $k = 0$; for every nontrivial bundle the unique common solution is non-flat.
The same invariant setup also yields classifications of primitive Hermitian Yang-Mills connections and Sp(2)-instantons for $S^1$ and $SO(3)$ gauge groups.

Reading between the lines

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

Editorial inference: if the symmetry-reduction ansatz is complete, the constructed one-parameter families realize the full invariant moduli spaces, and deformation-theoretic calculations of virtual dimension could test that completeness directly.
Editorial inference: the pairwise intersection pattern suggests that the three Spin(7)-structure choices define genuinely different equations whose solution spaces are nearly disjoint; this may guide searches for non-invariant solutions that interpolate between the families.
Editorial inference: the same cohomogeneity-one ODE reduction could be applied to other special-holonomy manifolds with large symmetry groups, where analogous explicit one-parameter moduli spaces might appear.

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

You should know this paper is worth a look, but I've only seen the abstract, so my read is conditional. The authors claim an explicit classification of SU(3)-invariant Hermitian Yang-Mills, Sp(2)-instantons, and Spin(7)-instantons on T*CP^2, the unique non-flat complete cohomogeneity-one hyperkahler 8-manifold. For each invariant S^1-bundle, the Spin(7)-instanton moduli for each of the three induced Spin(7)-structures is a one-parameter family, and the three families intersect pairwise only at the unique invariant Sp(2)-instanton. That's a clean, specific statement, and if true it's a nice piece of gauge theory on a natural but non-trivial background.

What's new: the explicit construction and classification of these connections on this particular manifold. The manifold is known, but I don't know of a prior classification of these instantons on it. The result won't reorganize the field, but it's a concrete contribution. The abstract does well: it states the invariance group, the bundle, the gauge group, and the structure-family intersection precisely. It doesn't oversell.

Soft spots: the classification is only as strong as the completeness of the SU(3)-invariant ansatz. In a cohomogeneity-one problem you need to show every invariant connection is gauge-equivalent to the one used in the symmetry reduction, including the radial and holonomy data at the singular orbit CP^2. The abstract doesn't demonstrate this, and the pairwise intersection claim depends on ODE uniqueness and boundary conditions. These are exactly the parts a referee will need to check. I'm not saying they're wrong; I can't tell from the abstract. The stress-test note calls this a load-bearing flaw, but it's really a standard step that needs verification, not an obvious error.

The paper looks honest: no fitted parameters, no circular reasoning visible. Citation pattern is impossible to judge without the references.

Who this is for: gauge theorists and geometric analysts working with cohomogeneity-one metrics, hyperkahler manifolds, and instanton moduli. A reader wanting an explicit example to test a conjecture about Spin(7)-instantons will get value.

Recommendation: send it to peer review. It deserves a serious referee who can check the ansatz reduction and the intersection argument. If those pass, it's a trustworthy reference.

Referee Report

2 major / 2 minor

Summary. The manuscript (arXiv:2508.17119) states a classification of SU(3)-invariant Hermitian Yang-Mills connections and Sp(2)-instantons with gauge groups S^1 and SO(3) over the complete cohomogeneity-one hyperkähler 8-manifold X = T^*CP^2. For the S^1 case, it further classifies SU(3)-invariant Spin(7)-instantons with respect to the three Spin(7)-structures induced by the hyperkähler complex structures I, J, K. The abstract claims that on each invariant S^1-bundle over X the invariant Spin(7)-instanton moduli space is a one-parameter family modulo gauge for each of the three Spin(7)-structures, and that the three families intersect pairwise exactly at the unique invariant Sp(2)-instanton, which is non-flat for nontrivial bundles.

Significance. If the claims hold, the paper would provide concrete, explicit examples and classifications of instantons in several interrelated gauge-theoretic settings on a noncompact, complete hyperkähler manifold. This is potentially valuable because explicit non-flat Sp(2)-instantons and Spin(7)-instantons on complete manifolds are rare, and the connection between HYM connections, Sp(2)-instantons, and Spin(7)-instantons via the hyperkähler triple is geometrically natural. The abstract makes precise, falsifiable statements with no fitted parameters, which is a strength. However, because only the abstract is available for review, the derivations, computations, and completeness arguments that support the classification cannot be inspected, so the significance is necessarily conditional.

major comments (2)

[Abstract (classification claims)] The central classification claim that each moduli space of SU(3)-invariant Spin(7)-instantons is a one-parameter family modulo gauge depends on the completeness of the SU(3)-invariant ansatz: every invariant connection on each invariant S^1-bundle must be gauge-equivalent, in the invariant gauge group, to one of the connections obtained by symmetry reduction. The abstract gives no indication of how this completeness is established, including the behavior at the singular orbit CP^2 and the generality of radial End(g)-valued fields. Without this verification the description of the moduli spaces is not proven.
[Abstract (intersection claim)] The assertion that the three one-parameter families of Phi_I-, Phi_J-, and Phi_K-instantons intersect only at the unique invariant Sp(2)-instanton is load-bearing. It requires ruling out overlaps of subfamilies and proving uniqueness of the intersection point, which presumably follows from ODE uniqueness and boundary conditions. None of this is visible in the available material, so the claim cannot be checked from the abstract alone.

minor comments (2)

[Abstract] The notation Phi_I, Phi_J, Phi_K is introduced but the manner in which the Spin(7)-structures are induced from the complex structures is not described; a one-sentence clarification would improve accessibility.
[Abstract] The statement 'the unique non-flat, complete, cohomogeneity-one hyperkahler 8-manifold' could benefit from a reference or a brief indication of uniqueness in the literature, since this fact is not self-evident.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected in abstract-only review; the announced classification is a direct construction-and-ODE-analysis claim with no fitted inputs or self-citation chain evident.

full rationale

This review is based on the abstract only, since the full text was not available. The abstract announces explicit constructions and classifications of SU(3)-invariant Hermitian Yang-Mills connections, Sp(2)-instantons, and Spin(7)-instantons on the cohomogeneity-one hyperkähler manifold T^*CP^2. No equation-level derivation is shown, so no specific reduction of a prediction to an input can be exhibited. The only load-bearing assumption mentioned in the accompanying reader's take is the completeness of the SU(3)-invariant ansatz for connections. That is a standard but nontrivial correctness concern, not circularity: the ansatz is not defined in terms of the instanton classification it is used to derive, and no claim in the abstract suggests that the classification result is assumed as an input. There are no fitted parameters renamed as predictions, no self-citation invoked as the justification for a central premise, and no uniqueness theorem imported from the authors' prior work. Under the hard rules, circularity may only be flagged when the paper's own equations or self-citations exhibit the reduction; no such evidence is present in the abstract. Accordingly, the honest finding is that no significant circularity is detectable, and the derivation appears self-contained at the level of the claims made.

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

The abstract introduces no free parameters or invented physical entities. The main analytic assumption is the exhaustiveness of the symmetry reduction, which is standard but needs proof in the full text.

assumptions (2)

domain assumption X = T^*CP^2 admits the stated complete cohomogeneity-one hyperkahler structure and the three induced Spin(7)-structures Phi_I, Phi_J, Phi_K.
The entire classification takes this geometric structure as given; the abstract states it but does not prove it.
domain assumption The SU(3)-invariant ansatz for connections is exhaustive, so that every invariant instanton is gauge-equivalent to a connection in the reduced ansatz.
The classification of invariant instantons depends on this reduction; if it is incomplete, the moduli space description would not be exhaustive.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Gauge theory on $T^*CP^2$: explicit Sp(2)-instantons, HYM connections, and Spin(7)-instantons." pith.science (2026). https://pith.science/paper/CANLVWYD

@misc{pith2026250817119,
  author       = {Pith},
  title        = {Pith review of: Gauge theory on $T^*CP^2$: explicit Sp(2)-instantons, HYM connections, and Spin(7)-instantons},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CANLVWYD}},
  note         = {Machine review of arXiv:2508.17119}
}

abstract

We construct and classify $SU(3)$-invariant primitive Hermitian Yang-Mills connections and $Sp(2)$-instantons with gauge groups $S = S^1$ and $S = SO(3)$ over the Calabi manifold $X = T^*CP^2$, the unique non-flat, complete, cohomogeneity-one hyperkahler 8-manifold. Moreover, in the case of $S = S^1$, we also classify the $SU(3)$-invariant $Spin(7)$-instantons over $X$ in the following sense. Letting $\Phi_I$, $\Phi_J$, $\Phi_K$ denote the $Spin(7)$-structures on $X$ induced from the complex structures $I$, $J$, $K$ in the hyperkahler triple, we prove that on each invariant $S^1$-bundle $\widetilde{E}_k \to X$, $k \in \mathbb{Z}$, the space of invariant $Spin(7)$-instantons with respect to $\Phi_L$ forms a one-parameter family modulo gauge. Moreover, every pair of one-parameter families of $\Phi_I$-, $\Phi_J$-, and $\Phi_K$-$Spin(7)$-instantons intersects only at the unique invariant $Sp(2)$-instanton on $\widetilde{E}_k$, which is non-flat when $k \neq 0$.

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

Obstructions to Spin(7) Nahm transforms on tori
math.DG 2026-07 accept novelty 7.0 of 10

Spin(7) Nahm transforms on 8-tori lack generic vanishing, and asymptotic holonomy of highly twisted instantons need not be Spin(7).

Pith tools

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