仿射胞代数的渐近代数结构及其嵌入性质研究

《Advances in Mathematics》：Affine cellular algebras and asymptotic algebras

　　

仿射胞代数（affine cellular algebras）A的理论被推广至包含其渐近代数（asymptotic algebras）?，厘清了经典情形与仿射情形之间出乎意料的差异，并与Lusztig的渐近Hecke代数进行了比较。主要新结果涉及A与?之间的双中心化性质（double centraliser property）、由A的胞模（cell modules）构造?、嵌入A→?的存在性、从无挠?-模（torsionless ?-modules）到A-模的忠实函子（faithful functor），以及该嵌入是弱谱保持的（weakly spectrum preserving，在Baum和Nistor意义下），还涉及胞模的非零自同态是单射，而非同构胞模之间不存在非零同态。

研究背景方面，代数Lie理论中大量有限维代数已被证明是胞代数，包括对称群代数及其Hecke代数、经典Schur代数、半单复Lie代数BGG范畴O的块、Temperley-Lieb代数和Brauer代数等。Graham和Lehrer定义的胞代数利用胞基的组合性质来定义和研究胞模，推广了Specht模、Weyl模和Verma模。胞结构允许用有限偏序集参数化单模。随后，胞性的等价定义以双子理想链给出，推动了环论和同调性质的研究。最简单的胞代数是分裂半单的，更一般的准遗传胞代数具有有限整体维数，再进一步则达到无限整体维数。在半单或准遗传情形下，胞链的子商均为幂等理想，而在非准遗传情形下某些子商必然平方为零。为将胞性推广到不一定有限维的代数，仿射胞代数被引入，仿射Hecke代数、KLR代数、仿射Schur代数和仿射Temperley-Lieb代数等均被证明是仿射胞代数。此处存在公共的仿射基环，胞链仍然有限，但每个子商带有自己的仿射交换环，子商作为非幺代数是以此仿射交换代数为基础的广义矩阵环（generalised matrix ring），其矩阵乘法通过插入一个固定的中间第三因子（称为swich矩阵）而变形。单模仍然是有限维的，并由谱来分类。仿射交换环上矩阵环的有限乘积可视为半单胞代数的类比，胞理想的幂等子商产生准遗传情形的类比，这促使Kleshchev定义了分次仿射准遗传代数。在一般情形下，存在许多既非幂等子商也非平方为零的情形，这些情形由swich矩阵的行列式在子商的仿射交换环中（不）是零因子来控制。本文的核心焦点是仿射胞理论的新要素：给定仿射胞代数A，存在一个称为渐近代数?的代数，它是与A的胞链中子商相关联的仿射环上矩阵代数的直和，且存在从A到?的代数同态。若A是有限维胞代数，该同态只有当A是半单且与?重合时才可能是单射。Lusztig以不同方式为有限型或仿射型Hecke代数定义了渐近代数，其渐近代数及Hecke代数到其渐近代数的嵌入在各种应用中非常有用。仿射胞代数的渐近代数的一般理论已被启动并继续发展。本文旨在扩展和深化这一理论，厘清各种应用中的情形，并在相关情形下将Lusztig的渐近代数?与已有定义等同起来。研究人员开展的研究表明：设A是仿射胞代数，具有固定的仿射胞链0=J??J??J??…J?=A，子商J?/J???为广义矩阵代数，其乘法通过添加固定中间因子ψ???（swich矩阵）而变形。设?是A的渐近代数，ι：A→?。有限维胞代数要么是准遗传的（具有最佳性质），等价于有限整体维数，要么非准遗传且等价于无限整体维数。准遗传意味着所有swich矩阵可逆，即其行列式可逆；否则至少某些swich矩阵的行列式为零。对于仿射胞代数，理想情形是swich矩阵不是零因子。在此经常满足的假设下，A与其渐近代数?之间的联系特别紧密。定理A（定理10的特殊情形）表明：若swich矩阵ψ???的行列式（j=1,…,n）均不是零因子，则存在嵌入θ：A→?，由子商(J?/J???)_A的自同态环与广义矩阵环之间的同构显式给出。定理B（定理15）表明：若上述条件成立且所有胞子商在A模低阶仿射胞理想的商代数中是幂等理想，则嵌入θ：A→?诱导从无挠?-模到A-模的完全忠实函子。定理C（定理20）表明：在相同假设下，嵌入θ：A→?是Baum和Nistor意义下的弱谱保持态射，由此可识别两个代数的周期循环同调。定理D（定理12）表明：在相同假设下，A的渐近代数?可构造为A的一组完全胞模的直和的自同态环的中心化代数，特别地A与其渐近代数?之间存在双中心化性质；该性质对于包括?在内的由A的某些胞模直和的自同态环的中心化代数构造的代数族的所有成员也成立。定理E（定理5和推论6的特殊情形）表明：若仿射胞链中的子商是幂等的，其仿射交换环是整环且swich矩阵的行列式非零，则胞模的非零自同态总是单射，且非同构胞模之间不存在非零同态。这些结果与KLR代数有限型的已知结果形成对照和印证。在有限维胞情形下，胞模之间的同态很少是单射的，除自同构外没有非零单射自同态，若不同胞模之间完全没有非零同态，则胞代数必须是半单的。而对于Dynkin型KLR代数，Kleshchev和Steinberg已证明胞模的非零自同态存在且总是单射，但不同胞模之间不存在非零同态；从仿射胞的角度看，这完全不令人惊讶。本文最后转向Lie理论示例，说明新理论中出现的情形，并在各种情形下识别渐近代数和嵌入θ，包括Lusztig研究的经典和仿射Hecke代数。还给出了一个详细计算的小例子，并详细描述了A型扩展仿射Hecke代数的情形。此外，研究人员引用了多种验证上述结果假设（特别是关于swich矩阵行列式）的有用方法，例如Mathas发展的利用Jucys-Murphy元素存在性的方法，可用于计算Gram行列式（在此情形下即swich矩阵的行列式），以及A和?在标量扩张后变得同构（有时称为Lusztig同构）和利用Kazhdan-Lusztig基的性质。研究人员开展研究用到的主要关键技术方法包括：仿射胞代数与仿射胞理想的定义及其胞链结构分析；广义矩阵环与swich矩阵行列式的环论性质研究；渐近代数的构造及其与胞模自同态环的联系；双中心化性质的代数框架；弱谱保持态射的谱理论方法（Baum-Nistor意义下）；Jucys-Murphy元素方法用于计算Gram行列式；Kazhdan-Lusztig基与Lusztig渐近Hecke代数的比较分析。样本队列来源方面，本文为纯代数理论研究，不涉及样本队列。

