0

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

126
1

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

convention
M:コンパクトリーマンスピン多様体
S:スピノル束
,:SのSpin不変内積
Γ(S):Sの滑らかな切断
Cs(S):SCs級の切断
Dk(S):Γ(S)からΓ(S)へのk階の微分作用素
L2(S):Sの切断が作るHilbert空間
Hk(S):Sの切断が作るk次のSobolev空間

 Dirac作用素SD1(S)に対して、その拡張D¯:H1(S)L2(S)は自己随伴作用素です。ここではD¯の固有空間によるL2(S)の直交直和分解を論じます。 随伴作用素についてのいくつかの基本事項 に述べた事項を適宜使います。

 1spec(D¯2)なので、
D¯2+1:dom(D¯2+1)L2(S)
は可逆であり、
(D¯2+1)1:L2(S)dom(D¯2+1)L2(S)
は有界作用素となります。このとき次の補題が成り立ちます。

(D¯2+1)1はコンパクト自己随伴作用素である。

(D¯2+1)1は有界作用素であるから、||(D¯2+1)1u||L22C0||u||L2となる。よって楕円型評価を使うと
||(D¯2+1)1u||H12C1(||D¯(D¯2+1)1u||L22+||(D¯2+1)1u||L22)C1(||D¯(D¯2+1)1u||L22+C0||u||L22)C1((D¯(D¯2+1)1u,D¯(D¯2+1)1u)L2+C0||u||L22)C1((D¯2(D¯2+1)1u,(D¯2+1)1u)L2+C0||u||L22)C1(((D¯2+1)(D¯2+1)1u(D¯2+1)1u,(D¯2+1)1u)L2+C0||u||L22)C1((u,(D¯2+1)1u)L2+||(D¯2+1)1u||L22+C0||u||L22)C1(||u||L2||(D¯2+1)1u||L2+2C0||u||L22)C1(C0||u||L22+2C0||u||L22)C||u||L22
となる。
よってRellich埋め込み定理より、(D¯2+1)1:L2(S)H1(S)H0(S)=L2(S)はコンパクト作用素である。

またD¯が自己随伴であることから(D¯2+1)1も自己随伴である。

 K:=(D¯2+1)1はコンパクト自己随伴作用素であるから、直交直和分解
L2(S)=nNE(μn,K)
が成り立ちます。さらに
uE(μn,K)(D¯2+1)1u=μnuD¯2u=(1μn1)u
であることと、
D¯2(D¯u)=(1μn1)(D¯u)
より、D¯E(μn,K)上に制限すれば、直交直和分解
E(μn,K)=E(λn,D¯)E(λn,D¯), λn=1μn1
を与えることが分かります。従って次の定理が得られました。

Mをコンパクトリーマンスピン多様体とする。拡張されたDirac作用素D¯:H1(S)L2(S)はコンパクト自己随伴作用素であり、そのスペクトルは全て固有値である。また固有値λn|λn| (n±)である。そして各E(λn,D¯)は有限次元であり、直交直和分解
L2(S)=nZE(λn,D¯)
が成り立つ。

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

投稿日:20231111
更新日:2024218
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中