[論文レビュー] 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

ひとこと要約

この論文は、特性が0で代数的に閉じた体上のWeyl代数における任意の有限次元ホップ代数作用が群作用に因数分解されることを証明しており、Weyl代数は真正の有限量子対称性をもたないことを示している。証明は素数ではなく素数のべきを法としての還元を用いており、滑らかでアフィン的かつ既約な多様体上の微分作用素代数へと結果を拡張している。

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.

研究の動機と目的

• 代数的に閉じた特性0の体上のWeyl代数における有限次元ホップ作用が群作用に因数分解されることを確立すること。
• このような作用が真正の有限量子対称性をもたないことを証明することで、未解決の問題を解決すること。
• 従来の制限を除き、半単純ホップ代数からすべての有限次元ホップ代数へと結果を一般化すること。
• 同じ体上の滑らかでアフィン的かつ既約な多様体上の微分作用素代数へと結果を拡張すること。
• 素数を法とする還元ではなく、素数のべきを法とする還元を用いた新しい証明技法を提供すること。

提案手法

• 素数を法とする還元ではなく、素数のべき（例：$ p^m $）を法とする還元を用いてホップ作用の構造を分析する。
• Weyl代数およびその$ p^m $を法とする還元にフィルトレーションを構成し、ホップ作用による不変量を解析する。
• 還元された代数の商体の中心が誘導されたホップ作用に関して安定であることを証明する。
• 還元された除法代数における固定部分代数の中心化代数が、$ p^m $乗中心と一致することを示す。
• 正の特性における体へのホップ作用に関する重要な結果を適用し、還元されたホップ代数の余可換性を導出する。
• 還元写像の積の単射性を用いて、還元された代数の余可換性を元の代数へと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 特性0の体上のWeyl代数における有限次元ホップ作用は、群作用に因数分解可能か？
• RQ2 Weyl代数は群作用を超えた真正の有限量子対称性をもつか？
• RQ3 Weyl代数に関する結果を滑らかな多様体上の微分作用素代数へと拡張可能か？
• RQ4 素数のべきを法とする還元は、素数を法とする還元よりもホップ作用を解析する強力な道具か？
• RQ5 還元されたホップ代数$ H_p $の余可換性が、元の$ H $が群代数であることを結論づけるのに十分か？

主な発見

• 代数的に閉じた特性0の体上の$ n $次元Weyl代数$ π_n(k) $における任意の有限次元ホップ代数作用は、群作用に因数分解される。
• この結果は、Weyl代数が真正の有限量子対称性をもたないことを示しており、群的でない有限次元ホップ代数は忠実に作用できない。
• 素数のべきを法とする還元を用いた証明技法により、以前の研究で要求されていた半単純性の仮定を除去可能となった。
• 滑らかでアフィン的かつ既約な多様体$ X $上の微分作用素代数$ D(X) $に対しても、同様の作用は群作用に因数分解される。
• 還元されたWeyl代数の商体の中心は誘導されたホップ作用に関して保存され、その$ p^m $乗部分代数も安定である。
• 十分大きな素数$ p $に対して還元されたホップ代数$ H_p $の余可換性は、元の$ H $の余可換性を示し、したがって$ H \to kG $（$ G $は有限群）となる。