[논문 리뷰] Quantum vertex algebras and their phi-coordinated quasi modules

Haisheng Li|arXiv (Cornell University)|2009. 06. 15.

Algebraic structures and combinatorial models참고 문헌 30인용 수 3

한 줄 요약

이 논문은 일변도 덧셈 형식군의 연관자인 $φ$를 사용하여 양자 정점 대수의 일반화된 프레임워크를 제안한다. $φ$를 $xe^z$로 특수화함으로써, 저자들은 양자 아핀 대수로부터 약한 양자 정점 대수를 구성하고, $φ$-좌표화된 모듈과 양자 $β\gamma$-계의 제약 모듈 사이의 대응관계를 수립하여 양자 정점 대수 이론의 핵심적 격차를 해결한다.

ABSTRACT

We develop a theory of $ϕ$-coordinated (quasi) modules for a nonlocal vertex algebra and we establish a conceptual construction of nonlocal vertex algebras and their $ϕ$-coordinated (quasi) modules, where $ϕ$ is what we call an associate of the one-dimensional additive formal group. By specializing $ϕ$ to a particular associate, we obtain a new construction of weak quantum vertex algebras in the sense of \cite{li-qva1}. As an application, we associate weak quantum vertex algebras to quantum affine algebras, and we also associate quantum vertex algebras and $ϕ$-coordinated modules to a certain quantum $βγ$-system.

연구 동기 및 목표

• 아핀 리 대수와 정점 대수가 관련되어 있듯이, 양자 아핀 대수와 관련된 양자 정점 대수를 구성하는 데 있어 열려 있는 문제를 해결하기 위해.
• 비국소 정점 대수에 대한 $φ$-좌표화된 (준)모듈 이론을 일반화하여, 정점 대수의 모듈 이론을 확장하기 위해.
• 형식군 연관자를 통해 비국소 정점 대수와 그 $φ$-좌표화된 (준)모듈의 개념적 구성 방법을 수립하기 위해.
• 특수화 $φ$를 $xe^z$로 하면 약한 양자 정점 대수가 유도되며, 이는 양자 아핀 대수와 약한 양자 정점 대수 사이의 연관성을 가능하게 한다.

제안 방법

• 일차원 덧셈 형식군 $F_a(x,y) = x+y$의 연관자 $φ$를 도입하고, $φ(x,0) = x$ 및 $φ(φ(x,y),z) = φ(x,y+z)$를 만족하도록 한다.
• 형식군 $φ$의 생성함수를 사용하여 $φ$-틀어진 연산을 위한 일반화된 정점 연산자 작동 $Y_{\mathcal{E}}^\phi(a(x),z)b(x) = [a(x_1)b(x)]_{x_1 = \phi(x,z)}$를 정의한다.
• ${\mathcal{E}}(W) = \text{Hom}(W,W((x)))$의 준가능한 부분집합에 대해 $Y_{\mathcal{E}}^\phi$ 작동을 통해 비국소 정점 대수를 구성한다.
• 비국소 정점 대수와 공간 $W$ 사이의 관계를 설정하기 위해 $φ$-좌표화된 (준)모듈의 개념을 도입한다.
• ${\mathcal{E}}(W)$의 준 ${\mathcal{S}}_{\text{trig}}$-국소 및 ${\mathcal{S}}_{\text{trig}}$-국소 부분집합을 정의하여 양자 아핀 대수의 관계를 포괄한다.
• $\phi(x,z) = xe^z$일 때, 이러한 부분집합이 $Y_{\mathcal{E}}^\phi$ 하에서 약한 양자 정점 대수를 생성하며, 이는 양자 아핀 대수와 양자 $β\gamma$-계와 연결됨을 증명한다.

실험 결과

연구 질문

• RQ1 비국소 정점 대수에 대해 양자 대칭성을 포괄하는 일반화된 모듈 이론을 개발할 수 있는가?
• RQ2 형식군 연관자 $\phi$를 사용하면 일관된 약한 양자 정점 대수의 구성이 가능한가?
• RQ3 $φ$-좌표화된 모듈을 통해 약한 양자 정점 대수와 양자 아핀 대수를 체계적으로 연관시킬 수 있는가?
• RQ4 양자 정점 대수의 $φ$-좌표화된 모듈과 양자 $β\gamma$-계의 제약 모듈 사이에 대응관계가 존재하는가?

주요 결과

• 모든 준가능한 부분집합 $U \subset \mathcal{E}(W)$에 대해, 작동 $Y_{\mathcal{E}}^\phi$는 $W$가 $\phi$-좌표화된 준모듈이 되는 비국소 정점 대수를 생성한다.
• $\phi(x,z) = xe^z$일 때, $\mathcal{E}(W)$의 모든 준 ${\mathcal{S}}_{\text{trig}}$-국소 부분집합은 [Li3]의 의미에서 약한 양자 정점 대수를 생성한다.
• 드린펠트 표현에서의 양자 아핀 대수는 준 ${\mathcal{S}}_{\text{trig}}$-국소 부분집합을 생성하므로, $\phi(x,z) = xe^z$일 때 $Y_{\mathcal{E}}^\phi$를 통해 약한 양자 정점 대수를 생성한다.
• 양자 $β\gamma$-계 $V_q(\beta\gamma)$는 두 개의 벡터로 생성되는 보편적인 약한 양자 정점 대수이며, 이들 사이의 브라운드 교환관계와 구조 함수 $p(x) = (e^{-x/2} - q e^{x/2})/(1 - q)$를 만족한다.
• $\phi(x,z) = xe^z$일 때, $W$ 위의 $φ$-좌표화된 $V_q(\beta\gamma)$-모듈 구조와 $W$ 위의 제약된 $A_q^{\text{trig}}(\beta\gamma)$-모듈 구조 사이에 일대일 대응이 존재한다.
• $q \neq 1$일 때, $V_q(\beta\gamma)$는 [KL]의 보편성 결과와 $p(0) = 1$을 만족하는 $p(x)$의 구조에 의해 기약임을 보였다.