Pith. sign in

REVIEW 1 major objections 29 references

Compact Kähler manifolds with uniformly bounded q-Nash entropy satisfy Sobolev-type inequalities and local volume noncollapsing with optimal exponents.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-27 08:21 UTC pith:HPFC3CJ4

load-bearing objection This paper claims to prove optimal Sobolev inequalities and local volume noncollapsing for compact Kähler manifolds under a uniform q-Nash entropy bound. the 1 major comments →

arxiv 2606.12063 v1 pith:HPFC3CJ4 submitted 2026-06-10 math.DG

Optimal geometric estimates for compact K\"ahler manifolds of a Nash entropy bound

Weiqi Zhang , Yashan Zhang This is my paper
classification math.DG
keywords Kähler manifoldNash entropySobolev inequalityvolume noncollapsingoptimal exponentgeometric estimate
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that any compact Kähler manifold whose q-Nash entropy remains uniformly bounded obeys a Sobolev-type inequality whose exponent is optimal. It further shows that the same entropy bound forces local volume noncollapsing. These statements are specific to the Kähler category and to the presence of the entropy control; without the bound the optimality claim is not made. The results supply sharp analytic and geometric control on the manifolds.

Core claim

Compact Kähler manifolds of uniformly bounded q-Nash entropy satisfy Sobolev-type inequality and local volume noncollapsing with optimal exponents.

What carries the argument

The uniform upper bound on q-Nash entropy, which directly yields the optimal exponents in the Sobolev inequality and the noncollapsing constant.

Load-bearing premise

The manifolds must be compact and Kähler and the q-Nash entropy must be uniformly bounded.

What would settle it

A compact Kähler manifold with bounded q-Nash entropy on which either the Sobolev inequality fails at the claimed optimal exponent or local volume collapses at some scale.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The Sobolev inequality holds with the dimension-dependent optimal exponent.
  • Local volume is bounded from below by a positive constant depending only on the entropy bound and dimension.
  • The exponents are sharp and cannot be improved while keeping the entropy hypothesis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Removing the entropy bound would likely allow counterexamples to optimality, showing the bound is essential.
  • Sequences of such manifolds with uniform entropy bound should admit limits that inherit the same inequalities.
  • The estimates may apply directly to Kähler-Ricci flow solutions that preserve a uniform entropy bound.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove Sobolev-type inequalities and local volume noncollapsing results with optimal exponents for compact Kähler manifolds whose q-Nash entropy is uniformly bounded.

Significance. If the claimed inequalities hold with the stated optimality, the result would supply sharp geometric controls directly tied to the entropy bound, potentially useful for analysis on Kähler manifolds and related flows. The abstract explicitly links optimality to the entropy hypothesis, which is a natural and checkable condition.

major comments (1)
  1. Abstract: the central claim is stated without any derivation steps, auxiliary lemmas, error estimates, or indication of the proof strategy. This prevents assessment of whether the optimality is achieved by the stated hypotheses or by additional implicit assumptions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: [—] Abstract: the central claim is stated without any derivation steps, auxiliary lemmas, error estimates, or indication of the proof strategy. This prevents assessment of whether the optimality is achieved by the stated hypotheses or by additional implicit assumptions.

    Authors: Abstracts are concise statements of results by design and do not contain proofs. The full derivation, including the strategy of using the uniform q-Nash entropy bound to control the constants via Kähler-specific Moser-type iteration and the verification that optimality holds exactly under this hypothesis (with equality cases on model spaces), is given in the introduction and Sections 2–4. No additional implicit assumptions are used; the entropy bound alone yields the sharp exponents, as shown by the explicit examples and error estimates in the text. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central claim is a proof of Sobolev-type inequalities and local volume noncollapsing with optimal exponents, conditioned explicitly on the uniform bound of q-Nash entropy for compact Kähler manifolds. The abstract ties optimality directly to this external entropy hypothesis without any indication that the exponents or inequalities are obtained by fitting parameters to the target quantities themselves or by renaming inputs. No self-citation load-bearing steps, self-definitional reductions, or ansatzes imported via prior work are detectable from the given text. The derivation is therefore self-contained against external benchmarks, with the entropy bound serving as an independent hypothesis rather than a constructed output.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard axioms of Kähler geometry and the definition of the q-Nash entropy functional; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption Compact Kähler manifolds admit a well-defined q-Nash entropy functional that can be uniformly bounded.
    Invoked in the first sentence of the abstract as the hypothesis under which the estimates hold.

