Inspiration of a real algebraic hypersurface
type: Item
instance of: scholarly article
title: Inspiration of a real algebraic hypersurface
zbMATH Open document ID: 0788.14051
author: Michel Coste
published in: Proceedings of the Japan Academy. Series A
publication date: 1993-06-29T00:00:00Z
review text: The author gives a nice proof (working also in the case of a real closed field) ot a result of Hironaka on the existence of a deformation of a real surface with equation \(P=0\), such that it has the same degree as \(P\) and moreover all the set \(P=0\) is contained in the closure of the deformation. This does not happen, for instance, if one deforms the curve \[ P(x,y)=x[(x-1)^ 2(x+1)^ 2+Y^ 2)]=0 \] with \(P=\varepsilon\). If \(d=\deg P\), Hironaka's proof uses polynomials of the form: \[ P^{(0)}=P,\quad P^{(I+1)}=P^{(I)}+\sum^ n_{i=1}t_ i^{(I+1)}{\partial P^{(I)}\over\partial X_ i} \] with \(I=1,\dots,d\). In the case of a real closed field \(R\), the indeterminates are choosen to be infinitesimal with respect to \(R\). Suppose \(P^{(0)}\) to be monic with respect to the variable \(x_ 1\): then the first perturbation by an infinitesimal \(\varepsilon_ 1\) separates a simple root from a multiple one. Then a generic perturbation is given by other infinitesimals without loosing the simple root. At the end of the process one can eliminate the infinitesimals and get a deformation with parameters in an open set of the space of polynomials of degree \(d\). A bound on the number of connected components of a hypersurface of degree \(d\) is proved as a consequence of the main theorem. The author gets similar results also for the case of projective hypersurfaces.
Mathematics Subject Classification ID: 14P05
Mathematics Subject Classification ID: 14J70
zbMATH DE Number: 221209
zbMATH Keywords: deformation of a real surface
zbMATH Keywords: real closed field
zbMATH Keywords: perturbation
zbMATH Keywords: number of connected components of a hypersurface
reviewed by: Fabrizio Broglia
MaRDI profile type: Publication
full work available at URL: pjaa.68.175
OpenAlex ID: W1998770591
cites work: Q3996250
cites work: Cohomologie des variétés algébriques
DOI: 10.3792/PJAA.68.175
description: scientific article; zbMATH DE number 221209