Showing 1–41 of 41 results for author: Molina, S

Periods of modular forms and applications to the conjectures of Oda and of Prasanna-Venkatesh

Authors: Xavier Guitart, Santiago Molina

Abstract: We establish several formulas relating periods of modular forms on quaternion algebras over number fields to special values of L-functions. Our main inputs are the cohomological techniques for working with periods introduced in [Mol21], along with explicit versions of the Waldspurger formula due to Cai-Shu-Tian. We work in general even positive weights; when specialized to parallel weight 2, our f… ▽ More We establish several formulas relating periods of modular forms on quaternion algebras over number fields to special values of L-functions. Our main inputs are the cohomological techniques for working with periods introduced in [Mol21], along with explicit versions of the Waldspurger formula due to Cai-Shu-Tian. We work in general even positive weights; when specialized to parallel weight 2, our formulas provide partial evidence for the conjectures of Oda and of Prasanna-Venkatesh in the case of forms associated to elliptic curves. △ Less

Submitted 7 July, 2025; originally announced July 2025.

Comments: 44 pages

MSC Class: 11F67 (primary); 11G40 (secondary)

Plectic points and Hida-Rankin p-adic L-functions

Authors: Víctor Hernández, Santiago Molina

Abstract: Plectic points were introduced by Fornea and Gehrmann as certain tensor products of local pointson elliptic curves over arbitrary number fields $F$. In rank $r\leq [F:\mathbb{Q}]$-situations, they conjecturally come from p-adic regulators of basis of the Mordell-Weil group defined over dihedral extensions of $F$. In this article we define two variable anticyclotomic $p$-adic L-functions attached t… ▽ More Plectic points were introduced by Fornea and Gehrmann as certain tensor products of local pointson elliptic curves over arbitrary number fields $F$. In rank $r\leq [F:\mathbb{Q}]$-situations, they conjecturally come from p-adic regulators of basis of the Mordell-Weil group defined over dihedral extensions of $F$. In this article we define two variable anticyclotomic $p$-adic L-functions attached to a family of overconvergent modular symbols defined over $F$ and a quadratic extension $K/F$. Their restriction to the weight space provide Hida-Rankin $p$-adic L-functions. If such a family passes through an overconvergent modular symbol attached to a modular elliptic curve $E/F$, we obtain a $p$-adic Gross-Zagier formula that computes higher derivatives of such Hida-Rankin $p$-adic L-functions in terms of plectic points. This result generalizes that of Bertolini and Darmon, which has been key to demonstrating the rationality of Darmon points. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Waldspurger formulas in higher cohomology

Authors: Santiago Molina

Abstract: The classical Waldspurger formula, which computes periods of quaternionic automorphic forms in maximal torus, has been used in a wide variety of arithmetic applications, such as the Birch and Swinnerton-Dyer conjecture in rank 0 situations. This is why this formula is considered the rank 0 analogue of the celebrated Gross-Zagier formula. On the other hand, Eichler-Shimura correspondence allows u… ▽ More The classical Waldspurger formula, which computes periods of quaternionic automorphic forms in maximal torus, has been used in a wide variety of arithmetic applications, such as the Birch and Swinnerton-Dyer conjecture in rank 0 situations. This is why this formula is considered the rank 0 analogue of the celebrated Gross-Zagier formula. On the other hand, Eichler-Shimura correspondence allows us to interpret this quaternionic automorphic form as a cocycle in higher cohomology spaces of certain arithmetic groups. In this way we can realize the corresponding automorphic representation in the etale cohomology of certain Shimura varieties. In this work we find a formula, analogous to that of Waldspurger, which relates cap-products of this cocycle and fundamental classes associated with maximal torus with special values of Rankin-Selberg L-functions. △ Less

Submitted 18 October, 2023; v1 submitted 3 January, 2022; originally announced January 2022.

Maximum principles, Liouville theorem and symmetry results for the fractional $g-$Laplacian

Authors: Sandra Molina, Ariel Salort, Hernán Vivas

Abstract: We study different maximum principles for non-local non-linear operators with non-standard growth that arise naturally in the context of fractional Orlicz-Sobolev spaces and whose most notable representative is the fractional $g-$Laplacian: \[ (-Δ_g)^su(x):=\textrm{p.v.}\int_{\mathbb{R}^n}g\left(\frac{u(x)-u(y)}{|x-y|^s}\right)\frac{dy}{|x-y|^{n+s}}, \] being $g$ the derivative of a Young function… ▽ More We study different maximum principles for non-local non-linear operators with non-standard growth that arise naturally in the context of fractional Orlicz-Sobolev spaces and whose most notable representative is the fractional $g-$Laplacian: \[ (-Δ_g)^su(x):=\textrm{p.v.}\int_{\mathbb{R}^n}g\left(\frac{u(x)-u(y)}{|x-y|^s}\right)\frac{dy}{|x-y|^{n+s}}, \] being $g$ the derivative of a Young function. We further derive qualitative properties of solutions such as a Liouville type theorem and symmetry results and present several possible extensions and some interesting open questions. These are the first results of this type proved in this setting. △ Less

