Pith. sign in

REVIEW 4 major objections 6 minor 14 references

Almost scalar-flat K\"{a}hler metrics on affine algebraic manifolds

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read On a polarized manifold cut along an ample divisor, complete Kähler metrics exist with scalar curvature zero on any compact set and arbitrarily small outside, whenever a certain line bundle is very ample and the ratio m/l is small.

desk verdict A plausible gluing construction for almost scalar-flat Kähler metrics, but Theorem 1.2 rests on unproved derivative estimates with an unspecified constant a(n); worth a serious referee, not a desk reject. read the letter →

arxiv 1908.05583 v3 pith:CIZMD5DN submitted 2019-08-15 math.DG math.APmath.CV

Takahiro Aoi This is my paper · ORCID
classification math.DGmath.APmath.CV MSC 53C2532Q1553C21
keywords constantscalarcurvatureKählermetricscomplexMonge-Ampèreequationsplurisubharmonicfunctionscompleteaffinealgebraicmanifoldsregularizedmaximum
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 tries to establish that complements of smooth ample hypersurfaces in polarized manifolds carry complete Kähler metrics with nearly vanishing scalar curvature, under a numerical condition on a pair of positive integers. This matters because affine algebraic manifolds are noncompact and standard compact existence theorems do not apply, so the result offers a route to constructing scalar-flat or almost scalar-flat complete metrics on them. The construction solves a degenerate Monge-Ampère equation whose solution has prescribed blow-up near the intersection of two divisors, glues three plurisubharmonic potentials, and then shows that the glued metric has controlled scalar curvature. The main theorem states that the ratio must satisfy $a(n)m/(2l)<\hat S_D/[n(n-1)]$, where $a(n)$ is a dimension-dependent constant.

What carries the argument

The load-bearing machine is the solution $\phi$ of the degenerate (meromorphic) Monge-Ampère equation $(\theta_X+\sqrt{-1}\partial\bar\partial\phi)^n=\xi^{-1/l}\wedge\overline{\xi^{-1/l}}$, with $\xi=\sigma_F\otimes\sigma_D^{-m}$, together with the explicit derivative bounds of Theorem 1.1. Those bounds state that near $D\cap F$, third derivatives of $\phi$ are $O(|w_D|^{-2a(n)m/l}|w_F|^{-2a(n)/l})$, and fourth derivatives have one additional inverse power of the normal coordinate in the differentiated direction. These estimates are what allow the Ricci-tensor terms of the glued metric, which contain derivatives of $\phi$, to be controlled after tracing against the complete metric. The integer $a(n)$ encodes the dimension dependence of the Schauder-estimate constants and enters the main smallness condition; Remark 3.14 only bounds it by $O(n^2)$.

What would settle it

On an explicit polarized pair, take D and F as coordinate hypersurfaces in a toric surface, solve the degenerate Monge-Ampère equation (2.4), and measure the growth of the third and fourth derivatives of $\phi$ as $w_D,w_F\to0$; observing any growth faster than the paper's predicted rates $O(|w_D|^{-2a(n)m/l}|w_F|^{-2a(n)/l})$ for third derivatives, and one extra inverse power of the relevant coordinate for fourth derivatives, would disprove Theorem 1.1 and the sufficiency of the inequality $a(n)m/(2l)<\hat S_D/[n(n-1)]$.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: if $(X,L_X)$ is an $n$-dimensional polarized manifold, $D\in|L_X|$ is smooth, $\hat S_D>0$, and there exist integers $l>n$ and $m$ such that $K_X^{-l}\otimes L_X^m$ is very ample and $a(n)m/(2l)<\hat S_D/[n(n-1)]$, then for any relatively compact domain $Y\Subset X\setminus(D\cup F)$ there is a complete Kähler metric $\omega_F$ on $X\setminus D$ whose scalar curvature is zero on $Y$ and arbitrarily small on the complement of $Y$. Moreover $\omega_F=\omega_0$ in a neighborhood of $D\setminus(D\cap F)$, where $\omega_0$ is the standard complete conical metric defined from the defining section of $D$. The metric is formed by gluing three strictly plurisubharmonic potentials — the conical potential $\Theta(t)$ near $D$, the potential $\tilde G_v^\beta(b)$ concentrated near $F$, and the Ricci-flat potential $t+\phi+c$ away from $D\cup F$ — using the regularized maximum $M_\eta$; the proof that the glued scalar curvature is small rests on Theorem 1.1, which bounds the third and fourth derivatives of the degenerate Monge-Ampère solution $\phi$ near $D\cap F$.

