[논문 리뷰] Cohomology of the vector fields Lie algebras on RP^1 acting on bilinear differential operators

Sofiane Bouarroudj|ArXiv.org|2004. 09. 14.

Advanced Topics in Algebra참고 문헌 2인용 수 4

한 줄 요약

이 논문은 실수 사영선 위의 매끄러운 벡터장의 리 대수 $\mathrm{Vect}(\mathbb{RP}^1)$가 텐서 밀도 사이의 이항 미분 연산자에 작용할 때, 부분대수 $\mathrm{sl}(2,\mathbb{R})$에 대한 상대 코hom로지 그룹을 계산하고, 동일한 공간에서 $\mathrm{sl}(2,\mathbb{R})$의 절대 코호몰로지 또한 계산한다. 주요 결과는 특정 무게 $\lambda, \nu$에 대해 상대 코호몰로지 그룹이 3차원이 될 수 있다는 점이며, 이는 선형 연산자 설정에서의 1차원 경우와 대비된다. 이 계산은 고르당의 $\mathrm{sl}(2,\mathbb{R})$-불변 이항 미분 연산자 분류에 기반한다.

ABSTRACT

The main topic of this paper is two folds. First, we compute the first relative cohomology group of the Lie algebra of smooth vector fields on the projective line, Vect(RP^1), with coefficients in the space of bilinear differential operators that act on tensor densities, D_{λ, ν;μ}, vanishing on the Lie algebra sl(2,R). Second, we compute the first cohomology group of the Lie algebra sl(2,R) with coefficients in D_{λ, ν;μ}.

연구 동기 및 목표

• 이항 미분 연산자에 대한 $\mathrm{H}^1(\mathrm{Vect}(\mathbb{RP}^1), \mathrm{sl}(2,\mathbb{R}); \mathrm{Hom}_{\mathrm{diff}}({\cal F}_\lambda \otimes {\cal F}_\nu, {\cal F}_\mu))$의 첫 번째 상대 코호몰로지 그룹을 계산한다.
• 이항 미분 연산자 공간에 계수를 갖는 $\mathrm{H}^1(\mathrm{sl}(2,\mathbb{R}); \mathrm{Hom}_{\mathrm{diff}}({\cal F}_\lambda \otimes {\cal F}_\nu, {\cal F}_\mu))$의 첫 번째 코호몰로지 그룹을 규명한다.
• 이러한 코호몰로지 그룹의 구조를 통해 등변 양자화 절차에서 $\mathrm{Vect}(\mathbb{RP}^1)$-등변성의 장애를 이해한다.
• 특히, 무게 $\lambda, \nu, \mu$에 따라 코호몰로지 그룹의 차원이 어떻게 변화하는지 분류하고, 차원이 1을 초월하는 경우를 특정한다.

제안 방법

• $\mathrm{Vect}(\mathbb{RP}^1)$의 텐서 밀도에 대한 리 미분 작용을 기반으로 하며, 이는 유도된 작용 공식을 통해 이항 미분 연산자로 확장된다.
• 상대 코호몰로지 계산은 $\mathrm{Vect}(\mathbb{RP}^1)$-등변 사상에 대한 1-코사이클 조건을 $\mathrm{sl}(2,\mathbb{R})$-불변 임의의 코사이클에 대해 모듈로로 풀이함으로써 수행된다.
• 이항 미분 연산자의 공간은 차수와 계수로 매개변수화되며, 1-코사이클 조건은 계수에 대한 선형 방정식계로 이어진다.
• 고르당의 결과에 기반한 $\mathrm{sl}(2,\mathbb{R})$-불변 이항 미분 연산자의 분류를 활용하여 해 공간의 구조를 규명한다.
• 각 무게 삼중체 $(\lambda, \nu, \mu)$에 대해, 임의의 코사이클 $L_X J_k^{\lambda,\nu}$에 의해 생성되는 임의의 코사이클을 몫으로 취한 후 자유 매개변수의 수를 세어 해 공간의 차원을 분석한다.
• 연산자의 차수 $k$가 증가함에 따라 케이스별로 분석을 수행하며, $k=6,7$에 대해 세밀한 계산을 수행하고 $k \geq 8$에 대해서는 渐近적 추론을 사용한다.

실험 결과

연구 질문

• RQ1 이항 미분 연산자에 대해 $\mathrm{H}^1(\mathrm{Vect}(\mathbb{RP}^1), \mathrm{sl}(2,\mathbb{R}); \mathrm{Hom}_{\mathrm{diff}}({\cal F}_\lambda \otimes {\cal F}_\nu, {\cal F}_\mu))$의 첫 번째 상대 코호몰로지 그룹의 차원은 얼마인가?
• RQ2 어떤 $\lambda$와 $\nu$ 값에서 이 코호몰로지 그룹이 3차원이 되며, 이에 대한 기하학적 또는 대수적 이유는 무엇인가?
• RQ3 $\mathrm{sl}(2,\mathbb{R})$가 이항 미분 연산자 공간에 작용할 때의 코호몰로지와 $\mathrm{sl}(2,\mathbb{R})$에 대한 상대 코호몰로지 사이의 관계는 어떻게 되는가?
• RQ4 전이산 $J_k^{\lambda,\nu}$는 어떻게 하여 임의의 코사이클을 제거하고 진정한 코호몰로지 클래스를 결정하는가?
• RQ5 $k \geq 8$일 때, 상대 코호몰로지 그룹이 비자명한가? 그리고 그것이 1차원일 수 있는 조건은 무엇인가?

주요 결과

• 상대 코호몰로지 그룹 $\mathrm{H}^1(\mathrm{Vect}(\mathbb{RP}^1), \mathrm{sl}(2,\mathbb{R}); {\cal D}_{\lambda,\nu;\mu})$는 $(\lambda, \nu) = (-\frac{s}{2}, -\frac{t}{2})$ 이며 $0 \leq s,t \leq k-1$ 및 $t > k-s$일 때 $k=6$인 경우 3차원이다.
• $k=6$일 때, $(\lambda, \nu) = (0, \frac{-5-\sqrt{19}}{2})$ 또는 그 대칭 형태일 경우, 임의의 코사이클에 의해 몫을 취한 후 비자명한 해 공간이 존재하여 코호몰로지가 3차원이 된다.
• $(\lambda, \nu) = (-\frac{5}{2}, -\frac{5}{2})$일 때, 두 매개변수를 임의의 코사이클을 더하여 제거할 수 있어 코호몰로지 그룹은 2차원이다.
• $k=6$일 때, $(\lambda, \nu) = (-\frac{1}{2}, -2)$ 또는 그 대칭 형태일 경우, 전이산 $J_6^{\lambda,\nu}$의 비유일성으로 인해 두 매개변수를 제거할 수 있어 코호몰로지 그룹은 1차원이다.
• 일반적인 $\lambda, \nu$에 대해 $k \geq 8$일 때 코호몰로지 그룹은 1차원이며, 이 클래스는 $L_X J_k^{\lambda,\nu}$에 의해 생성되는 임의의 코사이클이므로 자명하다.
• $k=8$일 때, $\mu = \frac{9}{2}$, $\lambda = 0$, $\nu = -\frac{7}{2}$인 경우, 상대 코호몰로지 그룹은 비자명하고 1차원이며, 즉 $\mathrm{H}^1(\mathrm{Vect}(\mathbb{RP}^1), \mathrm{sl}(2,\mathbb{R}); {\cal D}_{0,-7/2;9/2}) \simeq \mathbb{R}$이다.