[논문 리뷰] On axiomatic aspects of N=2 vertex superalgebras with odd formal variables, and deformations of N=1 vertex superalgebras

Katrina Barron|ArXiv.org|2007. 10. 30.

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

한 줄 요약

이 논문은 두 개의 홀수 형식 변수를 사용하여 $N=2$ 정점 초대수의 엄밀한 공리적 프레임워크를 제안하며, $N=2$ 초등방정식 대칭 대수를 수정된 자카비 항등식에 통합한다. $N=2$ 정점 초대수의 카테고리가 한 개 또는 두 개의 홀수 형식 변수를 가지는 경우와 그렇지 않은 경우 사이의 동형사상이 수립되며, $N=1$ 정점 초대수의 연속적 변형을 통해 $N=2$ 초등방정식 대칭 기하학과 $N=1$ 초등분석 기하학 간의 등가성을 입증한다.

ABSTRACT

The notion of "N = 2 vertex superalgebra with two odd formal variables" is presented, the main axiom being a Jacobi identity with odd formal variables in which an N=2 superconformal shift is incorporated into the usual Jacobi identity for a vertex superalgebra. It is shown that as a consequence of these axioms, the N=2 vertex superalgebra is naturally a representation of the Lie algebra isomorphic to the three-dimensional algebra of superderivations with basis consisting of the usual conformal operator and the two N=2 superconformal operators. The notion of N=2 Neveu-Schwarz vertex operator superalgebra with two odd formal variables is introduced, and consequences of this notion are derived. Various other formulations of the notion of N=2 (Neveu-Schwarz) vertex (operator) superalgebra appearing in the mathematics and physics literature are discussed, and several mistakes in the literature are noted and corrected. The notion of ``N=2 (Neveu-Schwarz) vertex (operator) superalgebra with one odd formal variable" is formulated. It is shown that this formulation naturally arises from alternate notions of N=1 superconformality and the continuous deformation of an N=1 (Neveu-Schwarz) vertex (operator) superalgebra with one odd formal variable. This notion is formulated to reflect the underlying N=1 superanalytic geometry, and it is shown that the equivalence of the notions of N=2 (Neveu-Schwarz) vertex (operator) superalgebra with one and with two odd formal variables reflects the equivalence of N=2 superconformal and N=1 superanalytic geometry. In particular we prove that the group of formal N=2 superconformal functions vanishing at zero and invertible in a neighborhood of zero is isomorphic to a certain subgroup of N=1 superanalytic functions vanishing at zero and invertible in a neighborhood of zero.

연구 동기 및 목표

• 두 개의 홀수 형식 변수를 사용하여 $N=2$ 정점 초대수를 초등방정식 이동 자카비 항등식을 통한 공리화하기.
• 기존 문헌에서 $N=2$ 정점 초대수의 수학적 서술에 존재하는 모순과 오타를 수정하기.
• 연속적 변형을 통한 $N=1$ 정점 초대수에서 유도되는 $N=2$ 정점 초대수의 자연스러운 대응관계를 한 개의 홀수 형식 변수를 가진 $N=2$ 정점 초대수와 $N=1$ 초등분석 기하학 간에 수립하기.
• $N=2$ 네베우-슈바르츠 정점 연산자 초대수의 카테고리가 한 개의 홀수 형식 변수를 가질 경우와 그렇지 않을 경우에 대해 동형임을 증명하기.
• 다양한 기하학적 및 대수적 설정에서의 $N=2$ 정점 초대수 서술 방식을 통합하기 위해 서로 동치임을 보여주는 것.

제안 방법

• 두 개의 홀수 형식 변수 $\varphi^{(1)}, \varphi^{(2)}$ 를 사용하여 $N=2$ 초등방정식 이동을 포함한 수정된 자카비 항등식을 도입하기.
• $N=2$ 네베우-슈바르츠 정점 연산자 초대수를 두 개의 홀수 형식 변수를 가진 채로 정의하며, 초등방정식 대칭성과 초공통성과의 일관성을 확보하기.
• 홀수 변수와 초델타 함수를 사용한 형식 계산을 통해 정점 연산자의 성분 공식 유도하기.
• 특히 $F_{\varphi=0}$ 와 $F_{\varphi^{(2)}=0}$ 간의 $N=2$ 정점 초대수 카테고리 사이의 함자를 구성하여 동형사상을 수립하기.
• $N=1$ 정점 초대수의 연속적 변형이 $N=2$ 대수를 유도함을 보여줌으로써 $N=2$ 기하학과 $N=1$ 초등방정식 기하학 간의 관계를 규명하기.
• $N=2$ 초등방정식 함수의 군 중 0에서 0이 되고 0 주변에서 가역적인 것들이 $N=1$ 초등분석 함수의 같은 성질을 가진 부분군과 동형임을 증명하기.

실험 결과

연구 질문

• RQ1 홀수 형식 변수를 사용할 때 $N=2$ 초등방정식 대칭 대수는 어떻게 정점 초대수의 공리적 구조에 자연스럽게 통합될 수 있는가?
• RQ2 한 개와 두 개의 홀수 형식 변수를 가진 $N=2$ 정점 초대수 간의 정확한 관계는 무엇이며, 이는 기하학적 등가성과 어떻게 관련되는가?
• RQ3 연속적 변형을 통해 $N=1$ 정점 초대수에서 어떻게 $N=2$ 정점 초대수로의 전환이 이루어지는가?
• RQ4 자카비 항등식에서 초등방정식 이동의 역할은 무엇이며, 이는 정점 연산자의 성분의 구조를 어떻게 결정하는가?
• RQ5 $N=2$ (네베우-슈바르츠) 정점 초대수의 다양한 서술 방식은 문헌에서 수학적으로 일관된가? 그렇지 않다면 어떤 수정이 필요한가?

주요 결과

• 두 개의 홀수 형식 변수를 가진 $N=2$ 정점 초대수는 초등방정식 연산자와 두 개의 $N=2$ 초등방정식 초대칭 연산자가 생성하는 리 초대수의 자연스러운 표현이다.
• 자카비 항등식에서의 초등방정식 이동은 정점 연산자의 홀수 형식 변수 성분을 완전히 결정한다.
• 한 개의 홀수 형식 변수를 가진 $N=2$ 정점 초대수의 카테고리는 함자 $F_{\varphi=0}$ 를 통해 홀수 형식 변수가 없는 경우와 동형이다.
• 한 개의 홀수 형식 변수를 가진 $N=2$ 네베우-슈바르츠 정점 연산자 초대수의 카테고리는 두 개의 홀수 형식 변수를 가진 경우와 동형이며, 둘 다 표준 $N=2$ 서술과 동형이다.
• $N=2$ 초등방정식 함수의 군 중 0에서 0이 되고 0 주변에서 가역적인 것은 $N=1$ 초등분석 함수의 같은 성질을 가진 부분군과 동형이다.
• 한 개의 홀수 형식 변수를 가진 서술은 $N=1$ 정점 초대수의 연속적 변형으로 자연스럽게 유도되며, 이는 $N=2$ 초등방정식 대칭 기하학과 $N=1$ 초등분석 기하학 간의 등가성을 확인한다.