{"id":"dafaac19-e576-4810-ab94-15551fc1a474","arxiv_id":"2509.01639","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Toric generalized Kähler-Ricci solitons of A-type are locally equivalent to steady toric Kähler-Ricci solitons, yielding a four-dimensional classification and new complete examples.","lead":"This paper proves that a broad class of generalized Kähler-Ricci solitons with torus symmetry are deformations of ordinary Kähler-Ricci solitons, and uses this to classify four-dimensional cases and build new examples. A generalist might care because it connects two large families of geometric PDEs and gives a practical construction recipe in all dimensions.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.9's proof relies on the identity θI=−θJ, which is false for explicit toric GKRS, leaving the reduction in Theorem 1.4 unproved.","rationale":"The reader's weakest assumption identified the unproved identity θI=−θJ in Proposition 2.9 as a load-bearing gap. My stress-test confirms and sharpens this: the identity is not merely unproved, it is false for an explicit class of toric GKRS. The product of two cigar solitons gives a complete steady toric KRS; its A-deformation with nonzero A is a rank-2 symplectic-type GKRS by Theorem 1.1. Applying the paper's own Lemma 2.19 yields θI+θJ≠0 for generic h1,h2 unless a=0, directly contradicting the assertion used in Proposition 2.9. Since Proposition 2.9 is necessary to verify condition (3) of Theorem 1.1 in the proof of Theorem 1.4, the main classification argument has a real gap. The theorem may still be true, but the proof as written is incomplete. This does not change the reader's conditional verdict: the authors must supply a corrected proof of F(XI,XJ)=0 without relying on θI=−θJ, or prove the identity under the GKRS hypotheses. I find no other concern that is more load-bearing: the constancy of λ in Lemma 4.2 appears justifiable by the surrounding arguments, and the completeness proof in Theorem 3.9, while terse, is plausible. Thus the central issue is precisely the one flagged by the reader, and the verdict remains CONDITIONAL.","tokens_in":35896,"tokens_out":27212,"duration_ms":269298,"concrete_test":"Compute θI and θJ from Lemma 2.19 for the A-deformation of the product of two cigar steady KRS on C^2, with Hess(u)=diag(h1(x),h2(y)), A=aJ0, a≠0, and p=h1h2/(h1h2+a^2). The identity θI=−θJ would require θI+θJ=0, i.e. ((2h1h2+a^2)/(h1h2+a^2))d log(h1h2) = 2 d log(h1h2+a^2), which fails for any nonconstant h1,h2 with a≠0. This explicit calculation settles that the unproved identity used in Proposition 2.9 is false, and that a different argument is needed to establish F|t×t≡0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2.9 is one of the two a priori facts needed to apply Theorem 1.1 in the proof of Theorem 1.4: it is used to show F|t×t≡0 for a four-dimensional rank-2 GKRS. Its proof computes F+(XI,XJ) and invokes 'using further that θI = −θJ' with no derivation. This identity is not a general consequence of the four-dimensional GKRS equations. For a concrete counterexample, take the A-deformation (with nonzero A = aJ0) of the product of two cigar steady Kähler-Ricci solitons on C^2; by the converse direction of Theorem 1.1 this is a rank-2 symplectic-type GKRS. Lemma 2.19 gives θI+θJ = (1+p)d log det Hess(u) − 2 d log det(Hess(u)+A). With Hess(u)=diag(h1,h2) and p = h1h2/(h1h2+a^2), this becomes ((2h1h2+a^2)/(h1h2+a^2))d log(h1h2) − 2 d log(h1h2+a^2), which is nonzero for generic h1,h2 when a≠0. Hence θI≠−θJ for a genuine GKRS, and the proof of Proposition 2.9 is invalid as written. The paper supplies no alternative proof of F(XI,XJ)=0 in the noncompact setting, so the reduction in Theorem 1.4 rests on an unproved, in fact false, assertion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a toric-geometric duality between steady gradient Kähler–Ricci solitons (KRS) and A-type generalized Kähler–Ricci solitons (GKRS). In all dimensions, Theorem 1.1 gives a local equivalence, under four structural conditions, between symplectic-type toric GKRS and A-deformations of locally toric steady KRS. Theorem 1.2 and Proposition 3.1 address global extension and completeness, yielding new complete examples from known complete toric KRS and, in particular, Corollary 1.3 on crepant resolutions of toric Calabi–Yau cones. In four dimensions, Theorem 1.4 claims that every rank-2 GKRS with σ not identically zero is, on the dense set σ≠0, an A-deformation of a locally toric non-Ricci-flat KRS, and is complete when the original GKRS is symplectic-type and complete. The proof combines the Gibbons–Hawking reduction of [51] with two a priori facts: F±(XI,XJ)=0 (Proposition 2.9) and It=Jt (Lemma 4.4). A substantial part of the paper is devoted to explicit symplectic potentials, Legendre duality, Monge–Ampère equations, and toric rank-1 examples.","tokens_in":36268,"tokens_out":9984,"duration_ms":114409,"significance":"If the central theorems hold, the paper gives a powerful and elegant bridge between two active areas: classical toric Kähler–Ricci soliton theory and generalized Kähler geometry. The explicit A-deformation construction, the completeness transfer, and the four-dimensional reduction are significant and would yield many new complete GKRS, including a conjecturally exhaustive class in real dimension four. The paper is rich in explicit formulas: the soliton potential (2.20), the Lee-form identities (Lemma 2.19), the weighted scalar curvature identity (3.4), and the Monge–Ampère reduction (4.8) are concrete and checkable. However, the four-dimensional classification rests on Proposition 2.9, and the current proof of that proposition appears to contain a false assertion. Because Theorem 1.4 and its consequences depend on Proposition 2.9, this is a load-bearing gap that must be repaired before the main claims can be accepted.","major_comments":[{"comment":"The proof states 'using further that θI = −θJ' without derivation. This identity is not a consequence of the preceding equations and is in fact false for genuine GKRS. For an A-deformation, Lemma 2.19 gives θI+θJ = (1+p)d log det Hess(u) − 2 d log det(Hess(u)+A). Taking Hess(u)=diag(h1,h2) and A=aJ0 with a≠0, this is generically non-zero; e.g. for h1=h2=h it equals −2h dh/(h^2+a^2) up to the factor depending on p. By the converse direction of Theorem 1.1, this A-deformation of a product of two cigar steady KRS is a symplectic-type GKRS. Thus θI=−θJ is not available, and the displayed computation of F+(XI,XJ) is invalid as written.","section":"§2.1, Proposition 2.9"},{"comment":"Theorem 1.4 relies on Proposition 2.9 to obtain F|t×t≡0, one of the four hypotheses of Theorem 1.1. Since Proposition 2.9's proof is invalid, the reduction of rank-2 GKRS to A-deformations of locally toric KRS is not established. The conclusion F±(XI,XJ)=0 may be true for nondegenerate rank-2 GKRS by a different argument (possibly using the decomposition in Lemma 4.2), but no such argument is supplied in the manuscript. This affects the local classification and the completeness-transfer and non-Ricci-flatness claims that build on Theorem 1.4. Please provide a correct proof of Proposition 2.9 in the needed rank-2 setting, or state and prove the precise weakened version that Theorem 1.4 requires.","section":"§1.2 and proof of Theorem 1.4"}],"minor_comments":[{"comment":"Equation (2.13) is written with '+ const', while Remark 2.17 says the constant can be normalized to zero by choosing a basis. Please reconcile the notation: either drop the constant and state the normalization, or keep the constant consistently throughout the subsequent identities that use (2.13).","section":"§2.3, Lemma 2.16 and Remark 2.17"},{"comment":"The classification of non-compact Delzant toric symplectic manifolds is attributed to [42], which is the Kleiner–Lott notes on Perelman's papers. The correct reference for the non-compact Delzant classification appears to be [41] (Karshon–Lerman) together with [22]. Please correct the citation.","section":"§3.1, Remark 3.3"},{"comment":"The text says 'an a priori elliptic PDE that WX and WY must satisfy', but the notation WX, WY has not been introduced; this should presumably read WI and WJ, as in equations (4.4).","section":"§4.1, after (4.4)"},{"comment":"The proof defers many case checks to [51] with statements such as 'as explained in [51] §5.4.1' and 'arguing as in case (1)'. The derivation of the forced values |k±|=1, l±=0 is not fully transparent. Since Proposition 3.18 is presented as a classification statement, please identify the exact propositions in [51] used for each implication and expand the final step.","section":"§3.4, Proposition 3.18"},{"comment":"There are several typographical issues: 'unbounded simple convex Delzant polytope' (Introduction) should be 'simple convex unbounded polytope' for consistency; 'Joural London Math. Soc.' in reference [15] should be 'Journal'; and the statement of Theorem 1.2 in the Introduction omits the non-compact Delzant hypothesis in its one-line formulation, which is present in the precise Theorem 3.9.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central issue is local and precise: Proposition 2.9's proof invokes θI=−θJ, which contradicts the manuscript's own Lemma 2.19 for explicit A-deformations. This is not a matter of disagreement with prior work; it is an internal inconsistency. The authors may be able to repair the proof by proving F±(XI,XJ)=0 directly in the rank-2 nondegenerate setting using the Gibbons–Hawking data of Section 4, or by restricting Proposition 2.9 accordingly. Given the paper's substantial constructive content, I would not recommend rejection if such a repair is feasible, but the current version cannot be accepted as is. I also note the heavy reliance on self-cited prior work [12, 51]; the new proof should make the dependence explicit and checkable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main thing to know: this paper proves a clean local bridge between toric steady Kähler-Ricci solitons and A-type toric generalized Kähler-Ricci solitons, and shows completeness transfers under Delzant hypotheses. That part is substantial, carefully computed, and I believe it. The four-dimensional rank-2 classification advertised as Theorem 1.4, however, has a load-bearing gap: Proposition 2.9 uses the identity θI = −θJ without proof, and that identity is false for the very A-deformations the paper constructs. For a product of two cigar solitons on C^2, the A-deformation is a genuine rank-2 GKRS by the paper's own converse direction, and Lemma 2.19 gives θI+θJ = (1+p)d log det Hess(u) − 2 d log det(Hess(u)+A), which is nonzero for generic h1,h2 when A≠0. So the proof of F±(XI,XJ)=0 as written does not hold. Since that vanishing is needed to verify condition (3) of Theorem 1.1 in the four-dimensional reduction, Theorem 1.4 is not proven by the current argument.\n\nThe good parts stand on their own. Theorem 1.1 and its proof give concrete formulas for the soliton potential and the deformation, and the reverse direction is tested by explicit examples. The completeness theorem (Theorem 1.2) is new and the length-space argument is carefully done. The Legendre duality and the examples from crepant resolutions are nice. The paper is transparent about relying on prior work, especially [51] and [12]; that is fine, the citations are appropriate. The main line of proof is detailed and the computations are reproducible.\n\nThe soft spots: besides Proposition 2.9, Proposition 3.18 defers significant case analysis to [51]. That is minor compared to the θI issue. Also, the σ≡0 case is left open, which the authors explicitly acknowledge.\n\nThe fix might be available: perhaps F+(XI,XJ)=0 can be proven directly from the GK Gibbons-Hawking equations in §4, or from the four-dimensional algebra without θI=−θJ. But it needs to be supplied.\n\nVerdict: The local theory and completeness results merit serious refereeing. The four-dimensional classification, as it stands, is conditional on closing this gap. I would encourage the editor to send it out, with referees specifically asked to check Proposition 2.9 and the applicability of Theorem 1.1 in Theorem 1.4.","headline":"Strong local equivalence and completeness theorems in toric GKRS, but the four-dimensional reduction leans on a false identity—worth refereeing, needs fixing.","tokens_in":36766,"tokens_out":6313,"would_cite":true,"duration_ms":60621,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C55","53D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that symplectic-type toric generalized Kähler-Ricci solitons are exactly A-deformations of toric steady gradient Kähler-Ricci solitons, that this equivalence preserves completeness on noncompact Delzant toric manifolds, an","keywords":["generalized Kähler-Ricci solitons","toric Kähler-Ricci solitons","A-deformations","symplectic-type generalized Kähler structures","Gibbons-Hawking ansatz","Monge-Ampère equation","Delzant toric manifolds","four-dimensional geometry"],"falsifier":"Compute, for any rank-2 GKRS written in the Gibbons-Hawking coordinates, the values of F+(XI,XJ) and λ=Ω(XI,XJ) along the region where σ≠0. Finding a nonzero F+(XI,XJ) or a nonconstant λ would violate the identities on which the toric reduction rests, so Theorem 1.4's conclusion that the structure is an A-deformation would be false. Alternatively, construct a complete symplectic-type rank-2 GKRS whose associated KRS is Ricci-flat; Corollary 3.15 predicts the rank would drop to at most 1, so such an example would overturn the classification.","tokens_in":35780,"feed_emoji":"🌀","tokens_out":10489,"duration_ms":106837,"temperature":0.7,"pith_summary":"The paper claims that in the toric and 'symplectic-type' regime, generalized Kähler-Ricci solitons (GKRS) are not genuinely new objects: each is a constant-matrix twist, called an A-deformation, of an ordinary gradient steady Kähler-Ricci soliton. In four dimensions, every rank-2 GKRS whose associated Poisson tensor is not identically zero is locally of this form over a dense open set, and when the structure is global and complete the underlying Kähler soliton is complete and not Ricci-flat. This converts the study of such GKRS to the well-developed theory of toric Kähler-Ricci solitons, and turns known complete Kähler examples into complete generalized ones in all dimensions. A symmetric statement runs the other way: any A-deformation of a suitable complete toric KRS is a complete symplectic-type GKRS. The result unifies the four-dimensional Gibbons-Hawking-type classification of rank 1 with a new rank-2 picture and leaves the split-tangent (σ≡0) case open.","feed_headline":"Rank-2 generalized Kähler solitons are Kähler deformations","feed_subtitle":"In toric settings a constant matrix twist maps steady Kähler-Ricci solitons to generalized ones, preserving completeness.","key_machinery":"The central object is the A-deformation: starting with a locally toric Kähler metric written in action-angle coordinates with symplectic potential u, one adds a constant skew-symmetric matrix A to the Hessian of u to define a new integrable complex structure J, and takes I to be the F-conjugate complex structure; the resulting data (F,g,I,J) is a symplectic-type generalized Kähler structure, with the original Kähler structure recovered when A=0. The argument's engine is a pair of canonical Killing fields XI = (1/2)I(θI♯ − ∇f) and XJ = (1/2)J(θJ♯ − ∇f) attached to any GKRS. The proof shows that in the toric/symplectic-type regime these vector fields span an n-dimensional integrable distributi","core_discovery":"The paper's central claim is Theorem 1.4: on a four-manifold, any rank-2 GKRS whose canonical Poisson tensor σ is not identically zero is, over the dense open set where σ≠0, an A-deformation of a locally toric steady gradient Kähler-Ricci soliton; if the GKRS is globally symplectic-type and complete, the underlying Kähler-Ricci soliton is complete and non-Ricci-flat. The same circle of ideas yields Theorem 1.1 in all dimensions: for a symplectic-type toric GKRS satisfying four structural conditions, the GK structure is an A-deformation of a toric KRS, and conversely every A-deformation of a toric KRS satisfying the conditions is a GKRS. Theorem 1.2 adds that on noncompact toric Delzant manif","pith_inferences":["If this picture holds, the classification of complete symplectic-type rank-2 GKRS in four dimensions is essentially the classification of non-Ricci-flat complete toric KRS, so existing polytope data and asymptotic models for KRS should transfer unchanged.","The σ≡0 split-tangent case is the natural next frontier: it is the only four-dimensional rank-2 family not captured by the A-deformation reduction, and the methods here offer a concrete starting point for it.","The explicit formula for the soliton potential suggests that weighted volume and Perelman-type functionals on these GKRS can be computed from the symplectic potential alone; checking whether the weighted scalar curvature inequality remains sharp on known examples is a testable extension.","One could run the construction in reverse: choose an unbounded Delzant polytope and a constant matrix A, solve the drift Monge-Ampère equation with Abreu-Guillemin boundary conditions, and produce new complete GKRS metrics not previously known from any existing KRS construction."],"forward_implications":["Every known complete toric steady gradient KRS — for example Cao-type examples, products of cigar solitons, and crepant resolutions of toric Calabi-Yau cones — yields complete symplectic-type GKRS in all dimensions via A-deformation.","In four dimensions, the local classification of rank-2 GKRS with σ≠0 reduces to the local classification of toric KRS, and complete symplectic-type rank-2 GKRS are exactly A-deformations of complete non-Ricci-flat toric KRS.","The generalized scalar curvature of a complete toric GKRS is nonnegative; vanishing at one point forces the structure to be an A-deformation of a Ricci-flat toric Kähler metric, in which case the rank is at most one.","The four-dimensional rank-1 Gibbons-Hawking examples (multi-Eguchi-Hanson and multi-Taub-NUT) reappear as A-deformations of Ricci-flat gravitational instantons, showing the two approaches agree.","A-deformations and Legendre duality expose a mirror pair of symplectic potentials for F+ and F−, both of which satisfy the KRS equation, providing a concrete route to new global examples."],"supporting_citations":[{"why":"Introduced the A-deformation construction for toric generalized Kähler structures, giving the local model used throughout.","marker":"[16]"},{"why":"Provided the Gibbons-Hawking ansatz and rank-1 classification that the four-dimensional reduction refines.","marker":"[51]"},{"why":"Supplied the Bismut-Ricci and Lee-form formulas for A-deformations and the geometric interpretation of A as a Poisson deformation.","marker":"[12]"},{"why":"Constructed explicit complete gradient steady toric KRS on C^n, which feed the new GKRS examples.","marker":"[8]"},{"why":"Established existence of complete steady gradient KRS on crepant resolutions of toric Calabi-Yau cones, underpinning Corollary 1.3.","marker":"[25]"},{"why":"Gave a gluing existence result for complete steady KRS, used to produce the resolved examples in four dimensions.","marker":"[15]"},{"why":"Developed extension theory for toric generalized Kähler structures, adapted here to noncompact Delzant manifolds.","marker":"[54]"},{"why":"Supplied global rigidity and variational facts for GKRS used in the noncompact and scalar-curvature arguments.","marker":"[13]"}],"fun_headline_variants":["4D generalized Kähler-Ricci solitons classified","Generalized Kähler-Ricci solitons from toric deformations","A-deformations unify Kähler and generalized solitons","New complete solitons via generalized Kähler deformations","Toric geometry links Kähler-Ricci and generalized solitons"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The four-dimensional reduction works only in the 'symplectic-type' regime and assumes two local identities about the soliton's built-in symmetry fields; if either fails, the structure need not reduce to a Kähler soliton, and the split-tangent case where a key Poisson tensor vanishes identically is explicitly left open.","fun_headline_variants_meta":{"raw":{"variants":["4D generalized Kähler-Ricci solitons classified","Generalized Kähler-Ricci solitons from toric deformations","A-deformations unify Kähler and generalized solitons","New complete solitons via generalized Kähler deformations","Toric geometry links Kähler-Ricci and generalized solitons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001143,"raw_usage":{"total_tokens":4548,"prompt_tokens":682,"completion_tokens":3866,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":3771}},"tokens_in":426,"tokens_out":3866,"duration_ms":32826,"temperature":1.0,"reasoning_tokens":3771,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:20:02.259567+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for any rank-2 GKRS written in the Gibbons-Hawking coordinates, the values of F+(XI,XJ) and λ=Ω(XI,XJ) along the region where σ≠0. Finding a nonzero F+(XI,XJ) or a nonconstant λ would violate the identities on which the toric reduction rests, so Theorem 1.4's conclusion that the structure is an A-deformation would be false. Alternatively, construct a complete symplectic-type rank-2 GKRS whose associated KRS is Ricci-flat; Corollary 3.15 predicts the rank would drop to at most 1, so such an example would overturn the classification.","supporting_citations":[{"cited_title":"Toric generalized K¨ ahler structures","cited_arxiv_id":null,"evidence_quote":"Introduced the A-deformation construction for toric generalized Kähler structures, giving the local model used throughout."},{"cited_title":"The Gibbons-Hawking ansatz in generalized K¨ ahler geometry","cited_arxiv_id":null,"evidence_quote":"Provided the Gibbons-Hawking ansatz and rank-1 classification that the four-dimensional reduction refines."},{"cited_title":"Generalized K¨ ahler-Ricci flow on toric Fano varieties","cited_arxiv_id":null,"evidence_quote":"Supplied the Bismut-Ricci and Lee-form formulas for A-deformations and the geometric interpretation of A as a Poisson deformation."},{"cited_title":"Hamiltonian 2-forms and new explicit Calabi–Yau metrics and gradient steady K¨ ahler–Ricci solitons on Cn","cited_arxiv_id":null,"evidence_quote":"Constructed explicit complete gradient steady toric KRS on C^n, which feed the new GKRS examples."},{"cited_title":"Steady gradient K¨ ahler-Ricci solitons on crepant resolutions of Calabi- Yau cones","cited_arxiv_id":null,"evidence_quote":"Established existence of complete steady gradient KRS on crepant resolutions of toric Calabi-Yau cones, underpinning Corollary 1.3."},{"cited_title":"Steady K¨ ahler–Ricci solitons on crepant resolutions of finite quotients of Cn","cited_arxiv_id":null,"evidence_quote":"Gave a gluing existence result for complete steady KRS, used to produce the resolved examples in four dimensions."},{"cited_title":"Toric generalized K¨ ahler structures","cited_arxiv_id":null,"evidence_quote":"Developed extension theory for toric generalized Kähler structures, adapted here to noncompact Delzant manifolds."},{"cited_title":"Variational structure and uniqueness of generalized K¨ ahler–Ricci solitons.Peking Mathematical Journal , 6(2):307–351, 2023","cited_arxiv_id":null,"evidence_quote":"Supplied global rigidity and variational facts for GKRS used in the noncompact and scalar-curvature arguments."}],"review_version":1}