Pith. sign in

REVIEW 3 major objections 5 minor 50 references

Estimates of heat kernels and Sobolev-type inequalities for twisted differential forms on compact K\"ahler manifolds

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read A scalar Sobolev inequality plus a curvature lower bound forces Gaussian heat kernel bounds for bundle-valued forms on compact Kähler manifolds, and from these bounds come Sobolev inequalities for twisted forms.

desk verdict A real extension of the GPSS/Guedj-Tô scalar Sobolev machinery to twisted forms, but the central Gaussian heat kernel bound has a fixable algebra error and the key comparison theorem is invoked without stating its hypotheses. read the letter →

arxiv 2507.09486 v1 pith:3PQMV5A2 submitted 2025-07-13 math.CV math.DG

classification math.CVmath.DG MSC 32W0558J3553C55
keywords heatkernelestimatestwisteddifferentialformsSobolevinequalitiesKählermanifoldsWeitzenböckcurvatureholomorphicvectorbundlesGreen∂̄-operator
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 aims to extend Sobolev-type inequalities from plain functions to twisted differential forms—sections of $\Lambda^{p,q}T^*M \otimes E$, where $E$ is a Hermitian holomorphic vector bundle—on compact Kähler manifolds. The route is a heat kernel estimate: assuming a scalar Sobolev inequality for functions and a lower bound $\operatorname{Ric}^E_{p,q} \ge -K$ on the Weitzenböck curvature operator, the authors prove Gaussian upper bounds for the heat kernel of the $\bar{\partial}$-Laplacian on twisted forms, with explicit dependence on the Sobolev constants and $K$. From that bound they derive Sobolev-type inequalities for forms, pointwise estimates of Green forms, a vanishing theorem for Dolbeault cohomology, and $L^{k,s}$-estimates for the $\bar{\partial}$-operator. If correct, these results transfer to twisted forms a body of estimates previously known only for functions, with constants explicit enough to be used in Kähler family settings.

What carries the argument

The load-bearing object is the heat kernel $H_{p,q}(t,x,y)$ of the $\bar{\partial}$-Laplacian $\square_{p,q}$ on $\Lambda^{p,q}T^*M \otimes E$, together with the Weitzenböck curvature operator $\operatorname{Ric}^E_{p,q} := 2\square_{p,q} - \nabla^*\nabla$, used through the Bochner-Weitzenböck formula. The proof transfers a Gaussian upper bound for the scalar heat kernel—itself obtained from the scalar Sobolev inequality by a standard argument—to the twisted heat kernel through a comparison inequality $|H_{p,q}(t,x,y)| \le e^{Kt}H(t,x,y)$. A Moser iteration scheme for solutions of the heat equation upgrades the $C^0$ estimate to $C^1$ estimates of $\bar{\partial} H_{p,q}$ and $\bar{\partial}^* H_{p,q}$. The Sobolev inequalities for forms then come from representing the pseudo-differential operator $\square_{p,q}^{-1/2}$ as an integral of the heat kernel, proving weak-type bounds for it, and interpolating by Marcinkiewicz to get $L^k$ bounds on $f - Pf$.

What would settle it

