Milnor open books and Milnor fillable contact 3-manifolds

We say that an oriented contact manifold (M,ξ) is Milnor fillable if it is contactomorphic to the contact boundary of an isolated complex-analytic singularity (X,x). In this article we prove that any three-dimensional oriented manifold admits at most one Milnor fillable contact structure up to contactomorphism. The proof is based on Milnor open books: we associate an open book decomposition of M with any holomorphic function f:(X,x)→(C,0), with isolated singularity at x and we verify that all these open books carry the contact structure ξ of (M,ξ)—generalizing results of Milnor and Giroux.     

The vanishing Euler characteristic of an isolated determinantal singularity

Let (X, 0) be a complex analytic isolated determinantal singularity. We will define the vanishing Euler characteristic of (X, 0) and the Milnor number of a holomorphic function germ with an isolated singularity on X, f: (X, 0) → ?.     

The jump of the Milnor number in the X 9 singularity class

The jump of the Milnor number of an isolated singularity f ₀ is the minimal non-zero difference between the Milnor numbers of f ₀ and one of its deformations (f _s ). We prove that for the singularities in the X ₉ singularity class their jumps are equal to 2.     

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.     

Non-trivial simple poles at negative integers and mass concentration at singularity

Let (X,0) be the germ of a normal space of dimension n+1 and let f be the germ at 0 of a holomorphic function on X. Assume both X and f have an isolated singularity at 0. Denote by J the image of the restriction map , where F is the Milnor fibre of f at 0. We prove that the canonical Hermitian form on , given by poles of order at in the meromorphic extension of , passes to the quotient by J and is non-degenerate on . We show that any non-zero element in J produces a “mass concentration” at the singularity which is related to a simple pole concentrated at for (in a non-na?ve sense). We conclude with an application to the asymptotic expansion of oscillatory integrals , for , when . Received: 28 May 2001 / Published online: 26 April 2002     

Die Zahl der Spitzen und die Jacobi-Algebra einer isolierten Hyperflächensingularität

Let f{x_o,...,x_n} define a germ of a complex analytic hypersurface (X_o,0) with isolated singularity. We show that the number of cusps of the unfolded discriminant curve is an invariant of the Jacobian algebra {x,_o},...,x_n/(f/x_o,...,f/x_n) of f. Moreover we show that this number + 1 equals the sum of the Milnor numbers of (X_o,0) and of the polar curve of (X_o,0). Our result generalizes formulas of Iversen and Lê for plane curves to arbitrary dimensions.     

The Euler obstruction of a function on a determinantal variety and on a curve

Given an analytic function germ f: (X, 0) → C on an isolated determinantal singularity or on a reduced curve, we present formulas relating the local Euler obstruction of f to the vanishing Euler characteristic of the fiber X ∩ f^-1(0) and to the Milnor number of f. Restricting ourselves to the case where X is a complete intersection, we obtain an easy way to calculate the local Euler obstruction of f as the difference between the dimension of two algebras.     

On splice quotients of the form {zn = f(x,y)}

The splice quotients, defined by W. D. Neumann and J. Wahl, are an interesting class of normal surface singularities with rational homology sphere links. In general, it is difficult to determine whether or not a singularity is analytically isomorphic to a splice quotient, although there are certain necessary topological conditions. Let {zⁿ = f(x, y)} define a surface X_{f, n} with an isolated singularity at the origin in $\mathbb {C}^3$. We show that for irreducible f, if (X_{f, n}, 0) satisfies the necessary topological conditions, then there exists a splice quotient of the form (X_{g, n}, 0), where the plane curve singularity defined by g = 0 has the same topological type as the one defined by f = 0. We also present an example of an (X_{f, n}, 0) that is not a splice quotient, but for which the universal abelian cover is a complete intersection of splice type together with a non‐diagonal action of the discriminant group. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

Minimal kernels of weakly complete spaces

Let X be a weakly complete space i.e. X a complex space endowed with a C^k-smooth, k?0, plurisubharmonic exhaustion function. We give the notion of minimal kernelΣ¹=Σ¹(X) of X by the following property: x∈Σ¹ if no continuous plurisubharmonic exhaustion function is strictly plurisubharmonic near x. The study of the geometric properties of the minimal kernels is the aim of present paper. After stating that the minimal kernel Σ¹ of a weakly complete space can be defined by a single plurisubharmonic exhaustion function ?, called minimal, using the characterization in terms of Bremermann envelopes, we prove the following, crucial, result: if X is a weakly complete manifold and ? a minimal function for X, the nonempty level sets Σ_c¹=Σ¹∩{?=c} have the local maximum property. In the last section we discuss the special case of weakly complete surfaces. We prove that if dim_cX=2 and c is a regular value of a minimal function ? then the nonempty level sets Σ_c¹=Σ¹∩{?=c} are compact spaces foliated by holomorphic curves.     

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.     

Universal abelian covers of certain surface singularities

