[論文レビュー] Weighted Projective Lines Associated to Regular Systems of Weights of Dual Type

Atsushi Takahashi|ArXiv.org|Nov 25, 2007

Algebraic structures and combinatorial models参考文献 7被引用数 14

ひとこと要約

本論文は、双対型の正則重み系に関連する2つの重み付き射影直線の構成——1つは超曲面特異点から、もう1つはGeigle–Lenzingのシグネチャ構成から——の、両者の一様な層のアーベル圏の同値性を確立する。主な結果は、このような重み系に対して、2つのスタック上の一様な層の導来圏が同値であるということであり、これは、重み付き特異点圏に全例外的集合が存在することを示唆し、ホモロジ的ミラー対称性の期待に裏付けられる。

ABSTRACT

We associate to a regular system of weights a weighted projective line over an algebraically closed field of characteristic zero in two different ways. One is defined as a quotient stack via a hypersurface singularity for a regular system of weights and the other is defined via the signature of the same regular system of weights. The main result in this paper is that if a regular system of weights is of dual type then these two weighted projective lines have equivalent abelian categories of coherent sheaves. As a corollary, we can show that the triangulated categories of the graded singularity associated to a regular system of weights has a full exceptional collection, which is expected from homological mirror symmetries. Main theorem of this paper will be generalized to more general one, to the case when a regular system of weights is of genus zero, which will be given in the joint paper with Kajiura and Saito. Since we need more detailed study of regular systems of weights and some knowledge of algebraic geometry of Deligne--Mumford stacks there, the author write a part of the result in this paper to which another simple proof based on the idea by Geigle--Lenzing can be applied.

研究の動機と目的

• 正則重み系に付随する2つの重み付き射影直線の幾何的構成の間の同値性を確立すること。
• 超曲面特異点から得られる商スタックと、Geigle–Lenzingのシグネチャ構成から得られるスタックとの関係を調査すること。
• このような重み系に付随する重み付き特異点圏の三角的圏が、全例外的集合を有することを示すこと。
• 重み付き斉次特異点の文脈において、ホモロジ的ミラー対称性の予想に裏付けを与えること。
• ADEおよびεW = -1特異点に関する先行研究を拡張し、双対型の場合に例外的集合の結果を一般化すること。

提案手法

• 正則重み系に付随する重み付き斉次多項式から定義される超曲面特異点から、重み付き射影直線を商スタックとして構成する。
• 重み系のシグネチャを用いて、重み付き環とr−2個の斉次多項式によるイデアルを用いた、2番目の重み付き射影直線をGeigle–Lenzingの方法で定義する。
• 最大重み群の構造と斉次座標環を用いて、2つの構成を比較する。
• 5つのタイプ（I–V）の明示的データを含む、双対型正則重み系の不変量を用いて同値性を検証する。
• Deligne–Mumfordスタックの代数的幾何と重み付き特異点圏の技術を用いる。
• Orlovの結果を活用し、アーベル圏の同値性から、重み付き特異点圏における全例外的集合の存在を導出する。

実験結果

リサーチクエスチョン

• RQ1 超曲面特異点とシグネチャ構成の両方で得られる重み付き射影直線の、正則重み系の双対型に対して、一様層の圏が同値となるか？
• RQ2 このような重み系に付随する重み付き特異点圏の三角的圏が、全例外的集合を有するか？
• RQ3 一様層圏の同値性は、これらの特異点におけるホモロジ的ミラー対称性予想を支持するか？
• RQ4 双対型正則重み系（例：タイプI–V）の不変量は、2つの重み付き射影直線の構成と比較をどのように支援するか？
• RQ5 正則重み系の双対性に関して、特に genus-zero の場合に、圏の同値性は安定か？

主な発見

• 双対型の正則重み系に付随する2つの重み付き射影直線——超曲面特異点から定義されたものと、シグネチャから定義されたもの——の、一様層のアーベル圏は同値である。
• この同値性は、$D^{gr}_{Sg}(R_W)$ がサイズ $ u_{W^*}$ の全例外的集合を有することを示唆し、Corollary 6.3 で述べられている。
• この結果は、ホモロジ的ミラー対称性予想を支持する。なぜなら、重み付き射影直線上の一様層の導来圏は、双対特異点の導来 Fukaya 圏と三角的同値になると予想されるからである。
• 主定理は、後続の研究 [KST3] で genus-zero の正則重み系に一般化されており、より広範な適用可能性を示している。
• 付録には、双対型の5つのタイプ（I–V）の明示的データが含まれており、重み、双対重み、シグネチャ、定義多項式が記載されている。
• 最大重み群 $L_{f_W}$ の構成により、$D^{L_{f_W}}_{Sg}(R_W)$ に対する精錬されたホモロジ的ミラー対称性予想を定式化できる。特に $L_{f_W} = bZ$ の場合が標準的重み付けに対応する。