Pith. sign in

REVIEW 3 minor 1 cited by

Third order Einstein deformations for Kaehler-Einstein metrics

T0 review · 0 major / 3 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For Kähler-Einstein metrics with negative scalar curvature, third-order Einstein deformations reduce to Maurer-Cartan equations and polynomial identities after gauge fixing.

desk verdict The paper explicitly reduces the third-order Einstein deformation equations for negative KE metrics to Maurer-Cartan equations plus polynomial identities after gauge fixing. read the letter →

arxiv 2606.04501 v1 pith:RY4ANMW7 submitted 2026-06-03 math.DG

Paul-Andi Nagy This is my paper · ORCID
classification math.DG
keywords EinsteindeformationsKähler-Einsteinmetricsthird-orderobstructionsMaurer-CartanequationsCayleytransformmetricexpansionsnegativescalarcurvaturecompactmanifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper investigates whether a given Kähler-Einstein metric on a compact manifold with negative scalar curvature can be deformed into nearby Einstein metrics without assuming the deformations preserve the Kähler property. It computes the conditions for the deformed metric to remain Einstein through third order by expanding the metric and setting the first three derivatives of the Ricci tensor to zero at the initial time. These conditions are solved explicitly in terms of the expansion coefficients h1, h2, h3. A sympathetic reader would care because the resulting obstructions give concrete algebraic tests that clarify when such deformations can exist locally and set the stage for examining higher-order or infinite deformations.

What carries the argument

The Taylor expansion g^{-1} g_t = id + t h1 + (t^2/2!) h2 + (t^3/3!) h3 + o(t^4) together with the derived Maurer-Cartan equations and polynomial relations obtained by substituting into the Einstein condition order by order.

What would settle it

An explicit computation on a model space such as complex hyperbolic space that produces a choice of h1, h2, h3 satisfying the vanishing of the first three Ricci derivatives but violating the stated Maurer-Cartan equations and polynomial identities.

Watch

Extended reading notes

Core claim

Up to a suitable gauge transformation, the vanishing of the first three derivatives of the Ricci curvature along a curve of metrics starting at a Kähler-Einstein metric is equivalent to the coefficients h1, h2, h3 in the Taylor expansion of g^{-1} g_t satisfying Maurer-Cartan type equations together with polynomial identities relating them. The result is interpreted using the Cayley transform of the metric to connect to the complex geometry of the manifold, and this pattern suggests conjectures for the higher-order Einstein deformation problem.

Load-bearing premise

The starting metric is Kähler-Einstein with negative scalar curvature on a compact manifold, and the deformation analysis proceeds without requiring the deformed metrics to remain Kähler.

Editorial extensions

If this is right

  • Any third-order Einstein deformation must satisfy the Maurer-Cartan equations and polynomial relations among h1, h2, h3 after gauge fixing.
  • The obstructions are fully explicit algebraic conditions on the symmetric two-tensors appearing in the metric expansion.
  • The Cayley transform converts these conditions into statements expressed using the underlying complex structure of the manifold.
  • The same pattern of equations and identities is expected to govern the higher-order terms in the deformation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the relations hold to every order, the deformation may extend to a convergent power series of Einstein metrics.
  • The expansion technique could be applied to study deformations of Einstein metrics on non-Kähler manifolds.
  • Direct verification on explicit examples would confirm whether the derived polynomial identities are satisfied in known cases.
  • The polynomial relations might connect to stability criteria for Kähler-Einstein metrics under general metric perturbations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper claims to explicitly solve the Einstein equation Ric(g_t)=λ g_t order-by-order up to t^3 for small deformations g_t of a compact Kähler-Einstein metric g with negative scalar curvature on M. Starting from the Taylor expansion g^{-1}g_t = id + t h_1 + (t^2/2!) h_2 + (t^3/3!) h_3 + o(t^4), it determines the conditions (Ric^{g_t})^{(k)}(0)=0 for k=1,2,3 in the space of all Riemannian metrics (no Kähler assumption on g_t or fixed J). After a suitable gauge transformation, the obstructions reduce to Maurer-Cartan type equations together with polynomial identities relating the coefficients h_3, h_2, h_1. The result is interpreted via the Cayley transform of g, and conjectures for higher-order deformations are formulated.

