One of the basic questions in number theory is to determine semi-simple l-adic representations of the absolute Galois group of a number field. In this paper, we discuss the question for two dimensional representations over a totally real number field.
As a continuation of previous work, we establish sum expressions for $p$-adic Hecke $L$-functions of totally real fields in the sense of Delbourgo, assuming a totally real analog of Heegner hypothesis. This is done by finding explicit formulas of the periods of the corresponding $p$-adic measures. As an application, we extend the Ferrero-Greenberg formula of derivatives of $p$-adic $L$-functions to this setting.
The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms.
We study the Zariski closure of points in local deformation rings corresponding to potential semi-stable representations with certain prescribed $p$-adic Hodge theoretic properties. We show in favourable cases that the closure is equal to a union of irreducible components of the deformation space. We also study an analogous question for global Hecke algebras.
Hecke studies the distribution of fractional parts of quadratic irrationals with Fourier expansion of Dirichlet series. This method is generalized by Behnke and Ash-Friedberg, to study the distribution of the number of totally positive integers of given trace in a general totally real number field of any degree. When the field is cubic, we show that the asymptotic behavior of a weighted Diophantine sum is related to the structure of the unit group. The main term can be expressed in terms of Grössencharacter $L$-functions.
We show that the Eigenvariety attached to Hilbert modular forms over a totally real field $F$ is smooth at the points corresponding to certain classical weight one theta series and we give a precise criterion for etaleness over the weight space at those points. In the case where the theta series has real multiplication, we construct a non-classical overconvergent generalised eigenform and compute its Fourier coefficients in terms of $p$-adic logarithms of algebraic numbers. Our approach uses deformations and pseudo-deformations of Galois representations.
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.
Let $F/E$ be a Galois extension of totally real number fields, with Galois group $\mathrm{Gal}(F/E)$. Let $\mathfrak{N}$ be an integral ideal which is $\mathrm{Gal}(F/E)$-invariant, and $k \ge 2$ an integer. In this note, we study the action of $\mathrm{Gal}(F/E)$ on the Hecke orbits of Hilbert newforms of level $\mathfrak{N}$ and weight $k$. We also discuss the geometric counterpart to this action, which is closely related to the notion of abelian varieties potentially of $\mathrm{GL}_2$-type. The two actions have some consequences in relation with Langlands Functoriality. We conclude with an…
We introduce a derived enhancement of local Galois deformation rings that we call the "spectral Hecke algebra", in analogy to a construction in the Geometric Langlands program. This is a Hecke algebra that acts on the spectral side of the Langlands correspondence, i.e. on moduli spaces of Galois representations. We verify the simplest form of derived local-global compatibility between the action of the spectral Hecke algebra on the derived Galois deformation ring of Galatius-Venkatesh, and the action of Venkatesh's derived Hecke algebra on the cohomology of arithmetic groups.
We generalize a result of Galatius and Venkatesh which relates the graded module of cohomology of locally symmetric spaces to the graded homotopy ring of the derived Galois deformation rings, by removing certain assumptions, and in particular by allowing congruences inside the localized Hecke algebra.
On the Ramification of Hecke Algebras at Eisenstein Primes
利用Wiles的模技巧,研究了权为2、素级为N的Hecke代数在Eisenstein素数上的局部化.在此基础上,我们从形变理论的角度恢复了Mazur的一些结果(“模曲线和Eisenstein理想”)。结合Merel的一个定理,我们得到了Q(N^(1/p))的p-部分的新信息,其中p和N是素数,N = 1 mod p.
Given a continuous, odd, reducible and semi-simple $2$-dimensional representation $\barρ_0$ of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$, we study the relation between the universal deformation ring of the pseudo-representation corresponding to $\barρ_0$ (pseudo-deformation ring) and the big $p$-adic Hecke algebra to prove that the maximal reduced quotient of the pseudo-deformation ring is isomorphic to the local component of the big $p$-adic Hecke algebra corresponding to $\barρ_0$ if a certain global Galois cohomology group has dimension $1$. This partially extends th…
In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation …
Let $p$ be an odd prime and $f$ be a nearly ordinary Hilbert modular Hecke eigenform defined over a totally real field $F$. Let $\mathbb{I}$ be an irreducible component of the universal nearly ordinary or locally cyclotomic deformation of the representation of $\mathrm{Gal}_F$ that is associated to $f$. We study the deformation rings over a $p$-adic Lie extension $F_\infty$ that contains the cyclotomic $\mathbb{Z}_p$-extension of $F$. More precisely, we prove a control theorem about these rings. We introduce a category $\mathfrak{M}_{\mathcal H}^{\mathbb I}(\mathcal G)$, where $\mathcal G=\mat…
Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight $k$ and level $Γ_0(\ell)$ at the maximal Eisenstein ideal containing $p$. We give a necessary and sufficient condition for the $\mathbb{Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for …
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 $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_\mathfrak{p}$ acting on $(\mathrm{mod}\, p^m)$ Katz Hilbert modular classes which agrees with the classical Hecke operator at $\mathfrak{p}$ for global sections that lift to characteristic zero. Using these operators and the techniques of patching complexes of F. Calegari and D. Geraghty we prove that the Galois representations arising from torsion Hilbert modular classes of parallel weight ${\bf 1}$ are unramified at $p$ when $[F:\mathbb Q]=2$. Some pa…
For a $p$-adic field $F$, the space of pro-$p$-Iwahori invariants of a universal supersingular mod $p$ representation $τ$ of ${\rm GL}_2(F)$ is determined in the works of Breuil, Schein, and Hendel. The representation $τ$ is introduced by Barthel and Livné and this is defined in terms of the spherical Hecke operator. In earlier work of Anandavardhanan-Borisagar, an Iwahori-Hecke approach was introduced to study these universal supersingular representations in which they can be characterized via the Iwahori-Hecke operators. In this paper, we construct a certain quotient $π$ of $τ$, making use o…
The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let $F$ be a totally real field. Let $f$ be a Hilbert modular form over $F$ of parallel weight $2$, which is a new form and is ordinary at $p$. Let $E$ be a totally imaginary quadratic extension of $F$ of discriminant prime to $p$ and to the conductor of $f$. We may construct a $p$-adic $L$ function that interpolates special values of the complex $L$ functions associated to $f$, $E$ and finite order Hecke characters of $E$. The $p$-adic Gross-Zag…
We study the local behavior of special cycles on Shimura varieties for $\mathbf{U}(2, 1) \times \mathbf{U}(1, 1)$ in the setting of the Gan-Gross-Prasad conjectures at primes $τ$ of the totally real field of definition of the unitary spaces which are split in the corresponding totally imaginary quadratic extension. We establish a local formula for their fields of definition, and prove a distribution relation between the Galois and Hecke actions on them. This complements work of \cite{jetchev:unitary} at inert primes, where the combinatorics of the formulas are reduced to calculations on the Br…
We prove the existence of a potentially diagonalizable lift of a given automorphic mod $p$ Galois representation $\overlineρ:{\rm Gal}(\overline{F}/F)\longrightarrow {\rm GSp}_4(\overline{\mathbb{F}}_p)$ for any totally real field $F$ and any rational prime $p>2$ under the adequacy condition by using automorphic lifting techniques developed by Barnet-Lamb, Gee, Geraghty, and Taylor. As an application, when $p$ is split completely in $F$, we prove a variant of Serre's weight conjecture for $\overlineρ$. The formulation of our Serre conjecture is done by following Toby Gee's philosophy. Applying…
We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of our earlier results that compute the Wiles defect at $λ_f: R=T \t…
We study in this paper Hida's p-adic Hecke algebra for GL_n over a CM field F. Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the non-abelian Leopoldt conjecture, and shown that his conjecture in the case of F being the rationals implies the classical Leopoldt conjecture for a number field K of degree n over the rationals, if one assumes further the existence of automorphic induction of characters for the extension K over the rationals. We study Hida's conjecture using the automorphy lifting techniques adapted to the GL_n setting by Calegari--Geraghty. W…
Let $F$ be a CM field and let $(\overline{r}_{π,λ})_λ$ be the compatible system of residual $\mathcal{G}_n$-valued representations of $\operatorname{Gal}_{F}$ attached to a RACSDC automorphic representation $π$ of $\operatorname{GL}_n(\mathbb{A})$, as studied by Clozel, Harris and Taylor and others. Under mild assumptions, we prove that the fixed-determinant universal deformation rings attached to $\overline{r}_{π,λ}$ are unobstructed for all places $λ$ in a subset of Dirichlet density $1$, continuing the investigations of Mazur, Weston and Gamzon. During the proof, we develop a general framew…