Showing 1–50 of 83 results for author: Perez, M

The McCullough-Miller complex for right angled Artin groups

Authors: Peio Ardaiz Galé, Conchita Martínez Pérez

Abstract: McCullough and Miller constructed a contractible complex on which the pure symmetric automorphism group of a free group acts with free abelian stabilizers. This complex has been used for computations such as the cohomological dimension of these groups, their cohomology rings, and results about $\ell^2$-Betti numbers or BNRS-invariants. We generalize this construction to pure symmetric automorphism… ▽ More McCullough and Miller constructed a contractible complex on which the pure symmetric automorphism group of a free group acts with free abelian stabilizers. This complex has been used for computations such as the cohomological dimension of these groups, their cohomology rings, and results about $\ell^2$-Betti numbers or BNRS-invariants. We generalize this construction to pure symmetric automorphism groups of arbitrary RAAGs and exhibit applications of this generalization. △ Less

Submitted 10 June, 2025; v1 submitted 3 June, 2025; originally announced June 2025.

Comments: 34 pages, 7 figures

MSC Class: Primary 20J06; 20F36; Secondary 57M07; 55P20

Gorenstein categories relative to G-admissible triples

Authors: Sergio Estrada, Octavio Mendoza, Marco A. Pérez

Abstract: We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the sets $\{ {\rm pd}(I) \ \text{:} \ I \text{ is injective} \}$ and $\{ {\rm id}(P) \ \text{:} \ P \text{ is projective} \}$ are finite). Such categories turn out t… ▽ More We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the sets $\{ {\rm pd}(I) \ \text{:} \ I \text{ is injective} \}$ and $\{ {\rm id}(P) \ \text{:} \ P \text{ is projective} \}$ are finite). Such categories turn out to be a suitable setting on which it is possible to obtain hereditary abelian model structures where the (co)fibrant objects are Gorenstein injective (resp., Gorenstein projective) objects relative to GI-admissible (resp., GP-admissible) pairs. Applications and examples of these structures are given. Moreover, we link relative Gorenstein categories with tilting theory and obtain relations between different relative homological dimensions. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 49 pages

MSC Class: 16E65; 18E10; 14F06; 18G20; 18N40

Model Theory of Hilbert Spaces with a Discrete Group Action

Authors: Alexander Berenstein, Juan Manuel Pérez

Abstract: In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion is model complete, $\aleph_0$-categorical, $\aleph_0$-stable and SFB. On the other hand, when the group involved is countably infinite, the theory of the Hilbert space expanded by the repre… ▽ More In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion is model complete, $\aleph_0$-categorical, $\aleph_0$-stable and SFB. On the other hand, when the group involved is countably infinite, the theory of the Hilbert space expanded by the representation of this group is $\aleph_0$-categorical up to perturbations. Additionally, when the expansion is model complete, we prove that it is $\aleph_0$-stable up to perturbations. △ Less

Submitted 28 January, 2025; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: 20 pages

Around subgroups of Artin groups: derived subgroups and acylindrical hyperbolicity in the even FC-case

Authors: Jone Lopez de Gamiz Zearra, Conchita Martínez Pérez

Abstract: We generalize to (certain) Artin groups some results previously known for right-angled Artin groups (RAAGs). First, we generalize a result by Droms, B. Servatius, and H. Servatius, and prove that the derived subgroup of an Artin group is free if and only if the group is coherent. Second, coherent Artin groups over non complete graphs split as free amalgamated products along free abelian subgroups,… ▽ More We generalize to (certain) Artin groups some results previously known for right-angled Artin groups (RAAGs). First, we generalize a result by Droms, B. Servatius, and H. Servatius, and prove that the derived subgroup of an Artin group is free if and only if the group is coherent. Second, coherent Artin groups over non complete graphs split as free amalgamated products along free abelian subgroups, and we extend to arbitrary Artin groups admitting such a splitting a recent result by Casals-Ruiz and the first author on finitely generated normal subgroups of RAAGs. Finally, we use splittings of even Artin groups of FC-type to generalize results of Minasyan and Osin on acylindrical hyperbolicity of their subgroups. △ Less

Submitted 11 April, 2025; v1 submitted 26 May, 2024; originally announced May 2024.

Maximal weak Orlicz types and the strong maximal on von Neumann algebras

Authors: Adrián M. González Pérez, Javier Parcet, Jorge Pérez García

Abstract: Let $\mathbf{E}_n: \mathcal{M} \to \mathcal{M}_n$ and $\mathbf{E}_m: \mathcal{N} \to \mathcal{N}_m$ be two sequences of conditional expectations on finite von Neumann algebras. The optimal weak Orlicz type of the associated strong maximal operator $\mathcal{E} = (\mathbf{E}_n\otimes \mathbf{E}_m)_{n,m}$ is not yet known. In a recent work of Jose Conde and the two first-named authors, it was show t… ▽ More Let $\mathbf{E}_n: \mathcal{M} \to \mathcal{M}_n$ and $\mathbf{E}_m: \mathcal{N} \to \mathcal{N}_m$ be two sequences of conditional expectations on finite von Neumann algebras. The optimal weak Orlicz type of the associated strong maximal operator $\mathcal{E} = (\mathbf{E}_n\otimes \mathbf{E}_m)_{n,m}$ is not yet known. In a recent work of Jose Conde and the two first-named authors, it was show that $\mathcal{E}$ has weak type $(Φ, Φ)$ for a family of functions including $Φ(t) = t \, \log^{2+\varepsilon} t$, for every $\varepsilon > 0$. In this article, we prove that the weak Orlicz type of $\mathcal{E}$ cannot be lowered below $L \log^2 L$, meaning that if $\mathcal{E}$ is of weak type $(Φ, Φ)$, then $Φ(s) \not\in o(s \, \log^2 s)$. Our proof is based on interpolation. Namely, we use recent techniques of Cadilhac/Ricard to formulate a Marcinkiewicz type theorem for maximal weak Orlicz types. Then, we show that a weak Orlicz type lower than $L \log^2 L$ would imply a $p$-operator constant for $\mathcal{E}$ smaller than the known optimum as $p \to 1^{+}$. △ Less

Submitted 22 April, 2024; v1 submitted 18 April, 2024; originally announced April 2024.

Comments: 16 pages; Minor changes, acknowledgment added

Corrigendum to "$m$-Periodic Gorenstein objects" [J. Algebra 621 (2023)]

Authors: Mindy Y. Huerta, Octavio Mendoza, M. A. Pérez