Significance. If the explicit computations hold, the manuscript supplies a concrete algebraic description of the third-order integrability conditions for Einstein deformations near a negative KE metric in the full space of Riemannian metrics. The reduction to Maurer-Cartan equations after gauge fixing is a strength, as it connects the problem to standard techniques in deformation theory. The decision to work without assuming the deformed metrics remain Kähler with respect to the fixed complex structure is general and potentially useful for studying the local structure of the Einstein moduli space. The Cayley-transform interpretation provides a bridge to the underlying complex geometry and supports the formulation of higher-order conjectures.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'No asssumption' contains a typographical error and should read 'No assumption'.
  2. [Abstract] The precise form of the gauge transformation that reduces the third-order equations to Maurer-Cartan type is stated only at a high level; a brief indication of the gauge-fixing condition (e.g., divergence-free or trace-free with respect to g) in the main text would improve readability.
  3. [Abstract] The expansion is written with factorial denominators (t^k / k!); it would help to clarify whether this convention arises from the exponential map on the space of metrics or is chosen purely for notational convenience.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our explicit third-order computations and the significance of the reduction to Maurer-Cartan equations via gauge fixing and the Cayley transform. The recommendation of minor revision is noted. However, the report contains no specific major comments requiring response or revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper performs an explicit order-by-order expansion of the Einstein equation Ric(g_t) = λ g_t for a curve of metrics starting from a Kähler-Einstein background, solving the resulting PDEs up to t^3 after gauge fixing. This reduces to Maurer-Cartan equations and algebraic relations among the tensors h1,h2,h3 by direct computation in the space of all Riemannian metrics. No parameter fitting, self-referential definitions, or load-bearing self-citations appear in the stated derivation chain; the reduction follows from the standard linearised Lichnerowicz operator and the explicit Taylor expansion of the metric and curvature tensors. The result is therefore self-contained against the input data and assumptions.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The work rests on standard axioms of Riemannian and Kähler geometry (Ricci tensor defined via curvature, Einstein condition Ric = lambda g, existence of Kähler form compatible with J) together with the assumption that the initial metric has negative scalar curvature; no free parameters or invented entities are introduced in the abstract.

assumptions (2)
  • standard math The Ricci curvature tensor is defined from the Levi-Civita connection of the metric in the usual way.
    Invoked implicitly when the Einstein condition Ric^{g_t} = lambda g_t is expanded order by order.
  • domain assumption The manifold is compact and the initial metric is Kähler-Einstein with negative scalar curvature.
    Stated in the opening sentence of the abstract as the setting for the deformation problem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Third order Einstein deformations for Kaehler-Einstein metrics." pith.science (2026). https://pith.science/paper/RY4ANMW7

@misc{pith2026260604501,
  author       = {Pith},
  title        = {Pith review of: Third order Einstein deformations for Kaehler-Einstein metrics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RY4ANMW7}},
  note         = {Machine review of arXiv:2606.04501}
}
abstract

For compact K\"ahler manifolds $(M,g,J)$ with negative scalar curvature we study the existence problem for non-trivial Einstein deformations of $g$, that is small time curves $g_t$ of Einstein metrics with $g_0=g$. No asssumption on the complex structure $J$ is made; also we do not assume that the metrics $g_t$ are K\"ahler w.r.t. $J$. We determine explicitly the obstruction to third order Einstein deformation for $g$; that is we fully solve the equations $(\Ric^{g_t})^{(k)}(0)=0$ for $1 \leq k \le 3$ in terms of the Taylor expansion $g^{-1}g_t=\id+th_1+\tfrac{t^2}{2!}h_2+\tfrac{t^3}{3!}h_3+o(t^4)$ at $t=0$. Up to a suitable gauge transformation we show that third order integrability for the Einstein equation amounts to Maurer-Cartan type equations and polynomial identities relating the coefficients $h_3,h_2,h_1$. This result is interpreted in terms of the underlying complex geometry of $M$ by means of the Cayley transform of the metric $g$; the Cayley transform is also used for formulating conjectures for the higher order Einstein deformation problem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A negative K\"ahler-Einstein threefold with non-integrable infinitesimal Einstein deformations

    math.DG 2026-08 accept novelty 6.0 of 10

    A smooth non-product canonically polarized threefold is constructed whose Kähler-Einstein metric has an 8-dimensional space of infinitesimal Einstein deformations, with exactly a 6-dimensional integrable subspace.

Reference graph

Works this paper leans on

