[논문 리뷰] Projectively equivariant symbol calculus

Pierre Lecomte, Valentin Ovsienko|ArXiv.org|1998. 09. 11.

Advanced Topics in AlgebraMathematics참고 문헌 16인용 수 20

한 줄 요약

이 논문은 sl(n+1,R) 작용에 대해 사영적으로 등변인 기호 미적분을 제안하며, λ-밀도 위의 미분 연산자 공간과 코탄젠트(bundle) 위의 다항함수 공간 사이의 유일한(정규화를 제외한) 등변 동형사상(이sovorphism)을 구성한다. 주요 결과는 이러한 동형사상이 평탄한 사영 구조를 가진 다양체 위에서 자연스러운 양자화 맵을 제공하며, 이는 미분 연산자의 몫 모듈러스의 분류와 sl(n+1,R)-등변 스타곱의 존재로 이어진다.

ABSTRACT

The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these modules are isomorphic as $sl(n+1,{\mathbb{R}})$-modules where $sl(n+1,{\mathbb{R}})\subset \Vect({\mathbb{R}}^n)$ is the Lie algebra of infinitesimal projective transformations. In addition, such an $sl_{n+1}$-equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the $sl_{n+1}$-equivariant symbol map to study the $\Vect(M)$-modules of linear differential operators acting on tensor densities, for an arbitrary manifold $M$.

연구 동기 및 목표

• λ-밀도 위의 미분 연산자와 코탄젠트(bundle) 위의 다항함수 사이의 자연스러운 sl(n+1,R)-등변 기호 맵을 구성하는 것.
• Diff(M)의 대칭성을 더 작은 사영 대칭군 SL(n+1,R)로 제한함으로써 자연스러운 양자화 맵의 부재 문제를 해결하는 것.
• k−ℓ≥2일 때 D^k_λ(M)/D^ℓ_λ(M)의 몫 모듈러스를 sl(n+1,R)-등변 기호 맵을 사용하여 분류하는 것.
• 이러한 등변 맵이 반드시 국소적이고 미분 연산자임을 보여주어, 그것이 미분 맵임을 의미하는 것.
• 이러한 구성이 변형 양자화를 통해 T*M 위에 1파rameter 가중치의 sl(n+1,R)-등변 스타곱을 정의하는 데로 확장되는 것.

제안 방법

• λ-밀도의 공간과 T*R^n 위의 다항함수 공간을 정의하고, sl(n+1,R)-모듈러스로서 이들이 동형임을 보이는 것.
• 표현 이론과 무한소 사영 변환의 작용을 이용하여 sl(n+1,R)-등변 기호 맵 σ_λ: D^k_λ(R^n) → Pol^k(T*R^n)를 구성하는 것.
• sl(n+1,R) 작용 하에서 모듈러스의 기약 성분을 분석함으로써 기호 맵의 정규화를 제외한 유일성을 증명하는 것.
• R*⋉R^n의 아핀군에 대한 불변성 덕분에, Pol(T*R^n) 위의 sl(n+1,R)-등변 선형 맵이 반드시 미분임을 보여줌으로써 기호 맵의 국소성을 확립하는 것.
• ℏ^k 스케일링을 통해 양자화 맵을 재조정함으로써 Pol(T*M) 위에 ⋆_ħ 스타곱을 정의함으로써 형식적 변형 양자화를 이룩하는 것.
• k−ℓ≥2일 때, D^k_λ(M)/D^ℓ_λ(M)의 몫 모듈러스와 관련된 H^1(Vect(M), Hom(S^k, S^{k−ℓ}))의 코homology 클래스를 계산하여 비자명한 변형임을 보이는 것.

실험 결과

연구 질문

• RQ1 큰 대칭군 작용 하에서 λ-밀도 위의 미분 연산자와 코탄젠트(bundle) 위의 다항함수 사이에 자연스러운 양자화 맵을 정의할 수 있는가?
• RQ2 미분 연산자 모듈러스와 다항 기호 모듈러스가 동형이 되는 최대 대칭군은 무엇인가?
• RQ3 k−ℓ≥2일 때, D^k_λ(M)/D^ℓ_λ(M)의 몫 모듈러스의 구조는 어떻게 되며, 기호 모듈러스는 어떻게 변형되는가?
• RQ4 sl(n+1,R)-등변성은 기호 맵이 국소적이고 미분임을 강제하는가?
• RQ5 sl(n+1,R)-등변 기호 맵을 사용하여 T*M 위에 사영 변환에 대해 등변인 스타곱을 구성할 수 있는가?

주요 결과

• D_λ(R^n)과 Pol(T*R^n)은 sl(n+1,R)-모듈러스로서 동형이며, 이 동형은 정규화를 제외한 유일성을 가진다.
• sl(n+1,R)-등변 기호 맵은 반드시 국소적이며, 미분 연산자로 주어지며, 이는 그것이 미분 맵임을 의미한다.
• k−ℓ≥2일 때, 몫 모듈러스 D^k_λ(M)/D^ℓ_λ(M)는 기호 모듈러스의 비자명한 변형이며, H^1(Vect(M), Hom(S^k, S^{k−ℓ}))의 코homology 클래스가 명시적으로 계산된다.
• 이 구성은 변형 양자화를 통해 T*M 위에 1파arameter 가중치의 sl(n+1,R)-등변 스타곱을 유도하며, 1차 항은 파울리 브라켓이다.
• 기호 맵은 사영 구조를 가진 임의의 다양체 M 위에서 국소 공식을 통해 전역적으로 잘 정의되며, 사영 좌표 변화에 대해 불변이다.
• λ=1/2 및 k−ℓ=2인 경우, 몫 모듈러스는 예외이며 비자명한 변형을 유도하지 않으며, 다른 경우들과 구별된다.