Some properties of analytic sets with proper projections
Abstract
We give an effective criterion when an analytic set with proper projection is algebraic. We take an ideal of polynomials vanishing on the set then we construct a polydisc convenient for reduction. If this polydisc is ”large enough” we can apply the division theorem in the ring of formal power series convergent in this polydisc to prove that the set is algebraic.
References
J. Apel, J. Stückrad, P. Tworzewski, T. Winiarski, Reduction of everywhere convergent power series with respect to Gröbner bases, J. Pure Appl. Algebra 110 (1996), 113–129.
##plugins.generic.googleScholarLinks.settings.viewInGS##
D. Cox, J. Little, D. O'Shea, Ideals, Varieties, and Algorithms, Springer-Verlag, 1997.
##plugins.generic.googleScholarLinks.settings.viewInGS##
H. Grauert, R. Remmert, Analytische Stellenalgebren, Springer-Verlag, 1971 (Russian version, Moscow, 1988).
##plugins.generic.googleScholarLinks.settings.viewInGS##
M. Kreuzer, L. Robbiano, Computational Commutative Algebra, Springer-Verlag, 2000.
##plugins.generic.googleScholarLinks.settings.viewInGS##
W. Rudin, A geometric criterion for algebraic varieties, J. Math. Mech. 17 (1968), no. 7, 671–683.
##plugins.generic.googleScholarLinks.settings.viewInGS##
J. Szpond, Reduction of Power Series in a Polydisc with Respect to Gröbner Basis, Bull. Polish Acad. Sci. Math. 53 (2005), 137–145.
##plugins.generic.googleScholarLinks.settings.viewInGS##
P. Tworzewski, Intersections of Analytic Sets with Linear Subspaces, Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 17 (1990), no. 2, 227–271.
##plugins.generic.googleScholarLinks.settings.viewInGS##