pith-pipeline@v0.9.1-grok · 5533 in / 1149 out tokens · 20012 ms · 2026-06-27T08:21:04.203448+00:00 · methodology

0 comments
read the original abstract

We prove Sobolev-type inequality and local volume noncollapsing with optimal exponents for compact K\"ahler manifolds of uniformly bounded $q$-Nash entropy.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 5 canonical work pages · 1 internal anchor

  1. [1]

    R. J. Berman, From Monge-Amp` ere equations to envelopes and geodesic rays in the zero temperature limit, Math. Z.291(2019), no. 1-2, 365-394

    2019

  2. [2]

    Carron, In´ egalit´ es isop´ erim´ etriques de Faber-Krahn et cons´ equences, Publications de l’lnstitut Fourier, 220, 1992

    G. Carron, In´ egalit´ es isop´ erim´ etriques de Faber-Krahn et cons´ equences, Publications de l’lnstitut Fourier, 220, 1992

    1992

  3. [3]

    Cheeger, Degeneration of Riemannian Metrics under Ricci Curvature Bounds, Lezioni Fermiane (Fermi Lectures), Scuola Normale Superiore, Pisa, 2001

    J. Cheeger, Degeneration of Riemannian Metrics under Ricci Curvature Bounds, Lezioni Fermiane (Fermi Lectures), Scuola Normale Superiore, Pisa, 2001

    2001

  4. [4]

    S. Y. Cheng and P. Li, Heat kernel estimates and lower bound of eigenvalues, Comment. Math. Helv. 56 (1981), no. 3, 327-338

    1981

  5. [5]

    Do, D.-B

    T.D. Do, D.-B. Nguyen and D.-V. Vu, Non-collapsing volume estimate for local K¨ ahler metrics in big cohomology classes, Math. Z. 312 (2026), no. 4, Paper No. 113, 29 pp

    2026

  6. [6]

    Grafakos, Classical Fourier Analysis, Third Edition, GTM 249, Springer, New York, 2014

    L. Grafakos, Classical Fourier Analysis, Third Edition, GTM 249, Springer, New York, 2014

    2014

  7. [7]

    Guedj, H

    V. Guedj, H. Guenancia and A. Zeriahi, Diameter of K¨ ahler current, J. Reine Angew. Math. (Crelle’s Journal) 820 (2025), 115-152

    2025

  8. [8]

    Guedj and C

    V. Guedj and C. H. Lu, Quasi-plurisubharmonic envelopes 1: uniform estimates on K¨ ahler manifolds, J. Eur. Math. Soc. 27, 1185-1208 (2025) 20 WEIQI ZHANG AND YASHAN ZHANG

    2025

  9. [9]

    Guedj and T

    V. Guedj and T. D. Tˆ o, K¨ ahler families of Green’s functions, J. ´Ec. polytech. Math. 12 (2025), 319-339

    2025

  10. [10]

    Guo, D.H

    B. Guo, D.H. Phong and J. Sturm, Green’s functions and complex Monge-Amp` ere equations, J. Differential Geom.127(2024), no. 3, 1083-1119

    2024

  11. [11]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm. Diameter estimates in K¨ ahler geometry, Comm. Pure Appl. Math.77(2024), no. 8, 3520-3556

    2024

  12. [12]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm. Diameter estimates in K¨ ahler geometry II: removing the small degeneracy assumption, Math. Z. 308, 43 (2024)

    2024

  13. [13]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm. Sobolev inequalities on K¨ ahler spaces, arXiv:2311.00221

    work page arXiv

  14. [14]

    Guo, D.H

    B. Guo, D.H. Phong and F. Tong, OnL ∞ estimates for complex Monge-Amp` ere equations, Ann. Math. (2) 198 (2023), no. 1, 393-418

    2023

  15. [15]

    Guo, D.H

    B. Guo, D.H. Phong, F. Tong and C. Wang, OnL ∞ estimates for Monge-Amp` ere and Hessian equations on nef classes, Anal. PDE 17 (2024), no. 2, 749-756

    2024

  16. [16]

    Guo and J

    B. Guo and J. Song, Local noncollapsing for complex Monge-Amp` ere equations, J. Reine Angew. Math.793(2022), 225-238

    2022

  17. [17]

    Hebey, Nonlinear analysis on manifolds: Sobolev spaces and inequalities, Courant Lecture Notes in Mathematics, 5, New York Univ., Courant Inst

    E. Hebey, Nonlinear analysis on manifolds: Sobolev spaces and inequalities, Courant Lecture Notes in Mathematics, 5, New York Univ., Courant Inst. Math. Sci., New York, 1999 Amer. Math. Soc., Providence, RI, 1999

    1999

  18. [18]

    Le, Analysis of Monge-Amp` ere equations, Grad

    N.Q. Le, Analysis of Monge-Amp` ere equations, Grad. Stud. Math. 240, American Mathematical Society, Providence, RI, 2024

    2024

  19. [19]

    Li, Geometric Analysis, Cambridge Stud

    P. Li, Geometric Analysis, Cambridge Stud. Adv. Math., 134, Cambridge University Press, Cam- bridge, 2012

    2012

  20. [20]

    Liu, On relativeL ∞ estimate for complex Monge-Amp` ere equation, arXiv:2410.04393 (2024)

    J. Liu, On relativeL ∞ estimate for complex Monge-Amp` ere equation, arXiv:2410.04393 (2024)

    work page arXiv 2024

  21. [21]

    Nguyen and D.-T

    D.-B. Nguyen and D.-T. Vu, Uniform diameter estimates for K¨ ahler metrics in big cohomology classes, arXiv:2410.18532

    work page arXiv

  22. [22]

    Tian, On K¨ ahler-Einstein metrics on certain K¨ ahler manifolds withC1(M)>0, Invent

    G. Tian, On K¨ ahler-Einstein metrics on certain K¨ ahler manifolds withC1(M)>0, Invent. Math. 89(1987), no. 2, 225-246

    1987

  23. [23]

    Tian and X.J

    G.J. Tian and X.J. Wang, A class of Sobolev type inequalities, Methods Appl. Anal.15(2008), no. 2, 263-276

    2008

  24. [24]

    Vu, Uniform diameter and non-collapsing estimates for K¨ ahler metrics, J

    D.-V. Vu, Uniform diameter and non-collapsing estimates for K¨ ahler metrics, J. Geom. Anal. 36 (2026), no. 2, Paper No. 75, 34 pp

    2026

  25. [25]

    Wang and B

    J. Wang and B. Zhou, Sobolev inequalities and regularity of the linearized complex Monge-Amp` ere and Hessian equations, Trans. Amer. Math. Soc.378(2025), no. 1, 447-475

    2025

  26. [26]

    Yau, On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation, I, Comm

    S.-T. Yau, On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation, I, Comm. Pure Appl. Math. 31 (1978), 339-411

    1978

  27. [27]

    Complex Monge-Amp\`ere equation in Orlicz space and Diameter Bound

    L. Zhang and Z.L. Zhang, Complex Monge-Amp` ere equation in Orlicz space and diameter bound, arXiv:2601.09893

    work page internal anchor Pith review arXiv

  28. [28]

    Zhang, Sobolev inequalities, heat kernels under Ricci flow and the Poincar´ e conjecture, CRC- Press, Boca Raton, FL, 2011

    Q.S. Zhang, Sobolev inequalities, heat kernels under Ricci flow and the Poincar´ e conjecture, CRC- Press, Boca Raton, FL, 2011

    2011

  29. [29]

    Zhang and Y.S

    W. Zhang and Y.S. Zhang, Green’s function estimates for compact K¨ ahler manifolds and applica- tions, arXiv:2508.13646v2 Hunan University, Changsha, China Email address:weiqizhang@hnu.edu.cn Email address:yashanzh@hnu.edu.cn

    work page arXiv