[논문 리뷰] On the structure of graded symplectic supermanifolds and Courant algebroids

Dmitry Roytenberg|ArXiv.org|2002. 03. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 24

한 줄 요약

이 논문은 기저 다각체 위의 의사유구 벡터(bundle) 위의 2차수의 계량 대칭 초다양체와 코우런트 대수다발 사이의 표준적 대응을 수립한다. 이러한 초다양체 위의 함수에 대한 계량 파울슨 대수를 구성함으로써, BRST 전하가 코우런트 대수다발의 구조와 정확히 대응됨을 보이며, 고전적 BRST 복합체를 일반화하고 고차 de Rham 복합체의 순환성을 증명한다. 주요 기여는 계량 대칭 초다양체 기하학을 통한 코우런트 대수다발의 기하적 실현이며, 이는 Ševera 계수를 통한 정확한 코우런트 대수다발의 변형 이론적 분류로 이어진다.

ABSTRACT

This paper is devoted to a study of geometric structures expressible in terms of graded symplectic supermanifolds. We extend the classical BRST formalism to arbitrary pseudo-Euclidean vector bundles (E o M_{0}) by canonically associating to such a bundle a graded symplectic supermanifold ((M,Ω)), with ( extrm{deg}(Ω)=2). Conversely, every such manifold arises in this way. We describe the algebra of functions on (M) in terms of (E) and show that ``BRST charges'' on (M) correspond to Courant algebroid structures on (E), thereby constructing the standard complex for the latter as a generalization of the classical BRST complex. As an application of these ideas, we prove the acyclicity of ``higher de Rham complexes'', a generalization of a classic result of Fröhlicher-Nijenhuis, and derive several easy but useful corollaries.

연구 동기 및 목표

• 기저 다각체 위의 임의의 의사유구 벡터(bundle)로의 고전적 BRST 형식을 리 대수를 초월하여 일반화하기 위해.
• 2차수의 계량 대칭 초다양체와 이러한 벡터(bundle) 위의 코우런트 대수다발의 구조 사이의 표준적 대응을 수립하기 위해.
• 이러한 초다양체 위의 BRST 전하가 코우런트 대수다발의 구조와 정확히 대응됨을 보이며, 따라서 코우런트 대수다발의 표준 복합체를 BRST 복합체의 일반화로서 구성하기 위해.
• 고차 de Rham 복합체의 순환성을 증명하여 프뢰리히러-니헨후이의 고전 결과를 확장하기 위해.
• Ševera 계수를 통한 정확한 코우런트 대수다발의 변형 이론적 분류를 제공하여 변형 이론의 결과를 복원하고 확장하기 위해.

제안 방법

• 기저 다각체 위의 의사유구 벡터(bundle) $E \to M_0$ 에서 $M = E[1] \times T^*[2]M_0$ 를 구성하고, $\Omega$ 를 2차수의 대칭 형식으로 정의한다.
• 함수의 대수를 계량 파울슨 대수로 정의하며, 이는 차수 $-2$ 의 파울슨 괄호를 가지며, $\Gamma(\wedge^\bullet E^*)$ 와 동형임을 보인다.
• BRST 전하를 차수 1인 홀수 해밀토니언으로 식별하고, 그들의 쇼우텐-니헨후이 괄호 $\{\Theta, \Theta\} = 0$ 의 영함수성과 코우런트 대수다발의 공리가 정확히 대응됨을 보인다.
• 유도 괄호 구성법을 사용하여 해밀토니언 $\Theta$ 로부터 코우런트 괄호를 복원하며, 리 대수의 경우를 일반화한다.
• NQ-다양체 형식론을 적용하여, $M$ 과 관련된 전체 복합체 $({\mathcal{A}}^{\cdot}, D)$ 가 코우런트 대수다발의 표준 복합체임을 보인다.
• 변형 이론을 적용하여, $\phi$ 가 $d\phi = 0$ 인 3형식일 때, 표준 코우런트 대수다발 $E_0$ 의 비자명한 변형을 분류하는 데 사용되는 Ševera 계수를 제시한다.

실험 결과

연구 질문

• RQ1 BRST 형식은 어떻게 리 대수를 초월하여 임의의 의사유구 벡터(bundle)로 일반화될 수 있는가?
• RQ2 2차수의 계량 대칭 초다양체와 코우런트 대수다발의 구조 사이의 정확한 대응은 무엇인가?
• RQ3 코우런트 대수다발의 표준 복합체는 계량 대칭 초다양체 위의 함수의 파울슨 대수로부터 어떻게 유도되는가?
• RQ4 코우런트 대수다발의 표준 복합체의 코homology는 기하학적으로 무엇을 의미하는가?
• RQ5 표준 코우런트 대수다발의 변형은 어떻게 분류되며, Ševera 계수는 이러한 분류에서 어떤 역할을 하는가?

주요 결과

• 코우런트 대수다발의 표준 복합체는 기저 다각체 $M_0$ 의 de Rham 복합체와 동형이며, 코homology 는 $H^\bullet(M_0, \mathbb{R})$ 와 동형이다.
• 표준 코우런트 대수다발 $E_0 = TM_0 \oplus T^*M_0$ 의 표준 복합체의 코homology 는 $M_0$ 의 de Rham 코homology 와 동형이며, 닫힌 1형식과 완전한 2형식의 작용을 통해 보여진다.
• 표준 코우런트 대수다발 $E_0$ 의 변형은 $M_0$ 에서의 닫힌 3형식 $\phi$ 로 분류되며, $\phi' - \phi = d\beta$ 이면 $\phi$ 와 $\phi'$ 는 동형인 대수다발을 유도한다.
• 코우런트 대수다발의 Ševera 계수는 곡률 3형식 $\phi$ 의 코homology 계수이며, 이는 정확한 코우런트 대수다발을 동형에 대해 분류한다.
• BRST 전하 $\Theta_\phi = \Theta_0 - \phi$ 는 $d\phi = 0$ 이면且 $\{\Theta_\phi, \Theta_\phi\} = 0$ 을 만족하며, 이는 변형의 일관성을 확인한다.
• 리 군 $G$ 위에 양측 불변 메트릭을 가진 정확한 코우런트 대수다발은 카르탕 3형식으로부터 유도되며, Ševera 계수는 $G$ 의 표준 계수와 같다.