[論文レビュー] A Lefschetz theorem for overconvergent isocrystals with Frobenius structure

Tomoyuki Abe, Hélène Esnault|arXiv (Cornell University)|Jul 24, 2016

Mathematical Dynamics and Fractals参考文献 9被引用数 7

ひとこと要約

この論文は、有限体上の滑らか多様体上で、有限行列式をもつ不変性の超収束F-イスキスクライトに、Lefschetz型定理を確立する。その結果、このようなイスキスクライトは適切な滑らか曲線に引き戻されても、依然として不変性を保つことが示される。主な貢献は、これらのイスキスクライトに対してℓ-adic同伴が存在することであり、それらが不変性の滑らかエタール層であることが示され、Deligneの同伴予想を曲線を超えたp進設定に拡張する。

ABSTRACT

We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.

研究の動機と目的

• Deligneのℓ-adic同伴予想を、高次元における超収束F-イスキスクライトへ拡張すること。
• 有限体上の滑らか多様体上に存在する不変性の超収束F-イスキスクライトが、適切な滑らか曲線に制限されても不変性を保つことの証明。
• 有限行列式をもつ不変性の超収束F-イスキスクライトに対して、ℓ-adic同伴の存在を確立し、それが不変性の滑らかエタール層であることを示すこと。

提案手法

• 高次元多様体上の超収束F-イスキスクライトの研究を曲線に還元するLefschetz型定理を用いる。
• 代数的およびσ-unit-rootイスキスクライトの理論を適用し、閉点における特徴多項式との整合性を保証する。
• 半安定還元定理と有限エタール基底変更を用いて、同伴層における分岐の正規性を保証する。
• Drinfeldの定理0.2を活用し、曲線上での局所的データを、所望のモノドロミーをもつグローバルℓ-adic層に持ち上げる。
• 特異点の次元に関する帰納法を用いて、数体上での特徴多項式の代数的性を証明する。
• 代数的閉包ℚℓとℚℓ′の間の同型を介した同伴対応を応用し、所望のℓ-adic同伴を構成する。

実験結果

リサーチクエスチョン

• RQ1 曲線の場合に類似するLefschetz定理が、高次元において不変性の超収束F-イスキスクライトに対して確立可能か？
• RQ2 有限体上の滑らか多様体上に存在する不変性の超収束F-イスキスクライトは、任意の閉点を通過する滑らか曲線に制限されても不変性を保つか？
• RQ3 有限行列式をもつ不変性の超収束F-イスキスクライトに対してℓ-adic同伴が存在するか？また、それらは必然的に不変性の滑らかエタール層か？

主な発見

• 有限体上の滑らか多様体上に存在する不変性の超収束F-イスキスクライトに対して、Lefschetz定理が証明され、任意の閉点が、そのイスキスクライトが不変性を保つような滑らか曲線に引き上げられることを保証する。
• 有限行列式をもつ不変性の超収束F-イスキスクライトに対して、ℓ-adic同伴の存在が確立され、それらが不変性の滑らかエタール層であることが示される。
• 閉点におけるイスキスクライトの特徴多項式は、固定された数体上代数的であり、同伴対応は不変性および分岐の有界性を保つ。
• 同伴対応は単射であり、分岐が有界なようなこれらのイスキスクライトの同型類の有限性が導かれる。
• 半安定還元定理が改良され、イスキスクライトの引き戻しが正規分岐となるような有限エタール基底変更を許容する。
• de Jongの予想の弱い形が確認される：多様体の基本群が自明であれば、超収束F-イスキスクライトは基本体から生じる。