[论文解读] $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$-变形模群 $\mathrm{PSL}_{2,q}(\mathbb{Z})$ 的作用，引入了有理数的两种新 $q$-变形——$[r/s]^lat$ 和 $[r/s]^ atural$，其中 $[r/s]^ atural$ 恢复了 Morier-Genoud 与 Ovsienko 的 $q$-有理数。本文构建了一个与 $q$ 相关的 $A_2$ 型 2-卡拉比-丘类别稳定性空间的紧化，证明其边界包含 $q$-变形有理数的区间，并证明当 $q > 0$ 时，紧化空间 $\overline{M_q}$ 同胚于一个闭圆盘。关键结果是将经典球面对象与 $\mathbb{Q} \cup \{\infty\}$ 之间的对应关系推广为 $q$-变形版本，现通过两个不同的泛函在边界上实现为区间。

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.

研究动机与目标

• 通过引入新的 $q$-变形 $[r/s]^\flat$，推广 Morier-Genoud 与 Ovsienko 的 $q$-变形有理数，与已有的 $[r/s]^\sharp$ 并列。
• 通过嵌入到无穷维射影空间，构建 $A_2$ 型 2-卡拉比-丘类别布里吉兰德稳定性条件空间的 $q$-依赖紧化。
• 建立经典球面对象与 $\mathbb{Q} \cup \{\infty\}$ 之间对应关系的 $q$-变形类比，证明每个球面对象对应于紧化稳定性空间边界上的一个闭区间。

提出的方法

• 作者定义了作用在 $\mathbb{R} \cup \{\infty\}$ 上的 $q$-变形模群 $\mathrm{PSL}_{2,q}(\mathbb{Z})$，通过分式线性变换，利用其轨道像构造了 $[r/s]^\flat$ 与 $[r/s]^\sharp$。
• 通过一个与 $q$ 相关的映射，将稳定性空间 $\mathrm{Stab}(\mathcal{C}_2)/\mathbb{C}$ 嵌入到无穷维射影空间中，定义 $M_q$ 为像集，$\overline{M_q}$ 为其闭包。
• 对每个球面对象 $X$，定义两个实值泛函：$\overline{\hom}_q(X, \cdot)$，用于计数态射的洛朗多项式系数；以及 $\mathrm{occ}_q(X, \cdot)$，一个更复杂的泛函，编码出现数据。
• 证明边界 $\partial\overline{M_q}$ 同胚于 $\mathbb{R} \cup \{\infty\}$，每个球面对象 $X$ 对应于边界上由两个泛函的凸组合构成的闭区间 $I_{q,X}$。
• 该构造依赖于一个 $q$-变形的哈德勒-纳拉辛汉（HN）自动机，用于追踪 braid 群作用下 HN 滤过结构的变化，并用于证明主要的拓扑结果。
• 通过将 HN 向量与 $q$-质量函数复合，定义了 $q$-质量自动机，为研究范畴中自同构作用的动力学提供了计算工具。

实验结果

研究问题

• RQ1 如何将 Morier-Genoud 与 Ovsienko 的 $q$-变形有理数推广，以包含第二种自然的有理数 $q$-变形？
• RQ2 当 $q \neq 1$ 时，$A_2$ 型 2-卡拉比-丘类别稳定性空间的紧化具有怎样的拓扑结构？
• RQ3 当 $q \neq 1$ 时，经典球面对象与 $\mathbb{Q} \cup \{\infty\}$ 之间的对应关系如何变形？边界上的有理点被什么取代？
• RQ4 三-strand braid 群 $B_3$ 在 $q \neq 1$ 时紧化稳定性空间的结构中扮演何种角色？
• RQ5 能否利用 $q$-变形泛函 $\overline{\hom}_q(X, \cdot)$ 与 $\mathrm{occ}_q(X, \cdot)$ 重构紧化稳定性空间的边界，使其成为区间的并集？

主要发现

• $q$-变形有理数 $[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$ 对应于边界上的一个闭区间 $I_{q,X}$，该区间由两个泛函 $\overline{\hom}_q(X, \cdot)$ 与 $\mathrm{occ}_q(X, \cdot)$ 的凸组合构成。
• 当 $q = 1$ 时，两个泛函重合，恢复经典关联的有理数；但当 $q \neq 1$ 时，二者不同，导致边界点为区间值。
• 所有球面对象 $X$ 对应的区间 $I_{q,X}$ 的并集是 $\partial\overline{M_q}$ 的一个稠密子集，表明 $q$-变形有理数在边界上稠密填充。
• 该构造使用了 $q$-变形 HN 自动机，以控制 braid 群作用下 HN 滤过结构的行为，为研究范畴中自同构作用的动力学提供了计算框架。