Coherence and the Hilbert-syzygy identity for power series over valuation domains

Source: arxiv.org/abs/2611.05246

Mohamed Amine Aouichaoui, Adam Jones, Yiding Wang

arXivarxiv/2611.05246Nov 3, 2026math.ACscore 0

Let $V$ be a complete valuation domain of rank 1, and let $Γ$ be its value group. We investigate the power series ring $V[[t]]$, and finally answer the long standing question of when this ring is coherent. Specifically, we prove that it is coherent if and only if $V$ is almost maximal, and either $Γ= \mathbb{R}$ or $Γ$ is discrete. Furthermore, we demonstrate that the weak Hilbert-syzygy identity $w. dim V [[X]] = w. dim V + 1$ holds if and only if $V[[X]]$ is a coherent ring.

JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2611.05246
curl -X POST /api/v1/records/arxiv/2611.05246/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.05246/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'