Interpolation of ideals (Q2340468)

In this paper, a generalization of the following statement in higher dimensions is considered: Suppose that \(K\) is an algebraically closed field, and consider the set of couples \(\{(x_{i},y_{i}) \in K^2 : i=1,\dots d+1 \}\). Then, there exists a unique polynomial \(f\) of degree \(d\) such that \(f(x_{i})=y_{i}\). To be more precise, a degree \(d\) planar algebraic curve is uniquely determined by its intersection with \(d+1\) parallel lines \(\{x_{1}=a\}\). Reformulating the statement in higher dimensions gives rise to the problem of reconstructing an algebraic variety from its intersection with parallel hyperplanes. One will consider this problem by proving in the first place two algebraic results and finally giving a result concerning the stated problem above. Let us introduce some terminology. For an ideal \(I\) in the ring of polynomials in \(n\) variables we call cross section the ideal \(I + <x_{1}-a>\). The first result concerns the case when there exists finitely many known cross sections. The first part of the result states that the radical of \(I\) is equal to the intersection over all the \(a\) in \(K\) of the radical \(\mathrm{rad}(I + <x_{1}-a>)\). The second part states that: \(I=\bigcap_{a \in K}\bigcap_{k\geq 1} I+<x_{1}-a>^k.\) The second result concerns the situation where there exist infinitely many known cross sections. From the algebraic point of view, the problem is to recover the ideal \(I\) from the set \(\{(a, I+<x_{1}-a>):a\in S \}\), where \(S \subset K\) is infinite. Note that one can construct only varieties with no irreducible components included in a hyperplane \(\{x_{1}=a\}\). This condition is denoted by (1). If this condition (1) is fulfilled then, \(\mathrm{rad}(I)=\bigcap_{a\in S} \mathrm{rad}(I+<x-a>)\), where \(S\) is an infinite set in \(K\) and \(I=\bigcap_{a\in S} I + <x_{1}-a >\). The third result discusses the possibility of reconstructing a variety from finitely many cross sections. We will state this theorem: Let \(I=<f_{1},\dots,f_{r}>\subset K[x_{1}, \dots,x_{n}]\) be an ideal, let \(S\) is a finite set in \(K\) and \(f \in K\) satisfy : \(\deg(f)\leq d\). Let \(\delta =\max\{\deg(f_{i}), i=1,\dots,r\}\). {\parindent=6mm \begin{itemize} \item[-] \(I\) satisfies condition (1) with respect to \(x_{1}\) and \(|S|> (d+1)\deg(V(I))\), then \(f\in \mathrm{rad}(I) \iff f\in \mathrm{rad}(I+<x_{1}-a>), \forall a \in S\) where \(\deg(V(I))\) is the maximum of the degrees of the irreducible components of \(V(I)\). \item [-] \(I\) satisfies condition (1) with respect to \(x_{1}\), and \(|S|> ( (d+2(\delta r)^{2^{n-1}} )^n +1)max\{d,\delta\}\) then \(f\in I \iff f\in I +<x_{1}-a> \forall a\in S .\) \end{itemize}}