[논문 리뷰] Twisted Modules over Vertex Algebras on Algebraic Curves

Edward Frenkel, Matthew Szczesny|ArXiv.org|2001. 12. 19.

Algebraic structures and combinatorial models참고 문헌 10인용 수 7

한 줄 요약

이 논문은 원형 대칭장 이론의 등장하는 conformal block의 프레임워크를 수립하기 위해 정점 대수의 기하적 접근을 비틀림 모듈로 확장한다. 비틀림 모듈은 몫 곡선 위의 H-등변층의 절단으로 구성되며, 리 대수 작용과 해석적 계속을 통해 두 가지 동치 정의를 제공한다. 히젠베르그 및 애피니티 카크-무디 정점 대수의 경우 명시적인 단순화가 이루어진다.

ABSTRACT

We extend the geometric approach to vertex algebras developed by the first author to twisted modules, allowing us to treat orbifold models in conformal field theory. Let $V$ be a vertex algebra, $H$ a finite group of automorphisms of $V$, and $C$ an algebraic curve such that $H \subset \on{Aut}(C)$. We show that a suitable collection of twisted $V$--modules gives rise to a section of a certain sheaf on the quotient $X=C/H$. We introduce the notion of conformal blocks for twisted modules, and analyze them in the case of the Heisenberg and affine Kac-Moody vertex algebras. We also give a chiral algebra interpretation of twisted modules.

연구 동기 및 목표

• 원형 대칭장 이론의 기하 형식을 비틀림 모듈로 일반화하여, 원형 모델의 좌표 불변 처리를 가능하게 한다.
• 대수적 및 해석적 방법을 모두 사용하여 비틀림 설정에서 conformal block을 정의하고 분석한다.
• 몫 곡선 위의 D-모듈의 비틀림을 통해 비틀림 모듈의 캐럴 대수적 해석을 수립한다.
• 비틀림 리 대수를 사용하여 히젠베르그 및 애피니티 카크-무디 정점 대수의 conformal block 정의를 단순화한다.
• 비틀림 모듈을 몰입 곡선 X = C/H 위의 H-등변 벡터 번들의 절단으로 기하적으로 실현한다.

제안 방법

• 유한군 H가 자동형사상으로 작용하는 매끄럽고 사영적인 곡선 C 위에 H-등변 벡터 번들 VC를 구성한다.
• 몫 곡선 X = C/H를 정의하고, 작용이 자유로운 열린 밀도 부분집합 X∘로 제한하여, C∘ → X∘ 가 주어진 H-주기다발이 되도록 한다.
• VC의 H-등변 구조를 이용해 X∘ 위의 벡터 번들 VH로 강하시키며, 이는 비틀림 정점 연산자의 층을 형성한다.
• 각 x ∈ X 위의 C의 점들 위에서 hₚ-비틀림 V-모듈의 집합으로서 ν⁻¹(x)에 沿한 V-모듈의 개념을 도입하며, 군 작용에 대해 호환성을 만족시킨다.
• 각 such 모듈에 대해, 점근적 디스크 Dx× 위의 쌍대층 VH*의 절단 Yᴹˣ를 부여함으로써 conformal block을 정의할 수 있다.
• 비틀림 리 대수 gσ_out(C_aff)의 작용에 의한 모듈의 텐서곱의 코인variants를 통해 conformal block을 정의하며, 이 쌍대 공간이 블록 공간이 된다.

실험 결과

연구 질문

• RQ1 원형 대칭장 이론의 맥락에서 정점 대수의 기하 형식을 비틀림 모듈로 어떻게 확장할 수 있는가?
• RQ2 비틀림 모듈이 대수적 곡선 위에서 conformal block의 기하적 및 대수적 구조는 어떠한가?
• RQ3 비틀림 모듈은 몰입 곡선 위의 캐럴 대수와 D-모듈과 어떻게 관련되는가?
• RQ4 비틀림 리 대수를 사용하여 히젠베르그 및 애피니티 카크-무디 정점 대수의 conformal block 정의를 단순화할 수 있는가?
• RQ5 정점 대수 번들의 H-등변 구조와 비틀림 모듈이 몰입 곡선으로 강하되는 사이의 정확한 관계는 무엇인가?

주요 결과

• ν⁻¹(x)에 沿한 비틀림 V-모듈은 점근적 디스크 Dx× 위의 쌍대층 VH*의 절단과 대응하며, 이는 비틀림 설정에서 정점 연산자의 기하적 실현을 가능하게 한다.
• conformal block의 공간은 리 대수의 코인variants와 해석적 계속을 통해 동치로 정의되며, [FB]의 형식을 비틀림 경우로 일반화한다.
• 히젠베르그 정점 대수의 경우, 비틀림 히젠베르그 대수를 사용하여 코인variants 공간의 구조가 단순화된다.
• 애피니티 카크-무디 정점 대수 V_k(g)의 경우, conformal block은 모듈의 텐서곱 위의 H-불변 함수형공간과 동치이며, 비틀림 리 대수 gσ_out(C_aff)의 작용을 모듈로 한다.
• 비틀림 모듈은 X∘ 위의 캐럴 대수 A^C̃의 모듈과 정확히 일치하며, 여기서 A^C̃는 A|X∘를 H- torsor C̃에 의한 비틀림으로 얻는다. 이는 베일린-드린드 캐럴 대수와 깊은 연결을 형성한다.
• 비틀림 설정으로의 일반화에 따라, 두 정의(리 대수 및 해석적)의 등가성이 V_k(g)에 대해 증명되었으며, [FB]의 정리 7.1을 비틀림 설정으로 확장한다.