[论文解读] Tilting Modules for the Symplectic Blob Algebra

Andrew Reeves|arXiv (Cornell University)|Nov 1, 2011

Algebraic structures and combinatorial models参考文献 11被引用 7

一句话总结

本文证明了当广义辛扭结代数 $b'_{n}$ 为拟赫尔德代数时，其张量空间模 $\

ABSTRACT

Let $\Field$ be an algebraically closed field. For $n \in \mathbb{N}$ and $δ, δ_L, δ_R, κ_L, κ_R, κ\in \Field$, the symplectic blob algebra $\sba(δ, δ_L, δ_R, κ_L, κ_R, κ)$ is a finite dimensional non-commutative $\Field$-algebra that may be viewed as an extension of the Temperley-Lieb algebra. In a previous paper, we defined, for any $n \in \mathbb{N}$, a tensor space module $ ensor[_\sba]{\mathcal{V}(n)}{}$. In this paper we generalise an argument used by Martin and Ryom-Hansen in their study of the (ordinary) blob algebra to show that when $\sba$ is quasihereditary the module $ ensor[_\sba]{\mathcal{V}(n)}{}$ is full-tilting.

研究动机与目标

• 为广义辛扭结代数 $b'_{n}$ 构造一个全倾斜模，该代数是 Temperley-Lieb 代数和扭结代数的拟赫尔德扩张。
• 将 Martin 和 Ryom-Hansen 对普通扭结代数的论证推广至辛几何情形。
• 通过证明伴随映射 $\psi_n$ 的单射性，确立张量空间模 $\mathcal{V}(n)$ 为全倾斜模。
• 证明 $\mathcal{V}(n)$ 可分解为排列模 $M_n(r)$，且该分解与局部化函子 $F_e$ 和 $F_f$ 相容。
• 证明 $\mathcal{V}(n)$ 包含所有不可约倾斜模作为直和项，从而确认其为全倾斜模。

提出的方法

• 使用与生成元 $e$ 和 $f$ 相关的局部化函子 $F_e, F_f: b'_n\text{-mod} \to b'_{n-1}\text{-mod}$，将 $\mathcal{V}(n)$ 与 $\mathcal{V}(n-1)$ 关联起来。
• 通过命题 4.15 证明 $F_e(\mathcal{V}(n)) \cong F_f(\mathcal{V}(n)) \cong \mathcal{V}(n-1)$。
• 通过命题 4.18 证明：若伴随映射 $\psi_n: (G_e \circ F_e)(\mathcal{V}(n)) \to \mathcal{V}(n)$ 为单射，则 $\mathcal{V}(n)$ 为倾斜模。
• 利用组合序列与切比雪夫多项式分析 $\mathcal{V}(n)$ 的结构，特别是定义 5.2 中定义的序列 $v(r)$。
• 利用分解 $\mathcal{V}(n) = \bigoplus_r M_n(r)$，并证明 $M_n(2n) \cong T_n(-n)$，从而将排列模与倾斜模联系起来。
• 通过归纳法和标准滤子结构，证明 $\mathcal{V}(n)$ 为全倾斜模，即所有 $T_n(\lambda)$ 均为其直和项。

实验结果

研究问题

• RQ1 当广义辛扭结代数 $b'_n$ 为拟赫尔德代数时，其张量空间模 $\mathcal{V}(n)$ 是否构成全倾斜模？
• RQ2 能否确立伴随映射 $\psi_n$ 的单射性，以确认 $\mathcal{V}(n)$ 为倾斜模？
• RQ3 局部化函子 $F_e$ 和 $F_f$ 如何与 $\mathcal{V}(n)$ 到排列模 $M_n(r)$ 的分解相互作用？
• RQ4 能否在广义辛扭结代数中给出标准模重数 $(M_n(r) : \Delta_n(\lambda))$ 的组合描述？
• RQ5 能否通过自同态代数 $\operatorname{End}_{b'_n}(\mathcal{V}(n))$ 理解 $b'_n$ 的 Ringel 对偶？

主要发现

• 张量空间模 $\mathcal{V}(n)$ 对所有 $n \in \mathbb{N}$ 均为 $b'_n$-代数的全倾斜模，如定理 5.11 所证。
• 伴随映射 $\psi_n: (G_e \circ F_e)(\mathcal{V}(n)) \to \mathcal{V}(n)$ 对所有 $n$ 均为单射，这是证明其为倾斜模的关键步骤。
• 局部化函子满足 $F_e(\mathcal{V}(n)) \cong F_f(\mathcal{V}(n)) \cong \mathcal{V}(n-1)$，从而支持归纳论证。
• 排列模 $M_n(2n)$ 同构于倾斜模 $T_n(-n)$，将 $\mathcal{V}(n)$ 的分解与倾斜模联系起来。
• 标准滤子重数 $(\mathcal{V}(n) : \Delta_n(\lambda))$ 由一个与第二类切比雪夫多项式相关的序列 $v(r)$ 给出。
• 模 $\mathcal{V}(n)$ 包含所有不可约倾斜模 $T_n(\lambda)$ 作为直和项，从而确认其为全倾斜模。