{"id":"a1a2a3d9-1541-4419-bf66-d3bf93410cdf","arxiv_id":"2606.23333","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Every projective manifold obtained from a toric manifold by finite point blow-ups admits a Kähler metric with positive holomorphic sectional curvature, completing the surface case of Yau's problem.","lead":"This paper proves every rational surface admits a Kähler metric with positive holomorphic sectional curvature by reducing via blow-ups and degeneration to the toric case where the metric is known to work. A smart generalist might read it to see the completion of a 1975 result toward Yau's listed open problem on curvature positivity for complex surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Positivity transfer from toric special fiber to general fiber X via one-parameter degeneration is the least secure step","rationale":"The reader's weakest_assumption matches the second ingredient exactly as stated in the abstract. Because the full manuscript is not supplied here, no further internal inconsistency can be checked, so the verdict remains UNVERDICTED with the same low confidence.","tokens_in":1778,"tokens_out":370,"duration_ms":21504,"concrete_test":"In the section constructing the family π:𝒳→ℂ and proving transfer, extract the precise statement that produces a Kähler metric g on X with HSC(g)>0; check whether it supplies an explicit continuous family of metrics g_t on 𝒳_t (t near 0) with inf HSC(g_t) bounded below by a positive constant independent of t, or invokes a theorem guaranteeing persistence of the curvature inequality.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The claim that every blow-up X of a projective toric manifold admits a Kähler metric with HSC>0 rests on constructing a smooth family π:𝒳→ℂ with 𝒳_t≃X (t≠0) and 𝒳_0 toric, then asserting that HSC>0 on the toric metric transfers to a metric on X. Curvature positivity is a pointwise open condition, but in a degenerating family the Kähler metrics on the fibers are not automatically related by a continuous family of metrics whose curvature tensors remain positive; without an explicit deformation, a limiting argument, or a continuity method controlling the curvature along the family, the transfer does not follow from the existence of the family alone. The first ingredient (Delzant toric metrics have HSC>0) may hold, but the second ingredient is the load-bearing link.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that every projective manifold X obtained from a projective toric manifold by a finite sequence of point blow-ups admits a Kähler metric with positive holomorphic sectional curvature (HSC>0). This includes all rational surfaces and completes Hitchin's 1975 result on the converse direction. The proof has two ingredients: (i) the Delzant toric Kähler metric on any projective toric manifold has HSC>0, and (ii) for any such X a smooth projective family π:𝒳→ℂ exists with 𝒳_t ≃ X for t≠0 and 𝒳_0 toric, allowing positivity to transfer from the special fiber.","tokens_in":1917,"tokens_out":563,"duration_ms":17085,"significance":"If the result holds, it resolves the complex-surface case of Yau's problem on characterizing manifolds admitting Kähler metrics with positive HSC, giving a complete curvature characterization of rational surfaces. The toric positivity statement (ingredient i) is a concrete, checkable advance on Delzant metrics; the degeneration construction supplies an explicit family that could in principle support a continuity argument.","major_comments":[{"comment":"Abstract (second ingredient): the existence of the smooth family π:𝒳→ℂ with toric special fiber does not by itself imply that a metric with HSC>0 on 𝒳_0 can be deformed to metrics with HSC>0 on 𝒳_t (t≠0). HSC positivity is an open condition, but the Kähler metrics on the fibers must be chosen so that their curvature tensors vary continuously and remain positive; the manuscript must supply either an explicit deformation of the Delzant metric or a continuity-method argument controlling the curvature along the family.","section":"Abstract (second ingredient)"},{"comment":"The transfer step is load-bearing for the central claim that every blow-up of a toric manifold admits HSC>0. Without a detailed continuity or deformation argument in the proof of ingredient (ii), the reduction from the toric case to the general rational surface remains incomplete.","section":"Proof of the degeneration (ingredient ii)"}],"minor_comments":[{"comment":"Clarify whether the toric positivity result (ingredient i) is stated only for surfaces or for higher-dimensional projective toric manifolds; the abstract claims the latter but the application is to surfaces.","section":"Abstract"},{"comment":"Notation: the family is written π:𝒳→ℂ; confirm that the total space is smooth and that the fibers are projective for all t, including t=0.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed and constructive report. The comments correctly identify that the transfer of HSC positivity along the degeneration requires an explicit argument beyond the mere existence of the family. We address each point below and will revise the manuscript accordingly.","responses":[{"response":"We agree that the family construction alone is insufficient and that a continuity argument controlling the curvature must be supplied. The full manuscript contains a sketch of such an argument (deforming the Delzant metric continuously in the space of Kähler metrics on the total space while using openness of HSC>0 in C^{2} topology), but it is not presented with sufficient detail or estimates. We will add an explicit subsection in Section 4 that constructs the deformed metrics fiberwise and verifies that the curvature remains positive for small t.","revision_made":"yes","referee_comment":"[Abstract (second ingredient)] Abstract (second ingredient): the existence of the smooth family π:𝒳→ℂ with toric special fiber does not by itself imply that a metric with HSC>0 on 𝒳_0 can be deformed to metrics with HSC>0 on 𝒳_t (t≠0). HSC positivity is an open condition, but the Kähler metrics on the fibers must be chosen so that their curvature tensors vary continuously and remain positive; the manuscript must supply either an explicit deformation of the Delzant metric or a continuity-method argument controlling the curvature along the family."},{"response":"We concur that the transfer argument is central and that the current presentation of ingredient (ii) is too brief. The reduction relies on a continuity method along the family; we will expand the proof to include the necessary estimates showing that the holomorphic sectional curvature stays positive under the deformation, thereby completing the argument from the toric case to the blown-up surfaces.","revision_made":"yes","referee_comment":"[Proof of the degeneration (ingredient ii)] The transfer step is load-bearing for the central claim that every blow-up of a toric manifold admits HSC>0. Without a detailed continuity or deformation argument in the proof of ingredient (ii), the reduction from the toric case to the general rational surface remains incomplete."}],"tokens_in":1463,"tokens_out":471,"duration_ms":18009,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's main result is that every rational surface admits a Kähler metric with positive holomorphic sectional curvature. This completes the converse direction that Hitchin started in 1975 on Hirzebruch surfaces and resolves the surface case of the problem Yau listed.\n\nWhat is actually new is the claim for arbitrary rational surfaces, not just the Hirzebruch ones. The argument splits into two pieces: first, the standard Delzant toric Kähler metric on a projective toric manifold has HSC > 0; second, any blow-up sequence can be realized as the general fiber of a smooth one-parameter degeneration whose special fiber is toric, and positivity is supposed to pass to the general fiber.\n\nThe toric positivity step looks like the cleaner part; if the Delzant construction really produces positive HSC, that is a concrete and checkable statement. The degeneration construction itself is standard in algebraic geometry, so the family exists.\n\nThe softer spot is the transfer of curvature positivity across the family. Positive HSC is an open condition pointwise, but the metrics on the fibers are not automatically a continuous family whose curvature tensors stay positive. Without an explicit deformation of the metrics or a continuity argument that keeps the curvature controlled, the transfer does not follow from the existence of the family alone. The abstract does not spell out how this control is obtained, so that is the step a referee would need to see in detail.\n\nThis paper is for people working on Kähler geometry of surfaces and curvature positivity questions. Anyone following Yau's open problems or Hitchin's work will want to see whether the degeneration argument closes the gap. It is substantial enough to deserve a serious referee, with the degeneration step flagged for close reading.","headline":"Zhang finishes the rational surface case of Yau's problem by extending Hitchin's positive HSC metrics to all blow-ups of toric manifolds, but the degeneration transfer step looks like the part that needs the most checking.","tokens_in":2399,"tokens_out":436,"would_cite":false,"duration_ms":12543,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Every manifold obtained from a projective toric manifold by blowing up points admits a Kähler metric with positive holomorphic sectional curvature.","keywords":["holomorphic sectional curvature","Kähler metrics","rational surfaces","toric manifolds","blow-ups","Delzant construction","positive curvature"],"falsifier":"An explicit rational surface whose Kähler metrics all have some holomorphic sectional curvature less than or equal to zero, or a direct calculation showing that the Delzant toric metric on some projective toric surface fails to have HSC>0 everywhere.","tokens_in":2641,"feed_emoji":"","tokens_out":582,"duration_ms":17069,"temperature":0.7,"pith_summary":"The paper establishes that projective toric manifolds carry Kähler metrics of positive holomorphic sectional curvature coming from Delzant's construction. It then shows that this positivity persists when the manifold is deformed through a one-parameter family whose general fiber is any finite sequence of point blow-ups of the original toric manifold. Because every rational surface arises this way, the result supplies the missing direction in Hitchin's 1975 theorem and settles the surface case of Yau's problem on curvature characterization.","feed_headline":"Rational surfaces all admit Kähler metrics with positive HSC","feed_subtitle":"Completing Hitchin's theorem via degeneration from toric manifolds whose Delzant metrics already have the positivity.","key_machinery":"A smooth projective family over the disk whose special fiber is a projective toric manifold and whose general fibers are the desired blow-ups, together with the toric Kähler metric on the special fiber.","core_discovery":"Every projective manifold X obtained from a projective toric manifold by a finite sequence of blow-ups at points admits a Kähler metric with HSC>0. This statement applies to all rational surfaces and therefore completes Hitchin's result, resolving the complex surface case of a problem of Yau.","pith_inferences":["The same degeneration technique could be tested on other birational classes where a toric model is known to exist.","It would be natural to ask whether the resulting metrics can be chosen to satisfy additional curvature conditions simultaneously.","Higher-dimensional analogues would require checking whether the transfer of positivity still holds after more complicated blow-up sequences."],"forward_implications":["All rational surfaces carry Kähler metrics with HSC>0.","The converse to Hitchin's theorem holds in the Kähler setting for surfaces.","The surface case of Yau's listed problem on curvature positivity is settled.","Positivity of HSC on toric manifolds extends to their point blow-ups via degeneration."],"fun_headline_variants":["Rational surfaces admit Kähler metrics with HSC>0","Toric blow-ups admit Kähler metrics with positive HSC","Projective toric blow-ups admit Kähler metrics with HSC>0","All rational surfaces from toric blow-ups have positive HSC metrics","Toric manifold blow-ups yield HSC-positive Kähler metrics on rational surfaces"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Positivity of holomorphic sectional curvature on the special fiber of the degeneration transfers to the nearby smooth fibers.","fun_headline_variants_meta":{"raw":{"variants":["Rational surfaces admit Kähler metrics with HSC>0","Toric blow-ups admit Kähler metrics with positive HSC","Projective toric blow-ups admit Kähler metrics with HSC>0","All rational surfaces from toric blow-ups have positive HSC metrics","Toric manifold blow-ups yield HSC-positive Kähler metrics on rational surfaces"]},"model":"grok-4.3","cost_usd":0.006746,"raw_usage":{"total_tokens":3131,"prompt_tokens":650,"num_sources_used":0,"completion_tokens":77,"cost_in_usd_ticks":67462000,"prompt_tokens_details":{"text_tokens":650,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2404,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":650,"tokens_out":77,"duration_ms":17691,"temperature":1.0,"reasoning_tokens":2404,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T07:02:42.852604+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit rational surface whose Kähler metrics all have some holomorphic sectional curvature less than or equal to zero, or a direct calculation showing that the Delzant toric metric on some projective toric surface fails to have HSC>0 everywhere.","supporting_citations":[],"review_version":1}