[논문 리뷰] On deformations of Yang-Mills algebras

M. V. Movshev|ArXiv.org|2005. 09. 15.

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

한 줄 요약

이 논문은 양-밀스 방정식의 보편적 해인 양-밀스 대수 $YM$의 변형 이론을 리 대수 코hom로지와 순환 호모로지로 조사한다. $H^1(YM, U(YM)) = \mathbb{C} \oplus V \oplus \Lambda^2(V)$를 계산하여 무한소 대칭을 확장, 이동, 로렌츠 회전으로 식별하고, 라그랑지안의 비동치 변형을 위한 생성 함수 $F(t)$를 유도하여 표준적 장 재정의를 초월해 비라그랑지안 변형이 존재함을 드러낸다.

ABSTRACT

This is a next paper from a sequel devoted to algebraic aspects of Yang-Mills theory. We undertake a study of deformation theory of Yang-Mills algebra YM - a ``universal solution'' of Yang-Mills equation. We compute (cyclic) (co)homology of YM.

연구 동기 및 목표

• 양-밀스 방정식의 보편적 해로서의 양-밀스 대수 $YM$의 대수적 구조를 이해하는 것.
• 특히 $H^1(YM, U(YM))$와 $H^1(YM, YM)$를 계산하여 그의 무한소 대칭을 특정하는 양-밀스 대수의 순환 및 리 코호몰로지 계산.
• 확장 무게로 분류된 변형 클래스를 위한 생성 함수 $F(t)$를 구성함으로써 양-밀스 라그랑지안의 비동치 변형을 분류하는 것.
• 표준적 장 재정의를 초월해 비라그랑지안 변형이 존재하는지 조사하는 것.

제안 방법

• 리 코호몰로지 $H^k(\mathfrak{g}, N)$을 계산하기 위해 카르탕-셰바레 복합체의 사용, $\mathfrak{g} = YM$ 및 $N = YM$ 또는 $U(YM)$.
• 확장, 이동, 로렌츠 대칭으로 식별된 $\mathbb{C} \oplus V \oplus \Lambda^2(V)$로 분해함으로써 $H^1(YM, U(YM))$의 계산.
• 로그 미분과 함수 $\psi(k) = \sum_{l|k} 1$를 사용하여 비동치 변형을 위한 생성 함수 $F(t)$의 구성.
• 대칭 대수 항등식과 생성 함수를 사용하여 자유 대수의 순환 호모로지와 코호몰로지 불변량을 연결하는 것.
• 바르- dualit 및 토르 함자르를 사용하여 $HC_0(U(TYM))$를 생성 함수 $M(t)$와 연결함으로써 $\overline{HC}_0(U(TYM))(t) = -\sum_{k>0} \ln(1 - t^{2k}M(t^k))$를 이끌어냄.
• 변형 클래스의 생성 함수에 대한 공식 $F(t) = 1 - \sum_{k \geq 1} \ln(1 - \dim V \cdot t^{2k} + \dim V \cdot t^{4k} - t^{8k}) \frac{\psi(k)}{k} + (\frac{\dim V(\dim V - 1)}{2} - 1)t^8 + \dim V t^6$ 유도.

실험 결과

연구 질문

• RQ1 첫 번째 코호몰로지 $H^1(YM, U(YM))$의 구조는 무엇이며, 양-밀스 이론의 배경에 종속되지 않는 대칭성과 어떻게 관련이 있는가?
• RQ2 양-밀스 라그랑지안의 비동치 변형을 어떻게 분류할 수 있으며, 이러한 변형을 위한 생성 함수는 무엇인가?
• RQ3 라그랑지안의 수정에 의해 유도되지 않는 양-밀스 대수의 변형이 존재하는가? 그리고 이러한 변형은 어떻게 탐지할 수 있는가?
• RQ4 유니버설 포괄 대수 $U(YM)$의 순환 호모로지는 무엇이며, 양-밀스 대수의 변형 이론과 어떻게 관련이 있는가?

주요 결과

• 첫 번째 코호몰로지 $H^1(YM, U(YM))$는 $\mathbb{C} \oplus V \oplus \Lambda^2(V)$로 분해되며, 각각 확장, 이동, 로렌츠 회전에 해당한다.
• 중심이 자명함을 보이며, $H^0(YM, U(YM)) = \mathbb{C}$ 이고 $H^0(YM, YM) = 0$ 이다.
• 비동치 변형을 위한 생성 함수 $F(t)$는 $F(t) = 1 - \sum_{k \geq 1} \ln(1 - \dim V \cdot t^{2k} + \dim V \cdot t^{4k} - t^{8k}) \frac{\psi(k)}{k} + \left(\frac{\dim V(\dim V - 1)}{2} - 1\right)t^8 + \dim V t^6$ 로 주어진다.
• 공식 $F(t)$는 자유 대수의 구조와 변형 공간의 그레ading에 기인한 $t^6$ 및 $t^8$ 항의 명시적 수정 항을 포함한다.
• $U(TYM)$의 순환 호모로지는 $\overline{HC}_0(U(TYM))(t) = -\sum_{k>0} \ln(1 - t^{2k}M(t^k))$ 로 계산되며, 여기서 $M(t)$는 $V$ 위의 자유 리 대수의 생성 함수이다.
• $F(t)$의 구조는 표준적 라그랑지안 변형에서 유도되지 않는 항을 포함하므로 비라그랑지안 변형의 존재가 암시된다.