[논문 리뷰] Universal structures in $\mathbb C$-linear enumerative invariant theories. I

Jacob Gross, Dominic Joyce외 1명|arXiv (Cornell University)|2020. 05. 12.

Algebraic structures and combinatorial models참고 문헌 92인용 수 8

한 줄 요약

이 논문은 $Δ$-선형 순서수 세기 불변량에서 가상 클래스에 대한 일반적인 벽을 넘는 공식을 제안한다. 플루리-모듈리 공간 ${t M}^{ m pl}$ 의 호모로지 위에 존재하는 계량화된 리 대수의 구조를 사용한다. 순환을 갖지 않는 퀼레 표현에 대해 이는 추측을 증명하며, 안정 조건을 넘어서는 안정된 대상 수를 세는 불변량에 대한 일반적인 프레임워크를 리 대수 브라켓을 통해 제공한다.

ABSTRACT

An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $ au$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some geometric problem, by means of a virtual class $[{\mathcal M}_\alpha^{ m ss}( au)]_{ m virt}$ in some homology theory for the moduli spaces ${\mathcal M}_\alpha^{ m st}( au)\subseteq{\mathcal M}_\alpha^{ m ss}( au)$ of $ au$-(semi)stable objects. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3- and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds. We make conjectures on new universal structures common to many enumerative invariant theories. Any such theory has two moduli spaces ${\mathcal M},{\mathcal M}^{ m pl}$, where the second author gives $H_*({\mathcal M})$ the structure of a graded vertex algebra, and $H_*({\mathcal M}^{ m pl})$ a graded Lie algebra, closely related to $H_*({\mathcal M})$. The virtual classes $[{\mathcal M}_\alpha^{ m ss}( au)]_{ m virt}$ take values in $H_*({\mathcal M}^{ m pl})$. In most such theories, defining $[{\mathcal M}_\alpha^{ m ss}( au)]_{ m virt}$ when ${\mathcal M}_\alpha^{ m st}( au) e{\mathcal M}_\alpha^{ m ss}( au)$ (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define $[{\mathcal M}_\alpha^{ m ss}( au)]_{ m virt}$ in homology over $\mathbb Q$, and that the resulting classes satisfy a universal wall-crossing formula under change of stability condition $ au$, written using the Lie bracket on $H_*({\mathcal M}^{ m pl})$. We prove our conjectures for moduli spaces of representations of quivers without oriented cycles.

연구 동기 및 목표

• 다양한 대수기하학 및 미분기하학적 순서수 세기 불변량에 공통된 대칭적 대수적 구조—특히 $H_*({\mathcal M})$ 위의 계량화된 정점 대수와 $H_*({\mathcal M}^{\rm pl})$ 위의 계량화된 리 대수—를 규명하는 것.
• 모듈리 공간이 엄격하게 반안정적 또는 분해 가능 객체를 포함할 경우, $\mathbb{Q}$ 위에서 호모로지에 가상 클래스 $[{Δ}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ 를 정의하는 데 오랫동안 해결되지 않은 과제를 해결하는 것.
• 안정 조건 $\tau$ 의 변화에 따라 이러한 가상 클래스에 대한 일반적인 벽을 넘는 공식을 추측하며, 이는 $H_*({\mathcal M}^{\rm pl})$ 위의 리 브라켓을 사용하여 표현한다.
• 기하 문제에서 $\tau$-(반)안정 대상을 세는 불변량을 위한 일반적인 프레임워크를 제공하는 것. 이에는 도널드슨-테이터스 및 도널드슨 불변량이 포함된다.
• 순환을 갖지 않는 퀄레의 표현 모듈리 공간의 경우에 추측된 일반적인 구조를 검증하는 것.

제안 방법

• 모듈리 공간 ${\mathcal M}^{\rm pl}$ 을 구성하여, 그 호모로지 $H_*({\mathcal M}^{\rm pl})$ 가 자연스럽게 계량화된 리 대수의 구조를 지닌다.
• $\tau$-안정 대상의 모듈리 공간 ${\mathcal M}$ 에 대해 $H_*({\mathcal M})$ 위에 계량화된 정점 대수의 구조를 부여하며, 이는 ${\mathcal M}^{\rm pl}$ 위의 리 대수와 관련된다.
• $\mathcal{M}_\alpha^{\rm st}(\tau) \neq \mathcal{M}_\alpha^{\rm ss}(\tau)$ 인 경우에도 모든 $\alpha$ 에 대해 $H_*({\mathcal M}^{\rm pl})$ 에 가상 클래스 $[{Δ}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ 를 정의하며, 이는 $\mathbb{Q}$ 위의 정규 확장 방식을 사용한다.
• $\tau$ 의 변화에 따른 가상 클래스에 대한 일반적인 벽을 넘는 공식을 제안하며, 이는 $H_*({\mathcal M}^{\rm pl})$ 위의 리 브라켓을 포함하는 리 이론적 지수함수 형태로 표현된다.
• 순환을 갖지 않는 퀄레 표현에 대해 추측된 벽을 넘는 공식을 증명하며, 이 경우 모듈리 공간의 명시적 대수적 구조를 활용한다.
• 순환의 부재를 활용하여 모듈리 공간의 유한성과 잘 정의됨을 보장함으로써, 일반 공식의 구성이 가능해진다.

실험 결과

연구 질문

• RQ1 다양한 안정 조건 간의 순서수 세기 불변량에서 가상 클래스에 대한 일반적인 벽을 넘는 공식을 구성할 수 있는가?
• RQ2 엄격하게 반안정적 또는 분해 가능 객체를 포함하는 모듈리 공간에 대해, $\mathbb{Q}$ 위에서 호모로지에 가상 클래스를 정의하는 표준적인 방법이 존재하는가?
• RQ3 순서수 세기 불변량의 모듈리 공간 호모로지에 기반한 대칭적 대수적 구조—특히 정점 대수와 리 대수—는 무엇인가?
• RQ4 안정 조건 $\tau$ 가 변화할 때 가상 클래스는 어떻게 변하고, 이러한 변환을 일반적으로 표현할 수 있는가?
• RQ5 추측된 일반적인 구조는 순환을 갖지 않는 퀄레 표현과 같은 구체적인 기하 설정에서 어느 정도 유효한가?

주요 결과

• $H_*({\mathcal M}^{\rm pl})$ 는 플루리-모듈리 공간의 호모로지로서 자연스럽게 계량화된 리 대수의 구조를 지니며, 이는 가상 클래스의 벽을 넘는 행동을 지배한다.
• 가상 클래스 $[{Δ}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ 는 $H_*({\mathcal M}^{\rm pl})$ 에 값이 있으며, 이들의 $\mathbb{Q}$ 위에서의 정의는 표준적이고 일반적으로 적용 가능할 것이라 추측된다.
• 일반적인 벽을 넘는 공식이 제안되며, 이는 $H_*({\mathcal M}^{\rm pl})$ 위의 리 브라켓의 지수함수 형태로 표현된다.
• 순환을 갖지 않는 퀄레의 표현 모듈리 공간에 대해 추측된 공식이 증명되었으며, 이 경우 대수적 구조가 충분히 제어 가능하다.
• $H_*({\mathcal M})$ 위의 정점 대수의 구조와 $H_*({\mathcal M}^{\rm pl})$ 위의 리 대수의 구조는 깊이 연결되어 있으며, 이는 순서수 세기 불변량을 위한 일반적인 프레임워크를 제공한다.
• 이 프레임워크는 도널드슨-테이터스 및 모치즈키 불변량과 같은 다양한 불변량을 리 이론적 벽을 넘는 메커니즘을 기반으로 한 단일 대칭적 메커니즘으로 통합한다.