The purpose of this note is to correct a mistake in the article ‘A curve selection lemma in spaces of arcs and the image of the Nash map’ (Compositio Math. 142 (2006), 119–130, cited here as [Reference RegueraReg06]). This is due to an overlooked hypothesis in the definition of generically stable subset of the space of arcs $X_\infty$ of a variety $X$ defined over a perfect field $k$. By a variety $X$ over $k$ we mean an integral separated $k$-scheme of finite type. Although not explicitly stated in [Reference RegueraReg06], we consider varieties defined over a perfect field $k$ (see Remark C.10 for explanation). We retain the notation of the original article.

In Definition 3.1 in the original article the following extra property is needed: $N$ is not contained in $(\textit {Sing}\ X)_\infty$. This property is applied in the proof of Theorem 4.1 and its corollaries (Corollaries 4.4, 4.6 and 4.8). In addition, in Theorem 4.1 the reduced structure in the space of arcs has to be considered. All the statements in [Reference RegueraReg06] remain true while adding these conditions. We state below the corrected version of Definition 3.1 that has to be applied, and in C.3 the list of statements in which some of the two additional conditions are used.

Theorem 4.1 has been applied mainly through its Corollary 4.8 (curve selection lemma) to the sets $N_E$ (Definition 2.1 in [Reference RegueraReg06]) where, assuming the existence of a resolution of singularities $p:Y \rightarrow X$ of $X$, $E$ is an irreducible component of the exceptional locus of $p$. One occurrence is Theorem 5.1 in [Reference RegueraReg06] in order to study the image of the Nash map. Theorem 5.1 is a consequence of Theorem 4.1 applied to the Nash sets $N_\alpha :=N_{E_\alpha }$ where $E_\alpha$ is an essential component on $Y$ (Proposition 2.2 in [Reference RegueraReg06]). These sets $N_E$, and hence also the $N_\alpha$s, satisfy Definition 3.1 in its corrected version (see C.5).

The original definition was as follows.

To correct the mistake in [Reference RegueraReg06], we add the property ‘$N$ not contained in $(\textit {Sing}\ X)_\infty$’ in Definition 3.1. Thus the definition now reads as follows.

The point is that there exist irreducible subsets of $X_\infty$ satisfying Definition 3.1 in the original version which are contained in $(\textit {Sing}\ X)_\infty$.

Example C.1 Let $k$ be a perfect field of characteristic $p>0$ and let us consider the variety

\[ X:= \{x_3^p+x_1 x_2^p=0 \} \subset \mathbb{A}^3_k = \textit{Spec}\ k[x_1,x_2,x_3] . \]

Let $N=(\textit {Sing}\ X)_\infty$, which is a subset of $X_\infty$. Then $N$ satisfies Definition 3.1 in the original version and it is of course contained in $(\textit {Sing}\ X)_\infty$. In fact, set $f:=x_3^p + x_1 x_2^p$; then, with notation as in 3.5 in [Reference RegueraReg06], we have $\textbf {F}_0=\textbf {X}_{3,0}^p + \textbf {X}_{1,0} \textbf {X}_{2,0}^p$, $\textbf {F}_1= \textbf {X}_{1,1} \textbf {X}_{2,0}^p$, $\textbf {F}_p=\textbf {X}_{3,1}^p + \textbf {X}_{1,0} \textbf {X}_{2,1}^p + \textbf {X}_{1,p} \textbf {X}_{2,0}^p$, $\textbf {F}_{p+1}= \textbf {X}_{1,1} \textbf {X}_{2,1}^p + \textbf {X}_{1,p+1} \textbf {X}_{2,0}^p, \ldots$. Hence

\[ \big(\mathcal{O}_{X_\infty} \big)_{X_{1,1}} \cong \big(k[\underline{\textbf{X}}_0, \ldots, \underline{\textbf{X}}_n, \ldots ] \big)_{\textbf{X}_{1,1}}/ \big(\big\{\textbf{X}_{2,n}^p, \textbf{X}_{3,n}^p\big\}_{n \geq 0}\big). \]

