[논문 리뷰] Axiomatic $G_{1}$-vertex algebras

Haisheng Li|ArXiv.org|2002. 04. 25.

Algebraic structures and combinatorial models참고 문헌 15인용 수 8

한 줄 요약

이 논문은 비국소적 일반화로서, 자코비 항등식을 약한 결합법칙으로 대체함으로써 $G_1$-정점 대수의 공리적 구조를 도입하고 연구한다. 일관된 $G_1$-정점 연산자 집합이 약한 공리적 $G_1$-정점 대수를 생성함을 증명하고, 상호로 국소적인 연산자들은 일반 정점 대수를 생성함을 보이며, 그로 인해 그라디에이션, 행렬 대수, 크로스 프로덕트를 통한 구성들이 통합됨을 보여준다.

ABSTRACT

Inspired by the Borcherds' work on ``$G$-vertex algebras,'' we formulate and study an axiomatic counterpart of Borcherds' notion of $G$-vertex algebra for the simplest nontrivial elementary vertex group, which we denote by $G_{1}$. Specifically, we formulate a notion of axiomatic $G_{1}$-vertex algebra, prove certain basic properties and give certain examples, where the notion of axiomatic $G_{1}$-vertex algebra is a nonlocal generalization of the notion of vertex algebra. We also show how to construct axiomatic $G_{1}$-vertex algebras from a set of compatible $G_{1}$-vertex operators. The results of this paper were reported in June 2001, at the International Conference on Lie Algebras in the Morningside center, Beijing, China, and were reported on November 30, 2001, in the Quantum Mathematics Seminar, at Rutgers-New Brunswick. We noticed that a paper of Bakalov and Kac appeared today (math.QA/0204282) on noncommutative generalizations of vertex algebras, which has certain overlaps with the current paper. On the other hand, most of their results are orthogonal to the results of this paper.

연구 동기 및 목표

• Borcherds의 $G$-정점 대수에 대한 기본군 $G_1$에 대한 비국소적 공리적 대응체를 제시함으로써 비가환 결합 대수의 일반화에 대응하는 구조를 수립하는 것.
• 정점 대수에서 자코비 항등식을 약한 결합법칙으로 대체하여, 일반 정점 대수를 일반화하는 새로운 대수 구조를 정의하는 것.
• 그라디에이션 구조, 행렬 대수, 크로스 프로덕트 구성 방법을 사용하여 일반 정점 대수에서 공리적 $G_1$-정점 대수를 구성하는 것.
• 자코비 유사 항등식을 통해 이러한 구성들을 통합하고, 주된 공리로 제한된(약한) 공리적 $G_1$-정점 대수의 정의를 내리는 것.
• 벡터 공간 $W$ 위의 일관된 $G_1$-정점 연산자 집합이 자연스러운 모듈 구조를 지닌 약한 공리적 $G_1$-정점 대수를 생성함을 증명하는 것.

제안 방법

• 자코비 항등식을 약한 결합법칙으로 대체하여 공리적 $G_1$-정점 대수를 정의한다: $u$와 $w$에 따라 결정되는 어떤 $l \geq 0$에 대해 $(x_0 + x_2)^l Y(u, x_0 + x_2)Y(v, x_2)w = (x_0 + x_2)^l Y(Y(u, x_0)v, x_2)w$.
• 정규화된 2-코호몰로지의 도입을 통해 $G$-그라디에이션을 가진 일반 정점 대수에서 유도된 구조를 이용해 공리적 $G_1$-정점 대수를 구성한다. 이는 결합 대수 이론에서의 와이어드 그룹 대수와 유사하다.
• 일반 정점 대수 $V$에 대해 행렬 대수 $M(n, V)$를 정의하고, 이가 자연스럽게 공리적 $G_1$-정점 대수의 구조를 지니며, $V \otimes M(n, \mathbb{C})$와 동형임을 보인다.
• 일반 정점 대수 $V$와 그 위의 군 $G$-작용을 이용해 크로스 프로덕트(비가환 프로덕트) 공리적 $G_1$-정점 대수를 구성한다. 이는 결합 대수 이론에서의 크로스 프로덕트를 일반화한 것이다.
• 크로스 프로덕트 대수에 대해 자코비 유사 항등식을 유도하고, 이를 주 공리로 삼아 제한된(약한) 공리적 $G_1$-정점 대수를 정의한다.
• 벡터 공간 $W$ 위의 일관된 $G_1$-정점 연산자 집합이 정점 연산자 곱의 재귀적 잘 정의성에 의해 자연스러운 모듈을 지닌 약한 공리적 $G_1$-정점 대수를 생성함을 증명한다.

실험 결과

연구 질문

• RQ1 정점 대수의 개념은 비국소적 환경에서 비가환 결합 대수의 일반화를 반영할 수 있도록 어떻게 일반화될 수 있는가?
• RQ2 비국소적 환경에서 자코비 항등식이 어떤 공리적 구조로 대체되며, 이는 Borcherds의 $G_1$-정점 대수와 어떻게 관련이 있는가?
• RQ3 결합 대수 이론에서의 표준적 구성—그라디에이션, 행렬 대수, 크로스 프로덕트—는 $G_1$-정점 대수의 맥락에서 어떻게 이행될 수 있는가?
• RQ4 일관된 $G_1$-정점 연산자 집합은 어떻게 공리적 $G_1$-정점 대수를 생성하며, 어떤 모듈 구조를 지니는가?
• RQ5 크로스 프로덕트 구성에서의 자코비 유사 항등식은 다양한 예를 통합하고 더 넓은 대수의 범주를 정의하는 데 기여하는가?

주요 결과

• 공리적 $G_1$-정점 대수의 정의는 자코비 항등식을 약한 결합법칙으로 대체함으로써 이루어지며, 이는 정점 대수의 비국소적 일반화이다.
• 일반 정점 대수 $V$에 대해 $M(n, V)$의 구성은 자연스러운 공리적 $G_1$-정점 대수의 구조를 지니며, $V \otimes M(n, \mathbb{C})$와 동형이다.
• 정점 대수 위의 군 $G$-작용으로부터 유도된 크로스 프로덕트 구성은 자코비 유사 항등식을 핵심 구조적 특징으로 지닌 공리적 $G_1$-정점 대수를 제공한다.
• 벡터 공간 $W$ 위의 일관된 $G_1$-정점 연산자 집합은 정점 연산자 곱의 재귀적 잘 정의성에 의해 자연스러운 모듈을 지닌 약한 공리적 $G_1$-정점 대수를 생성한다.
• 서로 상호로 국소적인 $G_1$-정점 연산자들은 일반 정점 대수를 생성하며, 국소성 조건이 성립할 경우 공리적 $G_1$-정점 대수의 구조가 고전적 정점 대수로 복원됨을 보여준다.
• $S$가 일관된 집합일 때 생성된 공간 $U = \text{span}\{a^{(1)}(x)_{n_1} \cdots a^{(r)}(x)_{n_r} 1_W \}$는 $Y_W(\alpha(x), x_0) = \alpha(x_0)$를 만족하는 약한 공리적 $G_1$-정점 대수의 구조를 지닌다.