REVIEW 4 minor 43 references
Twins in K{\"a}hler and Sasaki geometry
T0 review · 0 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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.
minor comments (4)
- [§3.5] 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.
- [§5.1, Eq. (29)] 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.
- [§3.2] 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.
- [§5.4, Eq. (47)] 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.
Circularity Check
No significant circularity; the twinning existence theorem is derived from explicit coefficient comparison and intermediate-value arguments, with prior results used only as independent published inputs.
full rationale
The core derivation is self-contained. The twinning equation (17) is obtained by directly equating the two coefficient expressions of P_{x,a} and P_{x,b} from the explicit formula (12), which is a computation, not an assumption of the conclusion. Existence of solutions (a,b) in the open square is then established by explicit sign evaluations of the left-hand side of (17) and the intermediate value theorem in Propositions 2 and 3, again without fitting parameters. The cited results that supply the admissible metric family, notably Theorem 1 of [AMTF22] and equation (10) of [BHLTF23], are published, parameter-free theorems with stated assumptions that do not include the target twinning result; they provide the input family but do not force the existence of twin pairs. The no-twin and at-most-one-twin statements in §6 are proved by direct computation of weighted scalar curvature for Calabi, orthotoric, and product toric structures, supplemented by the independent classification [Leg11b]. There are no fitted quantities presented as predictions, and no central claim reduces by construction to its own definition or to a self-citation chain. The authors' acknowledgement that non-admissible Einstein-Maxwell solutions exist (Remark 3.4) concerns completeness of the admissible family, not the existence of the constructed twins, and therefore does not indicate circularity.
Assumptions & free parameters
assumptions (6)
- standard math Boothby-Wang construction produces a regular Sasaki structure on the circle bundle of an integer Kähler class.
- standard math Apostolov-Calderbank theorem: (f,n+2)-extremal Kähler metric is equivalent to extremal Sasaki structure with Reeb vector field determined by f.
- standard math Formula (10) for admissible (cz+1,4)-extremal metrics, from [AMTF22].
- standard math Matsushima-Lichnerowicz theorem for Sasaki-Einstein manifolds: Killing potentials are Laplacian eigenfunctions with eigenvalue 2.
- standard math Delzant-Lerman-Tolman correspondence and Abreu-Guillemin symplectic potential formalism apply to toric Sasaki structures.
- standard math Extremal toric Kähler metrics on quadrilaterals are classified into Calabi, orthotoric, and product types [Leg11b].
Cite this review
Pith. "Pith review of Twins in K{\"a}hler and Sasaki geometry." pith.science (2026). https://pith.science/paper/GZSY5KWB
@misc{pith2026241113502,
author = {Pith},
title = {Pith review of: Twins in K\"ahler and Sasaki geometry},
year = {2026},
howpublished = {\url{https://pith.science/paper/GZSY5KWB}},
note = {Machine review of arXiv:2411.13502}
}
read the original abstract
We introduce the notions of weighted extremal K{\"a}hler twins together with the related notion of extremal Sasaki twins. In the K\"ahler setting this leads to a generalization of the twinning phenomenon appearing among LeBrun's strongly Hermitian solutions to the Einstein-Maxwell equations on the first Hirzebruch surface \cite{Leb16} to weighted extremal metrics on Hirzebruch surfaces in general. We discover that many twins appear and that this can be viewed in the Sasaki setting as a case where we have more than one extremal ray in the Sasaki cone even when we do not allow changes within the isotopy class. We also study extremal Sasaki twins directly in the Sasaki setting with a main focus on the toric Sasaki case.
Reference graph
Works this paper leans on
-
[1]
Abreu, K\"ahler metrics on toric orbifolds, J
M. Abreu, K\"ahler metrics on toric orbifolds, J. Differential Geom. 58 (2001), no. 1, 151--187. 1895351 (2003b:53046)
2001
-
[2]
Miguel Abreu, K\"ahler- S asaki geometry of toric symplectic cones in action-angle coordinates , Port. Math. 67 (2010), no. 2, 121--153. 2662864
work page 2010
-
[3]
Vestislav Apostolov and David M. J. Calderbank, The CR geometry of weighted extremal K \" a hler and S asaki metrics , Math. Ann. 379 (2021), no. 3-4, 1047--1088. 4238260
2021
-
[4]
V. Apostolov, D. M. J. Calderbank, and P. Gauduchon, The geometry of weakly self-dual K \"ahler surfaces , Compositio Math. 135 (2003), no. 3, 279--322. 1956815 (2004f:53045)
work page 2003
-
[5]
Vestislav Apostolov, David M. J. Calderbank, and Paul Gauduchon, Hamiltonian 2-forms in K \"ahler geometry. I . G eneral theory , J. Differential Geom. 73 (2006), no. 3, 359--412. 2228318 (2007b:53149)
2006
-
[6]
, Ambitoric geometry II : extremal toric surfaces and E instein 4-orbifolds , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 48 (2015), no. 5, 1075--1112. 3429476
work page 2015
-
[7]
, Ambitoric geometry I : E instein metrics and extremal ambik\"ahler structures , J. Reine Angew. Math. 721 (2016), 109--147. 3574879
work page 2016
-
[8]
V. Apostolov, D. M. J. Calderbank, P. Gauduchon, and C. W. T nnesen-Friedman, Hamiltonian 2 -forms in K \"ahler geometry. II . G lobal classification , J. Differential Geom. 68 (2004), no. 2, 277--345. 2144249
work page 2004
Show all 43 references
-
[9]
Vestislav Apostolov, David M. J. Calderbank, Paul Gauduchon, and Christina W. T nnesen-Friedman, Hamiltonian 2-forms in K \"ahler geometry. III . E xtremal metrics and stability , Invent. Math. 173 (2008), no. 3, 547--601. 2425136 (2009m:32043)
2008
-
[10]
Vestislav Apostolov, Simon Jubert, and Abdellah Lahdili, Weighted K -stability and coercivity with applications to extremal K \"ahler and S asaki metrics , Geom. Topol. 27 (2023), no. 8, 3229--3302. 4668097
2023
-
[11]
Vestislav Apostolov and Gideon Maschler, Conformally K \" a hler, E instein- M axwell geometry , J. Eur. Math. Soc. (JEMS) 21 (2019), no. 5, 1319--1360. 3941493
2019
-
[12]
T nnesen-Friedman, Weighted extremal K \" a hler metrics and the E instein- M axwell geometry of projective bundles , Comm
Vestislav Apostolov, Gideon Maschler, and Christina W. T nnesen-Friedman, Weighted extremal K \" a hler metrics and the E instein- M axwell geometry of projective bundles , Comm. Anal. Geom. 30 (2022), no. 4, 689--744. 4545849
2022
-
[13]
Vestislav Apostolov, The K \"ahler geometry of toric manifolds , preprint;arXiv:2208.12493 [math.DG] (2022)
2022 arXiv
-
[14]
Boyer and Krzysztof Galicki, A note on toric contact geometry, J
Charles P. Boyer and Krzysztof Galicki, A note on toric contact geometry, J. Geom. Phys. 35 (2000), no. 4, 288--298. 1780757 (2001h:53124)
2000
-
[15]
MR2382957 (2009c:53058)
, Sasakian geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2008. MR2382957 (2009c:53058)
2008
-
[16]
Boyer, Krzysztof Galicki, and Santiago R
Charles P. Boyer, Krzysztof Galicki, and Santiago R. Simanca, Canonical S asakian metrics , Commun. Math. Phys. 279 (2008), no. 3, 705--733. 2386725
2008
-
[17]
Boyer, Hongnian Huang, Eveline Legendre, and Christina W
Charles P. Boyer, Hongnian Huang, Eveline Legendre, and Christina W. T nnesen-Friedman, The E instein- H ilbert functional and the S asaki- F utaki invariant , Int. Math. Res. Not. IMRN (2017), no. 7, 1942--1974. 3658189
2017
-
[18]
, Reducibility in S asakian geometry , Trans. Amer. Math. Soc. 370 (2018), no. 10, 6825--6869. 3841834
2018
-
[19]
, Some open problems in S asaki geometry , Differential geometry in the large, London Math. Soc. Lecture Note Ser., vol. 463, Cambridge Univ. Press, Cambridge, 2021, pp. 143--168. 4420789
2021
-
[20]
, Existence and non-existence of constant scalar curvature and extremal S asaki metrics , Math. Z. 304 (2023), no. 4, Paper No. 61, 29. 4617164
2023
-
[21]
Boyer and Justin Pati, On the equivalence problem for toric contact structures on S^3 -bundles over S^2 , Pacific J
Charles P. Boyer and Justin Pati, On the equivalence problem for toric contact structures on S^3 -bundles over S^2 , Pacific J. Math. 267 (2014), no. 2, 277--324. 3207586
2014
-
[22]
R. L. Bryant, Bochner- K \"ahler metrics , J. Amer. Math. Soc. 14 (2001), no. 3, 623--715 (electronic). 1824987 (2002i:53096)
2001
-
[23]
Boyer and Christina W
Charles P. Boyer and Christina W. T nnesen-Friedman, Extremal S asakian geometry on S^3 -bundles over R iemann surfaces , Int. Math. Res. Not. IMRN (2014), no. 20, 5510--5562. 3271180
2014
-
[24]
, The S asaki join, H amiltonian 2-forms, and constant scalar curvature , J. Geom. Anal. 26 (2016), no. 2, 1023--1060. 3472828
2016
-
[25]
, Sasakian geometry on sphere bundles II : C onstant scalar curvature , Differential Geom. Appl. 96 (2024), Paper No. 102166, 23. 4761312
2024
-
[26]
W. M. Boothby and H. C. Wang, On contact manifolds, Ann. of Math. (2) 68 (1958), 721--734. 22 \#3015
1958
-
[27]
Calabi, Extremal K \"ahler metrics , Seminar on Differential Geometry, Ann
E. Calabi, Extremal K \"ahler metrics , Seminar on Differential Geometry, Ann. of Math. Stud., vol. 102, Princeton Univ. Press, Princeton, N.J., 1982, pp. 259--290. 83i:53088
1982
-
[28]
49 (1983), no
Andrzej Derdzi\' n ski, Self-dual K \" a hler manifolds and E instein manifolds of dimension four , Compositio Math. 49 (1983), no. 3, 405--433. 707181
1983
-
[29]
Akito Futaki and Hajime Ono, Volume minimization and conformally K \"ahler, E instein- M axwell geometry , J. Math. Soc. Japan 70 (2018), no. 4, 1493--1521. 3868215
2018
-
[30]
, Conformally E instein- M axwell K \"ahler metrics and structure of the automorphism group , Math. Z. 292 (2019), no. 1-2, 571--589. 3968916
2019
-
[31]
T nnesen-Friedman, Strongly H ermitian E instein- M axwell solutions on ruled surfaces , Ann
Caner Koca and Christina W. T nnesen-Friedman, Strongly H ermitian E instein- M axwell solutions on ruled surfaces , Ann. Global Anal. Geom. 50 (2016), no. 1, 29--46. 3521556
2016
-
[32]
Abdellah Lahdili, K\" a hler metrics with constant weighted scalar curvature and weighted K -stability , Proc. Lond. Math. Soc. (3) 119 (2019), no. 4, 1065--1114. 3964827
2019
-
[33]
Press, Oxford, 2010, pp
Claude LeBrun, The E instein- M axwell equations, extremal K \" a hler metrics, and S eiberg- W itten theory , The many facets of geometry, Oxford Univ. Press, Oxford, 2010, pp. 17--33. 2681684
2010
-
[34]
, The E instein- M axwell equations, K \" a hler metrics, and H ermitian geometry , J. Geom. Phys. 91 (2015), 163--171. 3327057
2015
-
[35]
, The E instein- M axwell equations and conformally K \" a hler geometry , Comm. Math. Phys. 344 (2016), no. 2, 621--653. 3500251
2016
-
[36]
1, 412--429
J.M Lee, The F efferman metric and pseudo- H ermitian invariants , Transactions of the American Mathematical Society (1986), no. 1, 412--429
1986
-
[37]
Eveline Legendre, Existence and non-uniqueness of constant scalar curvature toric S asaki metrics , Compos. Math. 147 (2011), no. 5, 1613--1634. 2834736
2011
-
[38]
Symplectic Geom
, Toric geometry of convex quadrilaterals, J. Symplectic Geom. 9 (2011), no. 3, 343--385. 2817779 (2012g:53079)
2011
-
[39]
Symplectic Geom
Eugene Lerman, Contact toric manifolds, J. Symplectic Geom. 1 (2003), no. 4, 785--828. 2039164
2003
-
[40]
Don Page, A compact rotating gravitational instanton, Phys. Lett. B (1978), 235--238
1978
-
[41]
Tanno, Variational problems on contact riemannian manifolds, Transactions of the American Mathematical Society (1989), no
S. Tanno, Variational problems on contact riemannian manifolds, Transactions of the American Mathematical Society (1989), no. 134, 349--379
1989
-
[42]
Reine Angew
Christina Wiis T nnesen-Friedman, Extremal K \"ahler metrics on minimal ruled surfaces , J. Reine Angew. Math. 502 (1998), 175--197. MR1647571 (99g:58026)
1998
-
[43]
Global Anal
Isaque Viza de Souza, Conformally K \"ahler, E instein- M axwell metrics on H irzebruch surfaces , Ann. Global Anal. Geom. 59 (2021), no. 2, 263--284. 4213767
2021
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.