Showing 1–4 of 4 results for author: Fortuna, E

Tangential approximation of analytic sets

Authors: M. Ferrarotti, E. Fortuna, L. Wilson

Abstract: Two subanalytic subsets of $ \mathbb R^n$ are called $s$-equivalent at a common point $P$ if the Hausdorff distance between their intersections with the sphere centered at $P$ of radius $r$ vanishes to order $>s$ as $r$ tends to $0$. In this work we strengthen this notion in the case of real subanalytic subsets of $\mathbb R^n$ with isolated singular points, introducing the notion of tangential… ▽ More Two subanalytic subsets of $ \mathbb R^n$ are called $s$-equivalent at a common point $P$ if the Hausdorff distance between their intersections with the sphere centered at $P$ of radius $r$ vanishes to order $>s$ as $r$ tends to $0$. In this work we strengthen this notion in the case of real subanalytic subsets of $\mathbb R^n$ with isolated singular points, introducing the notion of tangential $s$-equivalence at a common singular point which considers also the distance between the tangent planes to the sets near the point. We prove that, if $V(f)$ is the zero-set of an analytic map $f$ and if we assume that $V(f)$ has an isolated singularity, say at the origin $O$, then for any $s\geq 1$ the truncation of the Taylor series of $f$ of sufficiently high order defines an algebraic set with isolated singularity at $O$ which is tangentially $s$-equivalent to $V(f)$. △ Less

Submitted 15 May, 2019; originally announced May 2019.

MSC Class: 14P15 (Primary); 32B20; 32S05 (Secondary)

Journal ref: Rocky Mountain J. Math. 50 (2020) 125-133

Algebraic approximation preserving dimension

Authors: Massimo Ferrarotti, Elisabetta Fortuna, Leslie Wilson

Abstract: We prove that each semialgebraic subset of $\R^n$ of positive codimension can be locally approximated of any order by means of an algebraic set of the same dimension. As a consequence of previous results, algebraic approximation preserving dimension holds also for semianalytic sets. We prove that each semialgebraic subset of $\R^n$ of positive codimension can be locally approximated of any order by means of an algebraic set of the same dimension. As a consequence of previous results, algebraic approximation preserving dimension holds also for semianalytic sets. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 10 pages, 1 figure

MSC Class: 14P15

Local algebraic approximation of semianalytic sets

Authors: Massimo Ferrarotti, Elisabetta Fortuna, Leslie Wilson

Abstract: Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we prove that every s-equivalence class of a closed semianalytic set contains a semialgebraic representative of the same dimension. In other words any semianalytic… ▽ More Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we prove that every s-equivalence class of a closed semianalytic set contains a semialgebraic representative of the same dimension. In other words any semianalytic set can be locally approximated of any order s by means of a semialgebraic set and hence, by previous results, also by means of an algebraic one (so long as the semianalytic set has codimension at least 1). △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: 10 pages, 0 figures, amslatex

MSC Class: 14P15; 32B20; 32S05 (Primary)

Ideals of curves given by points

Authors: E. Fortuna, P. Gianni, B. Trager

Abstract: Let C be an irreducible projective curve of degree d in Pn(K), where K is an algebraically closed field, and let I be the associated homogeneous prime ideal. We wish to compute generators for I, assuming we are given sufficiently many points on the curve C. In particular if I can be generated by polynomials of degree at most m and we are given md + 1 points on C, then we can find a set of generato… ▽ More Let C be an irreducible projective curve of degree d in Pn(K), where K is an algebraically closed field, and let I be the associated homogeneous prime ideal. We wish to compute generators for I, assuming we are given sufficiently many points on the curve C. In particular if I can be generated by polynomials of degree at most m and we are given md + 1 points on C, then we can find a set of generators for I. We will show that a minimal set of generators of I can be constructed in polynomial time. Our constructions are completely independent of any notion of term ordering; this allows us the maximal freedom in performing our constructions in order to improve the numerical stability. We also summarize some classical results on bounds for the degrees of the generators of our ideal in terms of the degree and genus of the curve. △ Less

Submitted 29 February, 2012; originally announced February 2012.