[논문 리뷰] Sur l'existence d'une prescription d'ordre naturelle projectivement invariante

Martin Bordemann|arXiv (Cornell University)|2002. 08. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 28

한 줄 요약

이 논문은 다양체 위의 밀도 번들의 사이의 미분 연산자에 대해 프로젝티브로 불변이며 자연스러운 순서 지정 규정이 존재함을 증명한다. 비틀림이 없는 접속을 $a$-밀도 번들의 위에 프로젝티브로 불변인 방식으로 올리는 것을 통해, 그리고 등변성, 발산이 없는 대칭 텐서 장을 사용하여, 원래 접속의 프로젝티브 변환에 대해 불변인 유일한 자연스러운 양자화 사상이 수립된다.

ABSTRACT

P.Lecomte has proposed to take into account the covariant derivatives used to build ordering prescriptions for the naturality of transformation properties and has conjectured that there exists an natural ordering prescription for differential operators of any orders between density bundles which in addition is invariant under projective changes of the covariant derivatives. We prove this conjecture by constructing a projectively invariant lift of a torsion-free connexion to a torsion-free connexion on (the positive part of) the total space of the bundle of all $a$-densities for nonzero $a$, by lifting the symbols in a projectively invariant way (they turn out to be in bijection to the space of all $ eal^+$-equivariant divergence-free symmetric tensor fields on the total space), and by using the standard ordering procedure (`all the covariant derivatives to the right') on the total space. For Ricci-flat manifolds we show that this ordering prescription coincides --with the appropiate replacements-- with an explicit formula in $ eal^m$ obtained by Duval, Lecomte and Ovsienko.

연구 동기 및 목표

• P. Lecomte가 제기한 추측, 즉 밀도 번들 사이의 미분 연산자에 대해 자연스럽고 프로젝티브로 불변인 순서 지정 규정의 존재를 해결하기 위해.
• 표준 순서 지정 절차보다 향상된 국소 미분동형에 대한 순서 지정 규정의 자연스러운 변환 성질을 정의하기 위해.
• 비틀림이 없는 접속을 $a \neq 0$에 대해 $a$-밀도 번들의 총공간에 프로젝티브로 불변인 방식으로 올리는 것을 위해.
• 프로젝티브로 불변인 기호와 $\mathbb{R}^+$-등변성, 발산이 없는 대칭 텐서 장 사이의 전단사 관계를 수립하기 위해.
• 결과로 얻어진 순서 지정 규정이 리치 평탄한 경우에 알려진 공식들과 일치함을 보여주며, 특히 Duval, Lecomte, Ovsienko의 공식들과 일치함을 보여주기 위해.

제안 방법

• 다양체 $M$ 위의 비틀림이 없는 접속 $\nabla$를 $a \neq 0$에 대해 $a$-밀도 번들의 총공간 위의 비틀림이 없는 접속으로 올리는 것.
• 올린 접속에 대해 표준적인 '모든 공변 도함수를 오른쪽으로' 정렬하는 절차를 사용하여 기호로부터 미분 연산자를 정의하는 것.
• 미분 연산자의 기호를 $a$-밀도 번들의 총공간 위의 $\mathbb{R}^+$-등변성과 발산이 없는 대칭 텐서 장으로 특성화하는 것.
• 원래 접속의 프로젝티브 변환에 대해 불변임을 보여줌으로써, 이 구성이 자연스럽고 프로젝티브로 불변인 순서 지정 규정을 유도함을 증명하는 것.
• 결과로 얻어진 규정이 유일하며, 리치 평탄한 경우에 Duval, Lecomte, Ovsienko의 명시적 공식과 일치함을 보여주는 것.
• 표현 이론과 자연 번들 이론을 사용하여 올림의 유일성과 기호 공간의 구조를 확립하는 것.

실험 결과

연구 질문

• RQ1 비틀림이 없는 접속의 프로젝티브 변환에 대해 불변이며 자연스러운 순서 지정 규정이 존재하는가?
• RQ2 다양체 위의 비틀림이 없는 접속은 $a$-밀도 번들의 위에 프로젝티브로 불변인 방식으로 올릴 수 있는가?
• RQ3 프로젝티브로 불변인 미분 연산자에 대응하는 기호 공간의 정확한 기하학적 구조는 무엇인가?
• RQ4 제안된 순서 지정 규정은 문헌에서 알려진 공식들과, 특히 리치 평탄한 경우에 어떻게 관련이 있는가?
• RQ5 자연성과 프로젝티브 불변성의 조건 하에서 결과로 얻어진 순서 지정 규정은 유일한가?

주요 결과

• 논문은 밀도 번들 사이의 미분 연산자에 대해 존재하는 유일하고 자연스럽고 프로젝티브로 불변인 순서 지정 규정을 증명한다.
• 이 구성은 $a \neq 0$에 대해 $a$-밀도 번들의 총공간에 프로젝티브로 불변인 접속의 올림에 의존한다.
• 미분 연산자의 기호가 $a$-밀도 번들의 총공간 위의 $\mathbb{R}^+$-등변성과 발산이 없는 대칭 텐서 장 사이의 전단사 관계에 있음이 밝혀졌다.
• 리치 평탄한 다양체의 경우, 제안된 순서 지정 규정은 $\mathbb{R}^m$에서 Duval, Lecomte, Ovsienko가 유도한 명시적 공식과 일치한다.
• 표현 이론적 분석을 통해 접속의 자연스러운 올림의 가족이 유일함이 입증되었으며, 자유 매개변수로는 세 개의 매개변수($\mu, \nu, \rho$)만 존재함을 보였다.
• 표준적인 '모든 공변 도함수를 오른쪽으로' 절차가 올린 접속에 적용되었을 때, 프로젝티브로 불변인 양자화 사상이 유도됨을 확인하였다.