[논문 리뷰] Spectral invariance for certain algebras of pseudodifferential operators

Robert Lauter, Bertrand Monthubert외 1명|ArXiv.org|2001. 12. 10.

Advanced Operator Algebra Research참고 문헌 17인용 수 7

한 줄 요약

이 논문은 연속적인 가족 군oids $\mathcal{G}$ 위에서 정의된 일부 미분형 연산자 대수에 대해 스펙트럼 불변성을 확립한다. 이는 반한-아이디얼, 교환자, 스웨츠 공간을 이용하여 해석적 함수 계산에 대해 닫혀 있는 대수를 구성함으로써 이루어지며, 주요 기여는 $n \geq 2$인 $c_n$-계산이 스펙트럼 불변성을 만족한다는 것을 증명하는 것이다. 이는 비콤팩트 다양체에 원통형 끝을 가진 경우에 표준적인 $b$-계산($n=1$)이 스펙트럼 불변성을 만족하지 못하는 문제를 해결한다.

ABSTRACT

We construct algebras of pseudodifferential operators on a continuous family groupoid G that are closed under holomorphic functional calculus, contain the algebra of all pseudodifferential operators of order 0 on G as a dense subalgebra, and reflect the smooth structure of the groupoid G, when G is smooth. As an application, we get a better understanding on the structure of inverses of elliptic pseudodifferential operators on classes of non-compact manifolds. For the construction of these algebras closed under holomorphic functional calculus, we develop three methods: one using two-sided semi-ideals, one using commutators, and one based on Schwartz spaces on the groupoid.

연구 동기 및 목표

• 비콤팩트 다량체에 원통형 끝을 가진 경우에 표준적인 $b$-계산이 스펙트럼 불변성을 만족하지 못하는 상황에서, 미분형 연산자에 대한 스펙트럼 불변성 문제를 해결하기 위해.
• 연속적인 가족 군oids $\mathcal{G}$의 매끄러운 구조를 반영하는 해석적 함수 계산에 대해 닫혀 있는 미분형 연산자 대수를 구성하기 위해.
• 스웨츠 공간과 다항성장 조건을 갖는 길이 함수를 통합하여 $\Psi^*$-대수 이론을 비콤팩트 환경으로 확장하기 위해.
• $c_n$-계산에서 타당한 타당한 연산자인 경우 그 역이 동일한 계산 내에 남아 있음을 증명하여 동일한 대수 내에서 파라메트릭스 존재성을 보장하기 위해.

제안 방법

• 연속적인 가족 군oids $\mathcal{G}$ 위에서 반한-아이디얼, 교환자, 길이 함수 $\phi$에 대한 스웨츠 공간을 이용하여 미분형 연산자 대수를 구성하기 위해.
• 대수 $\Psi^0_s(\mathcal{G}) = \Psi^0(\mathcal{G}) + \SS(\mathcal{G}, \phi)$를 정의하며, 여기서 $\SS(\mathcal{G}, \phi)$는 $\mathcal{G}$에 대한 $\phi$에 대한 스웨츠 공간이다.
• $\mathcal{G}$의 리 대수다양체 구조를 이용하여 각 점에서의 접공간을 생성하는 벡터장 $v_1, \dots, v_N$을 선택하고, 두 번째 차수의 미분연산자 $\Delta = \sum v_i^2$와 그 파라메트릭스를 정의하기 위해.
• 모든 $k_1, k_2 \in I_c^{m,0}(\mathcal{G}, \mathcal{G}^{(0)})$ 및 $f \in \SS(\mathcal{G}, \phi)$에 대해 $k_1 * f * k_2 \in \SS(\mathcal{G}, \phi)$임을 증명하여 $\Psi^0_s(\mathcal{G})$가 대수임을 보장하기 위해.
• 스펙트럼 불변성에 관한 정리 1을 적용하여, $P \in \Psi^0_s(\mathcal{G})$가 프리드홀름 연산자이면 그 역이 $\Psi^0_s(\mathcal{G})$에 속한다는 것을 보여주기 위해.
• $b$-계산과 $c_n$-계산 군oids 사이의 호메오멀피즘 $\Theta_n: \Gamma(X) \to \Gamma_n(X)$를 이용하여 길이 함수 $\phi(x,y,\lambda) = |\log \lambda|$를 전달하고, $\Gamma_n(X)$ 위에서 $\phi_n = \phi \circ \Theta_n^{-1}$를 정의하기 위해.

실험 결과

연구 질문

• RQ1 표준적인 $b$-계산($n=1$)이 스펙트럼 불변성을 만족하지 못하는 상황에서, $n \geq 2$인 $c_n$-계산이 스펙트럼 불변성을 만족하는가?
• RQ2 연속적인 가족 군oids 위에서 정의된 미분형 연산자 대수를 해석적 함수 계산에 대해 닫혀 있도록 구성할 수 있는가?
• RQ3 다항성장 조건을 갖는 길이 함수에 대한 스웨츠 공간의 포함이 스펙트럼 불변성을 보장하는가?
• RQ4 $c_n$-계산 내의 타당한 연산자에 대한 역이 동일한 계산 내에 존재함을 보일 수 있는가? 이는 파라메트릭스 존재성을 보장한다.
• RQ5 군oids 기반의 미분형 연산자 계산의 맥락에서 스웨츠 공간과 파라메트릭스 구성 간의 상호작용은 어떻게 이루어지는가?

주요 결과

• $n \geq 2$인 $c_n$-계산은 스펙트럼 불변성을 만족한다. 즉, 이 계산 내의 타당한 연산자의 역은 여전히 동일한 계산 내에 존재한다.
• 길이 함수 $\phi$가 다항성장 조건을 갖는다면, 대수 $\Psi^0_s(\mathcal{G}) = \Psi^0(\mathcal{G}) + \SS(\mathcal{G}, \phi)$는 해석적 함수 계산에 대해 닫혀 있다.
• 스웨츠 공간 $\SS(\mathcal{G}, \phi)$는 $I_c^{m,0}(\mathcal{G}, \mathcal{G}^{(0)})$에 속하는 연산자와의 콘볼루션에 대해 보존되며, 이는 $\Psi^0_s(\mathcal{G})$가 대수임을 보장한다.
• 모든 프리드홀름 연산자 $P \in \Psi^0_s(\mathcal{G})$에 대해, $Q \in \Psi^0_s(\mathcal{G})$인 파라메트릭스 $Q$가 존재한다. 이는 타당한 정규성의 핵심 성질이다.
• $c_n$-계산 군oids $\Gamma_n(X)$ 위에서의 길이 함수 $\phi_n(u,v,\mu) = |\mu|$는 다항성장 조건을 갖는 잘 정의된 길이 함수이며, 호메오멀피즘 $\Theta_n$을 통해 유도된다.
• 스웨츠 공간을 통한 구성은 비콤팩트 환경에서도 스펙트럼 불변성을 달성하는 데에 강력한 방법을 제공하며, 이는 $\Psi^*$-대수 이론의 적용 범위를 콤팩트 다량체를 초월하여 확장한다.