Abstract: Let $(\mathcal{A,B})$ be a GP-admissible pair and $(\mathcal{Z,W})$ be a GI-admissible pair of classes of objects in an abelian category $\mathcal{C}$, and consider the class $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ of $1$-periodic $(ω,\mathcal{B})$-Gorenstein projective objects, where $ω:= \mathcal{A} \cap \mathcal{B}$ and $ν:= \mathcal{Z} \cap \mathcal{W}$. We claimed in \cite[Lem. 8.1]{HMP2023m} tha… ▽ More Let $(\mathcal{A,B})$ be a GP-admissible pair and $(\mathcal{Z,W})$ be a GI-admissible pair of classes of objects in an abelian category $\mathcal{C}$, and consider the class $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ of $1$-periodic $(ω,\mathcal{B})$-Gorenstein projective objects, where $ω:= \mathcal{A} \cap \mathcal{B}$ and $ν:= \mathcal{Z} \cap \mathcal{W}$. We claimed in \cite[Lem. 8.1]{HMP2023m} that the $(\mathcal{Z,W})$-Gorenstein injective dimension of $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ is bounded by the $(\mathcal{Z,W})$-Gorenstein injective dimension of $ω$, provided that: (1) $ω$ is closed under direct summands, (2) $\mathrm{Ext}^1(π\mathcal{GP}_{(ω,\mathcal{B},1)},ν) = 0$, and (3) every object in $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ admits a $\mathrm{Hom}(-,ν)$-acyclic $ν$-coresolution. These conditions are their duals are part of what we called ``Setup 1''. Moreover, if we replace $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ by the class $\mathcal{GP}_{(\mathcal{A,B})}$ of $(\mathcal{A,B})$-Gorenstein projective objects, the resulting inequality is claimed to be true under a set of conditions named ``Setup 2''. The proof we gave for the claims $\mathrm{Gid}_{(\mathcal{Z,W})}(π\mathcal{GP}_{(ω,\mathcal{B},1)}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(ω)$ and $\mathrm{Gid}_{(\mathcal{Z,W})}(\mathcal{GP}_{(\mathcal{A,B})}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(ω)$ is incorrect, and the purpose of this note is to exhibit a corrected proof of the first inequality, under the additional assumption that every object in $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ has finite injective dimension relative to $\mathcal{Z}$. Setup 2 is no longer required, and as a result the second inequality was removed. We also fix those results in §\ 8 of \cite{HMP2023m} affected by Lemma 8.1, and comment some applications and examples. △ Less

Submitted 13 January, 2024; originally announced March 2024.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:2207.00075

MSC Class: 18G25 (Primary) 18G10; 18G20; 16E65 (Secondary)

An approach to the moments subset sum problem through systems of diagonal equations over finite fields

Authors: Juan Francisco Gottig, Mariana Pérez, Melina Privitelli

Abstract: Let $\mathbb{F}_q$ be the finite field of $q$ elements, for a given subset $D\subset \mathbb{F}_q$, $m\in \mathbb{N}$, an integer $k\leq |D|$ and $\boldsymbol{b}\in \mathbb{F}_q^m$ we are interested in determining the existence of a subset $S\subset D$ of cardinality $k$ such that $\sum_{a\in S}a^i=b_i$ for $i=1,\ldots, m$. This problem is known as the moment subset sum problem and it is $NP$-comp… ▽ More Let $\mathbb{F}_q$ be the finite field of $q$ elements, for a given subset $D\subset \mathbb{F}_q$, $m\in \mathbb{N}$, an integer $k\leq |D|$ and $\boldsymbol{b}\in \mathbb{F}_q^m$ we are interested in determining the existence of a subset $S\subset D$ of cardinality $k$ such that $\sum_{a\in S}a^i=b_i$ for $i=1,\ldots, m$. This problem is known as the moment subset sum problem and it is $NP$-complete for a general $D$. We make a novel approach of this problem trough algebraic geometry tools analyzing the underlying variety and employing combinatorial techniques to estimate the number of $\mathbb{F}_q$-rational points on certain varieties. We managed to give estimates on the number of $\mathbb{F}_q$-rational points on certain diagonal equations and use this results to give estimations and existence results for the subset sum problem. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 25 pages

Orbifolds and the modular curve

Authors: Juan Martín Pérez, Florent Schaffhauser

Abstract: We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discrete groups acting properly and effectively on differentiable manifolds), the construction of the modular orbi-curve and its universal family of elliptic curves ends up requiring a bit more technology, in order to allow fo… ▽ More We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discrete groups acting properly and effectively on differentiable manifolds), the construction of the modular orbi-curve and its universal family of elliptic curves ends up requiring a bit more technology, in order to allow for non-effective actions. The paper is entirely expository and makes no claims to originality: its main goal is to be self-contained enough in order to be useful to young researchers who are entering the field and are interested in the interactions between differential and algebraic geometry. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: To appear in 'In the tradition of Thurston III. Geometry and dynamics'

Journal ref: In: Ohshika, K., Papadopoulos, A. (eds) In the Tradition of Thurston III. Springer, Cham (2024)

Smooth symmetric systems over a finite field and applications

Authors: Nardo Giménez, Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: We study the set of common $\mathbb{F}_q$-rational solutions of "smooth" systems of multivariate symmetric polynomials with coefficients in a finite field $\mathbb{F}_q$. We show that, under certain conditions, the set of common solutions of such polynomial systems over the algebraic closure of $\mathbb{F}_q$ has a "good" geometric behavior. This allows us to obtain precise estimates on the corres… ▽ More We study the set of common $\mathbb{F}_q$-rational solutions of "smooth" systems of multivariate symmetric polynomials with coefficients in a finite field $\mathbb{F}_q$. We show that, under certain conditions, the set of common solutions of such polynomial systems over the algebraic closure of $\mathbb{F}_q$ has a "good" geometric behavior. This allows us to obtain precise estimates on the corresponding number of common $\mathbb{F}_q$-rational solutions. In the case of hypersurfaces we are able to improve the results. We illustrate the interest of these estimates through their application to certain classical combinatorial problems over finite fields. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 37 pages. arXiv admin note: text overlap with arXiv:1510.03721, arXiv:1807.08052

MSC Class: 68W40; 11G25; 14G05; 14G15

Modeling Global Levelized Cost of Hydrogen Production Considering Country-Specific Investment Risks

Authors: Stephan Kigle, Tapio Schmidt-Achert, Miguel Ángel Martínez Pérez

Abstract: Hydrogen is central to the global energy transition when produced at low emissions. This paper introduces a renewable hydrogen production system model (HPSM) that optimizes a hybrid hydrogen production system (HPS) on a worldwide 50x50 km grid, considering country-specific interest rates. Besides the renewable energy's impact on the HPS design, we analyze the effect of country-specific interest ra… ▽ More Hydrogen is central to the global energy transition when produced at low emissions. This paper introduces a renewable hydrogen production system model (HPSM) that optimizes a hybrid hydrogen production system (HPS) on a worldwide 50x50 km grid, considering country-specific interest rates. Besides the renewable energy's impact on the HPS design, we analyze the effect of country-specific interest rates on the levelized cost of hydrogen (LCOH) production. LCOH production ranges between 2.7 Euro/kg and 28.4 Euro/kg, with an average of 9.1 Euro/kg. Over one third (40.0%) of all cells have an installed PV capacity share between 50% and 70%, and 76.4% have a hybrid configuration. Hybrid HPSs can significantly reduce the LCOH production compared to non-hybrid designs, whereas country-specific interest rates lead to significant increases in the LCOH production. Hydrogen storage is deployed rather than battery storage to balance production and demand. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 32 pages, 14 figures, submitted to International Journal of Hydrogen Energy

