{"id":"arxiv/2608.04897","url":"https://arxiv.org/abs/2608.04897","tags":["math.AC"],"score":0,"title":"Spherical Completeness, Coherence, and GCD Properties of Formal Power Series and Witt Vector Rings","domain":"math.AC","source":"arxiv","authors":["Yiding Wang"],"reviews":0,"subject":"math.AC","summary":"Let $K$ be a complete nonarchimedean valued field with $v(K^\\times)=\\mathbf R$, and let $V=\\mathcal O_K$. We prove that $K$ is spherically complete if and only if $V[[T]]$ is coherent, and that this is also equivalent to $V[[T]]$ being a GCD domain. If $K$ is perfect of characteristic $p$, the same characterization holds for the Witt vector ring $W(V)$. Thus, this settles the previously unresolved full-real-value-group case in the coherence problems for both formal power series and Witt vector rings. In particular, this result also gives affirmative answers to Questions~9 and~10 of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-05","reactions":{}}