Showing 1–21 of 21 results for author: Encinas, S

The asymptotic Samuel functions and applications to resolution of singularities techniques

Authors: A. Benito, A. Bravo, S. Encinas

Abstract: We use the asymptotic Samuel function to define the Samuel slope of a Noetherian local ring, and we prove that it characterizes local regular excellent rings. In addition, we introduce a second invariant that refines the Samuel slope using generic linear cuts, the refined Samuel slope. We show that both, the Samuel slope and the refined Samuel slope, are connected to invariants coming from resol… ▽ More We use the asymptotic Samuel function to define the Samuel slope of a Noetherian local ring, and we prove that it characterizes local regular excellent rings. In addition, we introduce a second invariant that refines the Samuel slope using generic linear cuts, the refined Samuel slope. We show that both, the Samuel slope and the refined Samuel slope, are connected to invariants coming from resolution of singularities. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: 38 pages

MSC Class: 13B22; 14E15; 13H15

On some properties of the asymptotic Samuel function

Authors: A. Bravo, S. Encinas, J. Guillán-Rial

Abstract: The asymptotic Samuel function generalizes to arbitrary rings the usual order function of a regular local ring. Here we explore some natural properties in the context of excellent, equidimensional rings containing a field. In addition, we establish some results regarding the Samuel slope of a local ring. This is an invariant related with algorithmic resolution of singularities of algebraic varieti… ▽ More The asymptotic Samuel function generalizes to arbitrary rings the usual order function of a regular local ring. Here we explore some natural properties in the context of excellent, equidimensional rings containing a field. In addition, we establish some results regarding the Samuel slope of a local ring. This is an invariant related with algorithmic resolution of singularities of algebraic varieties. Among other results, we study its behavior after certain faithfully flat extensions. △ Less

Submitted 26 May, 2025; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: We thank the referee for several useful suggestions and constructive criticism of the paper. The initial part of the proof of Theorem 5.5 has been changed. To appear in Math. Nach. 22 pages

MSC Class: 13B22; 13H15

Sequences of point blow-ups from a combinatorial point of view

Authors: Daniel Camazón, Santiago Encinas

Abstract: We define equivalence relations for both sequences of point blow-ups of smooth d-dimensional projective varieties and for associated sequential morphisms and we prove that there exists a bijection between the respective equivalence classes of sequences of point blow-ups and the associated sequential morphisms. Moreover we show some diferences when dealing with the more general case of sequences of… ▽ More We define equivalence relations for both sequences of point blow-ups of smooth d-dimensional projective varieties and for associated sequential morphisms and we prove that there exists a bijection between the respective equivalence classes of sequences of point blow-ups and the associated sequential morphisms. Moreover we show some diferences when dealing with the more general case of sequences of blow-ups of smooth 3-dimensional projective varieties, where all possible dimensions for the centers are allowed. △ Less

Submitted 9 July, 2022; originally announced July 2022.

The asymptotic Samuel function and invariants of singularities

Authors: A. Benito, A. Bravo, S. Encinas

Abstract: The asymptotic Samuel function generalizes to arbitrary rings the usual order function of a regular local ring. In this paper, we use this function to introduce the notion of the Samuel slope of a Noetherian local ring, and we study some of its properties. In particular, we focus on the case of a local ring at singular point of a variety, and, among other results, we prove that the Samuel slope of… ▽ More The asymptotic Samuel function generalizes to arbitrary rings the usual order function of a regular local ring. In this paper, we use this function to introduce the notion of the Samuel slope of a Noetherian local ring, and we study some of its properties. In particular, we focus on the case of a local ring at singular point of a variety, and, among other results, we prove that the Samuel slope of these rings is related to some invariants used in algorithmic resolution of singularities. △ Less

Submitted 21 July, 2023; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 37 pages. Some hypotheses used in the proof of Proposition 2.10 but not explicitly stated have been added.To appear in Rev. Mat. Complutense

