[논문 리뷰] A groupoid approach to pseudodifferential operators

Erik van Erp, Robert Yuncken|arXiv (Cornell University)|2015. 11. 02.

Mathematical Analysis and Transform Methods참고 문헌 18인용 수 12

한 줄 요약

이 논문은 탄성군oids와 그 $\mathbb{R}^{\times}\_+$-작용을 사용하여 고전적 미분형 연산자의 좌표에 의존하지 않는 기하적 특성화를 제안한다. $M\times M$ 위의 적절히 지지된 반정규 분포가 고전적 미분형 연산자일 조건은 그 연장이 탄성군oids 위에서 매끄럽고 스케일링 작용에 대해 정도 $m$의 동차성을 띠는 것으로, 필터링된 다양체 위의 미분형 계산법(예: 헤이젠베르크 계산법 포함)을 통합적으로 다룰 수 있는 프레임워크를 제공한다.

ABSTRACT

We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural $\mathbb{R}^ imes_+$-action. Specifically, we show that a properly supported semiregular distribution on $M imes M$ is the Schwartz kernel of a classical pseudodifferential operator if and only if it extends to a smooth family of distributions on the range fibres of the tangent groupoid which is homogeneous for the $\mathbb{R}^ imes_+$-action modulo smooth functions. Moreover, we show that the basic properties of pseudodifferential operators can be proven directly from this characterization. Finally, we show that with the appropriate generalization of the tangent bundle, the same definition applies without change to define pseudodifferential calculi on arbitrary filtered manifolds, in particular the Heisenberg calculus.

연구 동기 및 목표

• 탄성군oids와 그 $\mathbb{R}^{\times}\_+$-작용을 이용한 기하학적, 좌표에 의존하지 않는 고전적 미분형 연산자의 특성화를 제공한다.
• 이 특성화를 일반화하여, 헤이젠베르크 계산법을 포함한 필터링된 다각체 위의 미분형 계산법을 명시적인 기호나 커널 클래스 정의 없이 정의한다.
• 미분형 연산자의 기본 성질들이 이 기하학적 정의로부터 직접 유도될 수 있음을 보인다.
• 군oids 이론적 방법을 통해 다양한 기하적 배경에서 미분형 연산자들을 통합적으로 다룰 수 있도록 한다.

제안 방법

• 탄성군oids $\mathbb{T}M = (TM \times \{0\}) \sqcup (M \times M \times \mathbb{R}^{\times})$ 를 연산자와 그 주요 기호를 접합하는 기하적 모델로 사용한다.
• 탄성군oids의 범위 섬유 위에 정의된 매끄러운 분포의 가족 $\mathbb{P}$ 를 정의하여, 미분형 연산자의 슈바르츠 커널과 그 코기호를 확장한다.
• 탄성군oids 위에서 $\alpha_\lambda$ 작용에 대해 정도 $m$의 동차성을 부여한다. 여기서 $\alpha_\lambda(x,y,t) = (x,y,\lambda^{-1}t)$ 이고, $\alpha_\lambda(x,\xi,0) = (x,\delta_\lambda\xi,0)$ 이다.
• 고전적 미분형 연산자를, 이러한 동차성과 매끄러움을 갖는 가족 $\mathbb{P}$ 에서 유도되는 $\mathbb{P}|_{t=1}$ 인 커널 $P$ 로 특성화한다.
• 필터링된 다각체에 대해, 연관된 군oids $G$ 와 그에 대응하는 계수 배럴 $\mathfrak{a}_H G$ 와 관련된 광역군oids $\mathbb{A}_H G$ 를 통해 이 구성의 일반화를 수행한다.
• 국소 지수 좌표에서의 군oids의 콘볼루션 대수와 푸리에 분석을 사용하여 감쇠 추정과 파동면 집합 조건을 도출하고, 이는 잘 정의된 곱과 파라메트릭스 구성 보장한다.

실험 결과

연구 질문

• RQ1 고전적 미분형 연산자는 탄성군oids와 그 스케일링 작용을 통해 순수하게 기하학적으로 특성화될 수 있는가?
• RQ2 이 특성화는 헤이젠베르크 계산법이 나타나는 필터링된 다각체 위의 미분형 계산법으로 자연스럽게 확장되는가?
• RQ3 미분형 연산자의 기본 성질들—예를 들어 합성, 파라메트릭스 존재성, 기호 계산법—은 이 기하학적 정의로부터 직접 도출될 수 있는가?
• RQ4 확장된 커널이 $\mathbb{R}^{\times}\_+$-작용에 대해 동차성을 가지는 것은 기호의 전체 점근 전개를 어떻게 캡처하는가?
• RQ5 광역군oids와 그 연관된 콘볼루션 대수는 비자명한 필터링된 구조 위에서 미분형 연산자를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 적절히 지지된 반정규 분포가 $M \times M$ 위에 존재할 때, 이는 고전적 미분형 연산자 $m$차수의 슈바르츠 커널이 되기 위한 필요충분조건은 탄성군oids의 범위 섬유 위에서 매끄럽고 $\mathbb{R}^{\times}\_+$-작용에 대해 정도 $m$의 동차성을 띠는 가족으로 확장되며, 매끄러운 함수에 대해 모odulo된다는 것이다.
• 미분형 연산자의 기본 성질들, 예를 들어 합성과 파라메트릭스 존재성은 명시적인 기호 계산법 없이도 이 기하학적 특성화로부터 직접 도출될 수 있다.
• 동일한 정의는 광역군oids $\mathbb{A}_H G$ 를 통해 임의의 필터링된 다각체 위에서 미분형 계산법을 정의하는 데 그대로 적용되며, 헤이젠베르크 계산법과 그 일반화를 얻는다.
• 확장된 커널 $\mathbb{P}$ 의 파동면 집합은 단위 공간에 대해 정규이며, 이는 적절한 정규성 보장과 대수 $\Psi_H^\bullet(G)$ 내에서 잘 정의된 콘볼루션 곱을 가능하게 한다.
• 주요 코기호 사상 $\sigma_m: \Psi_H^m(G) \to \Sigma_H^m(G)$ 는 잘 정의되어 있으며, 짧은 정확수열에 포함되며, $\Psi_H^{-\infty}(G)$ 는 군oids의 매끄러운 콘볼루션 대수로 식별된다.
• 주요 기호 $\sigma_m(P)$ 가 $\Sigma_H^\bullet(G)$ 내에서 콘볼루션 역원을 갖는다면, $P$ 는 $Q \in \Psi_H^{-m}(G)$ 인 파라메트릭스 $Q$ 를 가지며, 이때 $PQ - I, QP - I \in \Psi_H^{-\infty}(G)$ 를 만족한다.