Showing 1–21 of 21 results for author: Boix, A F

Regularity of deficiency modules through spectral sequences

Authors: Alberto F. Boix, Santiago Zarzuela

Abstract: The main goal of this paper is to obtain upper bounds for the regularity of graded deficiency modules in the spirit of the one obtained by Kumini--Murai in the monomial case building upon the spectral sequence formalism developed by Àlvarez Montaner, Boix and Zarzuela. This spectral sequence formalism allows us not only to recover Kumini--Murai's upper bound for monomial ideals, but also to extend… ▽ More The main goal of this paper is to obtain upper bounds for the regularity of graded deficiency modules in the spirit of the one obtained by Kumini--Murai in the monomial case building upon the spectral sequence formalism developed by Àlvarez Montaner, Boix and Zarzuela. This spectral sequence formalism allows us not only to recover Kumini--Murai's upper bound for monomial ideals, but also to extend it for other types of rings, which include toric face rings and some binomial edge rings, producing to the best of our knowledge new upper bounds for the regularity of graded deficiency modules of this type of rings. △ Less

Submitted 27 November, 2024; originally announced December 2024.

Comments: 14 pages, comments are welcome

MSC Class: Primary 13A02; 13D07; 13D45

MacWilliams duality for rank metric codes over finite chain rings

Authors: Iván Blanco-Chacón, Alberto F. Boix, Marcus Greferath, Erik Hieta-aho

Abstract: We extend Ravagnani's MacWilliams duality theory to the settings of rank metric codes over finite chain rings, relating the sequences of $q$-binomial moments of a rank metric code over this class of rings with those of its dual. We extend Ravagnani's MacWilliams duality theory to the settings of rank metric codes over finite chain rings, relating the sequences of $q$-binomial moments of a rank metric code over this class of rings with those of its dual. △ Less

Submitted 10 August, 2024; v1 submitted 6 August, 2024; originally announced August 2024.

On some algebraic and geometric extensions of Goldbach's conjecture

Authors: Alberto F. Boix, Danny A. J. Gómez-Ramírez

Abstract: The goal of this paper is to study Goldbach's conjecture for rings of regular functions of affine algebraic varieties over a field. Among our main results, we define the notion of Goldbach condition for Newton polytopes, and we prove in a constructive way that any polynomial in at least two variables over a field can be expressed as sum of at most $2r$ absolutely irreducible polynomials, where… ▽ More The goal of this paper is to study Goldbach's conjecture for rings of regular functions of affine algebraic varieties over a field. Among our main results, we define the notion of Goldbach condition for Newton polytopes, and we prove in a constructive way that any polynomial in at least two variables over a field can be expressed as sum of at most $2r$ absolutely irreducible polynomials, where $r$ is the number of its non--zero monomials. We also study other weak forms of Goldbach's conjecture for localizations of these rings. Moreover, we prove the validity of Goldbach's conjecture for a particular instance of the so--called forcing algebras introduced by Hochster. Finally, we prove that, for a proper multiplicative closed set $S$ of $\mathbb{Z}$, the collection of elements of $S^{-1}\mathbb{Z}$ that can be written as finite sum of primes forms a dense subset of the real numbers, among other results. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 27 pages, comments are welcome

MSC Class: 11R09; 52B20

Certain endomorphism rings of local cohomology modules and Lyubeznik numbers

Authors: Alberto F. Boix, Majid Eghbali

Abstract: The goal of this paper is twofold; on the one hand, motivated by questions raised by Schenzel, we explore situations where the Hartshorne--Lichtenbaum Vanishing Theorem for local cohomology fails, leading us to simpler expressions of certain local cohomology modules. As application, we give new expressions of the endomorphism ring of these modules. On the other hand, building upon previous work by… ▽ More The goal of this paper is twofold; on the one hand, motivated by questions raised by Schenzel, we explore situations where the Hartshorne--Lichtenbaum Vanishing Theorem for local cohomology fails, leading us to simpler expressions of certain local cohomology modules. As application, we give new expressions of the endomorphism ring of these modules. On the other hand, building upon previous work by Àlvarez Montaner, we exhibit the shape of Lyubeznik tables of the so--called partially sequentially Cohen--Macaulay rings as introduced by Sbarra and Strazzanti. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 13 pages, comments are welcome