On a compact Kähler manifold where the scalar Sobolev inequality holds with explicit constants and the spectrum of $\square_{p,q}$ is computable (for example $\mathbb{CP}^1$ with the Fubini-Study metric and a twist line bundle $O(-k)$), evaluate the heat kernel diagonal $H_{p,q}(t,x,x)$ numerically from the eigenfunction expansion and compare it with $C(\alpha) \beta^{\alpha/(\alpha-1)} e^{Kt+\gamma t/\beta} t^{\alpha/(1-\alpha)}$; a single point $(t,x)$ where the bound fails would refute Theorem 1.1(i).

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: under the scalar Sobolev inequality $(\int_M |f|^{2\alpha})^{1/\alpha} \le \beta \int_M |\nabla f|^2 + \gamma \int_M |f|^2$ and the curvature condition $\operatorname{Ric}^E_{p,q} \ge -K$, the heat kernel $H_{p,q}(t,x,y)$ of the $\bar{\partial}$-Laplacian on $E$-valued $(p,q)$-forms satisfies $|H_{p,q}(t,x,y)| \le C(\alpha) \beta^{\alpha/(\alpha-1)} e^{Kt+\gamma t/\beta} t^{\alpha/(1-\alpha)} e^{-d(x,y)^2/(9t)}$. From this the paper derives, among other things, the Sobolev-type inequality $(\int_M |f-Pf|^{2\alpha})^{1/\alpha} \le C V^{1/\alpha-1}(1+\eta)^2 (\int_M |\bar{\partial} f|^2 + \int_M |\bar{\partial}^* f|^2)$ for forms, with $P$ the Bergman projection, uniform over Kähler families satisfying entropy bounds and $\operatorname{Ric}^E_{p,q} \ge -K$. It also proves Green form estimates $|G_{p,q}(x,y)| \le C d(x,y)^{2/(1-\alpha)} + C$, a vanishing theorem when $\operatorname{Ric}^E_{p,q}$ is nonnegative and positive somewhere, and $L^{k,s}$-solutions of $\bar{\partial} u = f$ among twisted forms.

Load-bearing premise

The proof leans on a comparison theorem that bounds the twisted-form heat kernel by the scalar heat kernel times $e^{Kt}$, and the paper uses that theorem without stating its precise hypotheses; if the theorem requires stronger curvature or metric conditions than $\operatorname{Ric}^E_{p,q} \ge -K$, the Gaussian bound and every estimate built on it would need reworking.

Editorial extensions

If this is right

  • Uniform Sobolev inequalities for twisted forms hold on Kähler families satisfying diameter, entropy, and curvature bounds, with constants depending only on the family parameters and the first nonzero eigenvalue.
  • The Green form of $\square_{p,q}$ is pointwise controlled by powers of the distance, giving explicit kernel bounds usable in potential theory on forms.
  • A vanishing theorem: if $\operatorname{Ric}^E_{p,q} \ge b \ge 0$ with $b > 0$ somewhere, then $H^{p,q}(M,E) = 0$, and the $\bar{\partial}$-equation is solvable in $L^k$ with $L^s$ data.
  • The heat kernel estimate yields a lower bound $\mu_{1,\omega} \ge c/I_\omega$ for the first nonzero eigenvalue of $\square_{p,q,\omega}$ in the family setting with $K = 0$.

Reading between the lines

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

  • Beyond the paper: the explicit constant dependence in Theorem 1.1(i) suggests the Gaussian bound survives on complete noncompact Kähler manifolds satisfying the same scalar Sobolev inequality, which the paper notes only in passing.
  • Beyond the paper: because the argument never defines a Monge-Ampère operator for forms, the same strategy—scalar Sobolev inequality plus a comparison theorem—could produce form-level Sobolev inequalities on spaces where scalar Sobolev bounds are already available, such as singular or non-Kähler settings.
  • Beyond the paper: the $\eta$ factor in the family inequality depends on $\mu_{1,\omega}$; combining the new eigenvalue lower bound with the main estimate could make the family constants fully explicit and remove the $\mu_1$ dependence from the Sobolev inequality.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves heat kernel upper bounds for the \bar\partial-Laplacian on E-valued (p,q)-forms on a compact K\"ahler manifold, assuming a scalar Sobolev inequality and a lower bound on the Weitzenb\"ock curvature operator. From these bounds it derives estimates for Green forms, Sobolev-type inequalities for twisted differential forms, a vanishing theorem, L^{k,s}-estimates for \bar\partial, and versions for families of K\"ahler metrics satisfying entropy bounds, thereby generalizing results of Guo\-Phong\-Song\-Sturm and Guedj\-T\^o to the twisted-form setting.