On the $Σ$-invariants of Artin groups satisfying the $K(π,1)$-conjecture

Authors: Marcos Escartín Ferrer, Conchita Martínez Pérez

Abstract: We consider $Σ$-invariants of Artin groups that satisfy the $K(π,1)$-conjecture. These invariants determine the cohomological finiteness conditions of subgroups that contain the derived subgroup. We extend a known result for even Artin groups of FC-type, giving a sufficient condition for a character $χ:A_Γ\to\mathbb{R}$ to belong to $Σ^n(A_Γ,\mathbb{Z})$. We also prove some partial converses. As a… ▽ More We consider $Σ$-invariants of Artin groups that satisfy the $K(π,1)$-conjecture. These invariants determine the cohomological finiteness conditions of subgroups that contain the derived subgroup. We extend a known result for even Artin groups of FC-type, giving a sufficient condition for a character $χ:A_Γ\to\mathbb{R}$ to belong to $Σ^n(A_Γ,\mathbb{Z})$. We also prove some partial converses. As applications, we prove that the $Σ^1$-conjecture holds true when there is a prime $p$ that divides $l(e)/2$ for any edge with even label $l(e)>2$, we generalize to Artin groups the homological version of Bestvina-Brady theorem and we compute the $Σ$-invariants of all irreducible spherical and affine Artin groups and triangle Artin groups, which provide a complete classification of the $F_n$ and $FP_n$ properties of their derived subgroup. △ Less

Submitted 11 December, 2023; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 25 pages. Revised version, some missprints corrected. Accepted for publication in the JLMS

MSC Class: Primary 20J06; 20F36; Secondary 57M07; 55P20

Wittgenstein on decisions and the mathematical practice

Authors: M. Muñoz Pérez

Abstract: Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of developing mathematical activity. In this paper, we wish to reformulate Kripke's argument as a challenge for the conjunction of 'ifthenism' and a reasonable form… ▽ More Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of developing mathematical activity. In this paper, we wish to reformulate Kripke's argument as a challenge for the conjunction of 'ifthenism' and a reasonable form of pluralism (which we have called '$V$-pluralism') and, at the same time, propose a reading of some passages of the 'Philosophical Investigations' as a solution. Our conclusion is that, in order for pluralism to be preserved, we need to clarify both the fact that we make definite 'decisions' and the philosophical value that they, as we argue, bear. To investigate the nature of this value is one of the further tasks want to cover in this article. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Total orders realizable as the distances between two sets of points

Authors: Gerardo L. Maldonado, Miguel Raggi Pérez, Edgardo Roldán-Pensado

Abstract: In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb R^{n-1}$ such that $X\cup Y$ is in generic position. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on… ▽ More In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb R^{n-1}$ such that $X\cup Y$ is in generic position. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on $X\times Y$ can be obtained in this way. We show that the answer is negative when $n<m$. The case $n=m$ remains open. △ Less

Submitted 6 May, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Homological and homotopical aspects of Gorenstein flat modules and complexes relative to duality pairs

Authors: Víctor Becerril, Marco A. Pérez

Abstract: We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after tensoring by objects in… ▽ More We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after tensoring by objects in $\mathcal{A} \cap {}^\perp\mathcal{A} = \mathcal{A} \cap \Big( \bigcap_{i \in \mathbb{Z}_{> 0}} {\rm Ker}({\rm Ext}^i_{R^{\rm o}}(-,\mathcal{A})) \Big)$. In the case where $(\mathcal{L,A})$ is product closed and bicomplete (meaning in addition that $\mathcal{L}$ is closed under extensions, (co)products, $R \in \mathcal{L}$, $(\mathcal{A,L})$ is also a duality pair, and $\mathcal{A}$ is the right half of a hereditary complete cotorsion pair) we prove that these relative Gorenstein flat modules are closed under extensions, and that the corresponding Gorenstein flat dimension is well behaved in the sense that it recovers many of the properties and characterizations of its (absolute) Gorenstein flat counterpart (for instance, it can be described in terms of torsion functors). The latter in turn is a consequence of a Pontryagin duality relation that we show between these relative Gorenstein flat modules and certain Gorenstein injective modules relative to $\mathcal{A}$. We also find several hereditary and cofibrantly generated abelian model structures from these Gorenstein flat modules and complexes relative to $(\mathcal{L,A})$. At the level of chain complexes, we find three recollements between the homotopy categories of these model structures, along with several derived adjunctions connecting these recollements. △ Less

Submitted 11 March, 2024; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: Some homotopical aspects concerning model structures were added. Some corrections were made and new examples were included

The distribution of defective multivariate polynomial systems over a finite field

Authors: Nardo Giménez, Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: This paper deals with properties of the algebraic variety defined as the set of zeros of a "deficient" sequence of multivariate polynomials. We consider two types of varieties: ideal-theoretic complete intersections and absolutely irreducible varieties. For these types, we establish improved bounds on the dimension of the set of deficient systems of each type over an arbitrary field. On the other… ▽ More This paper deals with properties of the algebraic variety defined as the set of zeros of a "deficient" sequence of multivariate polynomials. We consider two types of varieties: ideal-theoretic complete intersections and absolutely irreducible varieties. For these types, we establish improved bounds on the dimension of the set of deficient systems of each type over an arbitrary field. On the other hand, we establish improved upper bounds on the number of systems of each type over a finite field. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 25 pages

MSC Class: 14M10; 11G25; 14G15; 14G05

Summing Sneddon-Bessel series explicitly

Authors: Antonio J. Durán, Mario Pérez, Juan L. Varona

Abstract: We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of… ▽ More We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of order $ν$. As an application we prove some extensions of the Kneser-Sommerfeld expansion. △ Less

Submitted 15 July, 2022; originally announced July 2022.

Comments: 19 pages

MSC Class: 33C10; 33C20

Journal ref: Math. Meth. Appl. Sci. 47 (2024), 6590-6606

$m$-periodic Gorenstein objects

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings. We prove several properties in some cases where $(\mathcal{A,B})$ satisfies certain homological conditions, like for instance when $(\mathcal{A,B})$ is a GP-ad… ▽ More We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings. We prove several properties in some cases where $(\mathcal{A,B})$ satisfies certain homological conditions, like for instance when $(\mathcal{A,B})$ is a GP-admissible pair. Connections to Gorenstein objects and Gorenstein homological dimensions relative to these pairs are also established. △ Less

