[논문 리뷰] Nonlinear Operator Superalgebras and BFV-BRST Operators for Lagrangian Description of Mixed-symmetry HS Fields in AdS Spaces

Alexander A. Reshetnyak|ArXiv.org|2008. 12. 12.

Algebraic structures and combinatorial models참고 문헌 2인용 수 10

한 줄 요약

이 논문은 AdS 공간에서 두 행을 가진 양미러 테이블로 표현되는 혼합 대칭 고스핀(HS) 장에 대해 게이지 불변 라그랑지안 형식을 개발한다. BFV-BRST 형식을 사용하여 비선형 초대칭 대수에서 제2류 제약 조건을 제1류 제약 조건으로 전환함으로써, 고리좌표에서 제3차 항을 가지는 니플롯렌트 BRST 연산자를 구성한다. 이는 일반화된 스핀 (s₁, s₂)을 가진 보스온 HS 장에 대한 일관된 비제약적 기술을 가능하게 한다.

ABSTRACT

We study the properties of nonlinear superalgebras $\mathcal{A}$ and algebras $\mathcal{A}_b$ arising from a one-to-one correspondence between the sets of relations that extract AdS-group irreducible representations $D(E_0,s_1,s_2)$ in AdS$_d$-spaces and the sets of operators that form $\mathcal{A}$ and $\mathcal{A}_b$, respectively, for fermionic, $s_i=n_i+{1/2}$, and bosonic, $s_i=n_i$, $n_i \in \mathbb{N}_0$, $i=1,2$, HS fields characterized by a Young tableaux with two rows. We consider a method of constructing the Verma modules $V_\mathcal{A}$, $V_{\mathcal{A}_b}$ for $\mathcal{A}$, $\mathcal{A}_b$ and establish a possibility of their Fock-space realizations in terms of formal power series in oscillator operators which serve to realize an additive conversion of the above (super)algebra ($\mathcal{A}$) $\mathcal{A}_b$, containing a set of 2nd-class constraints, into a converted (super)algebra $\mathcal{A}_{b{}c}$ = $\mathcal{A}_{b}$ + $\mathcal{A}'_b$ ($\mathcal{A}_c$ = $\mathcal{A}$ + $\mathcal{A}'$), containing a set of 1st-class constraints only. For the algebra $\mathcal{A}_{b{}c}$, we construct an exact nilpotent BFV--BRST operator $Q'$ having nonvanishing terms of 3rd degree in the powers of ghost coordinates and use $Q'$ to construct a gauge-invariant Lagrangian formulation (LF) for HS fields with a given mass $m$ (energy $E_0(m)$) and generalized spin $\mathbf{s}$=$(s_1,s_2)$. LFs with off-shell algebraic constraints are examined as well.

연구 동기 및 목표

• AdS 공간에서 두 행을 가진 양미러 테이블로 표현되는 자유 혼합 대칭 고스핀 장에 대해 일관된 게이지 불변 라그랑지안 형식을 개발한다.
• HS 장의 대칭 대수에서 제2류 제약 조건을 다루는 데서 발생하는 과제를 해결하기 위해, 이를 제1류 제약 조건으로 전환한다.
• 전환된 대수에 대해 비자명한 제3차 고리 항을 가지는 니플롯렌트 BFV-BRST 연산자를 구성함으로써 게이지 불변성을 확보한다.
• 오실레이터 연산자를 사용하여 Fock 공간에서 결과 대수를 실현함으로써, 명시적인 양자 대칭성과 비제약적 형식을 가능하게 한다.
• 기존의 자유 HS 장에 대한 방법을 확장하여, AdS 공간에서 비선형 연산자 초대칭 대수에 대한 BFV-BRST 접근법을 일반화한다.

제안 방법

