Beyond the Hodge Theorem: curl and asymmetric pseudodifferential projections

技術要約：ホッジ定理を超えて：カール（curl）と非対称な擬微分射影

問題提起
本論文は、連結された向き付けられた閉リーマン3多様体 $(M, g)$ 上の共余完全1形式の空間に作用する演算子 $\text{curl} := *d$ のスペクトル非対称性を扱う。ディラック演算子のような演算子のスペクトル非対称性は、アティヤ・パティ・シンガー（Atiyah-Patodi-Singer）の $\eta$ 不変量を通じて広く研究されてきたが、$\text{curl}$ 自体のスペクトルについては、既存の文献の多くが $\text{curl}$ そのものではなく $\text{curl}^2$（マクスウェル方程式に関連するもの）に焦点を当てており、直接的な研究は少ない。主要な課題は、$\text{curl}$ が楕円型ではなく（その主記号はゼロの固有値を持つ）、そのスペクトルが必ずしもゼロに対して対称ではないことである。スペクトルの非対称性を測定するための古典的な手法は、$\eta(s) = \sum \text{sgn}(\lambda_k)|\lambda_k|^{-s}$ の $s=0$ における解析接続による $\eta$ 不変量である。著者らは、解析接続や熱核（heat-kernel）の議論に最初から依存しない、この問題に対する新しい、直接的かつ明示的なアプローチを求めている。

手法
著者らは、マイクロローカル解析と擬微分演算子（$\Psi$DO）の理論を用いて、スペクトル非対称性のための新しい枠組みを構築する。その手法は、以下の主要な段階を経て進行する：

1. 擬微分射影： 著者らは、1形式に作用する明示的な擬微分射影 $P_0, P_+, P_-$ を構成する。$P_0$ は $\text{curl}$ の核（調和形式を除く）への射影であり、$P_+$ および $P_-$ はそれぞれ $\text{curl}$ の正および負の固有空間へのスペクトル射影である。

   • 彼らは、1形式に作用する $\Psi$DO の不変な計算、すなわち共変な副主記号（Definition 3.2）および合成公式（Theorem 3.8）を開発する。
   • 反復アルゴリズム（Proposition 5.3）を用いて、$\text{curl}$ に対して（トポロジー的に阻止されているため）大域的な対角化に頼ることなく、計量とその微分を用いたこれらの射影の完全な記号を明示的に構成する。

2. 非対称演算子： 正および負の固有値の数の形式的な差は、$P_+ - P_-$ のトレースによって表される。$P_+ - P_-$ は 0 次でありトレース級数ではないため、著者らは非対称演算子 $A$ を、$P_+ - P_-$ の点別行列トレースとして得られるスカラー擬微分演算子として定義する（Definition 6.1）。

   • $A := \text{tr}(P_+ - P_-)$。
   • $P_+ - P_-$ は 0 次であるが、記号の特定の構造により予期せぬ打ち消しが発生し、結果として $A$ の次数が減少することを著者らは証明している。

3. 正規化トレース： $A$ は3次元多様体において次数 $-3$の演算子であるため、トレース級数となる境界線（次数が$<-d$である必要がある）上に位置する。著者らは、$A$の積分核$a(x, y)$の対角付近における特異構造を分析する。彼らは、その特異性が有界であるが不連続であり、一般的な次数$-3$ の演算子に見られるような対数的な発散を持たないことを示す。これにより、測地球（geodesic spheres）上の極限による正規化されたトレースの定義が可能となる（Definition 7.7）。

主要な貢献と結果

• 明示的な射影 (Theorem 1.3)： 著者らは、$P_0$ および $P_\pm$ の主記号および副主記号の明示的な公式を提供する。注目すべきは、これらの射影の副主記号がゼロであることである。主記号は、リーマン密度、計量、および全反対称テンソルを用いて明示的に表現されている。
• 次数の減少 (Theorem 1.4 & Theorem 6.6)： 中心的な技術的結果は、非対称演算子 $A$ が 0 次ではなく、**次数 $-3$** の擬微分演算子であることである。この次数の減少は、記号のトレースにおける打ち消しによるものである。$A$ の主記号は以下のように与えられる：
  $$A_{\text{prin}}(x, \xi) = -\frac{1}{2\|\xi\|^5} E_{\alpha\beta\gamma}(x) \nabla_\alpha \text{Ric}_{\beta\rho}(x) \xi^\gamma \xi^\rho$$
  ここで $\text{Ric}$ はリッチテンソルであり、$E$ は体積形式テンソルである。驚くべきことに、スカラー曲率は $A$ の主記号には現れず、リッチテンソルの共変微分のトレースレス部分のみに依存する。
• 正規化トレースと幾何学的不変量 (Theorem ler 1.6)： 著者らは、$A$ の積分核が対角線上で有界であり、滑らかであることを確立する。彼らは、縮小する測地球上の核の平均の極限として、局所的な正規化トレース $\psi_{\text{curl}}^{\text{loc}}(x)$ を定義する。これを積分することで、大域的な正規化トレース $\psi_{\text{curl}}$ を得る。
  • これらの量は、リーマン3多様体とその向きのみによって決定される幾何学的不変量である。
  • 著者らは、随伴論文 [20] において、これらの量が $\text{curl}$ に対する古典的な局所および大域的な $\eta$ 不変量と一致することを述べている。

意義と主張
本論文は、以下の要素において、スペクトル非対称性への「新しいアプローチ」を提供すると主張している：

1. 演算子による特徴付け： 非対称性を単一の数（$\eta$ 不変量）として特徴付けるのではなく、負の次数の擬微分演算子を通じて特徴付ける。次数の負の値は、正規化されたトレースの定義を可能にするため、極めて重要である。
2. 明示的かつ直接的： 本構成は、解析接続や熱核展開のような「ブラックボックス」的な手法ではなく、記号のマイクロローカルな計算に直接的かつ明示的に依存している。
3. 汎用性： この手法は $\text{curl}$ に特化したものではない。著者らは、この技術が汎用的であり、他の演算子（別途論文で示されるディラック演算子など）にも適用可能であると述べている。
4. 物理的関連性： $\text{curl}$ の固有値の符号が、マクスウェル方程式の時間調和偏極解の電磁気学的カイラリティに対応していることを強調しており、これが $\text{curl}$ のスペクトル非対称性を研究する物理的な動機となっている。

限界と今後の方向性
著者らは、次元 $d > 3$（特に $d = 4k+3$）への結果の拡張には大きな課題があることを認めている：

• トレース級数の問題： 高次元では、次数 $-3$の演算子はトレース級数ではない（$-d$ 未満の次数が必要）。そのため、核の特異性に対するより複雑な多段階の正規化が必要となる。
• 固有値の多重度： [18] における擬微分射影の構成は、主記号が単純な固有値を持つことに依存している。高次元では、$\text{curl}$ の主記号は多重な固有値を持つため、既存の射影アルゴリズムの拡張が必要となる。

論文は、非対称演算子の幾何学に対する感度が、微分幾何学における活発な研究テーマである球面の特異な滑らかな構造（exotic smooth structures）の研究に有用である可能性を示唆して締めくくられている。