[논문 리뷰] Deformed Double Current Algebras, Matrix Extended $\mathcal W_{\infty}$ Algebras, Coproducts, and Intertwiners from the M2-M5 Intersection

Davide Gaiotto, Miroslav Rapčák외 1명|arXiv (Cornell University)|2023. 09. 29.

Black Holes and Theoretical Physics인용 수 4

한 줄 요약

이 논문은 비틀린 M-이론에서 M2-M5 브라인의 교차로 유도되는 변형 이중 전류 대수(DDCAs)와 행렬 확장된 $ω_{\infty}$ 대수를 구성하고 분석한다. $ω_K$-DDCA에 대한 새로운 표현을 제공하고, $ω_K$-확장된 $ω_{\infty}$ 정점 대수를 엄밀히 정의하며, 이중모듈 구조를 통해 코프로덕트와 인터티너(특히 행렬 밀라 연산자)를 규명함으로써 5차원 $ω=1$ 초대칭 게이지 이론에서 깊이 있는 대수적 이중성을 드러낸다.

ABSTRACT

We study the algebraic structures which govern the deformation of supersymmetric intersections of M2 and M5 branes. The universal algebras on M2 and M5 branes are deformed double current algebra of $\mathfrak{gl}_K$ and $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra respectively. We give a new presentation of the deformed double current algebra of $\mathfrak{gl}_K$, and we give a rigorous mathematical construction of the $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra. A new presentation of the affine Yangian of $\mathfrak{gl}_K$ is also obtained. We construct various coproducts of these algebras, which are expected to encode the fusions of defects in twisted M-theory. The matrix extended Miura operators are identified as intertwiners in certain bimodules of these algebras.

연구 동기 및 목표

• 비틀린 M-이론에서 M2-M5 브라인 교차로부터 유도되는 $ω_K$-확장된 $ω_{\infty}$ 정점 대수에 대한 엄밀한 수학적 프레임워크를 구축하는 것.
• K=1의 경우를 일반화하여 $ω_K$에 대해 $ω_K$-DDCA에 대한 새로운 표현을 제공하는 것.
• 비틀린 M-이론에서 결함 융합을 코딩하는 $ω_K$-DDCA, $ω_K$-Y, $ω_K$-L의 코프로덕트 구조를 정의하고 분석하는 것.
• 행렬 밀라 연산자를 애फ्र리 얀긴 $ω_K$-Y와 $ω_{\infty}^{(K)}$ 대수 위의 이중모듈러스에서의 인터티너로 식별하는 것.
• 직사각형 $ω_{\infty}$ 대수의 모드 대수와 $ω_K$-DDCA 사이의 동형사상 수립을 통해 이중성 구조를 드러내는 것.

제안 방법

• 비대칭화된 생성자와 필터링을 사용하여 $ω_K$-DDCA $ω^{(K)}$의 새로운 표현을 도입하고, PBW 정리를 증명하는 데 사용한다.
• $ω_K$-확장된 $ω_{\infty}$ 정점 대수 $ω^{(K)}_{\infty}$를 행렬 값의 가짜미분기호를 통해 구성하고, 구조 상수의 다항식 성질을 증명한다.
• 구성 공간 위의 점 분할 구조를 사용하여 $ω^{(K)}$에 대한 유리형 코프로덕트를 정의함으로써 정점 코알제브라의 구조를 도출한다.
• 애프리 얀긴 $ω_K$-Y에서 $ω^{(K)}_{\infty}$의 모드 대수로의 사상 수립을 통해 PBW 정리와 코프로덕트 호환성을 증명한다.
• $ω^{(K)}$의 양의 부분과 음의 부분의 교차로 $ω^{(K)}$를 접합 구조를 통해 정의하고, 그 코프로덕트를 구성한다.
• 행렬 밀라 연산자를 $ω_K$-Y 이중모듈러스 $ω^{(K)}$ 위에서의 $ω_K$-Y의 양측 작용을 통해 정의된 $ω^{(K)}$-모듈러스의 사상 조합을 통해 인터티너로 식별한다.

실험 결과

연구 질문

• RQ1 변형 이중 전류 대수 $ω^{(K)}$를 위한 새로운 대칭성이 뚜렷하고 필터링이 명확한 표현으로 재구성할 수 있는가? 그리고 이에 따라 PBW 기저를 증명할 수 있는가?
• RQ2 확장된 $ω_K$-확장 $ω_{\infty}$ 정점 대수 $ω^{(K)}_{\infty}$의 정확한 수학적 구성은 무엇이며, 그 구조 상수는 다항식 성질을 어떻게 보이는가?
• RQ3 코프로덕트 구조 $ω^{(K)}$, $ω_K$-Y, $ω_K$-L는 비틀린 M-이론에서 결함 융합을 어떻게 코딩하는가?
• RQ4 행렬 밀라 연산자는 애프리 얀긴 $ω_K$-Y와 $ω^{(K)}_{\infty}$ 대수의 표현 사이에서 어떤 의미에서 인터티너인가?
• RQ5 모드 대수의 이중성 자동사상과 반대자기 변환은 5차원 $ω=1$ 이론의 기본 물리 대칭성과 어떻게 관련되어 있는가?

주요 결과

• 비대칭화된 생성자를 사용하고 수직 및 수평 필터링을 적용하여 $ω^{(K)}$의 새로운 표현을 제공하고, PBW 정리를 증명하였다.
• $ω_K$-확장된 $ω_{\infty}$ 정점 대수 $ω^{(K)}_{\infty}$는 다항식 구조 상수를 갖는 엄밀한 정점 대수로 구성되었다.
• 구성 공간 위의 점 분할 사상으로 인해 $ω^{(K)}$에 대한 유리형 코프로덕트가 정의되었으며, 이는 대수 연산과 호환되는 정점 코알제브라의 구조를 제공한다.
• 행렬 밀라 연산자는 $ω_K$-Y 이중모듈러스에서의 인터티너로 식별되었으며, $ω^{(K)}$-모듈러스의 사상 조합을 통해 정의된 작용을 통해 정의되었다.
• $ω_K$-Y에서 $ω^{(K)}_{\infty}$의 모드 대수로의 사상이 수립되었고, 그 PBW 정리가 증명되어 생성자 간의 대수적 독립성을 확인하였다.
• 직사각형 $ω_{\infty}$ 대수와 그 모드 대수에 대해 이중성 동형사상과 반대자기 변환이 수립되었으며, 이는 대수적 구조 내에 숨겨진 대칭성을 드러내었다.