[論文レビュー] A characterization of finite quotients of Abelian varieties

Steven Lu, Behrouz Taji|arXiv (Cornell University)|Sep 30, 2014

Algebraic Geometry and Number Theory参考文献 33被引用数 9

ひとこと要約

この論文は、klt多様体のクラスにおける特異軌道のチャーン類の消滅条件を用いて、アーベル・多様体の有限商に対する、余次元1で自由な有限群作用による特徴付けを述べる。この設定において、第一および第二の特異軌道チャーン類が0である反射的層は、滑らか目地において局域的に自由で平坦であり、基本群のユニタリ表現を通じて、有限ガロア被覆上に平坦かつ局所的に自由な層へ拡張可能であることが示され、ドナルドソン＝ウーレンバック＝ヤウ＝シンプソン対応を特異的状況に一般化する。

ABSTRACT

In this paper we prove a characterization of quotients of Abelian varieties by the actions of finite groups that are free in codimension-one via some vanishing conditions on the orbifold Chern classes. The characterization is given among a class of varieties with mild singularities that are more general than quotient singularities, namely among the class of klt varieties. Furthermore we show that over a projective klt variety, any semistable reflexive sheaf with vanishing orbifold Chern classes can be obtained as the invariant part of a locally-free sheaf on a finite Galois cover whose associated vector bundle is flat.

研究の動機と目的

• klt多様体のクラスにおいて、特異軌道チャーン類の消滅条件を用いて、アーベル多様体の有限群作用による余次元1で自由な商を特徴付けること。
• 安定なベクトル束とユニタリ表現の古典的対応を、klt特異点をもつ特異多様体へ拡張すること。
• このような商において、第一および第二の特異軌道チャーン類が0である反射的層が、滑らか目地で局所的に自由で平坦であり、有限ガロア被覆上に平坦な局所的に自由な層へ拡張されることを示すこと。
• ドナルドソン＝ウーレンバック＝ヤウ＝シンプソン対応を、特異軌道を超える特異的状況に一般化すること。
• 接層が局所的に自由で平坦になる有限準エタール被覆の存在を確立し、これにより canonical class が数的自明であることを示すこと。

提案手法

• klt多様体上で、特異軌道チャーン類とそのアーマー除法との交差積を用いて、消滅条件を定義する。
• klt多様体の滑らか目地でエタールである有限ガロア被覆の存在に関する最近の GKP14a の結果を適用する。
• 極化に関する半安定性の概念と、第一および第二のチャーン特性を含む勾配条件を用いる。
• klt曲面上で、第一および第二の特異軌道チャーン類が0である反射的層が、ユニタリ表現を通じて滑らか目地で平坦かつ局所的に自由な層を誘導することを用いる。
• シンプソンの対応を用いて、滑らか目地から有限被覆上の等変構造を通じて平坦接続を全体に持ち上げる。
• 分岐公式と射影公式を用いて、被覆と元の多様体の canonical class を関連づけ、canonical class が数的自明であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 kltな射影的多様体 X が、余次元1で自由な有限群作用によるアーベル多様体の有限商であるための条件は何か？
• RQ2 klt多様体上で第一および第二の特異軌道チャーン類が0である反射的層が、滑らか目地で局所的に自由で平坦になる条件は何か？
• RQ3 安定なベクトル束とユニタリ表現の古典的対応を、klt特異点をもつ特異多様体へどのように拡張できるか？
• RQ4 klt多様体の接層が、有限準エタール被覆を通じて局所的に自由になるための条件は何か？
• RQ5 特異軌道チャーン類とその交差積は、アーベル多様体の有限商の幾何をどのように特徴付けるか？

主な発見

• kltな射影的多様体 X が、余次元1で自由な有限群作用によるアーベル多様体の有限商であるための必要十分条件は、その第一および第二の特異軌道チャーン類が消えることである。
• このような多様体 X 上の、第一および第二の特異軌道チャーン類が0である半安定な反射的層 E に対して、E|X_reg^an は局所的に自由で平坦であり、π₁(X_reg) の線形で非可約なユニタリ表現から生じる。
• 層 E は、X_reg でエタールである有限ガロア被覆 X̃ に沿って、π₁(X̃) の等変線形で非可約なユニタリ表現から与えられる局所的に自由で平坦な層へ拡張可能である。
• 多様体 X の接層が一般に半正であるための必要十分条件は、T_Y が局所的に自由で平坦になる有限準エタール被覆 Y が存在することであり、これにより K_X ≡ 0 が導かれる。
• klt設定において、K_X ≡ 0 と特異軌道チャーン類の消滅の同値性が成り立つ。特に、K_X ≡ 0 であることは、一般の曲面断面で特異軌道第一チャーン類が消えることと同値である。
• GKP14a の結果により、このような有限被覆の存在と、引き戻し層の平坦性が保証され、これらは全構成の根幹を成す。