Table of Contents
Fetching ...

A Sharp Lower Bound for the Spectrum of the Hodge Laplacian on Kähler Hyperbolic Manifolds and its Applications

Ye-Won Luke Cho, Young-Jun Choi, Kang-Hyurk Lee

TL;DR

We address sharp lower bounds for the spectrum of the Hodge Laplacian on complete Kähler hyperbolic manifolds by exploiting a $d$-bounded Kähler form $\omega=d\eta$ and the Lefschetz framework. The main technical result provides explicit Rayleigh-quotient bounds $\lambda_0^k(X) \ge \frac{c_k}{\|\eta\|_{L^{\infty}}^2}$ for $k=p+q\neq n$, with detailed constants $c_k$ and $c_{p,q}$, derived via a Lefschetz-based reduction and primitive decomposition. In the middle-dimension case, the paper shows a bound on the orthogonal complement of $\mathcal{H}^{n}_{(2)}(X)$, while for $k=0$ a sharper bound is obtained, with optimality demonstrated in the unit-ball model. As an application, the authors obtain explicit lower bounds for the bottom of the spectrum on irreducible bounded symmetric domains via the Kähler-hyperbolicity length $\mathsf{L}_{\Omega}$ and holomorphic sectional curvature control, recovering a universal bound $\lambda_0(\Omega) \ge \frac{n^2}{4}K$ in terms of $K$, and providing precise bounds for all classical types I–IV and the exceptional V, VI. Overall, the work extends Lefschetz-based vanishing techniques to quantitative spectral estimates and yields sharp, domain-specific spectral data for symmetric spaces.

Abstract

In this paper, we establish a sharp lower bound for the spectrum of the Hodge Laplacian on Kähler hyperbolic manifolds. This bound is expressed explicitly in terms of the supremum norm of the 1-form associated with the Kähler hyperbolic structure. As an application, we obtain explicit spectral lower bounds for bounded symmetric domains.

A Sharp Lower Bound for the Spectrum of the Hodge Laplacian on Kähler Hyperbolic Manifolds and its Applications

TL;DR

We address sharp lower bounds for the spectrum of the Hodge Laplacian on complete Kähler hyperbolic manifolds by exploiting a -bounded Kähler form and the Lefschetz framework. The main technical result provides explicit Rayleigh-quotient bounds for , with detailed constants and , derived via a Lefschetz-based reduction and primitive decomposition. In the middle-dimension case, the paper shows a bound on the orthogonal complement of , while for a sharper bound is obtained, with optimality demonstrated in the unit-ball model. As an application, the authors obtain explicit lower bounds for the bottom of the spectrum on irreducible bounded symmetric domains via the Kähler-hyperbolicity length and holomorphic sectional curvature control, recovering a universal bound in terms of , and providing precise bounds for all classical types I–IV and the exceptional V, VI. Overall, the work extends Lefschetz-based vanishing techniques to quantitative spectral estimates and yields sharp, domain-specific spectral data for symmetric spaces.

Abstract

In this paper, we establish a sharp lower bound for the spectrum of the Hodge Laplacian on Kähler hyperbolic manifolds. This bound is expressed explicitly in terms of the supremum norm of the 1-form associated with the Kähler hyperbolic structure. As an application, we obtain explicit spectral lower bounds for bounded symmetric domains.
Paper Structure (10 sections, 17 theorems, 118 equations, 1 table)

This paper contains 10 sections, 17 theorems, 118 equations, 1 table.

Key Result

Theorem 1.1

Let $(X,\omega)$ be a complete Kähler manifold of dimension $n$ and $\omega=d\eta$ where $\eta$ is a bounded $1$-form on $X$. Then every $k$-form $\varphi\in\mathrm{Dom}\,(\Delta)\cap L^{k}_{(2)}(X)$ with $k\neq n$ satisfies the inequality where $c_k\geq 0$ is a constant depending on $k$ and $n$.

Theorems & Definitions (32)

  • Theorem 1.1: Gromov1991
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.5
  • Proposition 2.1: Proposition 1.2.30 in Huybrechts-Book
  • Proposition 2.2: Proposition 1.2.31 in Huybrechts-Book
  • Proposition 2.3: Corollary 1.2.36 in Huybrechts-Book
  • Theorem 2.4: Ch.VIII (3.2) Theorem in Demailly-Book
  • Remark 2.5
  • Remark 2.6
  • ...and 22 more