The local Tamagawa number conjecture for Hecke characters, II
Francesc Bars
备注:
The preprint "The local Tamagawa number conjecture for Hecke characters, II", appeared as section 6 of the present manuscript, which includes two old prepints of the author, under the joint title "On the Tamagawa number conjecture for Hecke characters"
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.
Under mild hypotheses on the residual representation, we prove the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras using a novel combination of the methods of Euler systems and Taylor-Wiles systems. We also prove the compatibility of this conjecture with specialization.
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 propose a formulation of the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras; something which seems to have been heretofore missing because the complexes of Galois cohomology required were not known to be perfect. We show that the fundamental line of this conjecture satisfies the expected compatibility property at geometric points (more precisely at the points satisfying the Weight-Monodromy conjecture) and is compatible with level-lowering and level-raising. Combining these properties with the methods of Euler a…
We express the order of the pole and the leading coefficient of the L-function of a (large class of) -adic coefficients (any prime) over a quasi-projective variety over a finite field of characteristic p. This is a generalization of the result of Milne-Ramachandran with coefficients. The new key ingredient is the use of F-gauges and their equivalence in the derived category with Raynaud modules proved by Ekedahl.
We fix data $(K/F, E)$ consisting of a Galois extension $K/F$ of characteristic $p$ global fields with arbitrary abelian Galois group $G$ and a Drinfeld module $E$ defined over a certain Dedekind subring of $F$. For this data, we define a $G$-equivariant $L$-function $Θ_{K/F}^E$ and prove an equivariant Tamagawa number formula for certain Euler-completed versions of its special value $Θ_{K/F}^E(0)$. This generalizes Taelman's class number formula for the value $ζ_F^E(0)$ of the Goss zeta function $ζ_F^E$ associated to the pair $(F, E)$. Taelman's result is obtained from our result by setting $…
Given a number field extension $K/k$ with an intermediate field $K^+$ fixed by a central element of the corresponding Galois group of prime order $p$, we build an algebraic torus over $k$ whose rational points are elements of $K^\times$ sent to $k^\times$ via the norm map $N_{K/K^+}$. The goal is to compute the Tamagawa number of that torus explicitly via Ono's formula that expresses it as a ratio of cohomological invariants. A fairly complete and detailed description of the cohomology of the character lattice of such a torus is given when $K/k$ is Galois. Partial results including the numerat…
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.
Let $E/K$ be a finite Galois extension of totally real number fields with Galois group $G$. Let $p$ be an odd prime and let $r>1$ be an odd integer. The $p$-adic Beilinson conjecture relates the values at $s=r$ of $p$-adic Artin $L$-functions attached to the irreducible characters of $G$ to those of corresponding complex Artin $L$-functions. We show that this conjecture, the equivariant Iwasawa main conjecture and a conjecture of Schneider imply the `$p$-part' of the equivariant Tamagawa number conjecture for the pair $(h^0(\mathrm{Spec}(E))(r), \mathbb Z[G])$. If $r>1$ is even we obtain a sim…
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$.
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$.
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$.
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$.
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.
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$.
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.
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…
In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a structure analogous to the case of the Siegel modular group and coincides with the tensor product of its $p$-components for inert primes $p$. This leads to a characterization of the associated Siegel-Eisenstein series. The proof also involves Hecke theory for particular congruence subgroups.
Let $-D < -4$ denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of $\Bbb Q(\sqrt{-D})$ exists. Let $d$ be a fundamental discriminant prime to $D$. Let $2k-1$ be an odd natural integer prime to the class number of $\Bbb Q(\sqrt{-D})$. Let $χ$ be the twist of the $(2k-1)$th power of a canonical Hecke character of $\Bbb Q(\sqrt{-D})$ by the Kronecker's symbol $n\mapsto(\frac{d}{n})$. It is proved that the order of the Hecke $L$-function $L(s,χ)$ at its central point $s=k$ is determined by its root number when $|d| \leq c(ε)D^{{1/24}-ε}$…
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$.
In this note, we prove that given a Hecke-Maass cusp form $f$ for $SL_2(\mathbb{Z})$ and a sufficiently large integer $q=q_1q_2$ with $q_j\asymp \sqrt{q}$ being prime numbers for $j=1,2$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that $L\left(\frac{1}{2},f\otimes χ\right)L\left(\frac{1}{2},χ\right)\neq 0$. To prove this, we establish asymptotic formulas of $L\left(\frac{1}{2},f\otimes χ\right)L\left(\frac{1}{2},χ\right)$ over the family of even primitive Dirichlet characters $χ$ of conductor $q$ for more general $q$.
Let $p$ and $q$ be two distinct odd primes. Let $K$ be an imaginary quadratic field over which $p$ and $q$ are both split. Let $Ψ$ be a Hecke character over $K$ of infinity type $(k,j)$ with $0\le-j< k$. Under certain technical hypotheses, we show that for a Zariski dense set of finite-order characters $κ$ over $K$ which factor through the $\mathbb{Z}_q^2$-extension of $K$, the $p$-adic valuation of the algebraic part of the $L$-value $L(\overline{κΨ},k+j)$ is a constant independent of $κ$. In addition, when $j=0$ and certain technical hypothesis holds, this constant is zero.
In this paper, we prove a prime-to-p version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0, whose original (full profinite) version was proved by Tamagawa in the affine case and by Mochizuki in the proper case.
Let G be a reductive algebraic group over a local field K or a global field F. It is well know that there exists a non-trivial and interesting representation theory of the group G(K) as well as the theory of automorphic forms on the corresponding adelic group. The purpose of this paper is to give a survey of some recent constructions and results, which show that there should exist an analog of the above theories in the case when G is replaced by the corresponding affine Kac-Moody group (which is essentially built from the formal loop group G((t)) of G). Specifically we discuss the following to…
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.