研究结果方面，第一节引言部分通过回顾胞代数理论的发展脉络，引入了仿射胞代数及其渐近代数的研究动机，明确了本文旨在扩展和深化仿射胞代数渐近代数理论、厘清各种应用情形并将Lusztig渐近代数与已有定义等同起来的研究目标。第二节仿射胞代数的行列式部分，通过回忆仿射胞理想的定义并收集swich矩阵行列式的基本性质，建立了rad(Δ)=0、ψ在M?(B)中不是零因子、det(ψ)在B中不是零因子、ann_A(J)∩J=0、ann_Δ(J)=0以及环同态A→A/J×End(J_A)是单射这六个条件之间的等价关系（引理2），为后续主要结果的假设和证明奠定了基础。第三节仿射胞理想之间的同态部分，通过证明若J是幂等的仿射胞理想则JΔ=Δ且B?End(Δ_A)（引理3），以及关于非平凡同态的环论引理（引理4），建立了定理5：若J?/J???幂等则Hom_A(Δ?,Δ?)=0（j>i）且Δ?的每个自同态是单射当且仅当B?是整环；Hom_A(Δ?,Δ?)=0（j>i）当且仅当det(ψ???)在B?中不是零因子。由此得到推论6：若J?/J???幂等且det(ψ???)不是零因子（对所有i），则Hom_A(Δ?,Δ?)=0（i≠j）；若J?/J???幂等且B?是整环，则Δ?的每个非零自同态是单射。该部分还通过两个显式例子（整数Schur代数S_Z(2,2)和特征二的Schur代数/Sl(2,C)的BGG范畴O主块/Auslander代数）详细说明了相关情形，其中例8展示了det(ψ?1?)=0时Hom_A(Δ?,Δ?)≠0的情形。第四节仿射胞代数的渐近代数部分，通过定义渐近代数?=Md?(B?)×?×Md?(B?)并构造环同态Θ:A→?（定理10），证明了在无swich矩阵行列式为零因子的条件下Θ是嵌入，且对a∈J?′有Θ(a)=(α?(ae?),?,α?(ae?),α?(ā)ψ???,0,…,0)。进而通过证明M=?????Δ?是忠实左A-模、T=End_A(M)=∏????End_A(Δ?)以及左A-模作用诱导的环嵌入λ:A→End(M_T)??（定理12），建立了?作为胞模直和的自同态环的中心化代数的构造，证明了A与?之间的双中心化性质。第五节嵌入的性质部分，通过引入限制函子F:?-Mod→A-Mod并证明引理13（J?′·X=X；kl时无挠情形下Hom_A(F(X),F(Y))=0），建立了定理15：在所有仿射胞理想幂等且swich矩阵行列式非零因子的条件下，嵌入Θ:A→?诱导从无挠?-模到A-模的完全忠实限制函子。通过命题17建立Prim(M?(B))与Prim(M?(B)?)之间的一一对应，命题18证明φ:M?(B)?→M?(B)是谱保持的当且仅当M?(B)?是幂等的，由此得到定理20：嵌入Θ:A→?是弱谱保持的当且仅当所有仿射胞理想J?/J???是幂等的。推论21表明在A是仿射C-代数上有限生成代数的条件下，Θ诱导周期循环同调的同构。第六节例子与方法部分，通过详细计算A?型Hecke代数H的显式例子（6.1节），验证了Lusztig嵌入φ与定理10的嵌入Θ一致；通过A型扩展仿射Hecke代数的情形（6.2节），利用引理23证明φ_c:H_c→B_c是单射且ψ_c不是零因子，并在命题24中证明Lusztig嵌入φ:H→B与定理10的嵌入Θ:H→B重合；通过Gram行列式与Jucys-Murphy元素（6.3节），总结了Mathas的JM元素框架及分离条件下Gram行列式非零的结论，以及Brauer代数、Birman-Murakami-Wenzl代数、A型循环仿射Hecke代数等族Gram行列式的显式计算成果，说明在应用中swich矩阵行列式通常不是零因子。

讨论部分总结了仿射胞代数渐近代数理论的主要贡献：将仿射胞代数A的理论扩展至包含其渐近代数?，厘清了经典与仿射情形之间出乎意料的差异并与Lusztig渐近Hecke代数进行了比较。主要新结果涵盖A与?之间的双中心化性质、由A的胞模构造?、嵌入A→?的存在性、从无挠?-模到A-模的忠实函子、嵌入的弱谱保持性以及胞模非零自同态的単射性和非同构胞模间无非零同态。研究结论部分翻译如下：仿射胞代数A的理论被推广至包含其渐近代数?，厘清了经典情形与仿射情形之间出乎意料的差异，并与Lusztig的渐近Hecke代数进行了比较。主要新结果涉及A与?之间的双中心化性质、由A的胞模构造?、嵌入A→?的存在性、从无挠?-模到A-模的忠实函子，以及该嵌入是弱谱保持的（在Baum和Nistor意义下），还涉及胞模的非零自同态是单射，而非同构胞模之间不存在非零同态。