Showing 1–17 of 17 results for author: Masdeu, M

Efficient computation of non-archimedean theta functions

Authors: Marc Masdeu, Xavier Xarles

Abstract: We describe an efficient iterative algorithm for the computation of theta functions of non-archimedean Schottky groups and, more generally, of (non-archimedean) discontinuous groups. We describe an efficient iterative algorithm for the computation of theta functions of non-archimedean Schottky groups and, more generally, of (non-archimedean) discontinuous groups. △ Less

Submitted 27 August, 2024; originally announced August 2024.

Comments: 16 pages, comments welcome!

MSC Class: 14Q99 (14H42; 14K25; 11Y99)

Plectic p-adic invariants

Authors: Michele Fornea, Xavier Guitart, Marc Masdeu

Abstract: For modular elliptic curves over number fields of narrow class number one, and with multiplicative reduction at a collection of p-adic primes, we define new p-adic invariants. Inspired by Nekovar and Scholl's plectic conjectures, we believe these invariants control the Mordell--Weil group of higher rank elliptic curves and we support our expectations with numerical experiments. For modular elliptic curves over number fields of narrow class number one, and with multiplicative reduction at a collection of p-adic primes, we define new p-adic invariants. Inspired by Nekovar and Scholl's plectic conjectures, we believe these invariants control the Mordell--Weil group of higher rank elliptic curves and we support our expectations with numerical experiments. △ Less

Submitted 26 April, 2021; originally announced April 2021.

A quaternionic construction of $p$-adic singular moduli

Authors: Xavier Guitart, Marc Masdeu, Xavier Xarles

Abstract: Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this articl… ▽ More Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this article we present a similar construction of cohomology casses in which $\mathrm{SL}_2(\mathbb{Z}[1/p])$ is replaced by an order in an indefinite quaternion algebra over a totally real number field $F$. These quaternionic cohomology classes can be evaluated at elements in almost totally complex extensions $K$ of $F$, and we conjecture that the corresponding values lie in algebraic extensions of $K$. We also report on extensive numerical evidence for this algebraicity conjecture. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Special values of triple-product $p$-adic $L$-functions and non-crystalline diagonal classes

Authors: Francesca Gatti, Xavier Guitart, Marc Masdeu, Victor Rotger

Abstract: The main purpose of this note is to understand the arithmetic encoded in the special value of the $p$-adic $L$-function $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})$ associated to a triple of modular forms $(f,g,h)$ of weights $(2,1,1)$, in the case where the classical $L$-function $L(f\otimes g\otimes h,s)$ - which typically has sign $+1$ - does not vanish at its central critical point… ▽ More The main purpose of this note is to understand the arithmetic encoded in the special value of the $p$-adic $L$-function $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})$ associated to a triple of modular forms $(f,g,h)$ of weights $(2,1,1)$, in the case where the classical $L$-function $L(f\otimes g\otimes h,s)$ - which typically has sign $+1$ - does not vanish at its central critical point $s=1$. When $f$ corresponds to an elliptic curve $E/\mathbb{Q}$ and the classical $L$-function vanishes, the Elliptic Stark Conjecture of Darmon-Lauder-Rotger predicts that $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})(2,1,1)$ is either $0$ (when the order of vanishing of the complex $L$-function is $>2$) or related to logarithms of global points on $E$ and a certain Gross--Stark unit associated to $g$. We complete the picture proposed by the Elliptic Stark Conjecture by providing a formula for the value $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})(2,1,1)$ in the case where $L(f\otimes g\otimes h,1)\neq 0$. △ Less

Submitted 17 December, 2019; originally announced December 2019.

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

Periods of modular GL2-type abelian varieties and p-adic integration

Authors: Xavier Guitart, Marc Masdeu

Abstract: Let F be a number field and N an integral ideal in its ring of integers. Let f be a modular newform over F of level Gamma0(N) with rational Fourier coefficients. Under certain additional conditions, Guitart-Masdeu-Sengun constructed a p-adic lattice which is conjectured to be the Tate lattice of an elliptic curve E whose L-function equals that of f. The aim of this note is to generalize this const… ▽ More Let F be a number field and N an integral ideal in its ring of integers. Let f be a modular newform over F of level Gamma0(N) with rational Fourier coefficients. Under certain additional conditions, Guitart-Masdeu-Sengun constructed a p-adic lattice which is conjectured to be the Tate lattice of an elliptic curve E whose L-function equals that of f. The aim of this note is to generalize this construction when the Hecke eigenvalues of f generate a number field of degree d >= 1, in which case the geometric object associated to f is expected to be, in general, an abelian variety A of dimension d. We also provide numerical evidence supporting the conjectural construction in the case of abelian surfaces. △ Less

