[논문 리뷰] Multi-parameter deformations of the module of symbols of differential operators

Faouzi Ammar, Boujemaâ Agrebaoui외 1명|ArXiv.org|2000. 11. 08.

Mathematical Control Systems and Analysis인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^n$ ($n \geq 2$) 위의 미분 연산자의 기호 모듈러스의 다중 매개변수 형식적 변형의 적분 가능성에 대한 필수적이고 충분한 조건을 확립한다. 리 대수 $\mathrm{Vect}(\mathbb{R}^n)$의 코homology를 이용하여, 형식적 변형이 무한소 변형을 확장할 수 있도록 보장하는 변형 매개변수 간의 대수적 관계를 규명하며, 고전적 일 매개변수 변형 이론을 다중 매개변수 설정으로 일반화하고 명시적인 적분 가능성 조건을 제시한다.

ABSTRACT

The space of symbols of differential operators on a smooth manifold (i.e., the space of symmetric contravariant tensor fields) is naturally a module over the Lie algebra of vector fields. We study, in the case of $\bf R^n$ with $n\geq2$, multi-parameter formal deformations of this module. The space of linear differential operators on $\bf R^n$ provides an important class of such formal deformations; we show, however, that the whole space of deformations is much larger.

연구 동기 및 목표

• 주어진 $\mathbb{R}^n$ 위의 미분 연산자 기호 모듈러스의 무한소 변형을 확장하는 형식적 다중 매개변수 변형의 존재에 대한 필요 및 충분 조건을 규명하는 것.
• 최소지배적 변형 이론을 이용하여 고전적 일 매개변수 변형 이론을 다중 매개변수 설정으로 일반화하는 것.
• 형식적 변형의 적분 가능성에 대한 장애물들을 $\mathrm{Vect}(\mathbb{R}^n)$의 첫 번째 코homology 클래스에 해당하는 변형 매개변수 간의 대수적 관계로 특성화하는 것.

제안 방법

• 변형을 형식적 급수 $\rho(t) = \rho + \sum_{m \geq 1} \varphi_m(t)$ 로 모델링하며, 여기서 $\varphi_m(t)$ 는 매개변수 $t = (t_1, \dots, t_p)$ 에 대해 차수 $m$ 의 동차 다항식이며 $\mathrm{End}(V) \otimes \mathbb{C}[t]$ 에 값을 갖는다.
• 변형된 작용의 준동형 조건을 코딩하기 위해 마우러-카르탕 방정식 $\delta\varphi(t) + \frac{1}{2}[[\varphi(t), \varphi(t)]] = 0$ 을 사용한다.
• 무한소 변형 $\varphi_1(t)$ 을 $H^1(\mathrm{Vect}(\mathbb{R}^n), \mathrm{End}(V))$ 의 기저에 해당하는 1-코사이클 $c_i$ 들의 선형 조합으로 표현한다.
• Nijenhuis-Richardson 곱 $[[c_i, c_j]]$ 를 이용해 고차항 $\varphi_m(t)$ 를 재귀적으로 계산하며, 적분 가능성에 대한 장애물을 탐지한다.
• 적분 가능성 조건을 매개변수 $t_i^k$ 간의 대수적 관계로 식별하며, 예를 들어 $t_0^k - t_0^{k-1} = 0$, $t_1^k t_1^{k-1} = 0$, $t_2^k t_2^{k-2} = 0 과 같은 관계는 Nijenhuis-Richardson 곱의 영향으로 유도된다.
• 이 관계들이 장애물의 아이디얼을 생성함을 증명하여, 모든 $i,j$ 에 대해 $[[c_i, c_j]]$ 가 영이 되는 것이 형식적 변형의 존재에 필수적이고 충분한 조건임을 보인다.

실험 결과

연구 질문

• RQ1 다중 매개변수 형식적 변형이 $\mathbb{R}^n$ 위의 미분 연산자 기호 모듈러스에 대해 적분 가능하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 $\mathrm{Vect}(\mathbb{R}^n)$ 의 첫 번째 코homology에 관련된 1-코사이클의 Nijenhuis-Richardson 곱은 가능한 변형을 어떻게 제약하는가?
• RQ3 모든 다중 매개변수 변형의 공간은 변형 매개변수 간의 대수적 관계로 완전히 기술될 수 있는가? 만약 그렇다면, 그 관계는 무엇인가?
• RQ4 이 맥락에서 고전적 일 매개변수 변형 이론은 어느 정도 다중 매개변수 설정으로 확장될 수 있는가?
• RQ5 두 매개변수 가중치 가중치 가중치 $\mathcal{D}_{\lambda,\mu}$ 의 미분 연산자 가중치 가중치 가중치는 일반적인 변형 공간과 어떻게 관련이 있는가?

주요 결과

• 다중 매개변수 무한소 변형의 적분 가능성은 변형 매개변수에 대응하는 코homology 클래스 $c_i$ 들 간의 모든 Nijenhuis-Richardson 곱 $[[c_i, c_j]]$ 가 영이 되는 것과 동치이다.
• 필요 및 충분한 적분 가능성 조건은 $t_0^k - t_0^{k-1} = 0$, $t_1^k t_1^{k-1} = 0$, $t_2^k t_2^{k-2} = 0 과 같은 대수적 관계이며, 각각 $[[c_0, c_1]]$, $[[c_1, c_1]]$, $[[c_0, c_2]]$ 의 영향으로 유도된다.
• 변형의 2차 항 $\varphi_2(t)$ 가 존재하는 것은 Nijenhuis-Richardson 곱에서 유도된 방정식계가 유일한 해를 갖는 것과 동치이며, 이는 정확히 적분 가능성 조건 (4.22)–(4.24) 가 만족될 때 성립한다.
• 증명은 임의의 고차 장애 다항식 $R_m(t)$ 가 기본 관계 (4.22)–(4.24) 로 생성된 아이디얼에 속해야 한다고 보여주며, 이는 그 관계들의 충분성을 확인한다.
• 변형 공간의 구조는 $\mathrm{Vect}(\mathbb{R}^n)$ 의 코homological 자료에 의해 완전히 결정되며, 변형 매개변수들은 비자명한 첫 번째 코homology 클래스를 표현한다.
• 두 매개변수 가중치 가중치 가중치 $\mathcal{D}_{\lambda,\mu}$ 의 미분 연산자 가중치 가중치 가중치는 비자명한 변형의 중요한 예시를 제공하지만, 전체 변형 공간은 이러한 가중치 가중치 가중치 가중치로 생성되는 공간보다 엄밀히 더 크다.