2025-11-13T08:13:10.958716

Pure symmetric automorphisms, extensions of RAAGs, and Koszulness

MartÃnez-PÃ©rez, MendonÃ§a

We characterize in terms of a combinatorial condition on the graph $Î$ when the group $\mathrm{PAut}(A_Î)$ of pure symmetric automorphisms of the RAAG $A_Î$ and its outer version $\mathrm{POut}(A_Î)$ have a descending central Lie algebra which is Koszul. To do that, we prove that our combinatorial condition implies that these groups are iterated extensions of RAAGs; in particular, they are poly-free. On the other hand, we show that $\mathrm{PAut}(F_n)$ is not poly-finitely generated free for $n \geq 4$. We also show that groups in a certain class containing $\mathrm{PAut}(A_Î)$ are 1-formal.

academic

Pure symmetric automorphisms, extensions of RAAGs, and Koszulness

基本信息

论文ID: 2510.13038
标题: Pure symmetric automorphisms, extensions of RAAGs, and Koszulness
作者: Conchita Martínez-Pérez, Luis Mendonça
分类: math.GR (群论), math.RA (环与代数)
发表时间: 2025年10月14日
论文链接: https://arxiv.org/abs/2510.13038

摘要

本文通过图Γ上的组合条件来刻画右角阿廷群(RAAG) $A_Γ$ 的纯对称自同构群 $\mathrm{PAut}(A_Γ)$ 及其外版本 $\mathrm{POut}(A_Γ)$ 何时具有Koszul的下中心李代数。为此，作者证明了他们的组合条件蕴含这些群是RAAG的迭代扩张；特别地，它们是poly-free的。另一方面，作者证明了对于 $n \geq 4$ ， $\mathrm{PAut}(F_n)$ 不是poly-有限生成自由群。文章还证明了包含 $\mathrm{PAut}(A_Γ)$ 的某一类群是1-formal的。

研究背景与动机

问题背景

右角阿廷群(RAAGs)是由图的组合结构定义的重要群类，其纯对称自同构群 $\mathrm{PAut}(A_Γ)$ 是由将每个标准生成元 $v \in Γ$ 映射到其共轭 $v^g$ 的自同构组成的子群。这些群在几何群论中占据重要地位，特别是在理解自同构群的结构方面。

研究动机

Koszul性质的重要性: Koszul代数具有良好的同调性质，其包络代数有线性分次投射分解，这是经典的同调"好性质"条件。
RAAG理论的发展: Froberg证明了RAAG对应的李代数是Koszul的，这为研究更一般的自同构群提供了基础。
结构理论的需求: 理解纯对称自同构群的结构，特别是它们何时具有类似RAAG的性质。

现有研究的局限

Koban和Piggott证明了 $\mathrm{PAut}(A_Γ)$ 同构于RAAG当且仅当Γ没有SIL-对，但这只是特殊情况。
Conner和Goetz的结果表明 $\mathrm{gr}_•(\mathrm{PAut}(F_n))$ 是Koszul的当且仅当 $n \leq 3$ ，但缺乏一般性刻画。

核心贡献

主要定理A: 刻画了 $\mathrm{gr}_•(\mathrm{PAut}(A_Γ))$ 是Koszul的充分必要条件为图Γ满足条件(*)
1-形式性定理B: 证明了 $\mathrm{PAut}(A_Γ)$ 和 $\mathrm{POut}(A_Γ)$ 是1-formal的，并给出了具体的李代数表示
结构定理C和D: 在条件(*)下，这些群承认以RAAG为因子的次正规级数，因此是poly-RAAG的
否定结果定理E: 证明了对于 $n \geq 4$ ， $\mathrm{PAut}(F_n)$ 不是poly-有限生成自由群

方法详解

核心技术条件

条件(*): 图Γ不包含四个两两不相邻的顶点 $v_1, v_2, v_3, v_4 \in Γ$ ，使得它们位于 $Γ \setminus \bigcap_{i=1}^4 \mathrm{lk}(v_i)$ 的四个不同连通分支中。

这里 $\mathrm{lk}(v_i)$ 表示顶点 $v_i$ 在Γ中的链。

主要技术方法

1. 形式性理论的应用

作者使用Malcev完备化理论，证明了以下关键结果：

定理2.1: 设群G承认有限表示，生成元集合为X，关系子为形如 $[x_1 \cdots x_m, y_1 \cdots y_n]$ 的交换子，其中 $x_i, y_i \in X$ 。如果满足特定条件，则G是1-formal的。

这使得可以通过群的表示直接获得其分次李代数的表示。

2. Day-Wade相对自同构理论

利用Day和Wade发展的RAAG相对自同构理论，构造次正规级数： $1 = N_0 \triangleleft N_1 \triangleleft \cdots \triangleleft N_t = \mathrm{POut}(A_Γ,\mathcal{G},\mathcal{H}^t)$

在条件(*)下，每个因子 $N_i/N_{i-1}$ 都是RAAG。

3. Fouxe-Rabinovitch群的分析

对于自由积分解 $S = G_1 \star \cdots \star G_m$ ，外Fouxe-Rabinovitch群为：

$m = 2$ 时： $\mathrm{OFR}(G_1 \star G_2) = \mathrm{Inn}(G_1) \times \mathrm{Inn}(G_2)$
$m = 3$ 时： $\mathrm{OFR}(G_1 \star G_2 \star G_3) = Z \rtimes H$ ，其中 $H$ 在 $Z/Z'$ 上平凡作用