[論文レビュー] Connes Integration Formula without singular traces

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|Mar 16, 2021

Advanced Operator Algebra Research参考文献 25被引用数 4

ひとこと要約

本稿は、特異トレースや超濾過を用いずに、コンパクトなリーマン多様体上の擬微分作用素の漸近的固有値挙動を導く、コンネスの積分公式の新版を確立する。作用素 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ の鋭い弱いシェイテンノルム推定 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$ を証明することで、可積分関数のクラスをオルリーツ空間 $L_M(X, \mathrm{vol}_g)$ に拡張し、トレースの漸近挙動が固有値の崩壊率を通じてリーマン計量積分と一致することを示す。

ABSTRACT

A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.

研究の動機と目的

• 特異トレースや超濾過を用いずに非可換積分公式を導くコンネスの未解決問題を解決すること。
• $L^2$ を超える量子可積分関数のクラスを、$M(t) = t\log(e+t)$ であるオルリーツ空間 $L_M(X, \mathrm{vol}_g)$ に拡張すること。
• 対称作用素 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ の固有値に対する直接的な漸近公式を確立し、リーマン計量積分を回復すること。

提案手法

• コンパクト多様体上でのソロマヤクの結果を拡張し、$f \in L_M^{(2)}(X, \mathrm{vol}_g)$ に対して $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$ の鋭い弱いシェイテンノルム推定を証明する。
• バーマン＝ソロマヤクのスペクトル漸近理論と準バナッハ的理想ノルムの最近の進展を用いて、作用素の特異値挙動を分析する。
• 準バナッハ的理想設定におけるバーマン＝コプリエンコ＝ソロマヤクの不等式を適用し、自己共役作用素に対して $ABA_+$ と $AB_+A$ の差を制御する。
• 滑らかな関数の近似列に対して、特異値関数 $\mu(t,T)$ が $\mathcal{L}_{1,\infty}$-ノルムで収束することを確立する。
• 関数 $f \in L_M(X, \mathrm{vol}_g)$ に対して $[M_f, (1-\Delta_g)^{-d/4}] \in (\mathcal{L}_{2,\infty})_0$ であるという事実を活用し、漸近展開における誤差項を制御する。
• 極限 $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$ を用いて、固有値の崩壊率を通じて積分を回復する。

実験結果

リサーチクエスチョン

• RQ1 特異トレースや超濾過を用いずに、固有値漸近挙動から直接コンネス積分公式を導くことは可能か？
• RQ2 コンパクトなリーマン多様体上での関数 $f$ の最大クラスは何か？ その上で、作用素 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ がリーマン計量積分と一致するトレース漸近挙動を持つ。
• RQ3 ソロマヤクのトーラス上での結果を拡張して、コンパクト多様体上でも弱いシェイテンノルム推定 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$ が成り立つか？
• RQ4 対称作用素の漸近的固有値挙動を用いて、$L^2$ の外の関数に対して非可換積分を定義することは可能か？
• RQ5 自己共役作用素 $A,B$ に対して $[A,B] \in (\mathcal{L}_{2,\infty})_0$ ならば、$ABA$ と $AB_+A$ の正部の差は $(\mathcal{L}_{1,\infty})_0$ 理想に属するか？

主な発見

• 任意の実数値関数 $f \in L_M(X, \mathrm{vol}_g)$ に対して、$(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ の漸近的固有値挙動は $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$ を満たす。
• 負の部分に対しても同様の結果が成り立つ：$\lim_{t\to\infty} t \mu(t, T_-) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_- \, d\mathrm{vol}_g$ であり、対称公式が完全に完成する。
• 可積分関数のクラスは $L^2$ を超えて、$M(t) = t\log(e+t)$ であるオルリーツ空間 $L_M(X, \mathrm{vol}_g)$ に拡張され、これは $L^2$ よりも厳密に大きい。
• すべてのコンパクトな $d$ 次元リーマン多様体上において、弱いシェイテンノルム推定 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$ が確立される。
• 関数 $f \in L_M(X, \mathrm{vol}_g)$ に対して、交換子 $[M_f, (1-\Delta_g)^{-d/4}]$ は準バナッハ的理想 $(\mathcal{L}_{2,\infty})_0$ に属する。これにより、スペクトル近似技法が利用可能になる。
• 超濾過を避けるために、直接的なスペクトル解析と準バナッハ的理想におけるバーマン＝ソロマヤク不等式を用いることで、コンネスの公式の構成的導出が可能になった。