The embedding conjecture for quasi-ordinary hypersurfaces

This paper has two objectives: we first generalize the theory of Abhyankar-Moh to quasi-ordinary polynomials, then we use the notion of approximate roots and that of generalized Newton polygons in order to prove the embedding conjecture for this class of polynomials. This conjecture-made by S.S. Abhyankar and A. Sathaye-says that if a hypersurface of the affine space is isomorphic to a coordinate, then it is equivalent to it.     

Relative morsification theory

In this paper we develop a Morsification Theory for holomorphic functions defining a singularity of finite codimension with respect to an ideal, which recovers most previously known morsification results for non-isolated singularities and generalise them to a much wider context. We also show that deforming functions of finite codimension with respect to an ideal within the same ideal respects the Milnor fibration. Furthermore we present some applications of the theory: we introduce new numerical invariants for non-isolated singularities, which explain various aspects of the deformation of functions within an ideal; we define generalisations of the bifurcation variety in the versal unfolding of isolated singularities; applications of the theory to the topological study of the Milnor fibration of non-isolated singularities are presented. Using intersection theory in a generalised jet-space we show how to interpret the newly defined invariants as certain intersection multiplicities; finally, we characterise which invariants can be interpreted as intersection multiplicities in the above mentioned generalised jet space.     

Lʼindice des champs de vecteurs sur les courbes de Cohen–Macaulay

In this paper a new method for computing the topological index of a vector field at Cohen–Macaulay curves is described. It is based on properties of regular meromorphic differential forms which are used for computing the homological index of vectors fields introduced by X. Gómez-Mont. In particular, we show how to compute the index at quasihomogeneous Gorenstein curves and complete intersections, at monomial curves, at Cohen–Macaulay space curves, and others. In contrast to previous articles on this subject we do not use the technique of spectral sequences, or computer algebra systems for symbolic calculations.     

Local metric properties of semi-quasihomogeneous real surfaces

We show that a generic semi-quasihomogeneous surface germ in R³ with isolated singularity is bi-Lipschitz homeomorphic, with respect to the inner metric, to its quasihomogeneous approximation.     

Refinements of Milnor's fibration theorem for complex singularities

Let X be an analytic subset of an open neighbourhood U of the origin in Cn. Let be holomorphic and set V=f−1(0). Let Bε be a ball in U of sufficiently small radius ε>0, centred at . We show that f has an associated canonical pencil of real analytic hypersurfaces Xθ, with axis V, which leads to a fibration Φ of the whole space (X∩Bε)?V over S¹. Its restriction to (X∩Sε)?V is the usual Milnor fibration , while its restriction to the Milnor tube f−1(∂Dη)∩Bε is the Milnor-Lê fibration of f. Each element of the pencil Xθ meets transversally the boundary sphere Sε=∂Bε, and the intersection is the union of the link of f and two homeomorphic fibres of ? over antipodal points in the circle. Furthermore, the space obtained by the real blow up of the ideal (Re(f),Im(f)) is a fibre bundle over RP¹ with the Xθ as fibres. These constructions work also, to some extent, for real analytic map-germs, and give us a clear picture of the differences, concerning Milnor fibrations, between real and complex analytic singularities.     

Ein Torelli-Satz für die unimodalen und bimodularen Hyperflächensingularitäten

Ohne Zusammenfassung

---

     

Unitary local systems, multiplier ideals, and polynomial periodicity of Hodge numbers

The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural stratifications of this space. We prove a structure theorem for these stratifications in terms of complex tori and convex rational polytopes, generalizing to the quasi-projective case results of Green-Lazarsfeld and Simpson. As an application we show the polynomial periodicity of Hodge numbers hq,0 of congruence covers in any dimension, generalizing results of E. Hironaka and Sakuma. We extend the structure theorem and polynomial periodicity to the setting of cohomology of unitary local systems. In particular, we obtain a generalization of the polynomial periodicity of Betti numbers of unbranched congruence covers due to Sarnak-Adams. We derive a geometric characterization of finite abelian covers, which recovers the classic one and the one of Pardini. We use this, for example, to prove a conjecture of Libgober about Hodge numbers of abelian covers.     

The Hodge filtration and the contact-order filtration of derivations of Coxeter arrangements

The Hodge filtration of the module of derivations on the orbit space of a finite real reflection group acting on an ℓ-dimensional Euclidean space was introduced and studied by K. Saito [5] [6]. It is closely related to the flat structure or the Frobenius manifold structure. We will show that the Hodge filtration coincides with the filtration by the order of contacts to the reflecting hyperplanes. Moreover, a standard basis for the Hodge filtration is explicitly given.Partially supported by the Grant-in-aid for scientific research (No. 14340018 and 13874005), the Ministry of Education, Sports, Science and Technology, Japan     

Characteristic classes of complex hypersurfaces

The Milnor-Hirzebruch class of a locally complete intersection X in an algebraic manifold M measures the difference between the (Poincaré dual of the) Hirzebruch class of the virtual tangent bundle of X and, respectively, the Brasselet-Schürmann-Yokura (homology) Hirzebruch class of X. In this note, we calculate the Milnor-Hirzebruch class of a globally defined algebraic hypersurface X in terms of the corresponding Hirzebruch invariants of vanishing cycles and singular strata in a Whitney stratification of X. Our approach is based on Schürmann's specialization property for the motivic Hirzebruch class transformation of Brasselet-Schürmann-Yokura. The present results also yield calculations of Todd, Chern and L-type characteristic classes of hypersurfaces.     

Reflexive modules on normal surface singularities and representations of the local fundamental group

