[논문 리뷰] Derived critical loci I - Basics

Gabriele Vezzosi|arXiv (Cornell University)|2011. 09. 23.

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

한 줄 요약

이 논문은 유도 대수기하학에서 유도 임계곡선의 기초 프레임워크를 제안하며, 그들의 표준적인 $(-1)$-심플렉틱 구조와 관련된 $BV_{\to\to}$, $G_{\to\to}$, $E_1$-변형 구조를 수립한다. 특히 심플렉틱 다양체 안에서 라그랑주 부분다양체들의 유도 교차로 나타나는 유도 임계곡선은 자연스러운 $(-1)$-심플렉틱 형식을 지니며, 이는 그들의 유도 범주를 $E_{-1}$-모노이드 구조를 통해 양자화할 수 있도록 한다.

ABSTRACT

We will quickly explore the derived geometry of zero loci of sections of vector bundles, with particular emphasis on derived critical loci. In particular we will single out many of the derived geometric structures carried by derived critical loci: the homotopy Batalin-Vilkovisky structure, the action of the 2-monoid of the self-intersection of the zero section, and the derived symplectic structure of degree -1, and show how this structure exists, more generally, on derived lagrangian intersections inside a symplectic manifold. These are just applications of a small part of a much larger project - joint with Pantev, Toën and Vaquié - investigating quantization of derived moduli spaces.

연구 동기 및 목표

• 유도 임계곡선이 지닌 기하학적 및 호모토피적 구조, 특히 라그랑주 부분다양체들의 유도 교차의 맥락에서 그 구조를 규명하는 것.
• 닫힌 1형식의 유도 영점에서 유도되는 유도 임계곡선 위에 존재하는 표준적인 $(-1)$-심플렉틱 구조를 정의하고 특성화하는 것.
• 이 구조들이 $BV_{\to\to}$, $G_{\to\to}$, 그리고 주기적인 유도 범주의 $E_1$-변형과 같은 고차 대수적 불변량과 어떻게 연결되는지 밝히는 것.
• Costello-Gwilliam의 형식적 모듈리 문제 설정을 복원하는, 유도 임계곡선 위의 전반적 기하학적 구조에 대한 안내도를 제공하는 것.
• 대칭적 고장 이론이 기저 스택의 유도 확장 위에서 $(-1)$-심플렉틱 형식의 업그레이드로 나타나며, Hochschild 코hom로지와 순환 코호몰로지와 연결됨을 보여주는 것.

제안 방법

• 섹션 $s \in P$에 의한 수축에 의해 유도되는 미분을 갖는 fancy Koszul cdga $\mathrm{K}(R;P) = S \otimes_R \bigwedge^\bullet P^\vee$를 사용하여, $\mathbf{cdga}_S$ 내에서 $R$의 코프리프레임 리졸루션을 제공한다.
• 유도 영점 구조를 적용하여, $\mathrm{Crit}^h(f) = Z^h(df)$로 정의되는 유도 임계곡선을 $T^*X$에서 $df$의 그래프와 영단면의 유도 교차로 정의한다.
• 심플렉틱 형식 $\omega_0$에 의해 유도되는 $\mathbb{T}_Z \wedge \mathbb{T}_Z$ 위의 영사상에 대한 자기호모토피를 통해, 유도 교차 $Z = L_1 \times_X^h L_2$ 위에 표준적인 $(-1)$-심플렉틱 형식 $\omega$를 구성한다.
• $(-1)$-심플렉틱 형식 $\omega$가 $\mathrm{HC}_3^-(Z)$로 올라가며, 이는 닫힘과 비퇴화성을 보장하므로 유도 심플렉틱 형식임을 증명한다.
• 유도 임계곡선 위에서 $BV_{\infty}$, $G_{\infty}$, 그리고 $2$-모노이드 작용이 $\mathrm{Sym}^2(\mathbb{L}_Z) \to \mathcal{O}_Z[1]$ 고장 이론을 통해 호환됨을 확립한다.
• 모든 구성은 체 $k$ 위에서 이루어지며, $\mathbf{dSt}_k$ 내의 유도 스택의 체계와 $[HAG\text{-}II]$에서 유도된 모델 범주 구조를 기반으로 한다.

실험 결과

연구 질문

• RQ1 매끄러운 스킴 위의 함수에 대한 유도 임계곡선이 어떻게 표준적인 $(-1)$-심플렉틱 구조를 지닐 수 있는가?
• RQ2 유도 임계곡선 위에서 작용하는 자기교차 $2$-모노이드 $Z^h(0)^{\bullet\bullet}$의 역할은 무엇이며, $BV_{\infty}$ 및 $G_{\infty}$ 구조와 어떻게 관련되는가?
• RQ3 모든 대칭적 고장 이론이 기저 스택의 유도 확장 위에서 $(-1)$-심플렉틱 구조의 조각화로 나타날 수 있는가?
• RQ4 유도 심플렉틱 구조 $L_1 \times_X^h L_2$는 유도 범주 $D^{\mathbb{Z}/2}(Z)$의 양자화와 어떻게 관련되는가?
• RQ5 Hochschild 코호몰로지 클래스 $[\omega] \in \mathrm{HH}_3(Z)$와 그 $\mathrm{HC}_3^-(Z)$로의 상승 사이의 정확한 관계는 무엇이며, 이는 형식의 닫힘성에 대해 어떤 의미를 갖는가?

주요 결과

• 함수 $f$가 매끄러운 스킴 $X$ 위에 정의되어 있을 때, 유도 임계곡선 $\mathrm{Crit}^h(f)$는 $T^*X$에서 $df$의 그래프와 영단면의 유도 교차로 표현되며, 표준적인 $(-1)$-심플렉틱 구조를 지닌다.
• 이 $(-1)$-심플렉틱 구조는 주기적인 유도 범주 $D^{\mathbb{Z}/2}(\mathrm{Crit}^h(f))$의 표준적 변형을 $E_{-1}$-모노이드 dg범주로서 유도한다.
• $Z = L_1 \times_X^h L_2$ 위의 $(-1)$-심플렉틱 형식 $\omega$는 닫혀 있고 비퇴화하며, $\mathrm{HC}_3^- (Z)$로 자연스럽게 올라가며, 이는 그것이 유도 심플렉틱 형식임을 확인한다.
• $BV_{\infty}$, $G_{\infty}$, 그리고 $2$-모노이드 작용은 유도 임계곡선 위에서 호환되며, $2$-모노이드는 영단면의 자기교차를 통해 작용한다.
• 데릴레-무어먼 스택 위의 모든 대칭적 고장 이론은 기저 스택의 유도 확장 위에서 $(-1)$-심플렉틱 구조의 조각화로 나타나며, 이는 더 깊은 기하학적 기원을 시사한다.
• 아핀 경우에, 클래스 $[\omega] \in \mathrm{HH}_3(Z)$는 $\mathrm{HC}_3^-(Z)$에서 명시적으로 계산 가능하며, 이는 $B\mathbb{G}_a$-동차성과 닫힘성을 확인한다.