[论文解读] Finite dimensional Hopf actions on Weyl algebras

Juan Cuadra, Pavel Etingof+1 more|arXiv (Cornell University)|Sep 3, 2015

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文证明了在特征零的代数闭域上，任意有限维霍普夫代数作用于外尔代数时，均通过群作用实现，这意味着外尔代数不具有真正的有限量子对称性。证明采用模高次幂素数而非仅模素数的约化方法，将结果推广至光滑仿射不可约代数簇上的微分算子代数。

ABSTRACT

We prove that any action of a finite dimensional Hopf algebra H on a Weyl algebra A over an algebraically closed field of characteristic zero factors through a group action. In other words, Weyl algebras do not admit genuine finite quantum symmetries. This improves a previous result by the authors, where the statement was established for semisimple H. The proof relies on a refinement of the method previously used: namely, considering reductions of the action of H on A modulo prime powers rather than primes. We also show that the result holds, more generally, for algebras of differential operators. This gives an affirmative answer to a question posed by the last two authors.

研究动机与目标

• 建立在特征零的代数闭域上，有限维霍普夫代数作用于外尔代数时，其作用因子化为群作用。
• 通过证明此类作用不允吸真正的有限量子对称性，解决一个开放问题。
• 将结果从半单霍普夫代数推广至所有有限维霍普夫代数，消除先前的限制条件。
• 将结果扩展至光滑仿射不可约代数簇上微分算子代数的作用。
• 提出一种新证明技术，使用模高次幂素数而非模素数的约化，以获得更强的结论。

提出的方法

• 使用模高次幂素数（例如 $ p^m $）而非仅模素数来分析霍普夫作用的结构。
• 在外尔代数及其模 $ p^m $ 约化上构造滤子，并分析霍普夫作用下的不变量。
• 证明约化代数的分式域的中心在诱导的霍普夫作用下保持稳定。
• 证明在约化分式代数中，固定子代数的中心与 $ p^m $ 次幂中心重合。
• 应用正特征下霍普夫代数作用于域的关键结果，推导出约化霍普夫代数的余交换性。
• 利用约化映射乘积的单射性，将约化代数的余交换性提升至原始代数。

实验结果

研究问题

• RQ1 在特征零域上，有限维霍普夫代数作用于外尔代数时，是否可因子化为群作用？
• RQ2 外尔代数是否允许可超越群作用的真正有限量子对称性？
• RQ3 外尔代数的结果能否推广至光滑代数簇上的微分算子代数？
• RQ4 模高次幂素数的约化是否比模素数提供更强的分析工具？
• RQ5 约化霍普夫代数 $ H_p $ 的余交换性是否足以推出原始 $ H $ 为群代数？

主要发现

• 在特征零的代数闭域上，任意有限维霍普夫代数作用于 $ n $ 维外尔代数 $ π_n(k) $ 时，其作用因子化为群作用。
• 该结果意味着外尔代数不具有真正的有限量子对称性，因为不存在非群型的有限维霍普夫代数能忠实作用。
• 使用模高次幂素数的证明技术，消除了早期工作中对半单性的假设。
• 该结果可推广至任意光滑仿射不可约代数簇 $ X $ 上的微分算子代数 $ D(X) $，此类作用同样因子化为群作用。
• 约化外尔代数的分式域的中心在诱导霍普夫作用下保持不变，且其 $ p^m $ 次幂子环保持稳定。
• 对于大素数 $ p $，约化霍普夫代数 $ H_p $ 的余交换性意味着原始 $ H $ 的余交换性，从而推出 $ H \to kG $，其中 $ G $ 为有限群。