{"id":"45dd074c-93b0-424a-97f3-a864d1570005","arxiv_id":"2602.13838","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For holomorphic fibrations, the Atiyah extension class is represented by curvature; this yields a nonlinear Riemann-Hilbert correspondence and a faithful functor from reductive Kähler-type flat bundles to nonlinear Higgs bundles.","lead":"This paper gives new ways to describe flat structures and Higgs fields on curved families of complex manifolds, and it proves that two central objects in nonabelian Hodge theory fit one framework. A reader interested in geometric structures behind moduli spaces might see a path to a fuller nonlinear Hodge correspondence.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.11 overstates Proposition 5.19: the faithful functor is constructed only for morphisms induced by group homomorphisms preserving the compact form; full-category faithfulness is left open (Remark 5.20).","rationale":"The paper's central theorem, as stated, is the category-level faithful functor in Theorem 1.11. Theorem 1.3 appears internally coherent and Proposition 5.18's use of Donaldson–Corlette is credible. The place where the central claim's scope is most overstated is the mismatch between Proposition 5.19 and Theorem 1.11: the proof explicitly restricts morphisms to α-equivariant maps with α(K1)⊂K2, and Remark 5.20 concedes that the full subcategory of CFB(S) is only expected to be faithful. This is a proof gap, not a demonstrated contradiction: either extend the harmonic-metric construction to all flat-bundle morphisms, or state the theorem for the restricted morphism category. Under either fix the mathematical core may survive; as written, the theorem's category claim is unsupported. This does not change the reader's CONDITIONAL verdict; it sharpens the condition.","tokens_in":70714,"tokens_out":25928,"duration_ms":258026,"concrete_test":"Check whether the morphism class used in Prop. 5.19 coincides with the full class: let S be a compact Riemann surface, Y=CP^1, G=PSL(2,C), and take two flat P^1-bundles from Fuchsian representations ρ1,ρ2. Classify flat-bundle morphisms F (equivariant holomorphic maps φ:P^1→P^1). For each such F, determine whether φ is induced by a complex Lie group homomorphism α:PSL(2,C)→PSL(2,C) with α(PSU(2))⊂PSU(2). A single flat morphism not of this form shows the functor is not defined on the full category, so Theorem 1.11 needs either a new argument or a restricted restatement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Most load-bearing gap: the main category-level claim is not proved for the category stated. Prop 5.19 defines RFB(S) with morphisms restricted to maps of the form [\\tilde{s},y]_{ρ1} ↦ [\\tilde{s},φ(y)]_{ρ2}, where φ is α-equivariant and α:G1→G2 satisfies α(K1)⊂K2. The proof of faithfulness uses this α to push the harmonic map forward (h'2 = \\tilde{α}∘h1), uses total geodesy of \\tilde{α}, and then composes with a centralizer gauge Ψ_g^{-1}. A general morphism in Def. 1.6 only preserves the flat horizontal distributions; it need not intertwine the harmonic-metric conjugates \\barθ_{ω_i} nor be holomorphic for the new complex structures \\bar∂_{ω_i} = \\bar∂_{∇_i} - \\barθ_{ω_i}. Hence H(F) is not even defined on the full morphism set. Remark 5.20 concedes that the full subcategory of CFB(S) is only expected to be faithful. The abstract and Theorem 1.11 therefore claim more than the proof establishes.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops nonlinear analogues, for arbitrary holomorphic fibrations f:X→S, of Atiyah's curvature interpretation of the extension class, of Weil's flat-bundle criterion over Riemann surfaces, and of parts of the nonabelian Hodge correspondence. Theorem 1.3 canonically associates to any pure complex connection a ∂̄_X-closed tensor R with class A(X)∈H^1(X,f^*Ω_S⊗T_{X/S}); Theorem 1.8 establishes an equivalence between complete nonlinear flat bundles and representations of π_1(S) into Aut(Y); Corollary 1.5 gives a nonlinear Weil-type criterion for associated bundles over a compact Riemann surface. The paper then introduces harmonic fiberwise Kähler metrics and, via the Donaldson–Corlette theorem, constructs a faithful functor from reductive Kähler-type nonlinear flat bundles to nonlinear Higgs bundles (Theorem 1.11/Proposition 5.19). Finally, a twisted Simpson mechanism is introduced and applied to variations of nonabelian Hodge structure, with Theorem 6.29 claiming that, for G=C^* or semisimple G, the relative de Rham and Dolbeault moduli spaces are related by this mechanism.","tokens_in":70974,"tokens_out":5150,"duration_ms":50954,"significance":"The Atiyah-class half of the paper is a genuine and useful generalization of Atiyah's classical result: Theorem 1.3 is proved in a self-contained Čech–Dolbeault manner and gives a concrete curvature representative of the extension class for arbitrary fibrations. The nonlinear Riemann–Hilbert correspondence of Theorem 1.8 is also clean and, together with Proposition 2.23, yields a plausible nonlinear Weil criterion. If the categorical and moduli-theoretic claims were fully established, the paper would open a substantial new direction in nonabelian Hodge theory. However, the headline faithful-functor statement is stronger than the proposition actually proved, and the final section depends on unproved compatibility statements and on substantial imported results. The significance is therefore conditional on repairing the overclaims.","major_comments":[{"comment":"The abstract and Theorem 1.11 state that there is a faithful functor from the category of nonlinear flat bundles reductive of Kähler type over S, as defined by Definition 1.6, to nonlinear Higgs bundles. Proposition 5.19, which is cited as the proof, only constructs the functor on the restricted category RFB(S) whose morphisms are maps of the form [\\tilde{s},y]_{ρ1} ↦ [\\tilde{s},φ(y)]_{ρ2}, where φ is α-equivariant for a Lie homomorphism α:G1→G2 satisfying α(K1)⊂K2. The faithfulness proof uses this extra structure essentially: it pushes the harmonic map h1 forward by the totally geodesic map \\tilde{α}, then compares with the chosen harmonic map using an element of the centralizer. A general morphism in Definition 1.6 need not be induced by such an α-equivariant φ, need not intertwine the harmonic-metric conjugates, and need not be holomorphic for the new complex structures ∂̄_{ω_i}; henc","section":"§1, Theorem 1.11; §5.3, Proposition 5.19"},{"comment":"The proof of Theorem 6.29 for semisimple G says: 'The result follows from the universal case as carried out in §6.3' because 'the (twisted) Simpson mechanism is compatible with pullback.' This pullback compatibility is asserted but never stated or proved. The universal case in §6.3 also relies on Lemma 6.28, whose proof uses that the map F is a real-analytic diffeomorphism by [CTW25, Th. 4.23] and the real-analytic inverse function theorem; but no argument is given that the resulting smooth isomorphism between M_dR and M_Dol can be chosen to interact correctly with the twisting map β and the fiberwise metric. Consequently, the reconstruction claim of Theorem 6.29 is not fully justified. The authors should either prove the needed compatibility or make the dependence on it an explicit additional hypothesis.","section":"§6, Theorem 6.29; §6.3; Lemma 6.28"},{"comment":"Assumption 1.9 is load-bearing for the whole harmonic-metric construction: the paper requires a Kähler metric ω_Y on the fiber whose stabilizer K=Stab_G(ω_Y) is a compact real form of G. The paper gives the cscK example (Example 5.25) but no general criterion for the existence of such an ω_Y. Since this condition is part of the definition of the category in Theorem 1.11, the theorem is conditional on a possibly very restrictive geometric condition. The introduction should state this more prominently, and ideally the paper should discuss what is known or conjectured about existence of such ω_Y beyond the cscK case. This does not invalidate the conditional statements, but it affects the claimed scope of the 'nonlinear Hodge correspondence.'","section":"§5.1–5.3, Assumption 1.9/5.13"}],"minor_comments":[{"comment":"The definition of ¯θ_J in (6.1) would benefit from an explicit statement of the domains and codomains of J^A_{X/S}, J^B_{X/S}, and of the projection pr_{T^B_{X/S}}. As written, the composition is only readable after inferring the intended fiberwise identifications.","section":"§6.1, Equation (6.1)"},{"comment":"The argument that β(u) lies in L_{x0}∩X_{s1}, which is discrete, is correct but terse; adding one sentence explaining that the transverse foliation intersects fibers discretely would improve readability.","section":"§3.15, Lemma 3.15"},{"comment":"The notation f^*TX/S is used both for a sheaf of smooth fiberwise holomorphic sections and, later, as a vector bundle over X. This dual use is potentially confusing; a remark distinguishing the sheaf and bundle interpretations would help.","section":"§2.1, Definition 2.3"},{"comment":"The phrase 'Remak decomposition' should be checked; standard spelling is 'Remak' or 'Remak decomposition' depending on convention. More importantly, the converse part of the statement depends on finite-dimensionality of H^0(Y,TY), which is stated in the hypothesis, so the statement is internally fine but should perhaps be highlighted as the key restriction.","section":"Corollary 3.21"},{"comment":"The sentence 'A choice of a twisting map and a (β-twisted) harmonic metric is not part of the data' conflicts slightly with the preceding theorem, which produces a suitable twisting map and metric. Consider clarifying that the object is the pair (flat bundle, Higgs bundle) modulo the existence of some such choice, rather than including the choice in the data.","section":"§6.4, Definition 6.30"}],"recommendation":"major_revision","confidential_remarks":"The paper contains original and largely correct material, especially the Atiyah-class and Riemann–Hilbert parts, but the headline categorical claim (Theorem 1.11) is not matched by Proposition 5.19. The final section also leans heavily on unpublished or very recent works [CTW25, FS25, She25a, She25b]; the editor may wish to verify the overlap and the status of those references. A revised version that either proves the full morphism version or visibly restricts the theorem to the category RFB(S), and that supplies the missing pullback-compatibility argument in Section 6, would be suitable for reconsideration."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Solid core, soft edges. The curvature representative of the Atiyah class for arbitrary holomorphic fibrations (Thm 1.3) is a real result: the proof via a Cech-Dolbeault double complex is self-contained and correct, and it genuinely extends Atiyah's principal-bundle picture. The nonlinear Riemann-Hilbert equivalence (Thm 3.18/1.8) is also clean and complete as stated, with the completeness hypothesis doing exactly the work needed. The harmonic-metric construction in Section 5 is credible: it imports Donaldson-Corlette in the right way and produces a nonlinear Higgs bundle from the flat bundle. I would cite the curvature theorem and the Riemann-Hilbert correspondence without hesitation.\n\nWhere I part company with the introduction is Theorem 1.11. As stated, it promises a faithful functor on the category of reductive Kahler-type flat bundles with all morphisms of complete flat bundles. Proposition 5.19 proves faithfulness only for morphisms induced by alpha-equivariant maps phi with alpha(K1) subset K2. That is a real restriction: a general morphism preserving horizontal distributions need not be of that form, and Remark 5.20 concedes the full-category version is expected rather than proved. The stress-test note is right on this point. This is not a spoiled theorem — the restricted statement is proved — but the abstract and introduction overstate what the proof delivers.\n\nThe last section is noticeably weaker. Theorem 6.29 is stated for semisimple or C* and says the flat and Higgs bundles are related by the twisted Simpson mechanism. The proof is a sketch: it relies on Lemma 6.28's smooth isomorphism from an imported reference, on unproved pullback compatibility, and on a uniqueness claim for a local holomorphic map to Teichmuller space. I would not call this a demonstrated error, but it is not a proof at the same standard as Sections 2-5.\n\nNet: the paper deserves a serious referee. It is long, specialized, and the introduction needs an honest repair — either prove the full morphism statement or state the restricted theorem accurately. I would send it out, and ask the referee to focus on the gap between Prop 5.19 and Thm 1.11, and on making the VHS section honest about its dependencies. Someone working on Atiyah classes or nonlinear Hodge theory will get real value from the core sections; I would bring the first half to a reading group. I would not yet rely on the full Theorem 1.11 or Theorem 6.29 as stated.","headline":"Solid core, soft edges: clean Atiyah-class curvature and nonlinear Riemann-Hilbert theorems, but the flagship faithful functor is proved only on a restricted morphism category and the VHS section is a proof sketch; deserves serious refereeing.","tokens_in":71495,"tokens_out":3241,"would_cite":true,"duration_ms":34142,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D07","32Q15","53C07","14D21"],"pacs":[],"model":"deepseek-v4-flash","headline":"The extension class of any holomorphic fibration is represented by a canonical curvature tensor, and this yields a faithful correspondence between nonlinear flat bundles of Kähler type and nonlinear Higgs bundles.","keywords":["holomorphic fibration","Atiyah class","nonlinear flat bundles","nonlinear Higgs bundles","harmonic metrics","Kähler type","nonabelian Hodge correspondence","twisted Simpson mechanism"],"falsifier":"Compute, for a concrete holomorphic fibration with nonzero extension class (e.g., a non-isotrivial elliptic fibration over a curve), the tensor R from a pure complex connection and test whether its Dolbeault class equals the Čech class A(X); if the two classes differ, Theorem 1.3 fails. Alternatively, find two G-harmonic fibrewise Kähler metrics on the same reductive flat bundle of Kähler type that yield non-isomorphic nonlinear Higgs bundles, which would falsify Proposition 5.18's independence claim.","tokens_in":70522,"feed_emoji":"📐","tokens_out":6243,"duration_ms":56060,"temperature":0.7,"pith_summary":"This paper establishes that the cohomology class obstructing holomorphic connections on an arbitrary holomorphic fibration—not just principal bundles—equals the class of a canonically constructed ∂̄-closed tensor made from any pure complex connection. From this it derives a nonlinear version of the classical theorem characterizing when a holomorphic fibre bundle over a compact Riemann surface admits a flat connection, in terms of degrees of the adjoint bundle and torsion of a characteristic class. It then builds a faithful functor from reductive flat bundles of Kähler type over a compact Kähler base to nonlinear Higgs bundles, using harmonic metrics obtained from the classical harmonic-map existence theorem. In the last part it introduces the twisted Simpson mechanism and shows that the variation of nonabelian Hodge structure is a nonlinear harmonic bundle in the rank-one and semisimple cases.","feed_headline":"Curvature carries the full extension class of any holomorphic fibration","feed_subtitle":"A canonical tensor turns the obstruction to holomorphic connections into curvature; reductive flat bundles then map faithfully to Higgs bund","key_machinery":"The central object is the extension class A(X)∈H^1(X,f^*Ω_S⊗T_{X/S}) of the relative tangent sequence, together with the tensor R associated to a pure complex connection: locally R is (∂̄_sΓ + ∂̄_zΓ) ds⊗∂_z and is proven ∂̄_X-closed with class A(X). This replaces a sheaf-cohomology obstruction with a differential-geometric curvature for all fibrations. The second load-bearing mechanism is the (twisted) harmonic-metric mechanism: a fibrewise Kähler metric whose stabilizer K is a compact real form yields a Chern connection, and the harmonic-map existence theorem produces a canonical metric; from the flat connection and this metric one forms θ=(∂−∂^Ch)/2 and a deformed ∂̄-operator, whose vanish","core_discovery":"For a holomorphic fibration f:X→S, the short exact sequence of tangent bundles defines an extension class A(X) in H^1(X,f^*Ω_S⊗T_{X/S}); it vanishes exactly when f admits a holomorphic connection. The paper proves that for any pure complex connection the local curvature expression assembles into a global ∂̄-closed tensor R whose Dolbeault class equals A(X), recovering the classical statement that the Atiyah class is the curvature class of a connection. When the connection is relatively holomorphic, R is simply the (1,1)-curvature of the connection, and the Kodaira-Spencer map vanishes. Using this, a holomorphic fibre bundle over a compact Riemann surface with reductive structure group admits","pith_inferences":["Inference: if the curvature-class representation is natural under pullbacks, the whole construction should descend to moduli stacks of fibrations; a direct check of base-change compatibility would sharpen the paper's claims.","Inference: the faithful functor is not shown to be full; proving fullness would require a nonlinear analogue of the Hermitian–Yang–Mills equation, a natural next step the paper points to but does not resolve.","Inference: the dependence of Theorem 6.29 on a smooth isomorphism between de Rham and Dolbeault moduli spaces suggests the result will extend to arbitrary reductive G exactly when such an isomorphism exists on a suitable Zariski-dense smooth locus; testing on non-semisimple groups would delimit the mechanism.","Inference: the completeness condition in the nonlinear Riemann-Hilbert correspondence may be unnecessary for compact fibres but is essential for noncompact ones, as the blow-up example shows; extending the equivalence to incomplete connections with extra regularity would be a testable refinement."],"forward_implications":["The vanishing of A(X) — equivalently existence of a holomorphic connection on the fibration — is now detected by the cohomology class of a curvature tensor computed from any pure complex connection, making it checkable by differential-geometric data.","For holomorphic fibre bundles over compact Riemann surfaces with reductive structure group, existence of a flat (hence holomorphic) connection is equivalent to the degree-zero condition on the Remak summands of the adjoint bundle together with torsion of the characteristic class c(P).","Complete nonlinear flat bundles over a connected complex manifold are equivalent to representations of the fundamental group of the base into the automorphism group of the fibre.","Every reductive nonlinear flat bundle of Kähler type over a compact Kähler base carries a harmonic fibrewise Kähler metric, independent of choices, producing a well-defined nonlinear Higgs bundle and a faithful functor between the two categories.","In the rank-one and semisimple cases, the flat bundle underlying a variation of nonabelian Hodge structure and its associated graded Higgs bundle are related by the twisted Simpson mechanism, making the variation a nonlinear harmonic bundle."],"fun_headline_variants":["Curvature equals Atiyah class in holomorphic fibrations","Nonlinear Weil theorem: curvature encodes flatness","Holomorphic connections: obstruction is curvature itself","Faithful map from flat to Higgs bundles via curvature","Extension class as curvature: a new Atiyah generalization"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing assumption is that the fibre Y carries a Kähler metric ω_Y whose stabilizer K=Stab_G(ω_Y) is a compact real form of the automorphism group G; the existence of such a metric is what supplies the harmonic map and the Chern connection, and the paper provides examples but no general criterion for when one exists.","fun_headline_variants_meta":{"raw":{"variants":["Curvature equals Atiyah class in holomorphic fibrations","Nonlinear Weil theorem: curvature encodes flatness","Holomorphic connections: obstruction is curvature itself","Faithful map from flat to Higgs bundles via curvature","Extension class as curvature: a new Atiyah generalization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000144,"raw_usage":{"total_tokens":974,"prompt_tokens":671,"completion_tokens":303,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":415,"completion_tokens_details":{"reasoning_tokens":228}},"tokens_in":415,"tokens_out":303,"duration_ms":3736,"temperature":1.0,"reasoning_tokens":228,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T23:23:52.821948+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a concrete holomorphic fibration with nonzero extension class (e.g., a non-isotrivial elliptic fibration over a curve), the tensor R from a pure complex connection and test whether its Dolbeault class equals the Čech class A(X); if the two classes differ, Theorem 1.3 fails. Alternatively, find two G-harmonic fibrewise Kähler metrics on the same reductive flat bundle of Kähler type that yield non-isomorphic nonlinear Higgs bundles, which would falsify Proposition 5.18's independence claim.","supporting_citations":[],"review_version":1}