pith. sign in

arxiv: 2509.15081 · v2 · submitted 2025-09-18 · 🧮 math.DG · math.SP

Lower bounds for the eigenvalues of the Hodge Laplacian on certain non-convex domains

Tirumala Chakradhar , Pierre Nicolle-Guerini This is my paper

Pith reviewed 2026-05-18 15:56 UTC · model grok-4.3

classification 🧮 math.DG math.SP
keywords boundslowercertaineigenvalueboundarydomainsgeometricpositive
0
0 comments X

The pith

Derives explicit geometric lower bounds for Hodge Laplacian eigenvalues on specific non-convex domains and manifolds with boundary using Čech-de Rham isomorphism and gluing lemmas, emphasizing the contact radius.

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

The Hodge Laplacian is an operator on differential forms that measures how fields or 'vibrations' behave on a shape. The smallest positive eigenvalue tells how quickly the lowest non-constant mode decays or oscillates. For ring-like regions that are not convex, with a round hole inside a convex outer wall, the authors give lower bounds on this eigenvalue that depend on the geometry, particularly a quantity called the contact radius. They extend the idea to convex shapes with several holes and bound some higher eigenvalues as well. For one-forms on any compact manifold with boundary, they supply a general lower bound on the first exact eigenvalue that can outperform the classical Cheeger inequality under suitable conditions. The proofs combine local information via an isomorphism between Čech and de Rham cohomology to produce Poincaré inequalities with explicit constants, then glue these together using a generalized Cheeger-McGowan lemma. The contact radius appears essential; without it the bounds may fail.

Core claim

We establish geometric lower bounds for the smallest positive eigenvalue of the Hodge Laplacian in the class of non-convex domains given by Euclidean annular regions with a convex outer boundary and a spherical inner boundary. These bounds are then extended to convex domains with multiple holes, where we derive lower bounds for certain higher order exact eigenvalues, and under additional geometric assumptions, also for the smallest positive eigenvalue.

Load-bearing premise

The lower bounds require a positive contact radius; the paper emphasises the necessity of the contact radius in the lower bounds of the main results, suggesting that the geometric control fails or becomes trivial without it.

Figures

Figures reproduced from arXiv: 2509.15081 by Pierre Nicolle-Guerini, Tirumala Chakradhar.

