71 research outputs found
A Jacobian module for disentanglements and applications to Mond's conjecture
Given a germ of holomorphic map from to ,
we define a module whose dimension over is an upper bound
for the -codimension of , with equality if is weighted
homogeneous. We also define a relative version of the module, for
unfoldings of . The main result is that if are nice
dimensions, then the dimension of over is an upper bound of
the image Milnor number of , with equality if and only if the relative
module is Cohen-Macaulay for some stable unfolding . In particular,
if is Cohen-Macaulay, then we have Mond's conjecture for .
Furthermore, if is quasi-homogeneous, then Mond's conjecture for is
equivalent to the fact that is Cohen-Macaulay. Finally, we observe
that to prove Mond's conjecture, it suffices to prove it in a suitable family
of examples.Comment: 19 page
The Nash Problem from Geometric and Topological Perspective
We survey the proof of the Nash conjecture for surfaces and show how geometric and topological ideas developed in previous articles by the authors influenced it. Later, we summarize the main ideas in the higher dimensional statement and proof by de Fernex and Docampo. We end the paper by explaining later developments on generalized Nash problem and on Kollar and Nemethi holomorphic arcs
The Nash Problem from a Geometric and Topological Perspective
We survey the proof of the Nash conjecture for surfaces and show how geometric and topological ideas developed in previous articles by the au- thors influenced it. Later we summarize the main ideas in the higher dimen- sional statement and proof by de Fernex and Docampo. We end the paper by explaining later developments on generalized Nash problem and on Koll ́ar and Nemethi holomorphic arcs
Multiplicity and degree as bi‐Lipschitz invariants for complex sets
We study invariance of multiplicity of complex analytic germs and degree of complex affine sets under outer bi-Lipschitz
transformations (outer bi-Lipschitz homeomorphims of germs in the first case and outer bi-Lipschitz homeomorphims at infinity
in the second case). We prove that invariance of multiplicity in the local case is equivalent to invariance of degree in the global case.
We prove invariance for curves and surfaces. In the way we prove invariance of the tangent cone and relative multiplicities at infinity under outer bi-Lipschitz homeomorphims at infinity, and that the abstract topology of a homogeneous surface germ determines its multiplicity.The first named author is partially supported by IAS and by ERCEA 615655 NMST Consolidator Grant, MINECO by the project reference MTM2013-45710-C2-2-P, by the Basque Government through the
BERC 2014-2017 program, by Spanish Ministry of Economy and Competitiveness MINECO: BCAM Severo Ochoa excellence accreditation SEV-2013-0323, by
Bolsa Pesquisador Visitante Especial (PVE) - Ciencias sem Fronteiras/CNPq Project number: 401947/2013-0 and by Spanish MICINN project MTM2013-45710-C2-2-P.
The second named author was partially supported by CNPq-Brazil grant 302764/2014-7.
The third named author was partially supported by the ERCEA 615655 NMST Consolidator Grant and also by the Basque Government through the BERC 2014-2017 program and by Spanish Ministry of Economy and Competitiveness MINECO: BCAM Severo Ochoa excellence accreditation SEV-2013-0323
A jacobian module for disentanglements and applications to Mond's conjecture
Let be a germ whose image is given by . We define an -module with the property that -, with equality if
is weighted homogeneous.
We also define a relative version for unfoldings , in such a way that specialises to when specialises to . The main result is that if are
nice dimensions, then , with equality if and only if is Cohen-Macaulay, for some stable unfolding . Here, denotes the image
Milnor number of , so that if is Cohen-Macaulay, then Mond's conjecture holds for ; furthermore, if is weighted homogeneous, Mond's conjecture for is
equivalent to the fact that is Cohen-Macaulay. Finally, we observe that to prove Mond's conjecture, it is enough to
prove it in a suitable family of examples.Bolsa Pesquisador Visitante Especial (PVE) - Ciˆencias sem Fronteiras/CNPq Project number: 401947/2013-0
DGICYT Grant MTM2015–64013–P
CNPq Project number 401947/2013-
- …