23 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    Math.16 (2012), 713–744

    B.Alexandrov, Uwe Semmelmann,Deformations of nearly parallelG 2-structures, Asian J. Math.16 (2012), 713–744

    2012

  2. [2]

    Wafaˆ a Batat, Stuart James Hall, Thomas Murphy, James Waldron,Rigidity ofSU n-type symmetric spaces, Int. Math. Res. Not. IMRN 2024, no. 3, 2066–2098

    2024

  3. [3]

    A.Besse,Einstein manifolds, Classics in Mathematics, Springer-Verlag, Berlin, 2008

    2008

  4. [4]

    Math.63(1981), no

    Jean-Pierre Bourguignon,Les varietes de dimension 4 a signature non nulle dont la courbure est har- monique sont d’Einstein, Invent. Math.63(1981), no. 2, 263–286

    1981

  5. [5]

    Xianzhe Dai, Xiaodong Wang, Guofang Wei,On the variational stability of K¨ ahler-Einstein metrics, Comm. Anal. Geom.15(2007), no. 4, 669–693

    2007

  6. [6]

    Geom.13(2013), no

    P.de Bartolomeis, V.Matveev,Some remarks on Nijenhuis bracket, formality, and K¨ ahler manifolds, Adv. Geom.13(2013), no. 4, 571–581

    2013

  7. [7]

    Stuart James Hall, Paul Schwahn, Uwe Semmelmann,On the rigidity of the complex Grassmannians, Trans. Amer. Math. Soc.378(2025), no. 6, 4335–4367

    2025

  8. [8]

    Konstantin Heil, Andrei Moroianu, Uwe Semmelmann,Killing and conformal Killing tensors, J. Geom. Phys.106(2016), 383–400

    2016

Show all 23 references
  1. [9]

    Horikawa,Algebraic surfaces of general type with smallc 2 1,I, Ann

    E. Horikawa,Algebraic surfaces of general type with smallc 2 1,I, Ann. Math.104(1976) (2), 357–387

    1976

  2. [10]

    An introduction, Universitext, Springer-Verlag, Berlin, 2005

    Daniel Huybrechts,Complex Geometry. An introduction, Universitext, Springer-Verlag, Berlin, 2005

    2005

  3. [11]

    J.19(1982), 643–668

    Norihito Koiso,Rigidity and deformability of Einstein metrics, Osaka Math. J.19(1982), 643–668

    1982

  4. [12]

    Math.73(1983), no

    Norihito Koiso,Einstein metrics and complex structures, Invent. Math.73(1983), no. 1, 71–106

    1983

  5. [13]

    Ivan Kol´ ar, Peter Michor, Jan Slov´ ak,Natural operations in differential geometry, Springer-Verlag, Berlin, 1993

    1993

  6. [14]

    LeBrun,Einstein metrics and Mostow rigidity, Math

    C. LeBrun,Einstein metrics and Mostow rigidity, Math. Res. Lett.2(1995), 1–8

    1995

  7. [15]

    LeBrun,Einstein metrics and the Yamabe problem, in: Trends in Mathematical Physics, Studies in Adv

    C. LeBrun,Einstein metrics and the Yamabe problem, in: Trends in Mathematical Physics, Studies in Adv. Math. 13, AMS/IP (1999)

    1999

  8. [16]

    Andrei Moroianu, Paul-Andi Nagy, Uwe Semmelmann,Deformations of nearly-K¨ ahler structures, Pacific Journal of Mathematics235(2008), no.1, 57–72

    2008

  9. [17]

    (2)104 (2021), 1795–1811

    Paul-Andi Nagy, Uwe Semmelmann,Deformations of nearlyG 2-structures, J.London Math.Soc. (2)104 (2021), 1795–1811

    2021

  10. [18]

    Paul-Andi Nagy, Uwe Semmelmann,TheG 2 geometry of 3-Sasaki structures, J. Geom. Anal.34(2024), no. 2, Paper No. 61, 53 pp

    2024

  11. [19]

    Paul-Andi Nagy, Uwe Semmelmann,Second order Einstein deformations, J. Math. Soc. Japan77(2025), no. 2, 345–389

    2025

  12. [20]

    Paul-Andi Nagy,Einstein deformations of K¨ ahler-Einstein metrics,https://arxiv.org/abs/2603. 09028

  13. [21]

    Gang Tian,Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric, Mathematical aspects of string theory (San Diego, Calif., 1986), 629–646, Adv. Ser. Math. Phys., 1, World Sci. Publishing, Singapore, 1987

    1986

  14. [22]

    Todorov,The Weil-Petersson geometry of the moduli space ofSUpně3q(Calabi-Yau) manifolds

    Andrey N. Todorov,The Weil-Petersson geometry of the moduli space ofSUpně3q(Calabi-Yau) manifolds. I., Comm. Math. Phys. 126 (1989), no. 2, 325–346

    1989

  15. [23]

    org/pdf/2507.18463

    Paul Schwahn, Uwe Semmelmann,Einstein metrics, their moduli spaces and stability,https://arxiv. org/pdf/2507.18463. (Paul-Andi Nagy)Center for Complex Geometry, Institute for Basic Science(IBS), 55 Expo- ro, Yuseong-gu, 34126 Daejeon, South Korea

    arXiv

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.