自由单值 Hecke 范畴及其范畴迹

本文的目标是给出 Yun 所定义的自由单值范畴的一个新构造。随后，我们利用这一形式体系给出自由单值 Hecke 范畴的更简单构造，并计算其上的 Frobenius 迹与恒等迹。作为该形式体系的第一个应用，我们给出了 Deligne--Lusztig 理论中关键定理的新证明。