(2.1.1) Let $k$ be a field of characteristic zero. We set $R=k[\negthinspace[t]\negthinspace]$ and $K=k(\negthinspace(t)\negthinspace)$, and we fix a $t$-adic absolute value $|\cdot|_{K}$ on $K$ by setting $|t|_{K}=1/e$. For every $K$-scheme of finite type $Y$, we denote by $Y^{\mathrm{an}}$ the associated $K$-analytic space. For every separated $R$-scheme of finite type $\mathscr{Y}$ we set $\mathscr{Y}_{k}=\mathscr{Y}\times_{R}k$ and $\mathscr{Y}_{K}=\mathscr{Y}\times_{R}K$. Moreover, we will denote by $\widehat{\mathscr{Y}}$ the $t$-adic completion of $\mathscr{Y}$, by $\widehat{\mathscr{Y}}_{\eta}$ the generic fiber of $\widehat{\mathscr{Y}}$ in the category of $K$-analytic spaces and by

$$\mathrm{red}_{\mathscr{Y}}:\widehat{\mathscr{Y}}_{\eta}\to\mathscr{Y}_{k}$$

the canonical reduction map. The generic fiber $\widehat{\mathscr{Y}}_{\eta}$ is an analytic domain in $\mathscr{Y}_{K}^{\mathrm{an}}$, and it is equal to $\mathscr{Y}_{K}^{\mathrm{an}}$ if and only if $\mathscr{Y}$ is proper over $R$.

(2.1.2) Let $\mathscr{C}$ be a connected smooth algebraic curve over $k$. Let $s$ be a $k$-rational point on $\mathscr{C}$ and set $C=\mathscr{C}\setminus\{s\}$. We fix a uniformizer $t$ in $\mathcal{O}_{\mathscr{C},s}$. This choice determines an isomorphism of $k$-algebras $R\to\widehat{\mathcal{O}}_{\mathscr{C},s}$ and thus a morphism of $k$-schemes $\mathrm{Spec}\,R\to\mathscr{C}$.

(2.1.3) Let $X$ be a smooth and proper scheme over $C$ with geometrically connected fibers. A model of $X$ over $\mathscr{C}$ is a flat separated $\mathscr{C}$-scheme of finite type $\mathscr{X}$ endowed with an isomorphism of $C$-schemes $\mathscr{X}\times_{\mathscr{C}}C\to X$. Note that we do not require $\mathscr{X}$ to be proper over $\mathscr{C}$. Morphisms of models are defined in the usual way. We denote by $\mathscr{X}_{s}$ the fiber of $\mathscr{X}$ over $s$, by $\mathscr{X}_{R}$ the base change of $\mathscr{X}$ to $\mathrm{Spec}\,R$ and by $X_{K}$ the base change of $X$ to $\mathrm{Spec}\,K$. We denote by $K_{X}$ a relative canonical divisor for $X$ over $C$, and for every normal model $\mathscr{X}$ of $X$, we denote by $K_{\mathscr{X}}$ a relative canonical divisor for $\mathscr{X}$ over $\mathscr{C}$.

(2.1.4) For every $\mathscr{C}$-model $\mathscr{X}$ of $X$, we denote by $\mathscr{X}^{\mathrm{snc}}$ the subset of $\mathscr{X}$ consisting of the points where $\mathscr{X}$ is regular and $\mathscr{X}_{s}$ is a divisor with strict normal crossings (some authors use the terminology “simple normal crossings” instead). Thus $\mathscr{X}^{\mathrm{snc}}$ is the union of $X$ with the set of points $x$ of $\mathscr{X}_{s}$ such that $\mathcal{O}_{\mathscr{X},x}$ is regular and there exist a unit $u$ and a regular system of local parameters $(z_{1},\ldots,z_{n})$ in $\mathcal{O}_{\mathscr{X},x}$ and non-negative integers $N_{1},\ldots,N_{n}$ such that

$$t=u\prod_{i=1}^{n}(z_{i})^{N_{i}}.$$

The subset $\mathscr{X}^{\mathrm{snc}}$ is an open subscheme of $\mathscr{X}$ and it is again a $\mathscr{C}$-model of $X$. Moreover, if $\mathscr{X}$ is normal, then $\mathscr{X}^{\mathrm{snc}}_{s}$ is dense in $\mathscr{X}_{s}$. We say that $\mathscr{X}$ is an $snc$-model of $X$ if $\mathscr{X}=\mathscr{X}^{\mathrm{snc}}$, that is, if $\mathscr{X}$ is regular and $\mathscr{X}_{s}$ is a divisor with strict normal crossings. If $\mathscr{X}$ is a model of $X$ over $\mathscr{C}$, then a log resolution of $(\mathscr{X},\mathscr{X}_{s})$ is a proper morphism of $\mathscr{C}$-models $h:\mathscr{Y}\to\mathscr{X}$ such that $\mathscr{Y}$ is an $snc$-model of $X$.

(2.1.5) Let $h:\mathscr{Y}\to\mathscr{X}$ be a proper morphism of normal $\mathscr{C}$-models of $X$. Assume that $K_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}}$ is $\mathbb{Q}$-Cartier. Then the log pullback of $(\mathscr{X}_{s})_{\mathrm{red}}$ to $\mathscr{Y}$ is the unique $\mathbb{Q}$-Weil divisor $\Delta$ on $\mathscr{Y}$ such that $K_{\mathscr{Y}}+\Delta$ is $\mathbb{Q}$-linearly equivalent to

$$f^{*}(K_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}})$$

and $f_{*}\Delta=(\mathscr{X}_{s})_{\mathrm{red}}$.

(2.1.6) We will use the following notations from [MN13]. If $\mathscr{X}$ is a normal model of $X$ over $\mathscr{C}$, $x$ is a point of $\widehat{\mathscr{X}}_{\eta}$ and $D$ is a divisor on $\mathscr{X}$ that is supported on $\mathscr{X}_{s}$ and Cartier at $\mathrm{red}_{\mathscr{X}}(x)$, then we set

$$v_{x}(D)=-\ln|f(x)|$$

where $f$ is any element of the local ring of $\mathscr{X}$ at $\mathrm{red}_{\mathscr{X}}(x)$ such that $D=\mathrm{div}(f)$ locally at $\mathrm{red}_{\mathscr{X}}(x)$. It is clear that $v_{x}(D)$ is linear in $D$. If $\mathscr{X}$ is regular and $\omega$ is a non-zero rational section of $\omega_{\mathscr{X}_{R}/R}^{\otimes m}$, for some $m>0$ (for instance, an $m$-pluricanonical form on $X_{K}$) then we denote by $\mathrm{div}_{\mathscr{X}}(\omega)$ the corresponding divisor on $\mathscr{X}_{R}$.