Significance. If the proofs are completed, the paper would give a substantial and useful generalization: a scalar Sobolev inequality is upgraded to a Sobolev-type inequality for forms twisted by a Hermitian holomorphic vector bundle, with explicit dependence of constants on the Sobolev constants, curvature lower bounds, and the spectral gap. The paper also contains a new lower bound for the first nonzero eigenvalue of the twisted \bar\partial-Laplacian and a vanishing theorem. The overall strategy is transparent, many steps are standard with tracked constants, and the advertised applications are concrete and falsifiable.

major comments (3)
  1. [§3, proof of Theorem 1.1(i), Eqs. (3.19)–(3.20)] The choice b := 10(φ(y)−φ(x))/41 in (3.19) gives the exponent (41/20)b²T + b(φ(x)−φ(y)) = ((5T−10)/41)(φ(x)−φ(y))², which contains no 1/T factor and cannot yield the claimed Gaussian decay e^{−d(x,y)²/(9T)}; for T→0 the exponent tends to a finite constant rather than to −∞. The argument is repaired by taking b := 10(φ(y)−φ(x))/(41T), which produces e^{−5d(x,y)²/(41T)} and hence implies the stated 1/9 bound, but as written the proof of the central heat kernel estimate contains a concrete algebraic error.
  2. [§3, Eq. (3.12)] The domination |H_{p,q}(t,x,y)| ≤ e^{Kt}H(t,x,y) is invoked from [LX10, Theorem 4.3] without stating the hypotheses of that theorem. This comparison is the only mechanism transferring the scalar Gaussian bound to the E-valued (p,q)-form heat kernel, and every later estimate depends on it. The authors must verify explicitly that [LX10, Theorem 4.3] applies under the paper's assumptions, namely the scalar Sobolev inequality (♣) and Ric^E_{p,q} ≥ −K; if the theorem requires additional hypotheses (for example, a lower bound on the base Ricci curvature or some positivity condition), then Theorem 1.1(i) is not proved at the advertised level of generality.
  3. [§6, Proposition 6.6] The proof derives the pointwise operator-norm bound |H_{p,q,ω}(t,x,x)| ≤ Vω^{-1}(1 + C e^{−c Iω^{-1}t}) and then states that 'taking traces' yields b_{p,q,ω} + e^{−µ1,ω t} ≤ 1 + C e^{−c Iω^{-1}t}. Since the displayed bound is on the operator norm of the endomorphism-valued heat kernel, the fiber trace is bounded by the fiber dimension of Λ^{p,q}T^*X⊗E times the displayed quantity, not by the same quantity. Moreover, if b_{p,q,ω} > 1, the left-hand side tends to b_{p,q,ω} as t→∞ while the right-hand side tends to 1, so the asserted inequality is impossible in general. This invalidates the derivation of µ1,ω ≥ c/Iω and hence the second part of Theorem 1.8; a different argument is needed.
minor comments (5)
  1. [Corollary 4.3] The constant in the statement is written as 'C := (k, ℓ, α, β, γ, µ1, K,|M |)' with the 'C' missing after ':='; it should read 'C := C(k, ℓ, α, β, γ, µ1, K,|M |)'.
  2. [References] The reference [LX10] is cited with page numbers '620-247'; the page range appears to be incomplete (likely 620-647) and should be corrected.
  3. [§3, Eq. (3.21)] After taking Lipschitz functions to converge to the distance function, the exponent in (3.21) should be d(x,y)²/(9T) rather than (φ(x)−φ(y))²/(9T); the notation currently leaves the distance dependence implicit.
  4. [Lemma 3.8] The phrase 'Moiser iteration' should read 'Moser iteration'.
  5. [Section 6 / Theorem 1.8] The proof of Theorem 1.8 relies on Lemma 6.1 from the unpublished preprint [GPSS23]; the authors should indicate the current status of [GPSS23] and state the precise hypotheses of the cited result so that the dependence of the main theorem on an external preprint is transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the twisted-form heat-kernel and Sobolev-type estimates are derived from the scalar Sobolev inequality and a curvature lower bound via an external comparison theorem, not assumed.

