[논문 리뷰] Local BRST cohomology for AKSZ field theories: a global approach I

Giulio Bonavolontà, Alexei Kotov|arXiv (Cornell University)|2013. 10. 01.

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

한 줄 요약

이 논문은 AKSZ 위상적 장 이론에 대한 국소 BRST 코homology의 전역적 공식화를 수립한다. BRST 연산자에 의한 국소 함수형의 코homology가 기저 다양체의 de Rham 코homology와 대상 공간의 $Q$-코homology의 텐서곱과 동형임을 증명함으로써, 기존의 국소 계산을 임의의 연결된 기저 다양체로 일반화한다. 이 결과는 전역 수평 복합체와 호환성 복합체의 형식적 적분 가능성에 기반한다.

ABSTRACT

We study the Lagrangian antifield BRST formalism, formulated in terms of exterior horizontal forms on the infinite order jet space of graded fields for topological field theories associated to $Q$-bundles. In the case of a trivial Q-bundle with a flat fiber and arbitrary base, we prove that the BRST cohomology are isomorphic to the cohomology of the target space differential "twisted" by the de Rham cohomology of the base manifold. This generalizes the local result of G. Barnich and M. Grigoriev, computed for a flat base manifold.

연구 동기 및 목표

• AKSZ 장 이론에 대한 국소 BRST 코homology 계산을 임의의 연결된 기저 다양체 위에서 전역적 설정으로 확장하기.
• 무한차 수준의 미분형식을 사용하여, 그레디에이션 장의 무한차 임베딩 위의 외부 수평 형식을 이용한 BRST 형식 공식화하기.
• 국소 BRST 코hom로프가 기저의 de Rham 코homology와 대상 공간의 $Q$-코homology의 왜곡된 코homology와 동형임을 증명하기.
• 기존 결과에서 기저 다양체의 수축 가능성에 의존했던 것을 더 일반적인 기하적 설정으로 일반화하기.

제안 방법

• 논문은 미분형식의 무한차 임베딩 위의 장의 복합체와 그 수평 복합체의 형식을 사용한다.
• BRST 미분 $\mathbf{s}$ 와 수평 미분 $\mathrm{d}_h$ 로 정의된 이복합체의 구조를 활용하며, 관련 스펙트럴 시퀀스의 $E_2$-항에 집중한다.
• 핵심 기술 도구는 $L$-왜곡된 de Rham 연산자와 대상 공간의 $Q$-구조와 관련된 호환성 복합체의 형식적 적분 가능성이다.
• 증명은 두 단계로 진행된다: 첫째, $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 가 전체 코homology $H^{g+n}(\mathbf{s} + \mathrm{d}_h)$ 와 동형임을 증명하고, 둘째, 이 전체 코homology를 쿠엔트 유형 분해를 통해 계산한다.
• 저자들은 $\mathcal{D}$-모듈과 $\mathcal{D}$-대수를 사용하여 임베딩 공간과 수평 형식의 층 이론적 구조를 기술한다.
• 중요한 단계로, 이복합체의 필터링의 정규성과 일부 수열의 정확성을 이용하여 스펙트럴 시퀀스가 $E_2$에서 분해됨을 보인다.

실험 결과

연구 질문

• RQ1 기저 다양체가 수축 가능하지 않지만 단지 연결되어 있을 경우, AKSZ 장 이론의 국소 BRST 코homology는 어떻게 행동하는가?
• RQ2 기저와 대상 공간의 기하적 불변량을 기반으로 한 BRST 코homology의 전역적 구조는 어떠한가?
• RQ3 Barnich와 Grigoriev의 국소 결과를 수축 가능 기저를 초월해 전역 미분기하학적 프레임워크를 사용해 일반화할 수 있는가?
• RQ4 Q-_bundle의 맥락에서 BRST 코homology와 de Rham 코homology, $Q$-코homology 사이의 정확한 관계는 무엇인가?
• RQ5 임베딩 공간 위의 수평 복합체의 구조는 AKSZ 이론에서 물리적 관측가와 대칭성을 어떻게 캐릭터라이즈하는가?

주요 결과

• 국소 BRST 코homology $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 는 기저 다양체 $X$ 와 $Q$-bundle의 대상 공간 $L$ 에 대해, 텐서곱 $H^\bullet_{\mathrm{DR}}(X) \otimes H^\bullet_Q(L)$ 의 $g+n$-번째 계수 성분과 동형이다.
• 이 동형은 임의의 연결된 기저 다양체 $X$ 에 대해 성립하며, 이는 이전 결과에서 요구하던 $X$ 의 수축 가능성 조건을 일반화한다.
• 증명는 반복 코homology $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 가 전체 코homology $H^{g+n}(\mathbf{s} + \mathrm{d}_h)$ 와 동형임을 보이는 데 기반하며, 이는 쿠엔트 유형 공식을 통해 계산된다.
• 이복합체와 관련된 스펙트럴 시퀀스는 $E_2$에서 분해되며, 이는 $E_2^{p,q} = H^p(H^q(\mathbf{s}+\mathrm{d}_h))$ 가 전체 코homology 를 완전히 기술함을 의미한다.
• 결과는 $L$-왜곡된 de Rham 연산자와 대상 공간의 $Q$-구조로부터 구성된 호환성 복합체의 형식적 적분 가능성에 의해 확립된다.
• 핵심 기술 레마는 특정 $\mathcal{D}$-모듈의 복합체의 코homology 가 음의 차수에서 0이며, 평탄한 번영의 쌍대 공간에서 대칭 텐서 공간과 동형임을 보여, 스펙트럴 시퀀스에서 고차 코homology 가 0임을 확인한다.