2025-11-10T02:57:05.754033

Exceptional sequences and rooted labeled forests

Igusa, Sen

We give a representation-theoretic bijection between rooted labeled forests with $n$ vertices and complete exceptional sequences for the quiver of type $A_n$ with straight orientation. The ascending and descending vertices in the forest correspond to relatively injective and relatively projective objects in the exceptional sequence. We conclude that every object in an exceptional sequence for linearly oriented $A_n$ is either relatively projective or relatively injective or both. We construct a natural action of the extended braid group on rooted labeled forests and show that it agrees with the known action of the braid group on complete exceptional sequences. We also describe the action of $Î$, the Garside element of the braid group, on rooted labeled forests using representation theory and show how this relates to cluster theory.

academic

Exceptional sequences and rooted labeled forests

基本信息

论文ID: 2108.11351
标题: Exceptional sequences and rooted labeled forests
作者: Kiyoshi Igusa, Emre Sen
分类: math.RT (Representation Theory), math.CO (Combinatorics)
发表时间: arXiv preprint, 最新版本2024年12月31日
论文链接: https://arxiv.org/abs/2108.11351

摘要

本文建立了一个表示论双射，将具有 $n$ 个顶点的有根标记森林与线性定向 $A_n$ 型箭图的完全例外序列联系起来。森林中的上升和下降顶点分别对应例外序列中的相对内射和相对投射对象。作者证明了线性定向 $A_n$ 的例外序列中的每个对象都是相对投射的或相对内射的（或两者兼有）。文章构造了扩展辫群在有根标记森林上的自然作用，并证明它与辫群在完全例外序列上的已知作用一致。同时描述了辫群的Garside元素 $\Delta$ 在有根标记森林上的作用，并展示了其与簇理论的关系。

研究背景与动机

问题背景

例外序列的组合解释: 对于Dynkin箭图 $A_n$ 型，存在 $(n+1)^{n-1}$ 个完全例外序列。从组合角度看，这个数量在许多枚举问题中出现，包括非交叉分割的最大链、带标记边的树、循环置换的因式分解等。
表示论性质: 例外序列是代数几何、表示论和组合数学的中心主题。对于遗传代数 $\Lambda$ ，例外序列是刚性不可分解模的序列 $(E_1,\ldots,E_k)$ ，满足 $\text{Hom}_\Lambda(E_j,E_i) = \text{Ext}_\Lambda(E_j,E_i) = 0$ 对所有 $1 \leq i < j \leq k$ 成立。
相对投射性和内射性: 作者关注例外序列中哪些元素可以是相对投射的或相对内射的，这是一个重要的同调性质。

研究动机

本文旨在给出另一种组合解释，具有表示论意义：

通过平面图（有根标记森林）使代数概念清晰可见
建立例外序列与有根标记森林之间的简单一一对应
可视化辫群在例外序列上的作用

核心贡献

主要双射定理: 建立了线性 $A_n$ 箭图的完全例外序列与 $n$ 个顶点的有根标记森林之间的双射关系。
相对投射性和内射性的刻画: 证明了例外序列中的相对投射和相对内射对象在森林中对应于下降和上升顶点。
完全分类结果: 证明了线性定向 $A_n$ 的例外序列中的每个对象都是相对投射的或相对内射的（或两者兼有）。
辫群作用的可视化: 构造了辫群在有根标记森林上的自然作用，并证明它与例外序列上的已知作用一致。
生成函数: 给出了例外序列的三变量生成函数，计算相对投射和相对内射对象的数量。
Garside元素的作用: 详细描述了重要的Garside元素 $\Delta$ 在有根标记森林上的作用及其与簇理论的关系。

方法详解

任务定义

建立线性 $A_n$ 箭图 $Q: 1 \to 2 \to \cdots \to n$ 的完全例外序列与 $n$ 个顶点的有根标记森林之间的双射。

核心构造

1. 从例外序列到森林（Hasse图）

给定完全例外序列 $E^* = (E_1,\ldots,E_n)$ ，在集合 $\{v_1,v_2,\ldots,v_n\}$ 上定义偏序关系： $v_i < v_j \text{ 当且仅当 } E_i\text{的支撑包含在}E_j\text{的支撑中}$

定理1.13: 这个偏序的Hasse图是有根标记森林，反之每个有根标记森林唯一确定一个例外序列。

2. 从森林到例外序列（递归构造）

对于有根标记森林 $F$ ：

设 $v_r$ 是根， $v_{i_1},\ldots,v_{i_k}$ 是其子节点
将标号排序为 $i_1 < \cdots < i_p < r < i_{p+1} < \cdots < i_k$
分配模 $E_r := M_{1n}$ ，并构造滤链得到子序列

关键性质:

每个 $E_i$ 的长度等于 $v_i$ 的权重（子树大小）
支撑包含关系对应森林中的偏序关系

技术创新点

1. 非交叉性质

引理1.3: 例外序列中两个对象的支撑区间要么不相交，要么一个包含另一个（非交叉性质）。

2. 相对投射性和内射性的刻画

定理1.21:

$E_i$ 既是相对投射又是相对内射 ⟺ $v_i$ 是森林的根
对于非根 $v_i$ $v_{i}$ ，设 $v_j$ $v_{j}$ 是其父节点，则：
- $E_i$ 是相对投射 ⟺ $i < j$ （下降顶点）
- $E_i$ 是相对内射 ⟺ $i > j$ （上升顶点）

3. 辫群作用

定义 $\sigma_i$ 在森林上的作用：

情况0: $v_i,v_{i+1}$ 不相近时，仅交换标号
情况1: $v_i$ 是 $v_{i+1}$ 的父节点时的变换
情况2: $v_i$ 是 $v_{i+1}$ 的子节点时的变换
情况3: $v_i,v_{i+1}$ 是兄弟节点时的变换

实验设置

理论验证

文章主要是理论工作，通过以下方式验证：

小例子验证:
- $A_2$ 情形：3个森林被 $\sigma_1$ 循环排列
- $A_3$ 情形：16个森林的辫群作用图示
生成函数验证:
- $A_3$ 情形： $P_{A_3}(a,b,c) = 2a^2c + 2b^2c + 5abc + 3ac^2 + 3bc^2 + c^3$
与已知结果比较:
- 与弦图构造的比较（Goulden-Yong）
- 与停车函数的比较