A class of non-rational surface singularities with bijective Nash map
Camille Plenat, Patrick Popescu-Pampu
备注：
8 pages; compared to the first version, we changed slightly the title in order to make it similar with the title of math.AG/0605566 (where the main theorem 5.1 is generalized to arbitrary dimensions) and we modified remarks 3.2 and 4.2
Let (S,0) be a germ of complex analytic normal surface. On its minimal resolution, we consider the reduced exceptional divisor E and its irreducible components E_i. The Nash map associates to each irreducible component C_k of the space of arcs through 0 on S the unique component of E cut by the strict transform of the generic arc in C_k. Nash proved its injectivity and asked if it was bijective. As a particular case of our main theorem, we prove that this is the case if E.E_i <0 for any i.
In this paper we give a positive answer to a question of Nash concerning the arc space of a singularity, for the class of quasi-ordinary hypersurface singularities, extending to this case previous results and techniques of Shihoko Ishii.
Let (X,0) be a germ of complex analytic normal variety, non-singular outside 0. An essential divisor over (X,0) is a divisorial valuation of the field of meromorphic functions on (X,0), whose center on any resolution of the germ is an irreducible component of the exceptional locus. The Nash map associates to each irreducible component of the space of arcs through 0 on X the unique essential divisor intersected by the strict transform of the generic arc in the component. Nash proved its injectivity and asked if it was bijective. We prove that this is the case if there exists a divisorial resolu…
In this paper we present new proofs using real spectra of the finiteness theorem on Nash trivial simultaneous resolution and the finiteness theorem on Blow-Nash triviality for isolated real algebraic singularities. That is, we prove that a family of Nash sets in a Nash manifold indexed by a semialgebraic set always admits a Nash trivial simultaneous resolution after a partition of the parameter space into finitely many semialgebraic pieces and in the case of isolated singularities it admits a finite Blow-Nash trivialization. We also complement the finiteness results with recursive bounds.
This paper shows the affirmative answer to the local Nash problem for a toric singularity and analytically pretoric singularity. As a corollary we obtain the affirmative answer to the local Nash problem for a quasi-ordinary singularity.
We address the question of the classification under blow-Nash equivalence of simple Nash function germs. We state that this classification coincides with the real analytic classification. We prove moreover that a simple germ can not be blow-Nash equivalent to a nonsimple one. The method is based on the computation of relevant coefficients of the real zeta functions associated to a Nash germ via motivic integration.
Nash proved that every irreducible component of the space of arcs through a singularity corresponds to an exceptional divisor that occurs on every resolution. He asked if the converse also holds: does every such exceptional divisor correspond to an arc family? We prove that the converse holds for toric singularities but fails in general.
This paper is devoted to the approximation of differentiable semialgebraic functions by Nash functions. Approximation by Nash functions is known for semialgebraic functions defined on an affine Nash manifold M, and here we extend it to functions defined on Nash subsets X of M whose singularities are monomial. To that end we discuss first "finiteness" and "weak normality" for such sets X. Namely, we prove that (i) X is the union of finitely many open subsets, each Nash diffeomorphic to a finite union of coordinate linear varieties of an affine space and (ii) every function on X which is Nash on…
We consider the question whether one can construct an embedded resolution of singularities of a singular variety $X\subset \textbf{A}^n$ from the data of the irreducible components of the spaces of jets (of $X$) centered at the singular locus of $X.$ We show that the answer is no in general and that it is yes for some birational models of rational triple surface singularities.
Let $X\subset \mathbb{R}^n$ be a compact semialgebraic set and let $f:X\to \mathbb{R}$ be a nonzero Nash function. We give a Solernó and D'Acunto-Kurdyka type estimation of the exponent $\varrho\in[0,1)$ in the Łojasiewicz gradient inequality $|\nabla f(x)|\ge C|f(x)|^\varrho$ for $x\in X$, $|f(x)|<\varepsilon$ for some constants $C,\varepsilon>0$, in terms of the degree of a polynomial $P$ such that $P(x,f(x))=0$, $x\in X$. As a corollary we obtain an estimation of the degree of sufficiency of non-isolated Nash functions singularities
The Nash problem on arcs for normal surface singularities states that there are as many arc families on a germ (S,O) of a singular surface as there are essential divisors over (S,O). It is known that this problem can be reduced to the study of quasi-rational singularities. In this paper we give a positive answer to the Nash problem for a family of non-rational quasi-rational hypersurfaces. The same method is applied to answer positively to this problem in the case of E_6 and E_7 type singularities, and to provide new proof in the case of D_n, n> =4, type singularities.
On a Computational Approach to the Nash Blowup Problem
Centro de Investigación en Matemáticas（数学研究中心）；Centro de Ciencias Matematicas, UNAM（墨西哥国立自治大学数学科学中心）；Instituto de Matemáticas, Universidad de Talca（塔尔卡大学数学研究所）
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…
In this paper we explore the generalized Nash problem for arcs on a germ of smooth surface: given two prime divisors above its special point, to determine whether the arc space of one of them is included in the arc space of the other one. We prove that this problem is combinatorial and we explore its relation with several notions of adjacency of plane curve singularities.
Using the structure of the jet schemes of rational double point singularities, we construct "minimal embedded toric resolutions" of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every "minimal embedded toric resolution". We prove that this correspondence is bijective except for the $E_8$ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.
Let $(X,O)$ be a germ of a normal surface singularity, $π: \tilde X\longrightarrow X$ be the minimal resolution of singularities and let $A=(a_{i,j})$ be the $n\times n$ symmetrical intersection matrix of the exceptional set of $\tilde X$. In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme ${\cal H}$, and defines a map ${\cal N}$ from the set of irreducible components of ${\cal H}$ to the set of exceptional components of the minimal resolution of singularities of $(X,O)$. He proved that this map is injective and ask if it is surjective. In this paper we co…
It is known that ambient bilipschitz equivalence preserves tangent cones. This paper explores the behavior of the Nash cone and, in particular, exceptional rays under ambient bilipschitz equivalence for real surfaces in $R^3$ with isolated singularity.
This paper deals with the Nash problem, which claims that there are as many families of arcs on a singular germ of surface $U$ as there are essential components of the exceptional divisor in the desingularisation of this singularity. Let $\mathcal{H}=\bigcup \bar{N_α}$ be a particular decomposition of the set of arcs on $U$, described later on. We give two new conditions to insure that $\bar{N_α}\not \subset \bar{N_β}$, $α\not = β$; more precisely,for the first one, we claim that if there exists $f \in {\mathcal{O}}_{U}$ such that $ord_{E_α}(f)<ord_{E_β}(f)$, where $E_α, E_β$ are exceptional d…
The Nash multiplicity sequence was defined by M. Lejeune-Jalabert as a non-increasing sequence of integers attached to a germ of a curve inside a germ of a hypersurface. M. Hickel generalized this notion and described a sequence of blow ups which allows us to compute it and study its behavior. In this paper, we show how this sequence can be used to compute some invariants that appear in algorithmic resolution of singularities.
We prove that, if X is a variety over an uncountable algebraically closed field k of characteristic zero, then any irreducible exceptional divisor E on a resolution of singularities of X which is not uniruled, belongs to the image of the Nash map, i.e. corresponds to an irreducible component of the space of arcs on X centered in Sing X. This reduces the Nash problem of arcs to understanding which uniruled essential divisors are in the image of the Nash map, more generally, how to determine the uniruled essential divisors from the space of arcs.
Let p be a singular point of a complex hypersurface whose tangent cone is a quadric of rank at least 3. We show that the space of arcs through p is irreducible. Using a method of de Fernex, this shows that the Nash problem has a negative answer for x^2+y^2+z^2+t^5=0. Version 2: Several small corrections.
We study the space of arcs on a singularity of the form xy=f(z_1,..., z_n) and prove 2 main results. (i) The number of irreducible components equals the multiplicity of f minus 1. (ii) If n>1 and the leading homogeneous term of f is not a perfect square then the Nash map from the set of irreducible components to the set of essential divisors is not surjective.
In this paper we investigate the relation betwen the Nash modification and the Bi-Lipschtiz equivalent germs in the cases of two germs and for a family of hypersurfaces with isolated singularities.
This paper seeks to prove the bijectivity of the "Nash mapping" from the set of irreducible components of the scheme parametrizing analytic arcs on an algebraic surface $X$ whose origin is a singular point, into the set of irreducible components of the exceptional locus of a minimal desingularization $X'$ of $X$ when the base field has positive characteristic. The idea is to view the surface as a specialization of another defined over a field of characteristic zero. A number of related results are proved. Among them, the construction of a scheme of arcs for a suitable one parameter family of s…
We give a description of the equisingularity of a family of normal surface singularities by numerical invariants belonging to them. By equisingularity we mean Whitney regularity or a more restrictive condition using the Nash modification.
This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the exceptional divisor in the minimal resolution of this singularity. We propose a program for an affirmative solution of the Nash problem in the case of normal 2-dimensional hypersurface singularities. We illustrate this program by giving an affirmative solution of the Nash problem for the rational double point $\mathbf{E_6}$. We also prove some results on the algebraic structure of the space of $k$-je…
Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Rieme…
We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of) exceptional divisors in a resolution of singularities. We show also that these loci account for all the valuations determined by irreducible cylinders in the arc space. Along the way, we recover in an elementary fashion-without using motivic integration-results of the third author relating singularities to arc spaces. Moreover, we extend these results to give a jet-…
Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first and second derivatives of the $f_i,$ provided we admit certain singular blowups, all of which can be resolved by an additional Nash blowup. There is is a particular explicit sequence of ideals R=J_0, J_1…
We continue the study of the rational-slope generalized $q,t$-Catalan numbers $c_{m,n}(q,t)$. We describe generalizations of the bijective constructions of J. Haglund and N. Loehr and use them to prove a weak symmetry property $c_{m,n}(q,1)=c_{m,n}(1,q)$ for $m=kn\pm 1$. We give a bijective proof of the full symmetry $c_{m,n}(q,t)=c_{m,n}(t,q)$ for $\min(m,n)\le 3$. As a corollary of these combinatorial constructions, we give a simple formula for the Poincaré polynomials of compactified Jacobians of plane curve singularities $x^{kn\pm 1}=y^n$. We also give a geometric interpretation of a relat…
In this article we prove two results concerning the motivic Milnor fibres $S^ε(f)$ associated to a map germ $f: (\mathbb{R}^n,0)\to(\mathbb{R},0)$, defined by G. Comte and G. Fichou. Firstly, we prove that if $f,g:(\mathbb{R}^n,0)\to(\mathbb{R},0)$ are arc-analytically equivalent germs of Nash functions then the virtual Poincaré polynomial of the corresponding motivic Milnor fibres are equal. This extends (and provides a new proof) of a result of G. Fichou. Secondly, let $T\subset\mathbb{R}^m$ be a real algebraic set and $f: T\times(\mathbb{R}^n,0)\to\mathbb{R}$ a polynomial function of polyno…
The oriented link of the cyclic quotient singularity $\mathcal{X}_{p,q}$ is orientation-preserving diffeomorphic to the lens space $L(p,q)$ and carries the standard contact structure $ξ_{st}$. Lisca classified the Stein fillings of $(L(p,q), ξ_{st})$ up to diffeomorphisms and conjectured that they correspond bijectively through an {\it explicit} map to the Milnor fibers associated with the irreducible components (all of them being smoothing components) of the reduced miniversal space of deformations of $\mathcal{X}_{p,q}$. We prove this conjecture using the smoothing equations given by Christo…
Let X be a complex analytic space. A short analytic arc is a holomorphic map of the closed unit disc to X such that only the origin is mapped to a singular point. In contrast with the space of formal arcs studied by Nash, the moduli space of short analytic arcs usually has infinitely many connected components. We describe these for surface singularities, in terms of certain conjugacy classes of the fundamental group of the link. For quotient singularities (in any dimension), this gives a concrete realization of the McKay correspondence. Our results also give new connections between a surface c…
We classify semi-algebraic surfaces in $\mathbb{R}^n$ with isolated singularities up to bi-Lipschitz homeomorphisms with respect to the inner distance. In particular, we obtain complete classifications for the Nash surfaces and the complex algebraic curves. We also address the minimal surfaces with finite total curvature.
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.
