[論文レビュー] On the generic vanishing theorem of Cartier modules

Alan Marc Watson, Yuchen Zhang|arXiv (Cornell University)|Apr 10, 2014

Advanced Topics in Algebra参考文献 12被引用数 3

ひとこと要約

本稿は、逆系の連続的層と導来カテゴリ―の技法を用いて、正標数における一般化された消失定理を展開する。GV逆系の同値条件を確立し、HaconとPatakfalviの結果を拡張するとともに、正標数における病理的現象（例えば、余次元の境界が成り立たないこと、コホモロジー局所有限の非閉包性）を浮き彫りにする。

ABSTRACT

We generalize the Generic Vanishing theorem by Hacon and Patakfalvi in the spirit of Pareschi and Popa. We give several examples illustrating the pathologies appearing in the positive characteristic setting.

研究の動機と目的

• 正標数におけるHaconとPatakfalviの一般化された消失定理を、連続的層の逆系を用いて拡張すること。
• 特徴零標数における同値条件（例えば、コホモロジー支持局所有限における余次元の境界）が正標数に一般化されるかどうかを調査すること。
• 正標数における病理的現象（例えば、余次元境界の不成立、コホモロジー局所有限における非閉包性）を特定すること。
• 導来極限とフーリエ＝ムカイ変換を用いて、正標数におけるM-正則性および一般化された消失定理の枠組みを確立すること。
• ミタグ・レフラー条件が逆極限とコホモロジー群の整合性を保証する役割を明確にすること。

提案手法

• 逆極限と導来カテゴリ―におけるホロコロジー極限を用いて、連続的層のGV逆系の概念を導入する。
• コホモロジー的消失と支持条件を関連付けるために、フーリエ＝ムカイ変換 $ R ilde{S} $ 及びその双対 $ R ilde{S}(D_A(ullet)) $ を用いる。
• 導来カテゴリ―における逆極限とコホモロジー群の整合性を保証するために、ミタグ・レフラー条件を適用する。
• スペクトル系列および $ H^i(A, ullet imes L^lat) $ に関する同型を用いて、豊富な線束の下での消失挙動を分析する。
• 双対性および基底変換定理を用いて、$ H^i(A, ilde{igwedge}_e imes L^lat) $ を $ H^i( ilde{A}, R ilde{S}( ilde{igwedge}_e) imes L^lat) $ に関連付ける。
• PareschiとPopaのM-正則性およびIT条件に関する結果を用い、局所自由層とのテンソル積による消失の保存を保証する。

実験結果

リサーチクエスチョン

• RQ1 特徴零標数におけるコホモロジー的消失、支持の余次元境界、M-正則性の同値性が、正標数に一般化可能かどうか。
• RQ2 正標数におけるコホモロジー支持局所有限 $ V^i(ullet) $ に生じる病理的現象（特に閉包性および余次元に関する問題）は何か。
• RQ3 逆系 $ \big\bracevert \tilde{\bigwedge}_e \big\bracevert $ がミタグ・レフラー条件を満たす条件は何か。また、その影響が導来極限の挙動にどのように現れるか。
• RQ4 局所自由層とのテンソル積によるIT₀条件の保存が、GV逆系へと拡張可能かどうか。
• RQ5 正標数において、$ \text{im}(R^i\tilde{S}(\tilde{\bigwedge}) \to R^i\tilde{S}(\tilde{\bigwedge}_e)) $ の支持は常に閉じているか。

主な発見

• 本稿は、GV逆系について、4つの条件の同値性を確立した。すなわち、$ \tilde{\bigwedge} \times L^\flat $ のコホモロジー的消失、導来フーリエ＝ムカイ変換における $ \tilde{\bigwedge} $-コホモロジーの消失、支持の余次元境界、逆極限の整合性である。
• $ \tilde{\bigwedge}_e $ がカルティエ加群であれば、$ \tilde{\bigwedge}_e $ は定理1.3の条件を満たすことが証明され、Hacon-Patakfalviの結果が一般化される。
• 例3.4では、$ V^0(\tilde{\bigwedge}) \triangleright V^1(\tilde{\bigwedge}) \triangleright \text{etc.} $ の包含関係が正標数では成立しないことがあることが示される。
• 例3.2では、$ \text{im}(R^i\tilde{S}(\tilde{\bigwedge}) \to R^i\tilde{S}(\tilde{\bigwedge}_e)) $ の支持が一般には閉じていないことが示され、余次元の議論が無効になる。
• $ \tilde{\bigwedge}_e $ がGV逆系であり、$ H $ がIT₀を満たすならば、$ \tilde{\bigwedge} \times H $ はIT₀を満たすことが示される。
• $ \tilde{\bigwedge}_e $ がGV逆系であり、$ \tilde{\bigwedge} $ が一般化された消失条件を満たすならば、$ \tilde{\bigwedge}_e \times \tilde{\bigwedge} $ はGV逆系であることが証明される。