[논문 리뷰] Vertex Algebroids II

Paul Bressler|ArXiv.org|2003. 04. 08.

Algebraic structures and combinatorial models참고 문헌 1인용 수 14

한 줄 요약

이 논문은 de Rham 대수 위에 존재하는 표준적인 정점 대수를 사용하여, 정점 대수의 코호호모로지에 대한 특수한 쌍대형식을 통해, 정점 ${\cal O}_X$-대수의 스택의 비자명성에 대한 차단류를 결정한다. 이는 $\Omega^1_X$의 Atiyah 대수에 대한 추적 쌍대형식을 갖춘 Pontryagin 계수와 관련지어지며, $H^2(X; \Omega^2_X \to \Omega^3_{\text{cl},X})$에서 정점 대수의 계열이 $2\operatorname{ch}_2(\Omega^1_X)$임을 보여, [GMS]의 결과를 코르앙트 대수 확장과 $\Omega^\bullet_X$ 위의 정점 대수의 구조를 통해 복원하고 보완한다. 핵심 기여는 de Rham 대수 위의 표준 정점 대수를 통해, 관련된 코르앙트 확장을 통해 정점 대수의 분류를 가능하게 한다.

ABSTRACT

In this note we determine the obstruction to triviality of the stack of exact vertex algebroids.

연구 동기 및 목표

• 스택 $\mathcal{EVA}_{{\cal O}_X}$의 정점 ${\cal O}_X$-대수의 비자명성에 대한 차단류를 $H^2(X; \Omega^2_X \to \Omega^3_{\text{cl},X})$에서 결정한다.
• 이 계수를 $\mathcal{A}_{\Omega^1_X}$의 Atiyah 대수에 대한 추적 쌍대형식을 갖춘 Pontryagin 계수와 연결한다.
• $\mathcal{EVA}_{{\cal O}_X}$와 특정 대칭 쌍대형식을 갖춘 $\mathcal{A}_{\Omega^1_X}$의 코르앙트 대수 확장 스택 사이의 반동치 동치를 수립한다.
• 일반적인 전이성 리 대수의 코르앙트 확장을 분류하고, 그 특성 계수를 계산한다.

제안 방법

• de Rham 대수 $\Omega^\bullet_X$ 위에 존재하는 유일한 정점 $\Omega^\bullet_X$-대수 $\mathcal{U}$를 구성하여, 이는 Atiyah 대수 $\mathcal{A}_{\Omega^1_X}$의 정점 확장을 유도한다.
• $\mathcal{U}$의 0차 부분 $\mathcal{U}^{(0)}$을 사용하여, $\underline{\operatorname{End}}_{{\cal O}_X}(\Omega^1_X)$ 위에 정의된 대칭 쌍대형식(즉, 자기형사의 곱의 추적의 음수)을 갖춘 $\mathcal{A}_{\Omega^1_X}$의 정점 확장을 실현한다.
• $\mathcal{EVA}_{{\cal O}_X}$와 $\mathcal{A}_{\Omega^1_X}$의 추적 쌍대형식을 갖춘 코르앙트 대수 확장 스택 $\mathcal{CEXT}_{{\cal O}_X}(\mathcal{A}_{\Omega^1_X})_{\langle\ ,\ \rangle}$ 사이의 반동치 동치를 수립한다.
• 전이성 리 대수의 코르앙트 확장에 대한 일반적 분류를 적용하여, $\mathcal{CEXT}_{{\cal O}_X}(\mathcal{A}_{\Omega^1_X})_{\langle\ ,\ \rangle}$의 특성 계수를 Pontryagin 계수 $\Pi(\mathcal{A}_{\Omega^1_X}, \langle\ ,\ \rangle)$로 계산한다.
• $\Pi(\mathcal{A}_{\Omega^1_X}, \langle\ ,\ \rangle) = -2\operatorname{ch}_2(\Omega^1_X)$라는 사실을 이용하여, $\mathcal{EVA}_{{\cal O}_X}$의 계수를 $2\operatorname{ch}_2(\Omega^1_X)$로 도출한다.

실험 결과

연구 질문

• RQ1 스택 $\mathcal{EVA}_{{\cal O}_X}$의 정점 ${\cal O}_X$-대수의 비자명성에 대한 차단류는 $H^2(X; \Omega^2_X \to \Omega^3_{\text{cl},X})$에서 무엇인가?
• RQ2 정점 대수의 스택은 Atiyah 대수 $\mathcal{A}_{\Omega^1_X}$의 추적 쌍대형식을 갖춘 코르앙트 대수 확장 스택과 어떻게 관련이 있는가?
• RQ3 전이성 리 대수의 주어진 $\mathcal{A}_{\Omega^1_X}$에 대해, 특정한 $\mathcal{A}_{\Omega^1_X}$의 코르앙트 확장 스택의 특성 계수는 무엇인가?
• RQ4 쌍대형식 $(\mathcal{A}_{\Omega^1_X}, \langle\ ,\ \rangle)$의 Pontryagin 계수는 해당 코르앙트 확장 스택의 특성 계수와 어떻게 관련이 있는가?

주요 결과

• $H^2(X; \Omega^2_X \to \Omega^3_{\text{cl},X})$에서 정점 ${\cal O}_X$-대수의 스택 $\mathcal{EVA}_{{\cal O}_X}$의 계수는 $2\operatorname{ch}_2(\Omega^1_X)$와 같다.
• $\mathcal{EVA}_{{\cal O}_X}$는 $\mathcal{ECA}_{{\cal O}_X}$- torsor로서 $\mathcal{CEXT}_{{\cal O}_X}(\mathcal{A}_{\Omega^1_X})_{\langle\ ,\ \rangle}$의 코르앙트 대수 확장 스택과 반동치 동치이다.
• $\mathcal{CEXT}_{{\cal O}_X}(\mathcal{A}_{\Omega^1_X})_{\langle\ ,\ \rangle}$의 특성 계수는 Pontryagin 계수 $\Pi(\mathcal{A}_{\Omega^1_X}, \langle\ ,\ \rangle)$이며, 이는 $-2\operatorname{ch}_2(\Omega^1_X)$와 같다.
• 추적 쌍대형식을 갖춘 Atiyah 대수 $\mathcal{A}_{\Omega^1_X}$의 Pontryagin 계수는 $-2\operatorname{ch}_2(\Omega^1_X)$이며, 이는 $\Omega^1_X$의 채르 수식을 통해 계산된다.
• 유일한 정점 $\Omega^\bullet_X$-대수 $\mathcal{U}$의 구성은, 주어진 대칭 쌍대형식을 갖춘 $\mathcal{A}_{\Omega^1_X}$의 정점 확장을 유도하는 표준적인 모델을 제공한다.