Source author record

Ariel Pacetti

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
2topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Q{\mathbb Q}-curves, Hecke characters and some Diophantine equations II

In the article [PV] a general procedure to study solutions of the equations x4−dy2=zpx^4-dy^2=z^p was presented for negative values of dd. The purpose of the resent article is to extend our previous results to positive values of dd. On doing so, we give a description of the extension Q(d,ε)/Q(d)\mathbb{Q}(\sqrt{d},\sqrtε)/\mathbb{Q}(\sqrt{d}) (where εε is a fundamental unit) needed to prove the existence of a Hecke character over Q(d)\mathbb{Q}(\sqrt{d}) with prescribed local conditions. We also extend some "large image" results due to Ellenberg regarding images of Galois representations coming from Q\mathbb{Q}-curves from imaginary to real quadratic fields.

preprint2022arXiv

Q\mathbb{Q}-curves, Hecke characters and some Diophantine equations

In this article we study the equations x4+dy2=zpx^4+dy^2=z^p and x2+dy6=zpx^2+dy^6=z^p for positive square-free values of dd. A Frey curve over Q(−d)\mathbb{Q}(\sqrt{-d}) is attached to each primitive solution, which happens to be a Q\mathbb{Q}-curve. Our main result is the construction of a Hecke character χχ satisfying that the Frey elliptic curve representation twisted by χχ extends to GalQ\text{Gal}_\mathbb{Q}, therefore (by Serre's conjectures) corresponds to a newform in S2(n,ε)S_2(n,\varepsilon) for explicit values of nn and ε\varepsilon. Following some well known results and elimination techniques (together with some improvements) it provides a systematic procedure to study solutions of the above equations and allows us to prove non-existence of non-trivial primitive solutions for large values of pp of both equations for new values of dd.

preprint2020arXiv

On 22-Selmer groups and quadratic twists of elliptic curves

Let KK be a number field and E/KE/K be an elliptic curve with no 22-torsion points. In the present article we give lower and upper bounds for the 22-Selmer rank of EE in terms of the 22-torsion of a narrow class group of a certain cubic extension of KK attached to EE. As an application, we prove (under mild hypotheses) that a positive proportion of prime conductor quadratic twists of EE have the same 22-Selmer group.

preprint2020arXiv

On rational Bianchi newforms and abelian surfaces with quaternionic multiplication

We study the rational Bianchi newforms (weight 2, trivial character, with rational Hecke eigenvalues) in the LMFDB that are not associated to elliptic curves, but instead to abelian surfaces with quaternionic multiplication. Two of these examples exhibit a rather special kind of behaviour: we show they arise from twisted base change of a classical newform with nebentypus character of order 4 and eight inner twists.

preprint2018arXiv

Non-paritious Hilbert modular forms

The arithmetic of Hilbert modular forms has been extensively studied under the assumption that the forms concerned are "paritious" -- all the components of the weight are congruent modulo 2. In contrast, non-paritious Hilbert modular forms have been relatively little studied, both from a theoretical and a computational standpoint. In this article, we aim to redress the balance somewhat by studying the arithmetic of non-paritious Hilbert modular eigenforms. On the theoretical side, our starting point is a theorem of Patrikis, which associates projective l-adic Galois representations to these forms. We show that a general conjecture of Buzzard and Gee actually predicts that a strengthening of Patrikis' result should hold, giving Galois representations into certain groups intermediate between GL(2) and PGL(2), and we verify that the predicted Galois representations do indeed exist. On the computational side, we give an algorithm to compute non-paritious Hilbert modular forms using definite quaternion algebras. To our knowledge, this is the first time such a general method has been presented. We end the article with a selection of examples.

preprint2014arXiv

Congruences between modular forms modulo prime powers

Given a prime p≥5p \ge 5 and an abstract odd representation ρnρ_n with coefficients modulo pnp^n (for some n≥1n \ge 1) and big image, we prove the existence of a lift of ρnρ_n to characteristic 00 whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform ff without Complex Multiplication or inner twists, for all primes pp but finitely many, and for all positive integers nn, there exists another eigenform g≠fg\neq f, which is congruent to ff modulo pnp^n.

preprint2014arXiv

Connectedness of Hecke Algebras and the Rayuela conjecture: a path to functoriality and modularity

Let ρ1ρ_1 and ρ2ρ_2 be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field FF. In this article we propose a conjecture asserting existence of "safe" chains of compatible systems of Galois representations linking ρ1ρ_1 to ρ2ρ_2. Such conjecture implies the generalized Serre's conjecture and is equivalent to Serre's conjecture under a modular version of it. We prove a weak version of the modular variant using the connectedness of certain Hecke algebras, and we comment on possible applications of these results to establish some cases of Langlands functoriality.

preprint2014arXiv

Shimura correspondence for level p2p^2 and the central values of LL-series II

Given a Hecke eigenform ff of weight 22 and square-free level NN, by the work of Kohnen, there is a unique weight 3/23/2 modular form of level 4N4N mapping to ff under the Shimura correspondence. Furthermore, by the work of Waldspurger the Fourier coefficients of such a form are related to the quadratic twists of the form ff. Gross gave a construction of the half integral weight form when NN is prime, and such construction was later generalized to square-free levels. However, in the non-square free case, the situation is more complicated since the natural construction is vacuous. The problem being that there are too many special points so that there is cancellation while trying to encode the information as a linear combination of theta series. In this paper, we concentrate in the case of level p2p^2, for p>2p>2 a prime number, and show how the set of special points can be split into subsets (indexed by bilateral ideals for an order of reduced discriminant p2p^2) which gives two weight 3/23/2 modular forms mapping to ff under the Shimura correspondence. Moreover, the splitting has a geometric interpretation which allows to prove that the forms are indeed a linear combination of theta series associated to ternary quadratic forms. Once such interpretation is given, we extend the method of Gross-Zagier to the case where the level and the discriminant are not prime to each other to prove a Gross-type formula in this situation.

preprint2013arXiv

Hecke and Sturm bounds for Hilbert modular forms over real quadratic fields

In this article we give an analogue of Hecke and Sturm bounds for Hilbert modular forms over real quadratic fields. Let KK be a real quadratic field and $\Om_K$ its ring of integers. Let ΓΓ be a congruence subgroup of $\SL_2(\Om_K)$ and M(k1,k2)(Γ)M_{(k_1,k_2)}(Γ) the space of Hilbert modular forms of weight (k1,k2)(k_1,k_2) for ΓΓ. The first main result is an algorithm to construct a finite set SS, depending on KK, ΓΓ and (k1,k2)(k_1,k_2), such that if the Fourier expansion coefficients of a form G∈M(k1,k2)(Γ)G \in M_{(k_1,k_2)}(Γ) vanish on the set SS, then GG is the zero form. The second result corresponds to the same statement in the Sturm case, i.e. suppose that all the Fourier coefficients of the form GG lie in a finite extension of $\Q$, and let $\id{p}$ be a prime ideal in such extension, whose norm is unramified in KK; suppose furthermore that the Fourier expansion coefficients of GG lie in the ideal $\id{p}$ for all the elements in SS, then they all lie in the ideal $\id{p}$.

preprint2012arXiv

Computing ideal classes representatives in quaternion algebras

Let KK be a totally real number field and let BB be a totally definite quaternion algebra over KK. In this article, given a set of representatives for ideal classes for a maximal order in BB, we show how to construct in an efficient way a set of representatives of ideal classes for any Bass order in BB. The algorithm does not require any knowledge of class numbers, and improves the equivalence checking process by using a simple calculation with global units. As an application, we compute ideal classes representatives for an order of level 30 in an algebra over the real quadratic field $\Q[\sqrt{5}]$.

preprint2010arXiv

On the change of root numbers under twisting and applications

The purpose of this article is to show how the root number of a modular form changes by twisting in terms of the local Weil-Deligne representation at each prime ideal. As an application, we show how one can for each odd prime pp, determine whether a modular form (or a Hilbert modular form) with trivial nebentypus is Steinberg, Principal Series or Supercuspidal at pp by analyzing the change of sign under a suitable twist. We also explain the case p=2p=2, where twisting is not enough in general.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.