REVIEW 3 major objections 3 minor 22 references
On ratios of Chern numbers for complex hyperbolic branched covers
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Branched covers of complex hyperbolic manifolds have non-hyperbolic Chern ratios.
desk verdict The n=2 theorem is a clean, correct result that answers Deraux-Seshadri in dimension 2; the even-dimensional theorem as written has a quantifier gap around d-dependent covers. 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 mechanism is the interaction of three classical formulas: the proportionality theorem for Chern numbers, which makes every Chern number of a closed complex hyperbolic manifold a fixed multiple of the corresponding Chern number of complex projective space, so all ratios are equal to the projective ratios; the signature theorem, which expresses the signature as a polynomial in Pontrjagin and Chern numbers; and the signature formula for cyclic branched covers, which writes the signature of $X$ in terms of the signature of the base and the signatures of transverse self-intersections of the branch locus through the rational function $\mathrm{sign}(t)=\frac{(1+t)^d+(1-t)^d}{(1+t)^d-(1-t)^d}\,t$. In dimension $2$ the latter collapses to $\Sigma(X)=d\Sigma(M')-\frac{d^2-1}{6d}\chi(N')$, and together with $\chi(X)=d\chi(M')-(d-1)\chi(N')$ and $\Sigma(M')=\chi(M')/3$ this yields the exact identity $c_1^2(X)-3c_2(X)=\frac{m(d-1)^2}{2d}\chi(N)$ in the paper.
What would settle it
Compute the signatures $\Sigma(Y_{2r})$ or the Chern classes $c_r((N'_r)^\perp)$ for a concrete family of cyclic branched covers in even complex dimension $n\ge 4$, and check whether the expression in equation (3.10) vanishes for infinitely many $d$; a single family where it vanishes identically would refute the 'all but finitely many $d$' conclusion of Theorem 1.1.
Extended reading notes
Core claim
The paper's central claim is that branched covers built this way escape the rigidity of Chern-number ratios for complex hyperbolic manifolds. For even $n$, the claim is that for all but finitely many branching degrees $d$, no matter which finite cover $(M',N')$ is chosen with $[N']$ $d$-divisible, the $d$-fold cyclic branched cover $X$ has at least one Chern-number ratio different from the corresponding ratio of a complex hyperbolic manifold. The $n=2$ case is stronger: for every $d\ge 2$, $c_1^2(X)-3c_2(X)=\frac{m(d-1)^2}{2d}\chi(N)\neq 0$, so the only ratio $c_1^2/c_2$ is not $3$. The nonzero discrepancy is a consequence of the signature of the branched cover and grows with the degree of the preliminary cover.
Load-bearing premise
The general even-dimensional theorem depends on the unproved assertion that the rational function of $d$ in equation (3.10) is not identically zero, despite the cover, the degree $m$, and the Chern classes of the submanifolds all being allowed to depend on $d$.
Editorial extensions
If this is right
- For $n=2$, every such branched cover has $c_1^2/c_2\neq 3$, and the gap $c_1^2-3c_2$ grows with the degree of the preliminary cover.
- The motivating question about almost $1/4$-pinched K\"ahler metrics is answered negatively: compact K\"ahler manifolds exist with Chern-number ratios bounded away from the complex hyperbolic ratios while admitting metrics arbitrarily close to $1/4$-pinched.
- The almost $1/4$-pinched Riemannian metric constructed earlier on these branched covers cannot be K\"ahler.
- In even dimensions, taking larger finite covers does not make the branched covers resemble complex hyperbolic manifolds in their Chern-number ratios; for large $d$ the discrepancy in $n=2$ actually grows.
Reading between the lines
- An extension the paper leaves implicit: the exact $n=2$ formula gives a quantitative gap, so any K\"ahler metric on $X$ with Chern ratio within $\epsilon$ of $3$ must come from a cover with bounded degree or a branch locus with small Euler characteristic.
- A testable extension: in higher even dimensions the same finite signature expansion should yield an explicit polynomial in $d$ and $m$ once the Chern classes $c_r((N'_r)^\perp)$ are computed; the author notes that such values would likely show the expression is never zero for all $d$.
- The method is tied to even dimensions because self-intersection signatures vanish in odd complex dimensions, so an odd-dimensional analogue would need a different invariant or a computation of intersection signatures, as a three-dimensional calculation cited in the paper suggests.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Chern number ratios of cyclic branched covers of complex hyperbolic manifolds. For complex dimension n=2, it proves an explicit formula, c1^2(X)-3c2(X)=m(d-1)^2/(2d) χ(N)≠0, showing that the branched cover X is not complex hyperbolic. For arbitrary even n≥2, it claims (Theorem 1.1) that for all but finitely many d, every d-fold cyclic branched cover obtained from a finite cover (M',N') with [N'] d-divisible has at least one Chern number ratio different from the corresponding ratio for complex hyperbolic manifolds. The paper then derives two corollaries: a negative answer to a question by Deraux and Seshadri, and the non-Kählerity of the author's previously constructed almost 1/4-pinched metric in higher dimensions.
Significance. If Theorem 1.1 were established, the paper would resolve a natural question about pinching and Chern number rigidity and would strengthen the author's earlier construction. The n=2 result is a clean, explicit, and apparently correct calculation that already settles the question in real dimension four. The higher-dimensional statement, however, is not proven by the argument given: the proof of Theorem 1.1 contains a quantifier error concerning the dependence of the auxiliary finite covers on the branching degree d. Because this gap affects the main theorem and the higher-dimensional corollaries, the paper in its present form does not support its advertised even-dimensional claim.
major comments (3)
- [§3.2, proof of Theorem 1.1, after Eq. (3.10)] The assertion that the left-hand side of (3.10) can vanish for at most finitely many d is unsupported. The cover (M',N') is chosen after d and is only required to make [N'] d-divisible; hence the degree m, the functions f_i(m), and the Chern classes c_r((N'_r)^\perp) are all functions of d and of the choice of cover. A finite sum of the form Σ a_j(d) P_j(d) with d-dependent coefficients can vanish for infinitely many d even if no fixed-coefficient polynomial is identically zero. The sentence 'since the Euler characteristic and all Chern numbers are independent of d' is therefore a quantifier error: it conflates independence of d for a fixed cover with independence across a family of covers that is allowed to vary with d.
- [§3.2, Eq. (3.10)] The rewriting of the Chern classes as f_i(m)c_i(N^\perp_i) is not justified. The submanifolds N'_r are defined via transverse perturbations of Y inside the branched cover X, and their Chern classes are not shown to be determined by the degree m alone, nor are the N'_r shown to descend from fixed submanifolds of the base pair (M,N). Thus the expression in (3.10) is not a polynomial in d with constant coefficients, and the 'at most finitely many d' conclusion does not follow.
- [§3.2, proof of Corollary 1.5] The proof of Corollary 1.5 relies on the statement that the right-hand side of (3.10), with m_k substituted for m, approaches ±∞ as k→∞. However, the degree m_k and the Chern classes in (3.10) depend on k in an uncontrolled way, and the sign of the leading term is not established. For n>2 this does not prove that the expression stays away from zero as k→∞. Only in the n=2 case, where the explicit formula (3.8) gives a positive multiple of m_k(d-1)^2χ(N), is the divergence clear.
minor comments (3)
- [Remark 3.4] The remark states that equation (3.8) proves Corollaries 1.5 and 1.6 for n=2; this is correct, but the wording could be clarified to indicate that the higher-dimensional cases are not covered by the explicit computation.
- [§2, Corollary 2.3] The proof of Corollary 2.3 assumes that all Chern number ratios of M are equal to those of CP^n. The negation of Theorem 1.1 only requires the existence of at least one ratio that is equal, so the contradiction setup in Theorem 1.1 is stronger than needed; this is not an error but could be noted for clarity.
- [Throughout] The phrase 'the ratio of Chern numbers' is sometimes used in the singular and sometimes in the plural; the paper would benefit from a consistent convention, e.g., 'some ratio' vs. 'all ratios'.
Circularity Check
No significant circularity: the main derivation uses external Hirzebruch proportionality, the signature theorem, and Hirzebruch's branched-cover signature formula; the author's prior work appears only as an input to corollaries and does not force the main theorems.
full rationale
After walking the derivation chain, no claimed output reduces to its own input by construction. Theorem 1.2 is an explicit calculation combining Hirzebruch's signature formula for branched covers, the Hirzebruch signature theorem, and Hirzebruch proportionality; the displayed value c1^2(X) - 3c2(X) = m(d-1)^2/(2d) chi(N) is a genuine consequence rather than an assumed identity. Theorem 1.1 is similarly derived from equation (3.2) and Corollary 2.3, with the conclusion about Chern-number ratios following from Hirzebruch's external theorems, not from a definition or a fitted parameter. The paper's self-citations concern the almost 1/4-pinched metric constructed in [15], which is used only as an input to Corollaries 1.5 and 1.6; the main theorems are proven independently of that construction. No uniqueness theorem is imported from the authors, no ansatz is smuggled in through a self-citation, and no known result is merely renamed. The proof of Theorem 1.1 does contain a real gap flagged by the text: the sentence after equation (3.10) asserts that because the Euler characteristic and Chern numbers are independent of d, the equation holds for at most finitely many d, but the cover (M',N'), the degree m, and the functions f_i(m) are allowed to depend on d. This is a quantifier and boundedness issue in the proof, not circularity: equation (3.10) is not being used to define its own conclusion, and the gap could be repaired by controlling the d-dependence without changing the logical direction of the argument. The paper itself signals the difficulty in Remark 1.4, attributing the 'all but finitely many d' restriction to the difficulty of exact signature computations. On balance, the central claims are derived from established external results, so the circularity score is 0.
Assumptions & free parameters
assumptions (10)
- standard math Hirzebruch proportionality: for a closed complex hyperbolic manifold M^n, there exists s with c_I(M) = s c_I(CP^n) for all partitions I.
- standard math Hirzebruch signature theorem expressing the signature as a linear combination of Pontrjagin and Chern numbers.
- standard math Hirzebruch's signature formula for branched coverings, with Viro's correction, giving equation (3.2).
- standard math Fulton's Intersection Theory, Corollary 6.3: the signature of the self-intersection Y_{2r} equals the top Chern number of the normal bundle of Y_r.
- standard math Belegradek [1, Lemma 13.1]: c_1((N')^⊥) ≠ 0 for the normal bundle of the branching locus.
- standard math Goldman-Kapovich-Leeb [5, Proposition 2.5]: for a totally geodesic complex hypersurface N' in a complex hyperbolic surface M', e((N')^⊥) = (1/2)χ(N').
- domain assumption Stover-Toledo [18]: existence of finite covers (M',N') with [N'] d-divisible for cocompact congruence arithmetic lattices of simple type.
- domain assumption Zheng [22]: the branched covers X admit negatively curved Kähler metrics.
- domain assumption Minemyer [15]: existence of almost 1/4-pinched Riemannian metrics on such X when the normal injectivity radius is sufficiently large.
- ad hoc to paper The claim that the rational function in equation (3.10) is not identically zero as d varies, even when the cover depends on d.
Cite this review
Pith. "Pith review of On ratios of Chern numbers for complex hyperbolic branched covers." pith.science (2026). https://pith.science/paper/4WYE6EOV
@misc{pith2026250517853,
author = {Pith},
title = {Pith review of: On ratios of Chern numbers for complex hyperbolic branched covers},
year = {2026},
howpublished = {\url{https://pith.science/paper/4WYE6EOV}},
note = {Machine review of arXiv:2505.17853}
}
abstract
In this paper we prove that, at least in even complex dimensions, the ratio of Chern numbers for a closed complex hyperbolic branched cover manifold are not all equal to the corresponding ratio of Chern numbers for a closed complex hyperbolic manifold. This leads to an answer for a question posed by Deraux and Seshadri, and proves that an almost $1/4$-pinched metric constructed by the author in a previous article is not K\"{a}hler.
Reference graph
Works this paper leans on
-
[1]
Complex hyperbolic hyperplane comple ments
Igor Belegradek. Complex hyperbolic hyperplane comple ments. Math. Ann. , 353(2):545–579, 2012
work page 2012
-
[2]
A negatively curved K¨ ahler threefold no t covered by the ball
Martin Deraux. A negatively curved K¨ ahler threefold no t covered by the ball. Invent. Math. , 160(3):501–525, 2005
work page 2005
-
[3]
Almost quarter-pinc hed K¨ ahler metrics and Chern num- bers
Martin Deraux and Harish Seshadri. Almost quarter-pinc hed K¨ ahler metrics and Chern num- bers. Proc. Am. Math. Soc. , 139(7):2571–2576, 2011
work page 2011
-
[4]
Intersection theory, volume 2 of Ergeb
William Fulton. Intersection theory, volume 2 of Ergeb. Math. Grenzgeb., 3. Folge . Springer, Cham, 1984
work page 1984
-
[5]
Goldman, Michael Kapovich, and Bernhard Leeb
William M. Goldman, Michael Kapovich, and Bernhard Leeb . Complex hyperbolic manifolds homotopy equivalent to a Riemann surface. Commun. Anal. Geom. , 9(1):61–95, 2001
work page 2001
-
[6]
K¨ ahler-Einst ein metrics of negative curvature
Henri Guenancia and Ursula Hamenst¨ adt. K¨ ahler-Einst ein metrics of negative curvature. preprint, arXiv: 2503.02838 , 2025
arXiv 2025
-
[7]
K¨ ahler manifolds and 1/4-pinching.Duke Math
Luis Hern´ andez. K¨ ahler manifolds and 1/4-pinching.Duke Math. J. , 62(3):601–611, 1991
work page 1991
-
[8]
Automorphe Formen und der Satz vo n Riemann-Roch
Friedrich Hirzebruch. Automorphe Formen und der Satz vo n Riemann-Roch. (Automorphic forms and the theorem of Riemann-Roch). Sympos. Int. Topolo gia Algebraica 129-144 (1958)., 1958
work page 1958
Show all 22 references
-
[9]
The signature of ramified coverin gs
Friedrich Hirzebruch. The signature of ramified coverin gs. Global Analysis, Papers in Honor of K. Kodaira 253-265 (1969)., 1969
1969
-
[10]
Arrangements of lines and algeb raic surfaces
Friedrich Hirzebruch. Arrangements of lines and algeb raic surfaces. Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. II: Geometry, Prog. Math . 36, 113-140 (1983)., 1983
1983
-
[11]
Topological methods in algebraic geometry
Friedrich Hirzebruch. Topological methods in algebraic geometry. Translation fr om the Ger- man and appendix one by R. L. E. Schwarzenberger. Appendix tw o by A. Borel. Class. Math. Berlin: Springer-Verlag, reprint of the 2nd, corr. print. o f the 3rd ed. 1978 edition, 1995
1978
-
[12]
An explicit description of the K¨ ahler-Einstein metrics of Guenancia-Hamenst¨ adt.preprint, arXiv: 2505.00517 , 2025
Jean-Fran¸ cois Lafont and Barry Minemyer. An explicit description of the K¨ ahler-Einstein metrics of Guenancia-Hamenst¨ adt.preprint, arXiv: 2505.00517 , 2025
2025 arXiv
-
[13]
A note on the chara cteristic classes of non-positively curved manifolds
Jean-Fran¸ cois Lafont and Ranja Roy. A note on the chara cteristic classes of non-positively curved manifolds. Expo. Math. , 25(1):21–35, 2007
2007
-
[14]
Milnor and James D
John W. Milnor and James D. Stasheff. Characteristic classes , volume 76 of Ann. Math. Stud. Princeton University Press, Princeton, NJ, 1974
1974
-
[15]
K¨ ahler manifolds with an almost 1 /4-pinched metric
Barry Minemyer. K¨ ahler manifolds with an almost 1 /4-pinched metric. preprint, arXiv: 2307.15550v2, 2023
2023 arXiv
-
[16]
Curvature operators on K¨ ahler manifo lds
Barry Minemyer. Curvature operators on K¨ ahler manifo lds. Adv. Math. , 464:18, 2025. Id/No 110142
2025
-
[17]
G. D. Mostow and Yum-Tong Siu. A compact K¨ ahler surface of negative curvature not covered by the ball. Ann. Math. (2) , 112:321–360, 1980
1980
-
[18]
Residual finiteness for central extensions of lattices in PU(n,1) and negatively curved projective varieties
Matthew Stover and Domingo Toledo. Residual finiteness for central extensions of lattices in PU(n,1) and negatively curved projective varieties. Pure Appl. Math. Q. , 18(4):1771–1797, 2022
2022
-
[19]
On 1/4-pinched 4-dimensional Riemannia n manifolds of negative curvature
Marina Ville. On 1/4-pinched 4-dimensional Riemannia n manifolds of negative curvature. Ann. Global Anal. Geom. , 3(3):329–336, 1985
1985
-
[20]
O. Ya. Viro. The signature of branched covering. Mat. Zametki , 36(4):549–557, 1984
1984
-
[21]
S. T. Yau and F. Zheng. Negatively 1 4 -pinched Riemannian metric on a compact K¨ ahler manifold. Invent. Math. , 103(3):527–535, 1991
1991
-
[22]
Examples of non-positively curved K¨ a hler manifolds
Fangyang Zheng. Examples of non-positively curved K¨ a hler manifolds. Comm. Anal. Geom. , 4(1-2):129–160, 1996. Department of Mathematics, Computer Science, and Digital F orensics, Common- wealth University - Bloomsburg, Bloomsburg, Pennsylvania 1 7815 Email address : bminemy...
1996
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.