-
Differentiably simple rings and ring extensions defined by $p$-basis
Authors:
Celia del Buey de Andrés,
Diego Sulca,
Orlando E. Villamayor
Abstract:
We review the concept of differentiably simple ring and we give a new proof of Harper's Theorem on the characterization of Noetherian differentiably simple rings in positive characteristic. We then study flat families of differentiably simple rings, or equivalently, finite flat extensions of rings which locally admit $p$-basis. These extensions are called "Galois extensions of exponent one". For s…
▽ More
We review the concept of differentiably simple ring and we give a new proof of Harper's Theorem on the characterization of Noetherian differentiably simple rings in positive characteristic. We then study flat families of differentiably simple rings, or equivalently, finite flat extensions of rings which locally admit $p$-basis. These extensions are called "Galois extensions of exponent one". For such an extension $A\subset C$, we introduce an $A$-scheme, called the "Yuan scheme", which parametrizes subextensions $A\subset B\subset C$ such that $B\subset C$ is Galois of a fixed rank. So, roughly, the Yuan scheme can be thought of as a kind of Grassmannian of Galois subextensions. We finally prove that the Yuan scheme is smooth and compute the dimension of the fibers.
△ Less
Submitted 7 October, 2024; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Multiplicity along points of a radicial covering of a regular variety
Authors:
Diego Sulca,
Orlando E. U. Villamayor
Abstract:
We study the maximal multiplicity locus of a variety $X$ over a field of characteristic $p>0$ that is provided with a finite surjective radical morphism $δ:X\rightarrow V$, where $V$ is regular, for example, when $X\subset\mathbb{A}^{n+1}$ is a hypersurface defined by an equation of the form $T^{q}-f(x_{1},\ldots,x_{n})=0$ and $δ$ is the projection onto…
▽ More
We study the maximal multiplicity locus of a variety $X$ over a field of characteristic $p>0$ that is provided with a finite surjective radical morphism $δ:X\rightarrow V$, where $V$ is regular, for example, when $X\subset\mathbb{A}^{n+1}$ is a hypersurface defined by an equation of the form $T^{q}-f(x_{1},\ldots,x_{n})=0$ and $δ$ is the projection onto $V:=\operatorname{Spec}(k[x_{1},\ldots,x_{n}])$. The multiplicity along points of $X$ is bounded by the degree, say $d$, of the field extension $K(V)\subset K(X)$. We denote by $F_{d}(X)\subset X$ the set of points of multiplicity $d$. Our guiding line is the search for invariants of singularities $x\in F_{d}(X)$ with a good behavior property under blowups $X'\rightarrow X$ along regular centers included in $F_{d}(X)$, which we call \emph{invariants with the pointwise inequality property}.
A finite radicial morphism $δ:X\to V$ as above will be expressed in terms of an $\mathcal{O}_{V}^{q}$-submodule $\mathscr{M}\subseteq\mathcal{O}_{V}$. A blowup $X'\to X$ along a regular equimultiple center included in $F_{d}(X)$ induces a blowup $V'\to V$ along a regular center and a finite morphism $δ':X'\to V'$. A notion of transform of the $\mathcal{O}_{V}^{q}$-module $\mathscr{M}\subset\mathcal{O}_{V}$ to an $\mathcal{O}_{V'}^{q}$-module $\mathscr{M}'\subset\mathcal{O}_{V'}$ will be defined in such a way that $δ':X'\to V'$ is the radicial morphism defined by $\mathscr{M}'$. Our search for invariants relies on techniques involving differential operators on regular varieties and also on logarithmic differential operators. Indeed, the different invariants we introduce and the stratification they define will be expressed in terms of ideals obtained by evaluating differential operators of $V$ on $\mathcal{O}_{V}^{q}$-submodules $\mathscr{M}\subset\mathcal{O}_{V}$.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Finite morphisms and simultaneous reduction of the multiplicity
Authors:
Carlos Abad,
Ana Bravo,
Orlando E. Villamayor
Abstract:
Let $X$ be a singular algebraic variety defined over a field $k$, with quotient field $K(X)$. Let $s \geq 2$ be the highest multiplicity of $X$ and $F_s(X)$ the set of points of multiplicity $s$. If $Y\subset F_s(X)$ is a regular center and $X\leftarrow X_1$ is the blow up at $Y$, then the highest multiplicity of $X_1$ is less than or equal to $s$. A sequence of blow ups at regular centers…
▽ More
Let $X$ be a singular algebraic variety defined over a field $k$, with quotient field $K(X)$. Let $s \geq 2$ be the highest multiplicity of $X$ and $F_s(X)$ the set of points of multiplicity $s$. If $Y\subset F_s(X)$ is a regular center and $X\leftarrow X_1$ is the blow up at $Y$, then the highest multiplicity of $X_1$ is less than or equal to $s$. A sequence of blow ups at regular centers $Y_i \subset F_s(X_i)$, say $X \leftarrow X_1 \leftarrow \dotsb \leftarrow X_n$, is said to be a {\em simplification} of the multiplicity if the maximum multiplicity of $X_n$ is strictly lower than that of $X$, that is, if $F_s(X_n) $ is empty. In characteristic zero there is an algorithm which assigns to each $X$ a unique simplification of the multiplicity. However, the problem remains open when the characteristic is positive.
In this paper we will study finite dominant morphisms between singular varieties $β: X'\to X$ of generic rank $r \geq 1$ (i.e., $[K(X'):K(X)]=r$). We will see that, when imposing suitable conditions on $β$, there is a strong link between the strata of maximum multiplicity of $X$ and $X'$, say $F_{s}(X)$ and $F_{rs}(X')$ respectively. In such case, we will say that the morphism is strongly transversal. When $β: X'\to X$ is strongly transversal one can obtain information about the simplification of the multiplicity of $X$ from that of $X'$ and vice versa. Finally, we will see that given a singular variety $X$ and a finite field extension $L$ of $K(X)$ of rank $r \geq 1$, one can construct (at least locally, in étale topology) a strongly transversal morphism $β: X'\to X$, where $X'$ has quotient field $L$.
△ Less
Submitted 9 November, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Techniques for the study of singularities with applications to resolution of 2-dimensional schemes
Authors:
Angélica Benito,
Orlando E. Villamayor
Abstract:
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
△ Less
Submitted 3 October, 2011; v1 submitted 17 March, 2011;
originally announced March 2011.
-
On elimination of variables in the study of singularities in positive characteristic
Authors:
Angélica Benito,
Orlando E. Villamayor
Abstract:
The objective of this paper is to discuss invariants of singularities of algebraic schemes over fields of positive characteristic, and to show how they yield the simplification of singularities.
We focus here on invariants which arise in an inductive manner, namely by successive elimination of variables. When applied to hypersurface singularities they lead us to a refinement of the notion of mul…
▽ More
The objective of this paper is to discuss invariants of singularities of algebraic schemes over fields of positive characteristic, and to show how they yield the simplification of singularities.
We focus here on invariants which arise in an inductive manner, namely by successive elimination of variables. When applied to hypersurface singularities they lead us to a refinement of the notion of multiplicity.
The main theorem proves that, under some numerical conditions expressed by these invariants, singularities can be simplified by blowups at centers prescribed by this refinement.
△ Less
Submitted 17 March, 2011;
originally announced March 2011.
-
Monoidal transforms and invariants of singularities in positive characteristic
Authors:
Angélica Benito,
Orlando E. Villamayor
Abstract:
The problem of resolution of singularities in positive characteristic can be reformulated as follows: Fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open pro…
▽ More
The problem of resolution of singularities in positive characteristic can be reformulated as follows: Fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points).
In characteristic zero, such an $n$-sequence is defined in two steps: the first consisting in the transformation of $X$ to a hypersurface with $n$-fold points in the so called monomial case. The second step consists in the elimination of these $n$-fold points (in the monomial case), which is achieved by a simple combinatorial procedure for choices of centers.
The invariants treated in this work allow us to define a notion of strong monomial case which parallels that of monomial case in characteristic zero: If a hypersurface is within the strong monomial case we prove that a resolution can be achieved in a combinatorial manner.
△ Less
Submitted 17 March, 2011; v1 submitted 11 April, 2010;
originally announced April 2010.
-
Monoidal transformations of singularities in positive characteristic
Authors:
Angélica Benito,
Orlando Villamayor
Abstract:
A sequence of monoidal transformations is defined, in terms of invariants, for a singular hypersurface embedded in a smooth scheme of positive characteristic. Some examples are added to illustrate the improvement of singularities by this procedure.
A sequence of monoidal transformations is defined, in terms of invariants, for a singular hypersurface embedded in a smooth scheme of positive characteristic. Some examples are added to illustrate the improvement of singularities by this procedure.
△ Less
Submitted 22 July, 2011; v1 submitted 25 November, 2008;
originally announced November 2008.
-
Plain Varieties
Authors:
Gábor Bodnár,
Herwig Hauser,
Josef Schicho,
Orlando Villamayor
Abstract:
Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that plain varieties are stable under blowup in smooth centers.
Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that plain varieties are stable under blowup in smooth centers.
△ Less
Submitted 14 October, 2008;
originally announced October 2008.
-
Singularities in positive characteristic, stratification and simplification of the singular locus
Authors:
Ana Bravo,
Orlando Villamayor
Abstract:
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.
△ Less
Submitted 13 June, 2011; v1 submitted 27 July, 2008;
originally announced July 2008.
-
Elimination with applications to singularities in positive characteristic
Authors:
Orlando Villamayor
Abstract:
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of characteristic zero, is discussed here in positive characteristic.
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of characteristic zero, is discussed here in positive characteristic.
△ Less
Submitted 21 December, 2007;
originally announced December 2007.
-
Rees algebras and resolution of singularities
Authors:
Santiago Encinas,
Orlando Villamayor
Abstract:
Embedded principalization of ideals in smooth schemes, also known as Log-resolutions of ideals, play a central role in algebraic geometry. If two sheaves of ideals, say $I_1$ and $I_2$, over a smooth scheme $V$ have the same integral closure, it is well known that Log-resolution of one of them induces a Log-resolution of the other. On the other hand, in case $V$ is smooth over a field of charact…
▽ More
Embedded principalization of ideals in smooth schemes, also known as Log-resolutions of ideals, play a central role in algebraic geometry. If two sheaves of ideals, say $I_1$ and $I_2$, over a smooth scheme $V$ have the same integral closure, it is well known that Log-resolution of one of them induces a Log-resolution of the other. On the other hand, in case $V$ is smooth over a field of characteristic zero, an algorithm of desingularization provides, for each sheaf of ideals, a unique Log-resolution.
In this paper we show that algorithms of desingularization define the same Log-resolution for two ideals having the same integral closure. We prove this result here by using the form of induction introduced by Włodarczyk.
We extend the notion of Log-resolution of ideals over a smooth scheme $V$, to that of Rees algebras over $V$; and then we show that two Rees algebras with the same integral closure undergo the same constructive resolution. The key point is the interplay of integral closure with differential operators.
△ Less
Submitted 27 February, 2007;
originally announced February 2007.
-
Hypersurface singularities in positive characteristic
Authors:
Orlando Villamayor
Abstract:
The paper is motivated on the open problem of resolution of singularities in positive characteristic. The aim is to present a form of induction which is different from that used by Hironaka. In characteristic zero induction is formulated by restriction to smooth hypersurfaces (hypersurfaces of maximal contact). Our alternative approach, introduced here, replaces restrictions to smooth sub-schemes…
▽ More
The paper is motivated on the open problem of resolution of singularities in positive characteristic. The aim is to present a form of induction which is different from that used by Hironaka. In characteristic zero induction is formulated by restriction to smooth hypersurfaces (hypersurfaces of maximal contact). Our alternative approach, introduced here, replaces restrictions to smooth sub-schemes by generic projections on smooth schemes of smaller dimension. We also introduce a generalization of the discriminant, and our result makes use of the elimination theory. In the case of fields of characteristic zero, elimination gives exactly the same information as the form of induction used by Hironaka.
△ Less
Submitted 23 December, 2010; v1 submitted 30 June, 2006;
originally announced June 2006.
-
Rees algebras on smooth schemes: integral closure and higher differential operators
Authors:
Orlando Villamayor
Abstract:
Let $V$ be a smooth scheme over a field $k$, and let $\{I_n, n\geq 0\}$ be a filtration of sheaves of ideals in $\calo_V$, such that $I_0=\calo_V$, and $I_s\cdot I_t\subset I_{s+t}$. In such case $\bigoplus I_n$ is called a Rees algebra.
A Rees algebra is said to be a Diff-algebra if, for any two integers $N>n$ and any differential operator $D$ of order $n$, $D(I_N)\subset I_{N-n}$. Any Rees alg…
▽ More
Let $V$ be a smooth scheme over a field $k$, and let $\{I_n, n\geq 0\}$ be a filtration of sheaves of ideals in $\calo_V$, such that $I_0=\calo_V$, and $I_s\cdot I_t\subset I_{s+t}$. In such case $\bigoplus I_n$ is called a Rees algebra.
A Rees algebra is said to be a Diff-algebra if, for any two integers $N>n$ and any differential operator $D$ of order $n$, $D(I_N)\subset I_{N-n}$. Any Rees algebra extends to a smallest Diff-algebra.
There are two ways to define extensions of Rees algebras, and both are of interest in singularity theory. One is that defined by taking integral closures (in which a Rees algebra is included in its integral closure), and another extension is that defined, as above, in which the algebra is extended to a Diff-algebra.
Surprisingly enough, both forms of extension are compatible in a natural way. Namely, there is a compatibility of higher differential operators with integral closure which we explore here under the assumption that $V$ is smooth over a perfect field.
△ Less
Submitted 4 November, 2010; v1 submitted 30 June, 2006;
originally announced June 2006.
-
A Simplified Proof of Desingularization and Applications
Authors:
A. Bravo,
S. Encinas,
O. Villamayor
Abstract:
This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of desingularization of families of embedded schemes, and a formulation of desingularization which is stronger than Hironaka's). Our proof avoids the use of the Hilbert-Samuel…
▽ More
This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of desingularization of families of embedded schemes, and a formulation of desingularization which is stronger than Hironaka's). Our proof avoids the use of the Hilbert-Samuel function and Hironaka's notion of normal flatness: First we define a procedure for principalization of ideals (i.e. a procedure to make an ideal invertible), and then we show that desingularization of a closed subscheme $X$ is achieved by using the procedure of principalization for the ideal ${\mathcal I}(X)$ associated to the embedded scheme (X). The paper intends to be an introduction to the subject, focused on the motivation of ideas used in this new approach, and particularly on applications, some of which do not follow from Hironaka's proof.
△ Less
Submitted 7 July, 2003; v1 submitted 24 June, 2002;
originally announced June 2002.
-
A strong desingularization theorem
Authors:
Ana Bravo,
Orlando Villamayor
Abstract:
Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We prove that there exists a proper, birational morphism, $π: W_r\longrightarrow W$, obtained as a composition of monoidal transformations, so that if…
▽ More
Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We prove that there exists a proper, birational morphism, $π: W_r\longrightarrow W$, obtained as a composition of monoidal transformations, so that if $X_r\subset W_r$ denotes the strict transform of $X\subset W$ then: 1) The morphism $π:W_r\longrightarrow W$ is an embedded desingularization of $X$ (as in Hironaka's Theorem); 2) The {\em total transform} of ${\mathcal I}(X)$ in ${\mathcal O}_{W_r}$ factors as a product of an invertible sheaf of ideals ${\mathcal L}$ supported on the exceptional locus, and the sheaf of ideals defining the strict transform of $X$ (i.e. ${\mathcal I}(X){\mathcal O}_{W_r}={\mathcal L}\cdot{\mathcal I}(X_r)$). This result is stronger than Hironaka's Theorem, in fact (2) is novel and does not hold for desingularizations which follow Hironaka's line of proof unless $X$ is a hypersurface. We will say that $W_r\longrightarrow W$ defines a {\em Strong Desingularization of $X$}.
△ Less
Submitted 30 March, 2001;
originally announced April 2001.
-
A Proof of Desingularization over fields of characteristic zero
Authors:
S. Encinas,
O. Villamayor
Abstract:
We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness.
This proof, already sketched in [A course on constructive desingularization and equivariance. In {\em Resolution of singularities (Obergurgl, 1997)}, vol. 181 {\em Progr. Math.}, Birkhäuser, 2000.] page 224, is done by showin…
▽ More
We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness.
This proof, already sketched in [A course on constructive desingularization and equivariance. In {\em Resolution of singularities (Obergurgl, 1997)}, vol. 181 {\em Progr. Math.}, Birkhäuser, 2000.] page 224, is done by showing that desingularization of a closed subscheme $X$, in a smooth sheme W, is achieved by taking an algorithmic principalization for the ideal $I(X)$, associated to the embedded scheme $X$.
△ Less
Submitted 30 September, 2002; v1 submitted 25 January, 2001;
originally announced January 2001.
-
On Algorithmic Equiresolution and Stratification of Hilbert Schemes
Authors:
S. Encinas,
A. Nobile,
O. Villamayor
Abstract:
Given an algorithm of resolution of singularities satisfying certain conditions (``good algorithms''), natural notions of simultaneous algorithmic resolution, or equiresolution, for families of embedded schemes (parametrized by a reduced scheme $T$) are proposed. It is proved that these conditions are equivalent. Something similar is done for families of sheaves of ideals, here the goal is algor…
▽ More
Given an algorithm of resolution of singularities satisfying certain conditions (``good algorithms''), natural notions of simultaneous algorithmic resolution, or equiresolution, for families of embedded schemes (parametrized by a reduced scheme $T$) are proposed. It is proved that these conditions are equivalent. Something similar is done for families of sheaves of ideals, here the goal is algorithmic simultaneous principalization. A consequence is that given a family of embedded schemes over a reduced $T$, this parameter scheme can be naturally expressed as a disjoint union of locally closed sets $T_{j}$, such that the induced family on each part $T_{j}$ is equisolvable. In particular, this can be applied to the Hilbert scheme of a smooth projective variety; in fact, our result shows that, in characteristic zero, the underlying topological space of any Hilbert scheme parametrizing embedded schemes can be naturally stratified in equiresolvable families.
△ Less
Submitted 25 October, 2000;
originally announced October 2000.
