arXiv subjects

Anne Pichon

Publications and source records attributed to Anne Pichon.

At least 19 recordsLinked to original sources

arXiv2025

Topological and bilipschitz types of complex surface singularities and their links

In this paper, we prove that two normal complex surface germs that are inner bilipschitz--but not necessarily orientation-preserving--homeomorphic, have in fact the same oriented topological type and the same minimal plumbing graph. Along the way, we show that the oriented homeomorphism type of an isolated complex surface singularity germ determines the oriented homeomorphism type of its link, providing a converse to the classical Conical Structure Theorem. These results require to study the topology first, and the inner lipschitz geometry later, of Hirzebruch-Jung and cusp singularities, the normal surface singularities whose links are lens spaces and fiber bundles over the circle.

math.AG↗

arXiv2022

On Lipschitz Normally Embedded singularities

Any subanalytic germ $(X,0) \subset (\mathbb R^n,0)$ is equipped with two natural metrics: its outer metric, induced by the standard Euclidean metric of the ambient space, and its inner metric, which is defined by measuring the shortest length of paths on the germ $(X,0)$. The germs for which these two metrics are equivalent up to a bilipschitz homeomorphism, which are called Lipschitz Normally Embedded, have attracted a lot of interest in the last decade. In this survey we discuss many general facts about Lipschitz Normally Embedded singularities, before moving our focus to some recent developments on criteria, examples, and properties of Lipschitz Normally Embedded complex surfaces. We conclude the manuscript with a list of open questions which we believe to be worth of interest.

math.AG↗

arXiv2021

Polar exploration of complex surface germs

We prove that the topological type of a normal surface singularity $(X,0)$ provides finite bounds for the multiplicity and polar multiplicity of $(X,0)$, as well as for the combinatorics of the families of generic hyperplane sections and of polar curves of the generic plane projections of $(X,0)$. A key ingredient in our proof is a topological bound of the growth of the Mather discrepancies of $(X,0)$, which allows us to bound the number of point blowups necessary to achieve factorization of any resolution of $(X,0)$ through its Nash transform. This fits in the program of polar explorations, the quest to determine the generic polar variety of a singular surface germ, to which the final part of the paper is devoted.

math.AG↗

arXiv2020

An introduction to Lipschitz geometry of complex singularities

The aim of this paper to introduce the reader to a recent point of view on the Lipschitz classifications of complex singularities. It presents the complete classification of Lipschitz geometry of complex plane curves singularities and in particular, it introduces the so-called bubble trick and bubble trick with jumps which are key tools to study Lipschitz geometry of germs. It describes also the thick-thin decomposition of a normal complex surface singularity and built two geometric decompositions of a normal surface germ into standard pieces which are invariant by respectively inner and outer bilipschitz homeomorphisms. This leads in particular to the complete classification of Lipschitz geometry for the inner metric.

math.AG↗

arXiv2020

On Lipschitz Normally Embedded complex surface germs

We undertake a systematic study of Lipschitz Normally Embedded normal complex surface germs. We prove in particular that the topological type of such a germ determines the combinatorics of its minimal resolution which factors through the blowup of its maximal ideal and through its Nash transform, as well as the polar curve and the discriminant curve of a generic plane projection, thus generalizing results of Spivakovsky and Bondil that were known for minimal surface singularities. In an appendix, we give a new example of a Lipschitz Normally Embedded surface singularity.

math.AG↗

arXiv2019

Inner geometry of complex surfaces: a valuative approach

Given a complex analytic germ $(X, 0)$ in $(\mathbb C^n, 0)$, the standard Hermitian metric of $\mathbb C^n$ induces a natural arc-length metric on $(X, 0)$, called the inner metric. We study the inner metric structure of the germ of an isolated complex surface singularity $(X,0)$ by means of an infinite family of numerical analytic invariants, called inner rates. Our main result is a formula for the Laplacian of the inner rate function on a space of valuations, the non-archimedean link of $(X,0)$. We deduce in particular that the global data consisting of the topology of $(X,0)$, together with the configuration of a generic hyperplane section and of the polar curve of a generic plane projection of $(X,0)$, completely determine all the inner rates on $(X,0)$, and hence the local metric structure of the germ. Several other applications of our formula are discussed in the paper.

math.AG↗

arXiv2018

Lipschitz normal embedding among superisolated singularities

Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. A complex analytic germ is said Lipschitz normally embedded (LNE) if its outer and inner metrics are bilipschitz equivalent. LNE seems to be fairly rare among surface singularities; the only known LNE surface germs outside the trivial case (straight cones) are the minimal singularities. In this paper, we show that a superisolated hypersurface singularity is LNE if and only if its projectivized tangent cone has only ordinary singularities. This provides an infinite family of LNE singularities which is radically different from the class of minimal singularities.

math.AG↗

arXiv2018

Minimal surface singularities are Lipschitz normally embedded

Any germ of a complex analytic space is equipped with two natural metrics: the {\it outer metric} induced by the hermitian metric of the ambient space and the {\it inner metric}, which is the associated riemannian metric on the germ. We show that minimal surface singularities are Lipschitz normally embedded (LNE), i.e., the identity map is a bilipschitz homeomorphism between outer and inner metrics, and that they are the only rational surface singularities with this property.

math.AG↗

arXiv2018

