Simultaneous resolution of singularities

We prove a local theorem on simultaneous resolution of singularities, which is valid in all dimensions. This theorem is proven in dimension 2 (and in all characteristics) by Abhyankar in his book ``Ramification theoretic methods in algebraic geometry' (1959).

     

Arcs and resolution of singularities

For a certain class of varieties X, including the toric surfaces, we derive a formula for the valuation d_X on the arc space of a smooth ambient space Y, in terms of an embedded resolution of singularities. A simple transformation rule yields a formula for the geometric Poincaré series. Furthermore, we prove that for this class of varieties, the arithmetic and the geometric Poincaré series coincide. We also study the geometric valuation for plane curves.Research Assistant of the Fund for Scientific Research – Flanders (Belgium) (F.W.O.)Mathematics Subject Classification (2000): 14J17, 14E15, 14B20, 14M25, 03C98Acknowledgement The author would like to thank the referee, whose remarks have greatly improved the structure of this paper.     

Simultaneous algorithmic resolution of singularities

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.     

Topological finite-determinacy of functions with non-isolated singularities

We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal I, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the following statement which generalizes classical results of Thom and Varchenko: let A be the complement in the ideal I of the space of germs whose topological type remains unchanged under a deformation within the ideal that only modifies sufficiently large order terms of the Taylor expansion. Then A has infinite codimension in I in a suitable sense. We also prove the existence of generic topological types of families of germs of I parametrized by an irreducible analytic set.     

Topological invariants of isolated complete intersection curve singularities

In this paper we present some formulae for topological invariants of projective complete intersection curves with isolated singularities in terms of the Milnor number, the Euler characteristic and the topological genus. We also present some conditions, involving the Milnor number and the degree of the curve, for the irreducibility of complete intersection curves.     

Newton polyhedra (resolution of singularities)

Some results are presented on the resolution of singularities and compactification of an algebraic manifold determined by a system of algebraic equations with fixed Newton polyhedra and rather general coefficients. Resolution and compactification are carried out by means of smooth toric manifolds which are described in the first half of the survey.Translated from Itogi Nauki i Tekhniki, Seriya Sovremennye Problemy Matematiki, Vol. 22, pp. 207–239, 1983.     

On the resolution of 3-dimensional terminal singularities

We show that there is at most one nonrational exceptional divisor with discrepancy 1 over a three-dimensional terminal point of type cD. If such a divisor exists, then it is birationally isomorphic to the surface ¹ × C, where C is a hyperelliptic (for g(C) > 1) curve.     

On the resolution of 3-dimensional terminal singularities

We show that there is at most one nonrational exceptional divisor with discrepancy 1 over a three-dimensional terminal point of type cD. If such a divisor exists, then it is birationally isomorphic to the surface ¹ × C, where C is a hyperelliptic (for g(C) > 1) curve.Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 127–140.Original Russian Text Copyright © 2005 by D. A. Stepanov.This revised version was published online in April 2005 with a corrected issue number.     

On the resolution of singularities of ordinary differential systems

We show how some differential geometric ideas help to resolve some singularities of ordinary differential systems. Hence a singular problem is replaced by a regular one, which facilitates further analysis of the system. The methods employed are constructive and the regularized systems can also be used for numerical computations. This revised version was published online in June 2006 with corrections to the Cover Date.     

An elementary coordinate-dependent local resolution of singularities and applications

An elementary classical analysis resolution of singularities method is developed, extensively using explicit coordinate systems. The algorithm is designed to be applicable to subjects such as oscillatory integrals and critical integrability exponents. As one might expect, the trade-off for such an elementary method is a weaker theorem than Hironaka's work [H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero I, Ann. of Math. (2) 79 (1964) 109-203; H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero II, Ann. of Math. (2) 79 (1964) 205-326] or its subsequent simplications and extensions such as [E. Bierstone, P. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (2) (1997) 207-302; S. Encinas, O. Villamayor, Good points and constructive resolution of singularities, Acta Math. 181 (1) (1998) 109-158; J. Kollar, Resolution of singularities—Seattle lectures, preprint; A.N. Varchenko, Newton polyhedra and estimates of oscillatory integrals, Funct. Anal. Appl. 18 (3) (1976) 175-196]. Nonetheless the methods of this paper can be used to prove a variety of theorems of interest in analysis. As illustration, two consequences are given. First and most notably, a general theorem regarding the existence of critical integrability exponents are established. Secondly, a quick proof of a well-known inequality of Lojasiewicz [S. Lojasiewicz, Ensembles semi-analytiques, Inst. Hautes Études Sci., Bures-sur-Yvette, 1964] is given. The arguments here are substantially different from the general algorithms such as [H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero I, Ann. of Math. (2) 79 (1964) 109-203; H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero II, Ann. of Math. (2) 79 (1964) 205-326], or the elementary arguments of [E. Bierstone, P. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988) 5-42] and [H. Sussman, Real analytic desingularization and subanalytic sets: an elementary approach, Trans. Amer. Math. Soc. 317 (2) (1990) 417-461]. The methods here have as antecedents the earlier work of the author [M. Greenblatt, A direct resolution of singularities for functions of two variables with applications to analysis, J. Anal. Math. 92 (2004) 233-257], Phong and Stein [D.H. Phong, E.M. Stein, The Newton polyhedron and oscillatory integral operators, Acta Math. 179 (1997) 107-152], and Varchenko [A.N. Varchenko, Newton polyhedra and estimates of oscillatory integrals, Funct. Anal. Appl. 18 (3) (1976) 175-196].     

A note on resolution of rational and hypersurface singularities

It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type of a point.