[论文解读] Exact sequences, lower central series and representations of surface braid groups

Paolo Bellingeri, Eddy Godelle+1 more|arXiv (Cornell University)|Jun 24, 2011

Geometric and Algebraic Topology参考文献 29被引用 8

一句话总结

本文利用完全代数化的框架，通过恰当序列与下中央列，构建并扩展了曲面辫子群的线性表示，特别是推广了Bigelow-Krammer-Lawrence表示。研究证明，通过下中央列的Γ₃级构造表示扩展，可得到唯一且同构的扩展，为An与Ko以及Blanchet近期的构造提供了结构性解释。

ABSTRACT

We consider exact sequences and lower central series of surface braid groups and we explain how they can prove to be useful for obtaining representations for surface braid groups. In particular, using a completely algebraic framework, we describe the notion of extension of a representation introduced and studied recently by An and Ko and independently by Blanchet.

研究动机与目标

• 展示如何利用曲面辫子群的恰当序列与下中央列，系统地构造线性表示。
• 为An与Ko近期提出的表示扩展方法（独立地由Blanchet提出）提供代数解释。
• 证明曲面辫子群的Bigelow-Krammer-Lawrence表示在下中央列的Γ₃级上可唯一扩展，且同构。
• 研究曲面辫子群上长度函数扩展的存在性与唯一性，区分有边界与无边界的曲面。

提出的方法

• 利用曲面辫子群的短恰当序列及其在下中央列商群上的诱导序列。
• 应用下中央列（Γᵢ(G)）的结构，分析具有一个边界分量的可定向曲面上辫子群的商群G/Γ₃(G)。
• 推导出G/Γ₃(G)作为自由交换群半直积的群表示，从而实现对表示扩展的代数控制。
• 建立扩展表示构造与下中央列Γ₃级之间的对应关系，证明其唯一性（至同构）。
• 在代数框架内应用“表示扩展”的概念，推广了经典辫子群表示中使用的方法。
• 分析混合辫子群序列的分裂行为及其在纯辫子群上的限制，表明一般不会出现几乎直积结构。

实验结果

研究问题

• RQ1 能否利用恰当序列与下中央列等代数结构，形式化曲面辫子群扩展线性表示的构造？
• RQ2 为何Γ₂级构造在曲面情形下无法扩展Bigelow-Krammer-Lawrence表示？下中央列的哪一级可实现此类扩展？
• RQ3 An与Ko及Blanchet提出的表示扩展是否由曲面辫子群的代数结构唯一确定？
• RQ4 经典辫子群上的标准长度函数能否扩展为曲面辫子群上的同态？在何种拓扑条件下可能实现？
• RQ5 在何种条件下，曲面辫子群的短恰当序列（混合与纯）会具有几乎直积结构？

主要发现

• 对于具有一个边界分量的紧致可定向曲面的辫子群G，商群G/Γ₃(G)是自由交换群的半直积，且给出了明确的群表示。
• 通过下中央列的Γ₃级构造扩展表示，可得到唯一（至同构）的扩展，如定义5.2所形式化。
• 如命题5.4所示，下中央列的Γ₂级不支持曲面辫子群上Bigelow-Krammer-Lawrence表示的扩展。
• 如命题5.10所证明，经典辫子群Bₙ上的标准长度函数可唯一扩展为具有一个边界分量的正亏格曲面辫子群上的同态。
• 如命题5.11所确立，对于闭的可定向曲面，不存在此类长度函数的扩展。
• 即使原始序列分裂，混合曲面辫子群序列在限制到纯辫子群时，也不会产生几乎直积结构，原因在于核的阿贝尔化上存在非平凡作用。