[論文レビュー] A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture

Iakovos Androulidakis, Omar Mohsen+1 more|arXiv (Cornell University)|Jan 28, 2022

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

本稿は、ホルマンダーの括弧条件を満たすベクトル場を備えた多様体上における最大擬微分作用素のための擬微分計算を確立し、ベクトル場とその交換子を組み込んだ主記号を導入する。Helffer-Nourrigat予想を証明し、作用素が最大擬微分的であることは、その主記号が可逆であることと同値であることを示し、ホルマンダーの二乗和定理を高次多項式および重み付きベクトル場を用いた任意のフィルトレーションに一般化する。

ABSTRACT

We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields $X_1,\ldots,X_m$ on a smooth manifold which satisfy Hörmander's bracket generating condition, we define a principal symbol for extit{any} linear differential operator. Our symbol takes into account the vector fields $X_i$ and their commutators. We show that for an arbitrary differential operator, its principal symbol is invertible if and only if the operator is maximally hypoelliptic. This answers affirmatively a conjecture due to Helffer and Nourrigat. Our result is proven in a more general setting, where we allow each one of the vector fields $X_1,\ldots,X_m$ to have an arbitrary weight. In particular, our theorem generalizes Hörmander's sum of squares theorem to higher order polynomials.

研究の動機と目的

• 擬微分的設定における楕円作用素の正則性理論を、最大擬微分的作用素へと拡張すること。
• ベクトル場の完全なリー代数的構造とその交換子を捉える主記号を、微分作用素に対して定義すること。
• Helffer-Nourrigat予想を証明すること。これは、主記号の可逆性によって最大擬微分的性が特徴づけられることを示す。
• ホルマンダーの二乗和定理を、任意の重みをもつベクトル場における高次多項式へ一般化すること。
• フィルタードフォリエーション上での $ C^* $-代数的枠組みと擬微分計算を構築し、このような作用素の解析に用いること。

提案手法

• ベクトル場 $ X_1, \dots, X_m $ が生成するリー代数を用いて、多様体上にフィルタードフォリエーション構造を定義し、各ベクトル場に重みを割り当てる。
• 各点 $ x \in M $ において、リー代数のノルム近似を符号化する、接続された可解リー群 $ \mathfrak{gr}(\mathcal{F}_x) $ を構成する。
• $ \mathfrak{gr}(\mathcal{F}_x) $ のユニタリ表現の双対空間 $ \mathcal{T}_x^*\mathcal{F} $ を定義し、記号空間 $ \mathcal{T}^*\mathcal{F} = \bigsqcup_{x \in M} \mathcal{T}_x^*\mathcal{F} $ を形成する。
• 古典的記号を擬微分的設定に一般化する、演算子値の主記号 $ \tilde{\sigma}(D, x, \pi) $ を $ \mathcal{T}^*\mathcal{F} $ 上に定義する。
• 振動積分と階層的基底を用いた擬微分計算を構築し、基底の選択に依存しないこと、およびフィルトレーションと整合することを保証する。
• 主記号が可逆である作用素に対して、パラメトリックスの存在を証明し、Sobolev空間の推移的推移を用いて解の正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 擬微分的設定における微分作用素に対して、ベクトル場とその交換子の構造を完全に符号化する主記号を定義できるか？
• RQ2 ホルマンダークラスにおける微分作用素に関して、主記号の可逆性は最大擬微分的性と同値か？
• RQ3 ホルマンダーの二乗和定理は、任意の重みをもつベクトル場における高次多項式へ一般化可能か？
• RQ4 最大擬微分的作用素の記号的計算をモデル化するための $ C^* $-代数的枠組みをどのように構築できるか？
• RQ5 Helffer-Nourrigatの錐とDebord-Skandalis作用は、擬微分的正則性を特徴づけるために果たす役割は何か？

主な発見

• 主記号 $ \tilde{\sigma}(D, x, \pi) $ は、ベクトル場とその交換子の基底の選択に依存せず、適切に定義される。
• 作用素 $ D $ が最大擬微分的であることは、すべての点 $ x \in M $ およびすべての $ \pi \in \mathcal{T}_x^*\mathcal{F} $ において、その主記号が可逆であることと同値である。これはHelffer-Nourrigat予想の確認である。
• ホルマンダー順序を用いて定義されたSobolev空間 $ \tilde{H}^s(M) $ は、補間と双対性を用いてすべての実数 $ s $ へ拡張され、 $ \bigcap_{s \in \mathbb{R}} \tilde{H}^s(M) = C^\infty(M) $ を満たす。
• 開発された擬微分計算はフィルトレーションと整合し、主記号が可逆である作用素に対してパラメトリックスの構成を可能にする。
• 結果として得られた一般化は、ホルマンダーの二乗和定理を、非可換なベクトル場における任意の高次多項式へ拡張する。
• $ C^* $-代数 $ C^*\mathfrak{a}\mathcal{F} $ が構成され、これは $ M $ 上の $ C^* $-バンドルの連続的切断の代数と同型であり、そのファイバーは接続された可解リー群の群 $ C^* $-代数と同型であることが示された。