[论文解读] The Long-Moody construction and polynomial functors

Arthur Soulié|arXiv (Cornell University)|Feb 27, 2017

Geometric and Algebraic Topology参考文献 19被引用 10

一句话总结

本文在辫子群表示的背景下，为Long-Moody构造建立了范畴化的函子框架，引入了从Quillen的辫子群范畴关联到模范畴的函子范畴上的Long-Moody函子。证明了这些函子将非常强多项式函子的次数恰好增加一，提供了一套系统工具用于研究扭曲同调稳定性中的多项式性，并揭示了该构造在捕捉所有酉表示方面的局限性。

ABSTRACT

In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of \\mathbf{B}\\_{n} with a representation of \\mathbf{B}\\_{n+1}. In this paper, we prove that this construction is functorial and can be extended: it inspires endofunctors, called Long-Moody functors, between the category of functors from Quillen's bracket construction associated with the braid groupoid to a module category. Then we study the effect of Long-Moody functors on strong polynomial functors: we prove that they increase by one the degree of very strong polynomiality.

研究动机与目标

• 将Long-Moody构造形式化为从Quillen的辫子群范畴到模范畴的函子范畴上的函子操作。
• 将经典的Long-Moody构造扩展为函子范畴上自函子的一般框架。
• 研究这些函子对强多项式函子和非常强多项式函子的影响，特别是其次数行为。
• 确定Long-Moody构造在实现辫子群所有有限维酉表示方面的局限性。
• 解决关于所有酉表示是否均能通过此类函子实现的开放问题，特别是关于约化与非约化的Burau表示。

提出的方法

• 通过辫子群范畴上的Quillen括号构造定义范畴 $\mathfrak{U}\boldsymbol{\beta}$，其对象为 $\mathbb{N}$，且满足 $\mathrm{Aut}_{\mathfrak{U}\boldsymbol{\beta}}(n) \cong \mathbf{B}_n$。
• 引入一致的态射族 $\{a_n: \mathbf{B}_n \to \mathrm{Aut}(\mathbf{F}_n)\}$ 和 $\{\varsigma_n: \mathbf{F}_n \to \mathbf{B}_{n+1}\}$ 以参数化该构造。
• 在 $\mathbf{Fct}(\mathfrak{U}\boldsymbol{\beta}, \mathbb{K}\textrm{-}\mathfrak{Mod}})$ 上构造一个Long-Moody函子 $\mathbf{LM}_{a,\varsigma}$，作为原始表示层面构造的推广。
• 在预辫子张量范畴的背景下定义强多项式函子与非常强多项式函子，将经典概念扩展至非对称或非辫子设定之外。
• 利用交叉效应与相容性条件刻画多项式函子，并分析其在Long-Moody函子作用下的行为。
• 将构造应用于具体例子，包括Burau表示和 $E_l$ 函子，以分析其像与本质满性。

实验结果

研究问题

• RQ1 能否将Long-Moody构造形式化为从Quillen的范畴到模范畴的函子范畴上的函子？
• RQ2 在辫子群表示的背景下，Long-Moody函子如何影响非常强多项式函子的次数？
• RQ3 Long-Moody函子在非常强多项式函子范畴上是否本质满射，特别是对于编码酉表示的函子？
• RQ4 约化Burau函子能否通过构造的任何修改版本作为Long-Moody函子的像实现？
• RQ5 所有有限维酉表示是否都能通过Long-Moody函子实现，还是存在根本性障碍？

主要发现

• Long-Moody构造被推广为 $\mathbf{Fct}(\mathfrak{U}\boldsymbol{\beta}, \mathbb{K}\textrm{-}\mathfrak{Mod}})$ 上的函子 $\mathbf{LM}_{a,\varsigma}$，证明了其函子性，并将适用范围扩展至单个表示之外。
• Long-Moody函子将非常强多项式函子的次数恰好增加一，确立了精确的次数提升机制。
• 该构造无法实现所有有限维酉表示，因为其像不包含非约化Burau表示，除非 $a_n(\sigma) = \mathrm{id}_n$，而这会导致矛盾。
• Long-Moody函子在任何次数下对非常强多项式函子范畴都不是本质满射，表明其表达能力存在根本局限。
• 约化Burau函子 $\overline{\mathfrak{Bur}}_t$ 无法通过标准Long-Moody构造实现，因其维数不相容，提示需要引入与 $\mathcal{I}_{\mathbf{F}_{n-1}}$ 的张量积的修改版本。