Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture

Iakovos Androulidakis, Omar Mohsen, Robert Yuncken

TL;DR

The paper develops a pseudodifferential framework adapted to maximally hypoelliptic operators generated by weighted Hörmander vector fields. It defines a weight-sensitive principal symbol $\tilde{\sigma}$ on the Helffer–Nourrigat cone and proves that injectivity of this symbol is equivalent to maximal hypoellipticity, with Sobolev-space regularity $Du\in \tilde{H}^s$ implying $u\in \tilde{H}^{s+k}$. A $C^*$-algebraic approach via the adiabatic foliation and a graded-basis pseudodifferential calculus is developed, yielding parametrix constructions and a robust symbolic calculus that generalizes Hörmander’s sum of squares. The framework handles both compact and noncompact manifolds and provides tools for index theory and heat-kernel analyses of maximally hypoelliptic operators, with explicit connections to the Helffer–Nourrigat cone and Rockland-type conditions. Overall, the work confirms Helffer–Nourrigat’s conjecture in full generality and furnishes a versatile analytic apparatus for weighted, bracket-generating differential operators in sub-Riemannian settings.

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 \textit{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.

A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture

TL;DR

The paper develops a pseudodifferential framework adapted to maximally hypoelliptic operators generated by weighted Hörmander vector fields. It defines a weight-sensitive principal symbol on the Helffer–Nourrigat cone and proves that injectivity of this symbol is equivalent to maximal hypoellipticity, with Sobolev-space regularity implying . A -algebraic approach via the adiabatic foliation and a graded-basis pseudodifferential calculus is developed, yielding parametrix constructions and a robust symbolic calculus that generalizes Hörmander’s sum of squares. The framework handles both compact and noncompact manifolds and provides tools for index theory and heat-kernel analyses of maximally hypoelliptic operators, with explicit connections to the Helffer–Nourrigat cone and Rockland-type conditions. Overall, the work confirms Helffer–Nourrigat’s conjecture in full generality and furnishes a versatile analytic apparatus for weighted, bracket-generating differential operators in sub-Riemannian settings.

Abstract

We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields on a smooth manifold which satisfy Hörmander's bracket generating condition, we define a principal symbol for \textit{any} linear differential operator. Our symbol takes into account the vector fields 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 to have an arbitrary weight. In particular, our theorem generalizes Hörmander's sum of squares theorem to higher order polynomials.
Paper Structure (34 sections, 63 theorems, 176 equations)

This paper contains 34 sections, 63 theorems, 176 equations.

Table of Contents

  1. Principal symbol $\tilde{\sigma}$.
  2. Main theorem.
  3. Structure of the paper.
  4. Acknowledgments.
  5. Filtered foliations
  6. Generalized distributions and singular foliations
  7. Filtered foliations
  8. The Debord-Skandalis action
  9. The Debord-Skandalis action
  10. The Helffer-Nourrigat cone
  11. Differential operators and principal symbol
  12. Principal symbol.
  13. Examples of maximally hypoelliptic differential operators
  14. The Cstar-algebra adiabatic foliation
  15. Graded basis
  16. ...and 19 more sections

Key Result

Theorem 1

Let $M$ be a smooth manifold, $D:C^\infty(M)\to C^\infty(M)$ a differential operator of order $k$. The following are equivalent Furthermore if $M$ is compact, the previous statements are equivalent to the following

Theorems & Definitions (140)

  • Theorem 1: HormanderBooks3
  • Theorem 2: Hormander:SoS
  • Theorem A
  • Theorem B
  • Theorem C
  • Example 3
  • Theorem D
  • Definition 1.3
  • Example 1.4
  • Definition 1.5
  • ...and 130 more