Load-bearing premise

The load-bearing premise is that the third- and fourth-order derivatives of the Monge-Ampère solution near the intersection of the two divisors grow no faster than fixed powers of the distances to the divisors, with an exponent a(n) that is at most O($n^{2}$).

Editorial extensions

If this is right

  • Whenever the hypotheses hold, $X\setminus D$ admits complete Kähler metrics with scalar curvature smaller than any prescribed $\varepsilon>0$, not merely on compact sets.
  • If $K_X^{-1}$ is nef, the numerical hypothesis is automatic, so the theorem supplies nearly scalar-flat complete Kähler metrics on the complement of a smooth divisor in every Fano manifold.
  • The scalar curvature can be made exactly zero on any fixed compact piece while the metric remains complete and conical near $D$ away from $D\cap F$.
  • The explicit dependence of the admissible ratio on the dimension, through $a(n)=O(n^2)$, gives an effective range of $m/l$ for which the conclusion holds.

Reading between the lines

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

  • The same gluing scheme could plausibly be adapted to produce metrics with prescribed small Ricci curvature, not just small scalar curvature, by matching the Ricci forms of the three potentials; the paper does not pursue this.
  • The derivative bounds identify $D\cap F$ as the only place where the glued metric fails to have the conical asymptotics needed for a global scalar-flat theorem, which the author states as the next step.
  • One testable sharpening would be to compute the optimal exponent $a(n)$ on toric models; if it is smaller than the paper's $O(n^2)$ bound, the condition on $m/l$ could be relaxed.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The paper studies an n-dimensional polarized manifold (X, L_X) with a smooth divisor D in |L_X| and considers the complete Kähler metric ω0 on X \ D introduced by Bando and Kobayashi. The main result, Theorem 1.2, asserts that if there exist integers l > n and m such that K_X^{-l} ⊗ L_X^m is very ample and a(n)m/(2l) < Ŝ_D/[n(n-1)], then for any relatively compact Y ⋐ X \ (D ∪ F) there is a complete Kähler metric ω_F on X \ D whose scalar curvature vanishes on Y and is arbitrarily small on the complement. The proof solves a degenerate complex Monge-Ampère equation with right-hand side |σ_F|^{-2/l}|σ_D|^{2m/l}, estimates higher derivatives of the solution near D ∩ F (Theorem 1.1), and glues three Kähler potentials using the regularized maximum. The central issue is that the quantitative derivative estimates in Theorem 1.1 are not actually derived, and the gluing estimates depend on an unstated lemma from the author's companion paper.

Significance. If the main theorem is correct, it would be a notable contribution to the construction of almost scalar-flat complete Kähler metrics on affine algebraic manifolds, complementing the author's earlier weighted-analysis approach with a gluing method. The paper has a clear strategy and the use of the regularized maximum to combine potentials with controlled scalar curvature is attractive. However, the proof of the quantitative higher-order derivative estimates is not self-contained, and the scalar-curvature estimates in Section 4 rely on an unproved lemma from a companion preprint. The result is therefore conditional on missing technical verification rather than established by the manuscript.

