[논문 리뷰] Quantum vertex $F((t))$-algebras and their modules

Haisheng Li|arXiv (Cornell University)|2009. 03. 01.

Algebraic structures and combinatorial models참고 문헌 26인용 수 7

한 줄 요약

이 논문은 표준적인 교환 법칙 대신 브라우드 로컬리티를 사용하는 새로운 대수적 프레임워크인 약한 양자 정점 $F((t))$-대수를 도입한다. 이는 정점 대수를 일반화하는 것으로, 이러한 대수와 그 모듈러의 개념적 구성법을 제공하며, 프렌켈과 진의 오랜 문제를 해결하기 위해 양자 아핀 대수와 약한 양자 정점 $F((t))$-대수를 자연스럽게 연관시킨다. 또한 양자 $\beta\gamma$-계에서 명시적인 예를 구성한다.

ABSTRACT

This is a paper in a series to study vertex algebra-like structures arising from various algebras including quantum affine algebras and Yangians. In this paper, we develop a theory of what we call (weak) quantum vertex $\F((t))$-algebras with $\F$ a field of characteristic zero and $t$ a formal variable, and we give a conceptual construction of (weak) quantum vertex $\F((t))$-algebras and their modules. As an application, we associate weak quantum vertex $\F((t))$-algebras to quantum affine algebras, providing a solution to a problem posed by Frenkel and Jing. We also explicitly construct an example of quantum vertex $\F((t))$-algebras from a certain quantum $βγ$-system.

연구 동기 및 목표

• 특성 0인 체 $F$에 대해 약한 양자 정점 $F((t))$-대수와 그 모듈러의 이론을 개발하는 것.
• 준호환성 부분집합을 이용한 $\mathcal{E}(W)$ 내의 자기사상들로부터 약한 양자 정점 $F((t))$-대수와 그 모듈러의 개념적 구성법을 제공하는 것.
• 프렌켈과 진이 제기한, 양자 정점 대수를 양자 아핀 대수와 자연스럽게 연계하는 문제를 해결하는 것.
• 양자 $\beta\gamma$-계에서 유도된 약한 양자 정점 $F((t))$-대수의 명시적 예를 구성하는 것.

제안 방법

• 약한 양자 정점 $F((t))$-대수란 $F((t))$-모듈러 $V$와 선형 사상 $Y(\cdot,x): V \to \text{Hom}_{F((t))}(V, V((x)))$, 그리고 특정 공리들을 만족하는 진공 벡터 $\mathbf{1}$를 갖는 것으로 정의한다.
• 비국소 정점 대수를 자연스럽게 생성하기 위해 $\mathcal{E}(W) = \text{Hom}(W, W((x)))$ 내의 준호환성 부분집합의 개념을 사용한다.
• 표준적인 교환 법칙을 브라우드된 형태로 대체하기 위해 형식적 멱급수 $f_i(x_1,x_2) \in F_*(x_1,x_2)$를 포함하는 브라우드 로컬리티 조건을 도입한다.
• 연산자 곱 전개를 다루기 위해 $\iota_{t,x_2,x_1}$-사상과 $\delta$-함수 항등식을 이용한 보편적 구성법을 수립한다.
• 두 개의 스펙트럴 매개변수를 갖는 유니터리 양자 양형-야콥슨 연산자를 추가하여 양자 정점 $F((t))$-대수를 정의한다.
• 드린펠트 표현을 이용해 양자 아핀 대수에 대해 약한 양자 정점 $F((t))$-대수를 구성함으로써 이 이론을 적용한다. 이는 필요한 관계를 만족한다.

실험 결과

연구 질문

• RQ1 정점 연산자 대수를 일반화하고 양자 아핀 대수에 적용 가능한 일관된 양자 정점 대수 이론을 개발할 수 있는가?
• RQ2 표준적인 교환 법칙을 대체하면서도 결합법칙을 유지할 수 있도록 브라우드 로컬리티를 어떻게 형식화할 수 있는가?
• RQ3 준호환성 자기사상 체계로부터 약한 양자 정점 $F((t))$-대수와 그 모듈러의 자연스러운 구성법을 달성할 수 있는가?
• RQ4 아핀 리 대수에 대한 정점 연산자 대수 구성법과 유사하게, 양자 아핀 대수와 약한 양자 정점 $F((t))$-대수를 자연스럽게 연계할 수 있는가?
• RQ5 양자 $\beta\gamma$-계에서 유도된 양자 정점 $F((t))$-대수의 구조는 어떠한가?

주요 결과

• 준호환성 부분집합을 이용한 $\mathcal{E}(W)$ 내에서의 개념적 구성법을 통해 비국소 정점 대수 이론의 이전 작업을 일반화함으로써, 약한 양자 정점 $F((t))$-대수와 그 모듈러의 개념적 구성이 달성되었다.
• 이 이론은 약한 양자 정점 $F((t))$-대수를 양자 아핀 대수와 자연스럽게 연계함으로써 프렌켈과 진의 문제를 해결한다.
• 양자 $\beta\gamma$-계에서 유도된 양자 정점 $F((t))$-대수의 명시적 예가 구성되었으며, 이는 $q$와 $t$를 포함하는 브라우드 교환 관계를 만족하는 생성자 $\beta_t(n), \gamma_t(n)$를 갖는다.
• $\beta\gamma$-계 예시는 구성된 대수의 타입 0 모듈러를 실현하며, $\pi: V_{t,q}(\beta\gamma) \to \mathbb{C}((x))K$는 비국소 정점 $\mathbb{C}((t))$-대수의 준동형사상이다.
• $\iota$-사상에 대한 기술적 결과들이 확립되었으며, $\iota_{t,x_1,x_2}$와 $\iota_{t,x_2,x_1}$ 사이의 항등식이 연산자 곱 전개의 일관성을 보장한다.
• 이 이론은 에팅호프-카즈단 이론과 $H_D$-양자 정점 대수 이론과 구별되며, $t$를 변형 매개변수 대신 형식적 변수로 사용하고, 표준적인 결합법칙을 유지한다.