Showing 1–13 of 13 results for author: Lario, J

Modular forms of CM type mod $\ell$

Authors: Luís Dieulefait, Josep González, Joan-C. Lario

Abstract: We say that a normalized modular form without complex multiplication is of CM type modulo $\ell$ by an imaginary quadratic field $K$ if its Fourier coefficients $a_p$ are $0$ modulo a prime ideal dividing $\ell$ for every prime $p$ inert in $K$. In this paper, we address the following problem: Given a weight 2 cuspidal Hecke eigenform $f$ without CM which is of CM type modulo $\ell$ by an imagin… ▽ More We say that a normalized modular form without complex multiplication is of CM type modulo $\ell$ by an imaginary quadratic field $K$ if its Fourier coefficients $a_p$ are $0$ modulo a prime ideal dividing $\ell$ for every prime $p$ inert in $K$. In this paper, we address the following problem: Given a weight 2 cuspidal Hecke eigenform $f$ without CM which is of CM type modulo $\ell$ by an imaginary quadratic field $K$, does there exist a congruence modulo $\ell$ between $f$ and a genuine CM modular form of weight 2? We conjecture that the answer is yes, and prove this conjecture in most cases. We study three situations: the case of modular forms attached to abelian surfaces with quaternionic multiplication, the case of $\mathbb{Q}$-curves completely defined over an imaginary quadratic field, and the case of elliptic curves over $\mathbb{Q}$ with modular-maximal cyclic group of order $16$ as $5$-torsion Galois module. In all these situations, at some specific primes $\ell$, it can be shown that the residual representation is monomial by a quadratic imaginary field $K$ (or even more than one), and we can conclude that in most of these cases there is a congruence with a CM modular form. Finally, we present some of the numerical evidence that initially led us to formulate the conjecture. △ Less

Submitted 30 May, 2025; v1 submitted 22 May, 2025; originally announced May 2025.

Ruler and compass constructions in the Lemniscate and the 17-gon

Authors: Mariángeles Gómez-Molleda, Joan-C. Lario

Abstract: We present several ruler and compass practical geometric constructions that can be performed in the lemniscate curve. To be precise, we provide recipes for halving, doubling, adding, subtracting, and transferring lemniscate arcs with ruler and compass. This note complements the instructions for the lemnatomic equilateral triangle and pentagon discussed in \cite{GoLa}, giving the details for the co… ▽ More We present several ruler and compass practical geometric constructions that can be performed in the lemniscate curve. To be precise, we provide recipes for halving, doubling, adding, subtracting, and transferring lemniscate arcs with ruler and compass. This note complements the instructions for the lemnatomic equilateral triangle and pentagon discussed in \cite{GoLa}, giving the details for the construction of the lemnatomic regular $17$-gon. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Diophantine stability for curves over finite fields

Authors: Francesc Bars, Joan Carles Lario, Brikena Vruoni

Abstract: We carry out a survey on curves defined over finite fields that are Diophantine stable; that is, with the property that the set of points of the curve is not altered under a proper field extension. First, we derive some general results of such curves and then we analyze several families of curves that happen to be Diophantine stable. We carry out a survey on curves defined over finite fields that are Diophantine stable; that is, with the property that the set of points of the curve is not altered under a proper field extension. First, we derive some general results of such curves and then we analyze several families of curves that happen to be Diophantine stable. △ Less

Submitted 13 May, 2025; v1 submitted 11 September, 2024; originally announced September 2024.

Periodicity of power Fibonacci sequences modulus a Fibonacci number

Authors: Josep M. Brunat, Joan-C. Lario