We consider the Riemann-Hilbert correspondence on the complement of a normal surface singularity (X,x). Through a closure operation we obtain a correspondence between the category of finite dimensional representations of the local fundamental group and the category of left D_X,x-modules that are reflexive as O_X,x-modules. We show that under this correspondence profinite representations correspond to invariant modules and that these admit a canonical structure as left D_X,x-modules. We prove that the fundamental module is an invariant module if and only if (X,x) is a quotient singularity. Finally we investigate some algebraisation aspects.     

Invariant of the hypergeometric group associated to the quantum cohomology of the projective space

We present a simple method to calculate the Stokes matrix for the quantum cohomology of the projective spaces CP^k−1 in terms of certain hypergeometric group. We present also an algebraic variety whose fibre integrals are solutions to the given hypergeometric equation.     

Notes on trimodal singularities

Singularities of functions of modality 1 or 2 were classified by Arnold [3]. Types of those of modality 3 were listed in [14]. Here we show that these are all Newton non-degenerate in the extended sense introduced in [17], and use this fact to obtain explicit regular bases and precise normal forms for right and for contact equivalence. This requires care since the only existing method for non-semiquasihomogeneous germs (using Arnold's “Condition A”) does not apply to all our cases. Received: 8 February 1999 / Revised version: 28 May 1999     

Jacobian quotients, an algebraic proof

We give an algebraic proof of a theorem of H. Maugendre showing how the jacobian quotients of a pair of germs of plane curve may be computed from their simultaneous immerged resolution, thus proving in particular their topological invariance.     

Vanishing cycles of pencils of hypersurfaces

We prove an extended Lefschetz principle for a large class of pencils of hypersurfaces having isolated singularities, possibly in the axis, and show that the module of vanishing cycles is generated by the images of certain variation maps.     

Holomorphic cohomology groups on compact Kähler complex spaces

Let (X,OX) be a compact (reduced) complex space, bimeromorphic to a Kähler manifold. The singular cohomology groups Hq(X,C) carry a mixed Hodge structure. In particular they carry a weight filtration W−lHq(X,C) (l=0,…,q), and the graded quotients have a direct sum decomposition into holomorphic invariants as . Here we investigate the relationships between the above invariants for r=0 and the cohomology groups , where is the sheaf of weakly holomorphic functions on X. Moreover, according to the smooth case, we characterize the topological line bundles L on X such that the class of c₁(L) in has pure type (1,1).     

Holomorphic dynamics near germs of singular curves

Let M be a two dimensional complex manifold, p ∈ M and a germ of holomorphic foliation of M at p. Let be a germ of an irreducible, possibly singular, curve at p in M which is a separatrix for . We prove that if the Camacho-Sad-Suwa index Ind then there exists another separatrix for at p. A similar result is proved for the existence of parabolic curves for germs of holomorphic diffeomorphisms near a curve of fixed points.     

Towards an Algebraic Proof of Deligne’s Regularity Criterion. An Informal Survey of Open Problems

We review the notion of regular singular point of a linear differential equation with meromorphic coefficients, from the viewpoint of algebraic geometry. We give several equivalent definitions of regularity along a divisor for a meromorphic connection on a complex algebraic manifold and discuss the global birational theory of fuchsian differential modules over a field of algebraic functions. We describe the generalized algebraic version of Deligne’s canonical extension, constructed in [1, I.4]. Our main interest lies in the algebraic form of Deligne’s regularity criterion [2, II.4.4 (iii)], asserting that, on a normal compactification, only one codimensional components of the locus at infinity need to be considered. If one considers the purely algebraic nature of the statement, it is surprising that the only existing proof of this criterion is the transcendental argument given by Deligne in his corrigendum to loc. cit. dated April 1971. The algebraic proof given in our book [1, I.5.4] is also incorrect, as J. Bernstein kindly indicated to us.We introduce some notions of logarithmic geometry to let the reader appreciate Bernstein’s (counter)examples to some statements in our book [1]. Standard methods of generic projection in projective spaces reduce the question to a two-dimensional puzzle. We report on ongoing correspondence with Y. André and N. Tsuzuki, leading to partial results and provide examples indicating the subtlety of the problem. Lecture held in the Seminario Matematico e Fisico on January 31, 2005 Received: June 2005     

Topological equisingularity of hypersurfaces with 1-dimensional critical set

We focus on topological equisingularity of families of holomorphic function germs with 1-dimensional critical set. We introduce the notion of equisingularity at the critical set and prove that any family which is equisingular at the critical set is topologically equisingular. We show that if a family of germs with 1-dimensional critical set has constant generic Lê numbers then it is equisingular at the critical set, and hence topologically equisingular (answering a question of D. Massey [13]). It is worth to remark that this does not happen for higher dimensional critical set [5]. We use these topological triviality results to modify the definition of singularity stem present in the literature, introducing and characterising topological stems (being this concept closely related with Arnold?s series of singularities). We provide another sufficient condition for topological equisingularity for families whose reduced critical set is deformed flatly. Finally we study how the critical set can be deformed in a topologically equisingular family and provide examples of topologically equisingular families whose critical set is a non-flat deformation with singular special fibre and smooth generic fibre.     

Generic linear sections of complex hypersurfaces and monomial ideals

Let f:(Cn,0)→(C,0) be an analytic function germ. Under the hypothesis that f is Newton non-degenerate, we compute the μ^?-sequence of f in terms of the Newton polyhedron of f. This sequence was defined by Teissier in order to characterize the Whitney equisingularity of deformations of complex hypersurfaces.