## 代数学コロキウム

開催情報 水曜日　17:00～18:00　数理科学研究科棟(駒場) 056号室 今井 直毅, 三枝 洋一

### 2008年10月29日(水)

16:30-17:30   数理科学研究科棟(駒場) 056号室
Daniel Caro 氏 (Université de Caen)
Overholonomicity of overconvergence $F$-isocrystals on smooth varieties
[ 講演概要 ]
Let $¥mathcal{V}$ be a complete discrete valuation ring
of characteristic $0$, with perfect residue field $k$ of
characteristic $p>0$. In order to construct $p$-adic coefficients
over $k$-varieties, Berthelot introduced the theory of
overconvergent $F$-isocrystals, i.e overconvergent isocrystals with
Frobenius structure. Moreover, to get a $p$-adic cohomology over
$k$-varieties stable under cohomological operations, Berthelot built
the theory of arithmetic $F$-$¥mathcal{D}$-modules. In this talk,
after recalling some elements of these theories, we introduce the
notion of overholonomicity with is a property as stable as the
holonomicity in the classical theory of $¥mathcal{D}$-modules. The
goal of the talk is to prove the overholonomicity of arithmetic
$¥mathcal{D}$-modules associated to overconvergent $F$-isocrystals
over smooth $k$-varieties. In the proof we need Christol's transfert
theorem, a comparison theorem between relative log rigid cohomology
and relative rigid cohomology and last but not least Kedlaya's
semistable reduction theorem. This is a joint work with Nobuo
Tsuzuki.