A note on the Eisenbud-Mazur conjecture (Q2259183)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on the Eisenbud-Mazur conjecture |
scientific article |
Statements
A note on the Eisenbud-Mazur conjecture (English)
0 references
27 February 2015
0 references
\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]]\).
0 references
Eisenbud-Mazur conjecture
0 references
symbolic powers
0 references