{"id":"bea35c3c-9e24-4d55-9b25-d6ae0a1029d2","arxiv_id":"2411.13502","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces weighted extremal Kähler twins and extremal Sasaki twins, proving existence on all Hirzebruch surfaces and a quadratic bound on cscS twins.","lead":"This paper defines 'twins', pairs of ways to view one Kähler metric as a weighted extremal metric, and pairs of extremal Sasaki metrics sharing the same CR structure. It proves twins exist on every Hirzebruch surface and shows the cscS set in a toric Sasaki cone is quadratically constrained.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the main existence theorem is supported by explicit computations and standard cited results.","rationale":"The reader's verdict ACCEPT with moderate confidence is reasonable. The weakest external link is the use of the admissible metric formula from [AMTF22]; however, this is a published theorem and the paper explicitly cites it. The completeness concern raised by the reader is not load-bearing for the existence part of Theorem 1, and the no-twin results are established independently of (10) via the toric classification of csc metrics on quadrilaterals. The internal computations, including the derivation of (17) and the IVT arguments, appear correct. I therefore do not see a reason to change the verdict. A symbolic positivity check of P_{x,c} would add confidence but is not expected to fail.","tokens_in":35559,"tokens_out":29171,"duration_ms":270439,"concrete_test":"Independently verify the positivity condition (i) of (8) for the quadratic P_{x,c}(z) in (12) for all x in (0,1) and c in (-1,1), e.g. by computing the minimum of P_{x,c} on [-1,1] symbolically or via dense numerical sampling of the (x,c) rectangle and confirming it is positive; this checks the one unproved assertion on which the existence of the metrics g_{x,c} rests.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing gap in the central claim. The twin pairs in Theorem 1 are constructed explicitly: equation (17) is derived from the coefficient comparison of P_{x,a}=P_{x,b}, and the intermediate-value arguments in Propositions 2 and 3 guarantee solutions (a,b) in (-1,1)^2 for every x in (0,1) for n=1,2 and for x ≤ 2/n for n ≥ 3. The only external input is the assertion, credited to [AMTF22], that the admissible metric defined by (10) is a genuine Kähler metric for every c in (-1,1), i.e. the positivity P_{x,c}>0 on (-1,1); this is stated in the text without proof but is a published theorem. The reader's concern that (10) may not exhaust all admissible (cz+1,4)-extremal metrics does not threaten existence, which only needs the family to contain the twin pairs, nor the no-twin claims, which are proved in §6 via the toric classification of quadrilaterals rather than via completeness of (10). The internal algebra and the toric calculations in §6 are coherent. No fatal or even substantial flaw emerged.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces p-weighted extremal Kähler twins and extremal Sasaki twins. In the Kähler setting it restricts to weight p=4 on Hirzebruch surfaces, derives from the admissible metric formula of [AMTF22] the single quadratic equation (17) whose solutions give pairs (a,b) determining the same admissible metric g_x with two Killing potentials az+1 and bz+1. Intermediate-value arguments prove existence of solutions for all x in (0,1) on F_1 and F_2 and for x at most 2/n on F_n for n at least 3, while F_0 is handled directly by product metrics in §3.6; higher-genus ruled surfaces are treated in §4. The Sasaki sections give extremal Sasaki twins via the Boothby-Wang construction, a necessary condition (Lemma 5.1) used to rule out twins for some Sasaki-Einstein structures, cscS convexity results (Theorem 2), and a toric quadrilateral classification (Calabi, orthotoric, product) yielding at-most-one-twin and no-twin statements.","tokens_in":35728,"tokens_out":16664,"duration_ms":178398,"significance":"If correct, the paper establishes a genuine abundance of weighted-extremal twins and a new mechanism for producing multiple extremal Sasaki rays in a fixed CR structure. A particular strength is that the main computations are explicit and checkable: equations (12), (17), (44), (58), (71), and (83) are written out, and the existence proofs use honest intermediate-value arguments on the relevant conics. The main external input is the admissible metric formula (10) from [AMTF22]; this is a published theorem, and twin existence only requires that the admissible family contains the constructed pairs, not that it exhausts all weighted extremal metrics. The no-twin claims are supported by the independent toric analysis in §6. The paper is therefore publishable, with only local corrections needed.","major_comments":[],"minor_comments":[{"comment":"The second degenerate value of x is misprinted: it should be x=(s+sqrt(3))/(3-s^2), equivalently x=-(s+sqrt(3))/(s^2-3). As printed, x=(-s+sqrt(3))/(s^2-3) is negative for 0<s<=2/3, so the displayed chain 0<s<...<1 is false. The subsequent IVT argument for x in (0,s] is unaffected, but the formula and the ordering should be corrected.","section":"§3.5"},{"comment":"There is an unclosed parenthesis and a notational slip in the displayed formula for l^ext_1. It should read l^ext_1 = f^2 Scal(g_0) - 2(n+1) f Delta_{g_0}(f) - 2(n+1)(n+2)|df|^2_{g_0}, and the next line uses Delta_{g_0} f = 2(f-lambda) for the Sasaki-Einstein structure. The current typography makes the formula difficult to parse.","section":"§5.1, Eq. (29)"},{"comment":"The sentence 'Note also that for any c in (-1,1) and x in (0,1), all of the conditions in (8) are satisfied here' is asserted without proof. Since positivity of P_{x,c} on (-1,1) is exactly the condition that (10) defines a genuine Kähler metric, a one-sentence verification or a precise pointer to the relevant part of [AMTF22] would improve readability.","section":"§3.2"},{"comment":"There is an extra closing parenthesis in the last displayed sum: the term should be 2 delta_{ij} l_i(x) - 2 l_i(x) l_j(x)/(n+1), with no additional parenthesis before v_i v_j. This is typographical, but it interrupts the otherwise careful computation.","section":"§5.4, Eq. (47)"}],"recommendation":"minor_revision","confidential_remarks":"No further concerns. The reliance on [AMTF22] for formula (10) is legitimate and published; the completeness caveat in Remark 3.4 is openly stated and does not threaten the existence claims. The manuscript fits the journal's scope well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper is what it claims to be. The twin notion is new, the existence results on Hirzebruch surfaces are explicit and convincing, and the quadratic rigidity statement for cscS rays is a neat structural result. I read it as sound. The main caveat, worth saying once, is that the Kähler-side existence proofs lean on the admissible-metric formula from [AMTF22], and the positivity condition P_{x,c}>0 is cited rather than re-proved. That is a real external dependency, but it is a published theorem and the paper says so. If that family were incomplete, existence of twins would survive, since the constructed pairs live inside it; only the uniqueness claims would need to be read as “unique within the admissible/toric class.” The authors flag non-admissible Einstein–Maxwell solutions in Remark 3.4, which is the right level of honesty.\n\nThe genuinely new content: Definition 1 and Definition 2, Theorem 1 with the explicit conic equation (17) and the IVT arguments for F1, F2, and the sub-cone for Fn, and the toric quadrilateral analysis in §6. The calculus checks out. I spot-checked the coefficient comparisons and the boundary computations; nothing is hidden. Proposition 5 re-proves a known Bochner-flat extremality result, but the direct toric computation is a legitimate addition and the prior work is credited. The “no twin” statements for Sasaki–Einstein structures are proved within the toric/admissible setting, and the toric classification of quadrilaterals is used properly.\n\nSoft spots, in proportion: the reliance on [AMTF22] noted above; the fact that the uniqueness claims are not absolute but relative to the admissible family; and the paper is long, with several strands that a reader might want separated. None of these undermines the main existence theorem.\n\nWho is this for: anyone working on extremal Kähler or Sasaki metrics, weighted extremal metrics, Einstein–Maxwell geometry, or toric Sasaki geometry. It deserves a serious referee. I would send it out and expect the referee to verify the [AMTF22] input and the positivity checks, not to find a hole in the twin equation.","headline":"Solid, honestly-scoped new framework for extremal twins; the existence theorem on Hirzebruch surfaces is explicit and the main caveat is the reliance on a published admissible-metric formula rather than a gap in the paper's own algebra.","tokens_in":36312,"tokens_out":1621,"would_cite":true,"duration_ms":20796,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C55","53D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every Hirzebruch surface carries Kähler classes whose metrics are extremal in two different ways at once, producing pairs of extremal Sasaki structures on one CR manifold.","keywords":["weighted extremal Kähler twins","extremal Sasaki twins","Hirzebruch surfaces","Sasaki cone","constant scalar curvature Sasaki metrics","toric Kähler geometry","Einstein-Maxwell equations","admissible Kähler metrics"],"falsifier":"In the Kähler class of $F_1$ with parameter $x=0.6$ (equivalently $s=2$), search the non-admissible ambitoric Einstein-Maxwell metrics of [VdS21] for a metric that is $(f,4)$-extremal for two non-proportional positive Killing potentials; finding one would disprove the uniqueness claim that each admissible extremal metric admits at most one extremal twin once the family is enlarged. Alternatively, on the toric Sasaki manifolds of [Leg11a], compute the full cscS set and look for a projective line in the projectivized Sasaki cone meeting it in three distinct rays; a third cscS ray would refute Theorem 2.","tokens_in":35337,"feed_emoji":"♊","tokens_out":10914,"duration_ms":101156,"temperature":0.7,"pith_summary":"The paper introduces weighted extremal Kähler twins: a Kähler metric that is $(f,p)$-extremal for two different positive Killing potentials $f_1, f_2$ that are not rescalings of each other. Its main theorem says that every Hirzebruch surface $F_n$ (and every Kähler class on $F_0, F_1, F_2$) contains an admissible $4$-weighted extremal metric $g_x$ that is extremal with respect to two distinct potentials $az+1$ and $bz+1$, generalizing LeBrun's twinning in Einstein-Maxwell theory and the Page metric. Through the Boothby-Wang construction the same phenomenon appears as extremal Sasaki twins: two extremal Sasaki structures sharing one CR structure and commuting Reeb vector fields, i.e., more than one extremal ray in a single Sasaki cone without isotopy deformation. A second theorem bounds twinning in general toric Sasaki manifolds: the constant-scalar-curvature rays intersect any projective line in at most two points and lie in the boundary of their convex hull, so the cscS set is contained in a quadratic subvariety.","feed_headline":"Every Hirzebruch surface admits twin extremal metrics","feed_subtitle":"One metric, two extremal potentials: pairs of extremal Sasaki structures sharing a single CR structure.","key_machinery":"The load-bearing object is the admissible Kähler metric family on Hirzebruch surfaces, written in coordinates as $g_x = \\frac{1+xz}{x}g_{\\mathbb{CP}^1} + \\frac{dz^2}{\\Theta(z)} + \\Theta(z)\\theta^2$ with $\\Theta(z) = F(z)/(1+xz)$; the boundary conditions $F(\\pm1)=0$, $F'(\\pm1)=\\mp2(1\\pm x)$ encode smooth extension. Following [AMTF22], every admissible $(cz+1,4)$-extremal metric is given by an explicit quadratic $P_{x,c}(z)$; the twinning search $P_{x,a}=P_{x,b}$ collapses to one algebraic equation, $x(1-2sx+x^2)+(1+sx-3x^2+sx^3)(a+b)-x(1+2sx-3x^2)ab=0$, whose solution set is a hyperbola in the $(a,b)$-plane. Existence of twins is the statement that this hyperbola meets the open square $(-1,1)^2$ off the diagonal, which the authors prove for the ranges of $s=2/n$ described in Propositions 1-3. For the Sasaki results the machinery is the Lee-Tanno formula relating $f\\,\\mathrm{Scal}(g_1)$ to $f^2\\mathrm{Scal}(g_0)$ and the Laplacian of the Killing potential $f$, plus Lemma 5.1, which turns Sasaki-Einstein twin existence into the vertex equation $\\sum_i \\alpha_i w_i^2 = (\\sum_i \\alpha_i w_i)^2$ on barycentric coordinates of the moment polytope.","core_discovery":"The central discovery is Theorem 1: for every Hirzebruch surface $F_n = \\mathbb{P}(\\mathcal{O}\\oplus\\mathcal{O}(n))$ there is a non-empty open sub-cone of the Kähler cone, equal to the whole cone for $n=0,1,2$, such that every Kähler class in it admits a non-trivial pair of $4$-weighted extremal Kähler twins. Concretely, for each such class (parameter $x\\in(0,1)$) the admissible metric $g_x$ is simultaneously $(az+1,4)$-extremal and $(bz+1,4)$-extremal for two distinct real parameters $a,b\\in(-1,1)$; on rational classes the Boothby-Wang circle bundle then carries two extremal Sasaki structures with the same CR structure, i.e. extremal Sasaki twins. Within the admissible family the paper proves uniqueness: any extremal admissible metric has at most one extremal twin, and the Sasaki-Einstein metric on the canonical circle bundle over any $F_n$ has no twin at all. The paper also establishes Theorem 2 for a general toric Sasaki manifold: the set of cscS rays meets every projective line in the Sasaki cone in at most two points and lies on the boundary of its convex hull, hence is contained in a quadratic subvariety; along the way it gives a new proof that the CR-flat sphere's Sasaki cone is exhausted by extremal rays that are all twins, and a combinatorial obstruction showing that the Sasaki-Einstein structure over $\\mathrm{Bl}_3(\\mathbb{CP}^2)$ has no extremal Sasaki twin.","pith_inferences":["The twinning map $a\\mapsto b$ defined by equation (18) is an involution on an open subset of $(-1,1)$ whose unique fixed point is the bifurcation value where the two potentials coincide; the paper does not state this, but it follows directly from the symmetry of the hyperbola and would give a cleaner picture of when twins merge.","If the admissible family underlying the uniqueness claims is incomplete, and the paper's Remark 3.4 already notes that non-admissible ambitoric Einstein-Maxwell solutions exist, then 'at most one twin' may fail outside the admissible subfamily; checking whether the ambitoric metrics of [VdS21] admit a second Killing potential would test the boundary of the theorem.","Lemma 5.1's vertex equation (30) is a purely combinatorial criterion on the Delzant polytope; it could be used as an algorithm to screen any toric Fano for Sasaki-Einstein twins, a use the paper illustrates on one example but does not develop systematically.","The quadratic bound on cscS rays suggests the cscS set in the Sasaki cone is the zero set of a single quadratic polynomial, which would connect the twin count to the Einstein-Hilbert functional's critical structure; this goes beyond the paper's statement but is consistent with its Remark 5.1."],"forward_implications":["Every Hirzebruch surface carries a one-parameter family of 4-weighted extremal twin pairs in the relevant Kähler classes; on $F_0,F_1,F_2$ this holds in every Kähler class.","Boothby-Wang circle bundles over rational Kähler classes inherit pairs of extremal Sasaki twins, so a single CR structure can support several extremal rays without any isotopy-class deformation.","Sasaki-Einstein structures are generically twin-free: the SE metrics on the canonical bundles over Hirzebruch surfaces and over $\\mathrm{Bl}_3(\\mathbb{CP}^2)$ admit no extremal Sasaki twin; the CR-flat sphere is the exceptional case for which every extremal ray is a twin.","For toric Sasaki manifolds, constant scalar curvature rays are quadratically constrained: at most two cscS rays per projective line, and the whole cscS set sits in the boundary of the convex hull of the Sasaki cone.","Extremal Sasaki twins also occur on both trivial and non-trivial $S^3$-bundles over Riemann surfaces of every genus, so twinning is not a toric phenomenon."],"supporting_citations":[{"why":"Supplies formula (10) for the admissible $(cz+1,4)$-extremal metrics on projective bundles, from which the twinning equation (17) is derived.","marker":"[AMTF22]"},{"why":"Origin of the twinning phenomenon on the first Hirzebruch surface; its Einstein-Maxwell twins and Page twins are the cases the paper generalizes.","marker":"[LeB16]"},{"why":"Establishes the weighted extremal Kähler / extremal Sasaki correspondence via the Lee-Tanno formula, making $(f,4)$-extremality with $p=n+2$ equivalent to extremal Sasaki twins.","marker":"[AC21]"},{"why":"Source of the cscS examples on toric Sasaki manifolds, including the three cscS structures of which the paper identifies exactly two as twins.","marker":"[Leg11a]"},{"why":"Classification of csc toric Kähler metrics on quadrilaterals (Calabi, orthotoric, product), used in Section 6 to prove at-most-one-twin and no-twin results.","marker":"[Leg11b]"},{"why":"Defines extremal Sasaki structures and the Sasaki cone / CR structure framework underlying the notion of extremal Sasaki twins.","marker":"[BGS08]"},{"why":"Introduces extremal Kähler metrics and the original Calabi extremal metrics on Hirzebruch surfaces that serve as the base for the admissible family.","marker":"[Cal82]"},{"why":"The Boothby-Wang construction that turns integer Kähler classes with weighted extremal twins into extremal Sasaki twins on the circle bundle.","marker":"[BW58]"}],"fun_headline_variants":["Twin extremal metrics on all Hirzebruch surfaces","One CR structure, two extremal Sasaki rays","Every Hirzebruch surface: Kähler twins and Sasaki twins","Two extremal rays, one CR structure: Sasaki twins on Hirzebruch"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes that the formula (10) from [AMTF22] describes all $(cz+1,4)$-extremal metrics in the admissible Calabi-type family on each Kähler class, and the existence, uniqueness, and no-twin statements for Sasaki-Einstein structures all rest on that family being complete; the paper notes in Remark 3.4 that non-admissible Einstein-Maxwell solutions exist, so if the admissible family misses weighted extremal metrics, a class could carry twins beyond those the formulas predict.","fun_headline_variants_meta":{"raw":{"variants":["Twin extremal metrics on all Hirzebruch surfaces","One CR structure, two extremal Sasaki rays","Every Hirzebruch surface: Kähler twins and Sasaki twins","Two extremal rays, one CR structure: Sasaki twins on Hirzebruch"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000859,"raw_usage":{"total_tokens":3768,"prompt_tokens":1027,"completion_tokens":2741,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":2676}},"tokens_in":643,"tokens_out":2741,"duration_ms":20254,"temperature":1.0,"reasoning_tokens":2676,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:20:05.423997+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the Kähler class of $F_1$ with parameter $x=0.6$ (equivalently $s=2$), search the non-admissible ambitoric Einstein-Maxwell metrics of [VdS21] for a metric that is $(f,4)$-extremal for two non-proportional positive Killing potentials; finding one would disprove the uniqueness claim that each admissible extremal metric admits at most one extremal twin once the family is enlarged. Alternatively, on the toric Sasaki manifolds of [Leg11a], compute the full cscS set and look for a projective line in the projectivized Sasaki cone meeting it in three distinct rays; a third cscS ray would refute Theorem 2.","supporting_citations":[],"review_version":1}