full rationale

The claimed derivation is an input-output chain. Theorem 1.1(i) takes as hypotheses the scalar Sobolev inequality (♣) and RicE_{p,q} ≥ −K. The Gaussian bound for the scalar heat kernel is derived from (♣) by the Davies argument credited to [D90], [SC02], [Z11], and following [GPSS23, Section 5], while the passage from the scalar heat kernel to the twisted-form heat kernel is the external comparison theorem |H_{p,q}(t,x,y)| ≤ e^{Kt}H(t,x,y) of [LX10, Theorem 4.3], quoted at equation (3.12). No term appearing in the later Green-form, Sobolev-type, or Lq,p conclusions is a fitted parameter taken from those same conclusions; the constants are explicit functions of α, β, γ, K, µ1, r, and the manifold data. The self-citations [DHQ24, DHQ25] appear only as technical shortcuts, for example 'as in [DHQ24]' for a Schur-test argument and 'ideas from [DHQ25]' for deriving Corollaries 1.4 and 1.5; they do not supply the core twisted-form heat-kernel bound or the scalar Sobolev input, and Theorem 1.1 is proved from [LX10] plus the Davies argument. Whether [LX10, Theorem 4.3] holds under exactly the stated hypotheses is a correctness question, not a circularity one. No equation in the paper reduces by construction to a prior equation or renames a known result as a new one, so there is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central results rest on standard geometric analysis inputs: the scalar Sobolev inequality for functions (imported from [GPSS23] in the family setting), Weitzenböck curvature lower bounds for the form Laplacian, a cited heat kernel comparison, and classical tools such as Moser iteration, Marcinkiewicz interpolation, and Hodge theory. No parameters are fitted to data and no new entities are introduced.

assumptions (6)
  • domain assumption Scalar Sobolev inequality (♣): (∫_M |f|^{2α})^{1/α} ≤ β ∫_M |∇f|² + γ ∫_M |f|² for all smooth f.
    Assumed in Theorem 1.1; in the family setting this is imported from the preprint [GPSS23, Lemma 6.1] under entropy bounds. The paper does not prove it.
  • domain assumption Weitzenböck curvature lower bounds Ric^E_{p,q} ≥ -K, Ric^E_{p,q+1} ≥ -K+, Ric^E_{p,q-1} ≥ -K-.
    Used in the Bochner-Weitzenböck formulas and heat kernel comparisons that drive Theorem 1.1 and its corollaries.
  • standard math Heat kernel comparison |H_{p,q}(t,x,y)| ≤ e^{Kt} H(t,x,y) from [LX10, Theorem 4.3].
    Cited without proof at the start of the proof of Theorem 1.1(i); it transfers the scalar Gaussian bound to twisted forms.
  • standard math Davies and Saloff-Coste theory: a Sobolev inequality implies a Gaussian upper bound for the heat kernel of functions.
    The paper's sketch of this implication contains an algebra error in the b substitution; the underlying theorem is standard.
  • standard math Bishop-Gromov volume comparison and standard spectral decomposition for the Hodge Laplacian on a compact manifold.
    Used in Corollary 1.2 and in the eigenfunction expansions of Section 3.
  • standard math Marcinkiewicz interpolation theorem for sublinear operators.
    Used to pass from the weak-type bound in Lemma 4.2 to the strong-type estimates in Corollary 4.3 and Theorem 6.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Estimates of heat kernels and Sobolev-type inequalities for twisted differential forms on compact K\"ahler manifolds." pith.science (2026). https://pith.science/paper/3PQMV5A2