Figure 5
Figure 5. Figure 5: A p ϵ , A p 0 , and cross-section of A p ϵ for n = 3, p = 1 [PITH_FULL_IMAGE:figures/full_fig_p020_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Laguerre-Voronoi diagram Consider the Laguerre-Voronoi diagram (also known as the power diagram) [AKL13, Section 6.2] of D, with centers {ci} h i=1 and the corresponding weights {r 2 i } h i=1. This gives a partition of D into h many subregions (known as “cells”) given by Ci :=  x ∈ D : ∥x − ci∥ 2 − r 2 i ≤ ∥x − cj∥ 2 − r 2 j , ∀ j ∈ {1, . . . , h} [PITH_FULL_IMAGE:figures/full_fig_p024_6.png] view at source ↗
Figure 8
Figure 8. Figure 8: Cěch–de Rham formalism For ω ∈ Ω p (M), we denote by ωi the restriction of ω to Ui . Let r : Ωp (M) → Qk0 i=1 Ω p (Ui) denote the restriction map, and ˆδ denote the difference operator as defined in [McG93, Section 2.3]: ˆδ : YΩ p (Ui0...im) → YΩ p (Ui0...im+1 ) ( ˆδω)i0...im+1 := mX +1 s=0 (−1)s ωi0...ˆis...im+1 , where the caret in the subscript means omission, and we only consider non-trivial intersecti… view at source ↗
read the original abstract

We establish geometric lower bounds for the smallest positive eigenvalue of the Hodge Laplacian in the class of non-convex domains given by Euclidean annular regions with a convex outer boundary and a spherical inner boundary. These bounds are then extended to convex domains with multiple holes, where we derive lower bounds for certain higher order exact eigenvalues, and under additional geometric assumptions, also for the smallest positive eigenvalue. For $1$-forms on compact manifolds with boundary, we provide a general lower bound on the smallest exact eigenvalue - corresponding to the first positive Neumann eigenvalue - which, in certain respects, is better than the classical Cheeger inequality. Furthermore, we emphasise the necessity of the "contact radius" in the lower bounds of the main results. Our proofs employ local-to-global arguments via an explicit isomorphism between \v{C}ech cohomology and de Rham cohomology to obtain Poincar\'e-type inequalities with explicit geometric dependence, and utilise certain generalised versions of the Cheeger-McGowan gluing lemma.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to establish explicit geometric lower bounds for the smallest positive eigenvalue of the Hodge Laplacian on 1-forms for non-convex annular domains with convex outer boundary and spherical inner boundary. These are extended to convex domains with multiple holes, yielding bounds on certain higher-order exact eigenvalues and, under extra geometric assumptions, on the smallest positive eigenvalue. A general lower bound is given for the smallest exact eigenvalue on compact manifolds with boundary (corresponding to the first positive Neumann eigenvalue), claimed to improve on the classical Cheeger inequality in certain respects. Proofs rely on an explicit Čech-de Rham cohomology isomorphism to produce Poincaré inequalities with explicit geometric dependence, combined with generalised Cheeger-McGowan gluing lemmas; the necessity of a positive contact radius is emphasised throughout.

Significance. If the claimed geometric dependence on the contact radius holds, the results would supply new explicit lower bounds for Hodge eigenvalues on domains with holes, extending spectral geometry techniques beyond convex settings. The use of cohomology tools for controlled constants and the general manifold-with-boundary bound represent potential strengths, provided the boundary compatibility is fully verified.

major comments (2)
  1. [§3] §3 (Čech-de Rham isomorphism and Poincaré inequality construction): The isomorphism is invoked to obtain explicit geometric Poincaré inequalities for the Hodge Laplacian, but it is unclear whether the map is constructed to preserve the Neumann boundary conditions on the spherical inner boundary of the annular region. If the isomorphism is applied only interior to the domain, the resulting lower bound on the smallest exact eigenvalue may lose its claimed dependence on the contact radius, undermining the central extension to domains with holes.
  2. [§4] §4 (generalised Cheeger-McGowan gluing lemma): The error estimates in the gluing step must explicitly track the contact radius to ensure the lower bound remains non-trivial and geometrically controlled; the current presentation leaves open whether the constants degenerate when the inner boundary is spherical rather than convex.
minor comments (2)
  1. Clarify in the introduction the precise sense in which the general bound for manifolds with boundary improves on the classical Cheeger inequality (e.g., dependence on which geometric quantities).
  2. Ensure consistent notation and definition of the contact radius across all statements of the main theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for raising these important points about the boundary conditions and error estimates. We address each major comment below and have prepared revisions to improve clarity.

read point-by-point responses

  1. Referee: [§3] §3 (Čech-de Rham isomorphism and Poincaré inequality construction): The isomorphism is invoked to obtain explicit geometric Poincaré inequalities for the Hodge Laplacian, but it is unclear whether the map is constructed to preserve the Neumann boundary conditions on the spherical inner boundary of the annular region. If the isomorphism is applied only interior to the domain, the resulting lower bound on the smallest exact eigenvalue may lose its claimed dependence on the contact radius, undermining the central extension to domains with holes.

    Authors: The Čech-de Rham isomorphism is constructed using an open cover that includes neighborhoods intersecting the spherical inner boundary, with the cochain data chosen so that the resulting differential forms satisfy the Neumann boundary condition on that component. The contact radius enters the estimates through the size of the tubular neighborhoods in the cover and the explicit constants in the Poincaré inequality derived from the isomorphism. This dependence is preserved in the passage to the Hodge Laplacian eigenvalue bound. We will revise the exposition in §3 to spell out the boundary-compatible construction of the isomorphism and the resulting geometric constants. revision: yes

  2. Referee: [§4] §4 (generalised Cheeger-McGowan gluing lemma): The error estimates in the gluing step must explicitly track the contact radius to ensure the lower bound remains non-trivial and geometrically controlled; the current presentation leaves open whether the constants degenerate when the inner boundary is spherical rather than convex.

    Authors: The error terms in the generalised gluing lemma are controlled by the contact radius via the diameter of the gluing regions and the curvature bounds on the spherical inner boundary. Because the inner boundary is a sphere of fixed radius, its second fundamental form is bounded independently of the contact radius, so the constants remain non-degenerate. We will add an explicit statement of the dependence of the gluing constants on the contact radius in §4, together with a short remark confirming that the estimates do not degenerate for spherical inner boundaries. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independent external cohomology tools and gluing lemmas

full rationale

The paper derives geometric lower bounds for Hodge Laplacian eigenvalues on annular and multiply-connected domains by invoking an explicit Čech-de Rham isomorphism to produce Poincaré inequalities with explicit geometric dependence, followed by application of generalised Cheeger-McGowan gluing lemmas. These steps rely on established, externally verifiable mathematical constructions rather than any self-definition, fitted parameters renamed as predictions, or load-bearing self-citations whose content reduces to the present work. The contact radius enters as a stated geometric hypothesis controlling the constants, not as a quantity fitted to the eigenvalue data itself. No equation in the derivation chain equates the claimed lower bound to an input by construction, and the central claims remain independently supported by the cited tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard tools from differential geometry and algebraic topology rather than new postulates; the contact radius is treated as a geometric input rather than a fitted parameter.

axioms (2)
  • standard math Isomorphism between Čech cohomology and de Rham cohomology on suitable covers
    Invoked to obtain Poincaré-type inequalities with explicit geometric dependence.
  • standard math Generalised Cheeger-McGowan gluing lemma for combining local inequalities
    Used in the local-to-global argument for the eigenvalue bounds.

pith-pipeline@v0.9.0 · 5702 in / 1492 out tokens · 42684 ms · 2026-05-18T15:56:51.024125+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Our proofs employ local-to-global arguments via an explicit isomorphism between Čech cohomology and de Rham cohomology to obtain Poincaré-type inequalities with explicit geometric dependence, and utilise certain generalised versions of the Cheeger–McGowan gluing lemma.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Uniformly Bounded Cochain Extensions and Uniform Poincar\'e Inequalities

    math.FA 2026-04 unverdicted novelty 7.0

    A new bounded cochain extension operator for differential forms on Lipschitz domains achieves global commutativity with the exterior derivative on the complement of harmonic forms and yields uniform Poincaré inequalit...

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [1]

    Op\'erateur de H odge- L aplace sur des vari\'et\'es compactes priv\'ees d'un nombre fini de boules

    Colette Ann\'e and Bruno Colbois. Op\'erateur de H odge- L aplace sur des vari\'et\'es compactes priv\'ees d'un nombre fini de boules. J. Funct. Anal. , 115(1):190--211, 1993

    work page 1993

  2. [2]

    Voronoi Diagrams and D elaunay Triangulations

    Franz Aurenhammer, Rolf Klein, and Der-Tsai Lee. Voronoi Diagrams and D elaunay Triangulations . World Scientific Publishing Company, Singapore, 2013

    work page 2013

  3. [3]

    A note on the generalized dumbbell problem

    Colette Ann\'e. A note on the generalized dumbbell problem. Proc. Amer. Math. Soc. , 123(8):2595--2599, 1995

    work page 1995

  4. [4]

    Small eigenvalues of the rough and H odge L aplacians under fixed volume

    Colette Ann\'e and Junya Takahashi. Small eigenvalues of the rough and H odge L aplacians under fixed volume. Ann. Fac. Sci. Toulouse Math. (6) , 33(1):123--151, 2024

    work page 2024

  5. [5]

    A C heeger-like inequality for coexact 1-forms

    Adrien Boulanger and Gilles Courtois. A C heeger-like inequality for coexact 1-forms. Duke Math. J. , 171(18):3593--3641, 2022

    work page 2022

  6. [6]

    Raoul Bott and Loring W. Tu. Differential F orms in A lgebraic T opology , volume 82 of Graduate Texts in Mathematics . Springer-Verlag, Berlin, 1982

    work page 1982

  7. [7]

    A note on the first nonzero eigenvalue of the L aplacian acting on p -forms

    Bruno Colbois and Gilles Courtois. A note on the first nonzero eigenvalue of the L aplacian acting on p -forms. Manuscripta Math. , 68(2):143--160, 1990

    work page 1990

  8. [8]

    Eigenvalue estimate for the basic L aplacian on manifolds with foliated boundary, P art II

    Fida El Chami, Georges Habib, Ola Makhoul, and Roger Nakad. Eigenvalue estimate for the basic L aplacian on manifolds with foliated boundary, P art II . Mediterr. J. Math. , 15(2):Paper No. 67, 17, 2018

    work page 2018

  9. [9]

    Optimal lower eigenvalue estimates for H odge- L aplacian and applications

    Qing Cui and Linlin Sun. Optimal lower eigenvalue estimates for H odge- L aplacian and applications. J. Differential Equations , 266(12):8320--8343, 2019

    work page 2019

  10. [10]

    On the lowest eigenvalue of the H odge L aplacian

    Sagun Chanillo and Fran c ois Treves. On the lowest eigenvalue of the H odge L aplacian. J. Differential Geom. , 45(2):273--287, 1997

    work page 1997

  11. [11]

    Eigenvalues of the L aplacian on forms

    Jozef Dodziuk. Eigenvalues of the L aplacian on forms. Proc. Amer. Math. Soc. , 85(3):437--443, 1982

    work page 1982

  12. [12]

    New eigenvalue estimates involving B essel functions

    Fida El Chami, Nicolas Ginoux, and Georges Habib. New eigenvalue estimates involving B essel functions. Publ. Mat. , 65(2):681--726, 2021

    work page 2021

  13. [13]

    Riemannian geometry

    Sylvestre Gallot, Dominique Hulin, and Jacques Lafontaine. Riemannian geometry . Universitext. Springer-Verlag, Berlin, third edition, 2004

    work page 2004

  14. [14]

    Op \'e rateur de courbure et laplacien des formes diff \'e rentielles d’une vari \'e t \'e riemannienne

    Sylvestre Gallot and Daniel Meyer. Op \'e rateur de courbure et laplacien des formes diff \'e rentielles d’une vari \'e t \'e riemannienne. J. Math. Pures Appl , 54(9):259--284, 1975

    work page 1975

  15. [15]

    Gentile and V

    G. Gentile and V. Pagliara. Riemannian metrics with large first eigenvalue on forms of degree p . Proc. Amer. Math. Soc. , 123(12):3855--3858, 1995

    work page 1995

  16. [16]

    Prescription du spectre du laplacien de H odge-de R ham

    Pierre Guerini. Prescription du spectre du laplacien de H odge-de R ham. Ann. Sci. \'Ecole Norm. Sup. (4) , 37(2):270--303, 2004

    work page 2004

  17. [17]

    Spectre du laplacien de H odge-de R ham: estim\'ees sur les vari\'et\'es convexes

    Pierre Guerini. Spectre du laplacien de H odge-de R ham: estim\'ees sur les vari\'et\'es convexes. Bull. London Math. Soc. , 36(1):88--94, 2004

    work page 2004

  18. [18]

    Prescription de la multiplicit\'e des valeurs propres du laplacien de H odge--de R ham

    Pierre Jammes. Prescription de la multiplicit\'e des valeurs propres du laplacien de H odge--de R ham. Comment. Math. Helv. , 86(4):967--984, 2011

    work page 2011

  19. [19]

    Estimates for the first non-zero eigenvalue of the H odge L aplacian acting on differential forms defined on a R iemannian manifold

    Wadja Guillaume Kouassy and Moussa Kourouma. Estimates for the first non-zero eigenvalue of the H odge L aplacian acting on differential forms defined on a R iemannian manifold. Afr. Mat. , 31(2):333--366, 2020

    work page 2020

  20. [20]

    Some sharp H odge L aplacian and S teklov eigenvalue estimates for differential forms

    Kwok-Kun Kwong. Some sharp H odge L aplacian and S teklov eigenvalue estimates for differential forms. Calc. Var. Partial Differential Equations , 55(2):Art. 38, 14, 2016

    work page 2016

  21. [21]

    Remark about the spectrum of the p -form L aplacian under a collapse with curvature bounded below

    John Lott. Remark about the spectrum of the p -form L aplacian under a collapse with curvature bounded below. Proc. Amer. Math. Soc. , 132(3):911--918, 2004

    work page 2004

  22. [22]

    The p -spectrum of the L aplacian on compact hyperbolic three manifolds

    Jeffrey McGowan. The p -spectrum of the L aplacian on compact hyperbolic three manifolds. Math. Ann. , 297(4):725--745, 1993

    work page 1993

  23. [23]

    Eigenvalue pinching on p -forms

    Peter Petersen and Chadwick Sprouse. Eigenvalue pinching on p -forms. In Proceedings of the F ifth P acific R im G eometry C onference ( S endai, 2000) , volume 20 of Tohoku Math. Publ. , pages 139--145. Tohoku Univ., Sendai, 2001

    work page 2000

  24. [24]

    A R eilly formula and eigenvalue estimates for differential forms

    Simon Raulot and Alessandro Savo. A R eilly formula and eigenvalue estimates for differential forms. J. Geom. Anal. , 21(3):620--640, 2011

    work page 2011

  25. [25]

    On the lowest eigenvalue of the H odge L aplacian on compact, negatively curved domains

    Alessandro Savo. On the lowest eigenvalue of the H odge L aplacian on compact, negatively curved domains. Ann. Global Anal. Geom. , 35(1):39--62, 2009

    work page 2009

  26. [26]

    Hodge- L aplace eigenvalues of convex bodies

    Alessandro Savo. Hodge- L aplace eigenvalues of convex bodies. Trans. Amer. Math. Soc. , 363(4):1789--1804, 2011

    work page 2011

  27. [27]

    The B ochner formula for isometric immersions

    Alessandro Savo. The B ochner formula for isometric immersions. Pacific J. Math. , 272(2):395--422, 2014

    work page 2014

  28. [28]

    Hodge decomposition---a method for solving boundary value problems , volume 1607 of Lecture Notes in Mathematics

    G\" u nter Schwarz. Hodge decomposition---a method for solving boundary value problems , volume 1607 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1995

    work page 1995

  29. [29]

    On the gap between the first eigenvalues of the L aplacian on functions and p -forms

    Junya Takahashi. On the gap between the first eigenvalues of the L aplacian on functions and p -forms. Ann. Global Anal. Geom. , 23(1):13--27, 2003

    work page 2003

  30. [30]

    Vanishing of cohomology groups and large eigenvalues of the L aplacian on p -forms

    Junya Takahashi. Vanishing of cohomology groups and large eigenvalues of the L aplacian on p -forms. Math. Z. , 250(1):43--57, 2005

    work page 2005

  31. [31]

    Michael E. Taylor. Partial differential equations I . B asic theory , volume 115 of Applied Mathematical Sciences . Springer, Cham, second edition, 2011

    work page 2011