[논문 리뷰] Lie superalgebras of differential operators

Janusz Grabowski, Alexei Kotov외 1명|arXiv (Cornell University)|2010. 11. 08.

Advanced Topics in Algebra참고 문헌 6인용 수 3

한 줄 요약

이 논문은 매끄러운 슈퍼맨포일드 위의 일阶 슈퍼미분 연산자 대수 간의 리 초대수 대수 동형사상을 분류하며, 이들이 슈퍼맨포일드 미분구상과 짝을 이룬 슈퍼발산에 의해 유도됨을 증명한다. 자동형사군은 미분구상에 의해 유도된 자동형사와 발산에 의해 유도된 자동형사의 준직접곱임을 보이며, 베레진ian 밀도를 통해 임의의 슈퍼맨포일드 위에서 전역적으로 정의된 짝수 슈퍼발산이 존재함을 증명한다.

ABSTRACT

We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a semi-direct product of the subgroup induced by the supermanifold diffeomorphisms and another subgroup which consists of automorphisms determined by even superdivergences. These superdivergences are proven to exist on any supermanifold and their local form is explicitly described as well

연구 동기 및 목표

• 매끄러운 슈퍼맨포일드 위의 일阶 슈퍼미분 연산자 리 초대수 대수 간의 리 초대수 대수 동형사상을 분류하는 것.
• 그러한 리 초대수 대수의 자동형사군의 구조를 규명하는 것.
• 모든 매끄러운 슈퍼맨포일드 위에서 짝수 슈퍼발산이 존재함을 증명하는 것.
• 일阶 슈퍼미분 연산자 대수 내의 ad-노름원소들로 구성된 유일한 최대 슈퍼리 아이디얼을 특성화하는 것.
• 코homological 자료를 통해 슈퍼미분 연산자 대수의 자동형사와 슈퍼벡터장 대수의 자동형사를 연결하는 것.

제안 방법

• 저자들은 $\mathcal{D}^1(\mathcal{M}) = \mathcal{X}(\mathcal{M}) \oplus \mathcal{A}(\mathcal{M})$의 표준 분해를 사용하여 자동형사를 미분구상에 의해 유도된 부분과 발산에 의해 유도된 부분으로 분해한다.
• 차원이 $\dim\mathcal{M} \neq 0|1$일 때, $\mathcal{A}(\mathcal{M})$ — 즉 스무스 함수의 대수 — 는 $\mathcal{D}^1(\mathcal{M})$ 내의 ad-노름원소들로 구성된 유일한 최대 슈퍼리 아이디얼로 특성화되며, 이는 자동형사가 이 아이디얼을 유지함을 보장한다.
• 자동형사는 $X + f \mapsto X + f + c(X)$ 형태이며, $c: \mathcal{X}(\mathcal{M}) \to \mathcal{A}(\mathcal{M})$ 는 1-코호몰로지와 연결된 1-코사이클이다. 이는 자동형사가 리 초대수 대수 코호몰로지와 관련됨을 보여준다.
• 슈퍼발산의 존재성은 베레진ian 밀도를 통해 확립된다: 1밀도층 $\mathfrak{D}_1 = \mathrm{Ber} \otimes \mathrm{or}(M)$ 의 전역적이고 영이 아닌 단면 $\sigma$ 는 발산 $\gamma_\sigma(X) = (\mathcal{L}_X \sigma)\sigma^{-1}$ 를 유도한다.
• 벡터장 대수 $\mathcal{X}(\mathcal{M})$ 에 값이 있는 $\mathcal{A}(\mathcal{M})$ 에 대한 코호몰로지가 계산되며, 모든 1-코사이클이 닫힌 짝수 1형식과 고정된 발산의 조합임을 보여준다.
• 이 구성은 모든 슈퍼맨포일드가 벡터 번들의 $V$ 에 대해 $\Pi V$ 와 미분구상됨을 이용하여, $\mathcal{A}(\mathcal{M}) \simeq \Gamma(\Lambda^\bullet V^*)$ 의 전역적 식별이 가능함에 기반한다.

실험 결과

연구 질문

• RQ1 매끄러운 슈퍼맨포일드 위의 일阶 슈퍼미분 연산자 리 초대수 대수의 자동형사군의 구조는 무엇인가?
• RQ2 자동형사 $\mathcal{D}^1(\mathcal{M})$ 는 슈퍼벡터장 대수 $\mathcal{X}(\mathcal{M})$ 의 자동형사와 어떻게 관련이 있는가?
• RQ3 모든 자동형사 $\mathcal{D}^1(\mathcal{M})$ 는 미분구상에 의해 유도된 부분과 발산에 의해 유도된 부분으로 분해될 수 있는가?
• RQ4 슈퍼발산은 자동형사 $\mathcal{D}^1(\mathcal{M})$ 를 분류하는 데 어떤 역할을 하는가?
• RQ5 모든 매끄러운 슈퍼맨포일드는 전역적으로 정의된 짝수 슈퍼발산을 갖는가?

주요 결과

• 자동형사군 $\mathcal{D}^1(\mathcal{M})$ 은 슈퍼맨포일드 미분구상의 군과 짝수 슈퍼발산에 의해 유도된 자동형사의 군의 준직접곱과 동형이다.
• 모든 자동형사 $\mathcal{D}^1(\mathcal{M})$ 는 $\mathcal{A}(\mathcal{M})$ — 즉 스무스 함수의 부분대수 — 를 유지하며, 이는 $\dim\mathcal{M} \neq 0|1$ 일 때 ad-노름원소들로 구성된 유일한 최대 슈퍼리 아이디얼이다.
• 자동형사 $\mathcal{D}^1(\mathcal{M})$ 는 슈퍼맨포일드 미분구상과 1-코사이클 $c: \mathcal{X}(\mathcal{M}) \to \mathcal{A}(\mathcal{M})$ 에 의해 완전히 결정되며, 오직 미분구상에 의해 $\mathcal{X}(\mathcal{M})$ 에서 $\mathcal{D}^1(\mathcal{M})$ 으로 확장되는 자동형사들만이 그러한 성질을 갖는다.
• 모든 매끄러운 슈퍼맨포일드는 전역적으로 정의된 짝수 슈퍼발산을 갖는다. 이는 1밀도층 $\mathfrak{D}_1 = \mathrm{Ber} \otimes \mathrm{or}(M)$ 의 영이 아닌 전역 단면 $\sigma$ 를 통해 구성된다.
• 1차 코호몰로지 $H^1(\mathcal{X}(\mathcal{M}), \mathcal{A}(\mathcal{M}))$ 는 닫힌 짝수 1형식의 공간과 상수 함수의 공간의 직합과 동형이며, 이는 1-코사이클의 분해를 반영한다.
• 전역 단면 $\sigma$ 와 관련된 발산 $\gamma_\sigma$ 는 잘 정의되어 있으며 $\sigma$ 의 부호와 무관하다. $\gamma_\sigma(X) = (\mathcal{L}_X \sigma)\sigma^{-1}$ 이다.