[논문 리뷰] Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules

Yi-Zhi Huang, James Lepowsky외 1명|arXiv (Cornell University)|2010. 12. 19.

Algebraic structures and combinatorial models인용 수 7

한 줄 요약

이 논문은 보편적 모듈러에 대한 등각 및 모비우스 보너스 대수의 일반화된 모듈러에 대한 포괄적인 로그 스케일 텐서 범주 이론을 제안하며, 기존의 텐서 범주 이론을 비완전한 비단순 설정으로 확장하여 로그 스케일 구조를 포함한다. 기본 도구들—로깅 스케일 혼합 연산자, 호환성 조건, 그리고 결합 법칙 동형사상—을 수립함으로써 전체 브레이드 텐서 범주 구조를 가능하게 하며, 주요 결과로는 결합 법칙 동형사상의 존재와 자코비 항등식이 유리 함수 성질, 교환 법칙, 결합 법칙 공리계로 대체됨을 보여준다.

ABSTRACT

This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a "conformal vertex algebra" or even more generally, for a "Möbius vertex algebra." We do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. As in the earlier series of papers, our tensor product functors depend on a complex variable, but in the present generality, the logarithm of the complex variable is required; the general representation theory of vertex operator algebras requires logarithmic structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers. Since this is a new theory, we present it in detail, including the necessary new foundational material. In addition, with a view toward anticipated applications, we develop and present the various stages of the theory in the natural, general settings in which the proofs hold, settings that are sometimes more general than what we need for the main conclusions. In this paper (Part I), we give a detailed overview of our theory, state our main results and introduce the basic objects that we shall study in this work. We include a brief discussion of some of the recent applications of this theory, and also a discussion of some recent literature.

연구 동기 및 목표

• 등각 및 모비우스 보너스 대수의 일반화된 모듈러를 위한 일반적인 텐서 범주 이론을 개발하여 단순한 경우를 넘어서는 것.
• 보너스 연산자 대수 표현 이론에 로그 스케일 구조를 통합하여 일반화된 가중 공간과 비유리 행동을 수용하는 것.
• 보너스 대수 정의에서 자코비 항등식을 유리 함수 성질, 곱의 교환 법칙 및 결합 법칙 공리계로 대체하는 것.
• 등각 장 이론과 표현 이론에 적용 가능한 로그 스케일 설정에서 전체 브레이드 텐서 범주 구조를 위한 기초를 마련하는 것.
• 시리즈의 후속 논문을 위한 자가 포함적이고 상세한 기초를 제공하며, 가능한 한 일반적인 설정에서 유효한 증명을 제공하는 것.

제안 방법

• 일반화된 모듈러의 대수적 프레임워크로 강한 그레디에이션을 가진 등각 및 모비우스 보너스 대수를 도입한다.
• 비유리적, 로그 스케일 행동을 다루기 위해 로그 스케일 형식 계산법과 로그 스케일 혼합 연산자를 개발한다.
• 수렴성과 결합 법칙을 다루기 위해 호환성 조건과 P(z), Q(z) 형식을 사용하여 텐서 곱의 이중함수를 정의한다.
• 혼합 매핑에 대한 해석적 및 대수적 조건을 통해 삼중 텐서 곱 이중함수 간의 결합 법칙 동형사상을 수립한다.
• 행렬 계수의 유리 함수 성질, 교환 법칙, 결합 법칙을 이용하여 특정 도메인에서 수렴하는 유리 함수를 도출한다.
• 해석적 계속을 적용하여 겹치는 도메인에서의 연산자 곱 전개를 동치로 취급함으로써, 메로모르픽 OPE를 로그 스케일 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 보너스 대수의 비단순 모듈러 범주와 일반화된 가중 공간을 고려할 때, 어떻게 텐서 범주 이론을 일반화할 수 있는가?
• RQ2 표준적인 유리 함수 성질가 실패하는 로그 스케일 설정에서, 결합 법칙 동형사상의 존재를 보장하는 조건은 무엇인가?
• RQ3 보너스 연산자 대수에서 자코비 항등식은 곱과 반복의 유리 함수 성질, 교환 법칙, 결합 법칙 공리계로 대체될 수 있는가?
• RQ4 로그 스케일 혼합 연산자는 등각 장 이론에서 메로모르픽 연산자 곱 전개를 어떻게 일반화하는가?
• RQ5 형식 변수와 복소수로의 특수화가 수렴성과 유리 함수 값을 갖는 연산자 값 함수를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 보너스 연산자 대수에서 자코비 항등식은 곱과 반복의 유리 함수 성질, 교환 법칙, 결합 법칙 공리계로 대체될 수 있으며, 기본 공리계를 단순화한다.
• 보너스 연산자의 행렬 계수는 |z₁| > |z₂| > 0, |z₂| > |z₁| > 0, |z₂| > |z₁−z₂| > 0 영역에서 겹치는 도메인에서 유리 함수로 수렴하며, 공통 도메인에서 등호가 성립한다.
• 연산자 곱 전개 Y(v₁,z₁)Y(v₂,z₂) ∼ Y(Y(v₁,z₁−z₂)v₂,z₂)는 |z₁| > |z₂| > |z₁−z₂| > 0 영역에서 유리 함수 등식으로 성립한다.
• 로그 스케일 혼합 연산자는 메로모르픽 OPE를 비유리적, 로그 스케일 구조로 일반화하여 전체 비메로모르픽 연산자 곱 전개를 가능하게 한다.
• 적절한 호환성 조건 하에서 삼중 텐서 곱 이중함수 간의 결합 법칙 동형사상이 존재하며, 이는 브레이드 텐서 범주 구조의 기초를 이룬다.
• 이 이론은 전체적으로 일반적으로 개발되었으며, 필요한 것보다 더 일반적인 설정에서도 모든 증명이 유효하므로 등각 장 이론과 표현 이론에 넓은 적용 가능성을 지닌다.