Submitted 30 June, 2022; originally announced July 2022.

Comments: 33 pages, 5 figures. Comments are welcome

MSC Class: 18G25 (18G10; 18G20; 16E65)

On the computation of rational solutions of underdetermined systems over a finite field

Authors: Nardo Giménez, Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: We design and analyze an algorithm for computing solutions with coefficients in a finite field $\mathbb{F}_q$ of underdetermined systems defined over $\mathbb{F}_q$. The algorithm is based on reductions to zero-dimensional searches. The searches are performed on "vertical strips", namely parallel linear spaces of suitable dimension in a given direction. Our results show that, on average, less than… ▽ More We design and analyze an algorithm for computing solutions with coefficients in a finite field $\mathbb{F}_q$ of underdetermined systems defined over $\mathbb{F}_q$. The algorithm is based on reductions to zero-dimensional searches. The searches are performed on "vertical strips", namely parallel linear spaces of suitable dimension in a given direction. Our results show that, on average, less than three searches suffice to obtain a solution of the original system, with a probability of success which grows exponentially with the number of searches. The analysis of our algorithm relies on results on the probability that the solution set (over the algebraic closure of $\mathbb{F}_q$) of a random system with coefficients in $\mathbb{F}_q$ satisfies certain geometric and algebraic properties which is of independent interest. △ Less

Submitted 20 July, 2022; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: 28 pages

MSC Class: 68W40; 11G25; 14G05; 14G15

A consistent co-rotational formulation for aerodynamic nonlinear analysis of flexible frame structures

Authors: Mauricio C. Vanzulli, Jorge M. Pérez Zerpa

Abstract: The design of structures submitted to aerodynamic loads usually requires the development of specific computational models considering fluid-structure interactions. Models using structural frame elements are developed in several relevant applications such as the design of advanced aircraft wings, wind turbine blades or power transmission lines. In the case of flexible frame structures submitted to… ▽ More The design of structures submitted to aerodynamic loads usually requires the development of specific computational models considering fluid-structure interactions. Models using structural frame elements are developed in several relevant applications such as the design of advanced aircraft wings, wind turbine blades or power transmission lines. In the case of flexible frame structures submitted to fluid flows, the consistent computation of inertial and aerodynamic forces for large displacements is a challenging task. In this article we present a novel formulation for the accurate computation of aerodynamic forces for large displacements and rotations using the co-rotational approach, the quasi-steady theory and the principle of virtual work. This formulation is coupled with a reference consistent co-rotational formulation for computing internal and inertial forces, providing a unified set of nonlinear balance equations. A numerical resolution procedure is proposed and implemented within the open-source library ONSAS. The proposed formulation and its implementation are validated through the resolution of five examples, including a realistic wind turbine analysis problem. The results provided by the proposed formulation are compared with analytic solutions and solutions obtained using a lumped mass approach. The proposed formulation provides accurate solutions for challenging numerical problems with large displacements and rotations. △ Less

Submitted 22 April, 2022; originally announced April 2022.

Balanced systems for $\mathrm{Hom}$

Authors: Víctor Becerril, Octavio Mendoza, Marco A. Pérez

Abstract: From the notion of (co)generator in relative homological algebra, we present the concept of finite balanced system $[(\mathcal{X} , ω); (ν, \mathcal{Y})]$ as a tool to induce balanced pairs $(\mathcal{X} , \mathcal{Y} )$ for the $\mathrm{Hom}$ functor with domain determined by the finiteness of homological dimensions relative to $\mathcal{X}$ and $\mathcal{Y}$. This approach to balance will cove… ▽ More From the notion of (co)generator in relative homological algebra, we present the concept of finite balanced system $[(\mathcal{X} , ω); (ν, \mathcal{Y})]$ as a tool to induce balanced pairs $(\mathcal{X} , \mathcal{Y} )$ for the $\mathrm{Hom}$ functor with domain determined by the finiteness of homological dimensions relative to $\mathcal{X}$ and $\mathcal{Y}$. This approach to balance will cover several well known ambients where right derived functors of $\mathrm{Hom}$ are obtained relative to certain classes of objects in an abelian category, such as Gorenstein projective and injective modules and chain complexes, Gorenstein modules relative to Auslander and Bass classes, among others. △ Less

Submitted 26 January, 2024; v1 submitted 22 March, 2022; originally announced March 2022.

MSC Class: 18G10; 18F20; 16E30; 16E65

Torsion and torsion-free classes from objects of finite type in Grothendieck categories

Authors: Daniel Bravo, Sinem Odabaşı, Carlos E. Parra, Marco A. Pérez

Abstract: In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditio… ▽ More In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: 27 pages

MSC Class: 18E40; 18C35; 18G15

Distributed Feedback Optimisation for Robotic Coordination

Authors: Antonio Terpin, Sylvain Fricker, Michel Perez, Mathias Hudoba de Badyn, Florian Dörfler

Abstract: Feedback optimisation is an emerging technique aiming at steering a system to an optimal steady state for a given objective function. We show that it is possible to employ this control strategy in a distributed manner. Moreover, we prove asymptotic convergence to the set of optimal configurations. To this scope, we show that exponential stability is needed only for the portion of the state that af… ▽ More Feedback optimisation is an emerging technique aiming at steering a system to an optimal steady state for a given objective function. We show that it is possible to employ this control strategy in a distributed manner. Moreover, we prove asymptotic convergence to the set of optimal configurations. To this scope, we show that exponential stability is needed only for the portion of the state that affects the objective function. This is showcased by driving a swarm of agents towards a target location while maintaining a target formation. Finally, we provide a sufficient condition on the topological structure of the specified formation to guarantee convergence of the swarm in formation around the target location. △ Less

Submitted 27 February, 2022; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: Accepted for ACC 2022

Optimal control strategies to tailor antivirals for acute infectious diseases in the host

Authors: Mara Perez, Pablo Abuin, Marcelo Actis, Antonio Ferramosca, Esteban A. Hernandez-Vargas, Alejandro H. Gonzalez

Abstract: Several mathematical models in SARS-CoV-2 have shown how target-cell model can help to understand the spread of the virus in the host and how potential candidates of antiviral treatments can help to control the virus. Concepts as equilibrium and stability show to be crucial to qualitatively determine the best alternatives to schedule drugs, according to effectivity in inhibiting the virus infectio… ▽ More Several mathematical models in SARS-CoV-2 have shown how target-cell model can help to understand the spread of the virus in the host and how potential candidates of antiviral treatments can help to control the virus. Concepts as equilibrium and stability show to be crucial to qualitatively determine the best alternatives to schedule drugs, according to effectivity in inhibiting the virus infection and replication rates. Important biological events such as rebounds of the infections (when antivirals are incorrectly interrupted) can also be explained by means of a dynamic study of the target-cell model. In this work, a full characterization of the dynamical behavior of the target-cell models under control actions is made and, based on this characterization, the optimal fixed-dose antiviral schedule that produces the smallest amount of dead cells (without viral load rebounds) is computed. Several simulation results - performed by considering real patient data - show the potential benefits of both, the model characterization and the control strategy. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems

