[논문 리뷰] On the D-module and formal-variable approaches to vertex algebras

Yi-Zhi Huang, James Lepowsky|ArXiv.org|1996. 03. 23.

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

한 줄 요약

이 논문은 대수적 곡선 위에서 베일린슨과 드린펠드의 D-모듈 정의를 통한 카이랄 대수와 진공 또는 그레이딩이 없는 정점 대수의 형식적 변수 접근법 사이의 등가성을 확립한다. 두 프레임워크에서의 비대칭성 및 자카비 항등식 공리가 카테고리적으로 등가임을 증명함으로써, 저자들은 정점 대수 이론의 두 주요 접근법을 통합하며, 진공 및 그레이딩의 구조가 없는 상황에서 카이랄 대수가 본질적으로 정점 대수임을 보여준다.

ABSTRACT

In a program to formulate and develop two-dimensional conformal field theory in the framework of algebraic geometry, Beilinson and Drinfeld have recently given a notion of ``chiral algebra'' in terms of D-modules on algebraic curves. This definition consists of a ``skew-symmetry'' relation and a ``Jacobi identity'' relation in a categorical setting. In this paper, we show directly that these chiral algebras are essentially the same as vertex algebras without vacuum vector (and without grading), by establishing an equivalence between the skew-symmetry and Jacobi identity relations of Beilinson-Drinfeld and the (similarly-named, but different) skew-symmetry and Jacobi identity relations in the formal-variable approach to vertex operator algebra theory as formulated by Borcherds, Frenkel-Lepowsky-Meurman and Frenkel-Huang-Lepowsky.

연구 동기 및 목표

• 베일린슨와 드린펠드의 D-모듈 접근법과 보르처스, 프렌켈-레포스키-무어먼의 형식적 변수 접근법에 기반한 정점 대수의 두 서로 다른 수학적 정의를 조율하는 것.
• D-모듈 설정에서의 카테고리적 비대칭성 및 자카비 항등식 공리와 형식적 변수 프레임워크에서의 대응 공리 간의 관계를 명확히 하는 것.
• 대수적 곡선 위에서 D-모듈을 통해 정의된 카이랄 대수가 진공 벡터와 그레이딩이 없는 정점 대수와 등가임을 보여주는 것.
• 중간 구조나 가정에 의존하지 않고 직접적이고 구조적인 등가성 증명을 제공하는 것.
• 정점 대수 이론을 기하학적 프레임워크에 통합함으로써 이중 차원 보존장 이론의代수기하학적 정의에 기여하는 것.

제안 방법

• 카테고리적 설정에서 비대칭성 및 자카비 항등식 관계를 통해 카이랄 대수의 D-모듈 정의를 형식화하는 것.
• 보르처스와 프렌켈-레포스키-무어먼이 정의한 형식적 변수 정점 대수의 공리를 D-모듈과 호환되는 카테고리적 언어로 번역하는 것.
• 두 프레임워크 간의 함자적 대응을 구축하여 핵심 대수적 및 카테고리적 구조를 유지하는 것.
• 이 대응 하에서 D-모듈 공리(비대칭성 및 자카비 항등식)가 정확히 형식적 변수 공리와 대응됨을 보여주는 것.
• 정점 연산자 대수와 그 표현 이론의 이론을 사용하여 두 정의 간의 일관성을 검증하는 것.
• 형식적 변수 설정에서의 진공 및 그레이딩의 부재가 곡선 위의 카이랄 대수의 내재된 구조와 정확히 일치함을 보여주는 것.

실험 결과

연구 질문

• RQ1 D-모듈 정의를 통한 카이랄 대수에서의 비대칭성 및 자카비 항등식 공리가 형식적 변수 접근법의 정점 대수 공리와 어떻게 관련되어 있는가?
• RQ2 대수적 곡선 위에서 D-모듈을 통해 정의된 카이랄 대수는 진공 벡터와 그레이딩이 없는 정점 대수로 식별될 수 있는가?
• RQ3 기본 대수적 항등식을 유지하는 두 프레임워크 간의 카테고리적 등가성이 존재하는가?
• RQ4 D-모듈 공리가 형식적 변수 공리를 유도하고 반대로 형식적 변수 공리가 D-모듈 공리를 유도할 수 있도록 보장하는 구조적 조건은 무엇인가?
• RQ5 진공 및 그레이딩이 없는 상황에서 두 정점 대수 이론의 접근법이 얼마나 이sovolumetric한 대수적 대상들을 도출하는가?

주요 결과

• D-모듈 정의를 통한 카이랄 대수에서의 비대칭성 및 자카비 항등식 공리는 형식적 변수 접근법의 정점 대수에서의 대응 공리와 카테고리적으로 등가이다.
• 베일린슨와 드린펠드가 정의한 카이랄 대수는 진공 벡터 없이 그레이딩이 없는 정점 대수와 구조적으로 등가이다.
• 핵심 대수적 및 카테고리적 항등식을 유지하는 직접적이고 함자적인 대응을 통해 등가성이 확립되었다.
• 원래 형식적 멱급수와 상태-장 대응을 통해 정의된 형식적 변수 공리들은 손실 없이 D-모듈 프레임워크 내에서 재해석될 수 있다.
• 형식적 변수 설정에서의 진공 및 그레이딩의 부재는 대수적 곡선 위의 카이랄 대수의 내재된 기하적 성격과 정확히 일치한다.
• 결과적으로 D-모듈 접근법이 진공 및 그레이딩이 없는 상황에서 정점 대수 이론의 기하학적 실현을 제공함을 확인하였으며, 이는 보존장 이론의 대수기하학적 정의 목표와 일치한다.