[논문 리뷰] Cohomology of Heisenberg-Virasoro conformal algebra

Lamei Yuan, Henan Wu|arXiv (Cornell University)|2016. 01. 26.

Algebraic structures and combinatorial models참고 문헌 8인용 수 9

한 줄 요약

이 논문은 자명 모듈러와 특정 conformal 모듈러를 계수로 하는 Heisenberg-Virasoro conformal 대수의 코homology를 계산한다. 감소된 복합체와 명시적인 coboundary 연산자를 사용하여, 저차원 코homology 군을 규명하며, $ H^3(\mathrm{HV}, \mathbb{C}) $ 는 5차원이고 $ H^4(\mathrm{HV}, \mathbb{C}) $ 는 2차원임을 보이며, $ q \geq 0 $ 이고 $ \beta \neq 0 $ 인 경우 $ H^q(\mathrm{HV}, M_{\triangle,\beta}) = 0 $ 임을 확인한다.

ABSTRACT

In this paper, we compute the cohomology of the Heisenberg-Virasoro conformal algebra with coefficients in its modules, and in particular with trivial coefficients both for the basic and reduced complexes.

연구 동기 및 목표

• Heisenberg-Virasoro conformal 대수 $\mathcal{HV}$ 의 자명 모듈러와 conformal 모듈러를 계수로 하는 코homology를 계산하는 것.
• 저차원 코homology 군 $ H^q(\mathcal{HV}, \mathbb{C}) $ 와 $ H^q(\mathcal{HV}, M_{\triangle,\alpha,\beta}) $ 의 구조를 규명하는 것.
• 매개수 $ \alpha \neq 0 $ 인 비자명 모듈러에서 코homology 의 영성 결과를 확립하는 것.
• 감소된 복합체와 coboundary 연산자를 도입하여 코homological 계산을 단순화하는 것.
• Virasoro 및 커런트 대수의 코homology에 대한 기존 결과를 더 복잡한 Heisenberg-Virasoro 경우로 확장하는 것.

제안 방법

• 논문 [2] 에서 개발된 Lie conformal 대수의 일반 코hom로리 이론을 conformal 모듈러에 계수를 두고 적용하는 것.
• 코homology 군의 계산을 단순화하기 위해 감소된 복합체 구조를 적용하는 것.
• coboundary 사상 간의 관계를 설정하고, $ \partial $-exact 항들을 모듈로 줄이기 위해 연산자 $ \tau_1, \tau_2, \tau_3 $ 를 도입하는 것.
• Jacobi 항등식과 conformal sesquilinearity 를 활용하여 코chains 에 대한 재귀 관계를 유도하는 것.
• 항등식 $ \partial \tilde{C}^q(\mathcal{HV}, V) = (\partial + \sum \lambda_i) \tilde{C}^q(\mathcal{HV}, V) $ 를 이용하여 coboundary 등가성을 분석하는 것.
• 대칭 다항식의 평가를 통해 코homology 군의 명시적 대표 원소를 계산하는 것.

실험 결과

연구 질문

• RQ1 Heisenberg-Virasoro conformal 대수에 대해 저차원 코homology 군 $ H^q(\mathcal{HV}, \mathbb{C}) $ 의 구조는 어떻게 되는가?
• RQ2 자명 모듈러 $ \mathbb{C} $ 와 모듈러 $ \mathbb{C}_a $ 를 계수로 할 때 $ \mathcal{HV} $ 의 코homology 는 어떻게 행동하는가?
• RQ3 1차원 conformal 모듈러 $ M_{\triangle,\alpha,\beta} $ 를 계수로 할 때 $ \mathcal{HV} $ 의 코homology 는 어떻게 되는가? 특히 $ \alpha \neq 0 $ 인 경우는 어떻게 되는가?
• RQ4 감소된 복합체 방법이 $ \mathcal{HV} $ 와 같은 비단순(non-semisimple) conformal 대수의 코homology 를 효과적으로 계산할 수 있는가?
• RQ5 자명 계수를 가진 $ \mathcal{HV} $ 에 대해 차수 3과 4에서 비자명한 코homology 군이 존재하는가?

주요 결과

• 세 번째 코homology 군 $ H^3(\mathcal{HV}, \mathbb{C}) $ 는 5차원이며, 다섯 개의 명시적 코homology 군 원소 $ \phi_1, \phi_2, \phi_3, \bar{\psi}_1, \bar{\psi}_2 $ 가 이를 생성한다.
• 네 번째 코homology 군 $ H^4(\mathcal{HV}, \mathbb{C}) $ 는 2차원이며, $ \psi_1 $ 과 $ \psi_2 $ 가 이를 생성한다.
• 매개수 $ a \neq 0 $ 인 모듈러 $ \mathbb{C}_a $ 에 대해, $ \tau_2 $ 연산자를 통한 분석으로 모든 $ q \geq 0 $ 에 대해 $ H^q(\mathcal{HV}, \mathbb{C}_a) $ 가 영임을 보였다.
• 매개수 $ \alpha \neq 0 $ 인 모듈러 $ M_{\triangle,\alpha,\beta} $ 에 대해, $ \alpha \neq 0 $ 조건으로 모든 $ q \geq 0 $ 에 대해 $ H^q(\mathcal{HV}, M_{\triangle,\alpha,\beta}) $ 가 정확히 영임을 확인하였다.
• 코homology 계산은 감소된 복합체와 $ \tau $-연산자의 사용에 기반하며, 코사이클이 $ \partial $-exact 항들 모듈로 동치임을 보였다.
• Virasoro 및 커런트 대수의 코homology 계산 결과를 Heisenberg-Virasoro conformal 대수로 일반화하였으며, 이 대수는 단순하거나 반단순하지 않다.