2025-11-10T02:37:53.188391

The quiver with superpotentials of a $d$-angulation of a marked surface

Le, Zhu

In this paper, we associate a quiver with superpotential to each $d$-angulation of a (unpunctured) marked surface. We show that, under quasi-isomorphisms, the flip of a $d$-angulation is compatible with Oppermann's mutation of (the Ginzburg algebra of) the corresponding quiver with superpotential, thereby partially generalizing the result in [LF09]. Applying to the generalized $(d-2)$-cluster categories associated to this quiver with superpotential, we prove that some certain almost complete $(d-2)$-cluster tilting objects in the higher cluster category have exactly $d-1$ complements.

academic

The quiver with superpotentials of a $d$ -angulation of a marked surface

基本信息

论文ID: 2501.00435
标题: The quiver with superpotentials of a $d$ -angulation of a marked surface
作者: Bo Le, Bin Zhu
分类: math.RT (Representation Theory), math.RA (Rings and Algebras)
发表时间: 2024年12月31日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2501.00435

摘要

本文将每个未打孔标记曲面的 $d$ -三角剖分与一个带超势的箭图相关联。作者证明了在拟同构意义下， $d$ -三角剖分的翻转与相应带超势箭图的Oppermann突变（Ginzburg代数）是兼容的，从而部分推广了LF09中的结果。将此应用到与带超势箭图相关的广义 $(d-2)$ -簇范畴，证明了高阶簇范畴中某些几乎完全 $(d-2)$ -簇倾斜对象恰好有 $d-1$ 个补对象。

研究背景与动机

核心问题: 本文旨在建立几何对象（ $d$ -三角剖分）与代数对象（带超势的箭图及其Ginzburg代数）之间的对应关系，并研究它们在突变操作下的兼容性。
重要性:
- 簇代数理论是代数几何、表示论和组合数学的交叉领域，具有重要的理论价值
- 几何模型为抽象的代数结构提供了直观的理解方式
- 高阶簇范畴的几何实现有助于理解更复杂的数学结构
现有方法局限性:
- Labardini-Fragoso LF09的工作仅处理了 $d=3$ （三角剖分）的情况
- 缺乏对一般 $d$ -三角剖分与带超势箭图关系的系统研究
- 对于自折叠弧的处理存在技术困难
研究动机:
- 将几何-代数对应关系推广到更一般的 $d$ -三角剖分
- 为广义高阶簇范畴提供几何模型
- 研究几乎完全簇倾斜对象的补对象数量问题

核心贡献

建立了 $d$ -三角剖分与带超势箭图的对应关系: 对每个未打孔标记曲面的 $d$ -三角剖分 $D$ ，构造了相应的带超势箭图 $(Q_D, W_D)$
证明了翻转与突变的兼容性: 在拟同构意义下， $d$ -三角剖分的翻转操作与相应Ginzburg代数的Oppermann突变是兼容的
推广了Labardini-Fragoso的结果: 将LF09中关于三角剖分( $d=3$ )的结果推广到一般的 $d$ -三角剖分
确定了补对象的数量: 证明了对于非自折叠弧对应的几乎完全 $(d-2)$ -簇倾斜对象，其补对象数量恰好为 $d-1$

方法详解

任务定义

给定一个未打孔标记曲面 $(S,M)$ 及其 $d$ -三角剖分 $D$ ，构造相应的带超势箭图 $(Q_D, W_D)$ ，并研究翻转操作 $\mu_i(D)$ 与箭图突变 $\mu'_i(Q_D, W_D)$ 之间的关系。

模型架构

$d$ -三角剖分的定义

标记曲面: $(S,M)$ ，其中 $S$ 是紧致连通有向黎曼曲面， $M \subset \partial S$ 是有限标记点集
$d$ -三角剖分: 将曲面分割成 $d$ -边形的兼容弧集合 $D$
翻转操作: 对弧 $i \in D$ ，通过将端点沿边界逆时针移动到下一个标记点来获得新弧 $\mu_D(i)$

带超势箭图的构造

对每个 $d$ -边形 $D_i$ ，构造分级有向完全图 $Q(D_i)$ ：

顶点: 由 $D_i$ 的非边界边索引
箭头: 每个箭头 $\phi$ 的次数 $|\phi| = -n$ ，其中 $n$ 是在顺时针方向上夹在 $s(\phi)$ 和 $t(\phi)$ 之间的其他边数
超势: $W(D_i)$ 是所有3-圈的和，满足 $\{W(D_i), W(D_i)\} = 0$

突变操作

定义了两种突变：

Oppermann突变: 标准的带超势箭图突变 $\mu_i(Q,W)$
修正突变: $\mu'_i(Q,W)$ ，通过移除多余箭头对并调整超势得到

技术创新点

处理自折叠弧: 当弧 $i$ 是自折叠的（即包含在同一个 $d$ -边形中），需要特殊处理突变过程中产生的环和复合箭头
拟同构证明: 使用Lemma 3.1中的箭头消除技术，证明 $\Gamma_1$ 与 $\Gamma_2$ （分别对应两种突变的Ginzburg代数）是拟同构的
分级箭图结构: 通过精心设计的分级结构，确保Ginzburg代数满足同调光滑性和Calabi-Yau性质

实验设置

理论验证

本文主要是理论工作，通过数学证明而非数值实验来验证结果：

具体例子验证:
- Example 2.11: 4-三角剖分的环面情况
- Example 2.17: 翻转与突变兼容性的具体计算
- Example 4.12: 自折叠弧的特殊情况分析
几何模型:
- 类型 $A_n$ 和 $\tilde{A}_n$ 的几何实现
- 与经典 $m$ -簇范畴的对比

评价标准

数学严谨性: 所有主要结果都有完整的数学证明
一致性: 构造与已知的三角剖分情况一致
完备性: 处理了所有可能的情况（包括自折叠弧）

主要结果

核心定理

定理2.16: 对于 $d$ -三角剖分 $(S,M,D)$ 对应的带超势箭图 $(Q,W)$ ， $\mu'_i(Q,W)$ 是 $(S,M,\mu_i(D))$ 对应的带超势箭图。

定理3.5: 存在拟同构 $\Gamma_1 \to \Gamma_2$ ，其中 $\Gamma_1$ 和 $\Gamma_2$ 分别是 $\mu_i(Q,W)$ 和 $\mu'_i(Q,W)$ 对应的Ginzburg代数。

定理3.6: 下图在拟同构意义下可交换：

$(S,M,D)$ ——————————→ $(Q,W)$
    |                     |
   flip                mutation
    ↓                     ↓
$(S,M,\mu_i(D))$ ————→ $\mu_i(Q,W)$

定理4.10: 设 $T$ 是簇倾斜对象， $T_j$ 是其不可分解直和项。如果对应的弧 $j$ 不是自折叠的，则几乎完全 $(d-2)$ -簇倾斜对象 $T/T_j$ 恰好有 $d-1$ 个补对象。