[논문 리뷰] Linear Batalin-Vilkovisky quantization as a functor of $\\infty$-categories

Owen Gwilliam, Rune Haugseng|arXiv (Cornell University)|2016. 08. 03.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 유도 및 이동 구조를 사용하여 ∞-카테고리 사이의 대칭 모노이드 함자로서 선형 Batalin-Vilkovisky (BV) 양자화를 구성한다. (1−n)-이동된 심플렉틱 쌍대의 구조를 가진 코호몰로지 복합체로 Weyl 양자화를 일반화하여, 하이퍼보어 리 대수와 보편 포괄 대수를 통한 Eₙ-대수로의 함자적 양자화를 수립하며, 유도 기하학과 고차 BV 이론에의 응용을 제공한다.

ABSTRACT

We study linear Batalin-Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we implement this construction as a symmetric monoidal functor of $\\infty$-categories. We also show that this construction has a number of pleasant properties: It has a natural extension to derived algebraic geometry, it can be fed into the higher Morita category of $E_n$-algebras to produce a "higher BV quantization" functor, and when restricted to formal moduli problems, it behaves like a determinant. Along the way we also use our machinery to give an algebraic construction of $E_n$-enveloping algebras for shifted Lie algebras.

연구 동기 및 목표

• ∞-카테고리의 언어에서 선형 Batalin-Vilkovisky 양자화를 함자로 형식화하는 것.
• 이 구조를 유도 대수기하학과 Eₙ-대수와 같은 고차 구조로 확장하는 것.
• 형식 모듈리 문제에서 행렬식처럼 행동하는 호모토피적 프레임워크를 통해 BV 양자화를 제공하는 것.
• ∞-카테고리적 기계를 사용하여 이동 리 대수의 Eₙ-포괄 대수를 대수적으로 구성하는 것.

제안 방법

• 유도 및 모델 카테고리 구조를 사용하여 커mutative 미분가환대수 위에서 호모토피론적 대수를 정의하기 위해 모듈러스와 옵레드 대수를 정의한다.
• 코호몰로지 복합체에 (1−n)-이동된 반대칭 쌍대가 주어진 경우 헤이젠베르그 리 대수의 구성법을 적용한다.
• 기존의 구성법을 유도 설정으로 올리기 위해 ∞-카테고리 수준에서 보편 포괄 대수 함자를 구성한다.
• 양자화 절차를 이동된 심플렉틱 복합체의 ∞-카테고리에서 E₀-대수(점이 있는 복합체)로의 대칭 모노이드 함자로 구현한다.
• 시م플리셜 카테고리에서 프라임 대체와 국소화 기법을 사용하여 ∞-카테고리를 모델링하고 함자성 보장을 확보한다.
• 이 기계를 적용하여 선형 BV 함자를 고차 모리타 카테고리의 Eₙ-대수로 입력함으로써 고차 BV 양자화를 정의한다.

실험 결과

연구 질문

• RQ1 선형 BV 양자화는 ∞-카테고리 사이의 대칭 모노이드 함자로 형식화될 수 있는가?
• RQ2 선형 BV 양자화는 유도 대수기하학과 형식 모듈리 문제로 어떻게 확장되는가?
• RQ3 BV 양자화와 유도 기하학에서의 행렬식 구성 간의 관계는 무엇인가?
• RQ4 ∞-카테고리적 방법을 사용하여 이동 리 대수의 Eₙ-포괄 대수를 어떻게 대수적으로 구성할 수 있는가?
• RQ5 헤이젠베르그 리 대수는 고차 BV 양자화와 AKSZ 유형 이론에서 어떤 역할을 하는가?

주요 결과

• 선형 BV 양자화는 (1−n)-이동된 심플렉틱 쌍대를 지닌 코호몰로지 복합체의 ∞-카테고리에서 E₀-대수의 ∞-카테고리로의 대칭 모노이드 함자로 실현된다.
• 이 구성은 자연스럽게 유도 대수기하학으로 확장되며, 함자성과 유도 스택과의 호환성을 유지한다.
• 형식 모듈리 문제에 제한된 경우 선형 BV 함자는 행렬식처럼 행동하여 기하학적 랑글랜드 이론과 지수 이론과 깊은 연결을 시사한다.
• 논문은 ∞-카테고리적 모델 구조를 사용하여 이동 리 대수의 Eₙ-포괄 대수를 대수적으로 구성한다.
• 양자화 함자는 고차 모리타 이론과 호환되며, 모리타 ∞-카테고리와의 복합을 통해 고차 BV 양자화 함자를 체계적으로 구성할 수 있다.
• 유도 및 이동된 Weyl 양자화의 형태는 대칭 대수 위의 파울리 브라켓을 갖는 변형 양자화로 나타나며, ħ→0일 때 고전적 극한을 복원한다.