[논문 리뷰] A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture

Iakovos Androulidakis, Omar Mohsen외 1명|arXiv (Cornell University)|2022. 01. 28.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 히르만더의 괄호 조건을 만족하는 벡터장이 있는 다양체 위에서 최대 히포엘리프틱 미분연산자에 대한 가짜미분연산 계산법을 수립하며, 벡터장과 그 교환자들을 포함하는 주의 상징을 도입한다. 이는 헬러-누리갈 추측을 증명함으로써, 연산자가 최대 히포엘리프틱일 조건이 주의 상징이 가역임과 동치임을 보여주며, 히르만더의 제곱합 정리의 고차 다항식 및 임의의 필터링과 가중치를 갖는 경우로의 일반화를 이룬다.

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.

연구 동기 및 목표

• 히포엘리프틱 설정에서 타원 연산자의 정칙성 이론을 최대 히포엘리프틱 연산자로 확장한다.
• 벡터장과 그 교환자의 전체 리 대수적 구조를 반영하는 주의 상징을 정의한다.
• 최대 히포엘리프틱성을 주의 상징의 가역성으로 특징짓는 헬러-누리갈 추측을 증명한다.
• 히르만더의 제곱합 정리를 고차 다항식과 임의의 가중치를 갖는 벡터장으로 일반화한다.
• 필터링된 분할다양체 위에서 이러한 연산자의 분석을 위한 $ C^* $-대수적 프레임워크와 가짜미분연산 계산법을 개발한다.

제안 방법

• 벡터장 $ X_1, \dots, X_m $ 가 생성하는 리 대수를 사용하여 다양체 위에 필터링된 분할다양체 구조를 정의하고, 각 벡터장에 가중치를 할당한다.
• 각 점 $ x \in M $ 에서의 옥수리 근사 노름화 리 군 $ \mathfrak{gr}(\mathcal{F}_x) $ 를 구성하여 리 대수의 노름화 근사 구조를 캡슐화한다.
• 단위 표현의 쌍대 공간 $ \mathcal{T}_x^*\mathcal{F} $ 를 $ \mathfrak{gr}(\mathcal{F}_x) $ 에 대해 정의하고, 기호 공간 $ \mathcal{T}^*\mathcal{F} = \bigsqcup_{x \in M} \mathcal{T}_x^*\mathcal{F} $ 를 구성한다.
• 기호 공간 $ \mathcal{T}^*\mathcal{F} $ 에서 연산자 값을 갖는 주의 상징 $ \tilde{\sigma}(D, x, \pi) $ 를 도입하여, 고전적 기호를 히포엘리프틱 설정으로 일반화한다.
• 진동 적분과 계급 기저를 사용하여 가짜미분연산 계산법을 개발하고, 기저 선택에 영향을 받지 않으며 필터링과 호환됨을 보장한다.
• 주의 상징이 가역인 연산자에 대해 파라메트릭스의 존재를 증명하고, 소볼레프 공간 추정을 통해 해의 정칙성을 확립한다.

실험 결과

연구 질문

• RQ1 히포엘리프틱 설정에서 벡터장과 그 교환자의 구조를 완전히 반영하는 주의 상징을 정의할 수 있는가?
• RQ2 히르만더 클래스에 속한 미분연산자에서 주의 상징의 가역성과 최대 히포엘리프틱성은 동치인가?
• RQ3 히르만더의 제곱합 정리를 임의의 가중치를 갖는 고차 다항식의 벡터장으로 일반화할 수 있는가?
• RQ4 최대 히포엘리프틱 연산자의 기호 계산을 모델링하기 위해 $ C^* $-대수적 프레임워크를 어떻게 구성할 수 있는가?
• RQ5 헬러-누리갈 콘과 데보르-스카단리스 작용은 히포엘리프틱 정칙성의 특징을 규명하는 데 어떤 역할을 하는가?

주요 결과

• 주의 상징 $ \tilde{\sigma}(D, x, \pi) $ 는 벡터장과 그 교환자의 기저 선택에 영향을 받지 않게 잘 정의되어 있다.
• 연산자 $ D $ 는 모든 점 $ x \in M $ 과 모든 $ \pi \in \mathcal{T}_x^*\mathcal{F} $ 에서 주의 상징이 가역일 때에만 최대 히포엘리프틱이며, 이는 헬러-누리갈 추측을 확인한다.
• 히르만더 순서에 의해 정의된 소볼레프 공간 $ \tilde{H}^s(M) $ 는 보간과 쌍대성에 의해 모든 실수 $ s $ 로 확장되며, $ \bigcap_{s \in \mathbb{R}} \tilde{H}^s(M) = C^\infty(M) $ 를 만족한다.
• 개발된 가짜미분연산 계산법은 필터링과 호환되며, 주의 상징이 가역인 연산자에 대해 파라메트릭스의 구성이 가능하다.
• 결과적으로 히르만더의 제곱합 정리는 임의의 비가환 다항식, 고차 항 포함하여, 벡터장에 대해 일반화된다.
• 주어진 $ C^* $-대수 $ C^*\mathfrak{a}\mathcal{F} $ 는 다양체 위의 $ C^* $-_bundle의 연속적 단면의 대수와 동형임을 보이며, 그 군의 원소는 각각의 필터링된 노름화 리 군의 군 $ C^* $-대수와 동형이다.