Bisingular $(\rho,\delta)$ pseudodifferential operators on products of compact Lie groups

技術要約：コンパクト・リー群の積集合上におけるビシングラー $(\rho, \delta)$ 擬微分作用素

問題設定
本論文は、2つのコンパクト・リー群 $G = G_1 \times G_2$ の積集合上におけるビシングラー作用素（bisingular operators）のグローバルな擬微分カルキュラスの開発に取り組んでいる。ビシングラー作用素（Rodinoらによって $(1,0)$ のケースで導入された）は、$A_1 \boxtimes A_2$ のような系の研究に不可欠であり、アティヤ＝シンガーの指数定理においても自然に現れるが、既存のカルキュラスは $(1,0)$ クラスに限定されていた。著者らは、理論における欠落を指摘している。すなわち、$(1,0)$ の枠組みでは、非楕円的だが劣楕円的な（hypoelliptic）作用素のパラメトリックス（近似逆作用限）を構成するには不十分であり、また、一般的な $(\rho, \delta)$ クラス（$0 \le \delta \le \rho \le 1$）に対する必要な柔軟性も提供できない。特に、ユークリッド空間の設定とは異なり、ビシングラーの文脈においては、逆作用素のシンボルに対する点ごとの推定値だけでは不十分であり、有限差分微分に関する追加の制御が必要であるという課題が強調されている。

手法
著者らは、単一のコンパクト・リー群に対してRuzhanskyとTurunenが導入したグローバルなカルキュラスの枠組みを、積集合の設定へと拡張する。その手法は、以下のコアとなるツールに基づいている：

1. グローバル・フーリエ解析： 単位的双対 $\widehat{G}$ およびコンパクト・リー群上の行列値フーリエ変換を利用する。
2. 差分および微分作用素： 周波数変数に作用する可換な差分作用素（$\Delta$）の適応的な集合と、空間変数に作用する対応する左不変微分作用素（$\partial_x$）を用いる。これらは、単位元で消滅する関数の族を用いて、積構造 $G_1 \times G_2$ に適応させている。
3. カーネル推定： 中心的な技術的要素は、ビシングラー作用素のシュワルツ・カーネルの精密な推定を導出することである。著者らは、周波数空間のダイアディック分解とソボレフ埋め込み定理を利用して、特異集合 $S = \{(e_1, x_2)\} \cup \{(x_1, e_2)\}$ 付近でのカーネルの挙動を制御する。
4. 漸近展開： 右畳み込みカーネルのテイラー展開を利用して、作用素の合成および随伴作用素の漸近公式を導出することで、カルキュラスを構築する。

主要な貢献と結果

• $(\rho, \delta)$ クラスの定義： 本論文は、空間微分と差分作用素の両方の推定値によって特徴付けられる、ビシングラー・シンボルのクラス $S^{m_1, m_2}_{\rho, \delta}(G \times \widehat{G})$ を定義する。これは、既知の $(1,0)$ クラスを一般化したものである。
• カーネル推定（定理 4.8）： 著者らは、これらのクラスに属する作用素のシュワルツ・カーネルに関する詳細な推定値を証明する。これらの推定値は、作用素の次数 $(m_1, m_2)$ と各群の次元 $(n_1, n_2)$ の関係に依存する。境界には、幾何学的距離 $S$ への距離のべき乗や対数項が含まれ、$n_i + m_i$ が正、ゼロ、または負である場合を区別している。
• 作用素のカルキュラス：
  • 合成公式（定理 5.1）： 2つのビシングラー作用素の積のシンボルに関する漸近展開を導出する。この公式は、第1のシンボルに対する差分作用素と、第2のシンボルに対する微分作用素を組み合わせた項の和であり、積の幾何学を考慮するように構造化されている。
  • 随伴公式（定理 5.2）： 随伴作用素のシンボルの漸近展開を確立する。
  • 漸近総和（定理 5.3）： 指定された漸近展開を持つシンボルの存在を証明し、カルキュラスが滑らかな作用素（smoothing operators）を除いてウェルディファインド（well-defined）であることを保証する。
• 双楕円性（Biellipticity）および双劣楕円性（Bihypoellipticity）：
  • 定義： 著者らは双楕円的および双劣楕円的な作用素を定義する。可逆性に関して重要な区別がなされる。双劣楕円性のための条件として、シンボルは有限個の表現を除いて可逆でなければならず、かつその逆は差分微分を含む特定の成長条件（定義 6.5 の条件 4）を満たさなければならない。
  • パラメトリックスの存在（定理 6.8）： 解析の主要な結果は、双劣楕円的な作用素が $(\rho, \delta)$ カルキュラス内のパラメトリックスを持つことを証明することである。具体的には、$A$ が次数 $(m'_1, m'_2)$ の双劣楕円的であれば、 $AB = I + K$かつ$BA = I + H$となる作用素$B$（ここで$K$と$H$ は滑らかな作用素）が存在する。
  • 必要条件： 命題 6.2 は、逆シンボルが適切なクラスに属するためには、元のシンボルの有限差分微分に関する特定の不等式を満たさなければならないことを確立している。これは、標準的なユークリッド空間の $(\rho, \delta)$ 理論には存在しない条件である。

意義と主張
本論文は、開発されたカルキュラスが、制限された $(1,0)$ カルキュラスでは達成できなかった、コンパクト・リー群の積集合上における劣楕円的作用素のパラメトリックスを構築するための必要な枠組みを提供すると主張している。著者らは、シュワルツ・カーネルの制御がこの発展の基礎であり、特にビシングラーの設定では、点ごとのシンボル推定だけでは不十分であることを強調している。

本研究は、FedericoとParmeggianiによる $(1,0)$ の場合のビシングラー・カルキュラスの自然な拡張として提示されている。その意義は以下の点にある：

1. 柔軟性： $(\rho, \delta)$ クラスを許容することで、より広範な範囲の作用素、特に楕円的ではないが劣楕円的な作用素の扱いを可能にする。
2. 精緻な特異性解析： このカルキュラスは、積集合を単一の多様体として標準的な擬微分カルキュラスで扱う場合に失われてしまう、積群の各因子における特異性と正則性の精緻な特徴付けを可能にする。
3. 系への応用： この枠組みは、$A_1 \boxtimes A_2$（アティヤ＝シンガーの文脈で見られるもの）のような系やその他の結合された系の解析をサポートし、それらの可解性と正則性の性質を分析するためのツールを提供する。

論文は、$\bar{\partial}$ 作用素、ラプラシアン、および劣楕円的な進化作用素を含む特定の作用素への理論の適用を示す例をもって締めくくられており、これらがどのように因子分解されるか、あるいはビシングラー系として分析されるかを示している。