[논문 리뷰] Algebra of the infrared and secondary polytopes

Mikhail Kapranov, Maxim Kontsevich외 1명|arXiv (Cornell University)|2014. 08. 12.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 2차원 (2,2) 초대칭 양자장론에서 적외선의 대수에 대한 수학적 프레임워크를 개발한다. 유한 집합 A ⊂ ℝ²의 점을 정점으로 가지는 다각형 위에 L∞-대수의 구조를 도입하고, 2차 다각형 구성법을 사용한다. 이는 이 대수의 마우러-카르탕 원소와 푸카야-세이델 카테고리의 A∞-변형 사이의 연결고리를 확립하며, 인스턴턴트와 Ed-대수의 구조를 통해 요소화된 층을 통해 고차원으로 일반화된 가이오토-무어-위튼 형식을 확장한다.

ABSTRACT

We study algebraic structures ($L_\infty$ and $A_\infty$-algebras) introduced by Gaiotto, Moore and Witten in their recent work devoted to certain supersymmetric 2-dimensional massive field theories. We show that such structures can be systematically produced in any number of dimensions by using the geometry of secondary polytopes, esp. their factorization properties. In particular, in 2 dimensions, we produce, out of a polyhedral "coefficient system", a dg-category $R$ with a semi-orthogonal decomposition and an $L_\infty$-algebra $\mathfrak g$. We show that $\mathfrak g$ is quasi-isomorphic to the ordered Hochschild complex of $R$, governing deformations preserving the semi-orthogonal decomposition. This allows us to give a more precise mathematical formulation of the (conjectural) alternative description of the Fukaya-Seidel category of a Kahler manifold endowed with a holomorphic Morse function.

연구 동기 및 목표

• 가이오토-무어-위튼의 2차원 (2,2) 초대칭 양자장론 연구에서 제안된 대수적 구조에 대한 수학적 기초를 제공하기 위해.
• 다각형과 2차 다각형의 쌍대 언어를 사용하여 웹 기반의 L∞-대수 형식을 고차원으로 일반화하기 위해.
• L∞-대수의 마우러-카르탕 원소와 푸카야-세이델 카테고리의 A∞-변형 사이의 대응관계를 확립하기 위해.
• 2차 다각형 위에 요소화된 층을 도입하여 고차원 토폴로지적 장론 이론의 조합론적 모델을 제공하기 위해.
• d차원에서 L∞-대수를 Ed-대수로 정교화할 수 있는지 탐색하고, 이 구성의 일반성 확장을 위해.

제안 방법

• 유한 집합 A ⊂ ℝ²에서 출발하여, A의 볼록결합의 삼등분에 대응하는 정점을 가진 2차 다각형 Σ(A)를 구성한다.
• 세포 체인 복합체가 d² = 0를 만족함을 이용하여, Σ(A)의 세포 체인 복합체 위에 교환 법칙을 가진 dg-대수의 구조를 정의한다.
• gA의 다각형 공간에 L∞-대수의 구조를 도입하며, gA의 쌍대 공간 위의 대칭대수에 기반한 미분을 세포 경계 사상에서 유도한다.
• 무한한 다각형(무한원점이 포함된) 개념을 도입하여, g_fin과 g_∞로 이루어진 부분대수와 아이디얼을 정의함으로써 상대적 변형 프레임워크를 가능하게 한다.
• g_fin에서 A∞-대수 R∞의 호크시ลด 복합체로의 사상 구조를 도입하며, 이는 g_∞의 변형으로서 나타나는 R∞를 기반으로 하며, 유도된 호크시ลด 복합체를 사용한다.
• 2차 다각형 위에 요소화된 층을 도입하여, 요소화 대수의 일반화로 고차원 TFT를 모델링하고, 비자명한 계수계를 가능하게 한다.

실험 결과

연구 질문

• RQ1 GMW의 웹 기반 L∞-대수는 다각형과 2차 다각형의 쌍대 언어로 어떻게 재해석될 수 있는가?
• RQ2 L∞-대수의 구조에서 미분의 기하학적 기원은 무엇이며, 왜 이 설정에서 d² = 0이 자연스럽게 성립하는가?
• RQ3 무한원점을 포함하는 점(반평면 선택을 나타냄)이 존재할 경우, L∞-대수의 변형에 대해 자연스럽게 A∞-구조가 어떻게 유도되는가?
• RQ4 요소화된 층과 Ed-대수의 구조를 사용하여 이 구성은 고차원으로 일반화될 수 있는가?
• RQ5 모듈리 공간 Mζ(φ)의 컴actification이 2차 다각형의 인수화 및 스트라타 구조와 유사한 요소화 및 스트라타 구조를 어떻게 실현하는가?

주요 결과

• gA 위의 L∞-대수의 구조는 2차 다각형 Σ(A)의 세포 체인 복합체에서 자연스럽게 유도되며, 이 복합체의 위상적 성질로 인해 d² = 0이 보장된다.
• 1차원의 경우, L∞-대수는 A∞-대수로 올라갈 수 있으며, 이는 [GMW]의 두 번째 구성이 정점의 선형 순서에 의해 유도된다는 것을 설명한다.
• 무한원점을 도입할 경우, L∞-대수는 부분대수 g_fin과 아이디얼 g_∞로 분해되며, g_fin은 g_∞의 변형인 A∞-대수 R∞에 작용한다.
• 비자명한 계수의 경우, g_fin에서 R∞의 호크시ลด 복합체로의 사상은 Σ(A) 위의 요소화된 층을 통해 구성되며, 자명한 계수의 경우에 먼저 정의된다.
• ζ-인스턴턴트의 모듈리 공간 Mζ(φ)는 Mζ(ψν)의 곱과 동형인 스트라타를 가진 컴 pactification을 갖는다. 이는 2차 다각형의 인수화 및 스트라타 구조와 유사하다.
• 일반성 정리에 의해, L∞-대수 g에서 R∞의 호크시ลด 복합체로의 준동형 Φ가 존재하며, 이는 고차원에서 Ed-대수의 사상으로 정교화될 것으로 예상된다.