{"id":"cdb96c8d-87f8-4f47-bb56-7dae83e062df","arxiv_id":"2508.17119","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors explicitly construct and classify SU(3)-invariant Hermitian Yang-Mills, Sp(2)-, and Spin(7)-instantons on T^*CP^2 and show the three Spin(7) moduli spaces intersect only at the unique invariant Sp(2)-instanton.","lead":"This paper builds and classifies special kinds of instanton connections on a curved eight-dimensional space called the cotangent bundle of the complex projective plane. It shows that, on each invariant circle bundle, three related families of instantons meet at exactly one shared connection.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Classification rests on the unverified completeness of the SU(3)-invariant ansatz; non-generic invariant connections could enlarge the claimed one-parameter moduli spaces.","rationale":"The reader's verdict was UNVERDICTED because only the abstract was available. My read cannot identify a specific computational error, but the central classification has a structural dependency that is common to such symmetry reductions: completeness of the cohomogeneity-one invariant connection ansatz. This is exactly the weakest assumption named by the reader, and I agree with it. The abstract does not display the derivation of the ansatz, the boundary conditions at the singular orbit, or the ODE analysis that yields uniqueness of intersections, so the claims remain plausible but unverified. Since no concrete error can be demonstrated without the full text, my stress-test does not move the verdict; UNVERDICTED remains appropriate. A full-text check of the ansatz derivation and boundary conditions would settle the concern.","tokens_in":805,"tokens_out":8438,"duration_ms":92199,"concrete_test":"Re-derive the full SU(3)-invariant connection ansatz from Wang's classification of invariant connections on principal bundles over cohomogeneity-one manifolds, without imposing the radial gauge or any ansatz simplification. Enforce smoothness at the singular orbit CP^2 and count the remaining free functions and holonomy parameters. If the resulting ODE system is strictly larger than the paper's reduced system, the one-parameter moduli claim is incomplete; if it collapses to exactly the paper's system, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that every invariant Spin(7)-instanton moduli space is a one-parameter family modulo gauge presupposes that every SU(3)-invariant connection on each invariant S^1-bundle is gauge-equivalent to the ansatz used in the symmetry reduction. This is a standard but non-trivial step: a cohomogeneity-one invariant connection generally also carries radial End(g)-valued fields and holonomy parameters determined at the singular orbit CP^2, and smoothness at that singular orbit imposes extra boundary conditions. If the ansatz fixes a gauge before deriving the ODEs, it may discard invariant connections that are not gauge-equivalent within the invariant gauge group, or that have non-generic behaviour at the singular orbit. None of this can be checked from the abstract alone. The further claim that the three one-parameter families intersect only at the unique invariant Sp(2)-instanton is also load-bearing: it requires that pairwise intersections are single points rather than overlapping subfamilies, which must follow from ODE uniqueness and boundary conditions that are invisible here. This is not an internal contradiction, but an unverified logical dependency of the whole classification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":996,"tokens_out":1474,"duration_ms":15822,"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":[{"comment":"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.","section":"Abstract (classification claims)"},{"comment":"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.","section":"Abstract (intersection claim)"}],"minor_comments":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"This review is based only on the abstract and the summary provided; no full text, equations, or proofs were available. The claims are precise and internally consistent, but the evidence needed to assess soundness is absent. I cannot recommend acceptance or rejection without examining the derivation, and I do not want to reject a possibly correct paper merely because the material is unavailable. A full-text review is necessary to verify the completeness of the invariant ansatz and the uniqueness of intersections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat'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.\n\nSoft 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.\n\nThe paper looks honest: no fitted parameters, no circular reasoning visible. Citation pattern is impossible to judge without the references.\n\nWho 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.\n\nRecommendation: 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.","headline":"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.","tokens_in":1478,"tokens_out":2445,"would_cite":false,"duration_ms":24843,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C07","53C26","53C29","58E15"],"pacs":[],"model":"deepseek-v4-flash","headline":"On $T^*\\mathbb{CP}^2$, invariant Spin(7)-instanton families meet only in one Sp(2)-instanton","keywords":["T^*CP^2","hyperkähler 8-manifold","Spin(7)-instantons","Sp(2)-instantons","Hermitian Yang-Mills connections","SU(3)-invariant connections","cohomogeneity-one","moduli spaces"],"falsifier":"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.","tokens_in":632,"feed_emoji":"📐","tokens_out":6679,"duration_ms":57914,"temperature":0.7,"pith_summary":"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.","feed_headline":"On $T^*CP^2$, invariant instanton families meet in one Sp(2) solution","feed_subtitle":"Each of the three Spin(7) instanton families is one-parameter; their sole common point is a non-flat Sp(2)-instanton.","key_machinery":"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.","core_discovery":"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)$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Three Spin(7) instanton families share a single non-flat Sp(2) solution","On T*CP^2, three Spin(7) instanton families meet uniquely at an Sp(2) instanton","Invariant Spin(7) instantons on T*CP^2: one-parameter families, unique Sp(2) intersection","Three Spin(7) instanton families on T*CP^2 all pass through one Sp(2) solution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Three Spin(7) instanton families share a single non-flat Sp(2) solution","On T*CP^2, three Spin(7) instanton families meet uniquely at an Sp(2) instanton","Invariant Spin(7) instantons on T*CP^2: one-parameter families, unique Sp(2) intersection","Three Spin(7) instanton families on T*CP^2 all pass through one Sp(2) solution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000904,"raw_usage":{"total_tokens":3917,"prompt_tokens":1000,"completion_tokens":2917,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":2801}},"tokens_in":616,"tokens_out":2917,"duration_ms":19663,"temperature":1.0,"reasoning_tokens":2801,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:06:20.141849+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}