{"id":"b127cd1a-f10b-4e62-ac56-09c350041a66","arxiv_id":"2606.21073","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves global existence and smooth convergence of the prescribed Hermitian-Yang-Mills flow to a metric satisfying Λ_ω(√-1 R^h) = P for slope-stable holomorphic bundles, with an application to the tangent bundle on Fano manifolds.","lead":"The paper proves that a flow equation for Hermitian metrics on a holomorphic vector bundle over a compact Kähler manifold converges globally to a solution of the prescribed curvature equation under a slope stability condition. A smart generalist might read it to see how analytic flows can be used to construct special metrics on complex manifolds, generalizing classical existence theorems.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Application asserts existence for TM on arbitrary Fano M without the stability hypothesis required by the main theorem","rationale":"The reader correctly flagged the stability hypothesis as weakest, but the abstract-only review missed that the application drops this hypothesis entirely. This is the single most load-bearing gap for the overall claims in the paper; the core flow theorem itself may be internally consistent once the hypothesis is granted.","tokens_in":1865,"tokens_out":377,"duration_ms":34896,"concrete_test":"Read the application section (likely §5 or the final section) and check whether it explicitly assumes or proves strict slope stability of TM w.r.t. the given ω; if it does neither, recompute the slope inequality for TM on the Fano surface P^1 × P^1 with ω the product of Fubini-Study forms to test whether the hypothesis holds.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The main theorem states that if E is strictly slope stable (deg_ωg(F) < deg_ωg(E) for every proper coherent subsheaf F), then the flow admits a global smooth solution converging to a metric satisfying Λ_ωg(√−1 R^h) = P. The application claims that on any Fano manifold M, for any Hermitian metric form ω and any positive-definite P, there exists a unique h on T^{1,0}M satisfying the equation. This application is presented without the stability hypothesis or a separate proof that T^{1,0}M is always strictly slope stable w.r.t. arbitrary ω. The latter is not generally true (e.g., on P^1 × P^1 with product ω the tangent bundle admits a subsheaf of equal slope). Thus the application does not follow from the theorem as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.3","summary":"The paper proves that if a holomorphic vector bundle E on a compact Kähler manifold (M, ω_g) is strictly slope stable (deg_ωg(F) < deg_ωg(E) for every proper coherent subsheaf F), then the prescribed Hermitian-Yang-Mills flow ∂h/∂t = −Λ_ωg(√−1 R^h) + P admits a global smooth solution on [0, ∞) converging smoothly to a metric h_∞ satisfying Λ_ωg(√−1 R^{h_∞}) = P, for any initial h_0 and positive-definite P. As an application, it claims that on any Fano manifold M, for any Hermitian metric form ω and positive-definite P, there exists a unique Hermitian metric h on T^{1,0}M satisfying Λ_ω(√ R^h) = P.","tokens_in":2062,"tokens_out":516,"duration_ms":15367,"significance":"If the main theorem holds, the result supplies a parabolic proof of an analogue of the Donaldson-Uhlenbeck-Yau theorem for the prescribed equation and would constitute a nontrivial extension of existing flow techniques. The claimed application to the tangent bundle on arbitrary Fano manifolds would, if justified, give a Calabi-Yau-type existence result without a stability hypothesis, but this extension is not supported by the stated theorem.","major_comments":[{"comment":"Abstract (application paragraph): the existence/uniqueness statement for a metric h on T^{1,0}M satisfying Λ_ω(√ R^h) = P on an arbitrary Fano manifold is asserted without the strict slope-stability hypothesis required by the main theorem and without a separate argument that T^{1,0}M is always strictly slope stable with respect to an arbitrary Kähler form ω. This hypothesis is known to fail in general (e.g., the tangent bundle of P^1 × P^1 with product metric admits a subsheaf of equal slope). The application therefore does not follow from the theorem as stated and is load-bearing for the paper’s final claim.","section":"Abstract"}],"minor_comments":[{"comment":"Abstract, application equation: the displayed equation uses √ R^h rather than the √−1 R^h appearing in the theorem statement and flow equation; this appears to be a typographical inconsistency.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for highlighting the inconsistency between the main theorem and the application claimed in the abstract. We address the comment below.","responses":[{"response":"We agree that the application paragraph in the abstract asserts an existence/uniqueness result for the tangent bundle on arbitrary Fano manifolds that does not follow from the main theorem, as the required strict slope stability need not hold (as illustrated by the referee's example). No separate argument for stability is given in the manuscript. We will therefore revise the abstract by removing the application paragraph.","revision_made":"yes","referee_comment":"[Abstract] Abstract (application paragraph): the existence/uniqueness statement for a metric h on T^{1,0}M satisfying Λ_ω(√ R^h) = P on an arbitrary Fano manifold is asserted without the strict slope-stability hypothesis required by the main theorem and without a separate argument that T^{1,0}M is always strictly slope stable with respect to an arbitrary Kähler form ω. This hypothesis is known to fail in general (e.g., the tangent bundle of P^1 × P^1 with product metric admits a subsheaf of equal slope). The application therefore does not follow from the theorem as stated and is load-bearing for the paper’s final claim."}],"tokens_in":1572,"tokens_out":291,"duration_ms":18436,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper proves global existence and smooth convergence for the flow δh/δt = -Λ(√-1 R^h) + P on a strictly slope-stable bundle E. Under the hypothesis that deg(F) < deg(E) for every proper subsheaf, any initial metric and any positive P yield a solution that converges to a metric satisfying the prescribed equation. This is a direct extension of the classical DUY flow and the arbitrary positive P appears to be the new ingredient.\n\nThe statement of the main theorem is clean and the stability assumption is the standard one. The flow approach itself is a reasonable way to obtain the existence result.\n\nThe clear soft spot is the application to the tangent bundle on Fano manifolds. The theorem requires strict slope stability of E with respect to the given ω. The paper then claims that on any Fano M, for any ω and any positive P, there is a unique h on T^{1,0}M solving the equation. No argument is given that T^{1,0}M is always strictly stable, and this is not true in general. On P^1 \times P^1 with the product form, the tangent bundle has subsheaves of equal slope. The application therefore does not follow from the theorem as stated.\n\nThe work is aimed at people who use parabolic methods for Hermitian metrics on bundles. A reader interested in flow proofs of prescribed equations would get value from the main result.\n\nIt deserves peer review because the central theorem is a genuine, if incremental, advance in this area. The application gap is fixable by either adding a stability check or narrowing the claim.","headline":"The prescribed flow extends DUY under stability with a new P term, but the Fano tangent bundle application does not follow from the theorem.","tokens_in":2560,"tokens_out":428,"would_cite":false,"duration_ms":19576,"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":"If a holomorphic vector bundle on a compact Kähler manifold is strictly slope stable, the prescribed Hermitian-Yang-Mills flow exists globally and converges to a metric satisfying the curvature prescription.","keywords":["Hermitian-Yang-Mills flow","slope stability","holomorphic vector bundle","Kähler manifold","prescribed curvature","Donaldson-Uhlenbeck-Yau theorem","Fano manifold"],"falsifier":"A strictly slope stable bundle on a compact Kähler manifold together with some positive definite P for which the flow either develops a singularity in finite time or its limit fails to satisfy the curvature equation.","tokens_in":2775,"feed_emoji":"","tokens_out":530,"duration_ms":18306,"temperature":0.7,"pith_summary":"The paper proves that when every proper coherent subsheaf F of a holomorphic vector bundle E satisfies deg(F) strictly less than deg(E), the evolution equation that adjusts the Hermitian metric h according to minus the contraction of its curvature plus a given positive definite tensor P has a smooth solution for all time. The solution converges as time goes to infinity to a limiting metric whose curvature exactly equals the prescribed tensor. This extends the classical Donaldson-Uhlenbeck-Yau theorem to the inhomogeneous case and yields, as a corollary, the existence of a Hermitian metric on the tangent bundle of any Fano manifold whose curvature satisfies the analogous prescription for any background Kähler form and any positive definite right-hand side.","feed_headline":"Stable bundles admit global solutions to prescribed curvature flow","feed_subtitle":"The flow converges smoothly to a metric satisfying the given curvature condition on strictly slope stable holomorphic bundles over Kähler ma","key_machinery":"The prescribed Hermitian-Yang-Mills flow, a parabolic evolution equation for the Hermitian metric whose long-time behavior is controlled by the slope-stability hypothesis.","core_discovery":"Suppose that for every proper coherent subsheaf F⊂E, deg_ωg(F)