[논문 리뷰] A Thurston compactification of the space of stability conditions

Asilata Bapat, Anand Deopurkar외 1명|arXiv (Cornell University)|2020. 11. 16.

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

한 줄 요약

이 논문은 삼각 범주에 대한 Bridgeland 안정 조건의 공간을 Thurston 유형의 콪팩티피케이션으로 제안하며, 구체적으로 구면 대상의 q-질량 함수를 통해 무한 프로젝티브 공간으로의 사상으로 안정 조건을 매핑한다. 주요 기여는 적절한 조건 하에서 이미지의 단사성과 콤팩트 닫힘을 증명하는 것으로, A₂ 및 Â₁ 퀘이브 카테고리에 대해 자동기계를 사용하여 Harder–Narasimhan 필터링의 동역학을 추적함으로써 구체적인 구성과 분석을 수행한다.

ABSTRACT

We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to an infinite projective space. We prove that, under suitable hypotheses, these maps are injective and their image has a compact closure. We identify a family of points in the boundary that are categorical analogous to the intersection functionals in Teichmüller theory. We study in detail the geometry of the resulting compactification for the 2-Calabi--Yau categories of quivers, and fully work out the cases of the \(A_2\) and \(\widehat{A_1}\) quivers. To do so, we carefully examine the dynamics of Harder--Narasimhan multiplicities under auto-equivalences of the category. We introduce a finite automaton to study this dynamics and employ it in our analysis of the \(A_{2}\) and \(\widehat{A_1}\) categories.

연구 동기 및 목표

• Bridgeland 안정 조건의 모듈리 공간에 대해 테이히뮐러 공간의 콱팩티피케이션인 Thurston의 구성에 대한 범주론적 대응을 개발하기 위해.
• 안정 조건이 그에 관련된 메트릭, 특히 구면 대상 위의 q-질량 함수에 의해 결정됨을 확립하기 위해.
• 무한 프로젝티브 공간에의 임베딩을 통해 복소수 스케일링에 대한 안정 조건 만능의 콱팩티피케이션을 구축하기 위해.
• 콱팩티피케이션의 경계 구조를 분석하고, 테이히뮐러 이론의 교차 기능에 대응하는 범주론적 대응을 규명하기 위해.
• 특히 A₂ 및 Â₁ 유형의 2-Calabi–Yau 범주에 대해, 콱팩티피케이션의 명시적 기하학적 및 동역학적 묘사를 제공하기 위해.

제안 방법

• 각 안정 조건 τ를 주어진 구면 대상의 집합 S 위에서의 관련 q-질량 함수 m_{q,τ}로 매핑하여 R^S 내의 점을 얻는다.
• R^S∖{0}의 공간을 프로젝티브화하여 P^S를 얻고, m_q: Stab(C)/C → P^S를 정의한다.
• 안정된 대상과 중심 차수(central charge)가 메트릭에 의해 결정된다는 사실을 이용하여, 적절한 가정 하에서 m_q의 이미지가 단사임을 증명한다.
• 특히 A₂ 및 Â₁ 카테고리에 대해 자동기계를 사용하여 자동환위에 의한 Harder–Narasimhan 필터링의 진화를 모델링한다.
• 단절 함수자와 단계 기반 필터링을 사용하여 구면 대상의 반복적 확장의 호모로지적 구조를 분석한다.
• 질량 함수의 행동을 제어하고 콱팩티피케이션에서 연속성을 확보하기 위해 직선화 가능한 필터링의 개념을 도입한다.

실험 결과

연구 질문

• RQ1 Bridgeland 안정 조건의 공간은 범주론적 대응을 통해 Thurston의 구성으로 콱팩티피케이션될 수 있는가?
• RQ2 안정 조건이 그에 관련된 메트릭, 특히 q-질량 함수에 의해 어느 정도 결정되는가?
• RQ3 콱팩티피케이션의 경계의 구조는 무엇이며, 테이히뮐러 이론의 교차 기능과 어떻게 관련되는가?
• RQ4 2-Calabi–Yau 유형의 A 유형 범주에서 자동환위에 의한 Harder–Narasimhan 필터링은 어떻게 진화하는가?
• RQ5 유한 자동기계는 작은 퀘이브 카테고리에서 Harder–Narasimhan 필터링의 동역학을 효과적으로 모델링할 수 있는가?

주요 결과

• 적절한 가정 하에서 m_q: Stab(C)/C → P^S 는 단사적이며, 이는 안정 조건이 구면 대상 위의 q-질량 함수에 의해 결정됨을 의미한다.
• 모든 안정 조건, 특히 중심 차수까지 포함하여, 정리 4.3에 의해 어떤 두 개의 관련 메트릭으로도 결정됨을 보였다.
• 퀘이브에 대한 2-Calabi–Yau 범주에서는 어떤 하나의 관련 메트릭으로도 안정 조건이 완전히 결정되며, 이는 콱팩티피케이션을 단순화시킨다.
• P^S 내에서 m_q의 이미지의 닫힘은 콤팩트하며, 이는 복소수 스케일링에 대한 안정 조건 만능의 잘 정의된 콱팩티피케이션을 제공한다.
• 콱팩티피케이션의 경계에는 Thurston의 경계 기능에 대응하는 범주론적 대응이 포함되어 있으며, 이는 한계 질량 함수에 해당한다.
• A₂ 및 Â₁ 퀘이브에 대해 자동기계를 사용하여 HN 필터링의 역학을 추적함으로써 콱팩티피케이션이 완전히 묘사되었으며, 명시적인 경계 성분이 규명되었다.