Abstract: Let ${\mathcal F}=(F_i:i\ge 0)$ be the sequence of Fibonacci numbers, and $j$ and $e$ be non negative integers. We study the periodicity of the power Fibonacci sequences ${\mathcal F}^e(F_j)=(F_i^e\pmod{F_j}: i\ge 0)$. It is shown that for every $j,e\ge 1$ the sequence ${\mathcal F}^e(F_j)$ is periodic and its periodicity is computed. The result was previously known for ${\mathcal F}(F_j)$; that i… ▽ More Let ${\mathcal F}=(F_i:i\ge 0)$ be the sequence of Fibonacci numbers, and $j$ and $e$ be non negative integers. We study the periodicity of the power Fibonacci sequences ${\mathcal F}^e(F_j)=(F_i^e\pmod{F_j}: i\ge 0)$. It is shown that for every $j,e\ge 1$ the sequence ${\mathcal F}^e(F_j)$ is periodic and its periodicity is computed. The result was previously known for ${\mathcal F}(F_j)$; that is, for $e=1$. For $e\in \{1, 2\}$, the values of the normalized residues $ρ_i\equiv F_i^e\pmod{F_j}$ with $0\le ρ_i<F_j-1$ are obtained. △ Less

Submitted 1 April, 2022; originally announced April 2022.

MSC Class: 2020: 11B39 11B50 11A15

A problem on concatenated integers

Authors: Josep M. Brunat, Joan-Carles Lario

Abstract: Motivated by a WhattsApp message, we find out the integers $x> y\ge 1$ such that $(x+1)/(y+1)=(x\circ(y+1))/(y\circ (x+1))$, where $\circ$ means the concatenation of the strings of two natural numbers (for instance $783\circ 56=78356$). The discussion involves the equation $x(x+1)=10y(y+1)$, a slight variation of Pell's equation related to the arithmetic of the Dedekind ring… ▽ More Motivated by a WhattsApp message, we find out the integers $x> y\ge 1$ such that $(x+1)/(y+1)=(x\circ(y+1))/(y\circ (x+1))$, where $\circ$ means the concatenation of the strings of two natural numbers (for instance $783\circ 56=78356$). The discussion involves the equation $x(x+1)=10y(y+1)$, a slight variation of Pell's equation related to the arithmetic of the Dedekind ring $\mathbb{Z}[\sqrt{10}]$. We obtain the infinite sequence $\mathcal{S}=\{(x_n,y_n)\}_{n\ge 1}$ of all the solutions of the equation $x(x+1)=10y(y+1)$, which tourn out to have limit $1/\sqrt{10}$. The solutions of the initial problem on concatenated integers form the infinite subsequence of $\mathcal{S}$ formed by the pairs $(x_n,y_n)$ such that $x_n$ has one more digit that $y_n$. △ Less

Submitted 9 March, 2021; originally announced March 2021.

An inverse Jacobian algorithm for Picard curves

Authors: Joan-C. Lario, Anna Somoza, Christelle Vincent

Abstract: We study the inverse Jacobian problem for the case of Picard curves over $\mathbb{C}$. More precisely, we elaborate on an algorithm that, given a small period matrix $Ω\in \mathbb{C}^{3\times 3}$ corresponding to a principally polarized abelian threefold equipped with an automorphism of order $3$, returns a Legendre-Rosenhain equation for a Picard curve with Jacobian isomorphic to the given abelia… ▽ More We study the inverse Jacobian problem for the case of Picard curves over $\mathbb{C}$. More precisely, we elaborate on an algorithm that, given a small period matrix $Ω\in \mathbb{C}^{3\times 3}$ corresponding to a principally polarized abelian threefold equipped with an automorphism of order $3$, returns a Legendre-Rosenhain equation for a Picard curve with Jacobian isomorphic to the given abelian variety. Our method corrects a formula obtained by Koike-Weng in [Math. Comp., 74(249):499-518, 2005] which is based on a theorem of Siegel. As a result, we apply the algorithm to obtain (numerically) all the isomorphism classes of Picard curves with maximal complex multiplication attached to the sextic CM-fields with class number at most $4$. In particular, we obtain (conjecturally) the complete list of CM Picard curves defined over $\mathbb{Q}$. In the appendix, Vincent gives a correction to the generalization of Takase's formula for the inverse Jacobian problem for hyperelliptic curves given in [Balakrishnan-Ionica-Lauter-Vincent, LMS J. Comput. Math., 19(suppl. A):283-300, 2016]. △ Less

