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.
We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep conjectures in Galois cohomology which are higher analogs of the classical Leopoldt conjecture.
Let $k\geq 2$ and $n\geq 1$ be any integers. In this paper, we prove that all Hecke operators act trivially on the space of ordinary Drinfeld cuspforms of level $Γ_1(t^n)$ and weight $k$.
The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.
Suppose that $O_L$ is the ring of integers of a number field $L$, and suppose that $f(z)=\sum_{n=1}^\infty a_f(n)q^n\in S_k\cap O_L[[q]]$ (note: $q := e^{2πiz}$) is a normalized Hecke eigenform for $\mathrm{SL}_2(\mathbb{Z})$. We say that $f$ is non-ordinary at a prime $p$ if there is a prime ideal $\mathfrak{p}\subset O_L$ above $p$ for which $a_f(p)\equiv 0 \ (mod\ {\mathfrak{p}})$. For any finite set of primes $S$, we prove that there are normalized Hecke eigenforms which are non-ordinary for each $p\in S$. The proof is elementary and follows from a generalization of work of Choie, Kohnen a…
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…
In this paper we study the $p$-adic dynamics of prime-to-$p$ Hecke operators on the set of points of modular curves in both cases of good ordinary and supersingular reduction. We pay special attention to the dynamics on the set of CM points. In the case of ordinary reduction we employ the Serre-Tate coordinates, while in the case of supersingular reduction, we use a parameter on the deformation space of the unique formal group of height $2$ over $\overline{\mathbb{F}}_p$, and take advantage of the Gross-Hopkins period map.
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.
Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline…
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 study the theory of finite-order p-adic functions and distributions on ray class groups of number fields, and apply this to the construction of (possibly unbounded) p-adic L-functions for automorphic forms on GL(2) which may be non-ordinary at the primes above p. As a consequence, we obtain a "plus-minus" decomposition of the p-adic L-functions of automorphic forms for GL(2) over an imaginary quadratic field with p split and Hecke eigenvalues 0 at the primes above p, confirming a conjecture of B.D. Kim.
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$.
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…
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…
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$.
Let $G_{n}=\operatorname{GL}_{n}(F)$, where $F$ is a non-archimedean local field with residue characteristic $p$ and where $n=2k$ is even. In this article, we investigate a question occurring in the decomposition of the category of $\ell$-modular smooth representations of $G_n$ into Bernstein blocks (where $\ell\neq p$). The easiest block not investigated in \cite{guiraud} is the one defined by the standard parabolic subgroup with Levi factor $M=\GL_k(F) \times \GL_k(F)$ and by an $M$-representation of the form $π_0 \boxtimes π_0$ with $π_0$ a supercuspidal $\GL_k(F)$-representation. This bloc…
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$.
Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications
The university of Texas at Austin(德克萨斯大学奥斯汀分校);Xi’an Jiaotong University(西安交通大学);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of the Chinese Academy of Sciences(中国科学院大学);University of Science and Technology of China(中国科学技术大学)
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.
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 (toge…
Institute for Advanced Study in Mathematics, Zhejiang University(浙江大学高等研究院);School of Mathematical Sciences, Zhejiang University(浙江大学数学学院);Institute for Advanced Study in Mathematics and New Cornerstone Science Laboratory, Zhejiang University(浙江大学高等研究院与新Cornerstone科学实验室)
We characterize the space of new forms for $Γ_0(m)$ as a common eigenspace of certain Hecke operators which depend on primes $p$ dividing the level $m$. To do that we find generators and relations for a $p$-adic Hecke algebra of functions on $K={\rm GL}_2(\mathbb{Z}_p)$. We explicitly find the $n+1$ irreducible representations of $K$ which contain a vector of level $n$ including the unique representation that contains the "new vector" at level $n$. After translating the $p$-adic Hecke operators that we obtain into classical Hecke operators we obtain the results about the new space mentioned ab…
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.
Over a p-adic field of odd residual characteristic, Gan and Savin proved a correspondence between the Bernstein components of the even and odd Weil representations of the metaplectic group and the components of the trivial representation of the equal rank odd orthogonal groups. In this paper, we extend their result to the case of even residual characteristic.
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…
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…
Let $π$ be an irreducible cuspidal automorphic generic representation of $\mathrm{Sp}_{2n}(\mathbb{A})$ and let $χ:F^\times\backslash \mathbb{A}^\times\to \mathbb{C}^\times$ be a unitary idele class character. In this note, we present a Rankin-Selberg integral of Hecke type for the twisted standard partial $L$-function $L^S(s,π\timesχ)$ of degree $2n+1$.
We systemically study the Hecke relations and the $c=8k$ coset relations among 2d rational conformal field theories (RCFTs) with up to seven characters. We propose that the characters of any 2d RCFT -- unitary or non-unitary -- satisfying a holomorphic modular linear differential equation (MLDE) can be realized as either a Hecke image or the coset of a Hecke image with respect to a $c=8k$ theory. Benefited from the recent results on holomorphic modular bootstrap, we check this proposal for all admissible theories with up to five characters. We also find many new interesting Hecke relations. Fo…