[논문 리뷰] Constructions of L$_{\infty}$ algebras and their field theory realizations

Olaf Hohm, Vladislav Kupriyanov외 2명|arXiv (Cornell University)|2017. 09. 28.

Advanced Topics in Algebra참고 문헌 26인용 수 6

한 줄 요약

이 논문은 애초에 자코비 항등식을 만족하지 못하는 임의의 반대칭 괄호로부터 L∞ 대수를 구성하며, 벡터 공간 V 위의 임의의 괄호가 항상 V ⊕ V* 위의 2항 L∞ 대수로 확장될 수 있음을 증명한다. 이 경우 3항 괄호는 자코비에이터를 코딩한다. 주요 기여는 자코비에이터가 어떤 선형 사상의 상에 떨어질 경우, 비자명한 4항 괄호를 가진 3항 L∞ 대수가 존재함을 보여주는 일반 정리이다. 이는 진정된 양자장 이론 실현이 가능함을 의미하며, 옥타니온, R-플럭스 대수, 코르우트 대수 등 여러 예시에서 이를 입증한다.

ABSTRACT

We construct L$_{\infty}$ algebras for general `initial data' given by a vector space equipped with an antisymmetric bracket not necessarily satisfying the Jacobi identity. We prove that any such bracket can be extended to a 2-term L$_{\infty}$ algebra on a graded vector space of twice the dimension, with the 3-bracket being related to the Jacobiator. While these L$_{\infty}$ algebras always exist, they generally do not realize a non-trivial symmetry in a field theory. In order to define L$_{\infty}$ algebras with genuine field theory realizations, we prove the significantly more general theorem that if the Jacobiator takes values in the image of any linear map that defines an ideal there is a 3-term L$_{\infty}$ algebra with a generally non-trivial 4-bracket. We discuss special cases such as the commutator algebra of octonions, its contraction to the `R-flux algebra', and the Courant algebroid.

연구 동기 및 목표

• 벡터 공간 위의 임의의 반대칭 괄호가 언제 L∞ 대수로 확장될 수 있는지 일반 조건을 설정하는 것.
• 일반적인 L∞ 확장은 게이지 대칭이 자명해지므로, 비자명한 장 이론 실현이 불가능한 한계를 다루는 것.
• 비자명한 고차 괄호(예: ℓ₄)를 가진 L∞ 대수를 구성할 수 있는 충분조건을 규명하는 것.
• 옥타니온의 교환자 대수, R-플럭스 대수, 코르우트 대수와 같은 구체적 구성과 예시를 제시하여 일반 정리들을 설명하는 것.

제안 방법

• 원래 괄호를 ℓ₂로, 자코비에이터를 ℓ₃로 사용하여, X₁ ⊕ X₀의 계량화된 벡터 공간 위에 2항 L∞ 대수를 구성한다. 여기서 X₀ = V 이고 X₁ = V* 이다.
• 등급사상 V* → V를 통해 ℓ₁: X₁ → X₀를 정의함으로써, n=1인 L∞ 공리가 만족됨을 보장한다.
• 원래 괄호의 연관자(associator)를 사용해 ℓ₃를 정의하며, 이는 괄호가 자코비 항등식을 만족하지 못하는 정도를 코딩한다.
• ℓ₁, ℓ₂, ℓ₃에 대한 일반화된 자코비 항등식이 구성에 의해 항상 만족됨을 증명함으로써, 임의의 초기 괄호에 대해 2항 L∞ 구조가 성립함을 보장한다.
• 자코비에이터가 원래 대수에서 이상을 정의하는 선형 사상의 상에 떨어질 경우, 비자명한 ℓ₄를 가진 3항 L∞ 대수로의 보다 일반적인 구성 방법을 도입한다.
• 동일한 계량화된 공간 위에서 A∞ 대수 구성의 일致성을 검증하며, 모든 비결합 대수가 m₄ ≡ 0인 A∞ 대수로 포함됨을 보여, L∞ 구성과 대칭적인 시각을 제공한다.

실험 결과

연구 질문

• RQ1 벡터 공간 위의 임의의 반대칭 괄호가 언제 2항 L∞ 대수로 확장될 수 있는가?
• RQ2 일반적인 L∞ 확장은 대수적 공리에는 부합하지만, 왜 비자명한 게이지 대칭 실현이 불가능한가?
• RQ3 자코비에이터가 어떤 조건을 만족할 경우, 비자명한 4항 괄호를 가진 3항 L∞ 대수가 존재하는가?
• RQ4 옥타니온의 비결합 교환자 대수는 비퇴화된 L∞ 대수로 포함될 수 있으며, 장 이론 실현이 가능한가?
• RQ5 기존의 장 이론 구조인 코르우트 괄호와 R-플럭스 대수는 이 일반적인 L∞ 프레임워크 안에서 어떻게 통합되는가?

주요 결과

• 벡터 공간 V 위의 임의의 반대칭 괄호는 항상 X = V ⊕ V* 위의 2항 L∞ 대수로 확장 가능하며, 이 경우 3항 괄호는 자코비에이터를 코딩한다. 이는 이러한 확장이 항상 존재함을 증명한다.
• 얻어진 2항 L∞ 대수에서는 일반적으로 X₋₁로의 비자명한 확장이 불가능하여, 게이지 작용이 자명하기 때문에 비자명한 장 이론 실현이 불가능하다.
• 자코비에이터가 원래 대수에서 이상을 정의하는 선형 사상의 상에 떨어질 경우, 비자명한 4항 괄호를 가진 3항 L∞ 대수가 존재한다.
• R-플럭스 대수의 자코비에이터는 1차원 상을 가지며, X₁이 1차원인 최소 8차원 L∞ 실현이 존재함을 확인하여, 장 이론 실현 가능성을 확인한다.
• 옥타니온 교환자 대수에 대해서는 최소 14차원의 L∞ 대수를 구성하지만, 이는 확장이 불가능하므로 비자명한 장 이론에서의 게이지 대칭 실현이 불가능하다.
• A∞ 대수 구성은 모든 비결합 대수를 m₄ ≡ 0인 계량화된 대수로 포함하며, 모든 A∞ 공리를 만족한다. 이는 L∞ 구성과 대칭적인 시각을 제공한다.