But $\textit {Sing}\ X =\{x_2=x_3=0\}$, hence $(\textit {Sing}\ X)_\infty$ is the closed irreducible subset of $X_\infty$ given by $X_{2,n}= X_{3,n}=0$, $n \geq 0$. Therefore

\[ \overline{X_\infty \setminus (\textit{Sing}\ X)_\infty} \subseteq \{X_{1,1}=0\}. \]

Equivalently, for the open subset of $X_\infty$ defined by $W_0:=\{X_{1,1} \neq 0\}$, we have $N \cap W_0 =W_0$, i.e. $\mathcal {P} (\mathcal {O}_{X_\infty })_{X_{1,1}} = \sqrt {(0)} (\mathcal {O}_{X_\infty })_{X_{1,1}}$ where $\mathcal{P}$ is the generic point of $N=(\textit {Sing}\ X)_\infty$. Thus $N$ satisfies Definition 3.1 in the original version. However, $N$ does not satisfy Theorem 4.1. In fact,

\[ \mathcal{P} \big(\mathcal{O}_{X_\infty} \big)_{X_{1,1}} = \big( \{X_{2,n}, X_{3,n}\}_{n \geq 0} \big) \big(\mathcal{O}_{X_\infty} \big)_{X_{1,1}} \]

is not finitely generated.

Now, in the main result in [Reference RegueraReg06] we have to replace $X_\infty$ by $(X_\infty )_\mathrm {red}$.

Equivalently, for affine varieties the theorem reads as follows.

C.2. [Reference RegueraReg06]. Let $X$ be an affine variety over a perfect field $k$. Let $\mathcal {P}$ be a point in $X_\infty$ (i.e. a prime ideal of $\mathcal {O}_{X_\infty }$) and let $Z(\mathcal {P})$ be the set of zeros of $\mathcal {P}$ in $X_\infty$. Suppose that $Z(\mathcal {P})$ is a generically stable subset of $X_\infty$. Then there exists $G \in \mathcal {O}_{X_\infty } \setminus \mathcal {P}$ such that the ideal $\mathcal {P} (\mathcal {O}_{(X_\infty )_\mathrm {red}})_G$ is a finitely generated ideal of $(\mathcal {O}_{(X_\infty )_\mathrm {red}})_G$.

Proof of Theorem 4.1 (with the reduced structure $(X_\infty )_\mathrm {red}$ and the corrected version of Definition 3.1). Following the proof in [Reference RegueraReg06], one reduces to $X$ affine; let $d:= \dim X$. With notation as at the beginning of § 4 of [Reference RegueraReg06], let $\mathcal {P}$ be the prime ideal of $\mathcal {O}_{X_\infty }$ defining $N$ and, for $n \geq 0$, let $\mathcal {P}_{n}$ be the prime ideal of $\mathcal {O}_n:=\mathcal {O}_{{\overline {j_{n}(X_\infty )}}}$ defining $\overline {j_{n}(N)}$. Here $\overline {j_n(X_\infty )}$ (respectively, $\overline {j_{n}(N)}$) is the closure in the space $X_n$ of arcs of order $n$ of the image of $X_\infty$ (respectively, $N$) by $j_n:X_\infty \rightarrow X_n$, both $\overline {j_n(X_\infty )}$ and $\overline {j_{n}(N)}$ considered with their reduced structure. We have $\mathcal {O}_n \subseteq \mathcal {O}_{n+1}$ and $\mathcal {O}_{(X_\infty )_\mathrm {red}}= {\bigcup} _n \mathcal {O}_n$ (reduced structure $(X_\infty )_\mathrm {red}$ has to be considered in line 6 of the first paragraph in § 4). It suffices to prove that there exist $n_1$, $G \in \mathcal {O}_{n_1}$, $G \in \mathcal {O}_{X_\infty } \setminus \mathcal {P}$ and, for all $n \geq n_1$, that there exist $H_{1,n+1}, \ldots , H_{m-d,n+1}$ in $\mathcal {O}_{n+1}$ satisfying

(1)\begin{equation} \mathcal{P}_{n+1} (\mathcal{O}_{n+1})_G = \big( \mathcal{P}_n + ( H_{1,n+1}, \ldots, H_{m-d,n+1} ) \big) (\mathcal{O}_{n+1})_G \end{equation}

