[論文レビュー] Syst\`emes inductifs surcoh\'erents de D-modules arithm\'etiques

Daniel Caro|arXiv (Cornell University)|Jul 3, 2012

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿は、対数構造を備えた形式的スキーム上の算術$̂{\mathcal{D}}$-加群の文脈において、複体の$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性の概念を導入する。$p$-進完備化設定における過共形性と、$̂{\mathcal{D}}^\dagger_{\mathcal{P}^\sharp,\mathbb{Q}}$-加群における過共形性の整合性を確立することで、算術$̂{\mathcal{D}}$-加群理論における一貫性のある共形性理論を統合する。

ABSTRACT

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $\mathcal{P}$ be a smooth, quasi-compact, separated formal scheme over $\mathcal{V}$, $\mathcal{Z}$ be a strict normal crossing divisor of $\mathcal{P}$ and $\mathcal{P}^\sharp := (\mathcal{P}, \mathcal{Z})$ the induced smooth formal log-scheme over $\mathcal{V}$. In Berthelot's theory of arithmetic $\mathcal{D}$-modules, we work with the inductive system of sheaves of rings $\smash{\hat{\mathcal{D}}}_{\mathcal{P} ^\sharp} ^{(\bullet)} := (\smash{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp} ^{(m)})_{m\in \mathbb{N}}$, where $\smash{\hat{\mathcal{D}}}_{\mathcal{P}^{\sharp}} ^{(m)}$ is the $p$-adic completion of the ring of differential operators of level $m$ over $\mathcal{P}^{\sharp}$. Moreover, he introduced the sheaf $\mathcal{D} ^\dagger_{\mathcal{P} ^{\sharp},\mathbb{Q}}:=\underset{\underset{m}{\longrightarrow}}{\lim}\, \smash{\hat{\mathcal{D}}}_{\mathcal{P}} ^{(m)} \otimes_{\mathbb{Z}}\mathbb{Q}$ of differential operators over $\mathcal{P}$ of finite level. In this paper, we define the notion of overcoherence for complexes of $\smash{\hat{\mathcal{D}}}_{\mathcal{P} ^{\sharp}} ^{(\bullet)} $-modules and check that this notion is compatible to that of overcoherence for complexes of $\mathcal{D} ^\dagger_{\mathcal{P},\mathbb{Q}}$-modules.

研究の動機と目的

• 算術$̂{\mathcal{D}}$-加群の文脈において、複体の$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性を定義し、研究すること。
• 有理数的設定（$̂{\mathcal{D}}^\dagger_{\mathcal{P}^\sharp,\mathbb{Q}}$）における過共形性の概念を、$p$-進完備化設定（$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$）に拡張すること。
• $p$-進および有理数的設定における過共形性の整合性を確立し、$̂{\mathcal{D}}$-加群構成の異なるレベル間での一貫性を保証すること。

提案手法

• $p$-進完備化微分作用素の有限位数の帰納的系を用いて、複体の$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性を定義する。
• $(\mathcal{P}, \mathcal{Z})$ を厳密な正則交差除部分スキームをもつ形式的対数スキーム構造として定義し、関連する$̂{\mathcal{D}}$-加群を定義する。
• 完全離散付値環$\mathcal{V}$を基底として、その残渣体が完全であるBerthelotの算術$̂{\mathcal{D}}$-加群の枠組み内で作業する。
• 帰納的系$\underset{\to}{\lim}\, \smash{\hat{\mathcal{D}}}_{\mathcal{P}}^{(m)} \otimes_{\mathbb{Z}} \mathbb{Q}$ を用いて、$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性条件と、$̂{\mathcal{D}}^\dagger_{\mathcal{P}^\sharp,\mathbb{Q}}$-加群における過共形性条件を比較する。
• 基底変換および局所化における過共形性の整合性を用いて、両設定間での定義の一貫性を検証する。
• $\mathcal{P}$ が滑らかで、準コンactかつ分離的であることに基づき、$̂{\mathcal{D}}$-加群およびそのコホモロジー的性質が良好に振る舞うことを保証する。

実験結果

リサーチクエスチョン

• RQ1 算術$̂{\mathcal{D}}$-加群の文脈において、複体の$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性はどのように定義できるか？
• RQ2 $̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性条件は、$̂{\mathcal{D}}^\dagger_{\mathcal{P}^\sharp,\mathbb{Q}}$-加群における過共形性条件と整合性を示すか？
• RQ3 $p$-進完備化微分作用素の帰納的系は、有理数的設定への極限において過共形性を保存するか？
• RQ4 有理数的$̂{\mathcal{D}}^\dagger$-加群からの過共形性理論は、$p$-進完備化設定に構造の損失なしに拡張可能か？
• RQ5 対数構造$(\mathcal{P}, \mathcal{Z})$ は、両設定における過共形性の整合性を保証するために果たす役割は何か？

主な発見

• 本稿は、算術$̂{\mathcal{D}}$-加群の文脈において、複体の$̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性を成功裏に定義した。
• $̂{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp}^{(\bullet)}$-加群における過共形性の概念は、$̂{\mathcal{D}}^\dagger_{\mathcal{P}^\sharp,\mathbb{Q}}$-加群における古典的過共形性の概念と整合性を示した。
• 整合性は、$\underset{\to}{\lim}\, \smash{\hat{\mathcal{D}}}_{\mathcal{P}}^{(m)} \otimes_{\mathbb{Z}} \mathbb{Q}$ という極限構成により確立され、$p$-進および有理数的設定を結びつける。
• この結果により、算術$̂{\mathcal{D}}$-加群理論において、$p$-進完備化から有理数的設定への移行において過共形性が保存されることを確認した。
• この枠組みにより、両$̂{\mathcal{D}}$-加群系間で複体のコホモロジー的性質が保存され、理論の堅牢性が向上した。
• 本研究は、特に厳密な正則交差除部分スキームをもつ対数スキームにおける、統一された過共形性理論への基礎的段階を提供する。