[论文解读] 2-Auslander algebras associated with reduced words in Coxeter groups

Osamu Iyama, Idun Reiten|arXiv (Cornell University)|Feb 17, 2010

Algebraic structures and combinatorial models参考文献 20被引用 5

一句话总结

本文研究了在柯克斯eter群的约化字中，由稳定2-卡拉比-丘范畴 Sub Λw 中的标准簇丛倾斜对象导出的2-Auslander代数。证明了这些代数是强拟旗的，通过挠模识别其Ringel对偶，并建立了 Sub Λw 与端同态代数上良好模类之间的对偶性。关键结果表明，通过约化解 w = uv 的子因子范畴嵌入，标准簇丛倾斜对象及其挠模位于簇丛倾斜图的同一连通分支中。

ABSTRACT

In this paper we investigate the endomorphism algebras of standard cluster tilting objects in the stably 2-Calabi-Yau categories $\Sub{Λ_w}$ with elements $w$ in Coxeter groups in \cite{BIRSc}. They are examples of the 2-Auslander algebras introduced in \cite{I1}. Generalizing work in \cite{GLS1} we show that they are quasihereditary, even strongly quasihereditary in the sense of \cite{R}. We also describe the cluster tilting object giving rise to the Ringel dual, and prove that there is a duality between $\Sub{Λ_w}$ and the category $\mathcal{F}(Δ)$ of good modules over the quasihereditary algebra. When $w = uv$ is a reduced word, we show that the 2-Calabi-Yau triangulated category $\underline{\Sub}Λ_v$ is equivalent to a specific subfactor category of $\underline{\Sub}Λ_w.$ This is applied to show that a standard cluster tilting object $M$ in $\Sub{Λ_w}$ and the cluster tilting object $Λ_w\oplusΩ{M}$ lie in the same component in the cluster tilting graph.

研究动机与目标

• 研究柯克斯eter群中约化解 w 的 Sub Λw 中，标准簇丛倾斜对象的端同态环作为2-Auslander代数的结构。
• 证明这些2-Auslander代数是强拟旗的，推广先前对可适应字的结果。
• 将此类代数的Ringel对偶识别为 EndΛw(eΩM)，其中 eΩM = Λw ⊕ ΩM。
• 在端同态代数上建立 Sub Λw 与具有良好滤子的模类 F(∆) 之间的对偶性。
• 通过约化解 w = uv 的子因子范畴构造，证明标准簇丛倾斜对象 M 及其挠模 ΩM 位于簇丛倾斜图的同一连通分支中。

提出的方法

• 从与柯克斯eter群元素相关的预投射代数的商代数构造范畴 Sub Λw，使其成为具有稳定2-卡拉比-丘结构的Frobenius范畴。
• 利用文献[15]中的通用构造，当 w = uv 为约化解时，将范畴 Sub Λv 嵌入 Sub Λw，诱导到 Sub Λw 的子因子范畴的三角范畴等价。
• 在2-卡拉比-丘范畴中应用变异理论，关联 Sub Λw 与 Sub Λv 中的簇丛倾斜对象，特别关注挠模的行为。
• 运用箭图变异技术和模结构分析，追踪变异下簇丛倾斜对象的变化，特别是约化解中重复索引对应的顶点。
• 通过归纳法和预投射代数中理想结构，证明从 Mw 到 Ii1 ⊗Λ Mv 的变异序列保持所需的模结构。
• 利用 Sub Λw 与 F(∆) 之间的对偶性，将簇丛倾斜图的结构与拟旗端同态代数的表示理论联系起来。

实验结果

研究问题

• RQ1 在柯克斯eter群的约化解中，Sub Λw 中标准簇丛倾斜对象的端同态代数是否为强拟旗的？
• RQ2 此类2-Auslander代数的Ringel对偶是什么？它在范畴 Sub Λw 中如何实现？
• RQ3 能否通过变异将簇丛倾斜对象与其挠模关联，从而证明 Sub Λw 的簇丛倾斜图是连通的？
• RQ4 文献[15]中的子因子范畴构造如何应用于约化解 w = uv 时 Sub Λv 到 Sub Λw 的嵌入？
• RQ5 Sub Λw 与标准簇丛倾斜对象的端同态代数上良好模类 F(∆) 之间是否存在范畴对偶性？

主要发现

• 标准簇丛倾斜对象 M 在 Sub Λw 中的端同态代数 EndΛw(M) 是强拟旗的，推广了先前对可适应字的结果。
• EndΛw(M) 的Ringel对偶实现为 EndΛw(eΩM)，其中 eΩM = Λw ⊕ ΩM，且 ΩM 是 M 的挠模。
• 存在 Sub Λw 与 EndΛw(M) 上具有良好滤子的模类 F(∆) 之间的对偶性。
• 对于约化解 w = uv，通过构造将范畴 Sub Λv 嵌入 Sub Λw，该构造诱导出 Sub Λw 的子因子范畴的三角范畴等价。
• 从标准簇丛倾斜对象 Mw 到 Sub Λw 中的 Ii1 ⊗Λ Mv，再进一步到 Ii1 ⊗Λ eΩΛvMv，存在一序列变异，建立了连通性。
• 因此，标准簇丛倾斜对象 Mw 及其挠模 ΩΛwMw 位于 Sub Λw 的簇丛倾斜图的同一连通分支中。