Authors: Marcelo Forets, Daniel Freire Caporale, Jorge M. Pérez Zerpa

Abstract: The Finite Element Method (FEM) is the gold standard for spatial discretization in numerical simulations for a wide spectrum of real-world engineering problems. Prototypical areas of interest include linear heat transfer and linear structural dynamics problems modeled with partial differential equations (PDEs). While different algorithms for direct integration of the equations of motion exist, exp… ▽ More The Finite Element Method (FEM) is the gold standard for spatial discretization in numerical simulations for a wide spectrum of real-world engineering problems. Prototypical areas of interest include linear heat transfer and linear structural dynamics problems modeled with partial differential equations (PDEs). While different algorithms for direct integration of the equations of motion exist, exploring all feasible behaviors for varying loads, initial states and fluxes in models with large numbers of degrees of freedom remains a challenging task. In this article we propose a novel approach, based in set propagation methods and motivated by recent advances in the field of Reachability Analysis. Assuming a set of initial states and inputs, the proposed method consists in the construction of a union of sets (flowpipe) that enclose the infinite number of solutions of the spatially discretized PDE. We present the numerical results obtained in five examples to illustrate the capabilities of our approach, and compare its performance against reference numerical integration methods. We conclude that, for problems with single known initial conditions, the proposed method is accurate. For problems with uncertain initial conditions included in sets, the proposed method can compute all the solutions of the system more efficiently than numerical integration methods. △ Less

Submitted 24 August, 2021; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: This is a major revision including the study of a new wave propagation problem. Run-time tables, pseudo-code and example code in Julia were also added

On the coefficients in an asymptotic expansion of $(1+1/x)^x$

Authors: T. M. Dunster, Jessica M. Perez

Abstract: The function $g(x)= (1+1/x)^{x}$ has the well-known limit $e$ as $x\rightarrow{\infty}$. The coefficients $c_{j}$ in an asymptotic expansion for $g(x)$ are considered. A simple recursion formula is derived, and then using Cauchy's integral formula the coefficients are approximated for large $j$. From this it is shown that $|c_{j}|\rightarrow{1}$ as $j\rightarrow{\infty}$. The function $g(x)= (1+1/x)^{x}$ has the well-known limit $e$ as $x\rightarrow{\infty}$. The coefficients $c_{j}$ in an asymptotic expansion for $g(x)$ are considered. A simple recursion formula is derived, and then using Cauchy's integral formula the coefficients are approximated for large $j$. From this it is shown that $|c_{j}|\rightarrow{1}$ as $j\rightarrow{\infty}$. △ Less

Submitted 10 August, 2021; v1 submitted 8 May, 2021; originally announced May 2021.

MSC Class: 41A58; 30E15; 30E20

The divisors of Prym semicanonical pencils

Authors: Carlos Maestro Pérez, Andrés Rojas

Abstract: In the moduli space $\mathcal{R}_g$ of double étale covers of curves of a fixed genus $g$, the locus of covers of curves with a semicanonical pencil decomposes as the union of two divisors $\mathcal{T}^e_g$ and $\mathcal{T}^o_g$. Adapting arguments of Teixidor for the divisor of curves having a semicanonical pencil, we prove that both divisors are irreducible and compute their divisor classes in t… ▽ More In the moduli space $\mathcal{R}_g$ of double étale covers of curves of a fixed genus $g$, the locus of covers of curves with a semicanonical pencil decomposes as the union of two divisors $\mathcal{T}^e_g$ and $\mathcal{T}^o_g$. Adapting arguments of Teixidor for the divisor of curves having a semicanonical pencil, we prove that both divisors are irreducible and compute their divisor classes in the Deligne-Mumford compactification $\overline{\mathcal{R}}_g$. △ Less

Submitted 16 March, 2022; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: Improved version, following the referees' comments. To appear in IMRN

Prym curves with a vanishing theta-null

Authors: Carlos Maestro Pérez

Abstract: If the theta-null divisor $Θ_{\rm null}$ is moved to the Prym moduli space through the diagram $\mathcal{S}_{g}^{+}\rightarrow\mathcal{M}_{g}\leftarrow\mathcal{R}_{g}$, it splits into two irreducible components $\mathcal{P}_{\rm\! null}^{+}$ and $\mathcal{P}_{\rm\! null}^{-}$. Using test curve techniques, we compute the class of the closure of each of these components in terms of the generating cl… ▽ More If the theta-null divisor $Θ_{\rm null}$ is moved to the Prym moduli space through the diagram $\mathcal{S}_{g}^{+}\rightarrow\mathcal{M}_{g}\leftarrow\mathcal{R}_{g}$, it splits into two irreducible components $\mathcal{P}_{\rm\! null}^{+}$ and $\mathcal{P}_{\rm\! null}^{-}$. Using test curve techniques, we compute the class of the closure of each of these components in terms of the generating classes of $\mathrm{Pic}(\overline{\mathcal{R}}_{g})_{\mathbb{Q}}$. △ Less

Submitted 5 February, 2021; originally announced February 2021.

Comments: 47 pages, second part of the author's PhD thesis

MSC Class: 14H40 (Primary) 14H10; 14K25; 14Q05 (Secondary)

On the number of simultaneous solutions of certain diagonal equations over finite fields

Authors: Mariana Pérez, Melina Privitelli

Abstract: In this paper we obtain explicit estimates and existence results on the number of $\mathbb{F}_q$-rational solutions of certain systems defined by families of diagonal equations over finite fields. Our approach relies on the study of the geometric properties of the varieties defined by the systems involved. We apply these results to a generalization of Waring's problem and the distribution of solut… ▽ More In this paper we obtain explicit estimates and existence results on the number of $\mathbb{F}_q$-rational solutions of certain systems defined by families of diagonal equations over finite fields. Our approach relies on the study of the geometric properties of the varieties defined by the systems involved. We apply these results to a generalization of Waring's problem and the distribution of solutions of congruences modulo a prime number. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Comments: 19 pages

Cut cotorsion pairs

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander-Buchweitz approximation theory, by considering relative analogs for Frobenius pa… ▽ More We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander-Buchweitz approximation theory, by considering relative analogs for Frobenius pairs and Auslander-Buchweitz contexts. Several applications are given in the settings of relative Gorenstein homological algebra, chain complexes and quasi-coherent sheaves, but also to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as co-$t$-structures. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Comments: 48 pages

MSC Class: 18G25 (18G10; 18G20; 18G35; 18G80; 16E65)

Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field