Submitted 25 February, 2021; originally announced February 2021.

Natural families in evolution algebras

Authors: Nadia Boudi, Yolanda Cabrera Casado, Mercedes Siles Molina

Abstract: In this paper we introduce the notion of evolution rank and give a decomposition of an evolution algebra into its annihilator plus extending evolution subspaces having evolution rank one. This decomposition can be used to prove that in non-degenerate evolution algebras, any family of natural and orthogonal vectors can be extended to a natural basis. Central results are the characterization of thos… ▽ More In this paper we introduce the notion of evolution rank and give a decomposition of an evolution algebra into its annihilator plus extending evolution subspaces having evolution rank one. This decomposition can be used to prove that in non-degenerate evolution algebras, any family of natural and orthogonal vectors can be extended to a natural basis. Central results are the characterization of those families of orthogonal linearly independent vectors which can be extended to a natural basis. We also consider ideals in perfect evolution algebras and prove that they coincide with the basic ideals. Nilpotent elements of order three can be localized (in a perfect evolution algebra over a field in which every element is a square) by merely looking at the structure matrix: any vanishing principal minor provides one. Conversely, if a perfect evolution algebra over an arbitrary field has a nilpotent element of order three, then its structure matrix has a vanishing principal minor. We finish by considering the adjoint evolution algebra and relating its properties to the corresponding in the initial evolution algebra. △ Less

Submitted 25 June, 2020; originally announced June 2020.

On the centroid of a Leavitt path algebra

Authors: Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We describe the centroid of some Leavitt path algebras. More precisely, we show that for Leavitt path algebras over a field $K$ that are simple its centroid is isomorphic to $K$, and for prime Leavitt path algebras its centroid is isomorphic to $K$ except if the graph is a row-finite comet, in which case the centroid is isomorphic to $K[x,x^{-1}]$. We describe the centroid of some Leavitt path algebras. More precisely, we show that for Leavitt path algebras over a field $K$ that are simple its centroid is isomorphic to $K$, and for prime Leavitt path algebras its centroid is isomorphic to $K$ except if the graph is a row-finite comet, in which case the centroid is isomorphic to $K[x,x^{-1}]$. △ Less

Submitted 13 April, 2020; originally announced April 2020.

MSC Class: 16D70; 16W99; 16S99

$n$-dimensional Fractional Bessel Operators and Liouville theorems

Authors: Vanesa Galli, Sandra Molina, Alejandro Quintero

Abstract: In this paper we extend the results given in \cite{Mo18} to the $n$-dimensional case the fractional powers of Bessel operators. Moreover, we established a Liouville type theorems for these operators. This extend the result obtained in \cite{GMQ18} for Bessel operators. In this paper we extend the results given in \cite{Mo18} to the $n$-dimensional case the fractional powers of Bessel operators. Moreover, we established a Liouville type theorems for these operators. This extend the result obtained in \cite{GMQ18} for Bessel operators. △ Less

Submitted 12 March, 2020; originally announced March 2020.

MSC Class: 47A60; 46F10; 46F12; 46F30

Largest ideals in Leavitt path algebras

Authors: Vural Cam, Cristóbal Gil Canto, Müge Kanuni, Mercedes Siles Molina

Abstract: We identify largest ideals in Leavitt path algebras: the largest locally left/right artinian (which is the largest semisimple one), the largest locally left/right noetherian without minimal idempotents, the largest exchange, and the largest purely infinite. This last ideal is described as a direct sum of purely infinite simple pieces plus purely infinite non-simple and non-decomposable pieces. The… ▽ More We identify largest ideals in Leavitt path algebras: the largest locally left/right artinian (which is the largest semisimple one), the largest locally left/right noetherian without minimal idempotents, the largest exchange, and the largest purely infinite. This last ideal is described as a direct sum of purely infinite simple pieces plus purely infinite non-simple and non-decomposable pieces. The invariance under ring isomorphisms of these ideals is also studied. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: 19 pages

MSC Class: 16D70 (Primary); 16D25; 16E20; 16D30 (Secondary)

Uniformly convex and smooth Banach spaces and Lp-boundedness properties of Littlewood-Paley and area functions associated with semigroups

Authors: Jorge J. Betancor, Juan C. Fariña, Vanesa Galli, Samdra M. Molina

Abstract: In this paper we obtain new characterizations of the uniformly convex and smooth Banach spaces. These characterizations are established by using Lp-boundedness properties of Littlewood-Paley functions and area integrals associated with heat semigroups and involving fractional derivatives. Our results apply for instance by considering the heat semigroups defined by Hermite and Laguerre operators th… ▽ More In this paper we obtain new characterizations of the uniformly convex and smooth Banach spaces. These characterizations are established by using Lp-boundedness properties of Littlewood-Paley functions and area integrals associated with heat semigroups and involving fractional derivatives. Our results apply for instance by considering the heat semigroups defined by Hermite and Laguerre operators that do not satisfy the Markovian property. △ Less

Submitted 11 April, 2019; originally announced April 2019.

MSC Class: 43A15; 46B20; 47D03

