[論文レビュー] The Long-Moody construction and polynomial functors

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

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

ひとこと要約

本稿は、ブレード群表現の文脈において、Long-Moody構成のファンクター的枠組みを確立し、ブレード群のモノイド的圏から加群圏へのファンクターの圏へのLong-Moodyファンクターを導入する。これらのファンクターが非常に強い多項式ファンクターの次数を丁度1つ増加させることを証明し、ねじれホモロジー安定性における多項式性を系統立てて研究するための道具を提供するとともに、構成がすべてのユニタリ表現を捉える能力に限界があることを明らかにする。

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.

研究の動機と目的

• Quillenのブレード群の圏から加群圏へのファンクターの圏へのLong-Moody構成をファンクター的演算として形式化すること。
• 古典的なLong-Moody構成をファンクター圏上の自己ファンクターの一般枠組みへと拡張すること。
• これらのファンクターが非常に強い多項式ファンクターに与える影響、特に次数の挙動を調査すること。
• Long-Moody構成がブレード群の有限次元ユニタリ表現をすべて実現できるかという限界を特定すること。
• すべてのユニタリ表現がこのようなファンクターから生じるかという未解決問題に取り組むこと、特に縮小版および非縮小版Burau表現に関して。

提案手法

• ブレード群のモノイド的圏をQuillenの括弧構成により定義する圏 $\mathfrak{U}\boldsymbol{\beta}$ を定義し、対象は $\mathbb{N}$ であり、$\mathrm{Aut}_{\mathfrak{U}\boldsymbol{\beta}}(n) \cong \mathbf{B}_n$ である。
• 構成をパrameter化するための整合的な射の族 $\{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ファンクターは非常に強い多項式ファンクターの次数を丁度1つ増加させることを示し、明確な次数上昇メカニズムを確立した。
• 構成はすべての有限次元ユニタリ表現を実現できないことが示された。具体的には、ファンクターの像が非縮小Burau表現を含まないことが判明し、これは $a_n(\sigma) = \mathrm{id}_n$ のときにしか成立せず、矛盾を引き起こす。
• Long-Moodyファンクターは、任意の次数において非常に強い多項式ファンクターの圏上で本質的に全射的でないため、その表現力に根本的な限界があることが示された。
• 縮小Burauファンクター $\overline{\mathfrak{Bur}}_t$ は、次元の不一致のため、標準的なLong-Moody構成では得られない。これは、$\mathcal{I}_{\mathbf{F}_{n-1}}$ とのテンソル積を含む修正版が必要であることを示唆している。