-
Characteristic-free normalized Nash blowup of toric varieties
Authors:
Federico Castillo,
Daniel Duarte,
Maximiliano Leyton-Álvarez,
Alvaro Liendo
Abstract:
We introduce conditions on cones of normal toric varieties under which the polyhedron defining the normalized Nash blowup does not depend on the characteristic of the base field. As a consequence, we deduce several results on the resolution of singularities properties of normalized Nash blowups. In particular, we recover all known results of the families that can be resolved via normalized Nash bl…
▽ More
We introduce conditions on cones of normal toric varieties under which the polyhedron defining the normalized Nash blowup does not depend on the characteristic of the base field. As a consequence, we deduce several results on the resolution of singularities properties of normalized Nash blowups. In particular, we recover all known results of the families that can be resolved via normalized Nash blowups in positive characteristic. We also provide new families of toric varieties whose normalized Nash blowup is non-singular in arbitrary characteristic.
△ Less
Submitted 24 January, 2025; v1 submitted 16 January, 2025;
originally announced January 2025.
-
Uniqueness of Generalized Fermat Groups in positive characteristic
Authors:
Rubén A. Hidalgo,
Henry F. Hughes,
Maximiliano Leyton-Álvarez
Abstract:
Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type $(d;k,n)$, where $n \geq d+1$ and $k \geq 2$ is relatively prime to $p$, if there is a Galois branched covering $π\colon X\to {\mathbb P}_{K}^{d}$, with deck group…
▽ More
Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type $(d;k,n)$, where $n \geq d+1$ and $k \geq 2$ is relatively prime to $p$, if there is a Galois branched covering $π\colon X\to {\mathbb P}_{K}^{d}$, with deck group ${\mathbb Z}_k^n\cong H<\rm{Aut}(X)$, whose branch divisor consists of $n+1$ hyperplanes in general position (each one of branch order $k$). In this case, the group $H$ is called a generalized Fermat group of type $(d;k,n)$. We prove that, if $k-1$ is not a power of $p$ and either (i) $p=2$ or (ii) $p>2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$, then a generalized Fermat variety of type $(d;k,n)$ has a unique generalized Fermat group of that type.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Nash blowup fails to resolve singularities in dimensions four and higher
Authors:
Federico Castillo,
Daniel Duarte,
Maximiliano Leyton-Álvarez,
Alvaro Liendo
Abstract:
In this paper we show that iterating Nash blowups or normalized Nash blowups does not resolve the singularities of algebraic varieties of dimension four or higher over an algebraically closed field of arbitrary characteristic.
In this paper we show that iterating Nash blowups or normalized Nash blowups does not resolve the singularities of algebraic varieties of dimension four or higher over an algebraically closed field of arbitrary characteristic.
△ Less
Submitted 4 October, 2024; v1 submitted 29 September, 2024;
originally announced September 2024.
-
Automorphisms of Generalized Fermat manifolds
Authors:
Ruben A. Hidalgo,
Henry F. Hughes,
Maximiliano Leyton-Alvarez
Abstract:
Let $d \geq 1$, $k \geq 2$ and $n\geq d+1$ be integers. A $d$-dimensional smooth complex algebraic variety $M$ is called a generalized Fermat variety of type $(d;k,n)$ if there is a Galois holomorphic branched covering $π:M \to {\mathbb P}^{d}$, with deck group $H\cong {\mathbb Z}_{k}^{n}$, whose branch divisor consists of $n+1$ hyperplanes in general position, each one of branch order $k$. In thi…
▽ More
Let $d \geq 1$, $k \geq 2$ and $n\geq d+1$ be integers. A $d$-dimensional smooth complex algebraic variety $M$ is called a generalized Fermat variety of type $(d;k,n)$ if there is a Galois holomorphic branched covering $π:M \to {\mathbb P}^{d}$, with deck group $H\cong {\mathbb Z}_{k}^{n}$, whose branch divisor consists of $n+1$ hyperplanes in general position, each one of branch order $k$. In this case, $H$ is called a generalized Fermat group of type $(d;k,n)$. In previous work, we proved that the generalized Fermat group $H$ is unique in the following cases: (i) $d=1$ and $(k-1)(n-1)>2$, or (ii) $d \geq 2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$. To obtain this uniqueness fact, we used a differential method due to Kontogeorgis. This paper provides a different and shorter proof of the uniqueness of $H$. We also study the locus of fixed points of subgroups of $H$.
△ Less
Submitted 16 December, 2024; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Newton non-degenerate $μ$-constant deformations admit simultaneous embedded resolutions
Authors:
Maximiliano Leyton-Álvarez,
Hussein Mourtada,
Mark Spivakovsky
Abstract:
Let $\mathbb{C}^{n+1}_o$ denote the germ of $\mathbb{C}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $\mathbb{C}^{n+1}_o$ and $W$ a deformation of $V$ over $\mathbb{C}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we will prove that $W$ is a $μ$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This resul…
▽ More
Let $\mathbb{C}^{n+1}_o$ denote the germ of $\mathbb{C}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $\mathbb{C}^{n+1}_o$ and $W$ a deformation of $V$ over $\mathbb{C}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we will prove that $W$ is a $μ$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This result gives a lot of information about $W$, for example, the topological triviality of the family $W$ and the fact that the natural morphism $(W(\mathbb{C}_o)_m)_{red} \rightarrow \mathbb{C}_{o}$ is flat, where $W(\mathbb{C}_o)_m$ is the relative space of $m$-jets. On the way tothe proof of our main result, we give a complete answer to a question ofArnold on the monotonicity of Newton numbers in the case of convenientNewton polyhedra.
△ Less
Submitted 20 March, 2024; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Weierstrass weight of the hyperosculating points of generalized Fermat curves
Authors:
Rubén A. Hidalgo,
Maximiliano Leyton-Álvarez
Abstract:
Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperosculating points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for th…
▽ More
Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperosculating points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Deforming spaces of m-jets of hypersurfaces singularities
Authors:
Maximiliano Leyton-Álvarez
Abstract:
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero, and $V$ a hypersurface defined by an irreducible polynomial $f$ with coefficients in $\mathbb{K}$ .
In this article we prove that an Embedded Deformation of $V$ which admits a Simultaneous Embedded Resolution induces, under certain mild conditions, a deformation of the reduced scheme associated to the space of $m$-jets…
▽ More
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero, and $V$ a hypersurface defined by an irreducible polynomial $f$ with coefficients in $\mathbb{K}$ .
In this article we prove that an Embedded Deformation of $V$ which admits a Simultaneous Embedded Resolution induces, under certain mild conditions, a deformation of the reduced scheme associated to the space of $m$-jets $V_m$, $m\geq 0$. An example of an Embedded Deformation of $V$ which admits a Simultaneous Embedded Resolution is a $Γ(f)$-deformation of $V$, where $V$ has at most one isolated singularity, and $f$ is non degenerate with respect to the Newton Boundary $Γ(f)$.
△ Less
Submitted 25 June, 2018; v1 submitted 5 May, 2015;
originally announced May 2015.
-
Weierstrass weight of the hyperosculating points of generalized Fermat curves
Authors:
Rubén A. Hidalgo,
Maximiliano Leyton-Álvarez
Abstract:
Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperoscualting points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for th…
▽ More
Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperoscualting points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points.
△ Less
Submitted 25 June, 2018; v1 submitted 22 September, 2014;
originally announced September 2014.
-
Automorphisms of the Generalized Fermat curves
Authors:
Rubén A. Hidalgo,
Aristides Kontogeorgis,
Maximiliano Leyton-Álvarez,
Panagiotis Paramantzoglou
Abstract:
Let $K$ be an algebraically closed field of characteristic $p \geq 0$. A generalized Fermat curve of type $(k,n)$, where $k,n \geq 2$ are integers (for $p \neq 0$ we also assume that $k$ is relatively prime to $p$), is a non-singular irreducible projective algebraic curve $F_{k,n}$ defined over $K$ admitting a group of automorphisms $H \cong {\mathbb Z}_{k}^{n}$ so that $F_{k,n}/H$ is the projecti…
▽ More
Let $K$ be an algebraically closed field of characteristic $p \geq 0$. A generalized Fermat curve of type $(k,n)$, where $k,n \geq 2$ are integers (for $p \neq 0$ we also assume that $k$ is relatively prime to $p$), is a non-singular irreducible projective algebraic curve $F_{k,n}$ defined over $K$ admitting a group of automorphisms $H \cong {\mathbb Z}_{k}^{n}$ so that $F_{k,n}/H$ is the projective line with exactly $(n+1)$ cone points, each one of order $k$. Such a group $H$ is called a generalized Fermat group of type $(k,n)$. If $(n-1)(k-1)>2$, then $F_{k,n}$ has genus $g_{n,k}>1$ and it is known to be non-hyperelliptic. In this paper, we prove that every generalized Fermat curve of type $(k,n)$ has a unique generalized Fermat group of type $(k,n)$ if $(k-1)(n-1)>2$ (for $p>0$ we also assume that $k-1$ is not a power of $p$).
Generalized Fermat curves of type $(k,n)$ can be described as a suitable fiber product of $(n-1)$ classical Fermat curves of degree $k$. We prove that, for $(k-1)(n-1)>2$ (for $p>0$ we also assume that $k-1$ is not a power of $p$), each automorphism of such a fiber product curve can be extended to an automorphism of the ambient projective space. In the case that $p>0$ and $k-1$ is a power of $p$, we use tools from the theory of complete projective intersections in order to prove that, for $k$ and $n+1$ relatively prime, every automorphism of the fiber product curve can also be extended to an automorphism of the ambient projective space.
In this article we also prove that the set of fixed points of the non-trivial elements of the generalized Fermat group coincide with the hyper-osculating points of the fiber product model under the assumption that the characteristic $p$ is either zero or $p>k^{n-1}$.
△ Less
Submitted 23 December, 2014; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Familles d'espaces de m-jets et d'espaces d'arcs
Authors:
Maximiliano Leyton-Alvarez
Abstract:
Families of m-jet spaces and arc spaces. Let V be an algebraic variety defined over an algebraically closed field of characteristic zero. The m-jet spaces and the arc space provide the information on the geometry of the variety V, therefore it is natural to ask the following questions: When will a deformation of V induce a deformation of the m-jet spaces and the arc space? If one considers a defor…
▽ More
Families of m-jet spaces and arc spaces. Let V be an algebraic variety defined over an algebraically closed field of characteristic zero. The m-jet spaces and the arc space provide the information on the geometry of the variety V, therefore it is natural to ask the following questions: When will a deformation of V induce a deformation of the m-jet spaces and the arc space? If one considers a deformation of V which admits a flat simultaneous resolution, how will the image of the Nash application vary? In section 3 some partial answers to these questions can be found. In section 4 two families of hypersurfaces of the 4-dimensional affine space are shown in which the Nash application is bijective. What's more, in each case a desingularization in which all the irreducible components of the exceptional fiber are essential divisors is explicitly given. It is important to note that very few examples of this type are found in the literature.
△ Less
Submitted 10 July, 2015; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Résolution du problème des arcs de Nash pour une famille d'hypersurfaces quasi-rationnelles
Authors:
Maximiliano Alexis Leyton-Alvarez
Abstract:
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 sam…
▽ More
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.
△ Less
Submitted 14 July, 2011; v1 submitted 30 January, 2011;
originally announced January 2011.