分野別セミナー

＊ワークショップ「Industrious Number Theory」との合同です。

We give a certain condition for an overconvergent
isocrystal on a smooth variety over a field of characteristic $p>0$
to extend logarithmically to its smooth compactification
whose complement is a simple normal crossing divisor.
If time permits, we also give a `cut-by-curves criterion'
for this condition.