Spherical Completeness, Coherence, and GCD Properties of Formal Power Series and Witt Vector Rings
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.04897
curl -X POST /api/v1/records/arxiv/2608.04897/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.04897/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'