Authors: Nardo Giménez, Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: We analyze the behavior of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field F_q of q elements when the highest-degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f which are relatively prime with g and for the average degree of gcd(g… ▽ More We analyze the behavior of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field F_q of q elements when the highest-degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f which are relatively prime with g and for the average degree of gcd(g,f). The accuracy of our estimates is confirmed by practical experiments. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 20 pages

MSC Class: 11T06; 68Q25

Estimates on the number of rational solutions of variants of diagonal equations over finite fields

Authors: Mariana Perez, Melina Privitelli

Abstract: In this paper we study the set of rational solutions of equations defined by power sums symmetric polynomials with coefficients in a finite field. We do this by means of applying a methodology which relies on the study of the geometry of the set of common zeros of symmetric polynomials over the algebraic closure of a finite field. We provide improved estimates and existence results of rational sol… ▽ More In this paper we study the set of rational solutions of equations defined by power sums symmetric polynomials with coefficients in a finite field. We do this by means of applying a methodology which relies on the study of the geometry of the set of common zeros of symmetric polynomials over the algebraic closure of a finite field. We provide improved estimates and existence results of rational solutions to the following equations: deformed diagonal equations, generalized Markoff Hurwitz type equations and Carlitz's equations. We extend these techniques to a more general variants of diagonal equations over finite fields. △ Less

Submitted 3 February, 2020; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 23 pages

Locally type $\text{FP}_n$ and $n$-coherent categories

Authors: Daniel Bravo, James Gillespie, Marco A. Pérez

Abstract: We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the inject… ▽ More We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the injective objects that are Ext-orthogonal to the class of objects of type $\text{FP}_n$, called $\text{FP}_n$-injective objects, which will be the right half of a complete cotorsion pair. As a generalization of the category of modules over an $n$-coherent ring, we present the concept of $n$-coherent categories, which also recovers the notions of locally noetherian and locally coherent categories for $n = 0, 1$. Such categories will provide a setting in which the $\text{FP}_n$-injective cotorsion pair is hereditary, and where it is possible to construct (pre)covers by $\text{FP}_n$-injective objects. Moreover, we see how $n$-coherent categories provide a suitable framework for a nice theory of Gorenstein homological algebra with respect to the class of $\text{FP}_n$-injective modules. We define Gorenstein $\text{FP}_n$-injective objects and construct two different model category structures (one abelian and the other one exact) in which these Gorenstein objects are the fibrant objects. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Comments: 37 pages, 22 figures

MSC Class: 18C35; 18A25; 18E15; 18F20; 18G15; 18G25; 18G55

On the decomposition of the De Rham complex on formal schemes

Authors: Leovigildo Alonso, Ana Jeremias, Marta Perez

Abstract: We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of $\mathfrak{X}$ is exactly $p$, then the full De Rham complex is decomposable. Along the way we establish the Cartier isomorphism associated to a smooth morphism of positiv… ▽ More We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of $\mathfrak{X}$ is exactly $p$, then the full De Rham complex is decomposable. Along the way we establish the Cartier isomorphism associated to a smooth morphism of positive characteristic noetherian formal schemes. △ Less

Submitted 31 October, 2019; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: 28 pages, v2: improved section 6, v3: minor changes

MSC Class: 14F40 (primary); 14F05; 14B20 (secondary)

Journal ref: Indiana Univ. Math. J. 70 (2021), no. 4, 1471-1504

$n$-Cotorsion pairs

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right $n$-cotorsion pairs in an abelian category $\mathcal{C}$. Two classes $\mathcal{A}$ and $\mathcal{B}$ of objects of $\mathcal{C}$ form a left $n$-cotorsion pair $(\mathcal{A,B})$ in $\mathcal{C}$ if the orthogonality relation… ▽ More Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right $n$-cotorsion pairs in an abelian category $\mathcal{C}$. Two classes $\mathcal{A}$ and $\mathcal{B}$ of objects of $\mathcal{C}$ form a left $n$-cotorsion pair $(\mathcal{A,B})$ in $\mathcal{C}$ if the orthogonality relation $\mathsf{Ext}^i_{\mathcal{C}}(\mathcal{A,B}) = 0$ is satisfied for indexes $1 \leq i \leq n$, and if every object of $\mathcal{C}$ has a resolution by objects in $\mathcal{A}$ whose syzygies have $\mathcal{B}$-resolution dimension at most $n-1$. This concept and its dual generalise the notion of complete cotorsion pairs, and has an appealing relation with left and right approximations, especially with those having the so called unique mapping property. The main purpose of this paper is to describe several properties of $n$-cotorsion pairs and to establish a relation with complete cotorsion pairs. We also give some applications in relative homological algebra, that will cover the study of approximations associated to Gorenstein projective, Gorenstein injective and Gorenstein flat modules and chain complexes, as well as $m$-cluster tilting subcategories. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 40 pages

MSC Class: 18G25; 18G10; 18G20; 18G35

STEAM-Makerspace

Authors: Luis Adrián Martínez Pérez

Abstract: Implementation of a STEAM Makerspace to dynamize the teaching and learning processes of mathematics (with emphasis on geometry) of second-year students in the upper secondary level. Implementation of a STEAM Makerspace to dynamize the teaching and learning processes of mathematics (with emphasis on geometry) of second-year students in the upper secondary level. △ Less

Submitted 22 September, 2018; originally announced September 2018.

Comments: in Spanish

Homology and Cohomology of Finite Spaces

Authors: Carmona Sánchez, V., Maestro Pérez, C., Sancho de Salas, F., Torres Sancho, J. F

Abstract: We provide base change theorems, projection formulae and Verdier duality for both cohomology and homology in the context of finite topological spaces We provide base change theorems, projection formulae and Verdier duality for both cohomology and homology in the context of finite topological spaces △ Less

Submitted 21 September, 2018; originally announced September 2018.

MSC Class: 55N25; 55N30; 06A11; 05E25; 55U30

Journal ref: J. Pure Appl. Algebra 224 (2020), no. 4, 106200

Factorization patterns on nonlinear families of univariate polynomials over a finite field

Authors: Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: We estimate the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a nonlinear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $r$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots r^{λ_r}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{r-m}+\mathcal{O}(q^{r-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of el… ▽ More We estimate the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a nonlinear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $r$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots r^{λ_r}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{r-m}+\mathcal{O}(q^{r-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of elements of the symmetric group of $r$ elements with cycle pattern $\boldsymbolλ$ and $m$ is the codimension of $\mathcal{A}$. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbolλ$ and $\mathcal{A}$ with "good" behavior. We also apply these results to analyze the average--case complexity of the classical factorization algorithm restricted to $\mathcal{A}$, showing that it behaves as good as in the general case. △ Less

Submitted 20 July, 2018; originally announced July 2018.

Comments: 37 pages

On some applications of balanced pairs and their relation with cotorsion triplets

Authors: Sergio Estrada, Marco A. Pérez, Haiyan Zhu

Abstract: Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new character… ▽ More Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 18 pages

MSC Class: 18G25; 16G20; 18E10; 18C15

Representations of pure symmetric automorphism groups of RAAGs

Authors: Javier Aramayona, Conchita Martínez Pérez

Abstract: We study representations of the pure symmetric automorphism group $PAut(A_Γ)$ of a RAAG $A_Γ$ with defining graph $Γ$. We first construct a homomorphism from $PAut(A_Γ)$ to the direct product of a RAAG and a finite direct product of copies of $F_2 \times F_2$; moreover, the image of $PAut(A_Γ)$ under this homomorphism is surjective onto each factor. As a consequence, we obtain interesting action… ▽ More We study representations of the pure symmetric automorphism group $PAut(A_Γ)$ of a RAAG $A_Γ$ with defining graph $Γ$. We first construct a homomorphism from $PAut(A_Γ)$ to the direct product of a RAAG and a finite direct product of copies of $F_2 \times F_2$; moreover, the image of $PAut(A_Γ)$ under this homomorphism is surjective onto each factor. As a consequence, we obtain interesting actions of $PAut(A_Γ)$ on non-positively curved spaces We then exhibit, for connected $Γ$, a RAAG which property contains $Inn(A_Γ)$ and embeds as a normal subgroup of $PAut(A_Γ)$. We end with a discussion of the linearity problem for $PAut(A_Γ)$. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 17 pages

Model structures and relative Gorenstein flat modules and chain complexes

Authors: Sergio Estrada, Alina Iacob, Marco A. Pérez

Abstract: A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a ce… ▽ More A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a certain relativisation of Gorenstein flat modules, which we call Gorenstein $\mathcal{B}$-flat modules, where $\mathcal{B}$ is a class of right $R$-modules. Using some of the techniques considered by Šaroch and Šťovíček, plus some other arguments coming from model theory, we determine some conditions for $\mathcal{B}$ so that the class of Gorenstein $\mathcal{B}$-modules is closed under extensions. This will allow us to show approximation properties concerning these modules, and also to obtain a relative version of the model structure described before. Moreover, we also present and prove our results in the category of complexes of left $R$-modules, study other model structures on complexes constructed from relative Gorenstein flat modules, and compare these models via computing their homotopy categories. △ Less

Submitted 14 December, 2022; v1 submitted 2 September, 2017; originally announced September 2017.

Comments: 35 pages. Labeling now matches the published version. Further details have been added in the proofs of Propositions 2.15 and 2.18

MSC Class: 18G35; 18G55; 13D30; 16E65; 55U15

Relative FP-injective and FP-flat complexes and their model structures

Authors: Tiwei Zhao, Marco A. Pérez

Abstract: In this paper, we introduce the notions of ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes in terms of complexes of type ${\rm FP}_n$. We show that some characterizations analogous to that of injective, FP-injective and flat complexes exist for ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes. We also introduce and study ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions of modul… ▽ More In this paper, we introduce the notions of ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes in terms of complexes of type ${\rm FP}_n$. We show that some characterizations analogous to that of injective, FP-injective and flat complexes exist for ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes. We also introduce and study ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions of modules and complexes, and give a relation between them in terms of Pontrjagin duality. The existence of pre-envelopes and covers in this setting is discussed, and we prove that any complex has an ${\rm FP}_n$-flat cover and an ${\rm FP}_n$-flat pre-envelope, and in the case $n \geq 2$ that any complex has an ${\rm FP}_n$-injective cover and an ${\rm FP}_n$-injective pre-envelope. Finally, we construct model structures on the category of complexes from the classes of modules with bounded ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions, and analyze several conditions under which it is possible to connect these model structures via Quillen functors and Quillen equivalences. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 41 pages

MSC Class: 18G15; 18G35; 18G55; 16E05; 16E10; 16E35

Journal ref: Communications in Algebra. Volume 47, Issue 4, pages 1708-1730 (2019)

Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials with applications to series involving zeros of Bessel functions

Authors: Óscar Ciaurri, Antonio J. Durán, Mario Pérez, Juan L. Varona

Abstract: We introduce Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials as generalizations of Bernoulli and Apostol-Euler polynomials, where the role of the derivative is now played by the Dunkl operator on the real line. We use them to sum a bunch of series involving the zeros of Bessel functions. We introduce Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials as generalizations of Bernoulli and Apostol-Euler polynomials, where the role of the derivative is now played by the Dunkl operator on the real line. We use them to sum a bunch of series involving the zeros of Bessel functions. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Comments: 29 pages

MSC Class: Primary 11B68; Secondary 42C10; 33C10; 11M41

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 113 (2019), 2853-2876

Coends and the tensor product of $\mathcal{C}$-modules

Authors: Marco A. Pérez

Abstract: We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit related to the concept of copower. Finally, we study the tensor product of functors, and its relation with Kan extensions, in order to represent the tensor prod… ▽ More We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit related to the concept of copower. Finally, we study the tensor product of functors, and its relation with Kan extensions, in order to represent the tensor product of $\mathcal{C}$-modules as a particular case. △ Less

Submitted 4 October, 2016; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: 37 pages, 42 figures. Some terminology mistakes in the first version were fixed. Typos corrected. The formula to compute Kan extensions using coends was slightly generalized from small categories to skeletally small categories. Versions 2 and 1 in Spanish. Versions 2 and 3 are the same but in different languages

MSC Class: 18A25; 18A30; 18A35; 18A40; 18E10; 18G05; 18G10

Targets, local weak $σ$-Gibbs measures and a generalized Bowen dimension formula

Authors: María Victoria Melián Pérez

Abstract: For a dynamical system, we study the set of points $\cal W$ whose orbit approximates any chosen point at certain specified rates. Our basic setting is that of left shift acting on topological Markov chains endowed with a local weak Gibbs measure. Our rates of recurrence are so fast that the corresponding set $\cal W$ has measure zero, but we obtain a generalized Bowen formula for Carathéodory dime… ▽ More For a dynamical system, we study the set of points $\cal W$ whose orbit approximates any chosen point at certain specified rates. Our basic setting is that of left shift acting on topological Markov chains endowed with a local weak Gibbs measure. Our rates of recurrence are so fast that the corresponding set $\cal W$ has measure zero, but we obtain a generalized Bowen formula for Carathéodory dimension. For the case of Markov transformations with countable partition and big image (BI) property a Bowen-type formula is obtained for the Hausdorff dimension of those exceptional sets. In particular, we apply our general results to Gauss and Luroth maps, a not Bernoulli modification of Gauss map and some inner functions. Since we only require the existence of weak Gibbs measures we can deal with non Hölder potentials and we can also consider intermittent systems as the Manneville-Pomeau map. △ Less

Submitted 26 May, 2016; originally announced May 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0703222 by other authors

MSC Class: 37D35; 37C45; 37D25; 30D05; 11K50

On the derived category of quasi-coherent sheaves on an Adams geometric stack

Authors: Leovigildo Alonso, Ana Jeremias, Marta Perez, Maria J. Vale

Abstract: Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathbf{X}$. Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathbf{X}$. △ Less

Submitted 26 April, 2017; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: 21 pages, v2 minor additions and corrections

MSC Class: 14A20 (primary); 14F05; 18D10 (secondary)

Journal ref: J. Pure Appl. Algebra 222 (2018), no. 4, pp. 828--845

Frobenius pairs in abelian categories: correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts

Authors: Víctor Becerril, Octavio Mendoza Hernandez, Marco A. Pérez, Valente Santiago

Abstract: In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},ω)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},ω)$ a projective exact mod… ▽ More In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},ω)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},ω)$ a projective exact model structure on $\mathcal{X}^\wedge$, as a result of Hovey-Gillespie Correspondence applied to two compatible and complete cotorsion pairs in $\mathcal{X}^\wedge$. These pairs can be regarded as examples of what we call cotorsion pairs relative to a thick subcategory of $\mathcal{C}$. We establish some correspondences between Frobenius pairs, relative cotorsion pairs, exact model structures and Auslander-Buchweitz contexts. Finally, some applications of these results are given in the context of Gorenstein homological algebra by generalizing some existing model structures on the categories of modules over Gorenstein and Ding-Chen rings, and by encoding the stable module category of a ring as a certain homotopy category. We also present some connections with perfect cotorsion pairs, covering classes, and cotilting modules. △ Less