Submitted 27 January, 2017; v1 submitted 19 July, 2016; originally announced July 2016.

Comments: 27 pages. Final version, to appear in Experimental Mathematics

MSC Class: 11G40; 11F41; 11Y99

Uniformization of modular elliptic curves via p-adic periods

Authors: Xavier Guitart, Marc Masdeu, Mehmet Haluk Sengun

Abstract: The Langlands Programme predicts that a weight 2 newform f over a number field K with integer Hecke eigenvalues generally should have an associated elliptic curve E_f over K. In our previous paper, we associated, building on works of Darmon and Greenberg, a p-adic lattice to f, under certain hypothesis, and implicitly conjectured that this lattice is commensurable with the p-adic Tate lattice of E… ▽ More The Langlands Programme predicts that a weight 2 newform f over a number field K with integer Hecke eigenvalues generally should have an associated elliptic curve E_f over K. In our previous paper, we associated, building on works of Darmon and Greenberg, a p-adic lattice to f, under certain hypothesis, and implicitly conjectured that this lattice is commensurable with the p-adic Tate lattice of E_f . In this paper, we present this conjecture in detail and discuss how it can be used to compute, directly from f, an explicit Weierstrass equation for the conjectural E_f . We develop algorithms to this end and implement them in order to carry out extensive systematic computations in which we compute Weierstrass equations of hundreds of elliptic curves, some with huge heights, over dozens of number fields. The data we obtain provide overwhelming amount of support for the conjecture and furthermore demonstrate that the conjecture provides an efficient tool to building databases of elliptic curves over number fields. △ Less

Submitted 14 January, 2015; v1 submitted 13 January, 2015; originally announced January 2015.

Comments: Fixed citations. 32 pages, comments welcome

MSC Class: 11G40; 11F41; 11Y99

Dirac operators in tensor categories and the motive of quaternionic modular forms

Authors: Marc Masdeu, Marco Adamo Seveso

Abstract: We define a motive whose realizations afford modular forms (of arbitrary weight) on an indefinite division quaternion algebra. This generalizes work of Iovita--Spiess to odd weights in the spirit of Jordan--Livné. It also generalizes a construction of Scholl to indefinite division quaternion algebras. We define a motive whose realizations afford modular forms (of arbitrary weight) on an indefinite division quaternion algebra. This generalizes work of Iovita--Spiess to odd weights in the spirit of Jordan--Livné. It also generalizes a construction of Scholl to indefinite division quaternion algebras. △ Less

Submitted 25 April, 2017; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 39 pages. Final revised version with slight title modification, to appear in: "Advances in Mathematics"

Poincaré duality isomorphisms in tensor categories

Authors: Marc Masdeu, Marco A. Seveso

Abstract: If for a vector space V of dimension g over a characteristic zero field we denote by $\wedge^iV$ its alternating powers, and by $V^\vee$ its linear dual, then there are natural Poincaré isomorphisms: $\wedge^i V^\vee \cong \wedge^{g-i} V$. We describe an analogous result for objects in rigid pseudo-abelian $\mathbb{Q}$-linear ACU tensor categories. If for a vector space V of dimension g over a characteristic zero field we denote by $\wedge^iV$ its alternating powers, and by $V^\vee$ its linear dual, then there are natural Poincaré isomorphisms: $\wedge^i V^\vee \cong \wedge^{g-i} V$. We describe an analogous result for objects in rigid pseudo-abelian $\mathbb{Q}$-linear ACU tensor categories. △ Less

Submitted 5 September, 2014; originally announced September 2014.

Comments: 38 pages, submitted

Darmon points on elliptic curves over number fields of arbitrary signature

Authors: Xavier Guitart, Marc Masdeu, Mehmet Haluk Sengun

