Source author record

Javier Fernandez de Bobadilla

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CV math.AT math.MG

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Moderately Discontinuous Homology

We introduce a new metric homology theory, Moderately Discontinuous Homology, which captures Lipschitz properties of metric subanalytic germs. The main novelty is to allow "moderately discontinuous" chains, which are specially advantageous for capturing the subtleties of the outer metric phenomena. Our invariant is a finitely generated graded abelian group $MDH^b_\bullet$ for any $b\in [1,\infty]$ and homomorphisms $MDH^b_\bullet\to MDH^{b'}_\bullet$ for any $b\geq b'$ . Here $b$ is a "discontinuity rate". The homology groups for the inner or outer metric are proved to be finitely generated and that only finitely many homomorphisms $MDH^b_\bullet\to MDH^{b'}_\bullet$ are essential. For $b=1$ it recovers the homology of the tangent cone for the outer metric and of the Gromov tangent cone for the inner one. In general, for $b=\infty$ the $MD$ - homology recovers the homology of the punctured germ. Hence, our invariant interpolates from the germ to its tangent cone. Our homology theory is a bi-Lipschitz subanalitic invariant, is invariant by suitable metric homotopies, and satisfies versions of the relative and Mayer-Vietoris long exact sequences. Moreover, fixed a discontinuity rate $b$ we show that it is functorial for a class of discontinuous Lipschitz maps, whose discontinuities are $b$ -moderated; this makes the theory quite flexible. In the complex analytic setting we introduce an enhancement called Framed MD Homology, which takes into account information from fundamental classes. As applications we prove that Moderately Discontinuous Homology characterizes smooth germs among all complex analytic germs, recovers the number of irreducible components of complex analytic germs and the embedded topological type of plane branches. Framed MD Homology recovers the topological type of any plane curve singularity and relative multiplicities of complex analytic germs.

preprint2015arXiv

Curve selection lemma in infinite dimensional algebraic geometry and arc spaces

We prove a Curve Selection Lemma valid in infinite-dimensional algebraic geometry and apply it, together with a structure theorem of Grinberg-Kahzdan and Drinfeld, to obtain a Curve Selection Lemma in arc spaces.

preprint2013arXiv

The boundary of the Milnor fibre of complex and real analytic non-isolated singularities

Let f and g be holomorphic function-germs vanishing at the origin of a complex analytic germ of dimension three. Suppose that they have no common irreducible component and that the real analytic map-germ given by the multiplication of f by the conjugate of g has an isolated critical value at 0. We give necessary and sufficient conditions for the real analytic map-germ to have a Milnor fibration and we prove that in this case the boundary of its Milnor fibre is a Waldhausen manifold. As an intermediate milestone we describe geometrically the Milnor fibre of map-germs given by the multiplication of a holomorphic and a anti-holomorphic function defined in a complex surface germ, and we prove an A'Campo-type formula for the zeta function of their monodromy.

preprint2012arXiv

Homotopically trivial deformations

We study deformations of complex projective varieties that are homotopically or homologically trivial. We formulate several conjectures and give some examples and partial answers.

preprint2012arXiv

The Hilali Conjecture for hyperelliptic spaces

The Hilali Conjecture predicts that for a simply-connected elliptic space, the total dimension of the rational homotopy does not exceed that of the rational homology. Here we give a proof of this conjecture for a class of elliptic spaces known as hyperelliptic.

preprint2011arXiv

Nash problem for surfaces

We prove that Nash mapping is bijective for any algebraic surface defined over an algebraically closed field of characteristic 0.

preprint2011arXiv

On homotopy types of complements of analytic sets and Milnor fibres

We prove that for any germ of complex analytic set in $\CC^n$ there exists a hypersurface singularity whose Milnor fibration has trivial geometric monodromy and fibre homotopic to the complement of the germ of complex analytic set. As an application we show an example of a quasi-homogeneous hypersurface singularity, with trivial geometric monodromy and simply connected and non-formal Milnor fibre.

preprint2010arXiv

Nash problem for surface singularities is a topological problem

We address Nash problem for surface singularities using wedges. We give a refinement of the characterisation of A. Reguera of the image of the Nash map in terms of wedges. Our improvement consists in a characterisation of the bijectivity of the Nash mapping using wedges defined over the base field, which are convergent if the base field is the field of complex numbers, and whose generic arc has transverse lifting to the exceptional divisor of a resolution of singularities. This improves the recent results of M. Lejeune-Jalabert and A. Reguera for the surface case. In the way to do this we find a reformulation of Nash problem in terms of branched covers of normal surface singularities. As a corollary of this reformulation we prove that the image of the Nash mapping is characterised by the combinatorics of a resolution of the singularity, or, what is the same, by the topology of the abstract link of the singularity in the complex analytic case. Using these results we prove several reductions of the Nash problem, the most notable being that, if Nash problem is true for singularities having rational homology sphere links, then it is true in general.

preprint2010arXiv

On algebraic representatives of homeomorphism types of analytic hypersurface germs

A question of B. Teissier, inspired by a previous problem of R. Thom, asks whether for any germ of complex analytic hypersurface there exists a germ of complex algebraic hypersurface with the same topological type. Up to now only the case of germs with an isolated singularity is kwown. In this article we answer in the affirmative the case 1-dimensional singular set, also for embedded topological types.

preprint2010arXiv

Topology of hypersurface singularities with 3-dimensional critical set

In this paper, we prove that the Milnor fibre of a singularity over an i.c.i.s. of dimension 3 has the homotopy type of a bouquet of spheres, provided that the function that defines the singularity has finite extended codimension with respect to the ideal that defines the i.c.i.s.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Javier Fernandez de Bobadilla

Research overview

Is this your work?

10 publications

Moderately Discontinuous Homology

Curve selection lemma in infinite dimensional algebraic geometry and arc spaces

The boundary of the Milnor fibre of complex and real analytic non-isolated singularities

Homotopically trivial deformations

The Hilali Conjecture for hyperelliptic spaces

Nash problem for surfaces

On homotopy types of complements of analytic sets and Milnor fibres

Nash problem for surface singularities is a topological problem

On algebraic representatives of homeomorphism types of analytic hypersurface germs

Topology of hypersurface singularities with 3-dimensional critical set

See the researcher in context

Building this map preview