Chern number identities on compact complex surfaces and applications

Xiaokui Yang

Chern number identities on compact complex surfaces and applications

T0 review · 2 major / 0 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read A new proof that constant scalar curvature plus non-positive complexified Ricci forces a four-manifold to be Kähler.

desk verdict Abstract-only submission with a clean, plausible main theorem; the proof is unreviewable, but the non-Kähler case is exactly what a referee should pressure. read the letter →

arxiv 2508.11171 v1 pith:UHJB3HTK submitted 2025-08-15 math.DG

Xiaokui Yang This is my paper · ORCID

classification math.DG MSC 53C5532Q1553C25

keywords ChernnumberidentitiescompactcomplexsurfacesKählersurfaceconstantscalarcurvaturecomplexifiedRiccifour-manifoldsnon-Kählerrigidity

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 establishes Chern number identities on compact complex surfaces and uses them to prove a rigidity result: if a compact four-manifold admits a constant scalar curvature metric and a compatible complex structure whose complexified Ricci curvature is a non-positive (1,1) form, then the manifold must be a Kähler surface. If correct, this gives a curvature-based criterion that rules out non-Kähler complex structures under these metric assumptions. The identities themselves are the new foundation, and they are stated broadly for compact complex surfaces, including potentially non-Kähler ones.

What carries the argument

Chern number identities on compact complex surfaces: relations among the Chern classes (equivalently, Chern numbers) that hold for all compact complex surfaces. These identities are the load-bearing mechanism because they turn the curvature assumptions into topological constraints that exclude non-Kähler surfaces.

What would settle it

Exhibit a compact non-Kähler complex surface with a constant scalar curvature compatible Riemannian metric whose complexified Ricci curvature is a non-positive $(1,1)$ form; alternatively, show that the Chern number identities fail on a known non-Kähler surface such as a Hopf surface or a class VII surface.

Watch

Extended reading notes

Core claim

The central claim is the application stated in the abstract: on a compact Riemannian four-manifold $(M,g)$ with constant scalar curvature, if $J$ is a compatible complex structure and the complexified Ricci curvature is a non-positive $(1,1)$ form, then $M$ is a Kähler surface. The proof is carried by new Chern number identities that hold on compact complex surfaces, which constrain the topology in a way that forces Kählerity under the given curvature conditions.

Load-bearing premise

The proof depends on the Chern number identities holding for every compact complex surface in the relevant class, including non-Kähler surfaces; if any non-Kähler surface escapes the identities, the theorem cannot rule it out.

Editorial extensions

If this is right

If the theorem holds, any compact four-manifold satisfying the stated curvature and complex-structure conditions is Kähler, hence admits a symplectic form compatible with $J$.
The result sharpens the gap between Kähler and non-Kähler surfaces by showing that constant scalar curvature plus a non-positive complexified Ricci sign is incompatible with non-Kählerity.
The Chern number identities provide new topological restrictions on compact complex surfaces, which may obstruct the existence of constant scalar curvature metrics on many non-Kähler surfaces.
The theorem offers a concrete curvature condition that a geometer can check on a given four-manifold to decide whether its complex structure must be Kähler, without first classifying the surface.

Reading between the lines

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

The scalar curvature being constant may not be strictly necessary; a natural test is whether the conclusion survives when constant scalar curvature is replaced by a weaker pointwise bound, though the paper does not address this.
The identities could yield obstructions to the existence of compatible complex structures on four-manifolds with constant scalar curvature, connecting to broader questions about which manifolds admit Kähler structures.
A concrete check would be to test the Chern number identities on known non-Kähler surfaces such as Hopf surfaces or class VII surfaces; if the identities fail there, the theorem would need to invoke extra assumptions to exclude them.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You asked for a read on arXiv:2508.11171. I only have the abstract, so anything I say beyond that is provisional. The headline: this is a short, clean claim – new Chern number identities on compact complex surfaces, and as an application, a Kählerity criterion. The theorem reads: constant scalar curvature plus a compatible complex structure whose complexified Ricci form is non-positive forces Kähler. That's a nice addition to the Kählerity-detection program, and it's plausibly new, though I can't verify novelty without the bibliography.

What the paper does well, as far as I can see, is state a crisp hypothesis with a strong conclusion. No vague terms, no obvious hand-waving in the statement. The author is known, so the result deserves the benefit of the doubt until proved otherwise.

The soft spots are the obvious ones. No proof, no lemma structure, no statement of the identities. The stress-test note is right to focus on the non-Kähler classes: Chern number identities alone cannot distinguish Kodaira surfaces from Kähler surfaces, since both can have c1^2 = c2 = 0. So the real work must come from the curvature hypothesis. That's not a flaw in the abstract – it's a warning to the referee. The proof has to rule out class VII and other non-Kähler surfaces substantively, not by topological coincidence.

Another gap: the abstract doesn't position the result relative to the Goldberg conjecture lineage or existing Chern number relations. Without the references, I can't judge overlap. That's a mild concern, not a red flag.

My recommendation: send it to peer review. The claim is significant enough, and the author's track record is solid. A referee should demand a detailed check of the non-Kähler cases and a clear statement of where the curvature hypothesis enters. If the proof delivers, this is a nice paper. If it silently assumes Kähler or Fujiki class C, it collapses. The abstract alone can't reveal that.