Squares and associative representations of two dimensional evolution algebras

Authors: Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees at most four, as well as derivations and automorphisms. We look at the group of automorphisms as an algebraic group, getting in this form a new algebraic invar… ▽ More We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees at most four, as well as derivations and automorphisms. We look at the group of automorphisms as an algebraic group, getting in this form a new algebraic invariant. The study of associative representations of evolution algebras is also started and we get faithful representations for most two-dimensional evolution algebras. In some cases we prove that faithful commutative and associative representations do not exist, giving raise to the class of what could be termed as "exceptional" evolution algebras (in the sense of not admitting a monomorphism to an associative algebra with deformed product). △ Less

Submitted 6 July, 2018; originally announced July 2018.

MSC Class: 17D92; 17A60; 17A36

Classification of four dimensional perfect non-simple evolution algebras

Authors: Yolanda Cabrera Casado, Muge Kanuni, Mercedes Siles Molina

Abstract: We classify the four dimensional perfect non-simple evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7. We classify the four dimensional perfect non-simple evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7. △ Less

Submitted 11 January, 2018; originally announced January 2018.

MSC Class: 17A60; 17D92

An automorphic approach to Darmon points

Authors: Xavier Guitart, Marc Masdeu, Santiago Molina

Abstract: We give archimedean and non-archimedean constructions of Darmon points on modular abelian varieties attached to automorphic forms over arbitrary number fields and possibly non-trivial central character. An effort is made to present a unifying point of view, emphasizing the automorphic nature of the construction. We give archimedean and non-archimedean constructions of Darmon points on modular abelian varieties attached to automorphic forms over arbitrary number fields and possibly non-trivial central character. An effort is made to present a unifying point of view, emphasizing the automorphic nature of the construction. △ Less

Submitted 4 July, 2019; v1 submitted 20 September, 2017; originally announced September 2017.

Comments: Final version. Corrected typos. Accepted for publication in Indiana University Mathematics Journal

A Liouville theorem for some Bessel generalized operators

Authors: Vanesa Galli, Sandra Molina, Alejandro Quintero

Abstract: In this paper we establish a Liouville theorem in $\mathcal{H'}_μ$ for a wider class of operators in $(0,\infty)^{n}$ that generalizes the $n$-dimensional Bessel operator. We will present two different proofs, based in two representation theorems for certain distributions "supported in zero". In this paper we establish a Liouville theorem in $\mathcal{H'}_μ$ for a wider class of operators in $(0,\infty)^{n}$ that generalizes the $n$-dimensional Bessel operator. We will present two different proofs, based in two representation theorems for certain distributions "supported in zero". △ Less

Submitted 22 August, 2017; v1 submitted 18 August, 2017; originally announced August 2017.

MSC Class: 46F12; 47F05; 42A38; 44A05

Classification of Leavitt path algebras with two vertices

Authors: Müge Kanuni, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point… ▽ More We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point is a simple linear algebraic result that determines when a Leavitt path algebra is IBN. An interesting result that we have found is that the ideal generated by extreme cycles is invariant under any isomorphism (for Leavitt path algebras whose associated graph is finite). We also give a more specific proof of the fact that the shift move produces an isomorphism when applied to any row-finite graph, independently of the field we are considering. △ Less

Submitted 14 September, 2017; v1 submitted 10 August, 2017; originally announced August 2017.

MSC Class: 16D70; 16D25; 16E20; 16D30

A bootstrap for the number of $\mathbb{F}_{q^r}$-rational points on a curve over $\mathbb{F}_q$

Authors: Santiago Molina, Narcís Sayols, Sebastià Xambó-Descamps

Abstract: In this note we present a fast algorithm that finds for any $r$ the number $N_r$ of $\mathbb{F}_{q^r}$ rational points on a smooth absolutely irreducible curve $C$ defined over $\mathbb{F}_{q}$ assuming that we know $N_1,\cdots,N_g$, where $g$ is the genus of $C$. The proof of its validity is given in detail and its working are illustrated with several examples. In an Appendix we list the Python f… ▽ More In this note we present a fast algorithm that finds for any $r$ the number $N_r$ of $\mathbb{F}_{q^r}$ rational points on a smooth absolutely irreducible curve $C$ defined over $\mathbb{F}_{q}$ assuming that we know $N_1,\cdots,N_g$, where $g$ is the genus of $C$. The proof of its validity is given in detail and its working are illustrated with several examples. In an Appendix we list the Python function in which we have implemented the algorithm together with other routines used in the examples. △ Less

Submitted 15 April, 2017; originally announced April 2017.

Description of three-dimensional evolution algebras

Authors: Yolanda Cabrera Casado, Mercedes Siles Molina, M. Victoria Velasco

Abstract: We classify three dimensional evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7. We classify three dimensional evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7. △ Less

Submitted 6 February, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: This version of the paper entitled "Classification of three-dimensional evolution algebras" contains all the tables and figures explaining the classification

MSC Class: 17D92; 17A60

Distributional fractional powers of similar operators. Applications to the Bessel operators

Authors: Sandra Molina

