1. 簇代数基础与TCD映射概述
簇代数是Fomin与Zelevinsky在2002年引入的一类特殊交换代数结构，其核心创新点在于放弃了传统的生成元与关系定义方式，转而采用动态生成机制。这种代数结构的构建过程就像生物体的生长繁殖——从一个初始的"种子"出发，通过反复的"突变"操作不断产生新的代数元素。这种独特的生成方式使得簇代数在数学物理、组合几何等领域展现出惊人的应用潜力。
在TCD（三角-圆-三角）映射的语境下，我们需要特别关注平面双二分箭图（PDB quiver）这一特殊类型。这类箭图具有以下关键特征：
- 平面嵌入性：箭图可以无交叉地绘制在平面上
- 双二分性：每个顶点周围的箭头方向严格交替（向内与向外）
- 面着色性：相邻面可以二色染色（不考虑外表面）
这种箭图与BTB（Black-White-Black）图之间存在天然的对偶关系。具体而言，BTB图中的每个内部面对应箭图的一个可变顶点，边界面对应冻结顶点。这种对应关系为后续构建簇结构奠定了基础。
关键提示：在PDB箭图中，突变操作仅允许在度数为4的可变顶点进行。这是因为更高度的顶点突变会破坏PDB性质，而度数低于4的顶点在BTB图中没有对应的几何操作。
2. 箭图突变机制详解
2.1 基本突变操作
对于度数为4的可变顶点v（邻接顶点按顺时针顺序记为v₁→v₂→v₃→v₄），突变操作˜Q = μᵥ(Q)按以下步骤执行：
箭头反转：将所有与v相连的箭头方向反转
- 原方向：v₁→v, v→v₂, v₃→v, v→v₄
- 新方向：v→v₁, v₂→v, v→v₃, v₄→v
新增箭头：添加四条新箭头
- v₁→v₂
- v₁→v₄
- v₃→v₂
- v₃→v₄
简化操作：删除突变过程中产生的任何有向2-循环
这一过程可以通过反对称双线性形式ν来代数化表达。对于顶点对(v₁,v₂)，定义： ν(v₁,v₂) = #{v₁→v₂的箭头} - #{v₂→v₁的箭头}
突变后新形式˜ν的变换规则为： ˜ν(v₁,v₂) =
- -ν(v₁,v₂) 如果v∈{v₁,v₂}
- ν(v₁,v₂) + [ν(v₁,v)⁺ν(v,v₂)⁺ - ν(v₂,v)⁺ν(v,v₁)⁺] 否则 （其中x⁺=max(0,x)）
2.2 X-簇变量的突变规则
每个可变顶点v关联一个X-簇变量Xᵥ∈ℂ*，在突变时按以下规则变换：
˜Xᵥ' =
- Xᵥ⁻¹ 如果v'=v
- Xᵥ'(1+Xᵥ)^{ν(v,v')} 如果ν(v,v')>0
- Xᵥ'(1+Xᵥ⁻¹)^{-ν(v',v)} 如果ν(v',v)>0
- Xᵥ' 其他情况
这一变换规则保证了簇变量的有理变换性质，同时也维持了泊松结构的相容性。从几何角度看，这些X-簇变量定义了代数环面X_Q=(ℂ*)^{Q₀^mut}上的坐标，其突变公式给出了泊松双有理变换映射。
3. 投影簇结构的构建与性质
3.1 投影簇结构的定义
给定BTB图G上的TCD映射T，其投影簇结构Pro(T)=(Q_pro,X)构造如下：
箭图构建：
- 在G的每个内部面放置可变顶点
- 在每个边界面放置冻结顶点
- 对G的每条边，在箭图中绘制其对偶箭头
- 箭头方向规则：绕黑顶点逆时针，绕白顶点顺时针
- 删除产生的有向2-循环
簇变量定义： 对于面f（边界顶点按逆时针顺序b₁,w₁,...,bₘ,wₘ）： X_f = (-1)^{m+1} ∏_{i=1}^m [μ(b_iw_i)/μ(b_iw_{i-1})] （其中μ为边权重，w₀=wₘ）
3.2 几何实现与不变性
投影簇变量具有深刻的几何意义——它们可以表示为多比率(multi-ratio)：
X_f = (-1)^{m+1} mr(T(w₁),T(v₂),T(w₂),...,T(v₁)) = -∏_{i=1}^m λ(T(w_{i-1}),T(w_i),T(v_i))
其中λ表示有向长度比。这种表达直接导出了投影不变性：
关键性质：投影簇变量在射影变换下保持不变。这是因为多比率和有向长度比都是射影不变量。
3.3 图移动与突变对应
BTB图中的两种基本移动与簇突变存在精确对应：
蜘蛛移动 ↔ 箭图突变
- 对应面f处的X变量满足：X̃ = X⁻¹
- 相邻面变量变换如：X̃₁₂/X₁₂ = 1+X
重分裂 ↔ 恒等变换
- 所有投影簇变量保持不变
这种对应关系为理解TCD映射的动力学提供了组合框架。特别地，投影箭图Q_pro决定了原始图G的重分裂等价类。
4. 仿射簇结构的新构建
4.1 仿射簇结构的定义
选择仿射图中的超平面H后，仿射簇结构Aff_H(T)=(Q_aff,Y)构造如下：
箭图构建：
- 每个内部白顶点放置可变顶点
- 每个边界白顶点放置冻结顶点
- 对每个三价黑顶点(邻接w₁→w₂→w₃)，添加箭头： w₁→w₂, w₂→w₃, w₃→w₁
- 添加边界箭头w_{i+1}^∂→w_i^∂
- 删除有向2-循环
簇变量定义： 对于内部白顶点w（邻接黑顶点b₁,...,bₘ，每个b_i的其他邻接点为w_i,w'i）： Y_w = (-1)^{m+1} ∏{i=1}^m [μ(b_iw'_i)/μ(b_iw_i)]
4.2 星比率与仿射不变性
仿射簇变量可以几何表示为星比率(star-ratio)：
Y_w = (-1)^{m+1} sr(T(w);T(w₁),T(w'_₁),...,T(wₘ),T(w'ₘ)) = -∏{i=1}^m λ(T(w_i),T(w'_i),T(w))
其中星比率定义为： sr(P;P₁,P'_₁,...,Pₘ,P'_ₘ) = ∏(P_i-P)/∏(P-P'_i)
关键性质：星比率在仿射变换下保持不变（但非射影不变），这解释了"仿射"簇结构命名的由来。
4.3 图移动的对应关系
与投影结构不同，仿射簇结构中：
重分裂 ↔ 箭图突变
- 在白顶点w₀处：Ỹ_{w₀} = Y_{w₀}⁻¹
- 相邻点如：Ỹ_{w₂}/Y_{w₂} = 1+Y_{w₀}
蜘蛛移动 ↔ 恒等变换
- 所有仿射簇变量保持不变
这种对偶性表明投影结构与仿射结构提供了TCD映射的互补视角。特别地，仿射箭图Q_aff决定了原始图G的蜘蛛移动等价类。
5. 两类簇结构的关系与截面构造
5.1 截面操作的定义
对于1-一般性TCD映射T和通用超平面H，截面σ_H(T)按以下步骤构建：
构建星图⋆(G)：
- 在边界白顶点间添加边界黑顶点
- 每个原始黑顶点b对应白顶点w⋆_b
- 每个G的面f内放置黑顶点b⋆_f
- 连接b⋆_f与面f中的w⋆_b
通过分裂和收缩得到σ(G)：
- 分裂度数>3的黑顶点
- 收缩度数=2的黑顶点
几何实现： σ_H(T)(w⋆) = L(w⋆)∩H 其中L(w⋆)=span{T(w)|f⋆_w与w⋆关联}
5.2 核心对应定理
定理：对于1-一般性TCD映射T和通用超平面H，有： Pro(σ_H(T)) = Aff_H(T)
这一深刻结论通过以下对应实现：
- 箭图层面：σ(G)的投影箭图与原始仿射箭图一致
- 簇变量层面：截面投影簇变量等于原始仿射簇变量
证明的关键在于局部计算：
- 在仿射规范下，选择适当的边权重
- 验证截面构造后VRC提升给出的簇变量匹配
- 利用星比率与多比率的关系建立等式
5.3 几何意义与应用
这一对应关系揭示了：
- 仿射簇结构是投影簇结构在超平面截取下的"影子"
- 两类结构通过截面操作形成高阶对偶
- 为研究TCD映射的模空间提供了统一框架
在应用方面，这种对应关系：
- 简化了仿射簇变量的计算
- 提供了联系可积系统与组合几何的新途径
- 在统计力学模型中可用于构造新的可解模型
6. 技术细节与计算实例
6.1 边权重的规范选择
在实际计算中，适当的规范选择可大幅简化验证过程。对于局部配置（黑顶点b邻接w₁,w₂,w₃）：
在仿射规范下，设： v(w₁) = (1,0), v(w₂) = (0,1), v(w₃) = (-1,-1) 则边权重满足： μ₁v(w₁) + μ₂v(w₂) + μ₃v(w₃) = 0 μ₁ + μ₂ + μ₃ = 0
解得典型选择： μ₁=1, μ₂=1, μ₃=-2
这种选择使得有向长度比计算简化为： λ(T(w₂),T(w₃),T(w₁)) = -μ₃/μ₂
6.2 突变操作的局部验证
以重分裂操作为例，验证仿射簇变量的突变规则：
设初始变量Y_w₀ = -[(1+a⁻¹)(1+b⁻¹)] = ˜Y_w₀⁻¹ 相邻点如Y_w₂的变换： ˜Y_w₂/Y_w₂ = (aΔb)⁻¹ = -(a⁻¹+b⁻¹+a⁻¹b⁻¹) = 1+Y_w₀
这与X-簇变量的突变公式完全一致，证实了重分裂确实对应仿射箭图的突变。
6.3 非平凡示例分析
考虑环形BTB图（边界顶点w₁,...,w₄），内部包含一个度数为4的白顶点w。经过截面操作后：
原始箭图：
- 投影：4个面顶点（3个内部，1个外部）
- 仿射：中心白顶点+4个边界顶点
截面箭图：
- 星图引入4个新白顶点（对应原始黑顶点）
- 收缩后形成"十字形"结构
簇变量关系：
- 原始投影变量X_f ↔ 面多比率
- 仿射变量Y_w ↔ 中心星比率
- 截面后X_f⋆ = Y_w
这一具体例子清晰展示了两类簇结构通过截面建立的等价性。
