[论文解读] 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

一句话总结

本文为满足Hörmander括号条件的向量场所构成的流形上的极大次椭圆微分算子建立了伪微分演算，引入了一个结合了向量场及其李括积的主符号。通过证明一个算子是极大次椭圆的当且仅当其主符号可逆，从而证明了Helffer-Nourrigat猜想，将Hörmander的平方和定理推广至高阶多项式及任意加权向量场的滤子结构。

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猜想，该猜想通过主符号的可逆性刻画了极大次椭圆性。
• 将Hörmander的平方和定理推广至具有任意权重的向量场中的高阶多项式。
• 在滤子叶状结构上建立$ 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} $。
• 在$ \mathcal{T}^*\mathcal{F} $上引入一个算子值主符号$ \tilde{\sigma}(D, x, \pi) $，该符号将经典符号推广至次椭圆设定。
• 利用振荡积分与分次基发展伪微分演算，确保其与基的选择无关，并与滤子结构相容。
• 证明具有可逆主符号的算子存在参数解，通过Sobolev空间估计建立解的正则性。

实验结果

研究问题

• RQ1 能否在次椭圆设定下为微分算子定义一个主符号，使其完整编码向量场及其李括积的结构？
• RQ2 在Hörmander类中，主符号的可逆性是否等价于微分算子的极大次椭圆性？
• RQ3 Hörmander的平方和定理能否推广至具有任意权重的向量场中的高阶多项式？
• 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猜想。
• 通过插值与对偶性，将Hörmander阶定义的Sobolev空间$ \tilde{H}^s(M) $推广至所有实数$ s $，并满足$ \bigcap_{s \in \mathbb{R}} \tilde{H}^s(M) = C^\infty(M) $。
• 所发展的伪微分演算与滤子结构相容，容许为具有可逆主符号的算子构造参数解。
• 该结果将Hörmander的平方和定理推广至向量场的任意非交换多项式，包括高阶项。
• 构造了$ C^* $-代数$ C^*\mathfrak{a}\mathcal{F} $，并证明其同构于$ M $上一个$ C^* $-丛的连续截面代数，其纤维同构于分次幂零李群的群$ C^* $-代数。