Table of Contents
Fetching ...

On the first eigenvalue of the area Jacobi operator for complex curves in Kähler surfaces

Zhenxiao Xie

Abstract

In this paper, we investigate the first eigenvalue $Λ_1$ of the area Jacobi operator for complex curves in Kähler surfaces, establishing an extrinsic counterpart to the classical Lichnerowicz theorem for the Laplace-Beltrami operator. By analyzing the second variation of a conformally invariant Willmore-type functional, we derive the lower bound $Λ_1 \geq 2\,\mathfrak{Ric}$, where $\mathfrak{Ric}$ denotes the infimum of the ambient Ricci curvature. For Kähler-Einstein surfaces with positive Einstein constant $\mathfrak{c}>0$, this bound reduces to $Λ_1 \geq 2\mathfrak{c}$. We then explore the equality case, computing the exact dimension of the corresponding first eigenspace in terms of the area, genus, and the dimension of a space of holomorphic sections. This analysis shows that the equality is achieved for all curves of genus $g \leq 1$.

On the first eigenvalue of the area Jacobi operator for complex curves in Kähler surfaces

Abstract

In this paper, we investigate the first eigenvalue of the area Jacobi operator for complex curves in Kähler surfaces, establishing an extrinsic counterpart to the classical Lichnerowicz theorem for the Laplace-Beltrami operator. By analyzing the second variation of a conformally invariant Willmore-type functional, we derive the lower bound , where denotes the infimum of the ambient Ricci curvature. For Kähler-Einstein surfaces with positive Einstein constant , this bound reduces to . We then explore the equality case, computing the exact dimension of the corresponding first eigenspace in terms of the area, genus, and the dimension of a space of holomorphic sections. This analysis shows that the equality is achieved for all curves of genus .
Paper Structure (5 sections, 5 theorems, 87 equations)

This paper contains 5 sections, 5 theorems, 87 equations.

Key Result

Theorem 1

For any complex curve in a Kähler surface $M^4$, the first eigenvalue $\Lambda_1$ of its area Jacobi operator $\mathcal{L}$ satisfies

Theorems & Definitions (12)

  • Theorem 1
  • Theorem 2
  • Lemma 3.1
  • proof
  • Proposition 3.1
  • proof
  • Remark 3.1
  • Lemma 4.1
  • proof
  • proof : Proof of Theorem \ref{['thm-main11']}
  • ...and 2 more