[논문 리뷰] Index theorem for inhomogeneous hypoelliptic differential operators

Omar Mohsen|arXiv (Cornell University)|2020. 01. 02.

Advanced Operator Algebra Research참고 문헌 30인용 수 5

한 줄 요약

이 논문은 만족하는 필터링 조건을 갖춘 다양체 위의 비균일 히포에르티크 미분 연산자에 대한 색인 정리를 수립한다. Van-Erp의 접선 다양체에 대한 접근을 일반화하여, 임의의 필터링에 대해 변형 군집을 구축하고, 해석적 색인과 주어진 연산자의 주기호의 Connes-Thom 역수에 대한 Atiyah-Singer 색인 간의 동치를 증명함으로써, 비접선 및 고차수 노름군의 구조로의 색인 공식을 일반화한다.

ABSTRACT

We prove an index theorem for inhomogeneous differential operators satisfying the Rockland condition (hence hypoelliptic). This theorem extends an index theorem for contact manifolds by Van-Erp.

연구 동기 및 목표

• 접선 다양체에 대한 Van-Erp의 색인 정리를 임의의 필터링된 다양체와 히포에르티크 연산자로 일반화하는 것.
• 접선이 아닌 환경으로의 일반화된 필터링에 대해 탄성 군집을 구축하여, 접선 군집 프레임워크를 확장하는 것.
• Connes-Thom 동형사상을 사용하여 $H$-타원형 미분 연산자의 해석적 색인에 대한 위상수학적 공식을 수립하는 것.
• 국소적으로 일정하지 않은 노름군 번들의 연속적인 임의의 표현 장을 구성하는 데 발생하는 장애를 $\bar{G}_x$에 대한 임bedding을 통해 해결하는 것.
• Rockland 조건이 만족될 경우, Rockland 연산자의 해석적 색인이 주어진 연산자의 주기호의 Connes-Thom 역수에 대한 Atiyah-Singer 색인과 동일함을 증명하는 것.

제안 방법

• 접선(bundle)의 임의의 필터링에 대해 변형 군집을 구축하여, Van-Erp의 접선 다양체에 대한 구성 방식을 일반화하는 것.
• 미분 연산자의 주기호를 $\oplus_{i=1}^r H^i_x / H^{i-1}_x$ 위의 등변 미분 연산자로 정의하는 것.
• 히포에르티크성과 주기호의 역행성에 대한 기준으로서 Rockland 조건을 사용하며, 이는 노름군의 $C^*$-대수 내에서의 성질로 표현된다.
• 지역 노름군 $G_x$를 중심 정확열을 통해 더 큰 군 $\bar{G}_x$에 임베딩하여 표현의 임의성 확보를 위한 조건을 마련하는 것.
• Connes-Thom 동형사상 $K(C_0(\mathfrak{g}^*)) \xrightarrow{\operatorname{Ind}_G} K(C^*G)$를 적용하여 기호 클래스와 $K$-이론 간의 관계를 설정하는 것.
• 해석적 색인이 $\operatorname{Ind}_{AS}(\operatorname{Ind}_G^{-1}([\sigma(D)]))$로 주어짐을 증명하는 것. 여기서 $\operatorname{Ind}_{AS}$는 Atiyah-Singer 색인 사상이다.

실험 결과

연구 질문

• RQ1 접선 다양체에 대한 색인 정리는 임의의 필터링된 접선(bundle)을 갖춘 일반적인 필터링된 다양체로 확장 가능한가?
• RQ2 비접선 및 고차수 노름군의 구조에 대해 일관된 변형 군집을 어떻게 정의할 수 있는가?
• RQ3 Connes-Thom 동형사상은 비접선 케이스에서 주기호와 해석적 색인 간의 관계를 어떻게 규명하는가?
• RQ4 군 번들이 국소적으로 일정하지 않을 경우 연속적인 임의의 표현 장을 구성하는 데 발생하는 장애는 어떻게 해결할 수 있는가?
• RQ5 일반적인 필터링된 설정에서 Rockland 조건이 여전히 프레드홀름성과 위상수학적 색인 공식의 가능성을 보장하는가?

주요 결과

• 콤���트 다양체 위의 $H$-타원형 미분 연산자 $D$의 해석적 색인은 $\operatorname{Ind}_{AS}(\operatorname{Ind}_G^{-1}([\sigma(D)]))$로 주어지며, 이는 Van-Erp의 공식을 임의의 필터링으로 일반화한 것이다.
• 일반적인 필터링에 대한 변형 군집의 구축은 가능하며, 이는 [vEY17, CP15, Moh18]에서 보여진 바와 같이 접선 케이스를 일반화한다.
• 주기호 $[\sigma(D)]$는 $K(C^*\oplus_{i=1}^r H^i/H^{i-1})$의 원소로 정의되며, 이는 Connes-Thom 동형사상에 의해 $K(C_0(\mathfrak{g}^*))$로 매핑된다.
• 모든 $x \in M$에 대해, 군 $G_x = \oplus_{i=1}^r H^i_x / H^{i-1}_x$는 계층적 노름군 리 군이며, 그 표현 이론은 $\bar{G}_x$에 대한 임베딩을 통해 임의성 보장을 위해 확장된다.
• Rockland 조건은 모든 비자명한 유니터리 표현 $\pi$에 대해 $\pi(\sigma(D))$가 단사임을 보장하며, 이는 $D$의 히포에르티크성과 프레드홀름성의 조건을 의미한다.
• Connes-Thom 동형사상의 역수는 자유 카르노 군의 암시 사상에 기반한 업그레이드 절차를 통해 구성되며, 이는 [CGGP92]의 결과를 국소적으로 일정하지 않은 번들로 일반화한다.