Showing 1–21 of 21 results for author: Bravo, A

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 independence complexes of graph products

Authors: Andrés Carnero Bravo

Abstract: We study the independence complex for graph products where at least one of the factors is a path as well as the complexes for their induced subgraphs. We calculate the homotopy type of the independence complex of the graphs $P_n\times P_m$, $P_n\boxtimes P_2$, $P_n\boxtimes P_3$ and $P_n\boxtimes P_4$. We also focus in the independence complexes of the induced subgraphs of $P_n\times P_3$,… ▽ More We study the independence complex for graph products where at least one of the factors is a path as well as the complexes for their induced subgraphs. We calculate the homotopy type of the independence complex of the graphs $P_n\times P_m$, $P_n\boxtimes P_2$, $P_n\boxtimes P_3$ and $P_n\boxtimes P_4$. We also focus in the independence complexes of the induced subgraphs of $P_n\times P_3$, $P_n\boxtimes P_2$, $P_n\boxtimes P_3$, $P_n\boxtimes P_4$ and some lexicographic products. △ Less

Submitted 9 May, 2025; originally announced May 2025.

MSC Class: 05C76; 05E45; 55P15

Finiteness of Leaps in the sense of Hasse-Schmidt of reduced rings

Authors: A. Bravo, María de la Paz Tirado Hernández

Abstract: We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a consequence, we prove that, if in addition $A$ contains a field, then the set of leaps of $A$ is finite along the minimal primes of certain Fitting ideal of $Ω_{A/k}$. We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a consequence, we prove that, if in addition $A$ contains a field, then the set of leaps of $A$ is finite along the minimal primes of certain Fitting ideal of $Ω_{A/k}$. △ Less

Submitted 27 September, 2024; originally announced September 2024.

MSC Class: 13N15

The apolar inner product and a Bombieri type inequality for polynomials

Authors: J. M. Aldaz, A. Bravo, H. Render

Abstract: We consider inequalities of Bombieri type for polynomials that need not be homogeneous, using the apolar inner product. We consider inequalities of Bombieri type for polynomials that need not be homogeneous, using the apolar inner product. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 9 pp

Polyhedral joins and graph complexes

Authors: Andrés Carnero Bravo

Abstract: We give the homotopy type of the suspension of a polyhedral join in terms of the polyhedral smash product for the same family of pairs and show that the polyhedral join of pairs $\left(\bigvee\mathbb{S}^0,\emptyset\right)$ over a skeleton of $Δ^n$ has the homotopy type of some wedge of spheres. We use these results to study the homotopy type of the forest filtration for some lexicographic products… ▽ More We give the homotopy type of the suspension of a polyhedral join in terms of the polyhedral smash product for the same family of pairs and show that the polyhedral join of pairs $\left(\bigvee\mathbb{S}^0,\emptyset\right)$ over a skeleton of $Δ^n$ has the homotopy type of some wedge of spheres. We use these results to study the homotopy type of the forest filtration for some lexicographic products of graphs. △ Less

Submitted 1 September, 2023; v1 submitted 26 July, 2023; originally announced July 2023.

MSC Class: 05E45; 55P10; 55P15; 05C76

The Forest Filtration of a Graph

Authors: Andrés Carnero Bravo

Abstract: Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of gra… ▽ More Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs. △ Less

Submitted 12 March, 2025; v1 submitted 25 July, 2023; originally announced July 2023.

Homotopy type of the independence complex of some categorical products of graphs

Authors: Omar Antolín Camarena, Andrés Carnero Bravo

Abstract: It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a m… ▽ More It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a multiple of $3$, we calculate the homotopy type for $m = 4, 5$ and show that for other values it has to have the homotopy type of a wedge of spheres of at most $2$ consecutive dimensions and maybe some Moore spaces. △ Less

Submitted 1 September, 2023; v1 submitted 23 July, 2023; originally announced July 2023.

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

Homotopy type through homology groups

Authors: Omar Antolín Camarena, Andrés Carnero Bravo

Abstract: We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive dimensions. We also show other pairs of dimensions for which the last result can be generalized. We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive dimensions. We also show other pairs of dimensions for which the last result can be generalized. △ Less

Submitted 13 January, 2023; v1 submitted 14 December, 2022; originally announced December 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

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.

Comments: 34 pages

MSC Class: 14E15

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

On the generating functions of a periodic infinite order linear recurrence

Authors: António Bravo, Henrique M. Oliveira

Abstract: Let G be the space of generating functions of a periodic infinite order linear recurrence. In this paper we provide an explicit procedure for computing a basis of G. Let G be the space of generating functions of a periodic infinite order linear recurrence. In this paper we provide an explicit procedure for computing a basis of G. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Comments: 7 pages

MSC Class: 15A15; 39A06; 92D25; 39A06

Kneading determinants of infinite order linear recurrences

Authors: João F. Alves, António Bravo, Henrique M. Oliveira

Abstract: Infinite order linear recurrences are studied via kneading matrices and kneading determinants. The concepts of kneading matrix and kneading determinant of an infinite order linear recurrence, introduced in this work, are defined in a purely linear algebraic context. These concepts extend the classical notions of Frobenius companion matrix to infinite order linear recurrences and to the associated… ▽ More Infinite order linear recurrences are studied via kneading matrices and kneading determinants. The concepts of kneading matrix and kneading determinant of an infinite order linear recurrence, introduced in this work, are defined in a purely linear algebraic context. These concepts extend the classical notions of Frobenius companion matrix to infinite order linear recurrences and to the associated discriminant of finite order linear recurrences. Asymptotic Binet formulas are deduced for general classes of infinite order linear recurrences as a consequence of the analytical properties of the generating functions obtained for the solutions of these infinite order linear recurrences. △ Less

Submitted 5 March, 2015; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 18 Pages

MSC Class: 15A15; 39A06

On Rees algebras and invariants for singularities over perfect fields

Authors: A. Bravo, M. L. García-Escamilla, O. E. Villamayor U.

Abstract: The purpose of this paper is to show how Rees algebras can be applied in the study of singularities embedded in smooth schemes over perfect fields. In particular, we will study situations in which the multiplicity of a hypersurface is a multiple of the characteristic. As another application, here we indicate how the use of these algebras has trivialized local-global questions in resolution of sing… ▽ More The purpose of this paper is to show how Rees algebras can be applied in the study of singularities embedded in smooth schemes over perfect fields. In particular, we will study situations in which the multiplicity of a hypersurface is a multiple of the characteristic. As another application, here we indicate how the use of these algebras has trivialized local-global questions in resolution of singularities over fields of characteristic zero. △ Less

Submitted 14 May, 2012; v1 submitted 9 July, 2011; originally announced July 2011.

Comments: Revised version. To appear in Indiana Math. J

MSC Class: 14E15

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.

Comments: Several typos corrected. Minor improvements on the presentation of the published paper

MSC Class: 14E15

Journal ref: Adv. in Math. 224 (2010)1349-1418

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 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.

Comments: 31 pages

MSC Class: 14E15