Submitted 23 April, 2020; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: Appendix by Christelle Vincent, 19 pages, extension and clarification of previous version

The Sato-Tate conjecture for a Picard curve with Complex Multiplication

Authors: Joan-C. Lario, Anna Somoza

Abstract: Let C/Q be the genus 3 Picard curve given by the affine model y^3=x^4-x. In this paper we compute its Sato-Tate group, show the generalized Sato-Tate conjecture for C, and compute the statistical moments for the limiting distribution of the normalized local factors of C. Let C/Q be the genus 3 Picard curve given by the affine model y^3=x^4-x. In this paper we compute its Sato-Tate group, show the generalized Sato-Tate conjecture for C, and compute the statistical moments for the limiting distribution of the normalized local factors of C. △ Less

Submitted 1 October, 2014; v1 submitted 21 September, 2014; originally announced September 2014.

MSC Class: 11G10; 14G10

Frobenius distribution for quotients of Fermat curves of prime exponent

Authors: Francesc Fité, Josep González, Joan-Carles Lario

Abstract: Let C denote the Fermat curve over Q of prime exponent l. The Jacobian Jac(C) of C splits over Q as the product of Jacobians Jac(C_k), 0< k < l-1, where C_k are curves obtained as quotients of C by certain subgroups of automorphisms of C. It is well known that Jac(C_k) is the power of an absolutely simple abelian variety B_k with complex multiplication. We call degenerate those pairs (l,k) for whi… ▽ More Let C denote the Fermat curve over Q of prime exponent l. The Jacobian Jac(C) of C splits over Q as the product of Jacobians Jac(C_k), 0< k < l-1, where C_k are curves obtained as quotients of C by certain subgroups of automorphisms of C. It is well known that Jac(C_k) is the power of an absolutely simple abelian variety B_k with complex multiplication. We call degenerate those pairs (l,k) for which B_k has degenerate CM type. For a non-degenerate pair (l,k), we compute the Sato-Tate group of Jac(C_k), prove the generalized Sato-Tate Conjecture for it, and give an explicit method to compute the moments and measures of the involved distributions. Regardless of (l,k) being degenerate or not, we also obtain Frobenius equidistribution results for primes of certain residue degrees in the l-th cyclotomic field. Key to our results is a detailed study of the rank of certain generalized Demjanenko matrices. △ Less

Submitted 8 November, 2015; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: 28 pages, minor edits to reflect referee's comments, to appear in the Canadian Journal of Mathematics

MSC Class: 11D41; 11M50 (primary); 11G10; 14G10 (secondary)

Journal ref: Can. J. Math.-J. Can. Math. 68 (2016) 361-394

The twisting representation of the $L$-function of a curve

Authors: Francesc Fité, Joan-C. Lario

Abstract: Let C be a smooth projective curve defined over a number field and let C' be a twist of C. In this article we relate the l-adic representations attached to the l-adic Tate modules of the Jacobians of C and C' through an Artin representation. This representation induces global relations between the local factors of the respective Hasse-Weil L-functions. We make these relations explicit in a particu… ▽ More Let C be a smooth projective curve defined over a number field and let C' be a twist of C. In this article we relate the l-adic representations attached to the l-adic Tate modules of the Jacobians of C and C' through an Artin representation. This representation induces global relations between the local factors of the respective Hasse-Weil L-functions. We make these relations explicit in a particularly illustrating situation. For every Qbar-isomorphism class of genus 2 curves defined over Q with automorphism group isomorphic to D_8 or D_{12}, except for a finite number, we choose a representative curve C/Q such that, for every twist C' of C satisfying some mild condition, we are able to determine either the local factor L_p(C'/Q,T) or the product L_p(C'/Q,T)L_p(C'/Q,-T) from the local factor L_p(C/Q,T). △ Less

