[論文レビュー] A Thurston compactification of the space of stability conditions

Asilata Bapat, Anand Deopurkar+1 more|arXiv (Cornell University)|Nov 16, 2020

Algebraic structures and combinatorial models参考文献 16被引用数 5

ひとこと要約

本稿では、球面的対象の q-質量関数を介して、三角的圏上のブリッジランド安定性条件の空間を無限次元射影空間へ写像することにより、Thurston型のコンパクト化を提案する。主な貢献は、適切な条件下で像の単射性とコンパクト閉包性を証明することであり、特に A₂ および Â₁ 量子カテゴリーに対して、自動機を用いてハーディング＝ナラシムハン層構造の動的挙動を追跡する明示的構成と解析が行われる。

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.

研究の動機と目的

• ブリッジランド安定性条件のモジュライ空間に対して、テイヒミュラー空間のコンパクト化のカテゴリカル的類似物を構築すること。
• 安定性条件が、特に球面的対象上の q-質量関数を含む関連計量によって決定されることを確立すること。
• 無限次元射影空間への埋め込みを用いて、複素数スケーリングによる商をとった安定性多様体のコンパクト化を構成すること。
• コンパクト化の境界構造を解析し、テイヒミュラー理論における交差関数の類似物を同定すること。
• 特に A₂ および Â₁ 型の 2-カルラ・ヤウカテゴリーに対して、コンパクト化の明示的幾何的・動的記述を提供すること。

提案手法

• 各安定性条件 τ を、所定の球面的対象の集合 S 上の関連する q-質量関数 m_{q,τ} に写像し、R^S 内の点を得る。
• R^S∖{0} の射影化により P^S を得て、写像 m_q: Stab(C)/C → P^S を定義する。
• 安定性条件がその計量、特に球面的対象上の q-質量関数によって決定されることを、適切な仮定のもとで証明する。
• A₂ および Â₁ カテゴリーに対して、自己同値関手の作用におけるハーディング＝ナラシムハン層構造の進化をモデル化する有限自動機を用いる。
• 切断ファンクターと位相に基づく層構造を用いて、球面的対象の反復拡張のホモロジー的構造を解析する。
• 質量関数の振る舞いを制御し、コンパクト化における連続性を保証するために、直線的層構造の概念を導入する。

実験結果

リサーチクエスチョン

• RQ1 ブリッジランド安定性条件の空間は、Thurston の構成のカテゴリカル的類似物を用いてコンパクト化可能だろうか？
• RQ2 安定性条件は、特に q-質量関数を含む関連計量によって、どの程度まで決定可能だろうか？
• RQ3 コンパクト化の境界構造はどのようなものか？ また、テイヒミュラー理論における交差関数の類似物とどのように関係するか？
• RQ4 2-カルラ・ヤウカテゴリーの A 型において、自己同値関手の作用下でのハーディング＝ナラシムハン層構造の進化はどのように進行するか？
• RQ5 有限自動機は、小さな量子カテゴリーにおけるハーディング＝ナラシムハン層構造のダイナミクスを効果的にモデル化できるか？

主な発見

• 適切な仮定のもとで、写像 m_q: Stab(C)/C → P^S は単射であり、安定性条件が球面的対象上の q-質量関数によって決定されることを意味する。
• 定理 4.3 により、任意の二つの関連計量が、中心的作用（central charge）を含む安定性条件を完全に決定することが示された。
• 量子カテゴリーの 2-カルラ・ヤウカテゴリーにおいて、任意の一つの関連計量によっても安定性条件が完全に決定可能であり、コンパクト化が簡略化される。
• P^S 内での m_q の像の閉包はコンパクトであり、C による商をとった安定性多様体の明確なコンパクト化が得られる。
• コンパクト化の境界には、Thurston の境界関数の類似物であるカテゴリカル的対応物が含まれており、これは極限的質量関数に対応する。
• A₂ および Â₁ 量子カテゴリーにおいて、自動機を用いて HN 層構造のダイナミクスを追跡し、明示的な境界成分を同定することで、コンパクト化が完全に記述された。