and the $H_{r,n+1}$ belong to a finitely generated ideal $\mathcal {J}'_{N}$ of $\mathcal {O}_{X_\infty }$ contained in $\mathcal {P}$ (Lemma 4.2 in [Reference RegueraReg06]). Then we will have that $\mathcal {P} ( \mathcal {O}_{(X_\infty )_\mathrm {red}})_G$ (reduced structure $(X_\infty )_\mathrm {red}$ has to be considered in line 1 after Lemma 4.2) is finitely generated by the generators of $\mathcal {P}_{n_1}$ and the (finite number of) generators of $\mathcal {J}'_N$.

Let $J \subset \mathcal {O}_X$ be the Jacobian ideal of $X$ and let $e=\textit {ord}_N J$ (line 9 of the proof of Lemma 4.2 in [Reference RegueraReg06]). Then $e$ is finite since $N \not \subseteq (\textit {Sing}\ X)_\infty$ by the corrected version of Definition 3.1; it is at this point that the corrected version of Definition 3.1 is needed. Arguing as in Lemma 4.1 in [Reference Denef and LoeserDL99] and the second paragraph of the proof of Lemma 4.2 in [Reference RegueraReg06], we reduce to the case where $X$ is a complete intersection (not necessarily irreducible): there exists $l \in \mathcal {O}_X$ such that $\textit {Sing}\ X \subset (l=0)$, $\textit {ord}_N l=e$ and there exists a complete intersection subscheme $X'$ of $\mathbb {A}^m_k$ containing $X$ and of dimension $d$ such that $(\mathcal {O}_X)_l \cong (\mathcal {O}_{X'})_l$. We have $(\mathcal {O}_{(X_\infty )_\mathrm {red}})_{L_e} \cong (\mathcal {O}_{(X'_\infty )_\mathrm {red}})_{L_e}$ (with reduced structure in line 10 of the proof of Lemma 4.2). Then it suffices to prove the result for $X'$.

The proof ends as on page 125 of [Reference RegueraReg06]: set: $X'= \textit {Spec}\ k[x_1, \ldots , x_m]/(f_1, \ldots , f_{m-d})$, $J'$ its Jacobian ideal, $e':=\textit {ord}_N J'$ and $\mathcal {J}'_N$ the ideal of $\mathcal {O}_{X_\infty }$ (finitely) generated by ${\bigcup} _{q'} \{Q'_0, \ldots , Q'_{e'-1}\}$, where $q'$ runs over all the $(m-d) \times (m-d)$ minors of the Jacobian matrix, hence $\mathcal {J}'_N$ is contained in $\mathcal {P}$. We may suppose that $\textit {ord}_N q=e'$ where $q$ is the determinant of the matrix $({\frac {\partial f_i}{\partial {x}_j}})_{1 \leq i,\ j \leq m-d}$, then consider its adjoint matrix $M$. Let $W_0$ be an open subset of $X_\infty$ as in the corrected version of Definition 3.1. Then we consider the set $W_0 \cap D(Q_{e'}) \cap V(\mathcal {J}'_N)$ whose intersection with $N$ is a nonempty open subset of $N$; we may suppose that it is $D(G) \cap N$. We multiply $M$ by the column vector $( f_i )_{i=1}^{m-d}$ and apply $\textbf {j}_\infty ^\sharp$, i.e. Taylor's development (line 9 on page 125 in [Reference RegueraReg06]). Then for $n \geq e'$ we obtain elements $H_{1,n+1}, \ldots , H_{m-d,n+1} \in \mathcal {O}_{n+1}$ ((8) on page 125), $H_{r,n+1} \in \mathcal {J}'_{N}$, hence $( \mathcal {P}_n + ( H_{1,n+1}, \ldots , H_{m-d,n+1} ) ) \mathcal {O}_{n+1} \subseteq \mathcal {P}_{n+1}$, such that for $n\gg 0$, the schemes

(2)\begin{equation} \textit{Spec} (\mathcal{O}_{n+1})_G / \mathcal{P}_{n+1} \subseteq \textit{Spec} \big( (\mathcal{O}_{n})_G / \mathcal{P}_{n} \big) [\underline{\textbf{X}}_{n+1}] / \big(\{H_{r,n+1}\}_{r=1}^{m-d}\big) \end{equation}

have the same $\bar {k}$-rational points. In addition, we can eliminate $X_{r,n+1}$ in $H_{r,n+1}$ because $G$ and hence $Q_{e'}$ is a unit, and we obtain that the right-hand side of (2) is isomorphic to $ \textit {Spec} ( (\mathcal {O}_{n})_G / \mathcal {P}_{n} ) [{\textbf {X}}_{m-d+1,n+1}, \ldots , {\textbf {X}}_{m,n+1}]$. Therefore both schemes in (2) are reduced, and we conclude that they are isomorphic. This proves (1) and concludes the proof.

C.3. We next list all the statements in [Reference RegueraReg06], apart from Theorem 4.1, for which either the corrected version of Definition 3.1 has to be applied or the reduced structure $(X_\infty )_\mathrm {red}$ in the space of arcs has to be considered.

• • Lemma 3.2: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. This lemma connects generically stable subsets of $X_\infty$ with the stability property in [Reference Denef and LoeserDL99, Lemma 4.1] (see C.6). This is explained in detail at the end of this note (see Proposition C.8).

• • Definition 3.3: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. This definition uses Lemma 3.2.

• • Lemma 3.6: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. The statement and proof of Lemma 3.6 remain unchanged: the condition $N \not \subset (\textit {Sing}\ X)_\infty$ is implicit in the hypothesis of Lemma 3.6.

• • Remark 3.7: The subset $\{\textbf {X}_1=0\}$ of $\mathbb {A}^1_\infty$ is a generically stable subset as in the corrected version of Definition 3.1.

• • Proposition 3.8: The set $N_\alpha$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1 (see C.5 to recall the definition of $N_\alpha$ and to complete the proof of Proposition 3.8). Read ‘there exists an open affine subscheme $W_0$ of $(X_\infty )_\mathrm {red}$’ in the second line of Proposition 3.8.

• • Corollary 4.4: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. This corollary is a consequence of Lemma 4.2.

• • Corollary 4.6: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. Besides, read ‘the ring $\widehat{\mathcal {O}_{(X_\infty )_\mathrm {red}, z}}$ is Noetherian’ in (i) of Corollary 4.6. Read ‘the maximal ideal $\mathcal {P} \mathcal {O}_{(X_\infty )_\mathrm {red}, z}$ of $\mathcal {O}_{(X_\infty )_\mathrm {red}, z}$ is finitely generated’ in the first line of the proof. This result is a consequence of Theorem 4.1.

• • Corollary 4.8 (curve selection lemma): $N$ is generically stable as in the corrected version of Definition 3.1. The statement and proof of Corollary 4.8 remain unchanged.

• • Question after Corollary 4.8: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1.

• • Proof of Proposition 4.9, first line: $N$ is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1. The proof remains unchanged.

• • End of page 127: in the example given here the subset $N$ of $X_\infty$ is not a generically stable subset of $X_\infty$ either with the original or with the corrected version of Definition 3.1. Due to its relevance in the article, we next recall Corollary 4.8 in [Reference RegueraReg06] and discuss the main idea in this example.

Corollary 4.8 (Curve selection lemma) [Reference RegueraReg06]

Let $N$ and $N'$ be two irreducible subsets of $X_\infty$ such that $N \subset N'$, $N \not = N'$. Suppose that $N$ is generically stable, and let $z$ be the generic point of $N$ and $k_z$ its residue field. Then there exists a morphism

\[ \phi: \textit{Spec}\ K[[\xi]] \rightarrow N' \]

where $K$ is a finite algebraic extension of $k_z$, such that the image of the closed point of $ \textit {Spec}\ K[[\xi ]]$ is $z$, and the image of the generic point belongs to $N' \setminus N$.

Remark C.4 Recall that, in Corollary 4.8 above, the irreducible subset $N$ of $X_\infty$ is generically stable as in the corrected version of Definition 3.1. Recall also that in [Reference RegueraReg06], after Corollary 4.8, we proposed as a question a stronger version of this curve selection lemma: to know whether, under the same hypothesis, there exists $\Phi$ as in Corollary 4.8 and satisfying also that the image of the generic point of $ \textit {Spec}\ K[[\xi ]]$ is the generic point of $N'$. This question is still open.

The idea in the following example was communicated to me by M. Lejeune-Jalabert. Let $X$ be the Whitney umbrella $x_3^2=x_1 x_2^2$ in $\mathbb {A}^3_\mathbb {C}$, and let $z$ be the point in $X_\infty$ determined by any arc $x_1(t),\ x_2(t),\ x_3(t)$ such that

(3)\begin{equation} {\it ord}_t x_1(t)=1 \quad \text{and}\quad x_2(t)=x_3(t)=0. \end{equation}

Let $N$ be the closure of $z$ and let $N'$ be the closure of $X_\infty ^{\textit {Sing}\ } \setminus (\textit {Sing}\ X)_\infty$. Here $X_\infty ^{\textit {Sing}\ }$ denotes the set of arcs centered in some point of $\textit {Sing}\ X$. Then $N \subset N'$ ([Reference Ishii and KollárIK03], Lemma 2.12) but there does not exist $\phi : \textit {Spec}\ K[[\xi ]] \rightarrow N'$ which maps the closed point of $ \textit {Spec}\ K[[\xi ]]$ to $z$ and the generic point to the generic point of $N'$. In fact, if $x_1(\xi ,t),\ x_2(\xi ,t),\ x_3(\xi ,t) \in K[[\xi , t]]$ satisfy $x_3^2= x_1 x_2^2$ and $\textit {ord}_t x_1(0,t)=1$, $x_2(0,t)=x_3(0,t)=0$, then $\textit {ord}_{(\xi ,t)}x_1(\xi , t)=1$, thus $x_2(\xi ,t)= x_3(\xi ,t)=0$. In [Reference RegueraReg06], at the end of page 127, we considered the point $z$ of $X_\infty$ defined by $x_1(t)=t$, $x_2(t)=x_3(t)=0$. Its closure is not a generically stable subset of $X_\infty$ either with the original or with the corrected version of Definition 3.1.

Let us now consider the generic point $\mathcal{P}$ of $(\textit {Sing}\ X)_\infty \cap (X_{1,0}=0)$, which also satisfies (3). We have

\[ \big(\mathcal{O}_{X_\infty} \big)_{X_{1,1}}/\sqrt{(X_{1,0})} \cong \big(k[\underline{\textbf{X}}_0, \ldots, \underline{\textbf{X}}_n, \ldots]\big)_{\textbf{X}_{1,1}}/ \big(\{\textbf{X}_{1,0}\} \cup \big\{\textbf{X}_{2,n}, \textbf{X}_{3,n}\big\}_{n \geq 0}\big). \]

This implies that, for the open subset of $X_\infty$ defined by $W_0:=\{X_{1,1} \neq 0\}$, we have $N \cap W_0 =(X_{1,0}=0) \cap W_0$, i.e. $\mathcal {P} (\mathcal {O}_{X_\infty } )_{X_{1,1}} = \sqrt {(X_{1,0})} (\mathcal {O}_{X_\infty } )_{X_{1,1}}$. Thus $N$ satisfies Definition 3.1 in the original version, but $N \subset (\textit {Sing}\ X)_\infty$, hence $N$ is not a generically stable subset of $X_\infty$ with the corrected version of Definition 3.1.

C.5. Section 5 in [Reference RegueraReg06] is devoted to characterizing the image of the Nash map in terms of wedges. We assume the existence of a resolution of singularities $p:Y \rightarrow X$ of $X$. Then the main result in § 5, Theorem 5.1, is consequence of Corollary 4.8 (curve selection lemma) applied to the sets $N_E$, where $E$ is an irreducible component of the exceptional locus of $p$. Recall that $N_E$ is the closure in $X_\infty$ of $N_E(Y):=\{ z \in X_\infty \setminus (\textit {Sing}\ X)_\infty /{\widetilde h}_z(0) \in E \}$ (Definition 2.1 in [Reference RegueraReg06]). Here, given $z \in X_\infty \setminus (\textit {Sing}\ X)_\infty$, ${\widetilde h}_z: \textit {Spec}\ k_z[[t]] \rightarrow Y$ is a lifting of $h_z$ to $Y$, which exists and is unique by the properness of $p$. Equivalently, $N_E$ is the closure in $X_\infty$ of the image by $p_\infty :Y_\infty \rightarrow X_\infty$ of the set $Y_\infty ^E$ of arcs in $Y$ centered in some point of $E$.

The set $N_E$ is irreducible and only depends on the divisorial valuation $\nu _E$ (Proposition 2.2 in [Reference RegueraReg06]). We denote $N_\alpha :=N_{E_\alpha }$ when $E=E_\alpha$ is an essential divisor, i.e. the center of the divisorial valuation $\nu _\alpha :=\nu _{E_\alpha }$ on any resolution of singularities is an irreducible component of its exceptional locus.

Note that $Y^E_\infty$ is not contained in the space of arcs of any strict subvariety of $Y$, hence $N_E$ is not contained in the space of arcs of any strict subvariety of $X$, equivalently, the image of the arc defined by the generic point $\mathcal {P}_E$ of $N_E$ is dense in $X$. In particular, $N_E \not \subset (\textit {Sing}\ X)_\infty$, i.e. $N_E$ has finite order of contact with the Jacobian ideal $J$ of $X$, which is precisely $\nu _E(J)$. This completes the proof of Proposition 3.8. in [Reference RegueraReg06]. We conclude then that $N_E$ (hence also $N_\alpha$ for $\nu _\alpha$ essential) is an irreducible generically stable subset of $X_\infty$ as in the corrected version of Definition 3.1.

We will next connect generically stable subsets with stable subsets in $X_\infty$ (see (2.7) in [Reference Denef and LoeserDL99]). The term stable here is motivated by the foundational Denef–Loeser stability property in [Reference Denef and LoeserDL99].

C.6. [Reference Denef and LoeserDL99, Lemma 4.1] Let $X$ be an algebraic variety over a perfect field $k$, let $d= \dim X$. There exists $c \in \mathbb {N} \setminus \{0\}$ such that, for all $n, e \in \mathbb {N}$ with $n \geq ce$, the map

\[ j_{n+1}(X_\infty) \longrightarrow j_{n}(X_\infty) \]

is a piecewise trivial fibration over $j_{n}(X_\infty \setminus j_e^{-1}((\textit {Sing}\ X)_e))$ with fiber $\mathbb {A}^d_k$. That is, there exists a finite partition of $j_{n}(X_\infty \setminus j_e^{-1}((\textit {Sing}\ X)_e))$ into subsets $S$ which are locally closed in $X_n$ such that the morphism restricted to the inverse image of $S$ is a trivial fibration with fiber $\mathbb {A}^d_k$. Here $(\textit {Sing}\ X)_e$ denotes the space of arcs of order $e$ on $\textit {Sing}\ X$.

Definition C.7 (3.1 in [Reference RegueraReg09])

Let $X$ be an affine variety over a perfect field $k$ and let $\mathcal {P}$ be a point of $X_\infty$ (i.e. a prime ideal of $\mathcal {O}_{X_\infty }$). We say that $\mathcal {P}$ is a stable point of $X_\infty$ if there exist $n_1 \in \mathbb {N}$, and $G \in \mathcal {O}_{X_\infty } \setminus \mathcal {P}$, $G \in \mathcal {O}_{X_{n_1}}$ such that, for $n \geq n_1$, the map $X_{n+1} \longrightarrow X_n$ induces a trivial fibration

(4)\begin{equation} \overline{j_{n+1}(Z(\mathcal{P}))} \cap (X_{n+1})_G \longrightarrow \overline{j_n(Z(\mathcal{P}))} \cap (X_{n})_G \end{equation}

with fiber $\mathbb {A}^d_k$, where $d= \dim X$, $(X_{n})_G$ is the open subset $X_{n} \setminus Z(G)$ of $X_{n}$ and $\overline {j_n(Z(\mathcal {P}))}$ is the closure of $j_n(Z(\mathcal {P}))$ in $X_n$ with the reduced structure.

This definition extends naturally to any variety.

Proof. We may assume without loss of generality that $X$ is affine. Let $d=\dim X$ and, for $n \geq 0$, let $\mathcal {P}_{n}$ be the prime ideal of $\mathcal {O}_{{\overline {j_{n}(X_\infty )}}}$ defining $\overline {j_{n}(Z(\mathcal {P}))}$.

The assertion $\textrm {(i)} \Rightarrow \textrm {(ii)}$ is Lemma 3.2 in [Reference RegueraReg06]. We have already proved it in this note, at end of the proof of Theorem 4.1. In fact, if $Z(\mathcal {P})$ is a generically stable subset of $X_\infty$ then we have proved that

(5)\begin{equation} \textit{Spec} (\mathcal{O}_{n+1})_G / \mathcal{P}_{n+1} \cong \textit{Spec} \big((\mathcal{O}_{n})_G / \mathcal{P}_{n} \big) [{\textbf{X}}_{m-d+1,n+1}, \ldots, {\textbf{X}}_{m,n+1}] \end{equation}

for $n\gg 0$ ((2) and the last five lines in the proof of Theorem 4.1). Thus (ii) holds.

Now let $\mathcal {P}$ be a stable point of $X_\infty$. Then there exist $n_1 \in \mathbb {N}$ and $G \in \mathcal {O}_{X_\infty } \setminus \mathcal {P}$, $G \in \mathcal {O}_{X_{n_1}}$ such that, for $n \geq n_1$, the map (4) is a trivial fibration with fiber $\mathbb {A}^d_k$. Let $Y$ be the closure of the image of the arc $h_\mathcal {P}$. If $d':=\dim Y <d$ then (4) would contradict the stability property C.6 for the variety $Y$, for which the piecewise trivial fibration has fiber $\mathbb {A}^{d'}_k$. Therefore $Y=X$, i.e. the image of the arc $h_\mathcal {P}$ is dense in $X$. In particular, $Z(\mathcal {P}) \not \subset (\textit {Sing}\ X)_\infty$ and hence there exists $e \in \mathbb {N}$ such that $Z(\mathcal {P}) \subset X_\infty \setminus j_e^{-1}((\textit {Sing}\ X)_e)$. By Lemma 4.1 in [Reference Denef and LoeserDL99] (see C.6), there exist a constant $c$ and a locally closed subset $S$ of $X_{n_0}$, where $n_0=\text {sup} \{n_1, ce \}$, such that the generic point of $j_{n_0}(Z(\mathcal {P}))$ belongs to $S$ and, for $n \geq n_0$,

\[ j_{n+1}(X_\infty) \longrightarrow j_{n_0}(X_\infty) \]

induces a trivial fibration over $S$ with fiber $\mathbb {A}^{d(n+1-n_0)}_k$. Note that, for $n \geq n_0$,

\[ \overline{j_{n+1}(Z(\mathcal{P}))} \cap (X_{n+1})_G \rightarrow \overline{j_{n_0}(Z(\mathcal{P}))} \cap (X_{n})_G \]

is also a trivial fibration with fiber $\mathbb {A}^{d(n+1-n_0)}_k$. By restricting the open subset $(X_n)_G$, we may suppose that $\overline {j_{n_0}(Z(\mathcal {P}))} \cap (X_{n})_G$ is contained in $S$. It follows that the defining ideal of $\overline {j_{n+1}(Z(\mathcal {P}))} \cap (X_{n+1})_G$ is the radical of $\mathcal {P}_{n_0} ( \mathcal {O}_{X_{n+1}})_G$. Hence the defining ideal of $Z(\mathcal {P}) \cap (X_\infty )_G$ is the radical of $\mathcal {P}_{n_0} (\mathcal {O}_{X_\infty })_G$ and (i) holds. This completes the proof.

We will next show that the closed subsets of $X_\infty$ satisfying Definition 3.1 in the original version which are not generically stable subsets of $X_\infty$, are generically stable subsets of $Y_\infty$ for some subvariety $Y$ of $\textit {Sing}\ X$.

Finally, we discuss why the hypothesis of a perfect base field $k$ is needed in Theorem 4.1.