Submitted 23 April, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 54 pages, 10 figures. The statement and proof of 2.6.21 was corrected. Typos corrected. Section 4 was improved, and new results in Section 5 were added

MSC Class: 18G10; 18G20; 18G25; 18G55; 16E10

Journal ref: Journal of Homotopy and Related Structures. volume 14, pages 1-50 (2019)

On the value set of small families of polynomials over a finite field, III

Authors: Guillermo Matera, Mariana Pérez, Melina Privitelli

Abstract: We estimate the average cardinality $\mathcal{V}(\mathcal{A})$ of the value set of a general family $\mathcal{A}$ of monic univariate polynomials of degree $d$ with coefficients in the finite field $\mathbb{F}_{\hskip-0.7mm q}$. We establish conditions on the family $\mathcal{A}$ under which $\mathcal{V}(\mathcal{A})=μ_d\,q+\mathcal{O}(q^{1/2})$, where $μ_d:=\sum_{r=1}^d{(-1)^{r-1}}/{r!}$. The res… ▽ More We estimate the average cardinality $\mathcal{V}(\mathcal{A})$ of the value set of a general family $\mathcal{A}$ of monic univariate polynomials of degree $d$ with coefficients in the finite field $\mathbb{F}_{\hskip-0.7mm q}$. We establish conditions on the family $\mathcal{A}$ under which $\mathcal{V}(\mathcal{A})=μ_d\,q+\mathcal{O}(q^{1/2})$, where $μ_d:=\sum_{r=1}^d{(-1)^{r-1}}/{r!}$. The result holds without any restriction on the characteristic of $\mathbb{F}_{\hskip-0.7mm q}$ and provides an explicit expression for the constant underlying the $\mathcal{O}$--notation in terms of $d$. We reduce the question to estimating the number of $\mathbb{F}_{\hskip-0.7mm q}$--rational points with pairwise--distinct coordinates of a certain family of complete intersections defined over $\mathbb{F}_{\hskip-0.7mm q}$. For this purpose, we obtain an upper bound on the dimension of the singular locus of the complete intersections under consideration, which allows us to estimate the corresponding number of $\mathbb{F}_{\hskip-0.7mm q}$--rational points. △ Less