Submitted 4 December, 2012; v1 submitted 15 December, 2010; originally announced December 2010.

Comments: 16 pages, some corrections have been introduced, some proofs have been simplified, and several paragraphs have been rewritten

MSC Class: 11G40

Cropping Euler factors of modular L-functions

Authors: J. Gonzalez, J. Jimenez, J. -C. Lario

Abstract: According to the Birch and Swinnerton-Dyer conjectures, if A/Q is an abelian variety then its L-function must capture substantial part of the arithmetic properties of A. The smallest number field L where A has all its endomorphisms defined must also have a role. This article deals with the relationship between these two objects in the specific case of modular abelian varieties A_f/Q associated t… ▽ More According to the Birch and Swinnerton-Dyer conjectures, if A/Q is an abelian variety then its L-function must capture substantial part of the arithmetic properties of A. The smallest number field L where A has all its endomorphisms defined must also have a role. This article deals with the relationship between these two objects in the specific case of modular abelian varieties A_f/Q associated to weight 2 newforms for the modular group Gamma_1(N). Specifically, our goal is to relate the order of L(A_f/Q,s) at s = 1 with Euler products cropped by the set of primes that split completely in L. The results we obtain for the case when f has complex multiplication are complete, while in the absence of CM, our results depend on the rate of convergence in Sato-Tate distributions. △ Less

Submitted 29 March, 2010; v1 submitted 23 February, 2010; originally announced February 2010.

Comments: 24 pages

MSC Class: 11G18; 11M41; 14G35

Modular elliptic directions with complex multiplication (with an application to Gross's elliptic curves)

Authors: Josep Gonzalez, Joan-C. Lario

Abstract: For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p). For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p). △ Less

Submitted 23 October, 2008; originally announced October 2008.

Comments: 33 pages

MSC Class: 11G18; 11G05

Plane quartic twists of X(5,3)

Authors: Julio Fernandez, Josep Gonzalez, Joan-C. Lario

Abstract: Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the representation. The paper gives a method to provide an explicit plane quartic model for this curve in the genus-three case N=5. Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the representation. The paper gives a method to provide an explicit plane quartic model for this curve in the genus-three case N=5. △ Less

Submitted 28 January, 2005; originally announced January 2005.

Comments: 11 pages, uses xy package

Octahedral Galois representations arising from Q-curves of degree 2

Authors: Julio Fernández-González, Joan-Carles Lario, Anna Rio

Abstract: Generically, one can attach to a Q-curve C octahedral representations Gal(Qbar/Q) --> GL(2,Fbar_3) coming from the Galois action on the 3-torsion of those abelian varieties of GL_2-type whose building block is C. When C is defined over a quadratic field and has an isogeny of degree 2 to its Galois conjugate, there exist such representations having image into GL(2,F_9). Going the other way, we ca… ▽ More Generically, one can attach to a Q-curve C octahedral representations Gal(Qbar/Q) --> GL(2,Fbar_3) coming from the Galois action on the 3-torsion of those abelian varieties of GL_2-type whose building block is C. When C is defined over a quadratic field and has an isogeny of degree 2 to its Galois conjugate, there exist such representations having image into GL(2,F_9). Going the other way, we can ask which mod 3 octahedral representations of Gal(Qbar/Q) arise from Q-curves in the above sense. We characterize those arising from quadratic Q-curves of degree 2. The approach makes use of Galois embedding techniques in GL(2,F_9), and the characterization can be given in terms of a quartic polynomial defining the S_4-extension of Q attached to the octahedral representation. △ Less

Submitted 17 June, 2001; originally announced June 2001.

Report number: ANT-0301