[論文レビュー] The higher spin Dirac operators

Jarolím Bureš|ArXiv.org|Jan 9, 1999

Spectral Theory in Mathematical Physics参考文献 8被引用数 5

ひとこと要約

本稿は、リーマン多様体上のスピン構造への一般化として、共形不変性を有する1階楕円型微分作用素の族を導入する。特に、この族の2番目のメンバーとしてのライトァ＝シュヴィンガー作用素に焦点を当て、その性質を導出し、作用素のインデックスを計算することで、古典的ディラック作用素理論を高スピン設定へと拡張する。応用分野は共形幾何学および数学的物理に及ぶ。

ABSTRACT

There is a certain family of conformally invariant first order elliptic operators on Riemannian spin manifold which include Dirac operator as its first and simplest member. Their general definition is given and their basic properties are described. A special attention is paid to the Rarita-Schwinger operator the second simplest operator in the row. Its basic properties are described in more details. In the last part indices of discussed operators are computed.

研究の動機と目的

• リーマン多様体上に、共形不変性を有する1階楕円型微分作用素の族を定義・研究し、古典的ディラック作用素を高スピン構造へ一般化すること。
• 高スピン理論における重要性から、この作用素族の2番目のメンバーとしてのライトァ＝シュヴィンガー作用素を詳細に分析すること。
• 導入された作用素のインデックスを計算し、スペクトル理論およびインデックス定理に関連する位相的不変量を提供すること。
• ディラック作用素の枠組みを高スピン設定へと拡張し、共形幾何学および理論物理学への応用を可能にすること。

提案手法

• 本稿は、リーマン多様体上の高スピンバンドルの切断に作用する1パラメータ族の1階微分作用素を構成する。
• 作用素の共形群による作用における共形不変性を確立し、ディラック作用素の共形共変性を一般化する。
• スピン-3/2場に対応する特定のケースとして、テンソルスピンバンドル上の射影技法を用いてライトァ＝シュヴィンガー作用素を導出する。
• 作用素はクリフォード乗法と接続を用いて定義され、計量の共形スケーリングのもとでも構造が保たれる。
• 各作用素のインデックスは、関連する楕円複体にアティヤ＝シンガーのインデックス定理を適用することで、位相的手法を用いて計算される。
• 解析はスピン群の表現論およびスピンバンドルとベクトルバンドルのテンソル積の分解に依拠する。

実験結果

リサーチクエスチョン

• RQ1 共形不変性を保ちつつ、ディラック作用素を高スピン設定に一般化する方法は何か？
• RQ2 ライトァ＝シュヴィンガー作用素は、高スピン族の2番目のメンバーとして、どのような特徴的性質と幾何的構造を持つのか？
• RQ3 計量の共形変換に対して、これらの高スピンディラック作用素はどのように振る舞うか？
• RQ4 この作用素族の各作用素のインデックスは何か？ そして、それらは基礎多様体の位相とどのように関係するか？
• RQ5 表現論およびバンドル分解を用いて、高スピン作用素の枠組みを体系的に構築できるか？

主な発見

• 本稿は、リーマン多様体上に、共形不変性を有する1階楕円型作用素の1パラメータ族を構成し、ディラック作用素を高スピン設定へ拡張する。
• ライトァ＝シュヴィンガー作用素は、この族の2番目のメンバーとして特定され、共形不変性や楕円性といった基本的性質が厳密に確立される。
• 各作用素のインデックスは、位相的手法を用いて計算され、多様体の特徴類を用いた明示的表現が得られる。
• 構成は、テンソルスピンバンドルの分解と、高スピン場に対応する既約成分を抽出するための射影作用素の使用に依拠する。
• 結果として、リーマン多様体上における高スピン理論の体系的枠組みが提供され、共形微分幾何学および量子場理論への応用が可能になる。
• 本稿は、高スピンディラック作用素が楕円的かつ formally 自己随伴であることを確立し、関連する境界値問題の適切な定式化を保証する。