MSC Class: 13D45; 14B15

Journal ref: International Journal of Algebra and Computation, volume 33 (2023), number 4, 769-786

On the infinitely generated locus of Frobenius algebras of rings of prime characteristic

Authors: Alberto F. Boix, Danny A. J. Gómez--Ramírez, Santiago Zarzuela

Abstract: Let $R$ be a commutative Noetherian ring of prime characteristic $p$. The main goal of this paper is to study in some detail when \[ \overline{W^R}:=\{\mathfrak{p}\in\operatorname{Spec} (R):\ \mathcal{F}^{E_{\mathfrak{p}}}\text{ is finitely generated as a ring over its degree zero piece}\} \] is an open set in the Zariski topology, where $\mathcal{F}^{E_{\mathfrak{p}}}$ denotes the Frobenius algeb… ▽ More Let $R$ be a commutative Noetherian ring of prime characteristic $p$. The main goal of this paper is to study in some detail when \[ \overline{W^R}:=\{\mathfrak{p}\in\operatorname{Spec} (R):\ \mathcal{F}^{E_{\mathfrak{p}}}\text{ is finitely generated as a ring over its degree zero piece}\} \] is an open set in the Zariski topology, where $\mathcal{F}^{E_{\mathfrak{p}}}$ denotes the Frobenius algebra attached to the injective hull of the residue field of $R_{\mathfrak{p}}.$ We show that this is true when $R$ is a Stanley--Reisner ring; moreover, in this case, we explicitly compute its closed complement, providing an algorithmic method for doing so. △ Less

Submitted 17 August, 2023; v1 submitted 16 March, 2022; originally announced March 2022.

Comments: 14 pages, comments are welcome. To appear in Acta Mathematica Vietnamica

MSC Class: 13A35; 13F55

Invariants of limit key polynomials

Authors: Maria Alberich-Carramiñana, Alberto F. Boix, Julio Fernández, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials… ▽ More Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials of unbounded continuous MacLane chains have numerical character equal to one. △ Less

Submitted 9 May, 2020; originally announced May 2020.

Approximation results of Artin-Tougeron-type for general filtrations and for $C^r$-equations

Authors: Genrich Belitskii, Alberto F. Boix, Dmitry Kerner

Abstract: Artin approximation and other related approximation results are used in various areas. The traditional formulation of such results is restricted to filtrations by powers of ideals, $\{I^j\}$, and to Noetherian rings. In this paper we extend several approximation results both to rather general filtrations and to $C^r$-rings, for $2\le r\le\infty$. As an auxiliary step we establish the surjectivity… ▽ More Artin approximation and other related approximation results are used in various areas. The traditional formulation of such results is restricted to filtrations by powers of ideals, $\{I^j\}$, and to Noetherian rings. In this paper we extend several approximation results both to rather general filtrations and to $C^r$-rings, for $2\le r\le\infty$. As an auxiliary step we establish the surjectivity of the completion map for rings of $C^\infty$ functions, for a very broad class of filtrations. △ Less

Submitted 13 May, 2020; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: Final version, to appear in JPAA

The level of pairs of polynomials

Authors: Alberto F. Boix, Marc Paul Noordman, Jaap Top

