Interpolation of ideals

DOI10.4171/RMI/834MaRDI QIDQ2340468zbMATH OpenFDO

Authors Martín Avendaño, Jorge Ortigas-Galindo

Publication date 17 April 2015

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.3027

complexity ideals polynomial interpolation

Computational aspects and applications of commutative rings (13P99) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: Let K denote an algebraically closed field. We study the relation between an ideal I in K[x1,...,xn] and its cross sections I_a=I+<x1-a>. In particular, we study under what conditions I can be recovered from the set I_S={(a,I_a):a in S} with S a subset of K. For instance, we show that an ideal I=cap_i Q_i, where Q_i is primary and Q_i cap K[x1]={0}, is uniquely determined by I_S when S is infinite. Moreover, there exists a function B(d,n) such that, if I is generated by polynomials of degree at most d, then I is uniquely determined by I_S when |S|>=B(d,n). If I is also known to be principal, the reconstruction can be done when |S|>=2d, and in this case, we prove that the bound is sharp.

Review text

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}}

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Interpolation of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340468)