Dirac作用素による固有空間分解

126

スピン幾何における解析学
前の記事： Dirac作用素の自己随伴性
次の記事： Hodgeの定理

convention
$M :$ コンパクトリーマンスピン多様体
$S :$ スピノル束
$⟨ \cdot, \cdot ⟩ : S$ のSpin不変内積
$Γ (S) : S$ の滑らかな切断
$C^{s} (S) : S$ の $C^{s}$ 級の切断
$D_{k} (S) : Γ (S)$ から $Γ (S)$ への $k$ 階の微分作用素
$L^{2} (S) : S$ の切断が作るHilbert空間
$H_{k} (S) : S$ の切断が作る $k$ 次のSobolev空間

　Dirac作用素 $S \in D_{1} (S)$ に対して、その拡張 $\bar{D} : H_{1} (S) \to L^{2} (S)$ は自己随伴作用素です。ここでは $\bar{D}$ の固有空間による $L^{2} (S)$ の直交直和分解を論じます。随伴作用素についてのいくつかの基本事項に述べた事項を適宜使います。

　 $- 1 \notin s p e c ({\bar{D}}^{2})$ なので、
${\bar{D}}^{2} + 1 : d o m ({\bar{D}}^{2} + 1) \to L^{2} (S)$
は可逆であり、
$({\bar{D}}^{2} + 1)^{- 1} : L^{2} (S) \to d o m ({\bar{D}}^{2} + 1) \subset L^{2} (S)$
は有界作用素となります。このとき次の補題が成り立ちます。

$({\bar{D}}^{2} + 1)^{- 1}$ はコンパクト自己随伴作用素である。

$({\bar{D}}^{2} + 1)^{- 1}$ は有界作用素であるから、 $| | ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}}^{2} \leq C_{0} | | u | |_{L^{2}}$ となる。よって楕円型評価を使うと
$\begin{aligned} | | ({\bar{D}}^{2} + 1)^{- 1} u | |_{H_{1}}^{2} & \leq C_{1} (| | \bar{D} ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}}^{2} + | | ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}}^{2}) \\ \leq C_{1} (| | \bar{D} ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}}^{2} + C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} ((\bar{D} ({\bar{D}}^{2} + 1)^{- 1} u, \bar{D} ({\bar{D}}^{2} + 1)^{- 1} u)_{L^{2}} + C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} (({\bar{D}}^{2} ({\bar{D}}^{2} + 1)^{- 1} u, ({\bar{D}}^{2} + 1)^{- 1} u)_{L^{2}} + C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} ((({\bar{D}}^{2} + 1) ({\bar{D}}^{2} + 1)^{- 1} u - ({\bar{D}}^{2} + 1)^{- 1} u, ({\bar{D}}^{2} + 1)^{- 1} u)_{L^{2}} + C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} ((u, ({\bar{D}}^{2} + 1)^{- 1} u)_{L^{2}} + | | ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}}^{2} + C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} (| | u | |_{L^{2}} | | ({\bar{D}}^{2} + 1)^{- 1} u | |_{L^{2}} + 2 C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C_{1} (\sqrt{C_{0}} | | u | |_{L^{2}}^{2} + 2 C_{0} | | u | |_{L^{2}}^{2}) \\ \leq C | | u | |_{L^{2}}^{2} \end{aligned}$
となる。
よってRellich埋め込み定理より、 $({\bar{D}}^{2} + 1)^{- 1} : L^{2} (S) \to H_{1} (S) ↪ H_{0} (S) = L^{2} (S)$ はコンパクト作用素である。

また $\bar{D}$ が自己随伴であることから $({\bar{D}}^{2} + 1)^{- 1}$ も自己随伴である。

　 $K := ({\bar{D}}^{2} + 1)^{- 1}$ はコンパクト自己随伴作用素であるから、直交直和分解
$L^{2} (S) = \overset{―}{⨁_{n \in N} E (μ_{n}, K)}$
が成り立ちます。さらに
$\begin{aligned} u \in E (μ_{n}, K) \\ \Leftrightarrow & ({\bar{D}}^{2} + 1)^{- 1} u = μ_{n} u \\ \Leftrightarrow & {\bar{D}}^{2} u = (\frac{1}{μ_{n}} - 1) u \end{aligned}$
であることと、
${\bar{D}}^{2} (\bar{D} u) = (\frac{1}{μ_{n}} - 1) (\bar{D} u)$
より、 $\bar{D}$ は $E (μ_{n}, K)$ 上に制限すれば、直交直和分解
$E (μ_{n}, K) = E (λ_{n}, \bar{D}) \oplus E (- λ_{n}, \bar{D}), λ_{n} = \sqrt{\frac{1}{μ_{n}} - 1}$
を与えることが分かります。従って次の定理が得られました。

$M$ をコンパクトリーマンスピン多様体とする。拡張されたDirac作用素 $\bar{D} : H_{1} (S) \to L^{2} (S)$ はコンパクト自己随伴作用素であり、そのスペクトルは全て固有値である。また固有値 $λ_{n}$ は $| λ_{n} | \to \infty (n \to \pm \infty)$ である。そして各 $E (λ_{n}, \bar{D})$ は有限次元であり、直交直和分解
$L^{2} (S) = \overset{―}{⨁_{n \in Z} E (λ_{n}, \bar{D})}$
が成り立つ。

上の証明において、 $E (μ_{n}, K) = E (λ_{n}, \bar{D}) \oplus E (- λ_{n}, \bar{D})$ と分解しましたが、 $E (\pm λ_{n}, \bar{D})$ のどちらかが ${0}$ である可能性があります。従って、ある $N$ があって $n > N$ に対して、常に $E (λ_{n}, \bar{D}) = {0}$ あるいは $E (- λ_{n}, \bar{D}) = {0}$ が成り立っている可能性は排除しきれていないため、 $\bar{D}$ の固有値が上下に非有界であることは示せてません。しかし実はコンパクト多様体上のDirac作用素の固有値は上下に非有界であることが知られています。エータ関数を使う証明が知られてるようですが私はよく理解していません。もっと簡単に示せるといいのですが。

投稿日：2023年11月11日

更新日：2024年2月18日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Submersion

30219

専門は相対論やLorentz幾何です。Einstein系の厳密解の構成や接触幾何の応用などの研究をしています。Ph.D保有者の中ではクソ雑魚の部類です。

他の人のコメント

コメントはありません。

読み込み中

Submersion

Dirac作用素による固有空間分解