模组一致Springer理论与有限群的范畴Langlands

本文预印本发展了一个“相干Springer → 范畴Langlands”的桥梁，适用于李类型的有限群，围绕三个公理的Langlands生成器包（LG1–LG3）组织：通过一个相干的Springer层SG紧凑地产生IndCoh₍₈₋₏ (Par ₆)，将其自同构代数与群代数进行鉴定（在相当好的范围内），以及对角共代数结构与Hopf共乘法的兼容性。该框架在进行Drinfeld中心后产生了单元积分转换等价关系及相应的鉴定，关联了D (kG) 模块与IndCoh (Comm ₆)。本文包括（i）针对类型A的详细构造（特别是G=GLₙ (Fq)，q）以及（ii）在3的特定条件下第一个非类型A案例研究G=Sp₄ (Fq)，证明了一种t-精确的光谱识别，它通过经典的组装（AHJR，BZCHN，Rider–Russell，BFO）和通过Kato的奇异零化锥的独立途径交织了块分解（7个简单模跨越2个块）。一般理论陈述以明确的依赖图编写：在相当好的范围之外，只有模端同构鉴定（LG2）被视为有条件的，而生成器（LG1）和Hopf-对角兼容性（LG3）在本文的逻辑顺序中被表述为无条件的。