The present paper deals with Atkin-Lehner theory for Drinfeld modular forms. We provide an equivalent definition of $\mathfrak{p}$-newforms (which makes computations easier) and commutativity results between Hecke operators and Atkin-Lehner involutions. As applications we show a criterion for a direct sum decomposition of cusp forms, we exibit $\mathfrak{p}$-newforms arising from lower levels and we provide $\mathfrak{p}$-adic Drinfeld modular forms of level greater than 1.
Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves $X_0(D,N)$. In this paper we compute the $\mathbb{Q}$-rational points on the Atkin-Lehner quotients of these curves using a variety of techniques. We also determine which rational points are CM for many of these curves.
Let $D > 546$ be the discriminant of an indefinite rational quaternion algebra. We show that there are infinitely many imaginary quadratic fields $l/\mathbb Q$ such that the twist of the Shimura curve $X^D$ by the main Atkin-Lehner involution $w_D$ and $l/\mathbb Q$ violates the Hasse Principle over $\mathbb Q$.
In this paper we give a method for studying global rational points on certain quotients of Shimura curves by Atkin-Lehner involutions. We obtain explicit conditions on such quotients for rational points to be ``trivial'' (coming from CM points only) and exhibit an explicit infinite family of such quotients satisfying these conditions.
We introduce a higher dimensional Atkin-Lehner theory for Siegel-Parahoric congruence subgroups of $GSp(2g)$. Old Siegel forms are induced by geometric correspondences on Siegel moduli spaces which commute with almost all local Hecke algebras. We also introduce an algorithm to get equations for moduli spaces of Siegel-Parahoric level structures, once we have equations for prime levels and square prime levels over the level one Siegel space. This way we give equations for an infinite tower of Siegel spaces after N. Elkies who did the genus one case.
Let $p$ and $q$ be two distinct prime numbers, and $X^{pq}/w_q$ be the quotient of the Shimura curve of discriminant $pq$ by the Atkin-Lehner involution $w_q$. We describe a way to verify in wide generality a criterion of Parent and Yafaev to prove that if $p$ and $q$ satisfy some explicite congruence conditions, known as the conditions of the non ramified case of Ogg, and if $p$ is large enough compared to $q$, then the quotient $X^{pq}/w_q$ has no rational point, except possibly special points.
We wish to give a new proof of one of the main results of Atkin and Lehner. Their theory depends, among other things, on a theorem characterizing forms in S_k(Gamma_0(N)) whose Fourier coefficients satisfy a certain vanishing condition. Our proof involves rephrasing this vanishing condition in terms of representation theory; this, together with an elementary linear algebra argument, allows us to rewrite the problem as a collection of local problems. Furthermore, the classical phrasing of the theorem makes the resulting local problems trivial; this is in contrast to the method of Casselman, who…
Poonen and Stoll have shown that the reduced Shafarevich-Tate group of a principally polarized abelian variety over a global field can have order twice a square (the odd case) as well as a square (the even case). For a curve over a global field, they give a local diophantine criterion for its jacobian to be even or odd. In this note we use the Cherednik-Drinfeld p-adic uniformization to study the local points and divisors on certain Atkin-Lehner quotients of Shimura curves. We exhibit an explicit family of such quotient curves over the rationals with odd jacobians, with genus going to infinity…
Using Serre's proposed complement to Shih's Theorem, we obtain PSL_2(F_p) as a Galois group over Q for at least 614 new primes p. Under the assumption that rational elliptic curves with odd analytic rank have positive rank, we obtain Galois realizations for 3/8 of the primes not covered by previous results; it would also suffice to assume a certain (plausible, and perhaps tractable) conjecture concerning class numbers of quadratic fields. The key issue is to understand rational points on Atkin-Lehner twists of X_0(N). In an appendix, we explore the existence of local points on these curves.
In this article, we settle a part of the Conjecture by Bandini and Valentino (\cite{BV19a}) for $S_{k,l}(Γ_0(T))$ when $\mathrm{dim}\ S_{k,l}(\mathrm{GL}_2(A))\leq 2$. Then, we frame this conjecture for prime, higher levels, and provide some evidence in favour of it. For any square-free level $\mathfrak{n}$, we define oldforms $S_{k,l}^{\mathrm{old}}(Γ_0(\mathfrak{n}))$, newforms $S_{k,l}^{\mathrm{new}}(Γ_0(\mathfrak{n}))$, and investigate their properties. These properties depend on the commutativity of the (partial) Atkin-Lehner operators with the $U_\mathfrak{p}$-operators. Finally, we show…
We show how to construct counter-examples to the Hasse principle over the field of rational numbers on Atkin-Lehner quotients of Shimura curves and on twisted forms of Shimura curves by Atkin-Lehner involutions. A particular example is the quotient of the Shimura curve X attached to the indefinite rational quaternion algebra of discriminant 23*107 by the Atkin-Lehner involution w107. The quadratic twist of X by Q(sqrt{-23}) with respect to this involution is also a counter-example to the Hasse principle over Q.
We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We find that the only such curves with exceptional rational points are of levels $137$ and $311$. In particular there are no exceptional rational points on those curves of genus five and six. More precisely, we determine the rational points on the curves $X_0^+(N)$ for $N=137,173,199,251,311,157,181,227,263,163,197,211,223,269,271,359$.
We give conditions when the fixed points by the partial Atkin-Lehner involutions on $X_0(N)$ are Weierstrass points as an extension of the result by Lehner and Newman \cite{LN}. Furthermore, we complete their result by determining whether the fixed points by the full Atkin-Lehner involutions on $X_0(N)$ are Weierstrass points or not.
We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …
We examine the existence of rational divisors on modular curves of $\mathcal{D}$-elliptic sheaves and on Atkin-Lehner quotients of these curves over local fields. Using a criterion of Poonen and Stoll, we show that in infinitely many cases the Tate-Shafarevich groups of the Jacobians of these Atkin-Lehner quotients have non-square orders.
We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms.
We study the diagonalizability of the Atkin $U_t$-operator acting on Drinfeld cusp forms for $Γ_1(t)$ and $Γ(t)$ using Teitelbaum's interpretation as harmonic cocycles. For small weights $k\leqslant 2q$, we prove $U_t$ is diagonalizable in odd characteristic and we point out that non diagonalizability in even characteristic depends on antidiagonal blocks.
We study the diagonalizability of the Atkin $U$-operator acting on Drinfeld cusp forms for $Γ_1(t)$ and $Γ(t)$ using Teitelbaum's interpretation as harmonic cocycles. We prove $U$ is diagonalizable for small weights and explicitly compute the eigenvalues. We also formulate a conjecture, supported by numerical search and proofs in some special cases, about non diagonalizability of $U$ in even characteristic.
We study the diagonalizability of the Atkin $U_t$-operator acting on Drinfeld cusp forms for $Γ_0(t)$: starting with the slopes of eigenvalues and then moving to the space of cusp forms for $Γ_1(t)$ to use Teitelbaum's interpretation as harmonic cocycles which makes computations more explicit. We prove $U_t$ is diagonalizable in odd characteristic for (relatively) small weights and explicitly compute the eigenvalues. In even characteristic we show that it is not diagonalizable when the weight is odd (except for the trivial cases) and prove some cases of non diagonalizability in even weight as …
We refine known dimension formulas for spaces of cusp forms of squarefree level, determining the dimension of subspaces generated by newforms both with prescribed global root numbers and with prescribed local signs of Atkin-Lehner operators. This yields precise results on the distribution of signs of global functional equations and sign patterns of Atkin-Lehner eigenvalues, refining and generalizing earlier results of Iwaniec, Luo and Sarnak. In particular, we exhibit a strict bias towards root number +1 and a phenomenon that sign patterns are biased in the weight but perfectly equidistributed…
Given an algebraic curve C/Q having points everywhere locally and endowed with a suitable involution, we show that there exists a positive density family of prime quadratic twists of C violating the Hasse principle. The result applies in particular to w_N-Atkin-Lehner twists of most modular curves X_0(N) and to w_p-Atkin-Lehner twists of certain Shimura curves X^{D+}.
We determine the group structure of the normalizer of $Γ_0(N)$ in $SL_2(\R)$ modulo $Γ_0(N)$. These results correct the Atkin-Lehner statement at the paper Hecke operators of $Γ_0(N)$.
Let V_D be the Shimura curve over \Q attached to the indefinite rational quaternion algebra of discriminant D. In this note we investigate the group of automorphisms of V_D and prove that, in many cases, it is the Atkin-Lehner group. Moreover, we determine the family of bielliptic Shimura curves over \bar \Q and over \Q and we use it to study the set of rational points on V_D over quadratic fields. Finally, we obtain explicit equations of elliptic Atkin-Lehner quotients of V_D.
We first obtain the dimension formulas for the spaces of holomorphic modular forms with character for the Fricke group $Γ_0^+(N)$, then that for $Γ_0^*(N)$ with all Atkin-Lehner involutions added in a particular case.
We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.
We prove that for $d \in \{ 2,3,5,7,13 \}$ and $K$ a quadratic (or rational) field of discriminant $D$ and Dirichlet character $χ$, if a prime $p$ is large enough compared to $D$, there is a newform $f \in S_2(Γ_0(dp^2))$ with sign $(+1)$ with respect to the Atkin-Lehner involution $w_{p^2}$ such that $L(f \otimes χ,1) \neq 0$. This result is obtained through an estimate of a weighted sum of twists of $L$-functions which generalises a result of Ellenberg. It relies on the approximate functional equation for the $L$-functions $L(f \otimes χ, \cdot)$ and a Petersson trace formula restricted to A…
We describe a construction of preimages for the Shimura map on Hilbert modular forms, and give an explicit Waldspurger type formula relating their Fourier coefficients to central values of twisted L-functions. Our construction is inspired by that of Gross and applies to any nontrivial level and arbitrary base field, subject to certain conditions on the Atkin-Lehner eigenvalues and on the weight.
We define oldforms and newforms for Drinfeld cusp forms of level $t$ and conjecture that their direct sum is the whole space of cusp forms. Moreover we describe explicitly the matrix $U$ associated to the action of the Atkin operator $\mathbf{U}_t$ on cusp forms of level $t$ and use it to compute tables of slopes of eigenforms. Building on such data, we formulate conjectures on bounds for slopes, on the diagonalizability of $\mathbf{U}_t$ and on various other issues. Via the explicit form of the matrix $U$ we are then able to verify our conjectures in various cases (mainly in small weights).
We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its Atkin-Lehner involutions, for all square-free values of $N$.
Let X_0+(N) be the Atkin-Lehner quotient of the modular curve X_0(N) associated to the Fricke involution wN. Assume N > 3 prime and endow the real locus X+ 0 (N)(R) with the real topology. In this paper we revisit a special case of result due to Ogg on the connected components of X_0+(N)(R). Then we obtain a formula for the homology class of each connected component of X_0+(N)(R) in terms of Manin symbols.
We describe an algorithm that we used to compute the q-expansions of all weight 2 cusp forms of prime level at most 2,000,000 and dimension at most 6. We also present an algorithm that we used to verify that there was only one cusp form of dimension 7 or more per Atkin-Lehner eigenspace for prime levels between 10,000 and 1,000,000. Our algorithm is based on Mestre's Méthode des Graphes, and involves supersingular isogeny graphs and Wiedemann's algorithm for finding the minimal polynomial of sparse matrices over finite fields.
We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith.
We present explicit models for Shimura curves X_D and Atkin-Lehner quotients X_D/w_m of them of genus 2. We show that several equations conjectured by Kurihara are correct and compute for them the kernel of Ribet's isogeny J_0(D)^{new} --> J_D between the new part of the Jacobian of the modular curve X_0(D) and the Jacobian of X_D.
We prove congruences between cuspidal newforms and Eisenstein series of prime level, which generalize Ramanujan's congruence. Such congruences were recently found by Billerey and Menares, and we refine them by specifying the Atkin-Lehner eigenvalue of the newform involved. We show that similar refinements hold for the level raising congruences between cuspidal newforms of different levels, due to Ribet and Diamond. The proof relies on studying the new subspace and the Eisenstein subspace of the space of period polynomials for the congruence subgroup $Γ_0(N)$, and on a version of Ihara's lemma.
We work out the exact relationship between algebraic modular forms for a two-by-two general unitary group over a definite quaternion algebra, and those arising from genera of positive-definite quinary lattices, relating stabilisers of local lattices with specific open compact subgroups, paramodular at split places, and with Atkin-Lehner operators. Combining this with the recent work of Rösner and Weissauer, proving conjectures of Ibukiyama on Jacquet-Langlands type correspondences (mildly generalised here), provides an effective tool for computing Hecke eigenvalues for Siegel modular forms of …
In this paper, we prove that, for an integer $r$ with $(r,6)=1$ and $0<r<24$ and a nonnegative even integer $s$, the set {η(24τ)^rf(24τ):f(τ)\in M_s(1)} is isomorphic to S_{r+2s-1}^{\text{new}}(6,-(\frac8r),-(\frac{12}r))\otimes(\frac{12}\cdot) as Hecke modules under the Shimura correspondence. Here $M_s(1)$ denotes the space of modular forms of weight $s$ on $Γ_0(1)=\mathrm{SL}(2,\Z)$, $S_{2k}^{\text{new}}(6,ε_2,ε_3)$ is the space of newforms of weight $2k$ on $Γ_0(6)$ that are eigenfunctions with eigenvalues $ε_2$ and $ε_3$ for Atkin-Lehner involutions $W_2$ and $W_3$, respectively, and the …
In this paper, we explore a two-way connection between quasimodular forms of depth $1$ and a class of second-order modular differential equations with regular singularities on the upper half-plane and the cusps. Here we consider the cases $Γ=Γ_0^+(N)$ generated by $Γ_0(N)$ and the Atkin-Lehner involutions for $N=1,2,3$ ($Γ_0^+(1)=\mathrm{SL}(2,\mathbb Z)$). Firstly, we note that a quasimodular form of depth $1$, after divided by some modular form with the same weight, is a solution of a modular differential equation. Our main results are the converse of the above statement for the groups $Γ_0^…
A formula for the dimension of the space of cuspidal modular forms on $Γ_0(N)$ of weight $k$ ($k\ge2$ even) has been known for several decades. More recent but still well-known is the Atkin-Lehner decomposition of this space of cusp forms into subspaces corresponding to newforms on $Γ_0(d)$ of weight $k$, as $d$ runs over the divisors of $N$. A recursive algorithm for computing the dimensions of these spaces of newforms follows from the combination of these two results, but it would be desirable to have a formula in closed form for these dimensions. In this paper we establish such a closed-for…