MSC Class: 13B22; 14E15; 13H15

Finite morphisms and Nash multiplicity sequences

Authors: A. Bravo, S. Encinas

Abstract: We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties. We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties. △ Less

Submitted 28 November, 2019; originally announced December 2019.

Comments: 17 pages. arXiv admin note: substantial text overlap with arXiv:1811.12203, arXiv:1802.02566

MSC Class: 14E15; 14E18

Journal ref: Journal of Pure and Applied Algebra, Volume 225, Issue 11, (2021), 106728

Contact loci and Hironaka's order

Authors: A. Bravo, S. Encinas, B. Pascual-Escudero

Abstract: We study contact loci sets of arcs and the behavior of Hironaka's order function defined in constructive Resolution of singularities. We show that this function can be read in terms of the irreducible components of the contact loci sets at a singular point of an algebraic variety. We study contact loci sets of arcs and the behavior of Hironaka's order function defined in constructive Resolution of singularities. We show that this function can be read in terms of the irreducible components of the contact loci sets at a singular point of an algebraic variety. △ Less

Submitted 28 July, 2020; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: Sections 1 and 5 have been reorganized. Consequence of Theorem 7.1 restricted to complex case. To appear in Manuscripta Math. arXiv admin note: text overlap with arXiv:1802.02566

Journal ref: Manuscripta Mathematica, volume 166, pages 131-165 (2021)

Nash multiplicity sequences and Hironaka's order function

Authors: A. Bravo, S. Encinas, B. Pascual-Escudero

