范異化 Heisenberg 作用 I：有理 Cherednik 代数

本文介绍并研究了正部分 Heisenberg Lie 代数作用于与对称群相关联的有理 Cherednik 代数模范畴上的范畴化作用。我们证明了该作用的生成函数是精确的。随后我们在 $\mathcal{O}$ 类目上构建范畴化 Heisenberg 作用，并证明其与 Shan 与 Vasserot 构造的作用相同。最后我们在大素数 $p$ 的意义下进行约化。我们证明构成 Heisenberg 代数正半部分作用的函子将简单对象发送到半单性对象，并描述了这些半单性对象。