{"id":"0f0c67a1-9a81-4ecc-9167-21c0c2447ee9","arxiv_id":"2608.09918","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Explicit Ricci-flat Kähler metrics on cones over products of projective spaces are built from gauged linear sigma models whose 'shadow' fields carry negative-signature kinetic terms.","lead":"The paper constructs explicit, previously unknown Ricci-flat Kähler metrics on complex cone spaces over products of projective spaces, using a supersymmetric gauge theory that employs 'shadow' coordinates with negative kinetic terms. The work gives concrete formulas for metrics usually known to exist only abstractly, which matters for string compactifications and for testing numerical methods in differential geometry.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Monge-Ampère identity in Appendix A is verified formally, but the paper never proves that F_G in (4.27) is a positive definite, real symplectic potential on the resolved moment polytope; the central metric claim is therefore conditional on a regularity check.","rationale":"The reader's weakest assumption is that positive definiteness, smoothness, and completeness of (4.27) are asserted rather than proven. This is precisely the load-bearing gap. The Monge-Ampère verification in Appendix A is the main evidence for Ricci-flatness and appears algebraically correct, but Ricci-flatness alone does not make a metric: the symplectic potential must be real, strictly convex, and defined on the correct polytope. The paper does not supply the necessary inequality analysis, and the toric data in §4.3 contains features (complex roots, duplicate P rows) that make the identification with the smooth total space non-obvious. A direct positivity criterion and a parameter-range check for the explicit examples would settle the issue. The reader's CONDITIONAL verdict is therefore appropriate, and my stress-test does not move it. I agree with the reader's identification of the weak point, and the proposed concrete test is the minimal check that would convert the conditional claim into a theorem or expose a counterexample.","tokens_in":30773,"tokens_out":43357,"duration_ms":420808,"concrete_test":"Use the block decomposition in Appendix A to derive the positivity criterion: with L_i^A, s_A as in (A.1) and R defined by (4.30), prove that -F'' from (4.27) is positive definite exactly when L_i^A > 0, s_A > 0, and R'(µ)/R(µ) > 0. Then, for the CP^2 example (4.35) and the CP^1×CP^1 example (4.37), compute explicit parameter ranges (real b, or real a and b_I satisfying (4.36)) for which these inequalities hold on a nonempty open domain, and check that the boundary µ = max real root of R is a Delzant facet with the normal fan of Tot(K_B). If for some parameters satisfying (4.36) the inequalities select an empty domain or R'/R ≤ 0, the proposed metric is not Riemannian on the claimed total space.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim requires that the symplectic potential F_G in (4.27) define a genuine Kähler metric on the total space of the canonical bundle over a product of projective spaces. Appendix A proves only the algebraic Monge-Ampère equation (2.35), by differentiating ln R and ln L_i. It never establishes that all arguments of the logarithms are positive on a common domain, that R and R' have the signs needed for convexity, or that the Hessian -F'' is positive definite. For the block structure (A.4), positive definiteness of -F'' is equivalent to L_i^A > 0, s_A > 0, and R'/R > 0, via the Schur complement computed in (A.7); the paper states none of these inequalities and does not map the parameters a_A and the roots b_I to the Kähler cone. This is not a purely technical omission: in the CP^2 example the roots bω^i in (4.33) are complex, and in (4.50) the P matrix contains duplicate rays (0,0,1) and (0,0,-1), so the asserted identification with the smooth total space of O(-3) over CP^2 is not immediate. The paper itself notes in footnote 20 that the geometry of the LVM quotient is under investigation, so that alternative route also does not supply the missing regularity proof. Without a positivity/domain argument, a formal solution of the Monge-Ampère equation could correspond to an indefinite metric or to a metric on an orbifold/stack rather than on the claimed smooth manifold.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a class of explicit Ricci-flat Kähler metrics on the total space of the canonical line bundle over a product of complex projective spaces, using gauged linear sigma models that contain chiral superfields with negative kinetic terms, called shadow fields. The main technical result is that the generalized Calabi symplectic potential (4.27), with the extra function F_R determined by R'(μ)=∏_{A=1}^N (s_A)^{n_A-1}/n_A (4.30), satisfies the toric Monge-Ampère equation (2.35). The verification is carried out in Appendix A, which reduces the determinant identity to a short calculation. The paper also reads off the toric data (P and Q matrices), works out examples for CP^{n-1} and CP^1×CP^1, and proposes an alternative interpretation in which shadow fields are replaced by twisted chiral fields via a generalized Kähler gauging with a Large Vector Multiplet.","tokens_in":31111,"tokens_out":5647,"duration_ms":56267,"significance":"The construction is honest and transparent: it is an ansatz-to-ODE reduction with no fitting to data, and the Monge-Ampère calculation is explicit enough to be checked line by line. If the missing regularity issues are resolved, the paper would provide a valuable family of explicit non-compact Calabi-Yau metrics and a genuinely new GLSM realization of them. However, the central claim as stated — that (4.27) defines an explicit Ricci-flat Kähler metric on a smooth manifold — is conditional, because positive definiteness, smoothness, and completeness of the metric are asserted but not established. The alternate generalized-Kähler route is also explicitly deferred in footnote 20, so it does not fill this gap.","major_comments":[{"comment":"The determinant computation proves the algebraic Monge-Ampère identity, but it does not establish that -∂²F_G is positive definite on a common domain. Positivity requires L_i^A>0, s_A>0, and R'/R>0 on the relevant moment polytope; via the Schur complement (A.7) these are exactly the conditions needed for the Hessian to be positive definite. None of these inequalities is stated, and the allowed ranges of the parameters a_A and the roots b_I are not mapped to a Kähler cone. This is load-bearing: without a domain and positivity argument, a formal solution of (2.35) could correspond to an indefinite metric, or to a metric on an orbifold or stack rather than on the claimed smooth total space.","section":"Appendix A, Eqs. (A.4)-(A.7); §4.2"},{"comment":"The CP^2 example illustrates why the missing regularity check is not a formality. The roots bω^i in (4.33) are complex, and the P matrix in (4.50) contains duplicate rays (0,0,1) and (0,0,-1); the asserted identification with the smooth total space of O(-3)→CP^2 is therefore not immediate. The authors note that F is real despite complex FI terms, but they do not prove that the complex-logarithm expression defines a smooth real function on a domain, that the Hessian is positive there, or that the quotient has the claimed topology.","section":"§4.3.1, Eqs. (4.33), (4.50), (4.51)"},{"comment":"The construction claiming to avoid shadow fields by using twisted chiral superfields and the Large Vector Multiplet is not established at the geometric level. The (1,1) superspace reduction in (C.45)-(C.54) shows a field-theoretic equivalence, but it does not show that the resulting target-space metric is positive definite, or even that the quotient is Kähler in the conventional sense. Footnote 20 explicitly states that the geometry of this LVM gauging is under investigation, so this alternative route cannot substitute for the missing regularity proof of the main construction.","section":"§5 and Appendix C.4"}],"minor_comments":[{"comment":"There are several typographical issues: 'Fayet-Illiopoulos' should be 'Fayet-Iliopoulos', and 'Monge-Amp` ere' appears with a stray space in multiple places.","section":"Throughout"},{"comment":"For the CP^1×CP^1 example, the second condition ∑1/b_I=0 follows from the absence of a linear term in R, and the parameter count would benefit from clarification: if a is fixed, the displayed constraints appear to leave only one free parameter among the b_I, while the text says there are two genuine Kähler moduli.","section":"§4.2.1, Eq. (4.36)"},{"comment":"The complex logarithms in the symplectic potentials require branch choices; a sentence explaining how the branches are chosen so that F is real and smooth on the intended domain would improve readability.","section":"§4.3.1, Eqs. (4.35), (4.37)"},{"comment":"The notation F_A is used both for the symplectic potential of the base (4.19) and for the Hessian blocks (A.4); renaming one of these would avoid confusion.","section":"§4.1.3 and Appendix A"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's real result is (4.27)-(4.30): an explicit symplectic potential whose Hessian satisfies the Monge-Ampère equation, giving candidate Ricci-flat Kähler metrics on the total space of the canonical bundle over any product of projective spaces. The shadow-field mechanism is new, and the GLSM realization plus the LVM reinterpretation in §5 are genuinely interesting. The reduction in Appendix A is careful and, as far as I can check, correct: the determinant computation leading to R' = ∏(s_A)^{n_A-1}/n_A is a clean piece of work. For the resolved conifold and the CP^n cones the construction reproduces known metrics, which gives me confidence the ansatz is not just formal.\n\nThe soft spot is exactly what the stress-test flags. The paper proves an algebraic identity, not that the metric exists. It never establishes that the L_i, s_A, and (µ-b_I) arguments are positive on a common domain, that the Hessian is positive definite, or that the metric extends smoothly across the exceptional divisor. The CP^2 example with complex roots bω^i and the duplicate rays (0,0,1)/(0,0,-1) in the P matrix (4.50) make the smoothness claim non-obvious. The paper says \"nonsingular Ricci-flat metrics\" and \"every Kähler class\" in §4, but the parameter-to-Kähler-cone map is not supplied. Footnote 20 honestly says the LVM geometry is under investigation, so that route does not fill the gap either.\n\nI don't think this is a fatal flaw. For N=1 and the conifold case the metrics are known to be regular, and the structure of the ansatz strongly suggests the general case works for suitable parameter ranges. But the main theorem is conditional until someone does the positivity/domain analysis. The \"without RG flow\" in the title is fine; the paper constructs Ricci-flat metrics directly, no flow involved. The self-citations to the companion LVM papers [48-50] are legitimate: that section is an interpretation, not the core proof.\n\nWho is this for? People working on explicit Calabi-Yau metrics, toric geometry, and GLSM constructions in string theory. It deserves a serious referee: the referee should demand the regularity check and a precise statement of the Kähler cone before acceptance. The core computation is reproducible and the new formula will be citable.","headline":"New explicit symplectic potentials for Ricci-flat metrics on canonical bundles over products of projective spaces; the Monge-Ampère identity is clean, but the missing regularity proof keeps the main claim conditional.","tokens_in":31733,"tokens_out":10079,"would_cite":true,"duration_ms":91165,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C55","32Q25","14M25","53D20"],"pacs":["02.40.Ky","11.10.Kk","11.30.Pb"],"model":"deepseek-v4-flash","headline":"Gauged linear sigma models with shadow fields give explicit Ricci-flat Kähler metrics on canonical bundles over products of projective spaces.","keywords":["Ricci-flat Kähler metrics","gauged linear sigma models","shadow fields","Calabi ansatz","Monge-Ampère equation","toric geometry","generalized Kähler geometry","canonical line bundle"],"falsifier":"Compute the Hessian of (4.27) in the region where $\\mu$ and all $\\mu_A^i$ satisfy $L_A^i>0$ for a concrete example such as $\\mathbb{CP}^2$ with complex roots $b\\omega^i$; a negative eigenvalue at any point would show the metric is not positive definite, and a vanishing $L_A^i$ away from the expected boundary would show the coordinate domain was misidentified.","tokens_in":30528,"feed_emoji":"📐","tokens_out":9436,"duration_ms":83315,"temperature":0.7,"pith_summary":"The paper constructs explicit Ricci-flat Kähler metrics on the total space of the canonical line bundle over any product of complex projective spaces, using two-dimensional gauged linear $\\sigma$ models whose target spaces have indefinite signature. The wrong-sign directions come from “shadow” chiral superfields, yet the quotient metric is ordinary and positive definite. The construction is a generalized Calabi ansatz in symplectic coordinates: a symplectic potential with a tunable function $F_R(\\mu)$ is shown to satisfy the Monge-Ampère equation, which is exactly Ricci-flatness. Because the metric is Ricci-flat, the $\\sigma$ model is conformally invariant at one loop without renormalization-group flow. The paper also shows the shadow fields can be replaced by twisted chiral fields through a generalized Kähler gauging with the Large Vector Multiplet, giving a manifestly positive-definite starting point.","feed_headline":"Shadow fields make gauged linear sigma models Ricci-flat","feed_subtitle":"Explicit Calabi-Yau metrics on canonical bundles over projective-space products now exist, with no RG flow.","key_machinery":"The key object is the generalized Calabi ansatz in symplectic coordinates. Starting from the Fubini-Study potential on each projective factor, the paper writes the symplectic potential of the singular cone as sums of $L\\ln L$ terms and then resolves it by shifting the constraints, $s_A=\\mu+a_A$, and adding an extra term $F_R(\\mu)$ fixed by the Monge-Ampère equation. The equation reduces to the first-order condition $R'(\\mu)=\\prod_A (s_A)^{n_A-1}/n_A$; because $R$ factorizes, $F_R$ is again a sum of logarithmic terms, which is what allows the result to be read off as a GLSM via the $P$ and $Q$ matrices of toric geometry. Shadow fields enter as chiral superfields with negative-signature kinetic terms, corresponding in the $P$ matrix to rows with the opposite sign.","core_discovery":"The central claim is that the resolved symplectic potential (4.27), with $L_A^i$ constrained by $\\sum_i L_A^i=n_A(\\mu+a_A)$ and the function $F_R$ determined through $F_R'=\\ln R$ by $R'(\\mu)=\\prod_A (s_A)^{n_A-1}/n_A$ with $s_A=\\mu+a_A$, solves the Monge-Ampère equation (2.35), the symplectic-coordinate form of Ricci-flatness. The paper verifies the determinant identity in Appendix A and reads off the toric data: the $P$ and $Q$ matrices of the associated GLSM, with shadow fields appearing as rows and columns of opposite sign. The resulting Kähler metrics live on the total space of $K_B=\\otimes_A O(-n_A)$ over $B=\\prod_A \\mathbb{CP}^{n_A-1}$, resolving the singular cone metrics of the standard Calabi ansatz. In this sense the GLSM produces a Ricci-flat (Calabi-Yau) metric directly, without flowing to the infrared.","pith_inferences":["If the regularity gaps are filled, these metrics would be explicit representatives of the noncompact Calabi-Yau theorem for this family of crepant resolutions, with the parameters $a_A$ and $b_I$ parametrizing Kähler classes.","The same mechanism may work for other toric bases: any Kähler-Einstein base with a known symplectic potential could be fed into the generalized Calabi ansatz, with shadow fields supplying the missing determinant factor.","The complex FI parameters that appear in the $\\mathbb{CP}^2$ example deserve a geometric interpretation; they may reflect the complexified stability condition of the GIT quotient rather than a breakdown of reality."],"forward_implications":["Every product of complex projective spaces admits an explicit Ricci-flat Kähler metric on the total space of its canonical line bundle, realized by a finite GLSM with shadow fields.","The associated sigma models have vanishing one-loop beta function, so they are conformally invariant without any RG flow.","The shadow fields can be reinterpreted as twisted chiral fields in a generalized Kähler quotient, giving a model that is positive definite from the start.","The metric contains multiple Kähler moduli (the resolution parameters $a_A$ and roots $b_I$), so the construction covers more than a single metric in each family.","The toric $P$ and $Q$ matrices provide a direct dictionary from the geometric data to the GLSM charges and FI parameters."],"supporting_citations":[{"why":"Calabi's original ansatz for Ricci-flat metrics on holomorphic line bundles; the paper's generalized ansatz is built on it.","marker":"[29]"},{"why":"Sets up the GLSM and Kähler quotient framework and the Calabi-Yau condition that the paper modifies with shadow fields.","marker":"[24]"},{"why":"Supplies the symplectic potential description of toric Kähler manifolds used throughout section 4.","marker":"[27]"},{"why":"Provides the Kähler geometry of toric manifolds in symplectic coordinates, including the metric formula (2.19).","marker":"[28]"},{"why":"The conifold metric that motivates the singular and resolved Calabi ansatz examples over products of projective spaces.","marker":"[9]"},{"why":"Introduces the Large Vector Multiplet used in section 5 to gauge chiral and twisted chiral fields simultaneously.","marker":"[48]"},{"why":"Supplies the conventions and field content of the generalized gauge multiplet used to eliminate shadow fields.","marker":"[52]"}],"fun_headline_variants":["GLSM instant Ricci-flat metrics without RG flow","Explicit Calabi-Yau metrics from shadow-coordinate GLSMs","No-flow Ricci-flat cones from gauged sigma models","Indefinite GLSMs yield exact Ricci-flat Kähler metrics","Shadow superfields give direct Ricci-flat metrics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the symplectic potential (4.27) defines an honest metric: the coordinates stay in the domain where all $L_A^i$ are positive, the Hessian is positive definite, and the metric is smooth and complete; the paper proves the Monge-Ampère equation but does not verify these regularity properties.","fun_headline_variants_meta":{"raw":{"variants":["GLSM instant Ricci-flat metrics without RG flow","Explicit Calabi-Yau metrics from shadow-coordinate GLSMs","No-flow Ricci-flat cones from gauged sigma models","Indefinite GLSMs yield exact Ricci-flat Kähler metrics","Shadow superfields give direct Ricci-flat metrics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1243,"prompt_tokens":891,"completion_tokens":352,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":266}},"tokens_in":507,"tokens_out":352,"duration_ms":3515,"temperature":1.0,"reasoning_tokens":266,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T04:22:40.962119+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Hessian of (4.27) in the region where $\\mu$ and all $\\mu_A^i$ satisfy $L_A^i>0$ for a concrete example such as $\\mathbb{CP}^2$ with complex roots $b\\omega^i$; a negative eigenvalue at any point would show the metric is not positive definite, and a vanishing $L_A^i$ away from the expected boundary would show the coordinate domain was misidentified.","supporting_citations":[{"cited_title":"M´ etriques k¨ ahl´ eriennes et fibr´ es holomorphes","cited_arxiv_id":null,"evidence_quote":"Calabi's original ansatz for Ricci-flat metrics on holomorphic line bundles; the paper's generalized ansatz is built on it."},{"cited_title":"Kaehler structures on toric varieties","cited_arxiv_id":null,"evidence_quote":"Supplies the symplectic potential description of toric Kähler manifolds used throughout section 4."},{"cited_title":"Comments on Conifolds","cited_arxiv_id":null,"evidence_quote":"The conifold metric that motivates the singular and resolved Calabi ansatz examples over products of projective spaces."}],"review_version":1}