Abstract: This paper provides a method to study the non-negativity of certain linear operators, from other operators with similar spectral properties. If these new operators are formally self-adjoint and non-negative, we can study the complex powers using an appropriate locally convex space. In this case, the initial operator also will be non-negative and we will be able to study their powers. In particular… ▽ More This paper provides a method to study the non-negativity of certain linear operators, from other operators with similar spectral properties. If these new operators are formally self-adjoint and non-negative, we can study the complex powers using an appropriate locally convex space. In this case, the initial operator also will be non-negative and we will be able to study their powers. In particular, we have applied this method to Bessel-type operators. △ Less

Submitted 31 October, 2016; originally announced October 2016.

Using the Steinberg algebra model to determine the center of any Leavitt path algebra

Authors: Lisa Orloff Clark, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: Given an arbitrary graph, we describe the center of its Leavitt path algebra over a commutative unital ring. Our proof uses the Steinberg algebra model of the Leavitt path algebra. A key ingredient is a characterization of compact open invariant subsets of the unit space of the graph groupoid in terms of the underlying graph: an open invariant subset is compact if and only if its associated heredi… ▽ More Given an arbitrary graph, we describe the center of its Leavitt path algebra over a commutative unital ring. Our proof uses the Steinberg algebra model of the Leavitt path algebra. A key ingredient is a characterization of compact open invariant subsets of the unit space of the graph groupoid in terms of the underlying graph: an open invariant subset is compact if and only if its associated hereditary and saturated set of vertices satisfies Condition (F). We also give a basis of the center. Its cardinality depends on the number of minimal compact open invariant subsets of the unit space. △ Less

Submitted 4 April, 2016; originally announced April 2016.

Comments: 14 pages

Using Steinberg algebras to study decomposability of Leavitt path algebras

Authors: Lisa Orloff Clark, Dolores Martin Barquero, Candido Martin Gonzalez, Mercedes Siles Molina

Abstract: Given an arbitrary graph $E$ we investigate the relationship between $E$ and the groupoid $G_E$. We show that there is a lattice isomorphism between the lattice of pairs $(H, S)$, where $H$ is a hereditary and saturated set of vertices and $S$ is a set of breaking vertices {associated to $H $}, onto the lattice of open invariant subsets of $G_E^{(0)}$. We use this lattice isomorphism to characte… ▽ More Given an arbitrary graph $E$ we investigate the relationship between $E$ and the groupoid $G_E$. We show that there is a lattice isomorphism between the lattice of pairs $(H, S)$, where $H$ is a hereditary and saturated set of vertices and $S$ is a set of breaking vertices {associated to $H $}, onto the lattice of open invariant subsets of $G_E^{(0)}$. We use this lattice isomorphism to characterize the decomposability of the Leavitt path algebra $L_K(E)$, where $K$ is a field. First we find a graph condition to characterise when an open invariant subset of $G_E^{(0)}$ is closed. Then we give both a graph condition and a groupoid condition each of which is equivalent to $L_K(E)$ being decomposable {in the sense that it can be written as a direct sum of two nonzero ideals}. △ Less

Submitted 3 March, 2016; originally announced March 2016.

MSC Class: Primary 16D70; Secondary 18B40; 06B10

Evolution algebras of arbitrary dimension and their decompositions

Authors: Yolanda Cabrera Casado, Mercedes Siles Molina, M. Victoria Velasco

Abstract: We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also prove the existence and unicity of a direct sum decomposition into irreducible components for every non-degenerate evolution algebra. When the algebra is degene… ▽ More We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also prove the existence and unicity of a direct sum decomposition into irreducible components for every non-degenerate evolution algebra. When the algebra is degenerate, the uniqueness cannot be assured. The graph associated to an evolution algebra (relative to a natural basis) will play a fundamental role to describe the structure of the algebra. Concretely, a non-degenerate evolution algebra is irreducible if and only if the graph is connected. Moreover, when the evolution algebra is finite-dimensional, we give a process (called the fragmentation process) to decompose the algebra into irreducible components. △ Less

Submitted 3 February, 2016; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: To appear in Linear Algebra and its Applications (2016)

MSC Class: 17A60; 05C25

On the Existence of Semi-Regular Sequences

Authors: T. J. Hodges, S. D. Molina, J. Schlather

Abstract: Semi-regular sequences over $\mathbb{F}_2$ are sequences of homogeneous elements of the algebra $ B^{(n)}=\mathbb{F}_2[X_1,...,X_n]/(X_1^2,...,X_n^2) $, which have as few relations between them as possible. They were introduced in order to assess the complexity of Gröbner basis algorithms such as ${\bf F}_4, {\bf F}_5$ for the solution of polynomial equations. Despite the experimental evidence tha… ▽ More Semi-regular sequences over $\mathbb{F}_2$ are sequences of homogeneous elements of the algebra $ B^{(n)}=\mathbb{F}_2[X_1,...,X_n]/(X_1^2,...,X_n^2) $, which have as few relations between them as possible. They were introduced in order to assess the complexity of Gröbner basis algorithms such as ${\bf F}_4, {\bf F}_5$ for the solution of polynomial equations. Despite the experimental evidence that semi-regular sequences are common, it was unknown whether there existed semi-regular sequences for all $n$, except in extremely trivial situations. We prove some results on the existence and non-existence of semi-regular sequences. In particular, we show that if an element of degree $d$ in $B^{(n)}$ is semi-regular, then we must have $n\leq 3d$. Also, we show that if $d=2^t$ and $n=3d$ there exits a semi-regular element of degree $d$ establishing that the bound is sharp for infinitely many $n$. Finally, we generalize the result of non-existence of semi-regular elements to the case of sequences of a fixed length $m$. △ Less