Abstract: We present new constructions of complex and p-adic Darmon points on elliptic curves over base fields of arbitrary signature. We conjecture that these points are global and present numerical evidence to support our conjecture. We present new constructions of complex and p-adic Darmon points on elliptic curves over base fields of arbitrary signature. We conjecture that these points are global and present numerical evidence to support our conjecture. △ Less

Submitted 26 April, 2014; originally announced April 2014.

A $p$-adic construction of ATR points on $\mathbb{Q}$-curves

Authors: Xavier Guitart, Marc Masdeu

Abstract: In this note we consider certain elliptic curves defined over real quadratic fields isogenous to their Galois conjugate. We give a construction of algebraic points on these curves defined over almost totally real number fields. The main ingredient is the system of Heegner points arising from Shimura curve uniformizations. In addition, we provide an explicit $p$-adic analytic formula which allows f… ▽ More In this note we consider certain elliptic curves defined over real quadratic fields isogenous to their Galois conjugate. We give a construction of algebraic points on these curves defined over almost totally real number fields. The main ingredient is the system of Heegner points arising from Shimura curve uniformizations. In addition, we provide an explicit $p$-adic analytic formula which allows for the effective, algorithmic calculation of such points. △ Less

Submitted 17 September, 2014; v1 submitted 26 February, 2014; originally announced February 2014.

Comments: Final version, accepted in Publicacions Matematiques

MSC Class: 11G05

Overconvergent cohomology and quaternionic Darmon points

Authors: Xavier Guitart, Marc Masdeu

Abstract: We develop the (co)homological tools that make effective the construction of the quaternionic Darmon points introduced by Matthew Greenberg. In addition, we use the overconvergent cohomology techniques of Pollack--Pollack to allow for the efficient calculation of such points. Finally, we provide the first numerical evidence supporting the conjectures on their rationality. We develop the (co)homological tools that make effective the construction of the quaternionic Darmon points introduced by Matthew Greenberg. In addition, we use the overconvergent cohomology techniques of Pollack--Pollack to allow for the efficient calculation of such points. Finally, we provide the first numerical evidence supporting the conjectures on their rationality. △ Less

Submitted 19 May, 2014; v1 submitted 9 July, 2013; originally announced July 2013.

Comments: Fixed some minor typos, added authors' affiliation

MSC Class: 11G40; 11F41; 11Y50

Elementary Matrix Decomposition and The Computation of Darmon Points with Higher Conductor

Authors: Xavier Guitart, Marc Masdeu

Abstract: We extend the algorithm of Darmon-Green and Darmon-Pollack for computing p-adic Darmon points on elliptic curves to the case of composite conductor. We also extend the algorithm of Darmon-Logan for computing ATR Darmon points to treat curves of nontrivial conductor. Both cases involve an algorithmic decomposition into elementary matrices in congruence subgroups Γ(N) for ideals N in certain rings o… ▽ More We extend the algorithm of Darmon-Green and Darmon-Pollack for computing p-adic Darmon points on elliptic curves to the case of composite conductor. We also extend the algorithm of Darmon-Logan for computing ATR Darmon points to treat curves of nontrivial conductor. Both cases involve an algorithmic decomposition into elementary matrices in congruence subgroups Γ(N) for ideals N in certain rings of S-integers. We use these extensions to provide additional evidence in support of the conjectures on the rationality of Darmon points. △ Less

Submitted 20 September, 2012; originally announced September 2012.

Comments: 16 pages, 6 tables

MSC Class: 11G05; 11G07; 11S80

Computation of ATR Darmon points on non-geometrically modular elliptic curves

Authors: Xavier Guitart, Marc Masdeu

Abstract: ATR points were introduced by Darmon as a conjectural construction of algebraic points on certain elliptic curves for which in general the Heegner point method is not available. So far the only numerical evidence, provided by Darmon--Logan and Gärtner, concerned curves arising as quotients of Shimura curves. In those special cases the ATR points can be obtained from the already existing Heegner po… ▽ More ATR points were introduced by Darmon as a conjectural construction of algebraic points on certain elliptic curves for which in general the Heegner point method is not available. So far the only numerical evidence, provided by Darmon--Logan and Gärtner, concerned curves arising as quotients of Shimura curves. In those special cases the ATR points can be obtained from the already existing Heegner points, thanks to results of Zhang and Darmon--Rotger--Zhao. In this paper we compute for the first time an algebraic ATR point on a curve which is not uniformizable by any Shimura curve, thus providing the first piece of numerical evidence that Darmon's construction works beyond geometric modularity. To this purpose we improve the method proposed by Darmon and Logan by removing the requirement that the real quadratic field be norm-euclidean, and accelerating the numerical integration of Hilbert modular forms. △ Less

