[논문 리뷰] A Cyclic Operad in the Category of Artin Stacks and Gravitational Correlators

Ivan Kausz|ArXiv.org|2008. 02. 25.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 안 존재하는 안정 두 점을 가진 종수 0 곡선의 모듈리 공간을 대체하기 위한 새로운 모듈리 스택 $\widetilde{\mathcal{M}}_{0,2}$를 사용하여 아르틴 스택의 범주에서 순환 오페라드를 구성한다. 호모로지로 이행함으로써 저자들은 코homology와 중력 양자 cohomology를 체계적으로 기술할 것으로 추측되는 선형 순환 오페라드를 얻으며, 이는 호모로지 환의 대수적 항등식을 통해 기존의 중력 상관관계 관계를 명시적으로 검증한다.

ABSTRACT

We define an Artin stack which may be considered as a substitute for the non-existing (or empty) moduli space of stable two-pointed curves of genus zero. We show that this Artin stack can be viewed as the first term of a cyclic operad in the category of stacks. Applying the homology functor we obtain a linear cyclic operad. We formulate conjectures which assert that cohomology of a smooth projective variety has the structure of an algebra over this homology operad and that gravitational quantum cohomology can naturally expressed in terms of this algebra. As a test for these conjectures we show how certain well-known relations between gravitational correlators can be deduced from them.

연구 동기 및 목표

• 안정 두 점을 가진 종수 0 곡선의 잘 정의된 모듈리 공간이 존재하지 않는 문제를 해결하기 위해 고정된 한 점을 가진 곡선의 수정을 매개하는 스택 $\widetilde{\mathcal{M}}_{0,2}$를 구성한다.
• 표준 오페라드 $A_*(\overline{M}_{0,n+1})$를 $n=1$까지 확장하기 위해 $n \geq 1$에 대해 스택 $\widetilde{\mathcal{M}}_{0,n+1}$ 위에 순환 오페라드 구조를 정의한다.
• 매끄러운 사영 다양체의 cohomology가 이 확장된 오페라드의 호모로지 위에 대수적 구조를 지닌다는 추측을 제기한다.
• 새로운 클래스 $\tilde{\psi}_i$를 이용해 중력 상관관계가 이 구조에 자연스럽게 표현될 수 있음을 보인다.

제안 방법

• 고정된 한 점을 가진 곡선의 수정을 매개하는 0차원 아르틴 스택 $\mathscr{W}$를 정의한다.
• $\widetilde{\mathcal{M}}_{0,2} := \mathbf{B}\mathbb{G}_m \times \mathscr{W}$ 및 $n \geq 2$에 대해 $\widetilde{\mathcal{M}}_{0,n+1} := \overline{M}_{0,n+1} \times \mathscr{W}^{n+1}$를 구성하여 아르틴 스택의 범주에서 순환 오페라드를 형성한다.
• $\widetilde{\mathcal{M}}_{0,2}$가 '졸스토크'—선형 쌍대 그래프와 극단적 성분 위에 표시된 점을 가진 두 점을 가진 전안정 종수 0 곡선—의 붙임으로 인해 준군 구조를 가짐을 증명한다.
• 호모로지로 이행하여 선형 순환 오페라드 $(A_*(\widetilde{\mathcal{M}}_{0,n+1}))_{n \geq 1}$를 얻으며, 여기서 $A_*(\widetilde{\mathcal{M}}_{0,2}) \cong R[t_0]$ 이고 $n \geq 2$에 대해 $A_*(\widetilde{\mathcal{M}}_{0,n+1}) \cong A_*(\overline{M}_{0,n+1}) \otimes R^{\otimes(n+1)}$ 이다. 여기서 $R$는 $\mathscr{W}$의 교차 환이다.
• $\widetilde{\mathcal{M}}_{0,2}$의 준군 구조에 의해 유도된 비가환, 비단위 원소의 곱 $\odot$를 $R[t_0]$ 위에 정의하고, 이가 $t_0^{k_1} \odot \cdots \odot t_0^{k_r}$ 형태의 기저를 가짐을 보인다.
• 일반적인 안정화 사상의 올림으로서 $\widetilde{\operatorname{st}}: \overline{M}_{g,n}(V,\beta) \to \widetilde{\mathcal{M}}_{g,n}$를 정의하고, $\widetilde{\mathcal{M}}_{g,n}$ 위의 타우토로지 클래스의 역상으로서 $\tilde{\psi}_i$ 클래스를 정의한다.

실험 결과

연구 질문

• RQ1 존재하지 않는 안정 두 점을 가진 종수 0 곡선의 모듈리 공간에 대해 아르틴 스택의 범주에서 잘 정의된 대체 스택을 구성할 수 있는가?
• RQ2 $\widetilde{\mathcal{M}}_{0,2}$가 $n \geq 1$에 대해 $\widetilde{\mathcal{M}}_{0,n+1}$ 위의 순환 오페라드 구조와 호환되는 자연스러운 준군 구조를 지닐 수 있는가?
• RQ3 매끄러운 사영 다양체의 cohomology는 호모로지 오페라드 $A_*(\widetilde{\mathcal{M}}_{0,n+1})$ 위에 자연스럽게 대수적 구조를 지닌다 할 수 있는가?
• RQ4 중력 상관관계는 새로운 $\tilde{\psi}_i$ 클래스와 확장된 오페라드 구조를 통해 체계적으로 표현될 수 있는가?

주요 결과

• $\widetilde{\mathcal{M}}_{0,2}$는 $\mathscr{W}$가 고정된 한 점을 가진 곡선의 수정을 매개하는 0차원 아르틴 스택이므로 $\mathbf{B}\mathbb{G}_m \times \mathscr{W}$ 와 동형이다.
• $A_*(\widetilde{\mathcal{M}}_{0,2})$는 $R[t_0]$ 와 동형이며, 여기서 $R$는 $\mathscr{W}$의 교차 환이다. 이는 $\widetilde{\mathcal{M}}_{0,2}$의 준군 구조에 의해 유도된 비가환, 비단위 원소의 곱 $\odot$를 지닌다.
• $(\widetilde{\mathcal{M}}_{0,n+1})_{n \geq 1}$은 아르틴 스택의 범주에서 순환 오페라드이며, $n \geq 2$에 대해 $A_*(\widetilde{\mathcal{M}}_{0,n+1}) \cong A_*(\overline{M}_{0,n+1}) \otimes R^{\otimes(n+1)}$ 이다.
• 추측은 [KM]의 정리 1.2가 $R[t_0]$ 내 단순한 항등식으로부터 유도됨을 보여, 이 정리의 불안정 범위로의 확장 역시 추측에 의해 유도됨을 보여 추측이 뒷받침됨을 보인다.
• $\widetilde{\operatorname{st}}: \overline{M}_{g,n}(V,\beta) \to \widetilde{\mathcal{M}}_{g,n}$ 는 일반적인 안정화 사상의 올림이며, $\tilde{\psi}_i$ 클래스는 $\widetilde{\mathcal{M}}_{g,n}$ 위의 타우토로지 클래스의 역상으로서 정의되며, 이는 확장된 오페라드를 이용한 중력 양자 cohomology의 잠재적 기술 가능성을 제공한다.