[논문 리뷰] Standard bases for the universal associative conformal envelopes of Kac--Moody conformal algebras

P. S. Kolesnikov, R. A. Kozlov|arXiv (Cornell University)|2020. 09. 25.

Algebraic structures and combinatorial models참고 문헌 28인용 수 5

한 줄 요약

이 논문은 Kac–Moody conformal 대수의 보편적 아벨리안 conformal 환의 국소성 수준 N = 3에서 Gröbner–Shirshov 기저를 구성하여, 관련 그레디에이티드 대수와 자유 가환 conformal 대수 사이의 Poincaré–Birkhoff–Witt 유형의 동형을 확립한다. 이 기저는 리 대수의 구조와 불변 형식에 영향을 받지 않으며, N = 3 국소성 조건 하에서 자유 가환 conformal 대수의 선형 기저를 제공한다.

ABSTRACT

We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level $N=3$. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality $N=3$ on the generators.

연구 동기 및 목표

• Kac–Moody conformal 대수의 보편적 아벨리안 conformal 환에 대한 정의 관계의 표준(Gröbner–Shirshov) 기저를 국소성 수준 N = 3에서 계산한다.
• 국소성 한계 N = 3 하에서 자유 가환 conformal 대수의 선형 기저를 유도한다.
• 보편 환의 관련 그레디에이티드 대수에 대해 Poincaré–Birkhoff–Witt 정리의 유사판을 확립한다.
• 재작성 규칙의 주요 부분이 리 대수의 곱 테이블과 불변 형식에 의존하지 않음을 입증한다.
• N = 3 기저에 추가 관계를 추가하여 결과를 국소성 수준 N = 2로 확장한다.

제안 방법

• 연결 대수의 Gröbner–Shirshov 기저 방법을 사용하여, 정의 관계를 연결 대수 위에서의 재작성 규칙으로 간주한다.
• 재작성 시스템을 적용하여 conformal 단항식을 단순화하고, 모든 조합이 0으로 줄어들도록 확인함으로써 기저의 완전성을 보장한다.
• conformal 대수를 C[∂]-모듈로와 λ-곱을 갖는 의사 텐서 범주 M∗(C[∂])로 모델링한다.
• 재작성 규칙 하에서 종결 단항식을 식별하여 자유 가환 conformal 대수의 선형 기저를 도출한다.
• 보편 환의 관련 그레디에이티드 대수를 계산하고, N = 3에서 자유 가환 conformal 대수와의 동형을 증명한다.
• N = 3 기저에 La₂b → 0 등의 관계를 추가하고 중심 확장을 고려하여 N = 2로의 확장을 수행한다.

실험 결과

연구 질문

• RQ1 국소성 수준 N = 3에서 Kac–Moody conformal 대수의 보편적 아벨리안 conformal 환의 구조는 어떻게 되는가?
• RQ2 이 환에 대해 기저가 기반 리 대수와 불변 형식에 영향을 받지 않고 명시적으로 계산될 수 있는가?
• RQ3 국소성 한계 N = 3 하에서 자유 가환 conformal 대수의 선형 기저는 무엇인가?
• RQ4 N = 3에서 보편 환의 관련 그레디에이티드 대수는 자유 가환 conformal 대수와 동형이 되는가, PBW 정리와 유사한가?
• RQ5 국소성 한계를 N = 3에서 N = 2로 줄였을 때 보편 환의 구조는 어떻게 변화하는가?

주요 결과

• 국소성 수준 N = 3에서 Kac–Moody conformal 대수의 보편적 아벨리안 conformal 환에 대해 완전한 Gröbner–Shirshov 기저가 구성되었다.
• N = 3 조건 하에서 자유 가환 conformal 대수의 선형 기저는 인덱스 순서와 z, u에 대한 제약 조건을 만족하는 형태의 단항식 Lx₁⁰⋯Lxn⁰Ly₁¹⋯Lym¹Lzu로 이루어져 있다.
• N = 3에서 보편 환의 관련 그레디에이티드 대수는 자유 가환 conformal 대수 Com Conf(X₁, N = 3) ⊕ ke와 동형이 되며, 이는 PBW 유형 정리를 증명한다.
• 재작성 규칙의 주요 부분이 리 대수의 구조와 불변 형식에 영향을 받지 않음을 확인하여 기저의 보편성과 독립성을 입증한다.
• N = 2로의 확장을 위해 Laₙb → 0 및 Raₙb → 0 (n ≥ 2) 등의 관계를 추가하고 중심 항을 위한 조정된 관계를 적용함으로써 N = 2에 대한 Gröbner–Shirshov 기저를 확보하였다.
• N = 2에서 자유 가환 conformal 대수의 선형 기저는 인덱스 순서 제약 조건을 만족하는 단항식 Lx₁⁰⋯Lxn⁰∂sz 및 Lx₁⁰⋯Lxn⁰Ly₁z로 이루어져 있다.