Submitted 19 October, 2012; v1 submitted 30 April, 2012; originally announced April 2012.

Comments: 18 pages, to appear in Experimental Math. Revised version to be published

MSC Class: 11G40 (Primary) 11F41; 11Y99 (Secondary)

Computing fundamental domains for the Bruhat-Tits tree for GL2(Qp), p-adic automorphic forms, and the canonical embedding of Shimura curves

Authors: Cameron Franc, Marc Masdeu

Abstract: We describe an algorithm for computing certain quaternionic quotients of the Bruhat-Tits tree for GL2(Qp). As an application, we describe an algorithm to obtain (conjectural) equations for the canonical embedding of Shimura curves. We describe an algorithm for computing certain quaternionic quotients of the Bruhat-Tits tree for GL2(Qp). As an application, we describe an algorithm to obtain (conjectural) equations for the canonical embedding of Shimura curves. △ Less

Submitted 16 January, 2014; v1 submitted 1 January, 2012; originally announced January 2012.

Comments: Accepted for publication in LMS Journal of Computation and Mathematics

MSC Class: 11F06; 20H10

Journal ref: LMS J. Comput. Math. 17 (2014) 1-23

CM cycles on Shimura curves, and p-adic L-functions

Authors: Marc Masdeu

Abstract: Let f be a modular form of weight k>=2 and level N, let K be a quadratic imaginary field, and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level and the field K, one can attach to this data a p-adic L-function L_p(f,K,s), as done by Bertolini-Darmon-Iovita-Spiess. In the case of p being inert in K, this analytic function of a p-adic variable s vanis… ▽ More Let f be a modular form of weight k>=2 and level N, let K be a quadratic imaginary field, and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level and the field K, one can attach to this data a p-adic L-function L_p(f,K,s), as done by Bertolini-Darmon-Iovita-Spiess. In the case of p being inert in K, this analytic function of a p-adic variable s vanishes in the critical range s=1,...,k-1, and therefore one is interested in the values of its derivative in this range. We construct, for k>=4, a Chow motive endowed with a distinguished collection of algebraic cycles which encode these values, via the p-adic Abel-Jacobi map. Our main result generalizes the result obtained by Iovita-Spiess, which gives a similar formula for the central value s=k/2. Even in this case our construction is different from the one found by Iovita-Spiess. △ Less

Submitted 28 October, 2011; originally announced October 2011.

MSC Class: 11S40

Journal ref: Compositio Math. 148 (2012) 1003-1032

Continued fractions in 2-stage euclidean quadratic fields

Authors: Xavier Guitart, Marc Masdeu

Abstract: We discuss continued fractions on real quadratic number fields of class number 1. If the field has the property of being 2-stage euclidean, a generalization of the euclidean algorithm can be used to compute these continued fractions. Although it is conjectured that all real quadratic fields of class number 1 are 2-stage euclidean, this property has been proven for only a few of them. The main resu… ▽ More We discuss continued fractions on real quadratic number fields of class number 1. If the field has the property of being 2-stage euclidean, a generalization of the euclidean algorithm can be used to compute these continued fractions. Although it is conjectured that all real quadratic fields of class number 1 are 2-stage euclidean, this property has been proven for only a few of them. The main result of this paper is an algorithm that, given a real quadratic field of class number 1, verifies this conjecture, and produces as byproduct enough data to efficiently compute continued fraction expansions. If the field was not 2-stage euclidean, then the algorithm would not terminate. As an application, we enlarge the list of known 2-stage euclidean fields, by proving that all real quadratic fields of class number 1 and discriminant less than 8000 are 2-stage euclidean. △ Less

Submitted 17 September, 2011; v1 submitted 4 June, 2011; originally announced June 2011.

Comments: Minor changes, some typos corrected

MSC Class: 11A05; 11R04