math.AG — Algebraic Geometry
Uniform sheafy Tate rings that are not stably uniform
Buzzard–Verberkmoes and Mihara show that a stably uniform Tate Huber ring is sheafy. We construct examples of uniform and strongly sheafy Tate rings which are not stably uniform, answering Question 7 of Kedlaya’s Nonarchimedean Scottish Book. In the first example a rational localisation is non-reduced, whilst in the second the rational localisation is an integral domain but is not uniform. The two main results are due to ChatGPT 5.6 Sol. Both constructions, the rational localisations witnessing failure of stable uniformity, and their strong sheafiness have been formalised in Lean 4
A mix of human-written and AI-generated textHuman understanding: all partsadics spaces