major comments (4)
  1. [§3.1, Eq. (3.1)–(3.2)] The eigenvalue estimates Λ = O(||σ_F||^{-2/l}) and λ^{-1} = O(||σ_D||^{-2m/l}) are not justified. From (3.1) one obtains the upper bound for the largest eigenvalue, while (3.2) fixes the product of the eigenvalues as |σ_F|^{-2/l}|σ_D|^{2m/l} up to bounded factors. Combining these gives λ ≥ c |σ_D|^{2m/l} |σ_F|^{2(n-2)/l}, hence λ^{-1} = O(|σ_D|^{-2m/l} |σ_F|^{-2(n-2)/l}) for n ≥ 3. The additional |σ_F| factor is absent from the paper's stated estimate, so the ratio Λ/λ is underestimated. This ratio controls the constants in Lemma 3.4 and Proposition 3.10 and propagates into the higher-order estimates of Section 3.3, so the claimed bounds in Theorem 1.1 are not supported.
  2. [§3.3, Propositions 3.12–3.13 and Theorem 1.1] The passage from the C^{2,ε} estimate on a fixed domain to the third- and fourth-order bounds is not proved. Proposition 3.12 states the Schauder constant as C_S = O((Λ/λ)^{s(n)}) without specifying s(n) or tracking the dependence of the constant on the distance to the boundary of the balls, which shrink as one approaches D ∩ F. The source term f_h and its C^{0,ε} norm in the difference-quotient equation are not estimated. Proposition 3.13 then asserts the third-order bounds with exponents -4m/l and -4/l, and the fourth-order bounds in Theorem 1.1 are said to follow after 'differentiating the equation' without controlling ˙a^{p,q}_h or ˙f_h. Remark 3.14 asserts a(n) = O(n^2) by referring to the proof of [8], but this is not a derivation. Since condition (1.2) involves a(n), the main theorem is conditional on this unproved quantitative estimate.
  3. [§4, Claims 1–4] The scalar-curvature estimates depend essentially on 'Lemma 3.4 in [1]' at several points, in particular the displayed inverse-metric formula in Claim 1 and the trace estimate in Claim 2. This lemma is not stated, proved, or paraphrased in the present paper, and reference [1] is the author's own preprint. The reader therefore cannot check the key step in which the Ricci tensor is controlled after tracing with ω_{c,v,η}. A self-contained proof of Theorem 1.2 must either state and prove the needed lemma or give a precise reference with the full statement.
  4. [§4, Claim 2 and proof of Theorem 1.2] The comparison that makes the derivatives of φ negligible is not derived. The proof asserts that by taking κ close to 1 'we may assume' an inequality involving ||σ_F|| and ||σ_D||, and that this follows from (1.2); no derivation is provided. The parameter choices (κ, a_i, β, v) are never fully specified, and the final conclusion S(ω_{c,v,η}) = O(c^{-2}) is stated to hold in each of the four regions, with Claim 4 closed by 'similarly'. This leaves a gap in the proof of Theorem 1.2 even assuming Theorem 1.1.
minor comments (6)
  1. [Throughout] The name 'Kołodziej' is corrupted as 'Ko/suppress lodziej' in the text; the references and acknowledgements should be corrected.
  2. [Abstract and Introduction] The phrase 'scalar curvature is flat' should be replaced by 'scalar curvature is zero' or 'scalar-flat' for clarity.
  3. [Theorem 1.1] The notation ∂^2/(∂z_i∂z_j∂^α φ) is ambiguous; it should be written as ∂^{2+|α|}φ/(∂z_i∂z_j∂z^α) or similar.
  4. [§3.3 heading] 'The third and the forth order estimates' contains a typo: 'forth' should be 'fourth'.
  5. [§4, Claim 1] The displayed matrix for the inverse metric uses notation g^{i,j} without defining it as the inverse of g_{i,j}; the notation should be clarified.
  6. [Lemma 2.4] The statement that 'second and last terms above are zero on F' is not fully demonstrated; a short computation is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the main theorem is a PDE existence statement obtained from standard a priori estimates, not from a fitted parameter or a self-citation chain.

full rationale

The derivation chain is: solve the degenerate complex Monge-Ampere equation (2.4), apply Paun's C^2 estimate (Theorem 3.1), deduce C^{2,epsilon} bounds (Proposition 3.10), apply Schauder estimates to difference quotients to obtain third and fourth derivative bounds (Theorem 1.1), and then trace the scalar curvature of the regularized-maximum glued metric (Claims 1-4 in Section 4). None of these steps defines a quantity in terms of the desired conclusion. Condition (1.2) is an explicit smallness assumption involving the exponent a(n) from Theorem 1.1; it is used as a hypothesis, not produced by the construction, so it is not a fitted input renamed as a prediction. The main theorem does not reduce to a self-citation chain: [1] supplies a technical inverse-metric lemma and asymptotic facts about omega_0, but the existence and scalar-curvature estimates for omega_{c,v,eta} are proved in this paper from standard PDE results. The proof does contain a quantitative gap: Section 3.3 moves from C^{2,epsilon} to third- and fourth-order estimates with an unspecified constant C_S = O((Lambda/lambda)^{s(n)}), and Remark 3.14 only estimates a(n) = O(n^2) by 'examining the proof' of [8]; this is a rigor concern, not circularity, because the estimates are not equivalent to the theorem's input by construction. The paper also explicitly defers the asymptotically conical improvement to [2] (Remark 4.2), which is a limitation, not a circular step. No circular step can be exhibited.