Submitted 25 December, 2014; originally announced December 2014.

Endomorphism rings of Leavitt path algebras

Authors: Gonzalo Aranda Pino, Kulumani Rangaswamy, Mercedes Siles Molina

Abstract: We investigate conditions under which the endomorphism ring of the Leavitt path algebra $L_{K}(E)$ possesses various ring and module-theoretical properties such as being von Neumann regular, $π$-regular, strongly $π$-regular or self-injective. We also describe conditions under which $L_{K}(E)$ is continuous as well as automorphism invariant as a right $L_{K}(E)$-module. We investigate conditions under which the endomorphism ring of the Leavitt path algebra $L_{K}(E)$ possesses various ring and module-theoretical properties such as being von Neumann regular, $π$-regular, strongly $π$-regular or self-injective. We also describe conditions under which $L_{K}(E)$ is continuous as well as automorphism invariant as a right $L_{K}(E)$-module. △ Less

Submitted 13 May, 2014; originally announced May 2014.

MSC Class: 16D70; 16E50

Morita equivalence and Morita invariant properties. Applications in the context of Leavitt path algebras

Authors: Mercedes Siles Molina, Jose Felix Solanilla Hernandez

Abstract: In this paper we prove that two idempotent rings are Morita equivalent if every corner of one of them is isomorphic to a corner of a matrix ring of the other one. We establish the converse (which is not true in general) for $σ$-unital rings having a $σ$-unit consisting of von Neumann regular elements. The following aim is to show that a property is Morita invariant if it is invariant under taking… ▽ More In this paper we prove that two idempotent rings are Morita equivalent if every corner of one of them is isomorphic to a corner of a matrix ring of the other one. We establish the converse (which is not true in general) for $σ$-unital rings having a $σ$-unit consisting of von Neumann regular elements. The following aim is to show that a property is Morita invariant if it is invariant under taking corners and under taking matrices. The previous results are used to check the Morita invariance of certain ring properties (being locally left/right artinian/noetherian, being categorically left/right artinian, being an $I_0$-ring and being properly purely infinite) and certain graph properties in the context of Leavitt path algebras (Condition (L), Condition (K) and cofinality). A different proof of the fact that a graph with an infinite emitter does not admit any desingularization is also given. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: 16 pages

MSC Class: 16D90

Extreme cycles. The center of a Leavitt path algebra

Authors: Maria Guadalupe Corrales Garcia, Dolores Martin Barquero, Candido Martin Gonzalez, Mercedes Siles Molina, Jos Felix Solanilla Hernandez

Abstract: In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of… ▽ More In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of a Leavitt path algebra. Our work will rely on our previous approach to the center of a prime Leavitt path algebra \cite{CMMSS1}. We will go further into the structure itself of the Leavitt path algebra. For example, the ideal $I(P_{ec} \cup P_{c} \cup P_l)$ generated by vertices in extreme cycles ($P_{ec}$), by vertices in cycles without exits ($P_c$) and by line points ($P_l$) will be a dense ideal in some cases, for instance in the finite one or, more generally, if every vertex connects to $P_l \cup P_c\cup P_{ec}$. Hence its structure will contain much of the information about the Leavitt path algebra. In the row-finite case, we will need to add a new hereditary set: the set of vertices whose tree has infinite bifurcations ($P_{b^\infty}$). △ Less

Submitted 19 July, 2013; originally announced July 2013.

MSC Class: 16D70

Galois action on the $\bar\mathbb{Q}$-isogeny classes of abelian surfaces with quaternionic multiplication

Authors: Santiago Molina

Abstract: An abelian variety over a number field is called L-abelian variety if, for any element of the absolute Galois group of a number field L, the conjugated abelian variety is isogenous to the given one by means of an isogeny that preserves the Galois action on the endomorphism rings. We can think of them as generalizations of abelian varieties defined over L with endomorphisms also defined over L. In… ▽ More An abelian variety over a number field is called L-abelian variety if, for any element of the absolute Galois group of a number field L, the conjugated abelian variety is isogenous to the given one by means of an isogeny that preserves the Galois action on the endomorphism rings. We can think of them as generalizations of abelian varieties defined over L with endomorphisms also defined over L. In the one dimensional case, an elliptic curve defined over L gives rise to a Galois representation provided by the Galois action on its Tate module. This classical Galois representation has been a central object of study in Number Theory over the last decades. Besides, given an elliptic L-curve one can construct a projective analogue of the previous Galois representation. In this work we construct similar projective representations in the two-dimensional case, namely, attached to abelian L-surfaces with quaternionic multiplication or fake elliptic curves. Moreover, we prove that such projective representations also describe the Galois action on the isogeny class of the elliptic L-curve, in the classical case, or the abelian L-surface with quaternionic multiplication, in the general case. △ Less

