[論文レビュー] Generic vanishing for semi-abelian varieties and integral Alexander modules

Yongqiang Liu, Laurenţiu Maxim+1 more|arXiv (Cornell University)|Jul 31, 2017

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿は、複素半アーベル多様体上の perverse sheaf に対して、体係数を用いた層論的アプローチにより、一般化された消滅定理を確立する。整数係数アレクサンダー加群が、半アーベル多様体への固有的かつ半小さな写像を介して写像される滑らかで準射影的な多様体に対して、ℤ 上で有限生成であることを証明し、従来のモース理論的結果を拡張し、一般化された消滅とアレクサンダー多項式を用いた位相的有限性基準を提供する。

ABSTRACT

We revisit generic vanishing results for perverse sheaves with any field coefficients on a complex semi-abelian variety, and indicate several topological applications. In particular, we obtain finiteness properties for the integral Alexander modules of complex algebraic varieties mapping to semi-abelian varieties. Similar results were recently derived by the authors by using Morse-theoretic arguments.

研究の動機と目的

• 従来のモース理論的結果によるアレクサンダー加群の有限生成性を、層論的枠組みへ一般化すること。
• 複素半アーベル多様体上で任意の体係数を持つ perverse sheaf に対して、一般化された消滅定理を確立すること。
• 固有的かつ半小さな写像を介して半アーベル多様体へ写像される滑らかで準射影的な多様体の整数係数アレクサンダー加群が ℤ 上で有限生成であることを証明すること。
• アレクサンダー多項式の構造と単位根を用いた、有限生成性の位相的基準を提供すること。

提案手法

• クラウゼ（2014）の ℓ-進一般化された消滅設定を、任意の体係数を用いた複素設定に適応すること。
• 半アーベル多様体上の perverse sheaf とキャラクター層の理論を用いて、コホロロジー的消滅を分析すること。
• 投影公式と基本変換を用いて、ねじれた perverse sheaf のコホロロジーを基本群の構造に関連付けること。
• 群構造とキャラクター理論を用いて、半アーベル多様体上の一般化された消滅問題を、既知のアーベル多様体の場合に還元すること。
• 有理アレクサンダー多項式の構造定理（単位根）を用いて、非有限生成な整数加群を除外すること。
• ファイバー次元と半小さな性質の欠損を分析して、コホロロジー的サポートを制御し、有限生成性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 任意の体係数を持つ perverse sheaf に対して、複素半アーベル多様体上で一般化された消滅が成り立つか？
• RQ2 滑らかで準射影的な多様体の整数係数アレクサンダー加群が ℤ 上で有限生成となる条件は何か？
• RQ3 アーベル写像の固有性と半小さな性質が、アレクサンダー加群の有限生成性にどのように関係するか？
• RQ4 半アーベル多様体上で一般化された消滅定理から、整数係数アレクサンダー加群の有限生成性を導けるか？
• RQ5 単位根はアレクサンダー多項式の構造および整数加群の有限生成性にどのように関与するか？

主な発見

• 任意の体係数に対して一般化された消滅が成立する：複素半アーベル多様体上の perverse sheaf に対して、キャラクターのザリスキ・オープン集合に対して、コホロロジーは0次の外で消える。
• X が半アーベル多様体への固有的かつ半小さな写像を持つとき、i ≠ n に対して整数係数アレクサンダー加群 $H_i(X^ ho, \mathbb{Z})$ は ℤ 上で有限生成である。
• X のアーベル写像が固有的かつ半小さければ、$H_i(X^ ho, \mathbb{Z})$ の有限生成性が保証され、これは半アーベル多様体へのこのような写像の存在と同値である。
• 有理アレクサンダー多項式の構造定理により、その零点はすべて単位根であることが示され、これにより $\mathbb{Z}[t,t^{-1}]/(2t^2 - 3t + 2)$ のような非有限生成な整数加群が除外される。
• ファイバー次元が $d$ で抑えられ、かつ $n > d$ であるとき、$i \leq n - d$ に対して、整数係数アレクサンダー加群 $H_i(X^ ho, \mathbb{Z})$ は ℤ 上で有限生成であるが、これは基本群の像が一般に $\mathbb{Z}$ に写る場合に限る。
• f: X \to S が固有で、n > r(f) であるとき、同じ有限生成性の結論が、$i \leq n - r(f)$ に対して $H_i(X^ ho, \mathbb{Z})$ に対して成り立つ。