Coordinate projections of $c$-vectors of cluster algebras from the annulus

技术摘要：环面（Annulus）上簇代数 $c$-向量的坐标投影

问题陈述
本文研究了与非连通簇代数 $A(Q)$ 相关的 $c$-向量集合 $C(Q)$ 的坐标投影。通过符号相干性（sign-coherence）以及 Nájera Chávez 的研究工作，$C(Q)$ 对应于底层拟阵（quiver）$Q$ 的有符号实 Schur 根集。对于一对顶点 $(v, w)$，研究重点在于投影 $\pi_{vw}: C(Q) \to \mathbb{Z}^2$，特别是考察当坐标差 $c_v - c_w$ 有界时，该投影像的行为。

核心问题包括：

1. 带状区域的存在性（Band Existence）： 对于哪些对 $(v, w)$，差值 $c_v - c_w$ 在 $C(Q)$ 上是有界的？
2. 投影填充性（Projection Filling）： 当差值有界时，投影 $\pi_{vw}(C(Q))$ 是否能满射到由格点线 $|x - y| \leq b_{vw}$ 定义的整个“带状区域”，还是存在空隙？

方法论
作者利用了 tame 遗传代数（tame hereditary algebras）的表示理论和仿射根系的组合学。主要方法论工具包括：

• 根系分解： 利用仿射类型中根的分类，将根分为形式为 $\alpha + m\delta$ 的实根（其中 $\delta$ 是零根），并区分前射影（preprojective）、正则（regular）和前射入（preinjective）组分。
• 缺陷形式（The Defect Form）： 分析 Auslander–Reiten 缺陷 $\partial$，这是一种线性型，用于分隔传递性（transjective，即前射影和前射入）模与正则模。本文建立了缺陷与坐标差之间的直接联系。
• 传递性根与正则根： 利用传递性根通过 $\delta$-平移生成无限族（从而填满直线），而正则根仅形成有限集这一事实。
• 计算验证： 对于特定的例外类型，本文利用独立的计算方法（通过 Coxeter 变换或种子突变进行根理论生成）来分类非填充对。

主要贡献与结果

1. 带状区域存在性的二分法（定理 1.1）
本文为所有非连通类型建立了一个统一的有界性判据。对于具有零根 $\delta$ 的仿射拟阵，差值 $c_v - c_w$ 有界当且仅当 $\delta_v = \delta_w$。在这种情况下，界限 $b_{vw}$ 由底层有限根系上的最大差值决定。若 $\delta_v \neq \delta_w$，由于传递性组分的无限性，该差值是无界的。

2. 环面情形（$\tilde{A}_n$）与源-汇定向（Source-Sink Orientation）
对于具有源-汇定向（唯一源 $s$，唯一汇 $t$）的环面簇代数（类型 $\tilde{A}_n$），本文对填充问题给出了完整的解答（定理 1.2）：

• 每个坐标差都由 1 限制。
• 对于任何对 $(v, w) \neq (s, t)$，投影填充了整个带状区域 $\{|c_v - c_w| \leq 1\}$。
• 对于源-汇对 $(s, t)$，投影填充了非对角线部分（$c_s - c_t = \pm 1$），但未能填充对角线（$c_s = c_t$）。该对角线仅包含有限集的正则实 Schur 根。

3. 缺陷是普遍的障碍
本文指出 Auslander–Reiten 缺陷是填充性的内在障碍。

• 一个带状线被填充，当且仅当它包含一个传递性根。
• 对角线未能填充，当且仅当缺陷型 $\partial$ 与坐标差 $x_v - x_w$ 一致。
• 在 $\tilde{A}_n$ 类型中，缺陷恰好是 $x_s - x_t$，这解释了为何源-汇对具有唯一的非填充对角线。
• 在其他仿射类型（如 $\tilde{D}_4$）中，缺陷并非坐标差；因此，所有的坐标投影都能填充其对应的带状区域，尽管缺陷仍然是一个非平凡的不变量。

4. 高系数下的非填充对分类
本研究将范围从系数 1（此时 $\delta_v = \delta_w = 1$）扩展到了具有更高系数的对。

• 系数 1： 定理 8.7 证明，在任何系数为 1 的仿射类型中，唯一的非填充对是 $\tilde{A}_n$ 的源-汇对。
• 系数 $\geq 2$： 非填充现象可能发生在带状区域的“边界”（即 $|c_v - c_w| > 1$ 的直线），如果正则根使带状区域超出了传递性根的覆盖范围。
• 计算分类： 针对类型 $\tilde{A}_{p,q}, \tilde{D}_n, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ 的计算机辅助分类显示：
  • 唯一的非填充对是 $\tilde{A}_{p,q}$ 中的源-汇对角线。
  • 在类型 $\tilde{E}_7$ 中存在恰好一个非对角线非填充对（系数为 2 的顶点），其中正则根达到的差值为 $\pm 2$，而传递性根仅限于 $\pm 1$。
  • 所有其他测试类型（$\tilde{D}_n, \tilde{E}_6, \tilde{E}_8$）均完全填充。

意义与主张
本文声称，坐标投影的组合问题可以作为探测已知同调不变量——“缺陷”的探测器。

• 拓扑解释： 在环面模型中，缺陷对应于弧线相对于核心曲线的有符号交叉数。非填充对角线代表不跨越核心的弧（正则模），而填充的直线则代表跨越核心的弧（传递性模）。
• 普遍性： 结果表明，虽然缺陷始终是填充性的障碍，但它仅在特定的定向（如 $\tilde{A}_n$ 的源-汇定向）下才对坐标投影“可见”。在其他类型中，障碍确实存在，但并未被单个坐标差所隔离。
• 开放问题： 本文明确指出，对于所有仿射类型（特别是系数 $\geq 2$ 且超出计算范围的对）进行非填充对的完整分类仍是一个开放问题。作者推测，非填充发生的情况恰好是“正则覆盖范围”超过了“传递性覆盖范围”，但并未提供基于管状秩（tube ranks）的这些覆盖范围的通用公式。

这项工作并非提出新的应用或实验方案，而是通过坐标投影的视角，深化了对簇代数几何与同调结构的理解。