[논문 리뷰] Enumerative invariants and wall-crossing formulae in abelian categories

Dominic Joyce|arXiv (Cornell University)|2021. 11. 08.

Algebraic structures and combinatorial models참고 문헌 152인용 수 5

한 줄 요약

이 논문은 추상적 범주론에서의 수세기 불변량에 대한 보편적 프레임워크를 개발하며, 모듈리 스택 위의 가상 및 불변 클래스를 사용하여, 프로젝티브 선형 모듈리 스택의 호모로지 위의 리 대수의 구조를 통해 서로 다른 안정성 조건 하에서의 불변량을 기술하는 벽을 넘는 공식을 수립한다. 주요 기여는 안정성=반안정성의 경우를 초월하여 도널드슨–테이터스 유형의 불변량을 체계적으로 확장한 것으로, 유도 대수기하학과 호모로지 위의 버텍스/리 대수 기법을 통해 증명된다.

ABSTRACT

Enumerative invariants in Algebraic Geometry 'count' $τ$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ in homology, for the moduli spaces ${\cal M}_a^{ m st}(τ)\subseteq{\cal M}_a^{ m ss}(τ)$ of $τ$-(semi)stable objects. We get numbers by taking integrals $\int_{[{\cal M}_a^{ m ss}(τ)]_{ m virt}}Υ$ for cohomology classes $Υ$. Let $\cal A$ be a $\mathbb C$-linear abelian category in Algebraic Geometry. There are two moduli stacks of objects in $\cal A$: the usual moduli stack $\cal M$, and the 'projective linear' moduli stack $\cal M^{ m pl}$. We give $H_*({\cal M})$ the structure of a vertex algebra, and $H_*({\cal M}^{ m pl})$ a Lie algebra. Virtual classes $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ lie in $H_*({\cal M}^{ m pl})$. We develop a universal theory of enumerative invariants in such $\mathcal A$. Virtual classes $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ are only defined when ${\cal M}_a^{ m st}(τ)={\cal M}_a^{ m ss}(τ)$. We define invariants $[{\cal M}_a^{ m ss}(τ)]_{ m inv}$ in $H_*({\cal M}^{ m pl})$ for all $a$, with $[{\cal M}_a^{ m ss}(τ)]_{ m inv}=[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ when ${\cal M}_a^{ m st}(τ)={\cal M}_a^{ m ss}(τ)$. If $τ,τ'$ are stability conditions on $\cal A$, we prove a wall-crossing formula writing $[{\cal M}_a^{ m ss}(τ')]_{ m inv}$ in terms of the $[{\cal M}_b^{ m ss}(τ)]_{ m inv}$, using the Lie bracket on $H_*({\cal M}^{ m pl})$. We apply our results for $\cal A$ the representations of a quiver or quiver with relations, or coh$(X)$ for $X$ a curve, surface or Fano 3-fold, or a category of 'pairs' in coh$(X)$ for $X$ a curve or surface. This proves conjectures in Gross-Joyce-Tanaka arXiv:2005.05637.

연구 동기 및 목표

• 알gebraic geometry에서 유래한 아벨 범주에서 안정성=반안정성의 경우를 초월하여 수세기 불변량 이론을 확장하기.
• Mst = Mss일 때 가상 클래스 [Mss_α(τ)]_virt를 일반화하는 보편적 불변 클래스 [Mss_α(τ)]_inv를 H*(Mpl)에 정의하기.
• H*(Mpl)의 리 브라켓을 사용하여 [Mss_β(τ)]_inv에 대한 표현으로 [Mss_α(˜τ)]_inv를 기술하는 벽을 넘는 공식 수립하기.
• 주요 기하적 설정에서의 프레임워크 검증: 퀘이버 표현, 곡선, 표면, 팬오 3-다발 위의 계량층, 그리고 층 쌍.
• 기존 도널드슨–테이터스 이론의 대안으로 3- 및 4-칼라비–유 범주로의 확장 제안하기.

제안 방법

• 일반적인 모듈리 스택의 호모로지 H*(M) 위에 그룹화된 버텍스 대수의 구조를 구성하고, 프로젝티브 선형 모듈리 스택의 호모로지 H*(Mpl) 위에 관련된 그룹화된 리 대수를 구성하기.
• 모든 α ∈ C(A)에 대해 H*(Mpl)에 불변 클래스 [Mss_α(τ)]_inv를 정의하며, 안정성이 잘 행동할 경우(Mst = Mss) 가상 클래스와 일치시킨다.
• Gm-국소화와 고장 이론 기법을 사용하여 가상 클래스를 등급화된 호모로지와 연결하고, 리 대수 관계를 통해 벽을 넘는 공식 유도하기.
• 모듈리-CQ 및 모듈리-CQ/I(퀘이버 표현), X가 곡선, 표면, 또는 팬오 3-다면체일 때 coh(X), 그리고 coh(X) 내의 쌍 (ρ: V⊗L → E)에 이론 적용하기.
• 유도 스택 설정에서 가상 클래스 위의 리 브라켓 관계를 이용하여 벽을 넘는 공식을 증명하며, 유한성 및 올바름 조건에 의존하기.
• 안정성 카메라 분해에 따른 귀납법을 통해 공식을 수립하며, 유한성 조건(가정 5.3(b))을 통해 무한합과 상쇄를 신중히 다루기.

실험 결과

연구 질문

• RQ1 안정 객체와 반안정 객체가 다를 경우에도 아벨 범주에서 수세기 불변량을 일관되게 정의할 수 있는가?
• RQ2 다양한 안정성 조건 하에서 불변량의 공간을 뒷받침하는 대수적 구조는 무엇인가?
• RQ3 한 안정성 조건 하의 불변량을 다른 안정성 조건 하의 불변량으로 표현하는 보편적 벽을 넘는 공식을 유도할 수 있는가?
• RQ4 프로젝티브 선형 모듈리 스택 Mpl의 호모로지 군은 불변량의 벽을 넘는 행동을 어떻게 캐릭터라이즈하는가?
• RQ5 이 프레임워크는 칼라비–유 3- 및 4-다발 위의 계량층과 퀘이버 표현에 얼마나 넓게 적용될 수 있는가?

주요 결과

• 논문은 Mst ≠ Mss일 경우에도 적용 가능한 보편적 불변 클래스 [Mss_α(τ)]_inv를 H*(Mpl)에 구성하며, 가상 클래스 [Mss_α(τ)]_virt를 확장한다.
• 벽을 넘는 공식이 증명된다: [Mss_α(˜τ)]_inv는 H*(Mpl)에서 [Mss_β(τ)]_inv에 대한 리 브라켓 전개로 표현되며, oβ = oα인 β에 대해 성립한다.
• 유한한 가정들(예: 올바름, 유한성, 준부드러움)에 따라 공식이 성립하며, 이는 퀘이버 표현과 곡선, 표면, 팬오 3-다발 위의 계량층에 대해 검증된다.
• 이론은 쌍 (ρ: V⊗L → E) ∈ coh(X)에 적용 가능하여 안정 쌍을 통한 랭크 감소 기법을 가능하게 한다.
• 이 프레임워크는 그로스–조이스–탄카 [81]의 추측을 증명하며, 3- 및 4-칼라비–유 범주에서 도널드슨–테이터스 이론에 대한 새로운 접근법을 제공한다.
• 유한성 조건을 통해 발산하는 무한합을 피하고, 급수의 재정렬과 상쇄가 유효하며, 유한한 상쇄가 보장됨을 보여준다.