Submitted 10 April, 2014; v1 submitted 23 April, 2013; originally announced April 2013.

Martindale algebras of quotients of graded algebras

Authors: Hannes Bierwirth, Candido Martin Gonzalez, Juana Sanchez Ortega, Mercedes Siles Molina

Abstract: The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegen… ▽ More The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients. △ Less

Submitted 10 October, 2012; originally announced October 2012.

MSC Class: 17B60; 16W25; 16S90; 16W10

Centers of path algebras, Cohn and Leavitt path algebras

Authors: María Guadalupe Corrales García, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina, José Felix Solanilla Hernández

Abstract: We study the center of several types of path algebras. We start with the path algebra $KE$ and prove that if the number of vertices is infinite then the center is zero. Otherwise, it coincides with the field $K$ except when the graph $E$ is a cycle in which case the center is $K[x]$, the polynomial algebra in one indeterminate. Then we compute the centers of prime Cohn and Leavitt path algebras. A… ▽ More We study the center of several types of path algebras. We start with the path algebra $KE$ and prove that if the number of vertices is infinite then the center is zero. Otherwise, it coincides with the field $K$ except when the graph $E$ is a cycle in which case the center is $K[x]$, the polynomial algebra in one indeterminate. Then we compute the centers of prime Cohn and Leavitt path algebras. A lower and an upper bound for the center of a Leavitt path algebra are given by introducing the graded Baer radical for graded algebras. △ Less

Submitted 5 December, 2013; v1 submitted 19 September, 2012; originally announced September 2012.

MSC Class: 16D70

Atlas of Leavitt Path Algebras of small graphs

Authors: Pablo Alberca Bjerregaard, Gonzalo Aranda Pino, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams et al. in the case of graphs whose Leavitt path algebras are purely infinite simple. The description of the isomorphism classes is given in terms of a series o… ▽ More The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams et al. in the case of graphs whose Leavitt path algebras are purely infinite simple. The description of the isomorphism classes is given in terms of a series of invariants including the K_0 group, the socle, the number of loops with no exits and the number of hereditary and saturated subsets of the graph. △ Less

Submitted 24 December, 2011; originally announced December 2011.

Limits of quotients of real analytic functions in two variables

Authors: Carlos A. Cadavid, Juan D. Velez, Sergio Molina

Abstract: Necessary and sufficient conditions for the existence of limits of the form {equation*} \lim_{(x,y)\rightarrow (a,b)}\frac{f(x,y)}{g(x,y)} {equation*} are given, under the hipothesis that $f$ and $g$ are real analytic functions near the point $(a,b)$, and $g$ has an isolated zero at $(a,b)$. An algorithm (implemented in MAPLE 12) is also provided. This algorithm determines the existence of the lim… ▽ More Necessary and sufficient conditions for the existence of limits of the form {equation*} \lim_{(x,y)\rightarrow (a,b)}\frac{f(x,y)}{g(x,y)} {equation*} are given, under the hipothesis that $f$ and $g$ are real analytic functions near the point $(a,b)$, and $g$ has an isolated zero at $(a,b)$. An algorithm (implemented in MAPLE 12) is also provided. This algorithm determines the existence of the limit, and computes it in case it exists. It is shown to be more powerful than the one found in the latest versions of MAPLE. The main tools used throughout are Hensel's Lemma and the theory of Puiseux series. △ Less

Submitted 6 November, 2010; originally announced November 2010.

Equations of hyperelliptic Shimura curves

Authors: Santiago Molina

Abstract: We describe an algorithm that computes explicit models of hyperelliptic Shimura curves attached to an indefnite quaternion algebra over Q and Atkin-Lehner quotients of them. It exploits Cerednik-Drinfeld's non-archimedean uniformisation of Shimura curves, a formula of Gross and Zagier for the endomorphism ring of Heegner points over Artinian rings and the connection between Ribet's bimodules and t… ▽ More We describe an algorithm that computes explicit models of hyperelliptic Shimura curves attached to an indefnite quaternion algebra over Q and Atkin-Lehner quotients of them. It exploits Cerednik-Drinfeld's non-archimedean uniformisation of Shimura curves, a formula of Gross and Zagier for the endomorphism ring of Heegner points over Artinian rings and the connection between Ribet's bimodules and the specialization of Heegner points. As an application, we provide a list of equations of Shimura curves and quotients of them obtained by our algorithm that had been conjectured by Kurihara. △ Less

Submitted 21 April, 2010; originally announced April 2010.

Area Littlewood-Paley functions associated with Hermite and Laguerre operators

Authors: J. J. Betancor, S. M. Molina, L. Rodriguez-Mesa

