arXiv subjects
Publications and source records attributed to Simone Muselli.
Let $K$ be a complete discretely valued field of residue characteristic not $2$ and $O_K$ its ring of integers. We explicitly construct a regular model over $O_K$ with strict normal crossings of any hyperelliptic curve $C/K:y^2=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.
Let $k$ be a perfect field and let $C_0:f=0$ be a smooth curve in the torus $\mathbb{G}_{m,k}^2$. Let $\mathbb{T}_\Delta$ be the toric variety associated to the Newton polygon of $f$. Extending the toric resolution of $C_0$ on $\mathbb{T}_\Delta$, we construct an explicit model over $k$ of the smooth completion of $C_0$. Such a model exists for any smooth projective curve and can be described via a combinatorial algorithm using an iterative construction of Newton polygons.
A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide is to summarise and centralise all of these results in a self-contained fashion, complemented by an abundance of examples.
Let $C: y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega_{\mathcal{C}/O_K}$.