{"id":"9592d8b8-4505-4f51-819c-4ad381906bfe","arxiv_id":"2607.18778","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On closed 4-manifolds with b+2=1, Kodaira dimension zero, or negative curvature, holomorphically tamed symplectic forms with Kähler-type classes are Kähler, and Kähler-type forms in a fixed class are unique up to homologically trivial diffeomorphism.","lead":"This paper shows that on many closed four-dimensional manifolds, symplectic forms that are merely 'tamed' by a complex structure are actually Kähler whenever their cohomology class is Kähler, and that Kähler-type forms in a fixed class are unique up to homologically trivial diffeomorphism. It settles connectivity, uniqueness, and openness questions for spaces of Kähler forms raised by Salamon across three major families of 4-manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.8(3) and the negative-curvature corollaries rest entirely on Theorem 2.7; the untested point is whether Siu/Zheng's marked rigidity applies to every compact Kähler surface with negative sectional curvature and yields a biholomorphism homotopic to the identity map.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing point: the negative-curvature results depend on Theorem 2.7, a deep rigidity theorem whose precise hypotheses and marked refinement are not verified in the manuscript. My reading of the paper's internal arguments did not reveal a more serious flaw: the b+ = 1 case is straightforward given the cited deformation-to-isotopy theorem, and the K3/T4 and blowup arguments, while intricate, are supported by Torelli theory and the paper's own period-domain lemmas. The only place where the central claim would collapse if an external assumption failed is the negative-curvature branch. This is a genuine concern, but it is not evidence of a falsehood; it is a request to check that the cited rigidity theorem applies in exactly the form used. Since the reader already assigned MODERATE confidence and correctness_risk medium, and since no counterexample or internal contradiction has been identified, the verdict should remain ACCEPT rather than being moved to CONDITIONAL or REJECT. The proposed concrete test would settle whether the concern lands: if Zheng's theorem requires c1² > 2c2 and negative sectional curvature does not imply it, or if the theorem only gives a biholomorphism up to a non-homotopic automorphism, then the negative-curvature theorems would need revision. Until such a check is performed, the concern remains a flagged reliance on a deep theorem, not a demonstrated gap.","tokens_in":30293,"tokens_out":34605,"duration_ms":434993,"concrete_test":"Independently verify Theorem 2.7 from the sources. (a) Derive the Chern-Weil formula for c1² − 2c2 on a Kähler surface in terms of scalar curvature and Ricci curvature, and check whether negative sectional curvature forces c1² − 2c2 > 0; if not, construct or identify a compact Kähler surface with negative sectional curvature and c1² ≤ 2c2, which would fall outside Zheng's stated hypotheses. (b) Quote Zheng's Proposition 3 and Siu's Theorems 6 and 8 verbatim and check that they yield a biholomorphism (or anti-biholomorphism) homotopic to the prescribed homotopy equivalence h, not merely homotopic up to an automorphism of the target. If both checks pass, the negative-curvature theorems are supported; if either fails, Theorem 1.8(3) and its corollaries must be restricted or re-proved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The negative-curvature branch of the central claim is Theorem 1.8(3): if a is a Kähler-type class, every holomorphically tamed form in class a is Kähler. The proof in Section 5 uses Corollary 2.8, which in turn relies on Theorem 2.7: 'Any compact Kähler surface admitting a Kähler metric of negative sectional curvature is marked strongly rigid.' This theorem is cited to [Siu80, Zhe95], but it is not a purely formal consequence of the cited results unless the hypotheses line up exactly. Siu's strong rigidity requires strong negativity of the curvature tensor, which is stronger than negative sectional curvature. Zheng's complex-dimension-two result is stated in §2.3 as applying to nonpositively curved Kähler surfaces of general type satisfying c1² > 2c2. The paper does not prove that negative sectional curvature implies c1² > 2c2, nor does it quote the precise theorem statement from Zheng. The application to Corollary 2.8 also needs the 'marked' form: applying rigidity to the identity homotopy equivalence h = Id must produce a biholomorphism or anti-biholomorphism homotopic to Id, so that the resulting diffeomorphism lies in Diff_h. If either the curvature implication or the homotopy-to-identity refinement fails, then Theorem 1.8(3), Theorem 1.9(2), Theorem 1.10(3), and the non-openness part of Theorem 1.11 lose their support. This is a dependence on a deep external theorem rather than an internal inconsistency, but it is the load-bearing point for the negative-curvature regime.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies, on a closed oriented 4-manifold X, the spaces ST_a(X) of holomorphically tamed symplectic forms in a fixed cohomology class a and SK_a(X) of Kähler-type symplectic forms in that class. Theorem 1.8 claims ST_a(X)=SK_a(X) whenever SK_a(X) is nonempty, under any of: b^+_2(X)=1; X admits a symplectic form of Kodaira dimension zero; X admits a Kähler metric of negative sectional curvature. Theorems 1.9–1.11 give uniqueness, connectedness, and openness results for these spaces. Section 3 handles the b^+=1 case using the tamed/compatible cone comparison of Li–Zhang, Moser stability, and deformation-to-isotopy. Section 4 is the technical core: for K3 surfaces, T^4, and their blowups, the proof uses Torelli theorems, the topology of the period domain, and a delicate blowup-deformation construction. Section 5 assembles the proofs, with the negative-curvature case depending on a strong-rigidity theorem stated as Theorem 2.7.","tokens_in":30672,"tokens_out":25027,"duration_ms":249803,"significance":"If correct, the results are strong: they establish that holomorphically tamed symplectic forms with Kähler-type cohomology class are actually Kähler in three substantial regimes, and they give uniqueness (at most one Diff_h-orbit in each class), connectedness, and openness results for spaces of Kähler-type forms. The paper is not circular: it builds on previously published theorems (Torelli, deformation-to-isotopy, gauge theory, rigidity) and the new arguments in Section 4 are substantial. The main caveat is that the negative-curvature branch rests entirely on a deep external rigidity theorem whose precise hypotheses are not verified in the text.","major_comments":[{"comment":"Theorem 2.7 is the sole support for Corollary 2.8, which in turn is the load-bearing step for Theorem 1.8(3), Theorem 1.9(2), Theorem 1.10(3), and the non-openness part of Theorem 1.11. As written, the cited results do not transparently imply the stated theorem. The text itself notes that [Siu80] requires strong negativity of the curvature tensor, which is stronger than negative sectional curvature, and two paragraphs later quotes [Zhe95] as applying to nonpositively curved Kähler surfaces of general type with c_1^2>2c_2. The paper does not prove that negative sectional curvature implies c_1^2>2c_2 for a Kähler surface, nor does it quote a theorem from Zheng that directly gives the 'marked' refinement needed for the identity homotopy equivalence. Because Corollary 2.8 needs a biholomorphism homotopic to the identity map, this missing verification is essential. Please supply the exact the","section":"§2.3, Theorem 2.7"}],"minor_comments":[{"comment":"The proof invokes Kodaira–Spencer stability along an arbitrary path of complex structures. A sentence explaining how to subdivide the interval and use local versal deformations would make the argument fully precise.","section":"§2.2, Lemma 2.4"},{"comment":"Formatting: 'The spaceMK(X)' should read 'The space MK(X)'. Also, the remark about fake projective planes says 'This would follow'; if it is meant as a claim, the argument should be supplied or the sentence made explicitly conditional.","section":"§1.4, Theorem 1.10"},{"comment":"The caption uses 'Φ_k' in places where the text notation is 'Φ_κ'; please correct the mismatch.","section":"§4, Figure 1"},{"comment":"In the proof of the converse inclusion, the use of the Seiberg–Witten blowup formula and the SW=Gr theorem is cited rather briefly; a precise reference for the blowup formula used would help.","section":"§4.3, Corollary 4.14"},{"comment":"The sentence 'When X admits no Kähler structure' is confusing in a statement about K3 or T^4, which always admit Kähler structures; the intended degenerate case should be clarified.","section":"§4.2, Theorem 4.6"},{"comment":"For the hyperelliptic case, the proof explicitly treats cyclic G of order 2,3,4,6 and then appeals to [CC17, Theorem 1] for the parameterization. Since the non-cyclic G' cases are part of the statement, the connection between the cyclic-group discussion and the cited Teichmüller-space description should be spelled out.","section":"§3, Corollary 3.6"}],"recommendation":"major_revision","confidential_remarks":"The only substantive obstacle is the negative-curvature branch. If the authors can supply a precise statement/proof of Theorem 2.7 (or replace it with a directly applicable theorem), I would support acceptance: the b^+=1 and Kodaira-dimension-zero parts are solid and the Section 4 period-domain analysis is a genuine contribution. If the rigidity statement cannot be substantiated, the negative-curvature results should be removed or downgraded; the remaining theorems remain significant."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this is a real contribution. For a broad set of closed 4-manifolds—b+2=1, K3/T4 and their blowups, Enriques and hyperelliptic surfaces and their blowups—the paper proves that holomorphically tamed symplectic forms in a Kähler class are actually Kähler, and that the space of Kähler-type forms modulo homologically trivial diffeomorphisms has at most one point. These are genuine extensions of earlier work, not repackaged results. The proofs are serious and mostly convincing, and the paper is well organized; Section 4, with the period-domain and blowup-family arguments, is the technical heart and is handled carefully.\n\nWhat is genuinely new: the blowup cases, the Enriques/hyperelliptic uniqueness and connectedness, and the negative-curvature theorems. The minimal K3/T4 uniqueness was known from Tolman and Entov–Verbitsky, but extending it to blowups requires real work with Torelli and the iterative blowup construction, and the connectedness of MK for Kodaira-zero manifolds is a clean new statement. The citation pattern is fine: the paper leans on earlier work of the first author, but those theorems have independent published proofs and are not being re-derived here.\n\nWhere the soft spots are: the negative-curvature branch. The stress-test note is right: Theorem 2.7 states that any compact Kähler surface with a Kähler metric of negative sectional curvature is marked strongly rigid, citing Siu and Zheng. But Siu's strong rigidity needs strong negativity of the curvature tensor, which is stronger than negative sectional curvature; Zheng's theorem, as the paper itself describes it, is for nonpositively curved surfaces of general type with c1^2 > 2c2. The paper never shows that negative sectional curvature implies c1^2 > 2c2, nor does it quote Zheng's precise statement. And Corollary 2.8 needs the 'marked' version—applied to the identity map, the resulting biholomorphism must be homotopic to the identity to land in Diff_h. If either piece fails, Theorems 1.8(3), 1.9(2), 1.10(3), and the non-openness part of 1.11 lose their support. This is not an internal contradiction, but it is load-bearing, and a referee should make the authors close that gap with a precise citation or a proof.\n\nThe other terse passages—Lemma 2.4's path lifting, Lemma 4.4's continuity argument, sign conventions in Theorem 4.15—look like exposition issues, not real flaws. I would want the negative-curvature gap addressed before publication, but not the whole paper rewritten.\n\nWho this is for: anyone working on symplectic 4-manifolds, Kähler cones, or complex surface moduli. It deserves a serious referee and a revision, not a desk reject. My verdict tracks the reader's ACCEPT with moderate confidence, with the negative-curvature concern given a bit more weight.","headline":"A serious, mostly-solid paper with real new theorems; the negative-curvature branch depends on a rigidity citation that a referee should verify.","tokens_in":31183,"tokens_out":5216,"would_cite":true,"duration_ms":44395,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D35","32Q15","53C55","57R17"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that holomorphically tamed symplectic forms on closed 4-manifolds are exactly the Kähler forms, class by class, in three regimes: b_2^+=1, Kodaira dimension zero, and negative curvature.","keywords":["Kähler forms","holomorphically tamed symplectic forms","closed 4-manifolds","Torelli theorem","period domain","Kodaira dimension","deformation-to-isotopy","Streets–Tian conjecture"],"falsifier":"Take a compact Kähler surface X with negative sectional curvature and choose two complex structures J and J' on the same smooth manifold. Compute the real (1,1)-cohomology subspaces H^{1,1}_J(X;R) and H^{1,1}_{J'}(X;R). The paper predicts they are equal. Any pair with different subspaces would falsify Corollary 2.8 and hence Theorem 1.8(3).","tokens_in":30157,"feed_emoji":"🌀","tokens_out":13464,"duration_ms":103441,"temperature":0.7,"pith_summary":"The paper asks whether a symplectic form that is only tamed by some complex structure must actually be a Kähler form, compatible with a (possibly different) complex structure. It proves that in three broad settings—closed 4-manifolds with positive part of the second Betti number b_2^+=1, manifolds admitting a symplectic form of Kodaira dimension zero, and manifolds admitting a Kähler metric of negative sectional curvature—the two classes coincide for every cohomology class. In the same settings it proves uniqueness up to a homologically trivial diffeomorphism (one acting trivially on homology), connectedness or finiteness of the moduli space of Kähler-type forms, and openness of the space of Kähler-type forms in the space of all symplectic forms in the first two settings. This matters because results about Kähler-type symplectic forms—packing, rigidity, mapping-class-group effects—then transfer to the larger class of merely tamed forms on these manifolds.","feed_headline":"Tamed symplectic forms are Kähler in three regimes","feed_subtitle":"On 4-manifolds with b+=1, zero Kodaira dimension, or negative curvature, the two notions coincide class by class","key_machinery":"The load-bearing identity is the cone comparison for an integrable complex structure J: the J-tamed cone is the J-compatible cone plus the anti-invariant part of cohomology, so a class is tamed exactly when its (1,1)-projection is compatible. Three mechanisms then carry the proof: the deformation-to-isotopy theorem when b_2^+=1; the Torelli theorem and period-domain topology for K3 surfaces, complex tori, and their blowups, which control the moduli of complex structures; and marked strong rigidity for negatively curved Kähler surfaces, which forces any homotopy equivalence to be homotopic to a holomorphic or anti-holomorphic map and identifies the (1,1)-cohomology of all complex structures o","core_discovery":"The central statement is Theorem 1.8: for every cohomology class a, SK_a(X) is either empty or equal to ST_a(X) when X has b_2^+=1, admits a symplectic form of Kodaira dimension zero, or admits a Kähler metric of negative sectional curvature. Here SK_a consists of symplectic forms compatible with some complex structure (Kähler-type), and ST_a consists of forms tamed by some integrable complex structure. Thus in these regimes a symplectic form tamed by a complex structure and carrying a Kähler-type class is itself Kähler-type. The paper derives from this the uniqueness bound #MK_a(X)≤1, connectedness/finiteness of the moduli space MK(X), and openness of SK(X) in S(X) in the first two cases.","pith_inferences":["Editorial inference: the class-by-class equality suggests a possible global dichotomy among Kähler surfaces—tame and compatible forms coincide in non-positive Kodaira dimension, while Example 1.3 shows failures can occur in positive Kodaira dimension; the paper leaves open whether the tamed and compatible spaces differ at the level of forms, not just cohomology classes, in general type.","Editorial inference: the period-domain argument for K3 and tori is tailored to the Torelli theorem; a natural test is whether the same equality and uniqueness statements survive for other manifolds with a global Torelli theorem, such as hyperkähler 4-manifolds with different intersection lattices.","Editorial inference: the negative-curvature non-openness result suggests that openness of SK(X) in S(X) may be a Kodaira-dimension phenomenon; one could conjecture that among Kähler surfaces, SK(X) is open exactly when b_2^+=1 or the Kodaira dimension is non-positive, and the paper's results are consistent with that."],"forward_implications":["On rational and ruled 4-manifolds, K3 surfaces, Enriques and hyperelliptic surfaces, complex tori, and their blowups, every holomorphically tamed symplectic form whose cohomology class admits a Kähler form is itself Kähler-type.","On those manifolds, any two cohomologous Kähler-type symplectic forms are related by a homologically trivial diffeomorphism, so symplectic invariants of a class are canonical up to the Torelli group.","The moduli space MK(X) of Kähler-type forms has finitely many connected components for every closed 4-manifold underlying a Kähler surface; it is connected in the non-positive Kodaira dimension regime and has at most two components in the negative-curvature regime.","The space SK(X) is open in the space of all symplectic forms for b_2^+=1 and for Kodaira dimension zero, but fails to be open for negatively curved Kähler surfaces with b_2^+>1.","Symplectic properties proved for a single holomorphically tamed form on these manifolds transfer automatically to every cohomologous holomorphically tamed form."],"fun_headline_variants":["Tamed symplectic forms are Kähler in three 4-manifold regimes","Three regimes where tamed symplectic forms are Kähler","Tamed and Kähler coincide in three 4-manifold cases","Three settings make tamed symplectic forms Kähler"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The negative-curvature half rests on the deep rigidity theorem that every compact Kähler surface of negative sectional curvature is marked strongly rigid—that any homotopy equivalence involving it is homotopic to a holomorphic or anti-holomorphic map—and if that theorem failed for even one such surface, the equality, uniqueness, and non-openness conclusions in that regime would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Tamed symplectic forms are Kähler in three 4-manifold regimes","Three regimes where tamed symplectic forms are Kähler","Tamed and Kähler coincide in three 4-manifold cases","Three settings make tamed symplectic forms Kähler"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00094,"raw_usage":{"total_tokens":3817,"prompt_tokens":671,"completion_tokens":3146,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":415,"completion_tokens_details":{"reasoning_tokens":3065}},"tokens_in":415,"tokens_out":3146,"duration_ms":21341,"temperature":1.0,"reasoning_tokens":3065,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T14:22:01.548557+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a compact Kähler surface X with negative sectional curvature and choose two complex structures J and J' on the same smooth manifold. Compute the real (1,1)-cohomology subspaces H^{1,1}_J(X;R) and H^{1,1}_{J'}(X;R). The paper predicts they are equal. Any pair with different subspaces would falsify Corollary 2.8 and hence Theorem 1.8(3).","supporting_citations":[],"review_version":1}