Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.09014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908951360045056 |
|---|---|
| author | Mukherjee, Mayukh |
| author_facet | Mukherjee, Mayukh |
| contents | We introduce a \emph{spectral Dehn function} \[ Λ_{\mathcal{P}}(n):=\inf λ_1(Δ), \] where $λ_1(Δ)$ is the first Dirichlet eigenvalue of the random-walk Laplacian on a van Kampen diagram $Δ$, and the infimum runs over area-minimising diagrams with boundary length at most $n$. We prove a spectral-isoperimetric inequality relating $Λ_{\mathcal{P}}$ to the Dehn function, and show that its degree-free face-dual variant $Λ^\ast_{\mathcal P}$ characterises word-hyperbolicity: a finitely presented group is word-hyperbolic if and only if \[ \inf_n Λ^\ast_{\mathcal{P}}(n)>0. \] Every disk diagram satisfies a diagramwise filling-length bound \[ \mathrm{FL}_b(Δ)\cdot \operatorname{Area}(Δ) \ge c/λ_1(Δ); \] combined with a discrete Faber-Krahn inequality, this yields the sharp exponent $1/2$ in the quadratic case, attained by rectangular commutator grids over $\mathbb Z^2$. By passing to the free completion and introducing a hole-free-ancestor hereditary quasi-minimality condition, we obtain a spectral filling profile whose positivity criterion is a quasi-isometry invariant of finitely presented groups and again characterises word-hyperbolicity. The resulting profile carries finer information than the Dehn function: it separates presentations within the linear Dehn class. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_09014 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Spectral Dehn functions and a characterisation of word-hyperbolicity Mukherjee, Mayukh Group Theory Geometric Topology Spectral Theory We introduce a \emph{spectral Dehn function} \[ Λ_{\mathcal{P}}(n):=\inf λ_1(Δ), \] where $λ_1(Δ)$ is the first Dirichlet eigenvalue of the random-walk Laplacian on a van Kampen diagram $Δ$, and the infimum runs over area-minimising diagrams with boundary length at most $n$. We prove a spectral-isoperimetric inequality relating $Λ_{\mathcal{P}}$ to the Dehn function, and show that its degree-free face-dual variant $Λ^\ast_{\mathcal P}$ characterises word-hyperbolicity: a finitely presented group is word-hyperbolic if and only if \[ \inf_n Λ^\ast_{\mathcal{P}}(n)>0. \] Every disk diagram satisfies a diagramwise filling-length bound \[ \mathrm{FL}_b(Δ)\cdot \operatorname{Area}(Δ) \ge c/λ_1(Δ); \] combined with a discrete Faber-Krahn inequality, this yields the sharp exponent $1/2$ in the quadratic case, attained by rectangular commutator grids over $\mathbb Z^2$. By passing to the free completion and introducing a hole-free-ancestor hereditary quasi-minimality condition, we obtain a spectral filling profile whose positivity criterion is a quasi-isometry invariant of finitely presented groups and again characterises word-hyperbolicity. The resulting profile carries finer information than the Dehn function: it separates presentations within the linear Dehn class. |
| title | Spectral Dehn functions and a characterisation of word-hyperbolicity |
| topic | Group Theory Geometric Topology Spectral Theory |
| url | https://arxiv.org/abs/2604.09014 |