{"id":"7c71e8af-2d8f-48d1-bcf5-7b0e861f9382","arxiv_id":"2607.06688","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"Polystable Poisson structures on Kähler–Einstein Fano manifolds admit constant-scalar-curvature symplectic generalized Kähler metrics for small enough Poisson tensors, settling the semiclassical YTD conjecture on P².","lead":"The paper defines Poisson K-polystability for Kähler holomorphic Poisson manifolds and proves that polystable Poisson structures on Kähler–Einstein Fano manifolds admit constant-scalar-curvature symplectic generalized Kähler metrics for sufficiently small Poisson tensors. This yields many new cscGK examples and settles the semiclassical YTD conjecture completely on the projective plane.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader's identification of Lemma 6.11 as the weakest link is accurate, but the lemma is proved under precisely the hypotheses of Theorem 1 (KE Fano), so the existence statement stands. The concrete check above is a low-cost verification that the curvature identities used in the linearization do not produce an unexpected harmonic obstruction on the simplest non-trivial example. Because that check is expected to pass and no other load-bearing gap appears, the original ACCEPT verdict with high confidence remains appropriate.","tokens_in":44586,"tokens_out":482,"duration_ms":6502,"concrete_test":"Independently recompute the linearization (D_0 ẽS)(σ) in Lemma 6.11 for the model case X=ℝ^{2} with its Fubini–Study metric and a polystable cubic Poisson structure (smooth elliptic curve or triangle of lines). Verify that the resulting (0,2)-form is harmonic and vanishes, confirming that the Lichnerowicz kernel contribution is zero and that the map is complex-linear; if a non-zero harmonic piece appears, the taming claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption (Lemma 6.11) correctly flags the most delicate analytic step: the differential of the slice map ẽS at 0 must be complex-linear so that the pulled-back form tames the natural complex structure on the space of bivectors near the origin, allowing the local tame Kempf–Ness theory of §5 to produce a zero of the momentum map. The paper establishes this only for Kähler–Einstein Fano manifolds, via the Bochner formula and the Kähler identity [Λ, d^c]=δ applied to the Ricci form (eqs. (41)–(42) and surrounding text). That restriction is already explicit in the statement of Theorem 1 and is not a hidden gap. The remainder of the argument (extended Gualtieri map, Moser lift, elliptic bootstrap of Theorem 2.10, and the finite-dimensional reduction) is standard and carefully written. No internal inconsistency or unstated assumption that would undermine the existence claim for polystable Poisson structures on KE Fanos was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper introduces Poisson K-polystability for compact Kähler holomorphic Poisson manifolds (X, σ, α), defined via Donaldson–Futaki invariants of σ-Poisson test configurations (Definition 1.1). When (X, α) is already K-polystable with reductive Aut_red(X), this is equivalent to GIT polystability of σ in H⁰(X, ∧²T^{1,0}_X) (Proposition 3.17). The authors conjecture a semiclassical YTD correspondence: Poisson K-polystability is equivalent to the existence of cscGK structures in GK_{λσ,α} for all sufficiently small |λ| (Conjecture 1). The main theorem (Theorem 1) proves the existence direction for K-polystable Fano manifolds with α = 2πc₁(X): if σ is Aut°(X)-polystable, then such cscGK metrics exist for small |λ|. The proof deforms a Kähler–Einstein metric via an extended Gualtieri map, Moser lift, LeBrun–Simanca projection, and a local tame Kempf–Ness theorem (Proposition 5.1), followed by elliptic bootstrapping (Theorem 2.10). Combined with the Matsushima–Lichnerowicz obstruction this settles the conjecture completely for P² and yields many new cscGK examples (Corollary 1).","tokens_in":44816,"tokens_out":720,"duration_ms":7984,"significance":"The work supplies a natural algebro-geometric stability condition that interacts cleanly with both GIT and generalized Kähler geometry, and proves a substantial existence theorem that produces the first systematic supply of constant-scalar-curvature symplectic GK metrics beyond the toric and automorphism-free cases. The complete resolution for P² and the explicit Del Pezzo examples are concrete advances. The analytic toolkit (tame Kempf–Ness, higher regularity for Gscal, extended Gualtieri slice) is carefully developed and of independent interest. The paper is therefore a significant contribution to both Kähler geometry and generalized geometry.","major_comments":[],"minor_comments":[{"comment":"In the statement of Theorem 2.10 the phrase “Let Let M^{2n}” contains a duplicated word.","section":null},{"comment":"Definition 3.2 opens with “Anpre-test configuration”; a space is missing.","section":null},{"comment":"In §6.1 the radius-of-convergence estimate b_{k+λ} = 16 C_{k+λ} ||ω_φ||^{2}_{k+λ} ||σ||_{k+λ} is written without an explicit reference to the Schauder constant appearing in the inductive estimate; a short parenthetical would help the reader.","section":null},{"comment":"The notation for the normalized Goto/Gscal functions (˚Goto, ˚Gscal) is introduced in several places; a single consistent definition early in §6 would improve readability.","section":null},{"comment":"Example 3.23 asserts Poisson K-polystability only for smooth test configurations; a brief remark clarifying that the full (possibly singular) notion remains open would prevent over-reading.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technically dense, but the central existence argument is complete and the restriction to the Kähler–Einstein Fano setting is stated honestly. I see no reason to request a major revision; the paper is ready for acceptance after the usual copy-editing."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper does what it claims. It defines Poisson K-polystability for a Kähler manifold with holomorphic Poisson tensor, shows that when the underlying manifold is already K-polystable with reductive Aut_red the condition reduces to ordinary GIT stability of the bivector, and then proves the existence half of a semiclassical YTD conjecture: if X is a K-polystable Fano and σ is polystable under Aut°(X), then for all sufficiently small |λ| there is a cscGK structure in the anticanonical class with Poisson tensor λσ. Combined with the Matsushima–Lichnerowicz obstruction this completely settles their Conjecture 1 for P^{2} and produces many new examples (smooth cubics on P^{2}, Sklyanin structures on P^{3}, various del Pezzo cases).\n\nThe analytic core is carefully assembled. They start from the KE metric given by YTD, build an extended Gualtieri slice that works for non-Poisson bivectors, apply a Moser lift, project out the finite-dimensional kernel via a LeBrun–Simanca argument, and reduce to a finite-dimensional tame Kempf–Ness problem (their §5). The only place that needs the KE curvature identities is Lemma 6.11, which guarantees that the pulled-back form tames the complex structure near the origin so that the local GIT package applies. That restriction is already written into the statement of Theorem 1; it is not a hidden gap. The elliptic bootstrap (Theorem 2.10) that upgrades the C^{r} solution to smooth is also new and useful.\n\nSoft spots are ordinary for a first existence paper: the smallness threshold ε is non-quantitative, the converse direction of the full conjecture remains open outside special cases, and the argument is currently limited to the Fano KE setting. None of these undermines the result that is proved. Citations are appropriate; the dependence on their earlier momentum-map paper [8] and on Gualtieri’s deformation theorem is clean.\n\nAnyone working on cscK, Poisson geometry or generalized Kähler metrics will want this. It deserves a serious referee and should be accepted after the usual polishing. I would cite it.","headline":"Solid existence theorem for small-Poisson cscGK metrics on KE Fanos, with a clean new stability notion that settles the conjecture for P^{2}.","tokens_in":45472,"tokens_out":553,"would_cite":true,"duration_ms":13552,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32Q20","53D17","14L24"],"pacs":[],"model":"grok-4.5","headline":"Poisson K-polystability guarantees small-Poisson constant-scalar-curvature generalized Kähler metrics on Fano manifolds.","keywords":["Poisson K-stability","generalized Kähler geometry","cscGK metrics","Yau-Tian-Donaldson conjecture","Fano manifolds","Kempf-Ness theory","holomorphic Poisson structures"],"falsifier":"Produce an explicit polystable Poisson structure on a K-polystable Fano manifold for which no constant-scalar-curvature symplectic generalized Kähler metric exists in any neighbourhood of the zero Poisson tensor, or show that the differential of the slice map fails to be complex-linear for some Kähler–Einstein metric.","tokens_in":45451,"feed_emoji":"∞","tokens_out":711,"duration_ms":8151,"temperature":0.7,"pith_summary":"The paper defines Poisson K-polystability for a compact Kähler manifold carrying a holomorphic Poisson tensor, and conjectures that this algebraic condition is equivalent to the existence of constant-scalar-curvature symplectic generalized Kähler metrics for all sufficiently small multiples of the Poisson tensor. The conjecture is a natural semiclassical extension of the classical Yau–Tian–Donaldson correspondence that links K-stability to constant-scalar-curvature Kähler metrics. The main theorem proves the existence direction when the underlying manifold is a K-polystable Fano variety: if the Poisson bivector is polystable under the automorphism group action, then such metrics exist for small Poisson deformation. The argument produces many new examples, including complete verification of the conjecture on the projective plane, and shows that certain K-unstable varieties become stable once a Poisson structure is added.","feed_headline":"Poisson stability yields new constant-curvature generalized metrics","feed_subtitle":"On Fano manifolds a polystable Poisson tensor produces cscGK metrics for small deformation","key_machinery":"A K-equivariant slice map from a neighbourhood of the origin in the space of bivectors into almost-generalized-Kähler structures, obtained by extending Gualtieri’s Poisson deformation construction; the pulled-back formal momentum map reduces the problem to a finite-dimensional Kempf–Ness theorem for a tame symplectic form.","core_discovery":"If X is a K-polystable smooth Fano manifold and σ is a holomorphic Poisson structure that is polystable for the linear action of Aut°(X) on the space of holomorphic bivectors, then there exists ε>0 such that for every |λ|<ε the manifold admits a constant-scalar-curvature symplectic generalized Kähler structure in the anticanonical class whose Poisson tensor is exactly λσ.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Polystable Poisson tensors on Fanos give csc symplectic GK metrics","Poisson K-polystability yields constant-scalar-curvature generalized Kähler","Semiclassical YTD: small polystable Poisson deformations produce cscGK","K-polystable Fanos admit cscGK structures from polystable bivectors","Stable Poisson structures on KE Fanos force constant-curvature GK metrics"],"cache_read_input_tokens":37888,"weakest_assumption_plain":"The differential of the slice map at the origin must be complex-linear so that the pulled-back two-form tames the natural complex structure near zero; this uses curvature identities special to the Kähler–Einstein setting.","fun_headline_variants_meta":{"raw":{"variants":["Polystable Poisson tensors on Fanos give csc symplectic GK metrics","Poisson K-polystability yields constant-scalar-curvature generalized Kähler","Semiclassical YTD: small polystable Poisson deformations produce cscGK","K-polystable Fanos admit cscGK structures from polystable bivectors","Stable Poisson structures on KE Fanos force constant-curvature GK metrics"]},"model":"grok-4.5","effort":"low","cost_usd":0.00738,"raw_usage":{"total_tokens":1822,"prompt_tokens":792,"num_sources_used":0,"completion_tokens":106,"cost_in_usd_ticks":73800000,"prompt_tokens_details":{"text_tokens":792,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":924,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":792,"tokens_out":106,"duration_ms":8234,"temperature":1.0,"reasoning_tokens":924,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T23:21:46.438456+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Produce an explicit polystable Poisson structure on a K-polystable Fano manifold for which no constant-scalar-curvature symplectic generalized Kähler metric exists in any neighbourhood of the zero Poisson tensor, or show that the differential of the slice map fails to be complex-linear for some Kähler–Einstein metric.","supporting_citations":[],"review_version":1}