• 보스온 및 페르미온 HS 장에 대해 AdS 군의 기약 표현 관계와 연산자 대수 $\mathcal{A}$ 및 $\mathcal{A}_b$ 사이의 일대일 대응을 설정한다.
• 형식적 거듭제곱 급수를 사용한 오실레이터 연산자에 의한 Fock 공간 실현을 통해 이러한 대수에 대한 버마 모듈 $V_{\mathcal{A}}$ 및 $V_{\mathcal{A}_b}$ 를 구성한다.
• 보조 대수 $\mathcal{A}'_b$ 를 $\mathcal{A}_b$ 에 추가함으로써 제약 조건 전환을 수행하여, 제2류 제약 조건을 제1류 제약 조건으로 전환함으로써 $\mathcal{A}_{bc}$ 를 구성한다.
• 전환된 대수 $\mathcal{A}_{bc}$ 에 대해 고리 좌표에서 제3차 항을 가지는 정확한 니플롯렌트 BFV-BRST 연산자 $Q'$ 를 유도함으로써 BRST 코hom로지의 닫힘을 확보한다.
• 스칼라 곱과 오실레이터 및 고리 수 공간에서의 분해를 사용하여 BRST 작용을 통해 게이지 불변 라그랑지안 형식을 구성한다.
• 이 방법을 AdS$_d$ 에서 일반화된 스핀 $\mathbf{s} = (s_1, s_2)$ 와 질량 $m$ 을 가진 보스온 HS 장의 비제약 메트릭 유사 형식에 적용한다.

실험 결과

연구 질문

• RQ1 AdS 공간에서 두 행을 가진 혼합 대칭 고스핀 장의 대칭 대수에서 제2류 제약 조건을 체계적으로 제1류 제약 조건으로 전환하는 방법은 무엇인가?
• RQ2 두 행을 가진 혼합 대칭 고스핀 장으로부터 유도된 비선형 초대칭 대수에 대해 BFV-BRST 연산자의 구조는 어떻게 되며, 특히 고차 고리 항에 대해 어떻게 되는가?
• RQ3 AdS 공간에서 비선형 (초)대수에 대한 버마 모듈을 오실레이터 기반 Fock 공간 실현을 통해 실현할 수 있는가? 이는 일관된 게이지 고정 라그랑지안 형식을 가능하게 하는가?
• RQ4 오실레이터 기반 Fock 공간 구성은 비제약 라그랑지안 형식에서 고스핀 장의 게이지 불변성을 실현하는 데 어떤 역할을 하는가?
• RQ5 비선형 대수 $\mathcal{A}_{bc}$ 의 자코비 항등식 닫힘은 BRST 연산자 및 결과 라그랑지안의 구조에 어떻게 영향을 미치는가?

주요 결과

• 전환된 대수 $\mathcal{A}_{bc}$ 에 대해 고리 좌표에서 제3차 항을 가지는 니플롯렌트 BFV-BRST 연산자 $Q'$ 가 명시적으로 구성되었으며, 이는 비선형 초대칭 대수의 자코비 항등식 닫힘 문제를 해결한다.
• 오실레이터 연산자에 대한 형식적 거듭제곱 급수를 사용한 $\mathcal{A}$ 와 $\mathcal{A}_b$ 에 대한 버마 모듈의 Fock 공간 실현이 달성되었으며, 이는 일관된 대수적 프레임워크를 가능하게 한다.
• 제약 조건 전환 절차를 통해 원래의 제2류 제약 조건을 가진 대수는 $\mathcal{A}_{bc}$ 로 전환되었으며, 이는 오직 제1류 제약 조건만 포함하므로 게이지 불변 형식이 가능해진다.
• 자유 보스온 혼합 대칭 고스핀 장에 대해 AdS$_d$ 에서 완전한 게이지 불변 라그랑지안 형식이 유도되었으며, 이는 식 (43)과 (44)에 의해 주어진다.
• 이 방법은 기존의 BFV-BRST 접근법을 비선형 연산자 초대칭 대수에 일반화하여, 일반화된 스핀 $\mathbf{s} = (s_1, s_2)$ 를 가진 고스핀 장으로 확장하였다.
• 이 접근법은 비제약 라그랑지안을 체계적으로 구성하기 위한 프레임워크를 제공하지만, 페르미온 장에 대한 버마 모듈과 BRST 연산자의 명시적 형태는 여전히 열린 문제로 남아 있다.