[论文解读] Topological actions of Temperley-Lieb algebras and Representation Stability

Maithreya Sitaraman|arXiv (Cornell University)|Aug 21, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 4

一句话总结

本文引入了在 δ=1 時 Temperley-Lieb 半群的拓扑作用，並建立了 filtration-穩定的 TLn-空間序列與表示穩定的同調群之間的對應關係。透過對這些空間的同調進行自然過濾分析，作者證明了同調群的表示結構由標準模控制，並表明透過過濾定義的拓撲穩定性，可推出表示穩定性，類似於配置空間同調中的 FI-模穩定性。

ABSTRACT

We consider the Temperley-Lieb algebras $ extrm{TL}_n(δ)$ at $δ= 1$. Since $δ= 1$, we can consider the multiplicative monoid structure and ask how this monoid acts on topological spaces. Given a monoid action on a topological space, we get an algebra action on each homology group. The main theorem of this paper explicitly deduces the representation structure of the homology groups in terms of a natural filtration associated with our $ extrm{TL}_n$-space. As a corollary of this result, we are able to study stability phenomena. There is a natural way to define representation stability in the context of $ extrm{TL}_n(1)$, and the presence of filtrations enables us to define a notion of topological stability. We are able to deduce that a filtration-stable sequence of $ extrm{TL}_n$-spaces results in representation-stable sequence of homology groups. This can be thought of as the analogue of the statement that the homology of configuration spaces forms a finitely generated $ extrm{FI}$-module.

研究动机与目标

• . 本文旨在定義並研究 Temperley-Lieb 代數在 δ=1 時的表示穩定性。
• . 探討 Temperley-Lieb 半群 TLn(1) 的拓撲作用如何在同調群上誘導代數作用。
• . 目標在於建立透過重收縮過濾定義的拓撲穩定性與同調中表示穩定性之間的連結。
• . 作者試圖透過在 TLn-空間上構造自然過濾，將 FI-模框架推廣至 TLn(1)。
• . 目標在於證明 filtration-穩定的 TLn-空間序列會產生表示穩定的同調群，類比於配置空間同調的 FI-模穩定性。

提出的方法

• . 本文將 Temperley-Lieb 半群 TLn(1) 的拓撲作用定義為從 TLn 到拓撲空間 X 上連續自映射空間的連續映射。
• . 透過重收縮引入 TLn-空間上的自然過濾，其中每個過濾層級對應於圖示作用中的交叉數。
• . 作者分析 Hk(X) 作為 TLn-表示的同調群，專注於平凡不變量 (Hk(X)TLn = 0) 成立的情況。
• . 使用標準表示 Vn,p 的結構以及由 p-交叉生成的循環模，將同調群分解。
• . 一個關鍵技術是利用 LS-模結構（由包含系統誘導）來研究同調群的表示類型。
• . 證明依賴於對過濾的構造性分析，以及將 Hk(X) 分解為標準模，特別是在平凡不變量假設下。

实验结果

研究问题

• RQ1 . 如何在 Temperley-Lieb 代數於 δ=1 的背景下定義表示穩定性？
• RQ2 . 拓撲穩定性（透過重收縮過濾定義）與同調群的表示穩定性之間的關係為何？
• RQ3 . 是否能明確描述 TLn-空間的同調群作為 TLn(1) 的表示？
• RQ4 . 在何種條件下，TLn-空間的 filtration-穩定序列會導致同調群的表示穩定序列？
• RQ5 . 是否存在結構性原因，使得當 Hk(X)TLn = 0 時，僅標準表示 Vn,p 出現在 Hk(X) 的非平凡部分中？

主要发现

• . 對於具有平凡不變量 (Hk(X)TLn = 0) 的 TLn-空間 X，Hk(X) 的表示結構可完全由其過濾恢復。
• . 當 k > 1 時，Hk(Xn) · [Vn,1] = 0；當 k = 1 時，Hk(Xn) · [Vn,1] = Vn,2，顯示同調受標準模控制。
• . 若一組 TLn-空間的過濾穩定，則其為拓撲穩定，且這意味著同調群的表示穩定性。
• . 家族 {H1(Xn) · [Vn,1]}n≥2 構成一個有限生成的 LS-模，同構於 {Vn,2}n≥2，展現出穩定結構。
• . 當 Hk(X)TLn = 0 時，同調群 Hk(Xn) 可分解為 Vn,2 ⊕ (Vn,1)⊕(cn−dn,2)，且此分解受過濾控制。
• . 本文表明，平凡不變量的假設至關重要：若無此假設，即使商模穩定，Hk(Xn) 也可能無法作為 LS-模有限生成。