Assumptions & free parameters 5 free parameters · 8 assumptions · 0 invented entities

The existence theorem rests on several deep external results: Yau's degenerate Monge-Ampère theorem, Kołodziej's boundedness, Păun's C^2 estimate, and Schauder theory. It also assumes the algebraic conditions on l,m and F, and it uses Lemma 3.4 from the author's earlier paper [1] without proof. The construction parameters c,v,κ,η are chosen in the proof, not fitted to data.

free parameters (5)
  • c
    Large positive constant in the potential t+φ+c; chosen so that the Ricci-flat potential dominates on Y and scalar curvature becomes small as c grows.
  • v
    Small positive smoothing parameter in G_v^β; chosen small so that scalar curvature near F is O(v^{1/β}).
  • β
    Integer at least 3 used in the construction of γ_v^β; kept bounded and influences the exponent in the smallness estimate.
  • κ
    Parameter in (0,1) chosen close to 1 in Claim 2 of §4, depending on m, l and a(n), to control the growth of derivatives of φ.
  • η_i
    Smoothing scales η_1=a_1 c, η_2=a_2 c, η_3 fixed, used in the regularized maximum; chosen to control transition regions.
assumptions (8)
  • standard math Yau's theorem on solving degenerate complex Monge-Ampère equations with prescribed singular volume form, [14, Theorem 7]
    Invoked in §2.3 to obtain the Ricci-flat potential φ on X\(D∪F).
  • standard math Kołodziej's a priori estimate: bounded solution φ when the RHS lies in L^p with p>1, [11]
    Used in §2.3 and §4 to guarantee that φ is bounded on X and that the constant c can dominate it on compact sets.
  • standard math Păun's C^2 estimate for degenerate complex Monge-Ampère equations, [12]
    Used in §3.1 to obtain the upper bound θ_X+i∂∂φ ≤ A||σ_F||^{-2/l}θ_X and the ellipticity ratio.
  • domain assumption Existence of smooth F ∈ |K_X^{-l}⊗L_X^m| with D+F simple normal crossing, and very ampleness of K_X^{-l}⊗L_X^m
    Theorem 1.2 assumes these algebraic conditions; they are not proved in the paper.
  • domain assumption The positivity assumptions \hat S_D>0 and a(n)m/(2l)<\hat S_D/[n(n-1)]
    These are hypotheses of Theorem 1.2 and are used to ensure the metric near D dominates the derivative growth of φ.
  • standard math Schauder interior estimates and the De Giorgi-Nash-Moser Harnack inequality from [8]
    Used in §3.2 and §3.3 to derive C^{2,ε} and higher-order estimates for the solution φ.
  • domain assumption Lemma 3.4 from Aoi's companion paper [1]
    Invoked throughout §4 to compute scalar curvature of the glued metric; the lemma is not stated or proved in this preprint.
  • standard math Regularized maximum properties and derivative bounds from Demailly's notes, [6]
    Used in §2.4 to glue plurisubharmonic potentials while preserving lower Hessian bounds.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Almost scalar-flat K\"{a}hler metrics on affine algebraic manifolds." pith.science (2026). https://pith.science/paper/CIZMD5DN

