{"id":"65a5cdaf-34d2-474f-970a-50b52da97ef1","arxiv_id":"2607.13450","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In nonlinear harmonic bundles, a section is flat if and only if it is a Higgs section with vanishing degree; the same equivalence extends to sub-fibrations and morphisms.","lead":"This paper extends the classical nonabelian Hodge correspondence from flat/Higgs vector bundles to fiber bundles whose fibers are curved manifolds. It shows that flat sections match Higgs sections only after a \"degree\" obstruction vanishes, and proves the same type of statement for sub-fibrations and morphisms via graphs.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Assumption 3.7(1) (Hamiltonian automorphism algebra) is the load-bearing premise for the flat implies Higgs direction; Example 3.23 shows it is essential, so the correspondence is conditional rather than universal.","rationale":"The reader's weakest assumption matches my own: Assumption 3.7(1) is the structural condition that makes the D^c-D identity usable. The paper is honest about this: Example 3.23 explicitly shows the theorem fails without it, and the authors state the theorem with the assumption rather than claiming it is automatic. The later sub-fibration and morphism correspondences inherit the same premise. I do not see an internal inconsistency or an unstated hypothesis that would invalidate the conditional theorems as written. The main reason the verdict remains ACCEPT rather than being upgraded is the practical scope: for a nonlinear harmonic bundle whose Killing algebra contains non-Hamiltonian fields, such as translation automorphisms of a torus fiber, the central Higgs/flat equivalence is simply unavailable. This is a limitation of the theorem's applicability, not a defect in its proof. The reader's MODERATE confidence also reflects the length and tensor-heavy character of the proofs, which I cannot machine-check; my concern does not change that assessment. A secondary observation is Remark 5.14, where the authors leave open whether flat morphisms satisfying the hypothesis of Theorem 5.10(ii) automatically have Φ(F)=0. If that open problem has a positive answer, part of the morphism correspondence becomes vacuous in one direction, but it would still be true. I therefore agree with the reader's weakest-assumption identification and leave the verdict unchanged.","tokens_in":73451,"tokens_out":18933,"duration_ms":196119,"concrete_test":"Run the flat-section computation of Example 3.23 in full: take S=Y=C/Λ, X=S×Y, θ=-ds⊗∂_z, and u(s)=s̄−s. Verify directly that Du=0 but D''u≠0, and compute deg_{ωX}(u)=0. Then attempt to reproduce Theorem 3.22's flat-implies-Higgs conclusion using a local Hamiltonian potential for K instead of a global one; the boundary term ∫ d(u^*α) should be nonzero on the torus, so the conclusion fails exactly when Assumption 3.7(1) is dropped. This isolates whether the Hamiltonian hypothesis is load-bearing and confirms that no hidden degree obstruction is responsible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Assumption 3.7(1), k_s ⊂ Ham^{1,0}(X_s), is the key premise for the flat ⇒ Higgs half. In Theorem 3.22, the 1-form α is defined using μ^*(K_{df}) with K_V Hamiltonian; the identity (3.40) and the subsequent Stokes integration rely on K_V admitting a global Hamiltonian potential. If k_s contains non-Hamiltonian Killing fields, α need not be globally defined and the argument collapses. Example 3.23 makes this concrete: S=Y=C/Λ, X=S×Y, ω_X=pr_2^*ω_Y, θ=-ds⊗∂_z, and k_s=R∂_z not Hamiltonian. The smooth section u(s)=s̄−s satisfies Du=0, so it is flat, but D''u≠0, so it is not Higgs; moreover deg_{ωX}(u)=0. Thus the failure is not a degree obstruction but exactly a failure of the Hamiltonian hypothesis. This premise is not automatic: Remark 3.8 shows only parts (2) and (3) of Assumption 3.7 follow from properness, while properness does not imply Hamiltonicity on a compact symplectic fiber. Since the later sub-fibration results (Theorems 4.25 and 4.29) and the morphism results (Theorems 5.10 and 1.10) pull Assumption 3.7(1) through unchanged, every main correspondence is conditional on it. This is not an internal inconsistency—the statements are fully conditional—but it is the most load-bearing limitation of the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a nonlinear analogue of the classical Higgs–flat section correspondence of Simpson for harmonic vector bundles. For a nonlinear harmonic bundle, the authors derive two Bochner–Kodaira–Nakano type identities (Theorems 3.17 and 3.22). These yield a correspondence: under Assumption 3.7 and with ζ = 0, a smooth section is flat if and only if it is a Higgs section and the geometric degree deg_{ω_X}(u) vanishes (Corollary 3.24). The correspondence is then extended to sub-fibrations (Theorems 4.25 and 4.29) and, via the graph construction in X_1 ×_S X_2, to morphisms between nonlinear harmonic bundles (Theorem 5.10, Theorem 1.10). Examples show that the degree obstruction is nontrivial and that the Hamiltonian hypothesis in Assumption 3.7(1) is necessary.","tokens_in":73766,"tokens_out":6468,"duration_ms":62190,"significance":"If correct, this gives a substantial nonlinear generalization of the classical Simpson correspondence at the level of sections and morphisms, with a clean geometric obstruction given by a degree term. The paper is unusually honest about its hypotheses: Example 3.20 shows that the degree condition is genuinely needed, and Example 3.23 shows that the Hamiltonian assumption cannot be omitted. The main results are fully conditional, but the conditions are stated precisely and the proofs are long rather than circular; the obstruction deg_{ω_X}(u) is a geometric integral, not a fitted parameter. The paper also provides a careful reduction from nonlinear harmonic bundles to vector bundles in the projectivized setting. The tensor computations are extensive; I did not find a concrete error, though I could not machine-check all of them.","major_comments":[],"minor_comments":[{"comment":"The abstract states that the equivalence 'requires the vanishing of a degree obstruction'. This is true only under Assumption 3.7(1)–(4) and ζ = 0. In particular, Example 3.23 shows that the Hamiltonian hypothesis in Assumption 3.7(1) is essential for the flat ⇒ Higgs direction. The introduction and abstract should explicitly qualify the correspondence as conditional on these assumptions, especially because the title may be read as asserting an unconditional result.","section":"Abstract and §1"},{"comment":"In the displayed formula for |D'u|^2 − |D''u|^2, the bracket in the term Λ_{ω_S}(u^*ω_X + u^*μ^*[... ]_R) is missing; compare with Eq. (3.35) in Theorem 3.17, where the expression is written correctly. This is a typographical issue but worth correcting.","section":"Theorem 1.5"},{"comment":"The paper relies heavily on [LS26] for foundational definitions (Kähler connection, lifting condition, pseudo-curvature, adaptedness, etc.). A short glossary or a table of the imported notation would improve accessibility. The current version is difficult to read without [LS26] at hand.","section":"§2"},{"comment":"The combined degree deg(Σ,u) is defined with several correction terms. It may help to state explicitly in the text before the definition that deg_{F,∂}(Σ,u) and deg_{F,∂bar}(Σ,u) are nonnegative when u is pseudo-holomorphic and that the θ-correction term is the only term that can have either sign. This is implicit in the proof of Theorem 4.25 but would aid the reader.","section":"Definition 4.22"},{"comment":"In Theorem 5.10(i), the assumption ζ_1 = ζ_2 = 0 appears; Remark 5.11 notes a version without this condition. It would be helpful to state in the theorem itself, or immediately after, how the statement changes when ζ_i are nonzero and which parts of Assumption 3.7 are actually used. This is already done in Remark 5.11, but a pointer in the main statement would prevent confusion.","section":"§5.4"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically substantial and the main claims appear defensible, but the verification of the long tensor computations is a challenge for a single referee. Given the heavy reliance on the companion paper [LS26], it might be prudent to ask the authors to include a short summary of all conventions imported from [LS26], or to have a second referee with expertise in symplectic fibrations check Sections 2–3. The conditional nature of the main correspondence, especially Assumption 3.7(1), is handled honestly and should not by itself block publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what its title says: it moves the flat/Higgs correspondence from vector bundles to nonlinear fiber bundles, with a degree obstruction, then to sub-fibrations and to morphisms via graphs. The new material is real. The Bochner–Kodaira–Nakano identities in Theorems 3.17 and 3.22 are the engine, and the corollary that a flat section is exactly a Higgs section with vanishing degree is a clean upgrade of Simpson's linear statement. I especially liked that Section 3.4 actually verifies the linear case against Simpson instead of just claiming compatibility, and that Examples 3.20 and 3.23 demonstrate that the degree condition and the Hamiltonian condition each bite. That is the right way to present a conditional theorem.\n\nSoft spots, in proportion. The framework leans heavily on the authors' own [LS26], which I have not read in full, so part of my confidence transfers to an unverified companion paper. The proofs are long tensor computations that I could not machine-check; that is a real limit on how certain I can be. The stress-test note correctly identifies Assumption 3.7(1) as the most load-bearing hypothesis. It is needed for the flat-implies-Higgs direction, it is not automatic (properness gives parts (2) and (3) but not (1)), and Example 3.23 shows the statement really fails without it. I do not count this as a flaw because the authors state it plainly and do not overclaim. It does mean the correspondence is conditional rather than universal, and readers should not come away thinking nonlinear Hodge correspondence always works. One smaller gap: Remark 5.14 leaves open whether flat morphisms with nonzero Phi exist under the stated hypotheses, so half of the morphism correspondence could in the end be vacuous. They flag it clearly, so that is honest, but it is worth knowing before you build on that theorem.\n\nWho should read this: anyone working in nonabelian Hodge theory, harmonic bundles, or Higgs bundles on complex manifolds. It deserves a serious referee; I would not desk-reject it, and I would take the referee report as the main check on the tensor computations. If the referee can verify the key identities, this is a solid contribution to the program.","headline":"Nonlinear Simpson correspondence upgraded from vector bundles to sections, sub-fibrations, and morphisms; the central claims are honest and conditionally stated, with the Hamiltonian hypothesis as the main load-bearing premise.","tokens_in":74350,"tokens_out":1759,"would_cite":true,"duration_ms":22141,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C07","53C55","32L05","32Q15","58E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes a nonlinear analogue of the Higgs–flat correspondence, in which the only obstruction to a flat section being Higgs is a degree term.","keywords":["nonabelian Hodge theory","Bochner–Kodaira–Nakano identities","flat sections","Higgs sections","nonlinear harmonic bundles","degree obstruction","Hamiltonian vector fields","morphisms"],"falsifier":"A concrete observation: over an elliptic curve, take the trivial torus bundle with the translation field ∂_z, which is not Hamiltonian, and the section u(s)=s̄−s. This section is flat, has vanishing degree, and is not Higgs, so it isolates Assumption 3.7(1) as essential. To test the boundary of the theorem, seek any compact semi-Kähler base and nonlinear harmonic bundle where k_s contains a non-Hamiltonian Killing field and check for a flat degree-zero section that is not Higgs; finding one would show the Hamiltonian hypothesis cannot be weakened.","tokens_in":73256,"feed_emoji":"📐","tokens_out":7740,"duration_ms":74125,"temperature":0.7,"pith_summary":"The paper proves a nonlinear analogue of the classical Higgs–flat correspondence: for a nonlinear harmonic bundle — a fiber bundle carrying a flat connection and a Higgs structure that are compatible — a section is flat if and only if it is a Higgs section and a certain degree vanishes. The authors then lift this from sections to sub-fibrations (immersed families of submanifolds in the fibers) and to morphisms between two nonlinear harmonic bundles, by identifying a morphism with its graph inside the fiber product. The result would matter because it turns the difference between the flat and Higgs worlds for nonlinear bundles into a single, computable numerical obstruction, and it recovers the vector-bundle statement as the case where that obstruction is automatically zero.","feed_headline":"Nonlinear Hodge: flat equals Higgs up to a degree term","feed_subtitle":"Why care: the old vector-bundle correspondence extends to fiber bundles and morphisms, with a single degree obstruction.","key_machinery":"The argument is carried by two Bochner–Kodaira–Nakano type identities (Theorems 3.17 and 3.22) for sections. They express the energy difference between D′u and D′′u in terms of Λ_ωS(u*ωX−ζ) plus curvature and comoment terms, and the difference between D^c u and Du in terms of the exact form d(u*α) plus pseudo-curvature. Integrating these identities over a compact semi-Kähler base converts the left-hand side into the condition deg_ωX(u)=0. The Hamiltonian comoment map is what turns bracket identities in the fiber automorphism algebra into Hamiltonian-potential terms, which is why the non-Hamiltonian counterexample breaks flat-to-Higgs. The same identities are pulled back along the fiber produ","core_discovery":"On the paper's own terms, the discovery is Corollary 3.24 together with Theorems 4.25 and 5.10. In a nonlinear harmonic bundle over a compact semi-Kähler manifold, assuming the fiber automorphism algebra is Hamiltonian, the relevant connection preserves it, the relative Kähler form is closed, and the twisting 2-form ζ is zero, a smooth section u is flat if and only if it is a Higgs section with deg_ωX(u)=0. For sub-fibrations (Σ,u), the same equivalence holds with a combined degree that includes tangent-component corrections; for morphisms F:X1→X2, flatness with Φ(F)=0 is equivalent to being a Higgs morphism with deg(F)=0. This generalizes the classical linear statement, where every section","pith_inferences":["The paper treats the degree term as the nonlinear replacement for vanishing Chern classes; a natural program would be to package degree-zero Higgs morphisms into a category whose objects are nonlinear harmonic bundles, making the correspondence functorial at the level of morphisms.","The open question of whether Φ(F)=0 is automatic for flat morphisms suggests a test: compute Φ for the flat non-Higgs morphism in the paper's noncompact example; if a compact example with Φ(F)≠0 exists, the flat-to-Higgs direction would need refinement.","The identity-based proof indicates the same degree obstruction should appear for other geometric PDEs involving sections of fiber bundles, not just the specific Higgs/flat equations; one could test the analogue for harmonic maps or pluriharmonic sections.","The Hamiltonian hypothesis may be replaceable by a weaker 'integrable Hamiltonian' condition in specific bundle classes; the torus-fibration counterexample marks the boundary of any such relaxation."],"forward_implications":["In every nonlinear harmonic bundle satisfying the assumptions, a flat section has deg_ωX(u)=0, and a Higgs section is flat exactly when this holds; topology alone constrains which Higgs sections can be flat.","For sub-fibrations, the combined degree provides an explicit obstruction: a Higgs sub-fibration is flat if and only if its combined degree vanishes, with tangent and Higgs-correction terms canceling in examples such as families of conics.","For morphisms between two such bundles, the correspondence states that flat morphisms with Φ(F)=0 are precisely the Higgs morphisms with deg(F)=0, giving a nonlinear analogue of the Hom-bundle morphism correspondence.","Associated morphisms induced by equivariant holomorphic maps between fibers are automatically both Higgs and flat, so many classical geometric maps (e.g., symmetric powers of a vector bundle) fit into the correspondence.","The linear vector-bundle case follows as a limit: because every section is homotopic to the zero section, the degree obstruction vanishes and 'flat iff Higgs' is recovered."],"fun_headline_variants":["Nonlinear Hodge: flat equals Higgs when degree vanishes","Flat vs Higgs in nonlinear bundles: degree is the catch","Nonlinear Hodge: flat iff Higgs, with degree zero","Hodge for morphisms: flat iff Higgs, degree zero required","Nonlinear Hodge: degree obstruction gates flat-Higgs equivalence"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that, for every base point, each holomorphic vector field in the fiber's infinitesimal automorphism algebra is Hamiltonian for the fiber Kähler form; when this fails, the paper's own example produces a flat section that is not Higgs.","fun_headline_variants_meta":{"raw":{"variants":["Nonlinear Hodge: flat equals Higgs when degree vanishes","Flat vs Higgs in nonlinear bundles: degree is the catch","Nonlinear Hodge: flat iff Higgs, with degree zero","Hodge for morphisms: flat iff Higgs, degree zero required","Nonlinear Hodge: degree obstruction gates flat-Higgs equivalence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000562,"raw_usage":{"total_tokens":2444,"prompt_tokens":624,"completion_tokens":1820,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":368,"completion_tokens_details":{"reasoning_tokens":1734}},"tokens_in":368,"tokens_out":1820,"duration_ms":19533,"temperature":1.0,"reasoning_tokens":1734,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T05:09:09.469210+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete observation: over an elliptic curve, take the trivial torus bundle with the translation field ∂_z, which is not Hamiltonian, and the section u(s)=s̄−s. This section is flat, has vanishing degree, and is not Higgs, so it isolates Assumption 3.7(1) as essential. To test the boundary of the theorem, seek any compact semi-Kähler base and nonlinear harmonic bundle where k_s contains a non-Hamiltonian Killing field and check for a flat degree-zero section that is not Higgs; finding one would show the Hamiltonian hypothesis cannot be weakened.","supporting_citations":[],"review_version":1}