Abstract: Given a polynomial $f$ with coefficients in a field of prime characteristic $p$, it is known that there exists a differential operator that raises $1/f$ to its $p$th power. We first discuss a relation between the `level' of this differential operator and the notion of `stratification' in the case of hyperelliptic curves. Next we extend the notion of level to that of a pair of polynomials. We prove… ▽ More Given a polynomial $f$ with coefficients in a field of prime characteristic $p$, it is known that there exists a differential operator that raises $1/f$ to its $p$th power. We first discuss a relation between the `level' of this differential operator and the notion of `stratification' in the case of hyperelliptic curves. Next we extend the notion of level to that of a pair of polynomials. We prove some basic properties and we compute this level in certain special cases. In particular we present examples of polynomials $g$ and $f$ such that there is no differential operator raising $g/f$ to its $p$th power. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 14 pages, comments are welcome

MSC Class: Primary 13A35; Secondary 13N10; 14B05; 14F10; 34M15

The TestIdeals package for Macaulay2

Authors: Alberto F. Boix, Daniel J. Hernández, Zhibek Kadyrsizova, Mordechai Katzman, Sara Malec, Marcus Robinson, Karl Schwede, Daniel Smolkin, Pedro Teixeira, Emily E. Witt

Abstract: This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. △ Less

Submitted 22 June, 2019; v1 submitted 5 October, 2018; originally announced October 2018.

Comments: 21 pages, minor improvements throughout. This paper is the companion to the the latest version of the package (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/TestIdealsPackage), which should be included in 1.15 of Macaulay2 and later

MSC Class: 13A35; 14F18

Journal ref: J. Softw. Alg. Geom. 9 (2019) 89-110

Pairs of Lie-type and large orbits of group actions on filtered modules. (A characteristic-free approach to finite determinacy.)

Authors: Alberto F. Boix, Gert-Martin Greuel, Dmitry Kerner

Abstract: Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determin… ▽ More Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determinacy question to an "infinitesimal determinacy", i.e., to the tangent spaces at the orbits of the group action. In this work we formulate a universal, characteristic-free approach to finite determinacy, not necessarily over a field, and for a large class of group actions. We do not restrict to pro-algebraic or Lie groups, rather we introduce the notion of "pairs of (weak) Lie type", which are groups together with a substitute for the tangent space to the orbit such that the orbit is locally approximated by its tangent space, in a precise sense. This construction may be considered as a kind of replacement of the exponential resp. logarithmic maps. It is of independent interest as it provides a general method to pass from the tangent space to the orbit of a group action in any characteristic. In this generality we establish the "determinacy versus infinitesimal determinacy" criteria, a far reaching generalization of numerous classical and recent results, together with some new applications. △ Less

Submitted 15 December, 2021; v1 submitted 19 August, 2018; originally announced August 2018.

Comments: the final version, to appear in Math Zeitschrift

Vanishing of local cohomology and set-theoretically Cohen-Macaulay ideals

Authors: Majid Eghbali, Alberto F. Boix

Abstract: We generalize some known results on the relation between the cohomological and projective dimension. Then we examine the set-theoretically Cohen-Macaulay ideals to find some cohomological characterization of these kind of ideals. We generalize some known results on the relation between the cohomological and projective dimension. Then we examine the set-theoretically Cohen-Macaulay ideals to find some cohomological characterization of these kind of ideals. △ Less

Submitted 12 June, 2021; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 21 pages, some mistakes from the earlier version have been removed

MSC Class: 13D45; 14B15

On some local cohomology spectral sequences

Authors: Josep Àlvarez Montaner, Alberto F. Boix, Santiago Zarzuela

Abstract: We introduce a formalism to produce several families of spectral sequences involving the derived functors of the limit and colimit functors over a finite partially ordered set. The first type of spectral sequences involves the left derived functors of the colimit of the direct system that we obtain applying a family of functors to a single module. For the second type we follow a completely differe… ▽ More We introduce a formalism to produce several families of spectral sequences involving the derived functors of the limit and colimit functors over a finite partially ordered set. The first type of spectral sequences involves the left derived functors of the colimit of the direct system that we obtain applying a family of functors to a single module. For the second type we follow a completely different strategy as we start with the inverse system that we obtain by applying a covariant functor to an inverse system. The spectral sequences involve the right derived functors of the corresponding limit. We also have a version for contravariant functors. In all the introduced spectral sequences we provide sufficient conditions to ensure their degeneration at their second page. As a consequence we obtain some decomposition theorems that greatly generalize the well-known decomposition formula for local cohomology modules given by Hochster. △ Less

Submitted 17 July, 2018; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 63 pages, comments are welcome. To appear in International Mathematics Research Notices

MSC Class: 13D45 (Primary); 13A35; 13F55; 14N20; 18G40 (Secondary)

Koszul complex over skew polynomial rings

Authors: Josep Àlvarez Montaner, Alberto F. Boix, Santiago Zarzuela

Abstract: We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence. We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence. △ Less

Submitted 21 December, 2017; originally announced December 2017.

Comments: 16 pages, comments are welcome

MSC Class: Primary 13A35; Secondary 13B10; 14B25; 16S36

Differential operators and hyperelliptic curves over finite fields

Authors: Iván Blanco-Chacón, Alberto F. Boix, Stiofáin Fordham, Emrah Sercan Yilmaz

Abstract: Boix, De Stefani and Vanzo have characterized ordinary/supersingular elliptic curves over $\mathbb{F}_p$ in terms of the level of the defining cubic homogenous polynomial. We extend their study to arbitrary genus, in particular we prove that every ordinary hyperelliptic curve $\mathcal{C}$ of genus $g\geq 2$ has level $2$. We provide a good number of examples and raise a conjecture. Boix, De Stefani and Vanzo have characterized ordinary/supersingular elliptic curves over $\mathbb{F}_p$ in terms of the level of the defining cubic homogenous polynomial. We extend their study to arbitrary genus, in particular we prove that every ordinary hyperelliptic curve $\mathcal{C}$ of genus $g\geq 2$ has level $2$. We provide a good number of examples and raise a conjecture. △ Less

Submitted 15 January, 2018; v1 submitted 15 December, 2017; originally announced December 2017.

Comments: 14 pages, comments are welcome. This version: errata corrected, main results unchanged

MSC Class: 13A35 (Primary); 13N10; 14B05 (Secondary)

Journal ref: Finite Fields and their Applications, volume 51 (2018), 351-370

Revisiting the determinacy on New Keynesian Models: A survey

Authors: Alberto F. Boix, Adrián Segura Moreiras

Abstract: The goal of this paper is to review some analytic techniques that are potentially useful to shed light on the determinacy question that arises in New Keynesian models as result of a combination of several monetary policy rules; in these models, we provide conditions to guarantee existence and uniqueness of equilibrium by means of results that are obtained from theoretical analysis. In particular,… ▽ More The goal of this paper is to review some analytic techniques that are potentially useful to shed light on the determinacy question that arises in New Keynesian models as result of a combination of several monetary policy rules; in these models, we provide conditions to guarantee existence and uniqueness of equilibrium by means of results that are obtained from theoretical analysis. In particular, these methods confirm the well known fact that Taylor--like rules in interest rate setting are not the only way to reach determinacy of the rational expectations equilibrium in the New Keynesian setting. The key technical tool we use for that purposes is the so--called Budan--Fourier Theorem, that we review along the paper. All the ideas and techniques presented have been already used, our contribution that might be original here are the organization and emphasis. △ Less

Submitted 9 January, 2024; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: 16 pages, comments are welcome. Changes with respect to the first version: change of title and updated references

Frobenius and Cartier algebras of Stanley-Reisner rings (II)

Authors: Alberto F. Boix, Santiago Zarzuela

Abstract: It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1… ▽ More It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated. △ Less

Submitted 22 September, 2017; v1 submitted 26 August, 2016; originally announced August 2016.

Comments: 13 pages, updated introduction and definition of free pair. Comments are welcome

MSC Class: 13A35 (Primary); 13F55 (Secondary)

Annihilators of local cohomology modules and simplicity of rings of differential operators

Authors: Alberto F. Boix, Majid Eghbali

Abstract: One classical topic in the study of local cohomology is whether the non-vanishing of a specific local cohomology module is equivalent to the vanishing of its annihilator; this has been studied by several authors, including Huneke, Koh, Lyubeznik and Lynch. Motivated by questions raised by Lynch and Zhang, the goal of this paper is to provide some new results about this topic, which provide some pa… ▽ More One classical topic in the study of local cohomology is whether the non-vanishing of a specific local cohomology module is equivalent to the vanishing of its annihilator; this has been studied by several authors, including Huneke, Koh, Lyubeznik and Lynch. Motivated by questions raised by Lynch and Zhang, the goal of this paper is to provide some new results about this topic, which provide some partial positive answers to these questions. The main technical tool we exploit is the structure of local cohomology as module over rings of differential operators. △ Less

Submitted 23 July, 2017; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: 15 pages, comments are welcome. This paper recovers and extends the results obtained by the second named author in arXiv:1501.00718 [math.AC]

MSC Class: 13D45 (Primary); 13A35; 13N10 (Secondary)

An algorithm for constructing certain differential operators in positive characteristic

Authors: Alberto F. Boix, Alessandro De Stefani, Davide Vanzo

Abstract: Given a non-zero polynomial $f$ in a polynomial ring $R$ with coefficients in a finite field of prime characteristic $p$, we present an algorithm to compute a differential operator $δ$ which raises $1/f$ to its $p$th power. For some specific families of polynomials, we also study the level of such a differential operator $δ$, i.e., the least integer $e$ such that $δ$ is $R^{p^e}$-linear. In partic… ▽ More Given a non-zero polynomial $f$ in a polynomial ring $R$ with coefficients in a finite field of prime characteristic $p$, we present an algorithm to compute a differential operator $δ$ which raises $1/f$ to its $p$th power. For some specific families of polynomials, we also study the level of such a differential operator $δ$, i.e., the least integer $e$ such that $δ$ is $R^{p^e}$-linear. In particular, we obtain a characterization of supersingular elliptic curves in terms of the level of the associated differential operator. △ Less

Submitted 4 March, 2015; originally announced March 2015.

Comments: 23 pages. Comments are welcome

MSC Class: Primary 13A35; Secondary 13N10; 14B05

Journal ref: Le Matematiche, volume 70 (2015), no. 1, 239-271

An algorithm for producing F-pure ideals

Authors: Alberto F. Boix, Mordechai Katzman

Abstract: This paper describes a method for computing all F-pure ideals for a given Cartier map of a polynomial ring over a finite field. This paper describes a method for computing all F-pure ideals for a given Cartier map of a polynomial ring over a finite field. △ Less

Submitted 23 October, 2014; v1 submitted 25 July, 2013; originally announced July 2013.

Comments: 11 pages. Comments are welcome

MSC Class: Primary 13A35; Secondary 14B05

Journal ref: Arch. Math. (Basel) 103 (2014), no. 5, 421-433

Cohomological interpretation of quadratic modular symbols

Authors: Pilar Bayer, Iván Blanco-Chacón, Alberto F. Boix

Abstract: Bayer and Blanco-Chacón have recently defined quadratic modular symbols for the Shimura curves X(D,N) attached to Eichler orders of level N of an indefinite quaternion rational algebra of discriminant D. In this paper, we give a cohomological interpretation of these quadratic modular symbols. Explicit computations for the homology of some Shimura curves are also provided. Bayer and Blanco-Chacón have recently defined quadratic modular symbols for the Shimura curves X(D,N) attached to Eichler orders of level N of an indefinite quaternion rational algebra of discriminant D. In this paper, we give a cohomological interpretation of these quadratic modular symbols. Explicit computations for the homology of some Shimura curves are also provided. △ Less

Submitted 4 December, 2012; v1 submitted 25 April, 2012; originally announced April 2012.

Comments: 14 pages and 2 figures. Major revision of the previous draft, including change of title. Comments are welcome

MSC Class: Primary 11F67; 14G35; Secondary 30F35

Frobenius and Cartier algebras of Stanley-Reisner rings

Authors: Josep Alvarez Montaner, Alberto F. Boix, Santiago Zarzuela

Abstract: We prove that the Frobenius algebra of the injective hull of a complete Stanley-Reisner ring as well as its Matlis dual notion of Cartier algebra can be only principally generated or infinitely generated. As a consequence we are able to show that the set of F-jumping numbers of generalized test ideals associated to complete Stanley-Reisner rings form a discrete set. We prove that the Frobenius algebra of the injective hull of a complete Stanley-Reisner ring as well as its Matlis dual notion of Cartier algebra can be only principally generated or infinitely generated. As a consequence we are able to show that the set of F-jumping numbers of generalized test ideals associated to complete Stanley-Reisner rings form a discrete set. △ Less

Submitted 28 June, 2011; originally announced June 2011.

Comments: 16 pages