Every normal complex surface singularity with -homology sphere link has a universal abelian cover. It has been conjectured by Neumann and Wahl that the universal abelian cover of a rational or minimally elliptic singularity is a complete intersection singularity defined by a system of ``splice diagram equations'. In this paper we introduce a Neumann-Wahl system, which is an analogue of the system of splice diagram equations, and prove the following. If (X, o) is a rational or minimally elliptic singularity, then its universal abelian cover (Y, o) is an equisingular deformation of an isolated complete intersection singularity (Y₀, o) defined by a Neumann-Wahl system. Furthermore, if G denotes the Galois group of the covering Y → X, then G also acts on Y₀ and X is an equisingular deformation of the quotient Y₀/G. Dedicated to Professor Jonathan Wahl on his sixtieth birthday. This research was partially supported by the Grant-in-Aid for Young Scientists (B), The Ministry of Education, Culture, Sports, Science and Technology, Japan.     

Approximation of analytic sets along Nash subvarieties

Let X be an analytic subset of pure dimension n of an open set U ⊂ C^m and let E be a Nash subset of U such that E ⊂ X.Then for every a ∈ E there is an open neighborhood V of a in U and a sequence {X_v} of complex Nash subsets of V of pure dimension n converging to X ∩ V in the sense of holomorphic chains such that the following hold for every v ∈ N: E ∩ V ⊂ X_v and the multiplicity of X_v at x equals the multiplicity of X at x for every x in a dense open subset of E ⊂ V.     

Simultaneous rational approximation to the successive powers of a real number

Let n be an integer ≥ 1 and let θ be a real number which is not an algebraic number of degree ≤ [n/2]. We show that there exist ? > 0 and arbitrary large real numbers X such that the system of linear inequalities |x₀| ≤ X and |x₀θ^j − x_j| ≤ ?X^−1/[n/2] for 1 < j < n, has only the zero solution in rational integers x₀,…, x_n. This result refines a similar statement due to H. Davenport and W. M. Schmidt, where the upper integer part [n/2] is replaced everywhere by the integer part [n/2]. As a corollary, we improve slightly the exponent of approximation to 0 by algebraic integers of degree n + 1 over Q obtained by these authors.     

Lê–Greuel type formula for the Euler obstruction and applications

The Euler obstruction of a function f   can be viewed as a generalization of the Milnor number for functions defined on singular spaces. In this work, using the Euler obstruction of a function, we establish several Lê–Greuel type formulas for germs f:(X,0)→(C,0)$f:(X,0)\to (\mathbb{C},0)$ and g:(X,0)→(C,0)$g:(X,0)\to (\mathbb{C},0)$. We give applications when g is a generic linear form and when f and g have isolated singularities.     

The singularity spectrum of Lévy processes in multifractal time

Let X=(Xt)_t?0 be a Lévy process and μ a positive Borel measure on R₊. Suppose that the integral of μ defines a continuous increasing multifractal time . Under suitable assumptions on μ, we compute the singularity spectrum of the sample paths of the process X in time μ defined as the process (XF(t))_t?0.A fundamental example consists in taking a measure μ equal to an “independent random cascade” and (independently of μ) a suitable stable Lévy process X. Then the associated process X in time μ is naturally related to the so-called fixed points of the smoothing transformation in interacting particles systems.Our results rely on recent heterogeneous ubiquity theorems.     

Modular metric spaces, I: Basic concepts

The notion of a modular is introduced as follows. A (metric) modular on a set X is a function w:(0,∞)×X×X→[0,∞] satisfying, for all x,y,z∈X, the following three properties: x=y if and only if w(λ,x,y)=0 for all λ>0; w(λ,x,y)=w(λ,y,x) for all λ>0; w(λ+μ,x,y)≤w(λ,x,z)+w(μ,y,z) for all λ,μ>0. We show that, given x₀∈X, the set X_w={x∈X:lim_λ→∞w(λ,x,x₀)=0} is a metric space with metric , called a modular space. The modular w is said to be convex if (λ,x,y)?λw(λ,x,y) is also a modular on X. In this case X_w coincides with the set of all x∈X such that w(λ,x,x₀)<∞ for some λ=λ(x)>0 and is metrizable by . Moreover, if or , then ; otherwise, the reverse inequalities hold. We develop the theory of metric spaces, generated by modulars, and extend the results by H. Nakano, J. Musielak, W. Orlicz, Ph. Turpin and others for modulars on linear spaces.     

Existence and porosity for a class of perturbed optimization problems in Banach spaces

Let X be a Banach space and Z a nonempty closed subset of X. Let be an upper semicontinuous function bounded from above. This paper is concerned with the perturbed optimization problem supz∈Z{J(z)+‖x−z‖}, which is denoted by (x,J)-sup. We shall prove in the present paper that if Z is a closed boundedly relatively weakly compact nonempty subset, then the set of all x∈X for which the problem (x,J)-sup has a solution is a dense Gδ-subset of X. In the case when X is uniformly convex and J is bounded, we will show that the set of all points x in X for which there does not exist z₀∈Z such that J(z₀)+‖x−z₀‖=supz∈Z{J(z)+‖x−z‖} is a σ-porous subset of X and the set of all points x∈X?Z⁰ such that there exists a maximizing sequence of the problem (x,J)-sup which has no convergent subsequence is a σ-porous subset of X?Z⁰, where Z⁰ denotes the set of all z∈Z such that z is in the solution set of (z,J)-sup.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Hilbert curves of polarized varieties

Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety V_X associated to the Hilbert polynomial χ(x₁L₁+?+x_ρL_ρ), where L₁,…,L_ρ is a basis of , ρ being the Picard number of X, and x₁,…,x_ρ are complex variables. After studying general properties of V_X we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xK_X+yL). Special emphasis is given to the case of polarized threefolds.