Would I cite it in the next year? Only after the full proof lands. Would I bring it to reading group? Maybe, but more as a test of how much we can infer from an abstract. It's a borderline desk-accept, exactly the kind of paper that needs a careful referee.

Net: worth engaging with. If the theorem is true, it's a clean result. If not, the referee will catch it. Don't desk-reject.

Referee Report

2 major / 0 minor

Summary. The paper, based on its abstract, claims two things: (i) new Chern number identities hold on compact complex surfaces, and (ii) as an application, a compact Riemannian four-manifold with constant scalar curvature that carries a compatible complex structure with non-positive complexified Ricci (1,1)-form must be Kähler. The abstract announces these results but provides no statement of the identities, no derivation, no proof structure, and no indication of which classification tools are used.

Significance. If the main theorem is correct, it would be a notable curvature criterion for Kähler surfaces, connecting Riemannian four-manifold geometry with complex surface classification. The claimed application is strong and falsifiable, and a genuine proof would be of interest to differential and complex geometry audiences. However, the significance is entirely conditional: the submitted material contains no mathematical content beyond the assertions, so the result cannot currently be verified.

major comments (2)

[Abstract] The central claim is asserted with no supporting proof content. There are no statements of the Chern number identities, no lemmas, no derivation sketch, and no explanation of how the curvature hypotheses are used. A referee cannot check the main theorem without this material. This is the primary load-bearing absence.
[Abstract, application] The application must rule out all non-Kähler surfaces, including Kodaira surfaces (which satisfy c1^2 = c2 = 0) and class VII surfaces. Chern number identities alone cannot distinguish Kähler from non-Kähler in general. The abstract does not state whether the identity derivation or the application implicitly assumes Kähler, Fujiki class C, or the ∂∂-lemma. If any of these enter, the theorem would not cover the non-Kähler cases it claims to exclude. This scope gap is load-bearing because the novelty likely rests on excluding those cases.

Circularity Check

0 steps flagged · score 0.0 of 10

No detectable circularity in abstract-only review

full rationale

The available material is only the abstract, which states that Chern number identities are established on compact complex surfaces and then uses them, together with curvature hypotheses, to conclude that a certain four-manifold is Kähler. There are no displayed equations, no definitions, no fitted parameters, and no citations to self or others. The circularity failure modes enumerated in the instructions all require exhibiting a specific reduction: a parameter defined in terms of the predicted quantity, a fitted input renamed as a prediction, a load-bearing self-citation, or an ansatz imported from prior work. None of these can be identified from the abstract alone. The skeptic's concern—that the theorem must genuinely cover non-Kähler surfaces and cannot follow from Chern number identities alone—is a possible gap in the proof or a challenge to the strength of the curvature hypotheses, but it is not an instance of circular reasoning. Without the full derivation, no step can be quoted as reducing to its own input. The honest finding is therefore no significant circularity, score 0.

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

Abstract-only audit: no free parameters or invented entities are introduced in the reviewable material. The listed axioms are the standard background a proof in this area would invoke: Chern-Weil theory for Chern classes on complex surfaces, and the Enriques-Kodaira classification, which the Kählerity application plausibly needs. The heaviest unstated dependency, the exact scope of the new Chern number identities across non-Kähler classes, cannot be resolved without the full text.

assumptions (2)

standard math Chern-Weil theory: Chern classes and Chern numbers of compact complex surfaces are defined and computed via curvature integrals
The Chern number identities are statements about Chern classes; this is standard background in complex differential geometry.
domain assumption Enriques-Kodaira classification of compact complex surfaces (assumed available for the application)
The Kählerity conclusion is likely reached by checking curvature hypotheses against the known non-Kähler classes; the abstract does not disclose whether classification is used, but any such argument depends on it.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Chern number identities on compact complex surfaces and applications." pith.science (2026). https://pith.science/paper/UHJB3HTK

@misc{pith2026250811171,
  author       = {Pith},
  title        = {Pith review of: Chern number identities on compact complex surfaces and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UHJB3HTK}},
  note         = {Machine review of arXiv:2508.11171}
}

abstract

In this paper, we establish Chern number identities on compact complex surfaces. As an application, we prove that if $(M,g)$ is a compact Riemannian four-manifold with constant scalar curvature and admits a compatible complex structure $J$ such that the complexified Ricci curvature is a non-positive $(1,1)$ form, then $M$ is a K\"ahler surface.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

First eigenvalue estimates on complete balanced Hermitian manifolds
math.DG 2025-11 conditional novelty 6.5 of 10

On complete balanced Hermitian manifolds, curvature lower bounds for the Strominger–Bismut connection imply eigenvalue lower bounds of Lichnerowicz–Obata, Li–Yau, and Zhong–Yang type.
K\"ahlerness of compact Hermitian surfaces under semi-definite Strominger-Bismut-Ricci curvatures
math.DG 2025-10 conditional novelty 6.0 of 10

Compact Hermitian surfaces with semi-definite Strominger–Bismut-Ricci curvature and vanishing (2,0)-Ricci (or parallel torsion) must be Kähler; a third set of results is conditional on an unproven constant.

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.