[论文解读] Twisted symplectic reflection algebras

Tatyana Chmutova|ArXiv.org|May 30, 2005

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

一句话总结

本文引入了非忠实群作用下的扭曲辛反射代数（SRAs），推广了Etingof与Ginzburg原始构造。它建立了非忠实作用下扭曲SRAs的表示范畴与商群上忠实作用下扭曲SRAs表示范畴之间的范畴等价，表明即使从平凡的2-上循环出发，还原过程中也可能出现非平凡的上循环，从而将SRAs的表示理论扩展至非单射群作用的情形。

ABSTRACT

In this paper we introduce the notion of twisted symplectic reflection algebras and describe the category of representations of such an algebra associated to a non-faithful G-action in terms of those for faithful actions of G.

研究动机与目标

• 将辛反射代数推广至群作用在辛向量空间上未必单射的情形。
• 通过项目表示和2-上循环定义并研究扭曲辛反射代数。
• 通过范畴等价关系，将非忠实作用的表示理论约化为忠实作用的表示理论。
• 表明即使从平凡上循环出发，还原过程中仍可能产生非平凡上循环。
• 建立非忠实作用下扭曲SRAs的表示与商群上忠实作用下扭曲SRAs表示之间的对应关系。

提出的方法

• 通过2-上循环ψ: G×G → ℂ*引入扭曲群代数ℂψG，定义乘法g1∘ψg2 = ψ(g1,g2)g1g2。
• 将g ∈ G定义为ψ-正则元素，若对所有属于g的中心化子的h，均有ψ(g,h) = ψ(h,g)。
• 利用扭曲群代数的表示范畴，通过模范畴等价构造一个函子F，将ℋ_c(G,U,ψ)的表示映射到ℋ_c'(H,U,ζ)的表示。
• 应用张量范畴理论与项目表示的特征标理论，关联扭曲特征标与共轭类。
• 通过提升U-作用并利用ψ-正则元素的中心化子结构，建立ℋ_c(G,U,ψ)-mod与ℋ_c'(H,U,ζ)-mod之间的范畴等价。
• 通过在原像上取平均定义扭曲参数c'：c'(C_i^j) = (α(C_i^j)/(α(e)|C_i^j|)) × ∑_{π(𝓒)=C_i} c(𝓒)|𝓒|，以确保SRA关系的相容性。

实验结果

研究问题

• RQ1 如何将辛反射代数推广至群作用非单射的情形？
• RQ2 在将非忠实作用约化为忠实作用时，上循环结构会发生什么变化？
• RQ3 非忠实作用下扭曲SRAs的表示范畴能否用忠实作用来描述？
• RQ4 在何种条件下，平凡上循环会在约化后产生非平凡上循环？
• RQ5 在项目表示的背景下，扭曲特征标与ψ-正则共轭类之间有何关系？

主要发现

• 非忠实G-作用下扭曲辛反射代数的表示范畴，与商群H上忠实H-作用下扭曲SRAs的表示范畴之间存在范畴等价，其中H是G的商群。
• 即使原始上循环ψ为平凡，约化后的代数仍可能携带非平凡上循环ζ，表明非平凡性可在约化过程中产生。
• 约化代数中的参数c'通过在映射到商群中类C_i的ψ-正则共轭类𝓒上对c(𝓒)取平均来定义，确保SRA关系的相容性。
• 函子F: ℋ_c(G,U,ψ)-mod → ℋ_c'(H,U,ζ)-mod是范畴等价，保持U-作用，并在模之间诱导对应关系。
• ℂψG的不可约表示数目等于ψ-正则共轭类的数目，且当限制在反射上时，这些类在约化映射下保持不变。
• 对于广义对称群G = S_n ⋉ (ℤ/mℤ)^n，当m为偶数且n ≥ 3时，Schur上同调群H^2(G,ℂ*)非平凡，导致非平凡上循环，从而影响扭曲SRAs的结构。