PreprintarXiv licencearXiv
Overholonomicity of Overconvergent F-isocrystals over Laurent Series Fields
Abstract
We prove that K-valued overconvergent F-isocrystals over smooth k((t))-varieties are overholonomic and construct the triangulated category of overholonomic complexes of Frobenius type which is stable under six operations and contains overconvergent F-isocrsytals.
Related
- Pairings on the algebra of Laurent series over a ring
- The Hilbert Basis Theorem for Non-Associative Skew Power Series Rings and Non-Associative Skew Laurent Series Rings over a Non-Associative Coefficient Ring
- Laurent series expansions for the Barnes multiple zeta function
- A Nullstellensatz for the field of complex Laurent series
- Potential isotriviality of isocrystals and proper covers
BibTeX
@misc{liu2026overholonomicity,
title = {{Overholonomicity of Overconvergent $F$-isocrystals over Laurent Series Fields}},
author = {Yuanmin Liu},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.08193},
eprint = {2611.08193},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.08193},
}
RIS
TY - UNPB
TI - Overholonomicity of Overconvergent F-isocrystals over Laurent Series Fields
AU - Yuanmin Liu
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.08193
UR - https://arxiv.org/abs/2611.08193
AB - We prove that K-valued overconvergent F-isocrystals over smooth k((t))-varieties are overholonomic and construct the triangulated category of overholonomic complexes of Frobenius type which is stable under six operations and contains overconvergent F-isocrsytals.
ER -