REVIEW 3 major objections 5 minor 12 references
A negative K\"ahler-Einstein threefold with non-integrable infinitesimal Einstein deformations
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A canonically polarized threefold is built whose Kähler–Einstein metric has obstructed infinitesimal Einstein deformations.
desk verdict A genuine new counterexample—negative Kähler–Einstein threefold with non-integrable IED—but the Einstein side of the proof is imported wholesale from Nagy's unreviewed preprint, so the referee must verify that bridge. 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 construction is the equivariant quotient $X=(S\times C)/G$, where $S$ is a smooth projective surface with $K_S$ ample, $q(S)=0$, and $H^1(S,T_S)=\mathbb{C}\alpha$ with $[\alpha,\alpha]\neq 0$, while $C$ is an étale Galois cover of a genus-two curve $B$ with Galois group $G\cong(\mathbb{Z}/7)^4$ acting diagonally on $S\times C$. The action is free, so $X$ is smooth, and the descent lemma shows that pullback identifies $H^1(X,T_X)$ with the $G$-invariant part of the cohomology of $S\times C$, with the only nontrivial Kodaira–Spencer bracket coming from the surface factor. The bridge to Einstein geometry is a real-linear isomorphism between $H^1(X,T_X)$ and the space of infinitesimal Einstein deformations, together with the third-order Einstein equation of the cited preprint, which turns a nonzero primary complex obstruction into a third-order Einstein obstruction for the corresponding metric deformation.
What would settle it
Check whether the surface's deformation class $\alpha$ has a vanishing quadratic bracket in $H^2(S,T_S)$ or an explicit second-order lift in its Kuranishi space; if either happens, $[\alpha_X,\alpha_X]$ would vanish and the claimed non-integrability of both the complex and Einstein deformations would collapse. A direct computation of the third-order Einstein obstruction for the descended metric that returns zero would also disprove the claim.
Extended reading notes
Core claim
The central claim is Theorem 1.2: there exist a smooth projective threefold $X$, a class $\alpha_X\in H^1(X,T_X)$, and a Kähler–Einstein metric $g$ with $\mathrm{Ric}(g)=-g$ such that $K_X$ is ample, $X$ is not a product, $[\alpha_X,\alpha_X]\neq 0$ in $H^2(X,T_X)$, and the infinitesimal Einstein deformation corresponding to $\alpha_X$ under the standard real-linear isomorphism is non-integrable and obstructed at third Einstein order. More precisely, for a genus-two curve $B$ there is a decomposition $H^1(X,T_X)=\mathbb{C}\alpha_X\oplus H^1(B,T_B)$, and a class $\lambda\alpha_X+\beta$ is integrable as an infinitesimal complex deformation and as an infinitesimal Einstein deformation if and only if $\lambda=0$. Consequently the real vector space of infinitesimal Einstein deformations has dimension 8, the integrable directions form a real 6-dimensional subspace, and every direction outside that subspace is obstructed.
Load-bearing premise
The argument depends on the cited existence of a surface with exactly one first-order deformation direction whose self-bracket is nonzero, together with a faithful group action whose invariant subspace is the whole deformation space, and on the correctness of the third-order Einstein equation; if any of these fails, the threefold example does not exist.
Editorial extensions
If this is right
- A negative Kähler–Einstein metric in real dimension six can have non-integrable infinitesimal Einstein deformations, settling the generalized question for that dimension.
- The same example shows that an obstructed infinitesimal complex deformation can remain obstructed as an Einstein deformation, even though every infinitesimal Einstein deformation integrates to second Einstein order.
- Near this metric, the Einstein moduli space has an eight-dimensional tangent space of which only a six-dimensional subspace consists of integrable directions, so the moduli point is singular in a precise deformation-theoretic sense.
- Because $X$ is canonically polarized and not a product, the phenomenon is intrinsic to a compact manifold with ample canonical bundle and is not produced by taking products of lower-dimensional examples.
Reading between the lines
- A natural extension is to replace the base curve by a higher-dimensional base whose fundamental group surjects onto a nontrivial group, which would produce analogous obstructed examples in higher real dimensions by the same quotient mechanism.
- If a surface with an obstructed deformation space of dimension larger than one could be combined with a suitable free action, the resulting Einstein metrics would have an integrable infinitesimal Einstein deformation subspace of higher codimension, giving a family of moduli spaces with varying obstruction patterns.
- The construction suggests a general recipe: any rigid but not infinitesimally rigid surface with a faithful group action can be promoted to a non-product Kähler–Einstein manifold with obstructed deformations by taking a diagonal free quotient over a carefully chosen base curve.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a smooth projective threefold X as the diagonal quotient (S×C)/G, where S is the Böhning–Graf von Bothmer–Pignatelli surface with ample canonical bundle and H^1(S,T_S)=Cα, and C is a Galois cover of a genus-2 curve B with Galois group G=(Z/7)^4. It proves H^1(X,T_X)=Cα_X⊕H^1(B,T_B), that [λα_X+β,λα_X+β]≠0 whenever λ≠0, and hence that these directions are non-integrable infinitesimal complex deformations. Using Koiso's isomorphism and a third-order Einstein equation imported from Nagy [8], it concludes that the corresponding infinitesimal Einstein deformations are non-integrable and obstructed at third order, while the λ=0 directions are integrable. It also proves X is not biholomorphic to a product. The abstract states that this answers a suitably generalized version of the Dai–Wang–Wei question in real dimension 6.
Significance. Conditional on the imported results, the paper would give the first example in real dimension 6 of a negative Kähler–Einstein metric with a non-integrable infinitesimal Einstein deformation, and it exhibits a remarkably clean structure: an 8-dimensional real space of IEDs whose integrable directions form exactly a 6-dimensional subspace. The quotient construction in §2 is transparent, the descent and bracket computations in Lemma 2.2 are explicit and checkable, and the non-productness argument in §4.2 is self-contained. The paper introduces no free parameters and does not rely on any circular reasoning. Its main weakness is that the Einstein-obstruction half of the theorem rests on an unreviewed preprint, so the claimed unconditional answer to the question is not yet demonstrated within the manuscript itself.
major comments (3)
- [§3, Prop. 3.2 and Eq. (3.2)] The central Einstein-obstruction statement is a black-box import from the unpublished preprint [8]. Eq. (3.2) as printed, B(h_2−h_2)+[h,h]_c=0, has a self-cancelling first term and is either a typo or already implies [h,h]_c=0 as a form; in either case the actual third-order equation being used is not stated. The contradiction in Prop. 3.2 then depends on the assertion, also imported from [8, §2.2], that the complexification of the real class [h,h]_c is a nonzero universal scalar multiple of [ξ,ξ]. Neither the equation nor this proportionality is derived or checked in the present paper. Since Prop. 3.2 is the only bridge from the nonzero complex bracket to the Einstein obstruction, Theorem 1.2(iii) is not established unless the authors supply a proof of, or a detailed verification of, the needed third-order equation and the proportionality constant.
- [§2, Prop. 2.1] The construction inherits its only obstructed direction from the cited surface S of [2]. The invariance assertion H^1(S,T_S)^G=H^1(S,T_S) is essential: without it the diagonal quotient would lose the nonzero bracket and the whole theorem would collapse. The paper's justification is a chain of citations to [2, Cor. 5.4, Lem. 2.11, Thm. 5.5, Thm. 3.19, Cor. 2.13] with a compressed explanation. Because this is a load-bearing point, the authors should state the precise result they need as a lemma and either prove it or reproduce the verification from [2] in enough detail that the reader can check it without reconstructing the cited chain.
- [§3, Prop. 3.2] The proof of Prop. 3.2 asserts that the fixed-volume normalization imported from [8, Thm. 5.12] preserves the tangent vector h and that the Einstein constant is E to the required order. These assertions are not demonstrated in the manuscript. If the normalization involved a diffeomorphism with nontrivial first jet, or if the Einstein constant were not E at third order under this normalization, the identification of the direction κ_g(ξ) with the tangent to an actual Einstein curve could fail. The authors should either prove these normalization facts or state them as a lemma with a complete proof.
minor comments (5)
- [§3, Eq. (3.2)] The expression h_2−h_2 is identically zero; the equation should be corrected to display the actual second-order tensor and operator that appear in the third-order Einstein equation.
- [§2, Lemma 2.2] In the Künneth decomposition of H^2(S×C,T_{S×C}), the full formula should include the terms H^0(S,T_S)⊗H^2(C,T_C) and H^0(C,T_C)⊗H^2(S,T_S), which vanish because both H^0 spaces are zero; stating the full formula would avoid confusion.
- [§4.2] There is a misspelling: 'Schwann-Semmelmann' should be 'Schwahn–Semmelmann', both in the text and in the reference entry.
- [§2] The computation g(C)=1+7^4(2−1)=2402 is not used anywhere later; if it is kept for motivation, a one-line derivation from Riemann–Hurwitz would be helpful.
- [§1 and abstract] The notation 'dimRM̸ = 4' in the abstract and at the end of Question 1.1 is corrupted; it should read dim_R M ≠ 4.
Circularity Check
No circularity found: all load-bearing inputs are external theorems and computations, and the paper's own derivations are independent of its conclusions.
full rationale
The paper's central construction and claims do not reduce to any fitted input, self-citation, or definitional identity. The surface with H^1(S,TS)=C alpha and nonzero bracket is imported from Böhning, Graf von Bothmer, and Pignatelli [2], which is an external reference by different authors. The identification H^1(X,TX)=C alpha_X + H^1(B,TB), the invariance under the finite group, and the bracket formula (2.1) are proved directly from étale descent and the Künneth formula, not by assuming the theorem. Koiso's isomorphism (3.1) is an external classical result, and Nagy's third-order Einstein equation [8, Thm. 1.2(ii)(b)] is an external theorem used as a premise; reliance on an external result, even an unpublished preprint, is a correctness or verification risk, not circularity. The proof of Proposition 3.2 combines the external third-order equation with the independently computed nonzero bracket to derive the contradiction; it does not rename an input as a prediction. There are also no instances of the paper citing its own prior work as the sole justification for a load-bearing step: the author's name does not appear in the bibliography. The non-productness argument is self-contained once K_X ampleness and the monodromy of the fibration are established. In sum, the derivation chain is externally grounded and each step is either a direct computation or an application of cited results whose assumptions do not include the target theorem. No circularity is present; the natural caveat is that Theorem 1.2 inherits the correctness of the cited external results, especially Nagy's preprint and the Böhning-Graf von Bothmer-Pignatelli existence theorem.
Assumptions & free parameters
assumptions (5)
- domain assumption There exists a smooth projective surface S with K_S ample, q(S)=0, H^1(S,TS)=C alpha, [alpha,alpha] != 0, and a faithful action of G=(Z/7)^4 with H^1(S,TS)^G = H^1(S,TS).
- domain assumption Nagy's third-order Einstein equation and the identification of the real Kodaira-Spencer bracket with a nonzero universal scalar multiple of the complex bracket under Koiso's isomorphism.
- domain assumption Koiso's real-linear isomorphism between H^1(M,TM)_R and the space of infinitesimal Einstein deformations for a compact negative Kähler-Einstein manifold.
- standard math Riemann existence theorem produces the finite étale Galois cover C -> B with Galois group G.
- standard math Aubin-Yau theorem produces the normalized negative Kähler-Einstein metrics on S and C.
Cite this review
Pith. "Pith review of A negative K\"ahler-Einstein threefold with non-integrable infinitesimal Einstein deformations." pith.science (2026). https://pith.science/paper/EYX4ZAYH
@misc{pith2026260813481,
author = {Pith},
title = {Pith review of: A negative K\"ahler-Einstein threefold with non-integrable infinitesimal Einstein deformations},
year = {2026},
howpublished = {\url{https://pith.science/paper/EYX4ZAYH}},
note = {Machine review of arXiv:2608.13481}
}
read the original abstract
We construct a smooth canonically polarized threefold, not biholomorphic to a product of positive-dimensional varieties, whose normalized K\"ahler-Einstein metric admits a non-integrable infinitesimal Einstein deformation. The same tangent direction is non-integrable as an infinitesimal complex deformation. In fact, the space of infinitesimal Einstein deformations in our example has real dimension 8, its integrable directions form a real 6-dimensional subspace, and every direction outside that subspace is obstructed. This answers both parts of a suitably generalized version of a question posed by Dai, Wang, and Wei in real dimension 6.
Reference graph
Works this paper leans on
-
[8]
Third order Einstein deformations for Kaehler-Einstein metrics
P.-A. Nagy,Third order Einstein deformations for Kähler-Einstein metrics, preprint, arXiv:2606.04501v1 (2026)
work page Pith review arXiv 2026
-
[2]
C. Böhning, H.-C. Graf von Bothmer, and R. Pignatelli,A rigid, not infinitesimally rigid surface withK ample, Boll. Unione Mat. Ital.15(2022), 57-85
work page 2022
-
[1]
Aubin,Équations du type Monge-Ampère sur les variétés kählériennes compactes, Bull
T. Aubin,Équations du type Monge-Ampère sur les variétés kählériennes compactes, Bull. Sci. Math.102(1978), 63-95
work page 1978
-
[3]
X. Dai, X. Wang, and G. Wei,On the variational stability of Kähler-Einstein metrics, Comm. Anal. Geom.15 (2007), 669-693
work page 2007
-
[4]
K. Kodaira,Complex Manifolds and Deformation of Complex Structures, Grundlehren der mathematischen Wissenschaften283, Springer, 1986
work page 1986
-
[5]
Koiso,Einstein metrics and complex structures, Invent
N. Koiso,Einstein metrics and complex structures, Invent. Math.73(1983), 71-106
work page 1983
-
[6]
Kuranishi,New proof for the existence of locally complete families of complex structures, in: Proc
M. Kuranishi,New proof for the existence of locally complete families of complex structures, in: Proc. Conf. Complex Analysis (Minneapolis, 1964), Springer, 1965, pp. 142-154. NON-INTEGRABLE EINSTEIN DEFORMATIONS 7
work page 1964
-
[7]
Manetti,Lectures on deformations of complex manifolds, Rend
M. Manetti,Lectures on deformations of complex manifolds, Rend. Mat. Appl. (7)24(2004), 1-183
work page 2004
Show all 12 references
-
[9]
Nagy and U
P.-A. Nagy and U. Semmelmann,Second order Einstein deformations, J. Math. Soc. Japan77(2025), no. 2, 345-389
2025
-
[10]
Schwahn and U
P. Schwahn and U. Semmelmann,Einstein metrics, their moduli spaces and stability, preprint, arXiv:2507.18463v3 (2026)
2026 arXiv
-
[11]
Sernesi,Deformations of Algebraic Schemes, Grundlehren der mathematischen Wissenschaften334, Springer, 2006
E. Sernesi,Deformations of Algebraic Schemes, Grundlehren der mathematischen Wissenschaften334, Springer, 2006
2006
-
[12]
Yau,On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation, I, Comm
S.-T. Yau,On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation, I, Comm. Pure Appl. Math.31(1978), 339-411. Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138, USA
1978
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.