Abstract
We initiate the study of the resolution of singularities properties of Nash blowups over fields of prime characteristic. We prove that the iteration of normalized Nash blowups desingularizes normal toric surfaces. We also introduce a prime characteristic version of the logarithmic Jacobian ideal of a toric variety and prove that its blowup coincides with the Nash blowup of the variety. As a consequence, the Nash blowup of a, not necessarily normal, toric variety of arbitrary dimension in prime characteristic can be described combinatorially.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Nash blowup of an algebraic variety is a modification that replaces singular points by limits of tangent spaces. It has been proposed to solve singularities by iterating this blowup [16, 20]. This question has been extensively studied [1, 2, 5, 6, 8,9,10,11, 13, 14, 16, 19, 21].
Until recently, the resolution properties of Nash blowups have been studied only over fields of characteristic zero. This is due to a well-known example given by A. Nobile that shows that the Nash blowup could be trivial in prime characteristic [16]. It was recently shown that Nash blowups behave as expected in prime characteristic after adding the condition of normality [7]. Hence, the original question regarding Nash blowups and resolution of singularities can be reconsidered in arbitrary characteristic by iterating normalized Nash blowups. We stress that the condition of normality is frequently assumed for many results also in characteristic zero. For instance, M. Spivakovsky showed that the iteration of normalized Nash blowups gives a resolution of singularities for complex surfaces [21].
In this paper we initiate the study of the resolution properties of normalized Nash blowups in prime characteristic. We study this question in the context of toric varieties.
Our first goal in this paper is to describe combinatorially the Nash blowup of a not necessarily normal toric variety of arbitrary dimension over fields of prime characteristic. In characteristic zero, the key ingredient for such a description is given by the so-called logarithmic Jacobian ideal, which was originally introduced by González-Sprinberg [8]. This is a monomial ideal determined by linear relations on the generators of the semigroup of the toric variety. González-Sprinberg showed that the Nash blowup of a normal toric variety is isomorphic to the blowup of its logarithmic Jacobian ideal. This result was later revisited and generalized by several authors. For instance, M. Lejeune-Jalabert and A. Reguera gave a new proof of this result [15]. In addition, P. González and B. Teissier extended this result for not necessarily normal toric varieties [11].
It is worth mentioning that the isomorphism between Nash blowups of toric varieties and the blowup of their logarithmic Jacobian ideal does not hold over fields of prime characteristic (see Example 1.5). In this paper we define a positive characteristic version of the logarithmic Jacobian ideal (see Definition 1.6) that allows us to extend the known result in characteristic zero to prime characteristic.
Theorem A
(Theorem 1.9) The Nash blowup of a toric variety over a field of characteristic \(p>0\) is isomorphic to the blowup of its logarithmic Jacobian ideal modulo p.
Combining Theorem A with previous work by Gónzalez-Teissier [11], one obtains a combinatorial description of the Nash blowup in prime characteristic. We specialize this description to dimension two to obtain our second main theorem.
Theorem B
(Theorem 2.5) The iteration of normalized Nash blowups desingularizes normal toric surfaces over fields of prime characteristic.
G. González-Sprinberg proved the characteristic-zero version of Theorem B [8]. An important step in his proof consists in showing that the normalized Nash blowup of a normal toric surface is determined by a subdivision of the cone defining the surface. The key step to prove Theorem B is to show that this subdivision is actually the same in prime characteristic. As a consequence, it is equivalent to solve normal toric surfaces iterating normalized Nash blowups in zero or prime characteristic. Once this is shown, the rest of the proof of Theorem B follows the work of González-Sprinberg.
As mentioned before, the combinatorics of normalized Nash blowups of toric surfaces are independent of the characteristic. One may ask whether this is true for higher dimensions. We conclude this paper by exhibiting an example of a toric variety of dimension three whose Nash blowup behaves differently in characteristic zero and two. In particular, the normalized Nash blowup of this variety is nonsingular in characteristic zero but singular in characteristic two. A further iteration of normalized Nash blowup gives a nonsingular variety in this case.
Convention 0.1
Throughout this manuscript \(\mathbb {K}\) denotes an algebraically closed field.
2 Nash blowups of toric varieties
We are interested in studying the Nash blowup of a toric variety over fields of prime characteristic. We first recall some classical results of the characteristic zero case.
Definition 1.1
Let \(\mathbb {K}\) be an algebraically closed field of arbitrary characteristic. Let \(X\subseteq \mathbb {K}^n\) be an equidimensional algebraic variety of dimension d. Consider the Gauss map:
where \({\text {Gr}}(d,n)\) is the Grassmanian of d-dimensional vector spaces in \(\mathbb {K}^n\), and \(T_xX\) is the tangent space to X at x. Denote by \(X^*\) the Zariski closure of the graph of G. Call \(\nu \) the restriction to \(X^*\) of the projection of \(X\times {\text {Gr}}(d,n)\) to X. The pair \((X^*,\nu )\) is called the Nash blowup of X.
Definition 1.2
([4, 22]) Let \(\Gamma \subseteq \mathbb {Z}^d\) be a semigroup generated by \(\{\gamma _1,\ldots ,\gamma _n\}\). Consider the \(\mathbb {K}\)-algebra homomorphism \(\pi _{\Gamma }:\mathbb {\mathbb {K}}[x_1,\ldots ,x_n]\rightarrow \mathbb {\mathbb {K}}[t_1^{\pm },\ldots ,t_d^{\pm }]\), \(x_i\mapsto t^{\gamma _i}\). Let \(I_{\Gamma }=\ker \pi _{\Gamma }\). The variety \(X_{\Gamma }=\textbf{V}(I_{\Gamma })\subseteq \mathbb {K}^n\) is called the toric variety defined by \(\Gamma \). We denote as \(\mathbb {K}[t^{\Gamma }]\) the coordinate ring of \(X_{\Gamma }\).
The first step towards a combinatorial description of Nash blowups of toric varieties in characteristic zero is given by the so-called logarithmic Jacobian ideal. This ideal was originally introduced by G. González-Sprinberg [8, Section 2], and later revisited by several authors [3, 11, 15].
Definition 1.3
Suppose that \({\text {char}}(\mathbb {K})=0\). Let \(\Gamma =\langle \gamma _1,\ldots ,\gamma _n\rangle _{\mathbb {N}}\subseteq \mathbb {Z}^d\) be a semigroup such that \(\langle \gamma _1,\ldots ,\gamma _n\rangle _{\mathbb {Z}}=\mathbb {Z}^d\). Consider the following ideal:
The ideal \(\mathcal {J}_0\) is called the logarithmic Jacobian ideal of \(X_{\Gamma }\).
Theorem 1.4
([8, 11, 15]) Suppose that \({\text {char}}(\mathbb {K})=0\). The Nash blowup of \(X_{\Gamma }\) is isomorphic to the blowup of its logarithmic Jacobian ideal.
The previous theorem is false over fields of prime characteristic.
Example 1.5
Suppose that \({\text {char}}(\mathbb {K})=2\), \(\Gamma =\langle 2,3 \rangle _{\mathbb {N}}\), and \(X_{\Gamma }={\textbf{V}(x^3-y^2)}\). Then \({\text {Bl}}_{\langle t^2,t^3\rangle }X_{\Gamma }\) is nonsingular but \(X_{\Gamma }^*\cong X_{\Gamma }\) [16, Example 1].
Our first goal is to give the positive characteristic version of Theorem 1.4.
Definition 1.6
Suppose that \({\text {char}}(\mathbb {K})=p>0\). Let \(\Gamma =\langle \gamma _1,\ldots ,\gamma _n\rangle _{\mathbb {N}}\subseteq \mathbb {Z}^d\) be a semigroup such that \(\langle \gamma _1,\ldots ,\gamma _n\rangle _{\mathbb {Z}}=\mathbb {Z}^d\). Consider the following ideal:
The ideal \(\mathcal {J}_p\) is called the logarithmic Jacobian ideal modulo p of \(X_{\Gamma }\).
Example 1.7
Let \(\Gamma =\langle 2,3\rangle _{\mathbb {N}}\subseteq \mathbb {N}\). Then \(\mathcal {J}_2=\langle t^3 \rangle \), \(\mathcal {J}_3=\langle t^2 \rangle \), and \(\mathcal {J}_p=\langle t^2,t^3 \rangle \), for \(p=0\) and \(p\ge 5\).
We now present a property of short exact sequence of matrices. In fact, there is a more general version of this property in the context of realizable matroids, which is known as Gale duality [18, Theorem 2.2.8]. We give the proof of this property for the sake of completeness.
Lemma 1.8
Let
be a short exact sequence of vector spaces over \(\mathbb {K}\). Let \(K\subseteq [n]=\{1,\ldots ,n\}\), \(|K|=c\). Denote as \(B_K\) the matrix formed by the rows of B corresponding to K. Similarly, denote as \(A_{[n]\setminus K}\) the matrix formed by the columns of A corresponding to \([n]\setminus K\). Then
Proof
Without loss of generality we assume \(K=\{d+1,\ldots ,n\}\). Denote \(D=[n]\setminus K\).
Assume that \(\det (A_D)\ne 0\). Let \(u\in \mathbb {K}^c\). Since multiplication by \(B^T\) is surjective, there exists \(\begin{pmatrix} w_0 \\ v_0 \end{pmatrix}\) such that \(B^T \begin{pmatrix} w_0 \\ v_0 \end{pmatrix}= B^T_D w_0+B^T_K v_0=u.\) Since \(\det (A^T_D)=\det (A_D)\ne 0\), there exists \(z\in \mathbb {K}^d\) such that \(A^T_D z=w_0\). Let \(v=v_0- A^T_K z \). Thus, \(\begin{pmatrix} 0 \\ v \end{pmatrix}=\begin{pmatrix} w_0 \\ v_0 \end{pmatrix}-\begin{pmatrix} A^T_D z \\ A^T_K z \end{pmatrix} =\begin{pmatrix} w_0 \\ v_0 \end{pmatrix}-A^Tz\). Hence,
Hence, the linear transformation associated to \(B^T_K\) is surjective, and so, \(\det (B_K)=\det (B^T_K)\ne 0\).
The other implication follows as in the previous paragraph working on the dual exact sequence. \(\square \)
Theorem 1.9
Suppose that \({\text {char}}(\mathbb {K})=p>0\). The Nash blowup of \(X_{\Gamma }\) is isomorphic to the blowup of its logarithmic Jacobian ideal modulo p.
Proof
The proof follows the arguments given by González Pérez and Teissier [11, Proposition 60], combined with the previous lemma.
Assume that \(\{\gamma _1,\ldots ,\gamma _n\}\) is a minimal generating set of \(\Gamma \subseteq \mathbb {Z}^d\) and \(\langle \gamma _1,\ldots ,\gamma _n\rangle _{\mathbb {Z}}=\mathbb {Z}^d\). Let \(A=(\gamma _1\cdots \gamma _n)_{d\times n}\) and \(c=n-d\). Since \(\mathbb {K}\) is algebraically closed, there exist \(x^{\alpha _1}-x^{\beta _1},\ldots ,x^{\alpha _c}-x^{\beta _c}\in I_{\Gamma }\) such that \(\alpha _1-\beta _1,\ldots ,\alpha _c-\beta _c\) define a basis of the kernel of A. Let \(B=(b_1\cdots b_c)_{n\times c}\), where \(b_i=\alpha _i-\beta _i\). Then we have an exact sequence,
Since the kernel of A is a saturated sublattice of \(\mathbb {Z}^n\), one can extend \(b_1,\ldots ,b_c\) to a basis of \(\mathbb {Z}^n\). We denote as \({\bar{A}}\) and \({\bar{B}}\) the matrices obtained by taking the entries modulo p. Hence, we obtain an exact sequence of \(\mathbb {Z}_p\)-vector spaces,
Take \(D_0\subseteq \{1,\ldots ,n\}\) such that \(|D_0|=d\) and \(\det ({\bar{A}}_{D_0})\ne 0\). Letting \(K_0=[n]\setminus D_0\), we get \(\det ({\bar{B}}_{K_0})\ne 0\) by Lemma 1.8. Denote as \(J_{K_0}\) the matrix formed by the columns corresponding to \(K_0\) of the Jacobian matrix \({\text {Jac}}(x^{\alpha _i}-x^{\beta _i})_{1\le i\le c}\).
We have that \(\prod _{k\in K_0}x_k\det J_{K_0}\equiv \prod _{i=1}^c x^{\alpha _i}\det {\bar{B}}_{K_0} \mod I_{\Gamma }\) [8, Section 2.2, Lemme 2], [11, Proposition 60]. We point out that this congruence is usually proved over fields of characteristic zero; however, the same proof holds in arbitrary characteristic. Since \(I_{\Gamma }\) is a prime ideal and \(\{\gamma _1,\ldots ,\gamma _n\}\) is a minimal generating set of \(\Gamma \), we obtain \(\det (J_{K_0})\ne 0 \mod I_{\Gamma }\). Hence, \({\text {Jac}}(x^{\alpha _i}-x^{\beta _i})_{1\le i\le c}\) has maximal rank equal to c. It follows that the blowup of \(X_{\Gamma }\) along the ideal \(\langle \det J_K \, | \, {K\subseteq [n], |K|=c} \rangle \) is isomorphic to the Nash blowup of \(X_{\Gamma }\) [16, Theorem 1].
Let \(K\subseteq [n]\), \(|K|=c\). As before, \(\prod _{k\in K}x_k \det J_K\equiv \prod _{i=1}^c x^{\alpha _i}\det {\bar{B}}_K\mod I_{\Gamma }.\) Multiply this congruence by the monomial \(\prod _{i\in [n]{\setminus } K}x_i\) to obtain:
Since multiplying an ideal by a principal ideal gives isomorphic blowups, Congruence (2) implies:
Using the isomorphism \(\mathbb {\mathbb {K}}[x_1,\ldots ,x_n]/I_{\Gamma }\cong \mathbb {K}[t^{\Gamma }]\) and Lemma 1.8 applied to the exact sequence (1), the ideal
corresponds to the ideal
In conclusion, \(X_{\Gamma }^*\cong {\text {Bl}}_{\mathcal {J}_p}X_{\Gamma }\). \(\square \)
Using Theorem 1.9, a combinatorial description of the Nash blowup of a toric variety can be obtained with the framework developed by Gónzalez-Teissier for the blowup of a toric variety along any monomial ideal [11, Section 2.6].
Remark 1.10
As mentioned in the introduction, the characteristic zero analogue of Theorem 1.9 was studied by several authors. In particular, there is a version using the language of Minkowski sums [1, Theorem 2.9]. Even though the characteristic zero assumption is not explicitly stated in that work [1, Theorem 2.9], it is implicitly used in the proof.
3 Resolution of normal toric surfaces by iterated normalized Nash blowups
In this section we prove that normalized Nash blowups solve the singularities of normal toric surfaces over fields of prime characteristic.
Notation 2.1
Throughout this section, \(\sigma \subseteq \mathbb {R}^2\) denotes a nonregular strongly convex rational polyhedral cone of dimension 2, and \(\Gamma ={\check{\sigma }}\cap \mathbb {Z}^2\), where \({\check{\sigma }}\subseteq \mathbb {R}^2\) is the dual cone of \(\sigma \). Let \(\Theta \subseteq \mathbb {R}^2\) be the convex hull of \(\Gamma \setminus \{(0,0)\}\). Let \(\{\gamma _1,\ldots ,\gamma _n\}\subseteq \mathbb {Z}^2\) be the points lying on the compact edges of the boundary polygon \(\partial \Theta \). We order \(\{\gamma _1,\ldots ,\gamma _n\}\) according to the counterclockwise order.
We note that \(n\ge 3\) since \(\sigma \) is nonregular. We now recall the following description of the minimal generating set of \(\Gamma \).
Proposition 2.2
([17, Proposition 1.21]) In the context of Notation 2.1, \(\{\gamma _1,\ldots ,\gamma _n\}\) is the minimal set of generators of \(\Gamma \).
We use Theorem 1.9 to prove that iterated normalized Nash blowups solve normal toric surfaces in prime characteristic. We show that the involved combinatorics are independent of the characteristic. The result thus follows from the classical work of G. González-Sprinberg [8].
Lemma 2.3
Let \(\alpha ,\beta ,\gamma \in \mathbb {Z}^2_{\ge 0}\) be pairwise linearly independent vectors, in counterclockwise orientation. For a subset \(S\subseteq \mathbb {R}^2\), denote as \({\text {Conv}}(S)\) the convex hull of S.
-
(1)
If \(\beta \in {\text {Conv}}(\{\alpha ,\gamma \})\), then \(\alpha +\gamma \in {\text {Conv}}(\{\alpha +\beta ,\beta +\gamma \})\).
-
(2)
If \(\beta \notin {\text {Conv}}(\{\alpha ,\gamma \})+\mathbb {R}_{\ge 0}(\alpha ,\gamma )\), then
$$\begin{aligned} \alpha +\gamma \in {\text {Conv}}(\{\alpha +\beta ,\beta +\gamma \})+\mathbb {R}_{\ge 0}(\alpha ,\gamma ).\end{aligned}$$
Proof
The first statement of the lemma follows from direct computation.
We now prove (2). There exist unique \(r,s\in \mathbb {R}\) such that \(\beta =r\alpha +s\gamma \). We claim that \(r,s>0\) and \(0<r+s<1\). By the orientation, we have that \(\beta \) is in the cone spanned by \(\alpha \) and \(\gamma \). Thus, \(r,s\ge 0\) and \(r=0\) or \(s=0\) contradicts linear independence. If \(r+s\ge 1\), let \(r=r'+r''\) and \(s=s'+s''\) with \(r'+s'=1\) and \(r',s',r'',s''\ge 0\). Then
which contradicts the hypothesis on \(\beta \). This justifies the claim. Hence, \(0<r,s<1\) and \(0<r+s<1\).
We have \(\alpha +\beta =(1+r)\alpha +s\gamma \) and \(\beta +\gamma =r\alpha +(s+1)\gamma \). Set \(u=1-r\) and \(v=1-s\). Then \(0<u,v<1\) and \(1<u+v\). Write \(u=u'+u''\) and \(v=v'+v''\) with \(u'+v'=1\) and \(u',v',u'',v''\ge 0\). Thus,
\(\square \)
Proposition 2.4
In the setting of Notation 2.1, let \(p={\text {char}}(\mathbb {K})\), not necessarily positive. Let \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\) denote the convex hull of
Then the vertices of \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\) are contained in the set
In particular, \(\mathcal {N}_{\sigma }(\mathcal {J}_p)=\mathcal {N}_{\sigma }(\mathcal {J}_0)\), for any \(p>0\).
Proof
As before, \(\{\gamma _1,\ldots ,\gamma _n\}\) denotes the minimal generating set of \(\Gamma \), ordered counterclockwise. Recall that \(n\ge 3\). Up to a change of coordinates, we can assume that \(\Gamma \subseteq \mathbb {Z}^2_ {\ge 0}\). Let \(1\le i<j<k\le n\). By Proposition 2.2, we know that \(\gamma _{i},\gamma _{j},\gamma _{k}\), satisfy the first and second conditions in Lemma 2.3. By the lemma,
or
Hence, \(\gamma _i+\gamma _k\) is either on the facet determined by \(\gamma _i+\gamma _j\) and \(\gamma _j+\gamma _k\), or it is in the interior of \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\). In particular, it is not a vertex of \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\). We conclude that the vertices of \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\) must be of the form \(\gamma _\ell +\gamma _{\ell +1}\) for some \(\ell \in \{1,\ldots ,n-1\}\).
The last part of the proposition follows from the fact \(\det (\gamma _{\ell } \gamma _{l+1})=1\) for all \(\ell \in \{1,\ldots ,n-1\}\). \(\square \)
A similar statement to Proposition 2.4 was already known [1, Proposition 4.11].
Theorem 2.5
In the setting of Notation 2.1, suppose that \({\text {char}}(\mathbb {K})=p>0\). The iteration of Nash blowups followed by normalization solves the singularities of normal toric surfaces.
Proof
Recall the following classical theorem due to G. González-Sprinberg: if \({\text {char}}(\mathbb {K})=0\), normalized Nash blowups solves normal toric surfaces [8, Section 2.3, Théorème]. Equivalently, by Theorem 1.4, normalized blowups of the logarithmic Jacobian ideal \(\mathcal {J}_0\) solves normal toric surfaces.
The normalized blowup of the logarithmic Jacobian ideal \(\mathcal {J}_0\) is determined by the Newton polygon \(\mathcal {N}_{\sigma }(\mathcal {J}_0)\), which, in turn, induces a subdivision of \(\sigma \) [11, Section 2.6 and Remark 26]. Hence, the iteration of normalized blowups of \(\mathcal {J}_0\) gives place to a regular subdivision of \(\sigma \).
Now suppose \({\text {char}}(\mathbb {K})=p>0\). By Proposition 2.4, \(\mathcal {N}_{\sigma }(\mathcal {J}_p)=\mathcal {N}_{\sigma }(\mathcal {J}_0)\). In particular, the subdivision of \(\sigma \) induced by \(\mathcal {N}_{\sigma }(\mathcal {J}_p)\) is the same as the one induced by \(\mathcal {N}_{\sigma }(\mathcal {J}_0)\). Hence, the iteration of normalized blowups of \(\mathcal {J}_p\) gives place to a regular subdivision of \(\sigma \). By Theorem 1.9, we conclude that the iteration of normalized Nash blowups solves \(X_{\Gamma }\). \(\square \)
4 Higher dimensional toric varieties
In view of the results of previous sections, one may wonder whether the combinatorics of the Nash blowup of toric varieties are independent of the characteristic in general. In other words, me may ask whether the last statement of Proposition 2.4 also holds for higher dimensional toric varieties. We conclude this paper by showing that this is not the case already in dimension three.
Let \(\sigma \subseteq \mathbb {R}^3\) be a cone such that \({\check{\sigma }}=\langle (1,0,0),(0,1,0),(1,1,2)\rangle _{\mathbb {R}_{\ge 0}}\subseteq \mathbb {R}^3\). Using Macaulay2 [12], we obtain that \(\Gamma ={\check{\sigma }}\cap \mathbb {Z}^3\) is minimally generated by \(\gamma _1=(1,0,0)\), \(\gamma _2=(0,1,0)\), \(\gamma _3=(1,1,1)\), and \(\gamma _4=(1,1,2)\). Hence, the logarithmic Jacobian ideals in characteristic zero and two are, respectively, \(\mathcal {J}_0=\langle t^{(2,2,1)},t^{(2,3,3)},t^{(3,2,3)},t^{(2,2,2)} \rangle \), \(\mathcal {J}_2=\langle t^{(2,2,1)},t^{(2,3,3)},t^{(3,2,3)}\rangle \).
Let \(\mathcal {N}_{\sigma }(\mathcal {J}_p)={\text {Conv}}\{\gamma _i+\gamma _j+\gamma _k+{\check{\sigma }}|\det (\gamma _i \gamma _j \gamma _k)\ne 0\mod p\}_{1\le i<j<k\le 4}.\) We claim that \(\mathcal {N}_{\sigma }(\mathcal {J}_0)\ne \mathcal {N}_{\sigma }(\mathcal {J}_2)\). We obtain \({\{x-2=0\}}\), \({\{y-2=0\}}\), and \(\{x+y-z-2=0\}\) are supporting hyperplanes of \(\mathcal {N}_{\sigma }(\mathcal {J}_0)\) from a direct computation. The intersection of these three planes is \(\{(2,2,2)\}\). Hence, (2, 2, 2) is a vertex of \(\mathcal {N}_{\sigma }(\mathcal {J}_0)\). Finally, notice that \((2,2,2)\notin \mathcal {N}_{\sigma }(\mathcal {J}_2)\).
Now we study the normalized Nash blowup of \(X_{\Gamma }\). In characteristic zero, the normalization of \(X_{\Gamma }^*\) is nonsingular [1, Section 6, Table 5].
To compute \(X_{\Gamma }^*\) in characteristic two, we compute the blowup of \(\mathcal {J}_2\) following the combinatorial description for the blowup of a toric variety along any monomial ideal [11, Section 2.6]. The polyhedron \(\mathcal {N}_{\sigma }(\mathcal {J}_2)\) has three vertices: \(v_1=(2,2,1)\), \(v_2=(3,2,3)\), \(v_3=(2,3,3)\). These vertices give place to the affine charts of \(X_{\Gamma }^*\). Each of these affine charts are also toric varieties, determined by the following semigroups:
To compute the normalization of \(X_{\Gamma }^*\) we need to find the saturation of these semigroups. Using Macaulay2 we obtain the following minimal set of generators for the saturation of each \(\Gamma _i\), denoted as \(\overline{\Gamma _i}\):
In particular, the normalization of \(X_{\Gamma }^*\) is singular. Repeating the entire algorithm for each \(\overline{\Gamma _i}\), the resulting saturated semigroups can all be generated by three elements. We conclude that by iterating twice the normalized Nash blowup in characteristic two, we obtain a resolution of \(X_{\Gamma }\).
We note also that the corresponding fans for the normalized blowups of \(X_\Gamma \) with respect to \(\mathcal {J}_0\) and \(\mathcal {J}_2\) have different rays; in particular, neither blowup factors through the other via a small morphism.
References
Atanasov, A., Lopez, C., Perry, A., Proudfoot, N., Thaddeus, M.: Resolving toric varieties with Nash blow-ups. Exp. Math. 20(3), 288–303 (2011)
Chachapoyas, N.: Invariantes de variedades determinantais. Thesis, ICMC-USP (2014)
Chávez-Martínez, E., Duarte, D., Giles Flores, A.: A higher-order tangent map and a conjecture on the higher Nash blowup of curves. Math. Z. 297, 1767–1791 (2021)
Cox, D., Little, J., Schenck, H.: Toric varieties, graduate studies in mathematics, vol. 124. AMS, (2011)
Duarte, D.: Nash modification on toric surfaces. Rev. de la Real Acad. de Cienc. Exactas Físicas y Na. Serie A Math. 108(1), 153–171 (2014)
Duarte, D., Green Tripp, D.: Nash modification on toric curves. In: Greuel, G.-M., Narváez Macarro, L., Xambó-Descamps, S. (eds.) Singularities Algebraic Geometry Commutative Algebra and Related Topics, pp. 191–202. Springer Nature, Switzerland AG (2018). https://doi.org/10.1007/978-3-319-96827-8-8
Duarte, D., Núñez-Betancourt, L.: Nash blowups in positive characteristic. Rev. Math. Iberoam. Electron. Publ. (2021). https://doi.org/10.4171/RMI/1278
Gonzalez-Sprinberg, G.: Eventails en dimension 2 et transformé de Nash, pp. 1–68. Publ. de l’E.N.S, Paris (1977)
Gonzalez-Sprinberg, G.: Résolution de Nash des points doubles rationnels. Ann. Inst. Fourier Grenoble 32(2), 111–178 (1982)
Gonzalez-Sprinberg, G.: On Nash blow-up of orbifolds. Adv. Stud. Pure Math. 56 (2009), Singularities-Niigata-Toyama 133-149 (2007)
González Perez, P.D., Teissier, B.: Toric geometry and the Semple-Nash modification. Rev. de la Real Acad. de Cienc. Exactas Físicas y Na. Serie A Math. 108(1), 1–48 (2014)
Grayson, D., Stillman, M.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/
Grigoriev, D., Milman, P.: Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2. Adv Math 231, 3389–3428 (2012)
Hironaka, H.: On Nash blowing-up. Arithmetic and geometry II, Progr. Math., vol. 36, pp. 103-111. Birkhauser Boston, Mass, (1983)
Lejeune-Jalabert, M., Reguera, A.: The Denef-Loeser series for toric surfaces singularities. In: Proceedings of the International Conference on Algebraic Geometry and Singularities (Spanish) (Sevilla, 2001). Rev. Mat. Iberoamericana 19, 581-612 (2003)
Nobile, A.: Some properties of the Nash blowing-up. Pac. J. Math. 60, 297–305 (1975)
Oda, T.: Convex bodies and algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 15. Springer-Verlag, Berlin (1988)
Oxley, J.: Matroid theory, Oxford graduate texts in mathematics, 2nd edn, vol. 21, (2011)
Rebassoo, V.: Desingularisation properties of the Nash blowing-up process. University of Washington, Thesis (1977)
Semple, J.G.: Some investigations in the geometry of curve and surface elements. Proc. Lond. Math. Soc. 4(3), 24–49 (1954)
Spivakovsky, M.: Sandwiched singularities and desingularisation of surfaces by normalized Nash transformations. Ann. Math. 131(3), 411–491 (1990)
Sturmfels, B.: Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8. AMS, Providence, RI (1996)
Acknowledgements
We thank the referees for their careful reading and valuable comments. The first author would like to thank Jawad Snoussi and Enrique Chávez for stimulating discussions on Nash blowups of toric varieties.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second author was partially supported by NSF CAREER Award DMS-2044833. The third author was partially supported by CONACyT Grant 284598 and Cátedras Marcos Moshinsky.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Duarte, D., Jeffries, J. & Núñez-Betancourt, L. Nash blowups of toric varieties in prime characteristic. Collect. Math. 75, 629–637 (2024). https://doi.org/10.1007/s13348-023-00402-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13348-023-00402-y