Fibonacci numbers and self-dual lattice structures for plane branches

Consider a plane branch, that is, an irreducible germ of curve on a smooth complex analytic surface. We define its blow-up complexity as the number of blow-ups of points necessary to achieve its minimal embedded resolution. We show that there are $F_{2n-4}$ topological types of blow-up complexity $n$, where $F_{n}$ is the $n$-th Fibonacci number. We introduce complexity-preserving operations on topological types which increase the multiplicity and we deduce that the maximal multiplicity for a plane branch of blow-up complexity $n$ is $F_n$. It is achieved by exactly two topological types, one of them being distinguished as the only type which maximizes the Milnor number. We show moreover that there exists a natural partial order relation on the set of topological types of plane branches of blow-up complexity $n$, making this set a distributive lattice, that is, any two of its elements admit an infimum and a supremum, each one of these operations beeing distributive relative to the second one. We prove that this lattice admits a unique order-inverting bijection. As this bijection is involutive, it defines a duality for topological types of plane branches. The type which maximizes the Milnor number is also the maximal element of this lattice and its dual is the unique type with minimal Milnor number. There are $F_{n-2}$ self-dual topological types of blow-up complexity $n$. Our proofs are done by encoding the topological types by the associated Enriques diagrams.Comment: 21 pages, 16 page

Singularities and Topology of Meromorphic Functions

We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of polynomial functions.Comment: 21 pages, 1 figur

Thom condition and monodromy

We give the definition of the Thom condition and we show that given any germ of complex analytic function f : (X , x) → (C, 0) on a complex analytic space X , there exists a geometric local monodromy without fixed points, provided that f ∈ m2 X,x , where mX,x is the maximal ideal of OX,x . This result generalizes a well-known theorem of the second named author when X is smooth and proves a statement by Tibar in his PhD thesis. It also implies the A’Campo theorem that the Lefschetz number of the monodromy is equal to zero. Moreover, we give an application to the case that X has maximal rectified homotopical depth at x and show that a family of such functions with isolated critical points and constant total Milnor number has no coalescing of singularities