Scalar-flat K\"ahler surfaces whose Weyl tensor annihilates the Ricci form
Pith reviewed 2026-05-08 03:05 UTC · model grok-4.3
The pith
Scalar-flat Kähler surfaces where the Weyl tensor annihilates the Ricci form are either Ricci-flat or locally products of surfaces with opposite constant curvatures.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We conjecture that any scalar-flat Kähler surface in which the Weyl tensor acting on 2-forms annihilates the Ricci form must be either Ricci-flat or locally isometric to a Riemannian product of two real surfaces with mutually opposite nonzero constant Gaussian curvatures. This amounts to the nonexistence of proper weakly Einstein anti-self-dual Kähler surfaces. We prove the above conjecture in three special cases: when the manifold is compact, when one of the Ricci eigendistributions is integrable, and when the norms of the Ricci and Weyl tensors are functionally dependent.
What carries the argument
The condition that the Weyl tensor acting on 2-forms annihilates the Ricci form on a scalar-flat Kähler surface.
If this is right
- Compact scalar-flat Kähler surfaces with the annihilation condition are Ricci-flat or such products.
- When a Ricci eigendistribution is integrable, the surface must satisfy the classification.
- Functional dependence between the norms of the Ricci and Weyl tensors forces the surface into one of the two forms.
- No proper weakly Einstein anti-self-dual Kähler surfaces exist under the conjecture.
- All such surfaces reduce to rigid geometries with constant curvatures or vanishing Ricci curvature.
Where Pith is reading between the lines
- The conjecture may extend to similar tensor conditions on non-scalar-flat Kähler manifolds or in higher dimensions.
- It points toward rigidity phenomena in Kähler geometry analogous to those for Einstein metrics.
- Counterexamples, if they exist, are most likely to appear in non-compact settings without integrability or norm dependence.
- The result could inform the deformation theory or moduli spaces of anti-self-dual Kähler structures.
Load-bearing premise
The general classification holds for every scalar-flat Kähler surface satisfying the annihilation condition, not just in the three special cases already proven.
What would settle it
An explicit example of a non-compact scalar-flat Kähler surface that is neither Ricci-flat nor locally a product of two surfaces with opposite constant Gaussian curvatures, yet has the Weyl tensor annihilating the Ricci form.
read the original abstract
We conjecture that any scalar-flat K\"ahler surface in which the Weyl tensor acting on 2-forms annihilates the Ricci form must be either Ricci-flat or locally isometric to a Riemannian product of two real surfaces with mutually opposite nonzero constant Gaussian curvatures. This amounts to the nonexistence of proper weakly Einstein anti-self-dual K\"ahler surfaces. We prove the above conjecture in three special cases: when the manifold is compact, when one of the Ricci eigendistributions is integrable, and when the norms of the Ricci and Weyl tensors are functionally dependent
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper conjectures that any scalar-flat Kähler surface in which the Weyl tensor acting on 2-forms annihilates the Ricci form must be either Ricci-flat or locally isometric to a Riemannian product of two real surfaces with mutually opposite nonzero constant Gaussian curvatures. This is equivalent to the nonexistence of proper weakly Einstein anti-self-dual Kähler surfaces. The authors prove the conjecture in three special cases: when the manifold is compact, when one of the Ricci eigendistributions is integrable, and when the norms of the Ricci and Weyl tensors are functionally dependent.
Significance. If the conjecture holds, it would classify all scalar-flat Kähler surfaces satisfying the Weyl-Ricci annihilation condition and rule out proper weakly Einstein anti-self-dual Kähler surfaces, advancing the understanding of curvature restrictions on Kähler manifolds. The rigorous proofs in the three special cases provide concrete support using standard properties of Kähler and Riemannian curvature tensors, with no free parameters, ad-hoc axioms, or invented entities.
major comments (2)
- [Introduction] Introduction: The central conjecture is presented as the main claim, but it is established only in three special cases (compactness, integrability of a Ricci eigendistribution, and functional dependence of ||Ric|| and ||W||) without a general argument, reduction, or exhaustion showing these cases cover all possibilities or ruling out counterexamples in the remaining regime.
- [Sections proving the three special cases] The anti-self-dual and weakly Einstein aspects are invoked in the special-case proofs but yield no general reduction to the proven regimes; the open case (non-compact manifolds with non-integrable eigendistributions and independent tensor norms) is not analyzed, which is load-bearing for the validity of the overall conjecture.
minor comments (1)
- [Preliminaries] The explicit formula for the action of the Weyl tensor on 2-forms could be stated in the preliminaries to clarify the annihilation condition.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the insightful comments. We are pleased that the significance of the results in the special cases is recognized. We address each major comment below, providing clarifications and indicating revisions where appropriate.
read point-by-point responses
-
Referee: [Introduction] Introduction: The central conjecture is presented as the main claim, but it is established only in three special cases (compactness, integrability of a Ricci eigendistribution, and functional dependence of ||Ric|| and ||W||) without a general argument, reduction, or exhaustion showing these cases cover all possibilities or ruling out counterexamples in the remaining regime.
Authors: The manuscript explicitly presents the statement as a conjecture rather than a proven theorem, and clearly states that it is proven only in the three special cases mentioned. There is indeed no general argument or reduction provided, as the general case remains open. To better align with the referee's observation, we will revise the introduction to emphasize that these special cases do not exhaust all possibilities and that counterexamples in the remaining regime are not ruled out. This will clarify the scope of our contribution. revision: yes
-
Referee: [Sections proving the three special cases] The anti-self-dual and weakly Einstein aspects are invoked in the special-case proofs but yield no general reduction to the proven regimes; the open case (non-compact manifolds with non-integrable eigendistributions and independent tensor norms) is not analyzed, which is load-bearing for the validity of the overall conjecture.
Authors: We agree that the anti-self-dual and weakly Einstein conditions, while central to the problem setup, do not provide a general reduction in the current work. The proofs in the special cases rely on these properties along with additional assumptions (compactness, integrability, or functional dependence). The open case is not analyzed because it is precisely the part of the conjecture that we have not been able to resolve. The manuscript does not claim to prove the conjecture in full generality, and we focus on the cases where we can obtain rigorous results using properties of Kähler and Riemannian curvature tensors. revision: no
- The general case of the conjecture for non-compact manifolds with non-integrable Ricci eigendistributions and functionally independent tensor norms, for which no proof or counterexample is provided.
Circularity Check
No circularity; derivation uses standard curvature identities without reduction to inputs
full rationale
The paper states a conjecture for scalar-flat Kähler surfaces under the Weyl-Ricci annihilation condition and proves it only in three special cases (compactness, integrable Ricci eigendistribution, functional dependence of ||Ric|| and ||W||) via direct analysis of the curvature tensors. No self-definitional relations, no parameters fitted to data then relabeled as predictions, and no load-bearing self-citations that presuppose the classification result. The proofs rely on the algebraic properties of the Weyl tensor acting on 2-forms and the Kähler condition, which are independent of the target statement.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The manifold is a scalar-flat Kähler surface.
- domain assumption The Weyl tensor acting on 2-forms annihilates the Ricci form.
Reference graph
Works this paper leans on
-
[1]
T. Arias-Marco and O. Kowalski,Classification of4-dimensional homogeneous weakly Ein- stein manifolds, Czechoslovak Math. J.65(140) (2015), no. 1, 21–59
work page 2015
-
[2]
S. Caeiro-Oliveira and R. Mari˜ no-Villar,An algebraic characterization of weakly-Einstein hypersurfaces in space forms, J. Geom. Phys.214(2025), art. 105530, 10 pp
work page 2025
-
[3]
Derdzinski,Einstein metrics in dimension four, Handbook of Differential Geometry, vol
A. Derdzinski,Einstein metrics in dimension four, Handbook of Differential Geometry, vol. I, pp. 419–707. North-Holland, Amsterdam (2000)
work page 2000
-
[4]
A. Derdzinski, Y. Euh, S. Kim and J. H. Park,On weakly Einstein K¨ ahler surfaces, Inter- nat. J. Math.36(2025), no. 14, art. 2550057, 23 pp
work page 2025
-
[5]
A. Derdzinski, J. H. Park, and W. Shin,Weakly Einstein curvature tensors, preprint, available from https:/ /arxiv.org/pdf/2504.18752
-
[6]
A. Derdzinski, J. H. Park and W. Shin,Weakly Einstein conformal products, preprint, avail- able from https:/ /arxiv.org/abs/2512.05173
-
[7]
A. Derdzinski, P. Piccione and I. Terek,Nijenhuis geometry of parallel tensors, Ann. Mat. Pura Appl. (4)204(2025), no. 4, 1381–1401
work page 2025
-
[8]
Y. Euh, J. H. Park and K. Sekigawa,A curvature identity on a4-dimensional Riemannian manifold, Results Math.63(2013), no. 1-2, 107–114
work page 2013
-
[9]
Y. Euh, J. H. Park and K. Sekigawa,A generalization of a4-dimensional Einstein manifold, Math. Slovaca63(2013), 595–610
work page 2013
-
[10]
E. Garc´ ıa-R´ ıo, A. Haji-Badali, R. Mari˜ no-Villar and M. E. V´ azquez-Abal,Locally conformally flat weakly-Einstein manifolds, Arch. Math. (Basel)111(2018), no. 5, 549–559
work page 2018
-
[11]
R. Mari˜ no-Villar,Structure of locally conformally flat manifolds satisfying some weakly-Ein- stein conditions, J. Geom Phys.186(2023), art. 104754, 8 pp
work page 2023
-
[12]
Tanno, 4-dimensional conformally flat Kahler manifolds, Tˆ ohoku Math
S. Tanno, 4-dimensional conformally flat Kahler manifolds, Tˆ ohoku Math. J.24(1972), no. 3, 501–504
work page 1972
-
[13]
Y. Wang and Y. Zhang,Weakly Einstein real hypersurfaces inCP 2 andCH 2,J. Geom. Phys. 181(2022), art. 104648, 11 pp. 1 Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA Email address:andrzej@math.ohio-state.edu 2 Department of Mathematics, Sungkyunkwan University, Suwon, 16419, Korea Email address:kimsinhwi@skku.edu, parkj@skku.edu
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.