[論文レビュー] The first eigenvalue of Dirac and Laplace operators on surfaces

Jean-François Grosjean, Emmanuel Humbert|arXiv (Cornell University)|Sep 18, 2006

Spectral Theory in Mathematical Physics参考文献 10被引用数 3

ひとこと要約

本稿は、Agricola, Ammann, and Friedrich が提起した、コンパクトなリーマン多様体上のディラック作用素およびラプラシアン作用素の第一固有値に関する問題を解決する。一意的な共形計量 $ g_\varepsilon $ の族を構成することにより、すべての共形計量 $ \tilde{g} $ に対して $ \inf \frac{\lambda_1(\tilde{g})^2}{\mu_1(\tilde{g})} \leq \frac{1}{2} $ が成り立つことを証明し、等号は任意に近づけることができることを示し、トーラスに限らず、すべてのコンパクトなスピン多様体へと結果を拡張する。

ABSTRACT

Let $(M,g,σ)$ be a compact Riemmannian surface equipped with a spin structure $σ$. For any metric $ ilde{g}$ on $M$, we denote by $μ\_1( ilde{g})$ (resp. $λ\_1( ilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $ ilde{g}$. In this paper, we show that $$\inf \frac{λ\_1( ilde{g})^2}{μ\_1( ilde{g})} \leqslant {1/2}.$$ where the infimum is taken over the metrics $ ilde{g}$ conformal to $g$. This answer a question asked by Agricola, Ammann and Friedrich

研究の動機と目的

• Agricola, Ammann, and Friedrich が提起した、$ \lambda_1^2 < \mu_1 $ が2次元トーラス上で起こり得るかどうかという問題を解消すること。
• 結果をトーラスに限らず、すべてのコンパクトなリーマン多様体にスピン構造を備えたものへと拡張すること。
• ディラック作用素およびラプラシアン作用素の第一正の固有値に対する鋭い共形不変量を確立すること。
• $ \lambda_{\rm min}^+ \leq \lambda_{\rm min}^+(S^2) $ および $ \mu_{\rm sup} \geq \mu_{\rm sup}(S^2) $ を証明し、不変量を標準球面と関連付けること。

提案手法

• 特異点を有する関数 $ f_{\alpha,\varepsilon} $ を用いた一意パラメータ族の一般化された共形計量 $ g_{\varepsilon} = f_{\alpha,\varepsilon}^2 g $ を構成し、滑らかな近似列を用いる。
• $ \varepsilon \to 0 $ の極限における固有値 $ \lambda_1(g_\varepsilon) $ および $ \mu_1(g_\varepsilon) $ の漸近的挙動を、$ L^2 $-ノルムおよびエネルギー推定を用いて分析する。
• 第一固有値の変分的条件から、Euler-Lagrange 方程式を導出し、PDE $ \Delta_g u = \mu_1(g_\varepsilon) f_{\alpha,\varepsilon}^2 u $ を得る。これにより、背景計量におけるラプラシアンと固有値が結びつく。
• $ H^1 $ および $ H^2 $ における弱収束および強収束を用いて固有関数および固有値の収束を証明し、一様な境界を得る。
• 吹き上がり解析およびカットオフ関数を用いて、特異点近傍における固有関数の $ L^2 $-ノルムを制御する。
• 符号の変化および定数固有関数に基づく背理法を用いて、退化する状況を除外し、$ \lambda_1^2 / \mu_1 \to 1/2 $ が極限で成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上でのディラック作用素の第一正の固有値の二乗が、ラプラシアンの第一正の固有値より小さくなることはあり得るか？
• RQ2 任意のスピン構造を備えたコンパクト多様体上で、ある共形計量に対して不等式 $ \lambda_1^2 < \mu_1 $ が成り立つか？
• RQ3 与えられた多様体上でのすべての共形計量に対して、比 $ \lambda_1^2 / \mu_1 $ の鋭い上界は何か？
• RQ4 共形不変量 $ \lambda_{\rm min}^+ $ および $ \mu_{\rm sup} $ は、標準球面 $ S^2 $ のそれらとどのように比較できるか？
• RQ5 不等式 $ \inf \lambda_1^2 / \mu_1 \leq 1/2 $ は鋭く、かつ任意に近づけることができるか？

主な発見

• すべての共形計量 $ \tilde{g} $ に対して $ \inf \lambda_1(\tilde{g})^2 / \mu_1(\tilde{g}) \leq 1/2 $ が成り立つ。これは [AAF99] における問題に肯定的に答えを示す。
• 任意のスピン構造を備えたコンパクトなリーマン多様体に対して、共形計量 $ g_\varepsilon $ の族が存在し、$ \limsup_{\varepsilon \to 0} \lambda_1(g_\varepsilon)^2 \cdot \text{Vol}_{g_\varepsilon}(M) \leq 4\pi $ を満たす。
• $ \mu_1(g_\varepsilon) \cdot \text{Vol}_{g_\varepsilon}(M) $ の極限下界が $ 8\pi $ 以上であることから、比 $ \lambda_1^2 / \mu_1 $ が $ 1/2 $ に任意に近づけることが示される。
• 共形不変量 $ \lambda_{\rm min}^+(M,g,\sigma) $ は $ \lambda_{\rm min}^+(M,g,\sigma) \leq \lambda_{\rm min}^+(S^2) = 2\sqrt{\pi} $ を満たし、Ammann の結果を、非自明なディラック核を有する次元2へと拡張する。
• $ \mu_{\rm sup}(M,g) $ は $ \mu_{\rm sup}(M,g) \geq \mu_{\rm sup}(S^2) $ を満たし、[CoES03] の結果の新たな証明を与える。
• 構成により、任意の $ \delta > 0 $ に対して $ (2 - \delta)\lambda_1(g)^2 < \mu_1(g) $ が成り立ち、$ g $ は元の計量と共形的である。これは、不等式の鋭さを確認する。