[论文解读] Complexity and module varieties for classical Lie superalgebras

Brian D. Boe, Jonathan R. Kujawa+1 more|ArXiv.org|May 14, 2009

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

一句话总结

本文建立了经典李超代数在 𝔤₀ 上半单的有限维超模 category 𝔽 的基础同调性质。证明了 𝔽 是自内射的（投射与内射超模重合），通过投射分解的多项式增长定义了超模的复杂度，并为 I 型李超代数引入了上同调支撑簇，其可检测投射性并关联到 Duflo–Serganova 关联簇。主要贡献在于证明：对于具有强对偶性的 I 型超代数，倾斜超模与投射超模等价。

ABSTRACT

Let g=g_{0} \oplus g_{1} be a classical Lie superalgebra and F be the category of finite dimensional g-supermodules which are semisimple over g_{0}. In this paper we investigate the homological properties of the category F. In particular we prove that F is self-injective in the sense that all projective supermodules are injective. We also show that all supermodules in F admit a projective resolution with polynomial rate of growth and, hence, one can study complexity in F. If g is a Type I Lie superalgebra we introduce support varieties which detect projectivity and are related to the associated varieties of Duflo and Serganova. If in addition g has a (strong) duality then we prove that the conditions of being tilting or projective are equivalent.

研究动机与目标

• 建立经典李超代数在 𝔤₀ 上半单的有限维超模 category 𝔽 的同调性质。
• 通过投射分解的多项式增长，定义并研究 𝔽 中超模的复杂度。
• 为 I 型李超代数构造上同调支撑簇，其可检测投射性并关联到 Duflo–Serganova 关联簇。
• 证明：对于具有强对偶性的 I 型李超代数，倾斜超模与投射超模等价。

提出的方法

• 证明 𝔽 中每个超模均存在具有多项式增长速率的投射分解，从而可定义复杂度。
• 通过证明所有投射超模均为内射模，证明 category 𝔽 是自内射的。
• 为 I 型李超代数在 𝔤_{±1} 上定义上同调支撑簇 𝒱_{𝔤_{±1}}(M)。
• 建立包含关系 𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M 及等式 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M，将上同调簇与关联簇联系起来。
• 利用超模上的对偶 τ 证明 P(S)^τ ≅ P(S)，从而推出对单模 S 有 P(S) ≅ I(S)。
• 通过特征论证与自同态环计算，证明在假设 dim Hom_{𝔽}(S,S) = 1 下，Cartan 矩阵具有对称性。

实验结果

研究问题

• RQ1 经典李超代数的超模 category 𝔽 是否可通过投射分解的多项式增长，定义出清晰的复杂度概念？
• RQ2 I 型李超代数的上同调支撑簇是否可检测投射性，并与 Duflo–Serganova 关联簇相关联？
• RQ3 在何种条件下，tilting 超模与 category 𝔽 中的投射超模等价？
• RQ4 当 𝔽 中 P(S) ≅ I(T) 时，是否存在一个关于单模 S 与其对应内射模 I(T) 的通用公式？
• RQ5 能否为 𝔽 中的模 M 构造一个支撑簇，使其维数等于 M 的复杂度？

主要发现

• category 𝔽 是自内射的：𝔽 中每个投射超模也是内射的。
• 𝔽 中所有超模均存在具有多项式增长速率的投射分解，从而可定义复杂度 c_{𝔽}(M)。
• 对于 I 型李超代数，上同调支撑簇 𝒱_{𝔤_{±1}}(M) 满足 𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M 且 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M，其中 𝒳_M 为 Duflo–Serganova 关联簇。
• 在具有强对偶性的 I 型李超代数中，一个超模是倾斜模当且仅当它是投射模。
• 当对所有单模 S 有 dim_{ℂ} Hom_{𝔽}(S,S) = 1 时，李超代数的 Cartan 矩阵是对称的。
• 𝔽 中某块的投射生成元的自同态代数同构于一个极限图代数，暗示在某些情形下具有 Koszul 性。