If $R=k[x_1,...,x_n]$ is a polynomial ring in $n$ indeterminates over a field $k$ of characteristic $0$, there is a characterization of the symbolic square of a prime ideal $P$ (the $n$-th symbolic power is defined as the $P^{(n)}:=P^nR_P\cap R$) due to Zariski and Nagata, which is as follows $$P^{(2)}=\{f\in R: \frac{\partial f}{\partial x_i}\in P, i=1,2,...,n\}$$

This is a special case of a general result on radical ideals (based on differential operators). I was wondering if anyone is aware of a simpler proof for the symbolic square case.

The containment is easy: for if $f\in P^{(2)}$, then there is a nonzerodivisor $g$ on $P$ such that $fg\in P^2$. So, $f\frac{\partial g}{\partial x_i} + g\frac{\partial f}{\partial x_i} \in P$, so $g\frac{\partial f}{\partial x_i} \in P$, so $\frac{\partial f}{\partial x_i}\in P$.

If $R=k[x_1,...,x_n]$ is a polynomial ring in $n$ indeterminates over a field $k$ of characteristic $0$, there is a characterization of the symbolic square of a prime ideal $P$ (the $n$-th symbolic power is defined as the $P^{(n)}:=P^nR_P\cap R$) due to Zariski and Nagata, which is as follows $$P^{(2)}=\{f\in P: \frac{\partial f}{\partial x_i}\in P, i=1,2,...,n\}$$

This is a special case of a general result on radical ideals (based on differential operators). I was wondering if anyone is aware of a simpler proof for the symbolic square case.

The containment is easy: for if $f\in P^{(2)}$, then there is a nonzerodivisor $g$ on $P$ such that $fg\in P^2$. So, $f\frac{\partial g}{\partial x_i} + g\frac{\partial f}{\partial x_i} \in P$, so $g\frac{\partial f}{\partial x_i} \in P$, so $\frac{\partial f}{\partial x_i}\in P$.

If $R=k[x_1,...,x_n]$ is a polynomial ring in $n$ indeterminates over a field $k$ of characteristic $0$, there is a characterization of the symbolic square of a prime ideal $P$ (the $n$-th symbolic power is defined as the $P^{(n)}:=P^nR_P\cap R$) due to Zariski and Nagata, which is as follows $$P^{(2)}=\{f\in R: \frac{\partial f}{\partial x_i}\in P, i=1,2,...,n\}$$

This is a special case of a general result on radical ideals (based on differential operators). I was wondering if anyone is aware of a simpler proof for the symbolic square case.

If $R=k[x_1,...,x_n]$ is a polynomial ring in $n$ indeterminates over a field $k$ of characteristic $0$, there is a characterization of the symbolic square of a prime ideal $P$ (the $n$-th symbolic power is defined as the $P^{(n)}:=P^nR_P\cap R$) due to Zariski and Nagata, which is as follows $$P^{(2)}=\{f\in R: \frac{\partial f}{\partial x_i}\in P, i=1,2,...,n\}$$

This is a special case of a general result on radical ideals (based on differential operators). I was wondering if anyone is aware of a simpler proof for the symbolic square case.

The containment is easy: for if $f\in P^{(2)}$, then there is a nonzerodivisor $g$ on $P$ such that $fg\in P^2$. So, $f\frac{\partial g}{\partial x_i} + g\frac{\partial f}{\partial x_i} \in P$, so $g\frac{\partial f}{\partial x_i} \in P$, so $\frac{\partial f}{\partial x_i}\in P$.