[論文レビュー] Computational approaches to Poisson traces associated to finite subgroups of Sp(2n,C)

Pavel Etingof, Sherry Gong+3 more|arXiv (Cornell University)|Jan 26, 2011

Advanced Algebra and Geometry参考文献 7被引用数 7

ひとこと要約

本稿では、複素ベクトル空間上の有限シンプレクティック群の多項式不変量におけるポアソントレースを決定するための計算的・理論的手法を開発する。トレースの次数を束縛し、コシュール複体と群表現論を活用することで、問題を有限計算に還元し、ポアソンホモロジー $\pi_0(\vartheta_V^G)$ が立方次数で非自明であることを証明する。これは、$\varphi_2$ 上の二次形式とアルフ不変量を用いた明示的構成により、次元12の特定の群に対して4次元の立方成分が得られることを示している。

ABSTRACT

We reduce the computation of Poisson traces on quotients of symplectic vector spaces by finite subgroups of symplectic automorphisms to a finite one, by proving several results which bound the degrees of such traces as well as the dimension in each degree. This applies more generally to traces on all polynomial functions which are invariant under invariant Hamiltonian flow. We implement these approaches by computer together with direct computation for infinite families of groups, focusing on complex reflection and abelian subgroups of GL(2,C) < Sp(4,C), Coxeter groups of rank <= 3 and A_4, B_4=C_4, and D_4, and subgroups of SL(2,C).

研究の動機と目的

• トレースの次数と次元の束縛により、$\mathcal{O}_V^G$ 上のポアソントレースの無限次元問題を有限計算に還元すること。
• $\mathsf{HP}_0$ 同型の既知の結果を、$G$-不変ハミルトニアンフローに関して不変な関数型の空間 $\mathsf{HP}_0(\mathcal{O}_V^G, \mathcal{O}_V)^*$ に拡張すること。
• $\mathbb{F}_2$ 上の表現論を用いて、$\mathsf{HP}_0(\mathcal{O}_V^G)$ が立方次数で非自明となる明示的例を構成すること。
• 複素反射群、ランク $\leq 3$ のコクセター群、$\mathsf{SL}_2(\mathbb{C})$ の部分群を含む無限族の群に対して、これらのトレースを計算するためのアルゴリズムを実装すること。

提案手法

• コシュール複体を用いて、ポアソントレースの最高次数を束縛し、各次数成分の次元を制限する。
• $\mathsf{HH}_0(\mathcal{D}_X^G, \mathcal{D}_X) \cong \mathbb{C}[G]_{\mathrm{ad}}$ という同型（$g \in G$ で $g - \mathrm{Id}$ が可逆であるものによって張られる）を活用し、ホッホシュィルトトレースとポアソントレースを関連付ける。
• 二次形式とアルフ不変量を用いて $\mathbb{F}_2$-ベクトル空間の中心拡大から $G$-表現を構成し、非自明な立方不変量を生成する。
• Magma を用いて、アルフ不変量 1 で非退化かつ和 $q_1 + q_2$ もアルフ不変量 1 である非退化二次形式 $q_1, q_2$ の明示的例を計算する。
• $Y_q$ を中心拡大 $\widetilde{E}_q$ の既約表現とするとき、$V = Y_{q_1} \oplus Y_{q_2} \oplus Y_{q_1+q_2}$ を定義し、非自明な立方ポアソントレースを実現する。
• $q_3 = q_1 + q_2$ に対して $\dim (Y_{q_1} \otimes Y_{q_2} \otimes Y_{q_3})^G = 4$ を示すことにより、$\mathsf{HP}_0(\mathcal{O}_V^G)$ が次数3で4次元成分を持つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 どの有限部分群 $G < \mathrm{Sp}_{2n}(\mathbb{C})$ に対して $\mathsf{HP}_0(\mathcal{O}_V^G)$ が次数3で非自明か？
• RQ2 次数と次元の束縛により、$\mathcal{O}_V^G$ 上のポアソントレースの空間を有限計算に還元できるか？
• RQ3 二次形式の $\mathbb{F}_2$ 上のアルフ不変量は、$\mathcal{O}_V^G$ 内の非自明な立方不変量を構成する際に果たす役割は何か？
• RQ4 中心拡大 $\widetilde{E}_q$ の表現 $Y_q$ は、$\mathsf{HP}_0(\mathcal{O}_V^G)$ の構造にどのように寄与するか？
• RQ5 $\mathsf{HP}_0(\mathcal{O}_V^G)$ がホッホシュィルトトレースの順次ホモロジー $\mathsf{gr}\, \mathsf{HH}_0(\mathcal{D}_X^G)$ と一致する条件は何か？

主な発見

• アルフ不変量 1 の $\mathbb{F}_2$ 上の二次形式を用いて構成された、12次元のシンプレクティック表現 $V$ と有限群 $G$ に対して、$\mathsf{HP}_0(\mathcal{O}_V^G)$ は立方次数で非自明である。
• 非退化二次形式 $q_1, q_2, q_3 = q_1 + q_2$（いずれもアルフ不変量 1）をもつ4次元 $\mathbb{F}_2$-空間の中心拡大として構成された $G$ に対して、$\mathsf{HP}_0(\mathcal{O}_V^G)$ の立方成分は次元4をとる。
• この構成により、$\mathcal{O}_V^G$ 内に $G$-不変な立方多項式が得られ、異なる既約表現の $\operatorname{Sym}^2$ および $\otimes$-不変量が自明であるため、トレース関係によって立方部分が消去されないことが保証される。
• 次数の束縛と表現論的制約を用いることで、ポアソントレースの計算という無限次元問題が、有限計算に成功して還元された。
• Magma を用いた明示的計算により、$q_1 = x_1x_2 + x_3^2 + x_3x_4 + x_4^2$ および $q_2 = x_1^2 + x_1x_4 + x_2^2 + x_2x_3 + x_3x_4$ が、アルフ不変量 1 かつ和が非退化でアルフ不変量 1 である条件を満たすことが確認された。
• この結果は、$\mathsf{HP}_0(\mathcal{O}_V^G)$ が立方次数で非自明であることが、$\mathsf{HP}_0(\mathcal{O}_V^G)$ が順次ホッホシュィルトホモロジーと同型でない場合でも成立することを示しており、非自明なフィルトレーション構造が存在することを示している。