Regular models of hyperelliptic curves

Let K be a complete discretely valued field of residue characteristic not 2 and OK its ring of integers. We explicitly construct a regular model over OK with strict normal crossings of any hyperelliptic curve C/K : y2 = f (x). For this purpose, we introduce the new notion of MacLane cluster picture, that aims to be a link between clusters and MacLane valuations. (c) 2023 The Author. Published by Elsevier B.V. on behalf of Royal Dutch Mathematical Society (KWG). This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).