This paper formulates the Nash problem for a pair consisting of a toric variety and an invariant ideal and gives an affirmative answer to the problem. We also prove that the minimal log-discrepacy is computed by a divisor corresponding to a Nash component, if the minimal log-discrepancy is finite. On the other hand there exists a Nash component such that the corresponding divisor has negative log-discrepancy, if the minimal log-discrepancy is $-/infty$.
We consider the problem of finding an ideal whose blowup defines the Nash blowup of a toric surface and such that its zero locus coincides with the singular set of the toric surface.
We revisit the problem of resolution of singularities of toric curves by iterating Nash modification. We give a bound on the number of iterations required to obtain the resolution. We also introduce a different approach on counting iterations by dividing the combinatorial algorithm of Nash modification of toric curves into several division algorithms.
We show that there exists a strong connection between the generic formal neighborhood at a rational arc lying in the Nash set associated with a toric divisorial valuation on a toric variety and the formal neighborhood at the generic point of the same Nash set. This may be interpreted as the fact that, analytically along such a Nash set, the arc scheme of a toric variety is a product of a finite dimensional singularity and an infinite dimensional affine space.
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher order data associated to the variety at non-singular points. In the case of normal toric varieties we give a combinatorial description of the higher Nash blowup in terms of a Gröbner fan. This description will allow us to prove the analogue of Nobile's theorem on the usual Nash blowup in this context. More precisely, we prove that for a normal toric variety, the higher Nash blowup is an isomorphism if and only if the variety is non-singular.
We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero.
It has been recently shown that the iteration of Nash modification on not necessarily normal toric varieties corresponds to a purely combinatorial algorithm on the generators of the semigroup associated to the toric variety. We will show that for toric surfaces this algorithm stops for certain choices of affine charts of the Nash modification. In addition, we give a bound on the number of steps required for the algorithm to stop in the cases we consider. Let $\C(x_1,x_2)$ be the field of rational functions of a toric surface. Then our result implies that if $ν:\C(x_1,x_2)\rightarrowΓ$ is any v…
This paper proposes some material towards a theory of general toric varieties without the assumption of normality. Their combinatorial description involves a fan to which is attached a set of semigroups subjected to gluing-up conditions. In particular it contains a combinatorial construction of the blowing up of a sheaf of monomial ideals on a toric variety. In the second part it is shown that over an algebraically closed base field of zero characteristic the Semple-Nash modification of a general toric variety is isomorphic to the blowing up of the sheaf of logarithmic jacobian ideals and that…
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 show that the $ n $-th Nash blowup of the toric surface singularity of type $ A_3 $ is singular for any $ n > 0 $. It was known that the normalization of the $ n $-th Nash blowup of a toric variety is also a toric variety associated to the Gröbner fan of a certain ideal $ J_n $. In our case, we prove that the Gröbner fan contains a non-regular cone. We determine minimal generators of the initial ideal of $ J_n $ with respect to a certain monomial ordering, and show that the reduced Gröbner basis of $ J_n $ has polynomials of certain forms for each $ n $.
It is a long-standing question whether an arbitrary variety is desingularized by finitely many normalized Nash blow-ups. We consider this question in the case of a toric variety. We interpret the normalized Nash blow-up in polyhedral terms, show how continued fractions can be used to give an affirmative answer for a toric surface, and report on a computer investigation in which over a thousand 3- and 4-dimensional toric varieties were successfully resolved.
The Nash problem on arc families is affirmatively answered for a toric variety by Ishii and Kollar's paper which also shows the negative answer for general case. The Nash problem is one of questions about the relation between arc families and valuations. In this paper, the relation is described clearly for a toric variety. The arc space of a toric variety admits an action of the group scheme determined by the torus. Each orbit on the arc space corresponds to a lattice point in the cone and therefore corresponds to a toric valuation. The dominant relation among the orbits is described in terms …
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 show that the normalization of the Nash blow-up of order n of the toric surface singularity An can be factorized by the minimal resolution of An. The result is obtained using the combinatorial description of these objects.
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.
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.
For a toric log variety with standard coefficients, we show that the minimal log discrepancy at a closed invariant point bounds the Cartier index of a neighbourhood.
We will describe a one-step "Gorensteinization" process for a Schubert variety by blowing-up along its boundary divisor. The local question involves Kazhdan-Lusztig varieties which can be degenerated to affine toric schemes defined using the Stanley-Reisner ideal of a subword complex. The blow-up along the boundary in this toric case is in fact Gorenstein. We show that there exists a degeneration of the blow-up of the Kazhdan-Lusztig variety to this Gorenstein scheme, allowing us to extend this result to Schubert varieties in general. The potential use of this one-step Gorensteinization to des…
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…
We investigate the variation of log canonical thresholds in (graded) linear systems. For toric log Fano varieties, we give a sharp lower bound for log canonical thresholds of the anticanonical members in terms of the global minimal log discrepancy.
