{"id":"arxiv/2611.08193","url":"https://arxiv.org/abs/2611.08193","tags":["math.NT"],"score":0,"title":"Overholonomicity of Overconvergent $F$-isocrystals over Laurent Series Fields","domain":"math.NT","source":"arxiv","authors":["Yuanmin Liu"],"reviews":0,"subject":"math.NT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-05","reactions":{}}