[論文レビュー] Monadicity theorem and weighted projective lines of tubular type

Jianmin Chen, Xiao‐Wu Chen+1 more|arXiv (Cornell University)|Jul 31, 2014

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿では、アーベル圏におけるベックのモノイダル性定理の新規な定式化を用いて、等長的化を介し、チューブラー型の重み付き射影直線上の整合的層の圏と楕円曲線上の整合的層の圏の明示的同型を確立する。主な結果は、次数シフトとねじりの二種類の巡回群作用が、これらの圏の間で随伴同型を誘導することを示しており、チューブラー代数と楕円曲線層理論における既知の結果を統一的かつ一般化する。

ABSTRACT

We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighted projective line of tubular type and that on an elliptic curve, where the acting groups are cyclic and the two equivalences are somehow adjoint to each other.

研究の動機と目的

• 重み付き射影直線のチューブラー型と楕円曲線上の整合的層の間の同型を、一様的かつ明示的に取り扱うこと。
• 等長的化への応用を容易にするために、アーベル圏におけるベックのモノイダル性定理を再定式化すること。
• セール部分圏による商アーベル圏と等長的化の可換性を、正確なモノイドを用いて証明すること。
• 群作用を用いて、異なる次数構造の下での次数付き加群圏の同型を確立すること。
• 楕円平面曲線の斉次座標代数が、チューブラー型の重み付き射影直線の座標代数の制限部分代数として現れることを示すこと。

提案手法

• アーベル圏に特化したベックのモノイダル性定理のバージョンを提示し、自己完結的な証明を提供する。
• 等長的対象とモノイド上の加群との間の同型を用いて、群作用とモノイド構造を結びつける。
• 正確なモノイドを用いて、セール部分圏による商アーベル圏と等長的化の整合性を証明する。
• 群作用を用いて、次数シフトと精密な次数構造の下での次数付き加群圏の同型を確立する。
• これらの結果を重み付き射影直線と楕円曲線の斉次座標代数に適用する。
• 楕円平面曲線の座標代数とチューブラー型の重み付き射影直線の座標代数の制限部分代数との同型を用いて、主要な同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 ベックのモノイダル性定理は、アーベル圏に適応可能か？ その場合、等長的化の研究にどう応用できるか？
• RQ2 セール部分圏による商構成と等長的化が可換となる条件は何か？
• RQ3 次数付き加群圏の等長的化は、次数構造の変化とどのように関係するか？
• RQ4 重み付き射影直線のチューブラー型と楕円曲線上の整合的層の圏の間の明確な関係は何か？
• RQ5 既知の二つのチューブラー型の重み付き射影直線と楕円曲線の間の同型は、一般の圏論的原理から一様に導出可能か？

主な発見

• アーベル圏に特化したベックのモノイダル性定理の新規な定式化が証明され、等長的化への直接的応用が可能になった。
• 正確なモノイドを用いて、セール部分圏による商アーベル圏と等長的化の整合性が示された。
• 次数シフト作用の下での次数付き環上の次数付き加群圏の等長的化は、より粗い次数構造を持つ同じ環上の次数付き加群圏に同型である。
• 有限アーベル群作用の下では、ねじり作用の下での次数付き加群圏の等長的化は、より精密な次数構造を持つ次数付き加群圏に同型である。
• 楕円平面曲線の斉次座標代数は、チューブラー型の重み付き射影直線の座標代数の制限部分代数と同型である。
• 主な結果として、二つの随伴同型が確立された：一つは次数シフト作用によるチューブラー型の重み付き射影直線上の整合的層と楕円曲線上の整合的層の間の同型であり、もう一つはねじり作用による双対的な同型であり、両者とも巡回群を用いる。