Abstract: In this paper we study Lp-boundedness properties for area Littlewood-Paley functions associated with heat semigroups for Hermite and Laguerre operators In this paper we study Lp-boundedness properties for area Littlewood-Paley functions associated with heat semigroups for Hermite and Laguerre operators △ Less

Submitted 21 January, 2010; originally announced January 2010.

MSC Class: 42C05; 42C15

Ribet bimodules and the specialization of Heegner points

Authors: Santiago Molina

Abstract: We describe the specialization of Heegner points on Shimura curves at primes of bad reduction. Moreover, we give some reciprocity laws relating the Galois action on these points to natural actions on the set of singular points and the set of connected components of the fiber. We describe the specialization of Heegner points on Shimura curves at primes of bad reduction. Moreover, we give some reciprocity laws relating the Galois action on these points to natural actions on the set of singular points and the set of connected components of the fiber. △ Less

Submitted 2 March, 2010; v1 submitted 30 December, 2009; originally announced December 2009.

Algebras of quotients of graded Lie algebras

Authors: Juana Sanchez Ortega, Mercedes Siles Molina

Abstract: In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients. In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients. △ Less

Submitted 9 December, 2009; originally announced December 2009.

Comments: 15 pages. To appear in the Journal of Algebra

MSC Class: 17B60; 16W25; 16W10

The socle series of a Leavitt path algebra

Authors: Gene Abrams, Kulumani M. Rangaswamy, Mercedes Siles Molina

Abstract: We investigate the ascending Loewy socle series of Leavitt path algebras $L_K(E)$ for an arbitrary graph $E$ and field $K$. We classify those graphs $E$ for which $L_K(E)=S_λ$ for some element $S_λ$ of the Loewy socle series. We then show that for any ordinal $λ$ there exists a graph $E$ so that the Loewy length of $L_K(E)$ is $λ$. Moreover, $λ\leq ω$ (the first infinite ordinal) if $E$ is a row… ▽ More We investigate the ascending Loewy socle series of Leavitt path algebras $L_K(E)$ for an arbitrary graph $E$ and field $K$. We classify those graphs $E$ for which $L_K(E)=S_λ$ for some element $S_λ$ of the Loewy socle series. We then show that for any ordinal $λ$ there exists a graph $E$ so that the Loewy length of $L_K(E)$ is $λ$. Moreover, $λ\leq ω$ (the first infinite ordinal) if $E$ is a row-finite graph. △ Less

Submitted 23 June, 2009; originally announced June 2009.

Comments: 15 pages

MSC Class: 16S99; 16D60; 46L89

Parametrization of abelian $K$-surfaces with quaternionic multiplication

Authors: Xavier Guitart, Santiago Molina

Abstract: We prove that the abelian $K$-surfaces whose endomorphism algebra is a quaternion algebra are parametrized, up to isogeny, by the $K$-rational points of the quotient of certain Shimura curves by the group of their Atkin-Lehner involutions. We prove that the abelian $K$-surfaces whose endomorphism algebra is a quaternion algebra are parametrized, up to isogeny, by the $K$-rational points of the quotient of certain Shimura curves by the group of their Atkin-Lehner involutions. △ Less

Submitted 24 March, 2010; v1 submitted 14 June, 2009; originally announced June 2009.

Comments: 6 pages

MSC Class: 11G18;14G35

Journal ref: C. R. Math. Acad. Sci. Paris 347 (2009), no. 23-24, 1325--1330.

Non-simple purely infinite rings

Authors: Gonzalo Aranda Pino, Ken Goodearl, Francesc Perera, Mercedes Siles Molina

Abstract: In this paper we introduce the concept of purely infinite rings, which in the simple case agrees with the already existing notion of pure infiniteness. We establish various permanence properties of this notion, with respect to passage to matrix rings, corners, and behaviour under extensions, so being purely infinite is preserved under Morita equivalence. We show that a wealth of examples falls i… ▽ More In this paper we introduce the concept of purely infinite rings, which in the simple case agrees with the already existing notion of pure infiniteness. We establish various permanence properties of this notion, with respect to passage to matrix rings, corners, and behaviour under extensions, so being purely infinite is preserved under Morita equivalence. We show that a wealth of examples falls into this class, including important analogues of constructions commonly found in operator algebras. In particular, for any (s-)unital $K$-algebra having enough nonzero idempotents (for example, for a von Neumann regular algebra) its tensor product over $K$ with many nonsimple Leavitt path algebras is purely infinite. △ Less

Submitted 25 June, 2008; originally announced June 2008.

Strongly nondegenerate Lie algebras

Authors: Francesc Perera, Mercedes Siles Molina

Abstract: Let $A$ be a semiprime 2 and 3-torsion free non-commutative associative algebra. We show that the Lie algebra $\der(A)$ of (associative) derivations of $A$ is strongly non-degenerate, which is a strong form of semiprimeness for Lie algebras, under some additional restrictions on the center of $A$. This result follows from a description of the quadratic annihilator of a general Lie algebra inside… ▽ More Let $A$ be a semiprime 2 and 3-torsion free non-commutative associative algebra. We show that the Lie algebra $\der(A)$ of (associative) derivations of $A$ is strongly non-degenerate, which is a strong form of semiprimeness for Lie algebras, under some additional restrictions on the center of $A$. This result follows from a description of the quadratic annihilator of a general Lie algebra inside appropriate Lie overalgebras. Similar results are obtained for an associative algebra $A$ with involution and the Lie algebra $\sder(A)$ of involution preserving derivations of $A$. △ Less