Abstract: When $X$ is a $d$-dimensional variety defined over a field $k$ of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers. This is done by stratifying the maximum multiplicity locus of $X$ by means of the so called {\em resolution functions}. The most important of these functions i… ▽ More When $X$ is a $d$-dimensional variety defined over a field $k$ of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers. This is done by stratifying the maximum multiplicity locus of $X$ by means of the so called {\em resolution functions}. The most important of these functions is what we know as {\em Hironaka's order function in dimension $d$}. Actually, this function can be defined for varieties when the base field is perfect; however if the characteristic of $k$ is positive, the function is, in general, too coarse and does not provide enough information so as to define a resolution. It is very natural to ask what the meaning of this function is in this case, and to try to find refinements that could lead, ultimately, to a resolution. In this paper we show that Hironaka's order function in dimension $d$ can be read in terms of the {\em Nash multiplicity sequences} introduced by Lejeune-Jalabert. Therefore, the function is intrinsic to the variety and has a geometrical meaning in terms of its space of arcs. △ Less

Submitted 26 February, 2019; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: Minor changes, corrected errata, and additional details given in Proposition 5.9. Accepted for publication in Indiana University Mathematics Journal

MSC Class: 14E15

Journal ref: Indiana Univ. Math. J. 69 (2020), no. 6, 1933-1973

Nash multiplicities and resolution invariants

Authors: A. Bravo, S. Encinas, B. Pascual-Escudero

Abstract: 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 algorith… ▽ More 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. △ Less

Submitted 20 December, 2016; v1 submitted 30 October, 2015; originally announced October 2015.

Comments: minor corrections, 42 pages

MSC Class: 14E15; 14J17

Journal ref: Collect. Math. (2017) 68:175-217

A procedure for computing the log canonical threshold of a binomial ideal

Authors: Rocío Blanco, Santiago Encinas

Abstract: We present a procedure for computing the log-canonical threshold of an arbitrary ideal generated by binomials and monomials. The computation of the log canonical threshold is reduced to the problem of computing the minimum of a function, which is defined in terms of the generators of the ideal. The minimum of this function is attained at some ray of a fan which only depends on the exponents of t… ▽ More We present a procedure for computing the log-canonical threshold of an arbitrary ideal generated by binomials and monomials. The computation of the log canonical threshold is reduced to the problem of computing the minimum of a function, which is defined in terms of the generators of the ideal. The minimum of this function is attained at some ray of a fan which only depends on the exponents of the monomials appearing in the generators of the ideal. △ Less

Submitted 11 February, 2017; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: Minor corrections and typos

MSC Class: 14F18; 14B05; 14E15; 14M25

Journal ref: Manuscripta Mathematica. 155(1), pp 141-181. (2018)

Some natural properties of constructive resolution of singularities

Authors: Angélica Benito, Santiago Encinas, Orlando E. Villamayor U

Abstract: These expository notes, addressed to non-experts, are intended to present some of Hironaka's ideas on his theorem of resolution of singularities. We focus particularly on those aspects which have played a central role in the constructive proof of this theorem. In fact, algorithmic proofs of the theorem of resolution grow, to a large extend, from the so called Hironaka's fundamental invariant. He… ▽ More These expository notes, addressed to non-experts, are intended to present some of Hironaka's ideas on his theorem of resolution of singularities. We focus particularly on those aspects which have played a central role in the constructive proof of this theorem. In fact, algorithmic proofs of the theorem of resolution grow, to a large extend, from the so called Hironaka's fundamental invariant. Here we underline the influence of this invariant in the proofs of the natural properties of constructive resolution, such as: equivariance, compatibility with open restrictions, with pull-backs by smooth morphisms, with changes of the base field, independence of the embedding, etc. △ Less

Submitted 17 July, 2011; v1 submitted 2 April, 2011; originally announced April 2011.

Comments: 43 pages

Lojasiewicz exponent of families of ideals, Rees mixed multiplicities and Newton filtrations

Authors: Carles Bivià-Ausina, Santiago Encinas

Abstract: We give an expression for the Łojasiewicz exponent of a wide class of n-tuples of ideals $(I_1,..., I_n)$ in $Ø_n$ using the information given by a fixed Newton filtration. In order to obtain this expression we consider a reformulation of Łojasiewicz exponents in terms of Rees mixed multiplicities. As a consequence, we obtain a wide class of semi-weighted homogeneous functions… ▽ More We give an expression for the Łojasiewicz exponent of a wide class of n-tuples of ideals $(I_1,..., I_n)$ in $Ø_n$ using the information given by a fixed Newton filtration. In order to obtain this expression we consider a reformulation of Łojasiewicz exponents in terms of Rees mixed multiplicities. As a consequence, we obtain a wide class of semi-weighted homogeneous functions $(\mathbb{C}^n,0)\to (\mathbb{C},0)$ for which the Łojasiewicz of its gradient map $\nabla f$ attains the maximum possible value. △ Less

Submitted 29 January, 2012; v1 submitted 9 March, 2011; originally announced March 2011.

Comments: 25 pages. Updated with minor changes

MSC Class: 32S05 (Primary) 13H15 (Secondary)

Journal ref: Rev. Mat. Complut. 26 (2013), no. 2, 773-798

Coefficient and elimination algebras in Resolution of Singularities

Authors: Rocío Blanco, Santiago Encinas

Abstract: We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the previous structures. In the case of characteristic zero one may use these structures to obtain a resolution of singularities. We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the previous structures. In the case of characteristic zero one may use these structures to obtain a resolution of singularities. △ Less

Submitted 26 August, 2010; originally announced August 2010.

Comments: 18 pages

Journal ref: Asian Journal of Mathematics, 15 (2), 2011, pp 251-272

The Łojasiewicz exponent of a set of weighted homogeneous ideals

Authors: Carles Bivià-Ausina, Santiago Encinas

Abstract: We give an expression for the Łojasiewicz exponent of a set of ideals which are pieces of a weighted homogeneous filtration. We also study the application of this formula to the computation of the Łojasiewicz exponent of the gradient of a semi-weighted homogeneous function $(\C^n,0)\to (\C,0)$ with an isolated singularity at the origin. We give an expression for the Łojasiewicz exponent of a set of ideals which are pieces of a weighted homogeneous filtration. We also study the application of this formula to the computation of the Łojasiewicz exponent of the gradient of a semi-weighted homogeneous function $(\C^n,0)\to (\C,0)$ with an isolated singularity at the origin. △ Less

Submitted 19 December, 2009; originally announced December 2009.

Comments: 15 pages

MSC Class: 32S05; 13H15

Journal ref: Journal of Pure and Applied Algebra, 215(4), 2011, pp 578--588

Lojasiewicz exponents and resolution of singularities

Authors: Carles Bivià-Ausina, Santiago Encinas

Abstract: We show an effective method to compute the Łojasiewicz exponent of an arbitrary sheaf of ideals of $\OO_X$, where $X$ is a non-singular scheme. This method is based on the algorithm of resolution of singularities. We show an effective method to compute the Łojasiewicz exponent of an arbitrary sheaf of ideals of $\OO_X$, where $X$ is a non-singular scheme. This method is based on the algorithm of resolution of singularities. △ Less

Submitted 4 June, 2009; v1 submitted 11 March, 2009; originally announced March 2009.

Comments: Ams-Latex, 10 pages. Corrected typos and updated references

MSC Class: 2S05; 14E15; 13H15

Journal ref: Archiv der Mathematik. Volume 93, Issue 3 (2009), pages 225-234

Embedded desingularization of toric varieties

Authors: Rocio Blanco, Santiago Encinas

Abstract: We present a new method to achieve an embedded desingularization of a toric variety. Let $W$ be a regular toric variety defined by a fan $Σ$ and $X\subset W$ be a toric embedding. We construct a finite sequence of combinatorial blowing-ups such that the final strict transforms $X'\subset W'$ are regular and $X'$ has normal crossing with the exceptional divisor. We present a new method to achieve an embedded desingularization of a toric variety. Let $W$ be a regular toric variety defined by a fan $Σ$ and $X\subset W$ be a toric embedding. We construct a finite sequence of combinatorial blowing-ups such that the final strict transforms $X'\subset W'$ are regular and $X'$ has normal crossing with the exceptional divisor. △ Less

Submitted 22 January, 2009; v1 submitted 15 January, 2009; originally announced January 2009.

Comments: Some comments have been corrected and references added

MSC Class: 14E15; 14H20

Journal ref: Journal of Symbolic Computation 46 (2011), pp. 1229-1241

Maximal contact and normal crossings in resolution of singularities

Authors: Santiago Encinas

Abstract: This paper has been withdrawn by the author This paper has been withdrawn by the author △ Less

Submitted 11 April, 2008; v1 submitted 24 March, 2008; originally announced March 2008.

Comments: This paper has been withdrawn by the author

MSC Class: 14E15

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.

Comments: 19 pages

MSC Class: 14E15

Journal ref: Actas del XVI Coloquio Latinoamericano de Algebra, Biblioteca de la Revista Matematica Iberoamericana, Revista Matematica Iberoamericana, 2007, pp. 63-85

Strong resolution of singularities in characteristic zero

Authors: S. Encinas, H. Hauser

Abstract: We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem. We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem. △ Less

Submitted 27 November, 2002; originally announced November 2002.

Comments: plain tex file. 20 pages

MSC Class: 14E15; 14B05; 32S05; 32S10; 32S45

Journal ref: Comment. Math. Helv. 77 (2002) 821-845

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.

Comments: Final version to appear in Revista Matematica Iberoamericana

MSC Class: 14E15

Journal ref: Rev. Mat. Iberoamericana 21 (2005), no. 2, 349-458

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.

Comments: In accordance to the suggestions of referee: Title has changed and the structure of the paper is different. Proof of main theorem is clarified. Latex document, 11pages

MSC Class: 14E15; 32S45

Journal ref: Revista Matematica Iberoamericana 19, 339-353 (2003)

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.

Comments: Plain TeX, 37 pages

MSC Class: 14E15; 14D99

Journal ref: Proc. London Math. Soc. (3) 86 (2003) 607-648