[논문 리뷰] The deformations of antibracket with even and odd deformation parameters, defined on the space DE_1

S. E. Konstein, I. V. Tyutin|arXiv (Cornell University)|2011. 12. 07.

Advanced Topics in Algebra참고 문헌 3인용 수 3

한 줄 요약

이 논문은 실수선 $\mathbb{R}^1$ 위에서 컴팩트하게 지지된 함수를 갖는 초대수 $\mathbf{DE}_1$ 위에서의 반브라켓 변형을 조사한다. 코homological 방법을 사용하여 $H^2(\mathbf{DE}, \mathbf{DE})$를 계산함으로써, $H^2(\mathbf{D}_1, \mathbf{E}_1)$보다 더 풍부한 구조를 드러내며, 하나의 짝수 및 최대 세 개의 홀수 변형 매개변수를 갖는 모든 변형을 분류하고, 임의의 홀수 매개변수를 갖는 변형도 분류한다. 주요 결과는 $\hbar$와 그라스만 변수에 대한 형식적 멱급수에서의 재귀적 해를 통해 이러한 변형을 완전히 분류한 것이다.

ABSTRACT

We consider antiPoisson superalgebra realized on the smooth Grassmann-valued functions of the form ξf_0(x)+f_1(x), where f_0 has compact support on R, and with the parity opposite to that of the Grassmann superalgebra realized on these functions. The deformations with even and odd deformation parameters of this superalgebra are found.

연구 동기 및 목표

• 반브라켓 변형의 분류를 $\mathbf{D}_1$에서 더 큰 공간인 $\mathbf{DE}_1$로 확장한다. 이는 컴팩트하게 지지된 그라스만 성분을 갖는 함수를 포함한다.
• 반브라켓의 무한소 변형을 지배하는 두 번째 코hom로지 공간 $H^2(\mathbf{DE}, \mathbf{DE})$를 계산한다.
• 한 개의 짝수 변형 매개변수와 최대 세 개의 홀수 매개변수를 갖는 $\mathbf{DE}_1$ 위의 반브라켓 변형을 모두 분류한다.
• 형식적 멱급수에서 $\hbar$와 그라스만 변수를 사용하여 임의의 수의 홀수 매개변수를 갖는 변형에 대한 일반적 해를 유도한다.
• 자코비 유형 항등식과 코homological 조건을 통해 변형 매개변수에 대한 제약 조건을 식별하여 변형 공간의 구조를 규명한다.

제안 방법

• 저자들은 초코chains를 분석하고 코chain에 대한 조건을 유도하여 $H^2(\mathbf{DE}, \mathbf{DE})$를 계산함으로써, 이가 분포 공간과 미분 가능 함수 공간의 몫인 $\mathcal{D}'/C^\infty'$과 동형임을 보인다.
• 변형 공간을 매개변수화하기 위해 $\hbar$와 그라스만 변수 $\theta_i$에 대한 형식적 멱급수 전개를 사용하며, 변형 매개변수로는 $c_{b|k}^l$, $m_{2|7|k}^l$, $\Theta_{q|k}^{(3)}$를 사용한다.
• 반브라켓의 자코비 항등식을 순서별로 유지하기 위해 $J(C^{(0)}, C^{(k)}) = 0$ 식을 통해 재귀적으로 변형을 구성한다.
• 대칭성과 텐서 제약 조건을 사용하여 세 가지 경우로 해를 분류한다: I(한 개의 짝수, 최대 세 개의 홀수 매개변수), II(일반적인 홀수 매개변수 경우), III(세 개의 그라스만 생성자 경우).
• 자코비 항등식에서 유도된 텐서 및 그라스만 대수적 제약 조건의 체계를 해결한다. 예를 들어 $\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$, $c_{i|q}d_{i|4} = 0$, $c_{i|3}d_{i|a} = 0$와 같은 식이다.
• 최종 변형 형태는 $\hbar^k \theta^{2l}$ 및 $\hbar^k \theta^{2l+1}$ 항들의 합으로 표현되며, 유도된 대수적 제약 조건을 만족하는 계수를 갖는다.

실험 결과

연구 질문

• RQ1 반브라켓에 대한 $\mathbf{DE}_1$ 위에서의 두 번째 코homology 공간 $H^2(\mathbf{DE}, \mathbf{DE})$의 구조는 무엇이며, $H^2(\mathbf{D}_1, \mathbf{E}_1)$와 어떻게 다를까?
• RQ2 한 개의 짝수 및 최대 세 개의 홀수 변형 매개변수를 갖는 $\mathbf{DE}_1$ 위의 반브라켓에 대한 완전한 변형은 무엇인가?
• RQ3 임의의 수의 홀수 매개변수가 존재할 경우 변형을 체계적으로 어떻게 구성할 수 있는가?
• RQ4 자코비 항등식을 유지하기 위해 변형 매개변수들이 만족해야 할 대수적 제약 조건은 무엇인가?
• RQ5 $\hbar$와 그라스만 변수 $\theta_i$에 대한 재귀적 해가 반브라켓의 일관된 변형으로 이어지는 방식은 무엇인가?

주요 결과

• 두 번째 코homology 공간 $H^2(\mathbf{DE}, \mathbf{DE})$는 $\mathcal{D}'/C^\infty'$과 동형이며, 이는 $H^2(\mathbf{D}_1, \mathbf{E}_1)$보다 훨씬 더 큰 변형 공간을 나타낸다. $H^2(\mathbf{D}_1, \mathbf{E}_1)$는 차원 $3|3$을 갖는다.
• 한 개의 짝수 및 최대 세 개의 홀수 매개변수를 갖는 모든 변형은 $\hbar$와 그라스만 변수에서의 재귀적 해를 통해 분류되며, 자코비 항등식 유지 조건으로서 $\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$ 및 $c_{i|q}d_{i|4} = 0$ 등의 제약 조건이 포함된다.
• 세 개의 그라스만 생성자 $\theta_1, \theta_2, \theta_3$가 존재하는 경우 일반 해는 $C^{III} = m_{2|0} + \hbar\theta_p c_{p|p'}m_{2|p'} + \hbar^2 \gamma^i (d_{i|a}m_{2|a} + m_{2|7,i}) + \hbar^3 \beta (e_p m_{2|p'} - c_{i|2}(d_{i|6}C_{26} + C_{27,i}))$로 주어지며, 여기서 $\beta = \theta_1\theta_2\theta_3$이다.
• 변형 매개변수들은 자코비 항등식에서 유도된 텐서 및 그라스만 대수적 제약 조건을 만족한다: $\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$, $c_{i|q}d_{i|4} = 0$, $c_{i|3}d_{i|a} = 0$, $c_{i|3}\omega_i = 0$.
• 전체 변형은 $C^{II} = \mathcal{N}^{II}(c_{b|[\ty]}^{[2]|[\ty]}, m_{2|7|[\ty]}^{[2]|[\ty]}, \Theta_{q|[\ty]}^{(3)|[k_0+1]}) + \hbar^4 C^{(4)II} + O(\theta^5)$로 표현되며, $J(C^{(0)II}, C^{(4)II}) = 0$를 만족한다. 최종 해는 $\hbar$와 $\theta$에 대한 형식적 멱급수이며, $k_0$차수에서 영이 아닌 계수를 갖는다.
• 분류 결과에 따르면, $\hbar^k$ 전개의 각 차수에서 비자명한 변형이 존재하기 위해 $c_{b|k_0}^0$ 또는 $m_{2|7|k_0}^0$ 중 적어도 하나는 영이 아니어야 한다.