{"id":"02de7ed4-5153-4975-858c-fc71b2d5c74a","arxiv_id":"2505.00517","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A model Einstein metric on complex hyperbolic branched covers, built the way Fine and Premoselli built theirs in the real hyperbolic case, is shown to equal the model Kähler-Einstein metric of Guenancia and Hamenstädt and to produce negatively curved Einstein metrics in every complex dimension.","lead":"The paper writes an explicit warped-product metric on complex hyperbolic branched covers, solves the Einstein equations for it, and proves this metric is the same as the model Kähler-Einstein metric studied by Guenancia and Hamenstädt. Because the formula is explicit, it gives concrete curvature bounds and opens a route to compute topological invariants of manifolds that admit negatively curved Einstein metrics but are not locally symmetric.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.8's proof of negative sectional curvature for λα contains a false inequality; the paper's direct proof is invalid, so the negative-curvature premise of the model metric needs repair.","rationale":"The reader's ACCEPT verdict is based on the detailed algebra behind Theorem 1.1 and on inherited machinery from [10] and [11]. My reading agrees that the identification of λα with ωα is plausible and that the global existence argument essentially rests on external propositions. However, the one completely internal, checkable proof step that is advertised as a contribution—the direct negative-curvature proof in Prop. 3.8—contains a concrete inequality error. Since this proposition is used to assert that the approximate metric gk is negatively curved and to give an independent proof of [10, Theorem 2.11], the error is load-bearing for the paper's self-contained argument even if the final theorem can be rescued by citing [10]. The correct response is therefore not to reject the paper, but to require a corrected proof or an explicit replacement of Prop. 3.8 with the external negative-curvature result. I did not find a comparable issue in the ODE comparison establishing Theorem 1.1, and I am not raising an objection to the authors' reliance on recent preprints, which is legitimate and clearly stated.","tokens_in":21893,"tokens_out":39120,"duration_ms":407782,"concrete_test":"Recompute the maximum of K(σ) in Prop. 3.8 exactly by isolating the b2,b6 quadratic block: with p=a1, q=a5, Y=-1-α/u^{2n+2}, Z=-4-2n(n-1)α/u^{2n+2}, and X=-1+nα/u^{2n+2}, the block is M11=4p^2Y+q^2X, M12=M21=3pqX, M22=p^2X+q^2Z. Check whether M ≤ X·I for all p^2+q^2=1 and all u ≥ uα. Alternatively, evaluate a numerical case: n=2, α=αmax/2, p=q=1/√2, b2=b6=1/√2, b1=b3=b5=0, using equations (3.6)-(3.11). If K ≤ -1+nα/u^{2n+2} holds, Prop. 3.8 can be repaired; if not, the negative curvature claim for λα is false.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Prop. 3.8 is the paper's self-contained proof that the model metric λα is negatively curved, and it feeds directly into Prop. 4.3(1) and Theorem 1.2. In the proof, after expanding K(σ), the authors replace 4a1a5b2b6X by 2(a1b2+a5b6)^2X, where X = -1 + nα/u^{2n+2} < 0 for α ∈ (0, αmax). For X < 0, the inequality 4abX < 2(a+b)^2X is false: 4ab = 2(a+b)^2 - 2(a^2+b^2) < 2(a+b)^2, and multiplying by the negative number X reverses the direction. A concrete instance is a=b=1, X=-1, giving 4abX = -4 > -8 = 2(a+b)^2X. Thus the displayed chain ending in 'This last expression is clearly negative' does not establish K < [negative quantity]. Consequently the asserted upper curvature bound K ≤ -1 + nα/u^{2n+2} is not proved by the argument as written. The bound may still be true—it would follow from Theorem 1.1 together with Bland's theorem if the identification with [10]'s ωα is accepted—but the paper's independent proof is invalid, and the claimed alternate proof of [10, Theorem 2.11] is unsupported until the inequality is corrected.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the Fine-Premoselli construction of negatively curved Einstein metrics from hyperbolic branched covers to the complex hyperbolic setting. It derives explicit curvature formulas (Theorem 2.1) for a warped metric λ on CH^n minus a totally geodesic CH^{n-1}, determines the one-parameter family V_α(u)=u^2-1+α/u^{2n} for which λ is Einstein with constant -2(n+1), analyzes the cone angles, and identifies the resulting metric λα with the model Kähler-Einstein metric ω_α of Guenancia-Hamenstädt (Theorem 1.1). It then gives a proof of negative sectional curvature for λα (Proposition 3.8), constructs complex hyperbolic branched covers with large normal injectivity radius (Theorem 4.1), forms approximate Einstein metrics by tapering λα to the complex hyperbolic metric, and applies a Bianchi-gauged inverse function theorem to obtain negatively curved Einstein metrics on Kähler manifolds of every complex dimension (Theorem 1.2).","tokens_in":22208,"tokens_out":14181,"duration_ms":120528,"significance":"If the identification in Theorem 1.1 is correct, the paper provides an explicit, coordinate-friendly description of the Guenancia-Hamenstädt model metric, which is currently characterized only abstractly; the explicit curvature formulas in Theorem 2.1 and the family (3.1) are likely to be useful for studying Stover-Toledo manifolds and their characteristic classes. The paper is candid about relying on the recent preprint [10], and the Ricci computations in Section 3 are consistent with the Einstein equation. However, the independent proof of negative curvature in Proposition 3.8 contains a false inequality, and the perturbation argument in Theorem 1.2 depends on the unproved [10, Proposition 4.2], so the main existence theorem is conditional on external results.","major_comments":[{"comment":"The proof of Proposition 3.8 contains a false inequality. In the displayed chain after the expansion of K(σ), the term 4a1a5b2b6 X is replaced by 2(a1b2+a5b6)^2 X, where X = -1 + nα/u^{2n+2} < 0 for α ∈ (0, αmax). Since 4a1a5b2b6 ≤ (a1b2+a5b6)^2 always and X < 0, multiplication by X reverses the inequality, giving 4a1a5b2b6 X ≥ (a1b2+a5b6)^2 X > 2(a1b2+a5b6)^2 X. Thus the replacement makes the right-hand side more negative in general, so the inequality K(σ) < (last expression) is not established; the direction is opposite. A concrete instance is a=b=1, X=-1, for which 4abX = -4 > -8 = 2(a+b)^2X. Consequently, the paper's independent proof that λα is negatively curved, and the asserted upper bound K ≤ -1 + nα/u^{2n+2}, are not justified as written. This is load-bearing because the negative curvature feeds into Proposition 4.3(1) and hence into Theorem 1.2. The authors should repair the estimate or replace the independent proof with a citation to the negative-curvature result from [10] once the identification in Theorem 1.1 is accepted.","section":"Proposition 3.8, proof"},{"comment":"The perturbation step relies on [10, Proposition 4.2], which asserts a uniform C^0-estimate and surjectivity of the Bianchi-gauged Einstein operator Φ_{g_k} onto a fixed ε-ball around Φ_{g_k}(g_k), independent of k. This proposition comes from a preprint and is not proved in the present paper; the statement that the argument is identical to [11, Theorem 4.3] is not a substitute for a proof or for a precise statement of its hypotheses. Since this uniform surjectivity is essential for producing the exact Einstein metrics e_k, Theorem 1.2 is conditional on [10, Proposition 4.2]. The authors should either prove the needed proposition or a suitable version of it in an appendix, or state explicitly that Theorem 1.2 depends on the validity of [10].","section":"§4.3, proof of Theorem 1.2"},{"comment":"In the recursive construction of (M_{k+1}, N_{k+1}), the paper does not prove that N_{k+1} = Λ_k \\ V embeds into M_{k+1} = Γ_{k+1} \\ CH^n. An element of Γ_{k+1} that maps V to a different component of the preimage of N_k would create self-intersections of N_{k+1}, violating condition (2) of Theorem 4.1. The finitely many steps that eliminate the specific geodesic γ do not obviously rule out all such elements. The argument is only described as 'analogous to [10, Proposition 3.3]', so the embedding property must be proved directly or the exact statement of [10, Proposition 3.3] must be quoted and verified to apply here.","section":"§4.1, Theorem 4.1"}],"minor_comments":[{"comment":"The text says 'By Proposition 4.3 (4) we have that ||g_k||_{L2} → 0'; this should be '||Ric(g_k)+(2n+2)g_k||_{L2} → 0' or '||Φ_{g_k}(g_k)||_{L2} → 0', since that is what Proposition 4.3(4) states.","section":"§4.3, proof of Theorem 1.2"},{"comment":"The definition of s is printed as 's = √(2uα/cα)(u−uα)', but the subsequent identities hold for s = sqrt((2uα/cα)(u−uα)); the formula appears to be missing a fraction bar and should be clarified.","section":"Lemma 3.5(2)"},{"comment":"There is a typo: 'the explicit curvature formulas from Thereom 2.1' should read 'Theorem 2.1'.","section":"Introduction, paragraph 6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a useful companion to the Guenancia-Hamenstädt work, and the explicit model metric is a solid contribution. However, the main existence theorem depends on an unproved proposition in a preprint, and the independent proof of negative curvature is invalid as written. If the authors can repair Proposition 3.8 (or import the negative-curvature result from [10] after Theorem 1.1) and address the embedding issue in Theorem 4.1, the paper may be suitable for publication. The editor may also wish to consider the journal's policy on results that depend on unpublished preprints; if accepted, the authors should be asked to include a precise statement and proof of the needed version of [10, Proposition 4.2]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful part of this paper is the explicit warped-product metric λα in (2.4)/(3.1), the curvature tensor formulas in Theorem 2.1, and the identification with the Guenancia–Hamenstädt model metric in Theorem 1.1. That identification is the real new contribution and it is convincing: the ODE they solve is exactly the one in [10, Theorem 2.9], the initial conditions match, and the cone-angle analysis in Lemma 3.5 lines up with [10]'s parameter range. If I worked in this area I would want these formulas in the literature; they make the GH model concretely computable, and the explicit curvature components could be useful for Chern-Weil computations.\n\nNow the soft spots, in order of severity. First, the stress-test note about Proposition 3.8 is correct. In the chain of inequalities, the step replacing 4a1a5b2b6 X by 2(a1b2+a5b6)^2 X, with X = -1 + nα/u^{2n+2} < 0, goes the wrong direction: for negative X you get 4abX > 2(a+b)^2X, not < . So the displayed chain does not establish the claimed upper bound K ≤ -1 + nα/u^{2n+2}. That is a real flaw in the paper's direct proof. The bound may still be true—it would follow from Theorem 1.1 plus Bland's result if the identification with [10]'s ωα is accepted—but as written the paper's independent proof of negative curvature is invalid, and the claimed alternate proof of [10, Theorem 2.11] is unsupported.\n\nSecond, Theorem 1.2 leans on [10, Proposition 4.2], a uniform inverse-function theorem from another recent preprint that is not proved here. The paper says the proof is identical to [11, Theorem 4.3] with constants independent of k, but since that external result is load-bearing, the global existence theorem is conditional. Third, Theorem 4.1's recursive construction is plausible but a bit quick about avoiding self-intersections of the lifted Nk; it follows the analogy with [10, Prop. 3.3] but the details are not given. These are not fatal in my view—they are exactly the kind of thing a referee should ask the authors to tighten.\n\nThe paper is honest and mostly well organized, and the identification with GH's metric is a genuine advance over [10]'s abstract existence proof. But the flawed inequality in Proposition 3.8 is a problem for a paper whose stated goal includes a direct proof of negative curvature. I would send it to a serious referee rather than desk reject, with a clear request to fix or re-prove Proposition 3.8 and to make the dependence on [10, Prop. 4.2] explicit. If the authors can repair that inequality—or simply cite Bland and [10] for negative curvature—the paper would be a solid contribution.","headline":"Explicit model metric is a genuinely useful contribution, but the paper's own negative-curvature proof has a real inequality bug that needs fixing before the claims are fully supported.","tokens_in":22738,"tokens_out":3595,"would_cite":true,"duration_ms":32434,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C35","51M15","53C55","53B20","57R18"],"pacs":[],"model":"deepseek-v4-flash","headline":"An explicit polar-coordinate metric realizes the model Kähler–Einstein metric, yielding negatively curved Einstein metrics in every complex dimension.","keywords":["Kähler-Einstein metrics","negative sectional curvature","complex hyperbolic branched covers","model Einstein metrics","warped-product metrics","cone angles","Bianchi gauge","Chern-Weil invariants"],"falsifier":"For one fixed choice, say $n=2$ and the value $\\alpha$ giving cone angle $\\pi$, compute the curvature component $R_{1,2,3,4}$ of $\\lambda_{\\alpha}$ from the connection coefficients in Proposition 2.3 at a point with $u=2$; formula (2.13) requires it to equal $-2(1+V_{\\alpha}(2)/4)=-2-2\\alpha/2^{6}$, and any other value would disprove Theorem 2.1 and with it the identification of $\\lambda_{\\alpha}$ with the model Kähler–Einstein metric.","tokens_in":21712,"feed_emoji":"📐","tokens_out":16239,"duration_ms":142172,"temperature":0.7,"pith_summary":"The paper establishes that a family of Einstein metrics written explicitly in polar coordinates, obtained by transplanting the model metric construction of [8] into complex hyperbolic geometry, is exactly the model Kähler–Einstein metric whose existence is guaranteed by [10, Theorem 2.2]. The identification gives a concrete coordinate description of that model: on a tube around a totally geodesic complex-hyperbolic divisor the metric is $u^{2}c_{n-1}+u^{2}V_{\\alpha}d\\theta^{2}+V_{\\alpha}^{-1}du^{2}$, with $V_{\\alpha}(u)=u^{2}-1+\\alpha u^{-2n}$, and the Einstein condition fixes this $V_{\\alpha}$ uniquely. The paper then combines these formulas with the perturbation machinery of [8] and [11] to prove that compact Kähler manifolds of every complex dimension admit negatively curved Einstein metrics but no locally symmetric metric. The point of the paper is that an existence proof can be replaced by a usable formula, with explicit curvature bounds, cone angles, and exponential convergence to the complex hyperbolic metric.","feed_headline":"Explicit coordinates found for model Kähler-Einstein metric","feed_subtitle":"The formula yields negatively curved Einstein metrics on Kähler manifolds in every complex dimension.","key_machinery":"The load-bearing object is the warped-product ansatz $\\lambda=u^{2}c_{n-1}+u^{2}Vd\\theta^{2}+V^{-1}du^{2}$ on a tube around a totally geodesic $\\mathbb{C}H^{n-1}$ in $\\mathbb{C}H^{n}$, with $u=\\cosh r$ and $V$ a free positive function. The horizontal distribution is non-integrable, producing nonzero mixed curvature terms that the paper computes explicitly in terms of $W=\\sqrt{V}$; these Lie-bracket contributions are the main technical difference from the real-hyperbolic construction of [8]. Einstein's equation reduces to the first-order ODE $V'+(2n/u)V=(2n+2)u-2n/u$, whose unique solution is $V_{\\alpha}=u^{2}-1+\\alpha u^{-2n}$, and substituting $u=f(r)$ converts it to the same second-order ODE that [10] derives for its model metric. The curvature formulas (3.6)–(3.11) carry the negativity, cone-angle, and exponential-approach conclusions.","core_discovery":"The central claim is Theorem 1.1: the negatively curved model Einstein metric obtained by generalizing the [8] construction to complex hyperbolic branched covers is isometric to the model Kähler–Einstein metric $\\omega_{\\alpha}$ whose existence is asserted in [10, Theorem 2.2]. Concretely, the metric is $\\lambda_{\\alpha}=u^{2}c_{n-1}+u^{2}V_{\\alpha}d\\theta^{2}+V_{\\alpha}^{-1}du^{2}$ with $V_{\\alpha}(u)=u^{2}-1+\\alpha u^{-2n}$; for exactly this choice of $V_{\\alpha}$ the Ricci tensor is $-(2n+2)\\lambda_{\\alpha}$, the metric has cone angle $2\\pi c_{\\alpha}$ about a totally geodesic $\\mathbb{C}H^{n-1}$, and all sectional curvatures are negative for $\\alpha\\in(0,\\alpha_{\\max})$. The proof rewrites the Einstein equation in the form $f''/f+n(f')^{2}/f^{2}+n/f^{2}=n+1$ and matches initial conditions with those satisfied by the [10] model, proving the two metrics coincide. Theorem 1.2 then states that tapering $\\lambda_{\\alpha}$ to the complex hyperbolic metric on each branched cover and perturbing via the Bianchi-gauged inverse function theorem yields a genuine negatively curved Einstein metric on Kähler manifolds of every complex dimension that do not admit a locally symmetric metric.","pith_inferences":["If the identification is right, the model metric can be constructed without invoking the existence results referenced in [10]; the explicit solution of the ODE gives an independent route to existence, negativity, and exponential convergence to the complex hyperbolic metric.","The formula $V_{\\alpha}=u^{2}-1+\\alpha u^{-2n}$ suggests a uniform ansatz for model branched-cover Einstein metrics in all rank-one symmetric spaces, with the correction exponent governed by the Einstein constant of the ambient space rather than by the real dimension.","A numerical test can separate the paper's two claims: integrate the ODE of [10, Theorem 2.9] with initial conditions $f(0)=u_{\\alpha}$, $f'(0)=0$ and compare the result with $\\sqrt{V_{\\alpha}(\\cosh r)}$; agreement checks the identification, while failure of the later perturbation would show up only through the uniform estimate of [10, Proposition 4.2].","The question of whether the constructed Einstein metric $e_k$ coincides with the Kähler–Einstein metric $\\omega_k$ could be approached through rigidity of $\\omega_k$; if $\\omega_k$ is isolated among negatively curved Einstein metrics then equality is forced, otherwise the explicit model gives a starting point for constructing a deformation."],"forward_implications":["The model Kähler–Einstein metric of [10] is now given by an explicit formula, so its warping function, curvature components, and asymptotics can be computed directly instead of being inferred from an existence theorem.","For every integer $d\\ge2$ there is a unique $\\alpha_d$ for which $\\lambda_{\\alpha}$ has cone angle $2\\pi/d$, so the model pulls back to a smooth metric on the $d$-fold cyclic branched covers of [20].","The Bianchi-gauged perturbation argument, using the uniform estimate of [10] and the inverse-function theorem of [11], produces negatively curved Einstein metrics on compact Kähler manifolds in every complex dimension that do not admit locally symmetric metrics.","The approximate metrics $g_k$ C²-converge both to the constructed Einstein metrics $e_k$ and to the Kähler–Einstein metrics of [10]; whether $e_k$ eventually equals the Kähler–Einstein metric is left open.","The explicit curvature formulas may permit Chern–Weil computations of invariants such as the signature of the branched covers constructed in [20] when the dimension is divisible by four."],"supporting_citations":[{"why":"Supplies the original model Einstein metric and the perturbation framework that the paper transplants into complex hyperbolic geometry.","marker":"[8]"},{"why":"Provides the model Kähler–Einstein metric, the ODE characterization, and the uniform surjectivity estimate used in Theorem 1.2.","marker":"[10]"},{"why":"Extends the construction to all dimensions and supplies the inverse-function theorem that converts the approximate metric into an exact Einstein metric.","marker":"[11]"},{"why":"Constructs the complex hyperbolic branched cover manifolds on which all the metrics live.","marker":"[20]"},{"why":"Shows these branched covers carry negatively curved Kähler metrics, making the underlying manifolds Kähler.","marker":"[24]"},{"why":"Supplies the polar-coordinate description of the complex hyperbolic metric and the non-integrability brackets used in the curvature computation.","marker":"[3]"},{"why":"Provides the rescaled frame and curvature formulas for complex hyperbolic space in the normalization used here.","marker":"[17]"},{"why":"Establishes negativity of the model Kähler–Einstein metric, which Proposition 3.8 then reproves for $\\lambda_{\\alpha}$.","marker":"[5]"},{"why":"Supplies the subgroup-separability input that lets the recursive construction of submanifolds increase the normal injectivity radius.","marker":"[4]"},{"why":"Gives the finiteness of short homotopy classes used to ensure normal injectivity radius grows by at least one at each step.","marker":"[7]"}],"fun_headline_variants":["Explicit Kähler-Einstein metric via complex hyperbolic covers","Closed form found for Guenancia-Hamenstädt metrics","Explicit Einstein metrics from complex hyperbolic branched covers","Kähler-Einstein metrics now written explicitly","All dimensions: explicit negatively curved Einstein metric"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The final perturbation step assumes that a gauge-fixed version of the Einstein equation is solvable with a uniform error tolerance that does not shrink as the branched cover gets deeper, and that the recursively constructed submanifolds remain embedded with no self-intersections; the paper cites the first from [10] and models the second on [10] rather than proving them in full.","fun_headline_variants_meta":{"raw":{"variants":["Explicit Kähler-Einstein metric via complex hyperbolic covers","Closed form found for Guenancia-Hamenstädt metrics","Explicit Einstein metrics from complex hyperbolic branched covers","Kähler-Einstein metrics now written explicitly","All dimensions: explicit negatively curved Einstein metric"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000733,"raw_usage":{"total_tokens":3308,"prompt_tokens":1006,"completion_tokens":2302,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":622,"completion_tokens_details":{"reasoning_tokens":2223}},"tokens_in":622,"tokens_out":2302,"duration_ms":17120,"temperature":1.0,"reasoning_tokens":2223,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:41:21.326607+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For one fixed choice, say $n=2$ and the value $\\alpha$ giving cone angle $\\pi$, compute the curvature component $R_{1,2,3,4}$ of $\\lambda_{\\alpha}$ from the connection coefficients in Proposition 2.3 at a point with $u=2$; formula (2.13) requires it to equal $-2(1+V_{\\alpha}(2)/4)=-2-2\\alpha/2^{6}$, and any other value would disprove Theorem 2.1 and with it the identification of $\\lambda_{\\alpha}$ with the model Kähler–Einstein metric.","supporting_citations":[{"cited_title":"Examples of compact Eins tein four-manifolds with negative curvature","cited_arxiv_id":null,"evidence_quote":"Supplies the original model Einstein metric and the perturbation framework that the paper transplants into complex hyperbolic geometry."},{"cited_title":"Negatively curved Einstein metrics on ramified covers of closed four- dimensional hyperbolic manifolds","cited_arxiv_id":null,"evidence_quote":"Constructs the complex hyperbolic branched cover manifolds on which all the metrics live."},{"cited_title":"On the Ricci curvature of a compact K¨ ah ler manifold and the complex Monge-Amp` ere equation","cited_arxiv_id":null,"evidence_quote":"Shows these branched covers carry negatively curved Kähler metrics, making the underlying manifolds Kähler."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes negativity of the model Kähler–Einstein metric, which Proposition 3.8 then reproves for $\\lambda_{\\alpha}$."},{"cited_title":"The first Betti number and the Laplace s pectrum of certain hyperbolic manifolds","cited_arxiv_id":null,"evidence_quote":"Supplies the subgroup-separability input that lets the recursive construction of submanifolds increase the normal injectivity radius."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the finiteness of short homotopy classes used to ensure normal injectivity radius grows by at least one at each step."}],"review_version":1}