[論文レビュー] Compact moduli of noncommutative projective planes

Tarig Abdelgadir, Shinnosuke Okawa+1 more|arXiv (Cornell University)|Nov 28, 2014

Algebraic structures and combinatorial models参考文献 31被引用数 9

ひとこと要約

本稿は、ベイルリンスキー・クiverの関係のモジュライを介して、非可換な射影平面の変形のコンパクトなモジュライスキームを導入し、楕円曲線のレベル3構造と幾何的対応を確立する。三重 (E, L₀, L₁)、四重 (V₀, V₁, V₂, W)、および関係 I ⊂ kQ のモジュライは、重み付き射影空間に同型であり、モジュラー曲線と双有理的であることが示され、非可換代数幾何学と算術幾何学との間に深い関係が明らかになる。

ABSTRACT

We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with level 3 structures.

研究の動機と目的

• クイバー関係を用いて、非可換な射影平面の変形のコンパクトなモジュライスキームを構成すること。
• 非可換な射影平面とレベル3構造を有する楕円曲線との間に幾何的対応を確立すること。
• 三重 (E, L₀, L₁) および四重 (V₀, V₁, V₂, W) のモジュライを用いて、3次元の二次的AS正則代数を分類すること。
• ベイルリンスキー・クイバーの関係のモジュライが四重のモジュライと同型であり、モジュラー曲線と双有理的であることを示すこと。
• Z代数構造を導入し、それらの1周期性を証明することにより、非可換な射影平面の分類における曖昧さを解消すること。

提案手法

• クイバー Q の関係のモジュライスタック R(Q) と、有限次元代数のモジュライスタック A を導入し、自然な準同型 R(Q) → A を定義する。
• 幾何的不変理論 (GIT) を用いてコンパクトなモジュライスキームを構成する：Mquad = P(V₀⊗V₁⊗V₂)ss//SL(V₀)×SL(V₁)×SL(V₂), Mrel = Gr₃(V₀⊗V₁)ss//SL(V₀)×SL(V₁), および Mtri = S(3)/G₂₁₆。
• ホッヒシルト＝コスタント＝ローゼンバーグ同型を用いて、完全列の同値関係を通じて、連続層の変形と代数の変形を関連付ける。
• スクライニン代数から導かれる関係を有する3頂点のベイルリンスキー・クイバーを用い、非可換な射影平面をモデル化する。
• SL(V₀)×SL(V₁)×SL(V₂) による軌道の分類と不変量理論を応用し、Mquad が重み付き射影平面 P(6,9,12) に同型であることを特定する。
• 三重 (V₀,V₁,V₂,W) のポテンシャル構造を用いて、関係のモジュライ Mrel が Mquad と自然に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてクイバー関係を用いて、P² の非可換変形のモジュライをコンパクト化できるか？
• RQ2 三重 (E, L₀, L₁) のモジュライと3キュービット状態または重み付き射影空間との幾何的関係は何か？
• RQ3 モジュライスキーム Mtri, Mquad, Mrel は互いにどのように関係し、古典的モジュラー曲線と関係するか？
• RQ4 3次元の二次的AS正則Z代数の同型類は、アーベル圏 qgr S から回復可能か？
• RQ5 ヘシアン群 G₂₁₆ は、レベル3構造を有する楕円曲線のモジュライ空間のコンパクト化において果たす役割は何か？

主な発見

• 四重 (V₀, V₁, V₂, W) のモジュライ空間 Mquad は、重み付き射影平面 P(6, 9, 12) に同型である。
• ベイルリンスキー・クイバーの関係のモジュライ空間 Mrel は、自然に Mquad と同型であり、クイバー関係とテンソル不変量との直接的な関係を確立する。
• 三重 (E, L₀, L₁) のモジュライ空間 Mtri は、Mquad に双有理的な準同型を備え、非特異的有理曲線を一点に収縮する。
• Mtri は、2個のマークされた点を有する genus 1 の安定曲線の粗いモジュライ空間 M₁,₂ に同型であり、収縮は重み付き吹き上げ M₁,₂ → P(1,2,3) として特定される。
• 非可換な射影平面のモジュライは、3次元の二次的AS正則Z代数 A に対する qgr A の圏に同値であり、これは1周期的であり、Zhangねじれを除いて代数の同型類を決定する。
• qgr S ∼= qgr S′ が成り立つのは、かつて ˇS ∼= ˇS′ が成り立つときであり、これは S が S′ の Zhang ねじれであることに同値である。これは、モーリーの非可換射影平面に関する疑問を解決する。