Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
131 tokens/sec
GPT-4o
10 tokens/sec
Gemini 2.5 Pro Pro
47 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Systèmes inductifs surcohérents de D-modules arithmétiques logarithmiques (1207.0710v4)

Published 3 Jul 2012 in math.AG and math.NT

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.

Summary

We haven't generated a summary for this paper yet.