In this article we study the equations $x^4+dy^2=z^p$ and $x^2+dy^6=z^p$ for positive square-free values of $d$. A Frey curve over $\mathbb{Q}(\sqrt{-d})$ is attached to each primitive solution, which happens to be a $\mathbb{Q}$-curve. Our main result is the construction of a Hecke character $χ$ satisfying that the Frey elliptic curve representation twisted by $χ$ extends to $\text{Gal}_\mathbb{Q}$, therefore (by Serre's conjectures) corresponds to a newform in $S_2(n,\varepsilon)$ for explicit values of $n$ 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 $p$ of both equations for new values of $d$.
In the article [PV] a general procedure to study solutions of the equations $x^4-dy^2=z^p$ was presented for negative values of $d$. The purpose of the resent article is to extend our previous results to positive values of $d$. On doing so, we give a description of the extension $\mathbb{Q}(\sqrt{d},\sqrtε)/\mathbb{Q}(\sqrt{d})$ (where $ε$ is a fundamental unit) needed to prove the existence of a Hecke character over $\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 $\mathbb…
A continued fractions based verification of the Hurwitz values for the Hecke triangle groups is given, completing a program of Lehner's. Ergodic theory shows that Diophantine approximation by mediant convergents of the Rosen continued fractions is sufficient to determine the values that Haas and Series found by hyperbolic geometry.
We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations.
In this paper we establish the explicit exponential map for the Galois representation from a Hecke character at an ordinary prime. Such explicit maps are important in verifying the Bloch-Kato conjecture for Hecke characters.
In this paper, we show that an action on the set of elliptic curves with j= 1728 preserves a certain kind of symmetry on the local root number of Hecke characters attached to such elliptic curves. As a consequence, we give results on the distribution of the root numbers and their average of the aforementioned Hecke characters.
In this paper, we evaluate a smoothed character sum involving $\sum_{m}\sum_{n}\leg {m}{n}$, with quadratic, cubic or quartic Hecke characters $\leg {m}{n}$, and the two sums over $m$ and $n$ are of comparable lengths.
We evaluate the action of Hecke operators on Siegel Eisenstein series of arbitrary degree, level and character. For square-free level, we simultaneously diagonalise the space with respect to all the Hecke operators, computing the eigenvalues explicitly, and obtain a multiplicity-one result. For arbitrary level, we simultaneously diagonalise the space with respect to the Hecke operators attached to primes not dividing the level, again computing the eigenvalues explicitly.
We construct an Euler system of generalized Heegner cycles to bound the Selmer group associated to a modular form and an algebraic Hecke character. The main argument is based on Kolyvagin's machinery explained by Gross while the key object of the Euler system, the generalized Heegner cycles, were first considered by Bertolini, Darmon and Prasanna.
This is an expository article that concerns the various related notions of algebraic idele class characters, the Groessencharaktere of Hecke, and cohomological automorphic representations of GL(1), all under the general title of algebraic Hecke characters. The first part of the article systematically lays the foundations of algebraic Hecke characters. The only pre-requisites are: basic algebraic number theory, familiarity with the adelic language, and basic sheaf theory. Observations that play a crucial role in the arithmetic of automorphic L-functions are also discussed. The second part of th…
We evaluate the action of Hecke operators on Siegel Eisenstein series of degree 2, square-free level and arbitrary character, without using knowledge of their Fourier coefficients. From this we construct a basis of simultaneous eigenforms for the full Hecke algebra, and we compute their eigenvalues. As well, we obtain Hecke relations among the Eisenstein series. Using these Hecke relations in the case that $\stufe$ is square-free and the character is trivial, we generate a basis for the space of Eisenstein series.
We study smoothed character sums involving $\sum_{m,n} ( \frac{m}{n} )_2$, where $( \frac{m}{n} )_2$ denotes the quadratic symbol in the Gaussian field. We extend previously known results to obtain asymptotic formulas for the sums considered to larger ranges of $m$ and $n$.
This is essentially the author's thesis submited to The University of Chicago (May 1997). I prove the validity of Tamagawa number conjecture of Bloch-Kato for certain Hecke characters. I study the exponential map and local Tamagawa number for all odd primes (both ordinary and supersingular), using Kato's explicit reciprocity law for one dimensional Lubin-Tate formal group. I also study p-part of Shafarevich-Tate group for motives associated to Hecke characters, using Rubin's Main Conjecture in Iwasawa theory. Interestingly a congruence property between p-adic periods of elliptic curve and weig…
We establish the two-dimensional asymptotic distributions of the logarithm and logarithmic derivative of $L$-functions associated with a family of cubic Hecke characters. A crucial ingredient in the proof of our main result is an exponential decay estimate for the characteristic functions of the distributions.
We prove a non-vanishing result for families of $\GL_n\times\GL_n$ Rankin-Selberg $L$-functions in the critical strip, as one factor runs over twists by Hecke characters. As an application, we simplify the proof, due to Luo, Rudnick, and Sarnak, of the best known bounds towards the Generalized Ramanujan Conjecture at the infinite places for cusp forms on $\GL_n$. A key ingredient is the regularization of the units in residue classes by the use of an Arakelov ray class group.
We relate non-critical special values $p$-adic $L$-functions associated to algebraic Hecke characters of an imaginary quadratic number field with class number one to $p$-adic Coleman function called the $p$-adic Eisenstein-Kronecker series, when the conductors of the algebraic Hecke characters are divisible by $p$.
Let $f\in S_k(Γ_{0}(N))$ be a normalized Hecke eigenform of even integral weight $k$ and level $N$. Let $j\ge1$ be a positive integer. We prove that for almost all primes $p$, $p\nmid N$, and for all characters $χ_{0}=\pm 1\pmod N$, the sequence $\left(χ_{0}(p^{nj})a(p^{nj})\right)_{n\in\N}$ has infinitely many sign changes. We also obtain a similar result for the sequence $\left(a(p^{j(1+2n)})\right)_{n\in\N}$ when $j$ is odd.
We present a collection of results on a conjecture of Jannsen about the $p$-adic realizations associated to Hecke characters over an imaginary quadratic field $K$ of class number 1. The conjecture is easy to check for Galois groups purely of local type. We prove the conjecture under a geometric regularity condition for the imaginary quadratic field $K$ at $p$, which is related to the property that a global Galois group is purely of local type. Without this regularity assumption at $p$, we present a review of the known situations in the critical case and in the non-critical case for the realiza…
Let $K$ be an imaginary quadratic number field and let $L(s,ξ_{\ell})$ denote the Hecke $L$-function to an angular character $ξ_{\ell}$ with frequency $\ell$. We detect values of $\log |L(\tfrac12,ξ_{\ell})|$ with size at least $(\sqrt{2} + o_K(1))(\log X / \log \log X)^{1/2}$ along each dyadic range $X \leqslant \ell \leqslant 2X$. This result relies on the resonance method, which is applied for the first time to this family of $L$-functions, where the classification and extraction of diagonal terms depends on the geometry of the complex embedding of $K$.
In this paper we prove the weak local Tamagawa number conjecture for the remaining non-critical cases for the motives associated to Hecke characters $ψ_θ:\mathbb{A}_K\to K^*$ of the author's previous paper, where $K$ is an imaginary quadratic field with $cl(K)=1$, under certain restrictions which originate mainly from the Iwasawa theory of imaginary quadratic fields.
For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on a…
We address some questions posed by Goss related to the modularity of Drinfeld modules of rank 1 defined over the field of rational functions in one variable with coefficients in a finite field. For each positive characteristic valued Dirichlet character, we introduce certain projection operators on spaces of Drinfeld modular forms with character of a given weight and type such that when applied to a Hecke eigenform return a Hecke eigenform whose eigensystem has been twisted by the given Dirichlet character. Unlike the classical case, however, the effect on Goss' $u$-expansions for these eigenf…
Fix a Hecke cusp form $f$, and consider the $L$-function of $f$ twisted by a primitive Dirichlet character. As we range over all primitive characters of a large modulus $q$, what is the average behavior of the square of the central value of this $L$-function? Stefanicki proved an asymptotic valid only for $q$ having very few prime factors, and we extend this to almost all $q$.
It is well-known for an elliptic curve with complex multiplication that the existence of a $\mathbb{Q}$-rational model is equivalent to its field of moduli being equal to $\mathbb{Q}$, or its endomorphism ring being the ring of integers of 9 possible fields ($\ast$). Murabayashi and Umegaki proved analogous results for abelian surfaces. For three dimensional CM abelian varieties with rational fields of moduli, Chun narrowed down to a list of 37 possible CM fields. In this paper, we show that his list is exact. By constructing certain Hecke characters that satisfy a theorem of Shimura, we prove…
We bound Selmer groups attached to Grossencharacters of CM elliptic curves by the appropriate $L$-value. Our method is to use Kato's explicit reciprocity law and the Main Conjecture as proved by Rubin. These results are then used together with work of Han and fundamental results of Nekovar to bound the torsion in the image of the $p$-adic cycle class map for self products of CM elliptic curves. Our results are valid for Chow groups of arbitrary codimension for almost all $p$.
Here we characterise in a complete and explicit way the relations of algebraic dependence over $\QQ$ of complex values of Hecke-Mahler series taken at algebraic points of the multiplicative group $\GG_m^2(\CC)$. Our result contains previous theorems by Loxton and van der Poorten, Mahler, and Masser.
Suppose $π_1$ and $π_2$ are two Hecke-Maass cusp forms for $SL(3,\mathbb{Z})$ such that for all primitive character $χ$ we have $$ L(\tfrac{1}{2},π_1\otimesχ)=L(\tfrac{1}{2},π_2\otimesχ). $$ Then we show that $π_1=π_2$.
Let F(z) be a newform of weight 2k and level one with a trivial character, and assume that F(z) is a non-zero eigenform of all Hecke operators. In this paper, we study nonvanishing for central values of twisted modular L-function of F.
Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there exist infinite $(F,m)$-Diophantine sets, then there is a complete qualitative characterization of all such polynomials $F$. Otherwise, various finiteness results are known. We prove that given a finite set of distinct integers $ S$ of size $n$, there are infinitely many bivariate polynomials $F$ such that $ S$ is an $(F,2)$-Diophantine set. In addition, we show…
Split-CM points are points of the moduli space h_2/Sp_4(Z) corresponding to products $E \times E'$ of elliptic curves with the same complex multiplication. We prove that the number of split-CM points in a given class of h_2/Sp_4(Z) is related to the coefficients of a weight 3/2 modular form studied by Eichler. The main application of this result is a formula for the central value $L(ψ_N, 1)$ of a certain Hecke L-series. The Hecke character $ψ_N$ is a twist of the canonical Hecke character $ψ$ for the elliptic Q-curve A studied by Gross, and formulas for $L(ψ, 1)$ as well as generalizations wer…
In this paper, we study the moments of central values of Hecke $L$-functions associated with quadratic characters in $\mathbb{Q}(i)$ and $\mathbb{Q}(ω)$ with $ω= exp(2πi/3)$ and establish some quantitative non-vanishing result for these $L$-values.
Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence given by $F_0 = 0, F_1 = 1$ and $F_{n+2} = F_{n+1}+F_n$ for $n \geq 0$. In this paper, we solve all powers of two which are sums of four Fibonacci numbers with a few exceptions that we characterize.
Set $K=\mathbb{Q}(i)$ and suppose that $c\in \mathbb{Z}[i]$ is a square-free algebraic integer with $c\equiv 1 \imod{\langle16\rangle}$. Let $L(s,χ_{c})$ denote the Hecke $L$-function associated with the quartic residue character modulo $c$. For $σ>1/2$, we prove an asymptotic distribution function $F_σ$ for the values of the logarithm of \begin{equation*} L_c(s)= L(s,χ_c)L(s,\overlineχ_{c}), \end{equation*} as $c$ varies. Moreover, the characteristic function of $F_σ$ is expressed explicitly as a product over the prime ideals of $\mathbb{Z}[i]$.
We prove that given a Hecke-Maass form $f$ for $\text{SL}(2, \mathbb{Z})$ and a sufficiently large prime $q$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that the $L$-values $L(\tfrac{1}{2}, f \otimes χ)$ and $L(\tfrac{1}{2}, χ)$ do not vanish. We expect the same method to work for any large integer $q$.
We describe algorithms to represent and compute groups of Hecke characters. We make use of an id{è}lic point of view and obtain the whole family of such characters, including transcendental ones. We also show how to isolate the algebraic characters, which are of particular interest in number theory. This work has been implemented in Pari/GP, and we illustrate our work with a variety of explicit examples using our implementation.
Let $K$ be a non-discrete non-Archimedean local field with residue characteristic $p$. Let $G$ be the group of $K$ rational points of a algebraic connected reductive group defined over $K$. In this article we compute the extensions between characters of affine pro-$p$ Iwahori--Hecke algebra $\mathcal{H}^{\text{aff}}$ over an algebraically closed field $R$ of characteristic $p$. In rank one case we deduce the relation between the blocks and $L$-packets.
Let $ϕ(z)$ be a non-isotrivial rational function in one-variable with coefficients in $\overline{\mathbb{F}}_p(t)$ and assume that $γ\in\mathbb{P}^1(\overline{\mathbb{F}}_p(t))$ is not a post-critical point for $ϕ$. Then we prove that the diophantine approximation exponent of elements of $ϕ^{-m}(γ)$ are eventually bounded above by $\lceil d^m/2\rceil+1$. To do this, we mix diophantine techniques in characteristic $p$ with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we tak…
Shimura and Taniyama proved that if $A$ is a potentially CM abelian variety over a number field $F$ with CM by a field $K$ linearly disjoint from F, then there is an algebraic Hecke character $λ_A$ of $K$ such that $L(A/F,s)=L(λ_A,s)$. We consider a certain converse to their result. Namely, let $A$ be a potentially CM abelian variety appearing as a factor of the Jacobian of a curve of the form $y^e=γx^f+δ$. Fix positive integers $a$ and $n$ such that $n/2 < a \leq n$. Under mild conditions on $e, f, γ, δ$, we construct a Chow motive $M$, defined over $F=\mathbb{Q}(γ,δ)$, such that $L(M/F,s)$ a…
Assuming a certain form of resolution of singularities, we prove a general existential Ax-Kochen/Ershov principle for tamely ramified fields in all characteristics. This specializes to well-known results in residue characteristic $0$ and unramified mixed characteristic. It also encompasses the conditional existential decidability results known for $\mathbb{F}_p(\!(t)\!)$ and its finite extensions, due to Denef-Schoutens. On the other hand, it also applies to the setting of infinite ramification, providing us with an abundance of infinitely ramified extensions of $\mathbb{Q}_p$ and $\mathbb{F}_…
We characterise the set of periods for which number theoretical obstructions prevent us from finding periodic solutions of the Schroedinger equation on a two dimensional torus as well as the asymptotic occurrence of possible resonances.
In this paper we prove an explicit matching theorem for some Hecke elements in the case of (possibly ramified) cyclic base change for general linear groups over local fields of characteristic zero with odd residue characteristic under a mild assumption. A key observation, based on the works of Waldspurger and Ganapathy-Varma, is to regard the base change lifts with twisted endoscopic lifts and replace the condition for the matching orbital integrals with one for semi-simple descend in the twisted space according to Waldspurger's fundamental work "L'endoscopie tordue n'est pas si tordue".
We define Hecke operators on vector-valued modular forms of the type that appear as characters of rational conformal field theories (RCFTs). These operators extend the previously studied Galois symmetry of the modular representation and fusion algebra of RCFTs to a relation between RCFT characters. We apply our results to derive a number of relations between characters of known RCFTs with different central charges and also explore the relation between Hecke operators and RCFT characters as solutions to modular linear differential equations. We show that Hecke operators can be used to construct…
