Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

技術要約：質量ゼロのディラック演算子における擬微分射影によるスペクトル非対称性

問題設定
本論文は、閉じた連結かつ向き付けられたリーマン3多様体上の偏微分方程式（PDE）系におけるスペクトル非対称性の研究を扱う。具体的には、質量ゼロのディラック演算子（ウェイル演算子としても知られる）、$W$に焦つ点を当てている。スペクトル非対称性は伝統的に、スペクトル・ゼータ関数から導かれるグローバルな数または局所的な関数であるエータ不変量によって定量化されるが、著者らはより新しい作用素論的アプローチを適用することを目的としている。このアプローチは、スペクトル射影から構成される負の次数の擬微分作用素、すなわち「非対称作用素」の中に非対称性の情報をエンコードしようとするものである。中心となる課題は、ゲージ不変性と多様体の特定の幾何学的特性を考慮しつつ、質量ゼロのディラックの場合におけるこの作用素の主記号（principal symbol）を計算することであり、正則化されたトレースが幾何学的不変量を与えるように定義できることを示すことである。

手法
著者らは、先行研究 [9, 10] で開発された擬微分解析の枠組みを用いている。その手法は以下のステップで進行する：

1. スペクトル射影： 質量ゼロのディラック演算子 $W$ は自己共役かつ楕円的であり、$\pm \infty$ に集積する離散スペクトルを持つ。著者らは、$W$ の固有値に基づき、正の射影 ($P_+$) および負の射影 ($P_-$) を定義する。これらは次数ゼロの擬微分作用素である。
2. 非対称作用素の構成： 非対称作用素 $A$ は、これら射影の差の行列トレースとして定義される：$A := \text{tr}(P_+ - P_-)$。$P_+ - P_-$ はトレース級数ではないが、行列トレース操作によって $A$ は負の次数の作用素となる。
3. 記号計算と相殺： 手法の中核は、[8] に基づく反復アルゴリズムを用いた $P_\pm$ の完全な記号の明示的な構成である。著者らは、$A$ の漸近展開の成分の主記号を計算する。手法における極めて重要な側面は、行列トレースを取る際に発生する相殺（cancellations）の活用である。
4. ゲージ不変性とフレーミング： ディラック演算子は、大域的なフレーミングの選択に依存する。著者らは、ゲージ変換（フレーミングの回転）に対する作用素の挙動を分析する。中間計算はフレーミングに依存するものの、スペクトル不変量は依存しないことを彼らは証明している。計算を簡略化するため、点 $z$ を中心とする測地線法正規座標における平行移動によって生成される特定の「レヴィ＝チヴィタ・フレーミング」を固定する。この特定のフレームにおいて、関連するワイツェンベック接続のねじれ（torsion）は $z$ において消失し、記号展開が簡略化される。
5. 正則化トレース： 得られる非対称作用素は（以前の研究におけるカール作用素の次数 $-3$とは異なり）次数$-1$であるため、直ちにトレース級数とはならない。著者らは、非対称作用素$A$のシュワルツ核の対角線上 ($x=y$) における連続部分を孤立させることにより、「正則化局所トレース」を定義する。

主要な貢献と結果
本論文は、3次元多様体上の質量ゼロのディラック演算子に関する明示的な計算を提供し、以下の主要な結果をもたらす：

• 低次項の消失： 著者らは、レヴィ＝チヴィタ・フレーミングに関連する非対称作用素 $A$ の主記号において、次数 $j=0, -1, -2$ の項が消滅することを証明している。具体的には、漸近展開における記号の項 $a_0, a_{-1}, a_{-2}$ は、測地線近傍の中心においてゼロとなる。
• 主記号の計算： 最初の一致しない項は、次数 $-3$の主記号$\tilde{a}_{-3}(z, \xi)$ である。著者らはこれを以下のように明示的に計算した：
  $$\tilde{a}_{-3}(z, \xi) = -\frac{1}{12} \frac{E_{\alpha\beta\gamma}(z) \nabla_\alpha \text{Ric}_{\beta\rho}(z) \xi^\gamma \xi^\rho}{|\xi|^5}$$
  ここで、$E_{\alpha\beta\gamma}$ はレヴィ＝チヴィタ・テンソル、$\text{Ric}$ はリッチ・テンソル、$\nabla$ は共変微分である。この結果は、一般的なフレームでは次数 $-1$であるにもかかわらず、レヴィ＝チヴィタ・フレームにおいては非対称作用素が次数$-3$ であることを確立している。
• 核の分解： 本論文は、非対称作用素の局所積分核を導出し、それが特異部分（点間の距離と曲率に依存する）と連続部分に分解できることを示している。
• 幾何学的不変量： 核の分解に基づき、著者らは正則化された局所トレース $\psi_{\text{Dir}}^{\text{loc}}(x)$ およびグローバル・トレース $\psi_{\text{Dir}}$ を定義する。彼らは、局所トレースが局所座標の選択に依存しないウェル定義されたスカラー関数であり、スペクトル非対称性を記述する幾何学的不変量を構成することを証明している。

意義と主張
本論文は、これらの結果を、[9, 10] で提案されたスペクトル非対称性への「直接的」なアプローチを、物理的に重要な質量ゼロのディラック演算子へと拡張するものとして位置づけている。

• カールとの比較： 著者らは、ディラック演算子の主記号の構造が（係数6の差を除いて）カール作用素のそれと同一であることを指摘しており、これは異なる非半有界系における手法の普遍性を補強するものである。
• 物理的関連性： 本研究は、エータ不変量が極めて重要な量となる、高エネルギー物理学（チャーン・サイモンズ理論）および物性物理学（トポロジカル相、ウェイル半金属）への応用によって動機付けられている。
• エータ不変量に関する予想： 著者らは、新たに定義された正則化トレースが、古典的な局所およびグローバル・エータ不変量の $s=0$ での値（すなわち $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$）と一致するという予想を立てている。しかし、この対応関係の完全な証明は現在の研究の範囲外であり、将来の研究課題であると明示している。
• 主張の謙抑性： 本論文は、スペクトル非対称性の問題を完全に解決したと主張するものではなく、そのための必要な計算機構（主記号および正則化トレースの定義）を提供することを目的としている。著者らは、このアプローチが、エータ不変量単独よりも多くの情報をエンコードする「不変に定義された作用素」を提供し、応用数学コミュニティにとってよりアクセスしやすいツールとなることを強調している。