The lack of a $p$-adic Haar measure causes many methods of traditional representation theory to break down when applied to continuous representations of a compact $p$-adic Lie group $G$ in Banach spaces over a given $p$-adic field $K$. For example, Diarra showed that the abelian group $G=\dZ$ has an enormous wealth of infinite dimensional, topologically irreducible Banach space representations.
We therefore address the problem of finding an additional ''finiteness'' condition on such representations that will lead to a reasonable theory. We introduce such a condition that we call ''admissibility''. We show that the category of all admissible $G$-representations is reasonable -- in fact, it is abelian and of a purely algebraic nature -- by showing that it is anti-equivalent to the category of all finitely generated modules over a certain kind of completed group ring $K[[G]]$.
As an application of our methods we determine the topological irreducibility as well as the intertwining maps for representations of $GL_2(\dZ)$ obtained by induction of a continuous character from the subgroup of lower triangular matrices.
We establish duality theory of p-adic unitary Banach representations of locally profinite groups. This is an extension of Iwasawa theory for profinite groups by P. Schneider and J. Teitelbaum. We also establish a criterion for an irreducibility of a unitary representation by certain simpleness of the Iwasawa module dual to it. Through the duality, the continuous induction of a unitary Banach representation of a closed subgroup is interpreted as a certain induction of Iwasawa module. It gives an explicit description of the dual of a continuous parabolic induction on GL_n(Q_p).
Let $Π$ be a cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb{A_Q})$ and let $p$ be an odd prime at which $Π$ is unramified. In a recent work, Barrera, Dimitrov and Williams constructed possibly unbounded $p$-adic $L$-functions interpolating complex $L$-values of $Π$ in the non-ordinary case. Under certain assumptions, we construct two \textit{bounded} $p$-adic $L$-functions for $Π$, thus extending an earlier work of Rockwood by relaxing the Pollack condition. Using Langlands local-global compatibility, we define signed Selmer groups over the $p$-adic cyclotomic extension of $\…
We begin a systematic investigation of universal norms for $p$-adic representations in higher rank Iwasawa theory. After establishing the basic properties of the module of higher rank universal norms we construct an Iwasawa-theoretic pairing that is relevant to this setting. This allows us, for example, to refine the classical Iwasawa Main Conjecture for cyclotomic fields, and also to give applications to various well-known conjectures in arithmetic concerning Iwasawa invariants and leading terms of $L$-functions.
Let G be a locally analytic group. We use deformation theory and Emerton's 'augmented' Iwasawa modules to study the possible liftings of a given absolutely irreducible smooth modular representation of G to a unitary Banach space representation. Final version. Some minor items changed. Appears in Israel J. Math.
In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of the…
A result due to R. Greenberg gives a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic $\mathbb Z_p$-extensions at good ordinary primes $p$. We extend Greenberg's result to more general $p$-adic Galois representations, including a large subclass of those attached to $p$-ordinary modular forms of level $Γ_0(N)$ with $p\nmid N$.
For an odd prime $p$ and a supersingular elliptic curve over a number field, this article introduces a fine signed residual Selmer group, under certain hypotheses on the base field. This group depends purely on the residual representation at $p$, yet captures information about the Iwasawa theoretic invariants of the signed $p^\infty$-Selmer group that arise in supersingular Iwasawa theory. Working in this residual setting provides a natural framework for studying congruences modulo $p$ in Iwasawa theory.
This article is the first of a pair of articles dealing with the Iwasawa theory of modular forms of weight 1 and, more generally, of Artin representations satisfying certain conditions. The main results in this part analyze the structure of certain Selmer groups for the Artin representation. In particular, it is shown that the Selmer groups are co-torsion as $Λ$-modules. For each Selmer group, we consider a generator of the characteristic ideal of its Pontrjagin dual. We call that the algebraic p-adic L-function. We also construct an analytic $p$-adic L-function via deformation to higher weigh…
Variation of Iwasawa Invariants for Ordinary Representations
Harish Chandra Research Institute, A CI of Homi Bhabha National Institute（哈拉·钱德拉研究所，霍米·巴巴国立学院下属机构）；Indian Institute of Science Education and Research Mohali（印度科学教育与研究学院莫哈利分校）；Indian Institute of Science, Bengaluru（印度科学学院班加罗尔校区）
In the present paper, we study the $p$-adic $L$-functions and the (strict) Selmer groups over $\mathbb{Q}_{\infty}$, the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$, of the $p$-adic weight one cusp forms $f$, obtained via the $p$-stabilization of weight one Eisenstein series, under the assumption that a certain Eisenstein component of the $p$-ordinary universal cuspidal Hecke algebra is Gorenstein. As an application, we compute the Iwasawa invariants of ordinary modular forms of weight $k\geq 2$ with the same residual Galois representations as the one of $f$, which in our setting, is r…
We study the behavior of Iwasawa invariants among ordinary deformations of a fixed residual Galois representation taking values in a reductive algebraic group G. In particular, under the assumption that these Selmer groups are cotorsion modules over the Iwasawa algebra, we show that the vanishing of the mu invariant is independent of the deformation, while the lambda invariant depends only on the ramification. This generalizes work of Greenberg-Vatsal and Emerton-Pollack and the author in the case G = GL(2).
Iwasawa algebras of compact $p$-adic Lie groups are completed group algebras with applications in number theory in studying class numbers of towers of number fields and representation theory of $p$-adic Lie groups. In our earlier work, we determined an explicit presentation of the Iwasawa algebra for the first principal congruence kernel of Chevalley groups over $\mathbb{Z}_p$. In this paper, for prime $p>n+1$, we extend our result to determine the explicit presentation, in the form of generators and relations, of the Iwasawa algebra of the pro-$p$ Iwahori subgroup of $GL_n(\mathbb{Z}_p)$.
For a crystalline p-adic representation of the absolute Galois group of Qp, we define a family of Coleman maps (linear maps from the Iwasawa cohomology of the representation to the Iwasawa algebra), using the theory of Wach modules. Let f = sum(a_n q^n) be a normalized new modular eigenform and p an odd prime at which f is either good ordinary or supersingular. By applying our theory to the p-adic representation associated to f, we define two Coleman maps with values in the Iwasawa algebra of Zp^* (after extending scalars to some extension of Qp). Applying these maps to the Kato zeta elements …
Given two elliptic curves $E_1$ and $E_2$ defined over the field of rational numbers, $\mathbb{Q}$, with good reduction at an odd prime $p$ and equivalent mod $p$ Galois representation, we compare the $p$-Selmer rank, global and local root numbers of $E_1$ and $E_2$ over number fields.
Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups
McGill University（麦吉尔大学）；Rutgers University（罗格斯大学）；UC San Diego（加州大学圣地亚哥分校）；University of Michigan（密歇根大学）；CUNY Baruch College（纽约市立大学巴鲁克学院）；Duke University（杜克大学）
Iwasawa theory of Heegner points on abelian varieties of GL_2 type has been studied by, among others, Mazur, Perrin-Riou, Bertolini and Howard. The purpose of this paper, the first in a series of two, is to describe extensions of some of their results in which abelian varieties are replaced by the Galois cohomology of Deligne's p-adic representation attached to a modular form f of even weight >2. In this more general setting, the role of Heegner points is played by higher-dimensional Heegner cycles in the sense of Nekovář. In particular, we prove that the Pontryagin dual of a certain Bloch-Kat…
In \citenospec{MR1097615} several spectral sequences for (global and local) Iwasawa modules over (not necessarily commutative) Iwasawa algebras (mainly of $p$-adic Lie groups) over $\Z_p$ are established, which are very useful for determining certain properties of such modules in arithmetic applications. Slight generalizations of said results can be found in \citenospec{MR2333680} (for abelian groups and more general coefficient rings), \citenospec{MR1924402} (for products of not necessarily abelian groups, but with $\Z_p$-coefficients), and \citenospec{MR3084561}. Unfortunately, some of Janns…
In this paper, we define a two-variable analogue of Perrin-Riou's p-adic regulator map for the Iwasawa cohomology of a crystalline representation of the absolute Galois group of $\mathbf{Q}_p$, over a Galois extension of $\mathbf{Q}_p$ whose Galois group is an abelian p-adic Lie group of dimension 2. We use this regulator map to study p-adic representations of global Galois groups over certain abelian extensions of number fields whose localisation at the primes above p are extensions of the above type. In the example of the restriction to an imaginary quadratic field of the representation atta…
In this article, we study a relation between certain quotients of ideal class groups and the cyclotomic Iwasawa module $X_\infty$ of the Pontrjagin dual of the fine Selmer group of an elliptic curve $E$ defined over $\mathbb{Q}$. We consider the Galois extension field $K^E_n$ of $\mathbb{Q}$ generated by coordinates of all $p^n$-torsion points of $E$, and introduce a quotient $A^E_n$ of the $p$-sylow subgroup of the ideal class group of $K^E_n$ cut out by the modulo $p^n$ Galois representation $E[p^n]$. We describe the asymptotic behavior of $A^E_n$ by using the Iwasawa module $X_\infty$. In p…
Let $k$ be a local field with valuation ring $O_k$ and residue field $\overline{k}$. We extend Hahn--Banach theorem for the class of seminormed $k$-vector spaces to several classes of locally convex spaces and subspaces over $k$, $O_k$, and $\overline{k}$. We establish analogues of Iwasawa-type duality for several classes of locally convex spaces over $k$, $O_k$, and $\overline{k}$.
In this paper, we are going to establish a simultaneous generalization of the relative Iwasawa theory proposed by Kedlaya-Pottharst and the relative $p$-adic Hodge theory after Kedlaya-Liu. We call this Hodge-Iwasawa theory in the sense that one could apply the theory to study noncommutative Iwasawa cohomology and noncommutative Iwasawa theories in families and meanwhile one could apply the theory to study the deformation theory of étale local systems or families of representations of fundamental groups or the equivariant constructible $p$-adic sheaves, with more sophisticated point of view co…
We show that the continuous cohomology groups of a $ p $-adic reductive group with coefficients in the locally analytic vectors of an admissible $ \mathbb{Q}_p $-Banach space representation are homeomorphic to those with coefficients in the Banach space representation itself. Moreover, we deduce that the canonical topologies on those continuous cohomology groups are Hausdorff and are the uniquely determined finest locally convex topologies.
Let $p$ be an odd prime. We prove the cyclotomic Iwasawa Main Conjecture of K.Kato for the motive attached to an eigencuspform $f\in S_{k}(Γ_{0}(N))$ with arbitrary reduction type at $p$ under mild assumptions on the residual Galois representation $\barρ_{f}$. Under the same hypotheses, we also prove the generalized Iwasawa Main Conjecture for $p$-adic families of modular forms. The Iwasawa Main Conjecture for $f$ is deduced by a limit argument involving fundamental lines from a universal Iwasawa Main Conjecture over the universal deformation space of $\barρ_{f}$, which itself follows from the…
Let $p$ be a prime number, and $G$ a compact $p$-adic Lie group. We recall that the Iwasawa algebra $Λ(G)$ is defined to be the completed group ring of $G$ over the ring of $p$-adic integers. Interesting examples of finitely generated modules over $Λ(G),$ in which $G$ is the image of Galois in the automorphism group of a $p$-adic Galois representation, abound in arithmetic geometry. The study of such $Λ(G)$-modules arising from arithmetic geometry can be thought of as a natural generalization of Iwasawa theory. One of the cornerstones of classical Iwasawa theory is the fact that, when $G$ is t…
We take some initial steps towards illuminating the (hypothetical) $p$-adic local Langlands functoriality principle relating Galois representations of a $p$-adic field $L$ and admissible unitary Banach space representations of $G(L)$ when $G$ is a split reductive group over $L$. The outline of our work is derived from Breuil's remarkable insights into the nature of the correspondence between 2-dimensional crystalline Galois representations of the Galois group of $\Qdss_p$ and Banach space representations of $GL_{2}(\Qdss_p)$.
Computing the Iwasawa $μ$-Invariants for Elliptic Curves over $\mathbb{Z}_2$-Extensions
The University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）；Morningside Center of Mathematics（数学与系统科学研究院；中国科学院）；Academy of Mathematics and Systems Sciences, Chinese Academy of Science
Iwasawa theory of Heegner points on abelian varieties of GL_2 type has been studied by, among others, Mazur, Perrin-Riou, Bertolini and Howard. The purpose of this paper is to describe extensions of some of their results in which abelian varieties are replaced by the Galois cohomology of Deligne's p-adic representation attached to a modular form of even weight >2. In this setting, the role of Heegner points is played by higher-dimensional Heegner-type cycles that have been recently defined by Bertolini, Darmon and Prasanna. Our results should be compared with those obtained, via deformation-th…
The purpose of this paper is to build on results in {\it{higher codimension Iwasawa theory}}. The setting of our results involves Galois representations arising as cyclotomic twist deformations associated to (i) the tensor product of two cuspidal Hida families $F$ and $G$, and (ii) the tensor product of three cuspidal Hida families $F$, $G$ and $H$. On the analytic side, we consider (i) a pair of $3$-variable Rankin-Selberg $p$-adic $L$-functions constructed by Hida and (ii) a balanced $4$-variable $p$-adic $L$-function (due to Hsieh and Yamana) and an unbalanced $4$-variable $p$-adic $L$-func…
We prove a formula (analogous to that of Kida in classical Iwasawa theory and generalizing that of Hachimori-Matsuno for elliptic curves) giving the analytic and algebraic p-adic Iwasawa invariants of a modular eigenform over an abelian p-extension of Q to its p-adic Iwasawa invariants over Q. On the algebraic side our methods, which make use of congruences between modular forms, yield a Kida-type formula for a very general class of ordinary Galois representations. We are further able to deduce a Kida-type formula for elliptic curves at supersingular primes.
In this paper we develop a new method to study Iwasawa theory and Eisenstein families for unitary groups $\mathrm{U}(r,s)$ of general signature over a totally real field $F$. As a consequence we prove that for a motive corresponding to a regular algebraic cuspidal automorphic representation $π$ on $\mathrm{U}(r,s)_{/F}$ which is ordinary at $p$, twisted by a Hecke character, if its Selmer group has rank $0$, then the corresponding central $L$-value is nonzero. This generalizes a result of Skinner-Urban in their ICM 2006 report in the special case when $F=\mathbb{Q}$ and the motive is conjugate…
In \cite[\S1.3]{Br2}, some unitary representations of ${\rm GL}_2(\mathbf{Q}_p)$ on $p$-adic Banach spaces are associated to 2-dimensional irreducible crystalline representations of ${\rm Gal}(\bar{\mathbf{Q}}_p)/\mathbf{Q}_p)$. Some conjectures are formulated concerning those Banach spaces (non triviality, topological irreducibility, admissibility). We prove those conjectures by reinterpreting those Banach as spaces of functions of a certain type on $\mathbf{Q}_p$, and then by using the theory of $(ϕ,Γ)$-modules associated to the corresponding crystalline representations.
In this paper, we compare the structure of Selmer groups of certain classes of Galois representations over an admissible $p$-adic Lie extension. Namely, we show that the $π$-primary submodules of the Pontryagin dual of the Selmer groups of two Galois representations have the same elementary representations when the two Galois representations in question are either Tate dual to each other or are congruent to each other. In the first situation, our result gives a partial answer to the question of Greenberg on whether the Pontryagin dual of the Selmer groups of two Galois representations that are…
We compare the Pontryagin duals of fine Selmer groups of two congruent $p$-adic Galois representations over admissible pro-$p$, $p$-adic Lie extensions $K_\infty$ of number fields $K$. We prove that in several natural settings the $π$-primary submodules of the Pontryagin duals are pseudo-isomorphic over the Iwasawa algebra; if the coranks of the fine Selmer groups are not equal, then we can still prove inequalities between the $μ$-invariants. In the special case of a $\mathbb{Z}_p$-extension $K_\infty/K$, we also compare the Iwasawa $λ$-invariants of the fine Selmer groups, even in situations …
Distributions of Iwasawa $λ$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院理学研究科）；Graduate School of Natural Science & Technology, Kanazawa University（金泽大学自然科学与技术大学院）
For a local field $F$ and an Artinian local coefficient ring $Λ$ with the same positive residue characteristic $p$ we define, for any $e\in{\mathbb N}$, a category ${\mathfrak C}^{(e)}(Λ)$ of ${\rm GL}_2(F)$-equivariant coefficient systems on the Bruhat-Tits tree $X$ of ${\rm PGL}_2(F)$. There is an obvious functor from the category of ${\rm GL}_2(F)$-representations over $Λ$ to ${\mathfrak C}^{(e)}(Λ)$. If $F={\mathbb Q}_p$ then ${\mathfrak C}^{(1)}(Λ)$ is equivalent to the category of smooth ${\rm GL}_2({\mathbb Q}_p)$-representations over $Λ$ generated by their invariants under a pro-$p$-Iw…
We investigate a question of Burns and Sano concerning the structure of the module of Euler systems for a general $p$-adic representation. Assuming the weak Leopoldt conjecture, and the vanishing of $μ$-invariants of natural Iwasawa modules, we obtain an Iwasawa-theoretic classification criterion for Euler systems which can be used to study this module. This criterion, taken together with Coleman's conjecture on circular distributions, leads us to pose a refinement of the aforementioned question for which we provide strong, and unconditional, evidence. We furthermore answer this question in th…
We study the Schneider-Vigneras functor attaching a module over the Iwasawa algebra $Λ(N_0)$ to a $B$-representation for irreducible modulo $π$ principal series of the group $\mathrm{GL}_n(F)$ for any finite field extension $F|\mathbb{Q}_p$.
We construct some admissible Banach representations of GL_2(Q_p) that conjecturally should correspond to some 2-dimensional tamely ramified, potentially Barsotti-Tate representations of G_{Q_p} via the p-adic local Langlands correspondence. To achieve this, we generalize Breuil's work in the semi-stable case and work on the first covering of Drinfel'd upper half plane. Our main tool is an explicit semi-stable model of the first covering.
The main conjecture of Iwasawa theory is a conjecture on the relation between a Selmer group and a conjectural $p$-adic $L$-function. This conjectural $p$-adic $L$-function is expected to satisfy a conjectural functional equation in a certain sense. In view of the main conjecture and this conjectural functional equation, one would expect to have certain algebraic relationship between the Selmer group attached to a Galois representation and the Selmer group attached to the Tate twist of the dual of the Galois representation. It is precisely a component of this algebraic relationship that this p…