@misc{pith2026250709486,
  author       = {Pith},
  title        = {Pith review of: Estimates of heat kernels and Sobolev-type inequalities for twisted differential forms on compact K\"ahler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3PQMV5A2}},
  note         = {Machine review of arXiv:2507.09486}
}
abstract

The main goal of this paper is to generalize the Sobolev-type inequalities given by Guo-Phong-Song-Sturm and Guedj-T\^o from the case of functions to the framework of twisted differential forms. To this end, we establish certain estimates of heat kernels for differential forms with values in holomorphic vector bundles over compact K\"ahler manifolds. As applications of these estimates, we also prove a vanishing theorem and give certain $L^{q,p}$-estimates for the $\bar\partial$-operator on twisted differential forms.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 49 canonical work pages

  1. [1]

    Aubin, Nonlinear analysis on manifolds, Monge-Amp\'ere equations, Grundlehren Math

    T. Aubin, Nonlinear analysis on manifolds, Monge-Amp\'ere equations, Grundlehren Math. Wiss., 252, Springer-Verlag, New York, 1982, xii+204 pp

  2. [2]

    Berndtsson, An eigenvalue estimate for the -Laplacian, J

    B. Berndtsson, An eigenvalue estimate for the -Laplacian, J. Differential Geom. 60 (2002), no. 2 , 295–313

  3. [3]

    Baumgarth, B

    R. Baumgarth, B. Devyver and B. Güneysu, Estimates for the covariant derivative of the heat semigroup on differential forms, and covariant Riesz transforms, Math. Ann. 386 (2023), no. 3-4 , 1753–1798

  4. [4]

    Chen, and L

    Y. Chen, and L. Wu, Second order elliptic equations and elliptic systems, Transl. Math. Monogr., 174, American Mathematical Society, Providence, RI, 1998, xiv+246 pp

  5. [5]

    S. Y. Cheng and P. Li, Heat kernel estimates and lower bound of eigenvalues, Comment. Math. Helvetici 56 (1981) 327–338

  6. [6]

    S. Y. Cheng, P. Li and Yau, S. T, On the upper estimate of the heat kernel of a complete Riemannian manifold, Amer. J. Math. 103 (1981), 1021–1063

  7. [7]

    Cianchi and V

    A. Cianchi and V. Maz'ya, Sobolev inequalities in arbitrary domains, Adv. Math. 293 (2016), 644-696

  8. [8]

    Davies, Heat kernels and spectral theory, Cambridge Tracts in Mathematics, 92

    E.B. Davies, Heat kernels and spectral theory, Cambridge Tracts in Mathematics, 92. Cambridge University Press, Cambridge, 1990

Show all 50 references
  1. [9]

    J. P. Demailly, Complex analytic and differential geometry, electric book, Version of Thursday June 21,2012, available on the author's homepage

  2. [10]

    F. Deng, G. Huang, and X. Qin, Uniform estimates of Green's functions and Sobolev-type inequalities on real and complex manifolds, Preprint, Arxiv: 2409.19353 (2024)

  3. [11]

    F. Deng, G. Huang, and X. Qin. Some Sobolev-type inequalities for twisted differential forms on real and complex manifolds, Preprint, Arxiv: 2501.05697 (2025)

  4. [12]

    F. Deng, W. Jiang, and X. Qin, Sobolev-type inequality and an improved L^2 -estimate

  5. [13]

    Donnelly and P

    H. Donnelly and P. Li, Lower bounds for the eigenvalues of Riemannian manifolds , Michigan Math. J. 29 (1982), no. 2 , 149–161

  6. [14]

    G. B. Folland, Introduction to partial differential equations, Second edition, Princeton University Press, Princeton, NJ, 1995. xii+324 pp

  7. [15]

    Egidi, K

    M. Egidi, K. Gittins, G. Habib, and N. Peyerimhoff, Eigenvalue estimates for the magnetic Hodge Laplacian on differential forms, J. Spectr. Theory 13 (2023), no. 4 , 1297–1343

  8. [16]

    Fabes, N

    E.B. Fabes, N. Garofalo, and S. Salsa, A backward Harnack inequality and Fatou theorem for nonnegative solutions of parabolic equations, Illinois J. Math. 30 (1986) 536–565

  9. [17]

    Gallot and D

    S. Gallot and D. Meyer, Opérateur de courbure et laplacien des formes différentielles d’une variété riemannienne, J. Math. Pures Appl. (9) 54 (1975), no. 3 , 259–284

  10. [18]

    Guo, D.H

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

  11. [19]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm, Diameter estimates in Kähler geometry, Preprint, Arxiv: 2209.09428 (2022)

  12. [20]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm, Sobolev inequalities on Kähler spaces, Preprint, Arxiv: 2311.00221 (2023)

  13. [21]

    Guo, D.H

    B. Guo, D.H. Phong, J. Song and J. Sturm, Diameter estimates in Kähler geometry II: removing the small degeneracy assumption, Math. Z. 308 (2024), no. 3 , Paper No. 43, 7 pp

  14. [22]

    Guo, Bin, D.H

    B. Guo, Bin, D.H. Phong, J.Song, J. Sturm,

  15. [23]

    Gilbarg and N.S

    D. Gilbarg and N.S. Trudinger, Elliptic partial differential equations of second order, Reprint of the 1998 edition Classics Math., Springer-Verlag, Berlin, 2001. xiv+517 pp

  16. [24]

    Gol'dshtein and M

    V. Gol'dshtein and M. Troyanov, Sobolev inequalities for differential forms and L_ q,p -cohomology , J. Geom. Anal. 16 (2006), no. 4 , 597–631

  17. [25]

    Guedj and T

    V. Guedj and T. Tô, Kähler families of Green's functions, Preprint, Arxiv: 2405.17232 (2024)

  18. [26]

    Gr\"uter and K

    M. Gr\"uter and K. O. Widman, The Green function for uniformly elliptic equations, Manuscripta Math. 37 (1982), no. 3 , 303–342

  19. [27]

    Hao, Lecture notes on harmonic analysis, Available online at http://www.math.ac.cn/kyry/hcc/teach/201912/P020200428625504254918.pdf

    C. Hao, Lecture notes on harmonic analysis, Available online at http://www.math.ac.cn/kyry/hcc/teach/201912/P020200428625504254918.pdf

  20. [28]

    H\"ormander, L^p -estimates for (pluri-) subharmonic functions, Math

    L. H\"ormander, L^p -estimates for (pluri-) subharmonic functions, Math. Scand. 20 (1967), 65–78

  21. [29]

    Hebey, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lect

    E. Hebey, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lect. Notes Math., 5, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1999. x+309 pp

  22. [30]

    S. G. Krantz, Function Theory of Several Complex Variables, Reprint of the 1992 edition, AMS Chelsea Publishing, Providence, RI, 2001, xvi+564 pp

  23. [31]

    Laurent, Uniformly elliptic operators on Riemannian manifolds, J

    S. Laurent, Uniformly elliptic operators on Riemannian manifolds, J. Differential Geom. 36 (1992), no. 2 , 417–450

  24. [32]

    Krantz, calculation and estimation of the Poisson kernel,J

    G. Krantz, calculation and estimation of the Poisson kernel,J. Math. Anal. Appl, 302(2005), 143-148

  25. [33]

    Li, On the strong L^p -Hodge decomposition over complete Riemannian manifolds, J

    X. Li, On the strong L^p -Hodge decomposition over complete Riemannian manifolds, J. Funct. Anal. 257 (2009), no. 11 , 3617-3646

  26. [34]

    Li, Riesz transforms on forms and L^p -Hodge decomposition on complete Riemannian manifolds, Rev

    X. Li, Riesz transforms on forms and L^p -Hodge decomposition on complete Riemannian manifolds, Rev. Mat. Iberoam. 26 (2010), no. 2 , 481-528

  27. [35]

    Li, Geometric analysis, Cambridge Stud

    P. Li, Geometric analysis, Cambridge Stud. Adv. Math., 134, Cambridge University Press, Cambridge, 2012, x+406 pp

  28. [36]

    Li, L^ p -estimates and existence theorems for the -operator on complete Riemannian manifolds , Adv.Math

    X. Li, L^ p -estimates and existence theorems for the -operator on complete Riemannian manifolds , Adv.Math. 224(2010),no.2,620-247

  29. [37]

    Z. Lu, Q. Zhang and Meng Zhu, Gradient and eigenvalue estimates on the canonical bundle on K\"ahler manifolds, J. Geom. Anal. 31 (2021), no. 10 , 10304-10335

  30. [38]

    Maggi and C

    F. Maggi and C. Villani, Balls have the worst best Sobolev inequalities, J. Geom. Anal. 15 (2005), no. 1 , 83-121

  31. [39]

    Nicolaescu, Lectures on the geometry of manifolds, Third edition, World Scientific Publishing Co

    L.I. Nicolaescu, Lectures on the geometry of manifolds, Third edition, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2021], 2021. xviii+682 pp

  32. [40]

    Robert, Existence et asymptotiques optimales des fonctions de Green des opérateurs elliptiques d’ordre deux,

    F. Robert, Existence et asymptotiques optimales des fonctions de Green des opérateurs elliptiques d’ordre deux,

  33. [41]

    Rosenberg and D

    S. Rosenberg and D. Yang, Bounds on the fundamental group of a manifold with almost nonnegative Ricci curvature, J. Math. Soc. Japan 46 (1994), no. 2, 267–287

  34. [42]

    Rumin, Spectral density and Sobolev inequalities for pure and mixed states, Geom

    M. Rumin, Spectral density and Sobolev inequalities for pure and mixed states, Geom. Funct. Anal. 20 (3) (2010), 817–844

  35. [43]

    Schwarz, Hodge decomposition—a method for solving boundary value problems, Lecture Notes in Math., 1607, Springer-Verlag, Berlin, 1995

    G. Schwarz, Hodge decomposition—a method for solving boundary value problems, Lecture Notes in Math., 1607, Springer-Verlag, Berlin, 1995. viii+155 pp

  36. [44]

    Scott, L^p theory of differential forms on manifolds, Trans

    C. Scott, L^p theory of differential forms on manifolds, Trans. Amer. Math. Soc. 347 (1995), no. 6 , 2075–2096

  37. [45]

    Aspects of Sobolev-Type Inequalities, Cambridge Univ

    Saloff-Coste, L. Aspects of Sobolev-Type Inequalities, Cambridge Univ. Press, Cambridge (2002)

  38. [46]

    Schoen and S

    R. Schoen and S. T. Yau, Lectures on differential geometry, Conf. Proc. Lecture Notes Geom. Topology, I International Press, Cambridge, MA, 1994, v+235 pp

  39. [47]

    Wang, The Calderón-Zygmund inequality on a compact Riemannian manifold, Pacific J

    C. Wang, The Calderón-Zygmund inequality on a compact Riemannian manifold, Pacific J. Math. 217 (2004), no. 1 , 181–200

  40. [48]

    Wang and L

    J. Wang and L. Zhou, Gradient estimate for eigenforms of Hodge Laplacian, Math. Res. Lett. 19 (2012), no. 3 , 575–588

  41. [49]

    Zhu, A generalization of the Kodaira vanishing theorem and the Kodaira embedding theorem, Thesis (Ph.D.)–Boston University ProQuest LLC, Ann Arbor, MI, 1994, 69 pp

    Y. Zhu, A generalization of the Kodaira vanishing theorem and the Kodaira embedding theorem, Thesis (Ph.D.)–Boston University ProQuest LLC, Ann Arbor, MI, 1994, 69 pp

  42. [50]

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

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

Pith tools

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