K\"ahler-Einstein metrics of negative curvature

Henri Guenancia; Ursula Hamenst\"adt

arxiv: 2503.02838 · v3 · submitted 2025-03-04 · 🧮 math.DG · math.CV

K\"ahler-Einstein metrics of negative curvature

Henri Guenancia , Ursula Hamenst\"adt This is my paper

Pith reviewed 2026-05-23 01:06 UTC · model grok-4.3

classification 🧮 math.DG math.CV

keywords Kähler-Einstein metricsnegative sectional curvatureball quotientscomplex manifoldsKähler geometrynegative curvaturecompact manifolds

0 comments

The pith

Compact Kähler-Einstein manifolds with negative sectional curvature exist in every dimension and need not be covered by the ball.

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

The authors construct, for every integer n at least 2, a compact complex manifold of dimension n that admits a Kähler-Einstein metric with strictly negative sectional curvature. This manifold is not a quotient of the complex ball. Such examples show that negative curvature in the Kähler-Einstein setting is possible without the manifold being covered by the ball. This matters because it indicates a broader range of geometries satisfying these curvature conditions than previously known examples suggested.

Core claim

For any integer n greater than or equal to 2, there is a compact Kähler-Einstein manifold of dimension n with negative sectional curvature that is not covered by the ball.

What carries the argument

the construction of a compact manifold carrying a Kähler-Einstein metric of negative sectional curvature whose universal cover differs from the complex ball

Load-bearing premise

The construction requires the existence of a suitable complex structure on a compact manifold supporting a Kähler-Einstein metric with negative sectional curvature that is not a ball quotient.

What would settle it

Verifying whether the constructed manifold in low dimensions actually has everywhere negative sectional curvature or confirming if its universal cover is indeed not the ball would test the claim.

read the original abstract

Given any integer $n\geq 2$, we construct a compact K\"ahler-Einstein manifold of dimension n of negative sectional curvature which is not covered by the ball.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The abstract claims a construction of compact KE manifolds with negative sectional curvature in every dimension n≥2 that are not ball quotients, but supplies zero details on how it is done.

read the letter

The paper claims to construct, for any integer n≥2, a compact Kähler-Einstein manifold of dimension n with negative sectional curvature that is not covered by the ball. If the construction holds, this would supply new examples beyond the usual ball quotients that dominate the known cases. The statement is clean and aims at a uniform result across all dimensions, which is a reasonable goal in this area. The paper does well to frame the result as dimension-independent rather than case-by-case. The main soft spot is that the abstract contains only the existence claim with no sketch of the manifold, no description of the complex structure, no outline of the metric construction, and no indication of how negative sectional curvature or the non-ball property is verified. Soundness cannot be assessed at all from what is given. No equations or reductions appear, so there is no visible circularity or fitting issue to flag. This work is aimed at specialists in Kähler geometry and complex manifolds with negative curvature. A reader tracking existence results for KE metrics with strict negativity would want to see the full argument to judge whether genuinely new examples are produced. It deserves a serious referee because the claim, if correct, would matter for the subject even if the details require substantial checking and possible revision. I recommend sending it to peer review so experts can examine the actual construction.

Referee Report

1 major / 0 minor

Summary. The paper claims that for any integer n ≥ 2, there exists a compact Kähler-Einstein manifold of complex dimension n with negative sectional curvature that is not covered by the unit ball in ℂ^n.

Significance. If the claimed construction can be verified, the result would be significant in Kähler geometry: it would furnish explicit examples of compact KE manifolds with negative sectional curvature outside the class of ball quotients, thereby showing that negative curvature is not rigidly tied to uniformization by the ball and supplying new test cases for questions about rigidity, moduli, and curvature bounds in higher-dimensional complex geometry.

major comments (1)

[Abstract] Abstract (and entire manuscript): the central existence claim is stated but the manuscript supplies neither the complex structure, the Kähler form, the construction of the KE metric, nor any verification that the sectional curvature is negative and that the manifold is not a ball quotient. Without these load-bearing steps the claim cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report and the recommendation for major revision. The central concern is that the existence claim lacks explicit details on the complex structure, Kähler form, metric construction, curvature verification, and non-ball-quotient property. We address this below.

read point-by-point responses

Referee: [Abstract] Abstract (and entire manuscript): the central existence claim is stated but the manuscript supplies neither the complex structure, the Kähler form, the construction of the KE metric, nor any verification that the sectional curvature is negative and that the manifold is not a ball quotient. Without these load-bearing steps the claim cannot be assessed.

Authors: The referee is correct that the current manuscript version presents the existence statement without sufficient explicit load-bearing steps for independent verification. The construction proceeds by taking a suitable branched cover of a ball quotient and deforming the complex structure while preserving the Kähler-Einstein condition via the Aubin-Yau theorem, followed by a curvature computation showing negativity outside the ball case; however, these steps are only sketched at present. We will expand the revised manuscript with a dedicated section detailing the complex structure (via explicit transition functions), the initial Kähler form, the continuity method for the KE metric, the sectional curvature estimates (using the curvature tensor formula), and the argument that the resulting manifold is not covered by the ball (via fundamental group or Euler characteristic mismatch). revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is an existence result asserting the construction of a compact Kähler-Einstein manifold of dimension n≥2 with negative sectional curvature that is not a ball quotient. The provided abstract and description contain no equations, fitted parameters, self-referential definitions, or load-bearing self-citations that reduce any claim to its own inputs by construction. No derivation chain is exhibited that matches any of the enumerated circularity patterns; the result is presented as a direct construction without visible internal reduction or renaming of known results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review based on abstract only; no free parameters, axioms, or invented entities are specified in the provided text.

pith-pipeline@v0.9.0 · 5536 in / 950 out tokens · 39686 ms · 2026-05-23T01:06:39.348237+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

The geometry of branched coverings of hyperbolic manifolds
math.GT 2026-05 unverdicted novelty 1.0

Branched covers of closed hyperbolic manifolds along totally geodesic codimension-2 submanifolds possess specific geometric properties that are compiled from previously known results.