@misc{pith2026190805583,
  author       = {Pith},
  title        = {Pith review of: Almost scalar-flat K\"ahler metrics on affine algebraic manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CIZMD5DN}},
  note         = {Machine review of arXiv:1908.05583}
}
abstract

Let $(X,L_{X})$ be an $n$-dimensional polarized manifold. Let $D$ be a smooth hypersurface defined by a holomorphic section of $L_{X}$. In this paper, we show the existence of a complete K\"{a}hler metric on $X \setminus D$ whose scalar curvature is flat away from some divisor if there are positive integers $l(>n),m$ such that the line bundle $K_{X}^{-l} \otimes L_{X}^{m}$ is very ample and the ratio $m/l$ is sufficiently small.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Toward a construction of scalar-flat K\"{a}hler metrics on affine algebraic manifolds

    T. Aoi, Toward a construction of scalar-flat K¨ ahler metrics on affine algebraic mani- folds, arXiv 1907.09780

    work page Pith review arXiv 1907

  2. [8]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger, Elliptic partial differential equation s of second order (2nd edn.), Grundlehren Math. Wiss. 224. Springer, Berlin, 1983

    work page 1983

  3. [2]

    Complete scalar-flat K\"{a}hler metrics on affine algebraic manifolds

    T. Aoi, Complete scalar-flat K¨ ahler metrics on affine algebraic man ifolds, arXiv 1910.12317

    work page Pith review arXiv 1910

  4. [3]

    Bando and R

    S. Bando and R. Kobayashi, Ricci-flat K¨ ahler metrics on affine alge braic manifolds. II, Math. Ann. 287 (1990), 175–180. Almost scalar-flat K¨ ahler metrics on affine algebraic manifolds 24

    work page 1990

  5. [4]

    B/suppress locki, On the regularity of the complex Monge-Amp` ere operator, Complex Geo- metric Analysis in Pohang (1997)

    Z. B/suppress locki, On the regularity of the complex Monge-Amp` ere operator, Complex Geo- metric Analysis in Pohang (1997). Contemp. Math., 222, Amer. Math. Soc., Providence, RI, (1999), 181–189

    work page 1997

  6. [5]

    Calabi, M´ etriques K¨ ahleriennes et fibr´ es holomorphes, Ann

    E. Calabi, M´ etriques K¨ ahleriennes et fibr´ es holomorphes, Ann. Sci. ´Ecole Norm. Sup. (4) 12 (1979), no. 2, 269–294

    work page 1979

  7. [6]

    Demailly

    J.-P. Demailly. Complex analytic and differential geometry, online bo ok available at http://www-fourier.ujf-grenoble.fr/∼demailly/manuscripts/agbook.pdf

    work page

  8. [7]

    Di Nezza and H

    E. Di Nezza and H. C. Lu, Complex Monge-Amp` ere equations on q uasi-projective varieties, J. Reine Angew. Math. (2014), DOI 10.1515/crelle-2014 -0090

    work page doi:10.1515/crelle-2014 2014

Show all 14 references
  1. [9]

    Guedj and A

    V. Guedj and A. Zeriahi, Degenerate Complex Monge-Amp` ere Equations, EMS Tracts Math, 2017

    2017

  2. [10]

    A. D. Hwang and M. A. Singer, A momentum construction for circle-invariant K¨ ahler metrics, Trans. Amer. Math. Soc. 354 (2002), no. 6, 2285–2325

    2002

  3. [11]

    Ko/suppress lodziej, The complex Monge-Amp` ere equation, Acta Math

    S. Ko/suppress lodziej, The complex Monge-Amp` ere equation, Acta Math. 180 (1998), 69–117

    1998

  4. [12]

    Pˇ aun, Regularity properties of the degenerate Monge-Amp` ere equations on com- pact K¨ ahler manifolds, Chin

    M. Pˇ aun, Regularity properties of the degenerate Monge-Amp` ere equations on com- pact K¨ ahler manifolds, Chin. Ann. Math. Ser. B. 29 (2008), 623–630

    2008

  5. [13]

    Tian and S

    G. Tian and S. T. Yau, Complete K¨ ahler manifolds with zero Ricci c urvature. II, Invent. Math. 106 (1991), no. 1, 27–60

    1991

  6. [14]

    S. T. Yau, On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equations, I, Comm. Pure Appl. Math. 31 (1978),339–411. Department of Mathematics Graduate School of Science Osaka University Toyonaka 560-0043 Japan E-mail address : t-aoi@cr.math....

    1978

Pith tools

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