Submitted 12 February, 2008; originally announced February 2008.

Comments: 9 pgs. To appear in the Proc. of the AMS

MSC Class: 17B60; 16W25

Socle theory for Leavitt path algebras of arbitrary graphs

Authors: Gonzalo Aranda Pino, Dolores Martin Barquero, Candido Martin Gonzalez, Mercedes Siles Molina

Abstract: The main aim of the paper is to give a socle theory for Leavitt path algebras of arbitrary graphs. We use both the desingularization process and combinatorial methods to study Morita invariant properties concerning the socle and to characterize it, respectively. Leavitt path algebras with nonzero socle are described as those which have line points, and it is shown that the line points generate t… ▽ More The main aim of the paper is to give a socle theory for Leavitt path algebras of arbitrary graphs. We use both the desingularization process and combinatorial methods to study Morita invariant properties concerning the socle and to characterize it, respectively. Leavitt path algebras with nonzero socle are described as those which have line points, and it is shown that the line points generate the socle of a Leavitt path algebra, extending so the results for row-finite graphs in the previous paper [12] (but with different methods). A concrete description of the socle of a Leavitt path algebra is obtained: it is a direct sum of matrix rings (of finite or infinite size) over the base field. New proofs of the Graded Uniqueness and of the Cuntz-Krieger Uniqueness Theorems are given, shorthening significantly the original ones. △ Less

Submitted 8 February, 2008; originally announced February 2008.

Comments: 20 pgs

MSC Class: 16D70

Algebras of quotients of path algebras

Authors: Mercedes Siles Molina

Abstract: Leavitt path algebras are shown to be algebras of right quotients of their corresponding path algebras. Using this fact we obtain maximal algebras of right quotients from those (Leavitt) path algebras whose associated graph satisfies that every vertex connects to a line point (equivalently, the Leavitt path algebra has essential socle). We also introduce and characterize the algebraic counterpar… ▽ More Leavitt path algebras are shown to be algebras of right quotients of their corresponding path algebras. Using this fact we obtain maximal algebras of right quotients from those (Leavitt) path algebras whose associated graph satisfies that every vertex connects to a line point (equivalently, the Leavitt path algebra has essential socle). We also introduce and characterize the algebraic counterpart of Toeplitz algebras. △ Less

Submitted 20 September, 2007; v1 submitted 23 January, 2007; originally announced January 2007.

Comments: 14 pgs (To appear in the Journal of Algebra)

MSC Class: 16D70

The socle of a Leavitt path algebra

Authors: Gonzalo Aranda Pino, Dolores Martin Barquero, Candido Martin Gonzalez, Mercedes Siles Molina

Abstract: In this paper we characterize the minimal left ideals of a Leavitt path algebra as those ones which are isomorphic to principal left ideals generated by line point vertices, that is, by vertices whose trees do not contain neither bifurcations nor closed paths. Moreover, we show that the socle of a Leavitt path algebra is the two-sided ideal generated by these line point vertices. This characteri… ▽ More In this paper we characterize the minimal left ideals of a Leavitt path algebra as those ones which are isomorphic to principal left ideals generated by line point vertices, that is, by vertices whose trees do not contain neither bifurcations nor closed paths. Moreover, we show that the socle of a Leavitt path algebra is the two-sided ideal generated by these line point vertices. This characterization allows us to compute the socle of some algebras that arise as the Leavitt path algebra of some row-finite graphs. A complete description of the socle of a Leavitt path algebra is given: it is a locally matricial algebra. △ Less

Submitted 23 January, 2007; originally announced January 2007.

Comments: 13 pgs

MSC Class: 16D70

Associative and Lie algebras of quotients

Authors: Francesc Perera, Mercedes Siles Molina

Abstract: In this paper we examine how the notion of algebra of quotients for Lie algebras ties up with the corresponding well-known concept in the associative case. Specifically, we completely characterize when a Lie algebra $Q$ is an algebra of quotients of a Lie algebra $L$ in terms of the associative algebras generated by the adjoint operators of $L$ and $Q$ respectively. In a converse direction, we a… ▽ More In this paper we examine how the notion of algebra of quotients for Lie algebras ties up with the corresponding well-known concept in the associative case. Specifically, we completely characterize when a Lie algebra $Q$ is an algebra of quotients of a Lie algebra $L$ in terms of the associative algebras generated by the adjoint operators of $L$ and $Q$ respectively. In a converse direction, we also provide with new examples of algebras of quotients of Lie algebras and these come from associative algebras of quotients. In the course of our analysis, we make use of the notions of density and multiplicative semiprimeness to link our results with the maximal symmetric ring of quotients. △ Less

Submitted 22 September, 2005; originally announced September 2005.

Comments: 17 pages

MSC Class: 17B05; 16S90