[論文レビュー] $q$-deformed rational numbers and the 2-Calabi--Yau category of type $A_2$

Asilata Bapat, Louis Becker+1 more|arXiv (Cornell University)|Feb 15, 2022

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、$q$-deformedモジュラー群$\mathrm{PSL}_{2,q}(\mathbb{Z})$の作用を通じて、2つの新しい有理数の$q$-変形$[r/s]^lat$と$[r/s]^lat$を導入する。$[r/s]^lat$は、Morier-GenoudとOvsienkoの$q$-有理数を回復する。$A_2$型の2次カルビ・ヤウカテゴリの安定性空間について、$q$-依存のコンパクト化を構成し、境界に$q$-deformed有理数の区間が含まれることを示し、$q > 0$に対してコンパクト化空間$\overline{M_q}$が閉ディスクに位相同相であることを証明する。主な結果は、球面的対象と$\mathbb{Q} \cup \{\infty\}$の古典的対応の$q$-deformed版であり、2つの異なる汎関数を通じて境界に区間として実現される。

ABSTRACT

We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space. In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in $q$. Points in one of the orbits are exactly the $q$-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new $q$-deformation of the rational numbers. Specialising $q$ to a positive real number, we obtain a complete description of the boundary of the compactification.

研究の動機と目的

• Morier-GenoudとOvsienkoの$q$-有理数を一般化し、既存の$[r/s]^\sharp$に加えて、新たな自然な$q$-変形$[r/s]^\flat$を導入すること。
• 2次カルビ・ヤウカテゴリ$A_2$型のブリッジランド安定性条件の空間について、無限次元射影空間への埋め込みを用いて、$q$-依存のコンパクト化を構成すること。
• 古典的対応（球面的対象と$\mathbb{Q} \cup \{\infty\}$の間）の$q$-deformed版を確立し、各球面的対象がコンパクト化安定性空間の境界に閉区間として対応することを示すこと。
• method
• research_questions
• key_findings

提案手法

• 著者らは、$\mathrm{PSL}_{2,q}(\mathbb{Z})$を定義し、$\mathbb{R} \cup \{\infty\}$への分数線形変換として作用させ、$1/0$の軌道像として$[r/s]^\flat$と$[r/s]^\sharp$を両方とも構成する。
• 安定性空間$\mathrm{Stab}(\mathcal{C}_2)/\mathbb{C}$を、$q$-依存の写像によって無限次元射影空間に埋め込み、その像を$M_q$、その閉包を$\overline{M_q}$と定義する。
• 各球面的対象$X$に対して、2つの実数値汎関数を定義する：$\overline{\hom}_q(X, \cdot)$（射のラウレンツ多項式係数の数え上げ）、およびより複雑な$\mathrm{occ}_q(X, \cdot)$（出現データを符号化する汎関数）。
• 境界$\partial\overline{M_q}$が$\mathbb{R} \cup \{\infty\}$に位相同相であり、各球面的対象$X$が2つの汎関数の凸結合によって形成される閉区間$I_{q,X}$に境界上に対応することを示す。
• 主な位相的結果を証明するため、HNフィルトレーションがブraid群作用の下でどのように変化するかを追跡する$q$-deformed Harder–Narasimhan（HN）自己同型機械を導入する。
• HNベクトルに$q$-質量関数を合成して$q$-質量自己同型機械を定義し、カテゴリ内での自己同値の力学的挙動を研究する計算的ツールを提供する。

実験結果

リサーチクエスチョン

• RQ1 Morier-GenoudとOvsienkoの$q$-有理数を、2番目の自然な有理数の$q$-変形を含む形で一般化する方法は何か？
• RQ2 $q \neq 1$のとき、$A_2$型2次カルビ・ヤウカテゴリの安定性空間のコンパクト化の位相的構造はどのようなものか？
• RQ3 $q \neq 1$のとき、球面的対象と$\mathbb{Q} \cup \{\infty\}$の間の古典的対応はどのように変形され、境界上の有理数点に代わるものは何か？
• RQ4 3つのストランドからなるブraid群$B_3$は、$q \neq 1$のときのコンパクト化安定性空間の構造において果たす役割は何か？
• RQ5 $q$-deformed汎関数$\overline{\hom}_q(X, \cdot)$と$\mathrm{occ}_q(X, \cdot)$を用いて、境界のコンパクト化空間が区間の和集合として再構成可能か？

主な発見

• $[1/0]^\flat = 1/(1 - q)$は、$\infty$の新しい変形として導入され、$[1/0]^\sharp = \infty$とは異なり、両者とも$\mathrm{PSL}_{2,q}(\mathbb{Z})$が$\mathbb{R} \cup \{\infty\}$に作用することによって得られる。
• $q \in (0, \infty)$のとき、空間$M_q$は開ディスクに位相同相であり、その閉包$\overline{M_q}$は閉ディスクに位相同相であると予想され、論文内で強く裏付けられている。
• 境界$\partial\overline{M_q}$は$\mathbb{R} \cup \{\infty\}$に位相同相であり、各球面的対象$X$は2つの汎関数$\overline{\hom}_q(X, \cdot)$と$\mathrm{occ}_q(X, \cdot)$の凸結合によって形成される閉区間$I_{q,X}$に境界上に対応する。
• $q = 1$のとき、2つの汎関数は一致し、$X$に対応する古典的有理数を回復するが、$q \neq 1$のとき、それらは異なるため、境界点が区間値を取ることになる。
• 球面的対象$X$のすべての区間$I_{q,X}$の和集合は、$\partial\overline{M_q}$の稠密部分集合である。これは、$q$-deformed有理数が境界を稠密に埋めることを示している。
• HNフィルトレーションの振る舞いをブraid群作用の下で制御するため、$q$-deformed HN自己同型機械を用いる。これにより、カテゴリ内での自己同値の力学的挙動を研究する計算的枠組みが得られる。