A characterization of Lipschitz normally embedded surface singularities

Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. These two metrics are in general nonequivalent up to bilipschitz homeomorphism. We give a necessary and sufficient condition for a normal surface singularity to be Lipschitz normally embedded (LNE), i.e., to have bilipschitz equivalent outer and inner metrics. In a partner paper [15] we apply it to prove that rational surface singularities are LNE if and only if they are minimal.

math.AG↗

arXiv2016

Lipschitz geometry of complex surfaces: analytic invariants and equisingularity

We prove that the outer Lipschitz geometry of a germ $(X,0)$ of a normal complex surface singularity determines a large amount of its analytic structure. In particular, it follows that any analytic family of normal surface singularities with constant Lipschitz geometry is Zariski equisingular. We also prove a strong converse for families of normal complex hypersurface singularities in $\mathbb C^3$: Zariski equisingularity implies Lipschitz triviality. So for such a family Lipschitz triviality, constant Lipschitz geometry and Zariski equisingularity are equivalent to each other.

math.AG↗

arXiv2015

Lipschitz geometry does not determine embedded topological type

We investigate the relationships between the Lipschitz outer geometry and the embedded topological type of a hypersurface germ in $(\mathbb C^n,0)$. It is well known that the Lipschitz outer geometry of a complex plane curve germ determines and is determined by its embedded topological type. We prove that this does not remain true in higher dimensions. Namely, we give two normal hypersurface germs $(X_1,0)$ and $(X_2,0)$ in $(\mathbb C^3,0)$ having the same outer Lipschitz geometry and different embedded topological types. Our pair consist of two superisolated singularities whose tangent cones form an Alexander-Zariski pair having only cusp-singularities. Our result is based on a description of the Lipschitz outer geometry of a superisolated singularity. We also prove that the Lipschitz inner geometry of a superisolated singularity is completely determined by its (non embedded) topological type, or equivalently by the combinatorial type of its tangent cone.

math.AG↗

arXiv2014

Carrousel in family and non-isolated hypersurface singularities in $C^3$

We study the boundary $L_t$ of the Milnor fiber for the reduced holomorphic germs $f:(\Bbb C^3,0) \rightarrow (\Bbb C,0)$ having a non-isolated singularity at $0$. We prove that $L_t$ is a graph manifold by using a new technique of carrousel depending on one parameter varying on a circle. Our results enable one to compare the topology of $L_t$ and of the link of the normalization of $f^{-1}(0)$.

math.AG↗

arXiv2013

The thick-thin decomposition and the bilipschitz classification of normal surface singularities

We describe a natural decomposition of a normal complex surface singularity $(X,0)$ into its "thick" and "thin" parts. The former is essentially metrically conical, while the latter shrinks rapidly in thickness as it approaches the origin. The thin part is empty if and only if the singularity is metrically conical; the link of the singularity is then Seifert fibered. In general the thin part will not be empty, in which case it always carries essential topology. Our decomposition has some analogy with the Margulis thick-thin decomposition for a negatively curved manifold. However, the geometric behavior is very different; for example, often most of the topology of a normal surface singularity is concentrated in the thin parts. By refining the thick-thin decomposition, we then give a complete description of the intrinsic bilipschitz geometry of $(X,0)$ in terms of its topology and a finite list of numerical bilipschitz invariants.

math.AG↗

arXiv2013

Lipschitz geometry of complex curves

We describe the Lipschitz geometry of complex curves. For the most part this is well known material, but we give a stronger version even of known results. In particular, we give a quick proof, without any analytic restrictions, that the outer Lipschitz geometry of a germ of a complex plane curve determines and is determined by its embedded topology. This was first proved by Pham and Teissier, but in an analytic category.

math.AG↗

arXiv2011

Milnor Fibrations and the Thom Property for maps $f \bar g$

We prove that every map-germ ${f \bar g}: (\C^n,\0) {\to}(\C,0)$ with an isolated critical value at 0 has the Thom $a_{f \bar g}$-property. This extends Hironaka's theorem for holomorphic mappings to the case of map-germs $f \bar g$ and it implies that every such map-germ has a Milnor-Lê fibration defined on a Milnor tube. One thus has a locally trivial fibration $ϕ: \mathbb S_\e \setminus K \to \mathbb S^1$ for every sufficiently small sphere around $\0$, where $K$ is the link of $f \bar g$ and in a neighbourhood of $K$ the projection map $ϕ$ is given by $f \bar g / | f \bar g|$.

math.AG↗

arXiv2008

Milnor fibrations of meromorphic functions

In analogy with the holomorphic case, we compare the topology of Milnor fibrations associated to a meromorphic germ f/g : the local Milnor fibrations given on Milnor tubes over punctured discs around the critical values of f/g, and the Milnor fibration on a sphere.

math.AG↗

arXiv2007

Meromorphic functions, bifurcation sets and fibred links

We give a necessary condition for a meromorphic function in several variables to give rise to a Milnor fibration of the local link (respectively of the link at infinity). In the case of two variables we give some necessary and sufficient conditions for the local link (respectively the link at infinity) to be fibred.

math.AG↗

arXiv2006

Complex analytic realization of links

We present the complex analytic and principal complex analytic realizability of a link in a 3-manifold $M$ as a tool for understanding the complex structures on the cone $C(M)$.

math.AG↗