[논문 리뷰] Purity and 2-Calabi-Yau categories
이 논문은 2-Calabi–Yau 범주와 양호한 모듈리 공간을 갖는 경우, 양호한 양형 대수의 형식성과 전이적 국소 모델을 활용하여 혼합 호지 모듈의 순수성을 확립한다. 직접 이미지 $p_!ω_{\mathfrak{M}}$가 순수함을 증명하며, 이는 특이적이고 스택 구조를 가진 모듈리 스택으로의 순수성 일반화를 포함하고, BPS 대수의 생성자로 쿠스피달 코homology를 도입한다.
For various 2-Calabi-Yau categories $\mathscr{C}$ for which the stack of objects $\mathfrak{M}$ has a good moduli space $p\colon\mathfrak{M} ightarrow \mathcal{M}$, we establish purity of the mixed Hodge module complex $p_{!}\underline{\mathbb{Q}}_{\mathfrak{M}}$. We do this by using formality in 2CY categories, along with étale neighbourhood theorems for stacks, to prove that the morphism $p$ is modelled étale-locally by the semisimplification morphism from the stack of modules of a preprojective algebra. Then via the integrality theorem in cohomological Donaldson-Thomas theory we prove purity of $p_{!}\underline{\mathbb{Q}}_{\mathfrak{M}}$. It follows that the Beilinson-Bernstein-Deligne-Gabber decomposition theorem for the constant sheaf holds for the morphism $p$, despite the possibly very singular and stacky nature of $\mathfrak{M}$. We use this to define cuspidal cohomology for $\mathfrak{M}$, which is conjecturally a complete space of generators for the BPS algebra associated to $\mathscr{C}$. We prove purity of the Borel-Moore homology of the moduli stack $\mathfrak{M}$, provided its good moduli space $\mathcal{M}$ is projective, or admits a suitable contracting $\mathbb{C}^*$-action. In particular, when $\mathfrak{M}$ is the moduli stack of Gieseker-semistable sheaves on a K3 surface, this proves a conjecture of Halpern-Leistner. We use these results to moreover prove purity for several stacks of coherent sheaves that do not admit a good moduli space. Without the usual assumption that $r$ and $d$ are coprime, we prove that the Borel-Moore homology of the stack of semistable degree $d$ rank $r$ Higgs sheaves is pure and carries a perverse filtration with respect to the Hitchin base, generalising the usual perverse filtration for the Hitchin system to the case of singular stacks of Higgs sheaves.
연구 동기 및 목표
- 좋은 모듈리 공간을 갖는 2-Calabi–Yau 범주의 대상 모듈리 스택에 대해 혼합 호드 모듈 복합체 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 의 순수성을 확립한다.
- 특이적이고 스택적인 모듈리 스택, 특히 양호한 모듈리 공간을 갖지 않는 경우에도 페르세프 필터링 이론과 보렐–무어 호몰로지 순수성 이론을 일반화한다.
- 2-Calabi–Yau 범주와 관련된 BPS 대수의 완전한 생성자 집합으로서의 후보로 쿠스피달 코homology를 정의하고 연구한다.
- K3 표면 위의 반안정층의 모듈리 스택에 대해 할퍼너–라이스트너의 추측을 증명한다.
- 서로소 랭크와 디그리의 조건 없이도 히친 시스템의 페르세프 필터링을 특이 스택인 히긴스 sheaf 스택으로 일반화한다.
제안 방법
- 좌측 2-Calabi–Yau 범주에서 자기 사상 대수가 단순한 대상들에 대해 양형 대수의 형식성을 이용하여 국소 구조를 전이적 대수로 환원한다.
- 앨퍼, 할, 리드의 전이적 국소 정리 적용을 통해 $p: \mathfrak{M} \to \mathcal{M}$ 이 전이적 국소적으로 전이적 대수의 단순화 사상과 동형임을 보인다.
- 코hom올로지적 도널드슨–테일러 이론의 정수성 정리를 활용하여 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 의 순수성을 유도한다.
- 스택적이고 특이적인 성격을 지닌 $\mathfrak{M}$ 에도 불구하고, $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 에 대해 베일린슨–버니스타인–델리뉴–가브르 분해 정리를 적용한다.
- 쿠스피달 코homology를 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 의 최상위 페르세프 필터링 계층에 해당하는 직접 합성부로 구성한다.
- 일관된 완비화와 유도된 변형 이론을 사용하여 dg 범주 내의 단순 대상들의 형식적 이웃을 분석한다.
실험 결과
연구 질문
- RQ1좋은 모듈리 공간 $\mathcal{M}$ 을 갖는 2-Calabi–Yau 범주의 대상 모듈리 스택 $\mathfrak{M}$ 에 대해 혼합 호드 모듈 복합체 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 가 순수한가?
- RQ2특이적이고 스택적인 히긴스 sheaf 모듈리 스택에 대해 보렐–무어 호몰로지의 페르세프 필터링을 일반화할 수 있는가?
- RQ3모듈리 스택 $\mathfrak{M}$ 의 쿠스피달 코homology 가 2CY 범주의 BPS 대수의 완전한 생성자 집합을 제공하는가?
- RQ4K3 표면 위의 반안정층의 모듈리 스택의 보렐–무어 호몰로지가 할퍼너–라이스트너의 추측처럼 순수한가?
- RQ5좋은 모듈리 공간을 갖지 않는 코herent sheaf 스택으로도 순수성 결과를 확장할 수 있는가?
주요 결과
- 모든 $i$ 에 대해, 어떤 2-Calabi–Yau 범주와 그 양호한 모듈리 공간 $p: \mathfrak{M} \to \mathcal{M}$ 에 대해 혼합 호드 모듈 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 는 차수 $i$ 에서 무게 $i$ 의 순수성을 갖는다.
- $p: \mathfrak{M} \to \mathcal{M}$ 는 전이적 국소적으로 전이적 대수의 표현 스택에서 그 아핀화로 가는 단순화 사상과 동형이다.
- 쿠스피달 코homology 는 $p_!\underline{\mathbb{Q}}_{\mathfrak{M}}$ 의 최상위 페르세프 필터링 계층으로 정의되며, 2CY 범주의 BPS 대수의 생성자로 추측된다.
- $\mathcal{M}$ 이 프로젝티브이거나 적절한 $\mathbb{C}^*$-작용을 갖는다면, $\mathfrak{M}$ 의 보렐–무어 호몰로지가 순수하다.
- $\gcd(r,d) = 1$ 의 조건 없이도 랭크 $r$ 과 디그리 $d$ 를 갖는 반안정 히긴스 sheaf 스택의 순수성 결과가 성립하며, 히친 기반 위에 페르세프 필터링이 존재한다.
- K3 표면 위의 코herent sheaf 에 대한 캐일라딘–레인 추측과, 쿠즈네цов 성분을 갖는 삼차 4차곡면 또는 구쉬엘–무카이 다양체로의 일반화가 형식성을 통해 재증명된다.
더 나은 연구,지금 바로 시작하세요
논문 읽기부터 검토까지, 연구 시간을 획기적으로 줄여보세요.
카드 등록 없음 · 무료 플랜 제공
이 리뷰는 AI가 만들고, 인간 에디터가 검토했습니다.