Abstract | ||
---|---|---|
Consider an ideal I ⊂ R = C[x1,...,xn] defining a complex affine variety X ⊂ Cn. We describe the components associated to I by means of numerical primary decomposition (NPD). The method is based on the construction of deflation ideal I(d) that defines the deflated variety X(d) in a complex space of higher dimension. For every embedded component there exists d and an isolated component Y(d) of I(d) projecting onto Y. In turn, Y(d) can be discovered by existing methods for prime decomposition, in particular, the numerical irreducible decomposition, applied to X(d). The concept of NPD gives a full description of the scheme Spec(R/I) by representing each component with a witness set. We propose an algorithm to produce a collection of witness sets that contains a NPD and that can be used to solve the ideal membership problem for I. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1390768.1390793 | ISSAC |
Keywords | Field | DocType |
deflated variety x,complex affine variety x,deflation ideal,numerical primary decomposition,witness set,isolated component y,numerical irreducible decomposition,ideal membership problem,embedded component,prime decomposition,deflation | Discrete mathematics,Existential quantification,Prime decomposition,Affine variety,Primary decomposition,Numerical algebraic geometry,Complex space,Witness set,Membership problem,Mathematics | Conference |
Citations | PageRank | References |
7 | 0.65 | 12 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anton Leykin | 1 | 173 | 18.99 |