Submitted 24 November, 2015; originally announced November 2015.

Finiteness conditions and cotorsion pairs

Authors: Daniel Bravo, Marco A. Pérez

Abstract: We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules w… ▽ More We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules with respect to ${\rm Ext}^1_R(F,-)$ and ${\rm Tor}_1^R(F,-)$. We also construct cotorsion pairs from these orthogonal complements, allowing us to provide further characterizations of $n$-coherent rings. △ Less

Submitted 30 October, 2015; originally announced October 2015.

Comments: 18 pages

Journal ref: J. Pure Appl. Algebra 221, No. 6, 1249-1267 (2017)

Number of rational points of symmetric complete intersections over a finite field and applications

Authors: Guillermo Matera, Mariana Perez, Melina Privitelli

Abstract: We study the set of common F_q-rational zeros of systems of multivariate symmetric polynomials with coefficients in a finite field F_q. We establish certain properties on these polynomials which imply that the corresponding set of zeros over the algebraic closure of F_q is a complete intersection with "good" behavior at infinity, whose singular locus has a codimension at least two or three. These… ▽ More We study the set of common F_q-rational zeros of systems of multivariate symmetric polynomials with coefficients in a finite field F_q. We establish certain properties on these polynomials which imply that the corresponding set of zeros over the algebraic closure of F_q is a complete intersection with "good" behavior at infinity, whose singular locus has a codimension at least two or three. These results are used to estimate the number of F_q-rational points of the corresponding complete intersections. Finally, we illustrate the interest of these estimates through their application to certain classical combinatorial problems over finite fields. △ Less

Submitted 13 October, 2015; originally announced October 2015.

Comments: arXiv admin note: text overlap with arXiv:1408.7014, arXiv:1306.1744

MSC Class: 11G25; 14G15; 14G05; 11T06

On the Minimum Labelling Spanning bi-Connected Subgraph problem

Authors: J. A. Moreno Perez, S. Consoli

Abstract: We introduce the minimum labelling spanning bi-connected subgraph problem (MLSBP) replacing connectivity by bi-connectivity in the well known minimum labelling spanning tree problem (MLSTP). A graph is bi-connected if, for every two vertices, there are, at least, two vertex-disjoint paths joining them. The problem consists in finding the spanning bi-connected subgraph or block with minimum set of… ▽ More We introduce the minimum labelling spanning bi-connected subgraph problem (MLSBP) replacing connectivity by bi-connectivity in the well known minimum labelling spanning tree problem (MLSTP). A graph is bi-connected if, for every two vertices, there are, at least, two vertex-disjoint paths joining them. The problem consists in finding the spanning bi-connected subgraph or block with minimum set of labels. We adapt the exact method of the MLSTP to solve the MLSTB and the basic greedy constructive heuristic, the maximum vertex covering algorithm (MVCA). This proce- dure is a basic component in the application of metaheuristics to solve the problem. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Comments: MIC 2015: The XI Metaheuristics International Conference, 3 pages, Agadir, June 7-10, 2015