2010/05/05 by Nobile, Augusto
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.1005.0786
This paper studies the concept of algorithmic equiresolution of a family of embedded varieties or ideals, which means a simultaneous resolution of such a family compatible with a given (suitable) algorithm of resolution in characteristic zero. The paper's approach is more indirect: it primarily considers the more general case of families of basic objects (or marked ideals). A definition of algorithmic equiresolution is proposed, which applies to families whose parameter space T may be non-reduced, e.g., the spectrum of a suitable artinian ring. Other definitions of algorithmic equiresolution are also discussed. These are geometrically very natural, but the parameter space T of the family must be assumed regular. It is proven that when T is regular all the proposed definitions are equivalent.