[論文レビュー] Character series and Sklyanin algebras at points of order 2

Kevin De Laet|arXiv (Cornell University)|Dec 22, 2014

Finite Group Theory Research参考文献 7被引用数 4

ひとこと要約

本稿は、任意の奇素数 p に対して、位数 2 の点に付随する p 次元 Sklyanin 代数が、graded Clifford 代数であることを証明しており、非可換代数幾何学と表現論の深い関係を確立している。さらに、5次元 Sklyanin 代数の位数 2 の点における単純表現を分析し、その Proj 構成が楕円曲線の接線曲面によって支配されること、および点モジュールが楕円曲線間の同種写像に対応することを示している。

ABSTRACT

This paper has two goals: to prove certain properties of character series of graded algebras on which a finite group acts as algebra automorphisms and to provide a detailed analysis of representations of 5-dimensional Sklyanin algebras at points of order 2. We also prove that for any odd prime p, the p-dimensional Sklyanin algebras associated to points of order 2 are graded Clifford algebras.

研究の動機と目的

• 奇素数 p に対して、位数 2 の点に付随する p 次元 Sklyanin 代数が graded Clifford 代数であることを確立すること。
• 特にその単純表現を含む、位数 2 の点における 5次元 Sklyanin 代数の表現論を分析すること。
• 幾何的および代数的技法を用いて、そのような代数の Proj(A) の構造を特定すること。
• 中心と楕円曲線の幾何学の関係を、同種写像および接線曲面を通じて調査すること。

提案手法

• 特に位数 p^3 の有限ヒーゼンベルク群 H_p に作用するグレーディング付き代数の群作用を研究するために、特性系列を用いる。
• グレーディング付き Clifford 代数の理論を適用し、位数 2 の点に付随する p 次元 Sklyanin 代数が、このような Clifford 代数と同型であることを示す。
• P^{p-1} に埋め込まれた楕円曲線へのヒーゼンベルク群の作用を用いて、ヒルベルト系列を計算し、変形を分析する。
• Proj 構成と表現論を用いて、二次形式 Q のランクを用いて、点モジュールおよびファット点モジュールを分類する。
• [17] および [20] の結果に依拠し、代数の中心と接線曲面および楕円曲線の同種写像との関係を結ぶ。
• 計算代数を用いて、det(∂Q_i/∂x_j²) ≡ 0 (mod det(Q)) が成り立つことを検証し、接線曲面と定義イデアルを結びつける。

実験結果

リサーチクエスチョン

• RQ1 奇素数 p に対して、位数 2 の点に付随する p 次元 Sklyanin 代数は、graded Clifford 代数と同型であるか？
• RQ2 位数 2 の点における 5次元 Sklyanin 代数の単純表現の構造は何か？
• RQ3 そのような代数の Proj は、元の楕円曲線およびその接線曲面の幾何学とどのように関係しているか？
• RQ4 代数の中心が、点モジュールおよびファット点の重複度と種別を決定する役割は何か？
• RQ5 楕円曲線間の同種写像は、Proj(A) 内の点モジュールの分布とどのように関係しているか？

主な発見

• 任意の奇素数 p に対して、位数 2 の点に付随する p 次元 Sklyanin 代数は、graded Clifford 代数と同型である。
• 5次元 Sklyanin 代数は、位数 2 の点において、3 種類の非自明な単純表現を持つ：c_5 が非自明な 4 次元表現、c_5 が自明な 4 次元表現、および 2 次元表現。
• 5次元 Sklyanin 代数の Proj は、二次形式 Q のランクによって階層化される：D(φ) 上でランク 5、V(φ) ≠ E′ 上でランク 4、E′ 上でランク 2。
• P⁴ 内の E′ の 2 階接線曲面 Sec²(E′) は、det(∂Q_i/∂x_j²) の消滅によって定義され、この多様体は二次形式のヤコビ行列式の消滅点と一致する。
• 重複度 4 のファット点モジュールは、Proj(Z(A)) ≠ V(φ) の点に対応し、重複度 2 のものは V(φ) ≠ E′ の点に対応し、重複度 1 の点モジュールは E′ 上の点に対応する。
• E から E′ への写像は同種写像であり、E′ の各点は m 個の点モジュールに対応する。これは PI-次数 m² およびねじれ座標環の構造と整合的である。