A note on the Eisenbud-Mazur conjecture (Q2259183)

\textit{D. Eisenbud} and \textit{B. Mazur} [J. Reine Angew. Math. 488, 189--201 (1997; Zbl 0912.13010)] studied symbolic powers in connection with the question of existence of non-trivial evolutions which leads to the Eisenbud-Mazur conjecture: Conjecture. Given a regular local ring \(\mathfrak (R, \mathfrak m)\) containing a field of characteristic zero and an unmixed ideal \(I\) in \(R\), \(I^{(2)}\subseteq \mathfrak mI\). The paper under review uses computation to prove the conjecture holds in a special case: \(R=k[[t^2, x_1, \ldots, x_m]]\) a subring of the formal power series ring \(k[[t, x_1, \ldots, x_m]]\) over a field \(k\); \(I= R\cap Q_1= R\cap Q_2\) a prime ideal of \(R\), where \(Q_1=(x_1-f_1(t), \ldots, x_m-f_m(t))\) and \(Q_2=(x_1-f_1(-t), \ldots, x_m-f_m(-t))\) are prime ideals of \(k[[t, x_1, \ldots, x_m]]\), with \(f_1(t), \ldots, f_m(t) \in k[[t]]\).