p-adic L-function of an ordinary weight 2 cusp form Measures on locally compact totally disconnected spaces
|
|
- Lilian Robbins
- 5 years ago
- Views:
Transcription
1 p-adic L-unction o an ordinary weight 2 cusp orm The ollowing exposition essentially summarizes one section o the excellent article [MS]. For any ixed cusp orm S 2 (Γ 0 (N), Q), we will associate a p-adic modular orm on weight space. The idea is to produce a measure on weight space Hom cont (Z p, Z p ) which interpolates on the characters < k > to give the special values 1 τ(χ, 1)L(, χ, 1) αn Ω χ( 1) This constructs one hal o the 2-variable p-adic analytic L-unction associated to any Hida ordinary amily. We will not discuss Hida amilies here. Measures on locally compact totally disconnected spaces Let T be a locally compact totally disconnected space, e.g. G(Q p ) (resp. G(Z p )) or any linear algebraic group over Q p (resp. Z p ). Let W be an abelian group. Deinition. A W -valued distribution is a initely additive homomorphism µ : Step(T ) W, where Step(T ) denotes the locally constant Z-valued unctions. This is equivalent to a initely additive W -valued unction on compact open subsets o T. We denote the set o such distributions Dist(T, W ). Suppose T = lim T n or some inite (discrete) spaces T n with surjective transition maps T n+1 T n. Deine the norm map N : Dist(T n+1, W ) Dist(T n, W ) : (Nµ)(t) = t t µ(t ). We can express any distribution µ Dist(T, W ) as an inverse limit o distributions µ n : T n W satisying the norm compatibility condition. Remarks. (Nµ n+1 )(t) = µ n (t). It may help to think o the above compatibility condition in the context o the example T = Z p, T n = Z/p n Z, W = R and µ the distribution corresponding to Haar measure on Z p. 1
2 Note how reminiscent the norm map N is o Hecke operators, which are other instances o summing over the iber. More on that later. Distributions become more interesting when we endow W with an interesting topology and demand that our distributions be continuous. Namely, suppose that W is a p-adic Banach space; most useul to us will actually be the case where W is a inite dimensional vector space over a inite extension o Q p. Deinition. A W -valued measure on T is a continuous linear map rom the space o W -valued continuous unctions C 0 (T, W ) to W. By the above deinition, we see that i µ is a measure, then or any compact open U T, µ(1 U ) µ <. On the other hand, i µ Dist(T, W ) is any distribution or which µ(1 U ) is bounded or every compact open U, an approximating an arbitrary continuous W -valued unction on T by a step unction will show that µ extends uniquely to a measure. Example. The Dirac measures δ t () = (t) are indeed W -valued measures. Measures on groups Suppose G is a topological group which can be expressed as an inverse limit o quotients by inite index, normal subgroups G = lim G/G n where G 1 G 2 G 3... and G n = 0, which ensures that G is separated. There are canonical isomorphisms Dist(G/G n, O K ) i O K [G/G n ] µ g G/G n µ(g)g which are compatible with the earlier norm maps, i.e. the diagram Dist(G/G n+1, O K ) O K [G/G n+1 ] N Dist(G/G n, O K ) i i O K [G/G n ] commutes. The (O K -valued) Iwasawa algebra o G is the inverse limit Λ = O K [[G]] := lim O K [G/G n ]. It is a compact topological O K -algebra and the above maps i deine an isomorphism Dist(G, O K ) i Λ 2
3 where by deinition, we let µ α be the preimage o an element α o the Iwasawa algebra. For example, it is easy to check that or g G, the Dirac measure δ g = µ g, i.e. it corresponds to the element g O K [[G]]. The topology on the Iwasawa algebra is such that Lemma. The evaluation map is continuous. C(G, K) Λ K (, α) µ α () Continuity o the above evaluation map implies that any continuous homomorphism χ : G O K extends to a continuous homomorphism ρ : Λ O K o the Iwasawa algebra, by the ormula ρ(α) = µ α (χ). The Iwasawa algebra on groups essentially = Z n p We will deine p-adic L-unctions on weight space = Hom cont (Z p, Z p ). This group equals (Z/pZ) (1 + pz p ), and 1 + pz p is isomorphic to Z p by the logarithm map. This provides weight space with a linear p-adic structure. In general, Deinition. A linear p-adic structure on a compact group G is a decomposition G = C H together with an isomorphism o topological groups Z n p γ H. This linear structure gives an explicit coordinatization o the Iwasawa algebra o G. We let h i = γ(e i ) where e i is the tuple with a 1 in the i th coordinate and zeros in all other coordinates. Lemma 1. The linear structure γ provides a unique isomorphism Λ G O K [C] OK O K [[T 1,..., T n ]] h i T i + 1. Thus, we appear to be identiying the Iwasawa algebra with an algebra o analytic unctions. Though we won t deine them here, elements o the Iwasawa algebra are rigid analytic unctions on the unit polydisk (or a inite union o polydiscs). Let X = Hom cont (G, O K ) be weight space. Let F (X, O K) denote the O K -algebra o (rigidt) analytic unctions on X. 3
4 Proposition 1. The map is injective with image contained in F (X, O Cp ). Λ G C 0 (X, O Cp ) α ( µ α = χ µ α (χ)) Remark. The above map α µ α is a kind o Fourier transorm, associating a unction/measure on an abelian topological group to a unction on the dual group. Proo. This amounts to identiying the group algebra O Cp [[Z n p]] with O Cp [[T 1,..., T n ]]. The injectivity statement ollows rom a p-adic approximation theorem, the key point being the ollowing: Fact: Any unction on G/G n O K can be written as an O K -linear combination o characters on G/G n. From this, it is easy to show that we can uniormly approximate any unction by (locally constant) characters. So i α Λ G maps to 0, then µ α () = 0 or any C 0 (G, O K ), i.e.µ α = 0. But since the association α µ α is an isomorphism, α must be zero. Call the image o the homomorphism rom this proposition, a subalgebra o the analytic unctions F (X, O K ), the Iwasawa algebra. Serre s congruences Not every unction in F (X, O K ) lies in the image o the Iwasawa algebra. For example, take the case o X = Hom cont (Z p, O K ). Serre wrote down congruence conditions which completely characterize the image o the Iwasawa algebra inside F (X, Z p ) or the case X = Hom cont (1 + pzp, Z p ). We proceed to describe these congruences below. Let be a Z p -valued unction on Hom cont (1 + pz p, Z p ). Via the exponential map, we may view it as an analytic unction on Z p. We can express uniquely as (s) = ( ) s δ n. n n Let c in be the coeicient o Y i in Y (Y 1)...(Y n + 1). Then lies in the image o the Iwasawa algebra i the ollowing congruences are satisied: δ n 0 (mod p n ) or all n. val p ( n i=0 c inδ i p i ) val p (n!). Ignoring the speciics, we should expect some result o this type in analogy with real analysis. There, Paley-Winer type theorems relate the decay o Fourier transorm o a distribution to smoothness o the distribution itsel. The above congruence conditions pin down the necessary decay on the Fourier transorm in order or the distribution µ to be a measure. 4
5 Computation o special L-values Let (q) = a n q n be a weight 2 cusp orm or some congruence subgroup γ. Let χ be a Dirichlet character o conductor N. We have the ollowing lemma rom inite group theory. Lemma 1. For any character χ o (Z/mZ), we have the realtion χ(a)e 2πian/m = χ(n)τ(χ, 1). Proo. Let V be the space o unctions G = (Z/mZ) C. Consider the unction 0 (x) = e 2πix/m V. Then a (a)e 2πian/m = 0 (n). a Any convolution operator on a inite abelian group is semisimple. This right convolution operator commutes with let translations, and so its eigenspaces are representations o G. Since all representations o G are a sum o characters, it ollows that the eigenunctions o 0 are given by characters and so each character is an eigenunction. But then χ 0 (n) = c χ χ(n) or some constant c χ. Plugging in n = 1 gives c χ = χ 0 (1) = τ(χ, 1). Now let χ (q) = a n χ(n)q n be the twist o any cusp orm. Then by the above lemma, χ (z) = 1 τ(χ, 1) ollows easily. We can express L(, s) as the Mellin transorm a L(, s) = (2π)s Γ(s) mod m 0 χ(a)(z + a/m) (it)t s dt t. Thereore, or weight 2 cusp orms, the above computation shows that L(, χ, 1) = 1 τ(χ, 1) a (Z/mZ) χ(a) 2π a/m (it)dt. Thus, remembering that the modular symbols I ± were deined as periods o between ixed cusps and normalized by ixed (transcendental) periods Ω ± (see Brandon s notes), we get that τ(χ, 1)L(, χ, 1)/Ω χ( 1) = χ(a)i χ( 1) (a/m, ). a mod m Now let m = p n. I we squint our eyes, the above ormula looks like taking a Riemann sum o χ with respect to some measure I ± on Z p, namely the measure µ ± ({x Z p : x = a mod p n }) = I ± (a/pn, ). 5
6 This almost works. For µ ± through the equation or equivalently µ ± ({x Z p : x = a mod p n }) = to be a distribution, it must be initely additive. We can express that I ± (a/pn, ) = b (Z/p n+1 Z) µ ± ({x Z p : x = b mod p n+1 }) b (Z/p n+1 Z) I ± (b/pn+1, ). ( ) We ve used quotation marks above because both equalities are alse, though only mildly so. [PS, p.18] explains this lucidly, and we consolidate their explanation here or convenience. The right side o ( ) looks an awul lot like the action o the T p Hecke operator on the modular symbol I ± (a/pn, ), and indeed, the last equation above almost says that I ± (a/pn, ) is an eigensymbol o T p. But there are two problems with this. (1) The right side is not literally the action o T p on I ± (a/pn, ). We irst specialize the above discussion to the case where is an ordinary eigenorm. This means that T p I ± = a pi ± with a p a p-adic unit. Then a p I ± ( a p, ) = T pi ± n ( a p, ) ( ( n = I ± p 0 )) ( a p n, ) + = I ± ( a, ) + I ± pn 1 + jpn (a, ). p n+1 ( ( I ± 1 j 0 p )) ( a p n, ) The irst summand in this last expression appears to get in the way o the distribution property or µ ±. But it wouldn t be there i had been a unction o the U p operator, which ( ) p 0 is a sum over all o the above cosets except or. Unortunately, when we view as an old orm or Γ 0 (Np), it is not a U p -eigenunction. But span{(z), (pz)} is invariant under the U p operator, and it happens to have characteristic polynomial the Hecke polynomial x 2 a p x + p. Since a p is a p-adic unit, one o the roots α is a p-adic unit as well, and the second β is not. By an explicit computation, we ind that α (z) = (z) β(pz), β (z) = (z) α(pz) 6
7 are eigenvectors o U p with respective eigenvalues α and β. It thus ollows that αi ± α ( a p n, ) = I ± α ( a + jpn, ). p n+1 (2) The above equation would be the additivity we need, i not or the annoying α. We deal with this by setting µ ± ({x Z p : x = a mod p n }) = 1 α n I± α ( a p n, ). Finally, this satisies the additivity property we need. It is clear that integrating Dirichlet characters o p-power conductor against this modiied character µ χ( 1) will interpolate something related to special values o L(, χ, 1)/Ω χ( 1). We just need to igure out what. We can compute that I ± α = I ± 1 α I± ( p 0 This implies that or χ a primitive Dirichlet character modulo p n, that Z p χdµ χ( 1) = 1 α n = 1 α n = 1 α n a Z/p n Z χ(a)i χ( 1) a Z/p n Z χ(a)i χ( 1) a Z/p n Z χ(a)i χ( 1) But since χ is primitive, the inner sum ( a p n, ) 1 α n ). a Z/p n Z 1 ( a p n, ) 1 α n ( a p n, ) ( α χ(a)iχ( 1) p 0 1 α χ(a)iχ( 1) ( a Z/p n Z b (Z/p n 1 Z) a b mod p n 1 χ(a) = 0 ) ( a p n, ) a, ) pn 1 χ(a) 1 α Iχ( 1) a b mod p n 1 ( b, ). pn 1 or each b (Z/p n 1 Z). Thus, the inal line in the above equation simpliies tremendously to give 1 α n χ(a)i χ( 1) a Z/p n Z ( a p, ) = 1 τ(χ, 1)L(, χ, n 1)/Ωχ( 1) αn by our earlier comptuations using Birch s Lemma. Note the importance o having α be a p-adic unit. In order or dµ ± to be a measure, it is necessary and suicient or its values to be p-adically bounded as we integrate inite order characters. But this is the case because α is a p-adic unit, and the Z-module o (period-normalized) modular symbols is initely generated. Thus, the p-adic absolute value o any modular symbol is no greater than the maximum over a inite generating set. 7
8 Appendix: Hecke Operators Later on, we will encounter various expressions that look like Hecke actions on X 0 (N), which can be somewhat tricky when p divides N. The goal o this section is to understand this properly, especially the distinction between T p and U p. Suppose that p does not divide N. For any positive integer M, X 0 (M) is a coarse moduli space or the unctor S (E/S, C/S)/ = o isomorphism classes generalized elliptic curves together with a intie lat cyclic subgroup o order M E sm. Remark. There are subtleties with the notion o cyclicity. But we ll really only need Hecke operators in the case o S = C, where cyclic subgroups are just vanilla cyclic groups. Since C is cyclic o order Np, it has a unique subgroup, C 1, and a unique quotient C/C 2 which are order N. Then we can deine the Hecke correspondence T p through two degeneracy maps The Hecke operator T p is deined to be X 0 (N) π 1 X 0 (Np) π 2 X 0 (N) (E, C 1 ) π 1 (E, C) π 2 (E/C 2, C/C 2 ). T p = (π 2 ) π 1. When p divides the level N, we rename this Hecke operator to be U p. Note that T p always has degree p + 1, whereas U p has degree p. This comes down to some group theory. Suppose that (N, p) = 1. Then i (E, C) is an elliptic curve with a cyclic subgroup o order N, how many elements lie in its preimage by π 1? We must ind all subgroups o (Z/NpZ) 2 = (Z/NZ) 2 (Z/pZ) 2 which contain a ixed cyclic subgroup o order N. The cyclic subgroup must be contained entirely within the (Z/NZ) 2 actor, and we need to count the number o cyclic subgroups o (Z/pZ) 2 o order p. This is exactly p + 1 (the number o lines in a 2 dimensional F p vector space). Suppose that N = p r M or some r > 0, (M, p) = 1. Then we must ind all cyclic subgroups o order Np = p r+1 M contained in (Z/NpZ) 2 = (Z/MZ) 2 (Z/p r+1 Z) 2 which contain a ixed cyclic group o order Mp r. Equivalently, we must ind the number o cyclic subgroups D o order p r+1 contained in the cyclic subgroup (Z/p r Z) 2 which contain a ixed cyclic subgroup C o order p r. GL 2 (Z/p r+1 Z) acts transitively on the set o such lags C D. For the standard lag, C D consisting o appropriate multiples o the irst standard basis vector, the elements o GL 2 (Z/p r+1 Z) which stabilize C are ( ) unit ap r unit 8
9 and the elements which stabilize D are ( ) unit 0 unit The ratio Stab(C)/Stab(D) = p, and so U p has degree p. Explicitly, with respect to the isomorphism we see that and Γ 0 (N)\H X 0 (N)(C) : Γ 0 (N)z ( z, 1, 1/N ) T p (z) = ( p 0 U p (z) = ) z + ( 1 j 0 p ( 1 j 0 p The Hecke action on a weight 2 cusp orm (z) is then computed through its induced pullback ollowed by pushorward action on the dierential (z)dz: (( ) ) (( ) ) p 0 p 0 T p ((z)dz) = z d z + (( ) ) (( ) ) 1 j 1 j z d z 0 p 0 p and similarly or U p (just excluding the irst summand rom the above expression). The action at the level o the q-expansion o is thereby readily computed: ) z. U p ( a n q n ) = a np q n ) z T p ( a n q n ) = a np q n + p a n q pn. Earlier in our exposition o p-stabilization, we made use o the ollowing: Lemma 1. Suppose that is an eigenorm o T p acting on S 2 (Γ 0 (N)) with (N, p) = 1. Then span{(z), (pz)} is preserved by the U p operator acting on S 2 (Γ 0 (Np)). Proo. Note that or S 2 (Γ 0 (N)), we can express ( ) p 0 T p (z) = U p (z) + = U p (z) + (pz). But we can directly express the U p action on the q-expansion o. I (z) = a n q n, then (pz) = a n q pn and So i T p = a p, then U p ((pz)) = U p ( a n q pn ) = a n q n = (z). so the span is clearly stable. U p (z) = a p (z) (pz), U p (pz) = (z). 9
10 I α and β are the roots o the above characteristic polynomial x 2 a p x + p, then α = (z) β(pz), β = (z) α(pz) are eigenvectors o U p with respective eigenvalues α and β. I is an ordinary eigenorm or T p, then a p is a p-adic unit and so one root α is a p-adic unit too. We call α the ordinary p-stabilization o (and β the non-ordinary p-stabilization o ). Reerences Mazur, Swinnerton-Dyer. The Arithmetic o Weil Curves. Inventiones (1974). Pollack, Stevens. Overcovergent Modular Symbols. Arizona Winter School Notes (2011). 10
p-adic L-functions for Dirichlet characters
p-adic L-functions for Dirichlet characters Rebecca Bellovin 1 Notation and conventions Before we begin, we fix a bit of notation. We mae the following convention: for a fixed prime p, we set q = p if
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationTWO-VARIABLE p-adic L-FUNCTIONS
TWO-VARIABE p-adic -FUNCTIONS PAYMAN KASSAEI 1. Introduction This is a write-up of my talk in the Stanford reading group on the work of Bertolini- Darmon. The objective of my talk is to present a construction
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationMATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN
MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic
More informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationQuestion 1: Are there any non-anomalous eigenforms φ of weight different from 2 such that L χ (φ) = 0?
May 12, 2003 Anomalous eigenforms and the two-variable p-adic L-function (B Mazur) A p-ordinary p-adic modular (cuspidal) eigenform (for almost all Hecke operators T l with l p and for the Atkin-Lehner
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationp-adic Modular Forms: Serre, Katz, Coleman, Kassaei
p-adic Modular Forms: Serre, Katz, Coleman, Kassaei Nadim Rustom University of Copenhagen June 17, 2013 1 Serre p-adic modular forms Formes modulaires et fonctions zêta p-adiques, Modular Functions of
More informationRank Lowering Linear Maps and Multiple Dirichlet Series Associated to GL(n, R)
Pure and Applied Mathematics Quarterly Volume, Number Special Issue: In honor o John H Coates, Part o 6 65, 6 Ran Lowering Linear Maps and Multiple Dirichlet Series Associated to GLn, R Introduction Dorian
More informationp-adic families of modular forms
April 3, 2009 Plan Background and Motivation Lecture 1 Background and Motivation Overconvergent p-adic modular forms The canonical subgroup and the U p operator Families of p-adic modular forms - Strategies
More informationFluctuationlessness Theorem and its Application to Boundary Value Problems of ODEs
Fluctuationlessness Theorem and its Application to Boundary Value Problems o ODEs NEJLA ALTAY İstanbul Technical University Inormatics Institute Maslak, 34469, İstanbul TÜRKİYE TURKEY) nejla@be.itu.edu.tr
More informationCritical p-adic L-functions and applications to CM forms Goa, India. August 16, 2010
Critical p-adic L-functions and applications to CM forms Goa, India Joël Bellaïche August 16, 2010 Objectives Objectives: 1. To give an analytic construction of the p-adic L-function of a modular form
More informationVARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES
VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite
More informationOVERCONVERGENT MODULAR SYMBOLS
OVERCONVERGENT MODULAR SYMBOLS ROBERT POLLACK 1. Introduction The theory of overconvergent modular symbols was created by Glenn Stevens over 20 years ago, and since then the subject has had many generalizations
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationModular Curves and Modular Forms
Modular Curves and Modular Forms Yonatan Harpaz November 12, 2008 Contents 1 Introduction 2 2 The Upper Hal Plain and its Quotients 2 3 Modular Curves 6 3.1 Introduction............................. 6
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationA NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3185 3189 S 0002-9939(97)04112-9 A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES BENJI FISHER (Communicated by
More informationEXPANSIVE ALGEBRAIC ACTIONS OF DISCRETE RESIDUALLY FINITE AMENABLE GROUPS AND THEIR ENTROPY
EXPANSIVE ALGEBRAIC ACTIONS OF DISCRETE RESIDUALLY FINITE AMENABLE GROUPS AND THEIR ENTROPY CHRISTOPHER DENINGER AND KLAUS SCHMIDT Abstract. We prove an entropy ormula or certain expansive actions o a
More informationChing-Li Chai 1. Let p be a prime number, fixed throughout this note. Our central question is:
1. Introduction Methods or p-adic monodromy Ching-Li Chai 1 Let p be a prime number, ixed throughout this note. Our central question is: How to show that the p-adic monodromy o a modular amily o abelian
More information2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction
. ETA EVALUATIONS USING WEBER FUNCTIONS Introduction So ar we have seen some o the methods or providing eta evaluations that appear in the literature and we have seen some o the interesting properties
More informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationReview of Prerequisite Skills for Unit # 2 (Derivatives) U2L2: Sec.2.1 The Derivative Function
UL1: Review o Prerequisite Skills or Unit # (Derivatives) Working with the properties o exponents Simpliying radical expressions Finding the slopes o parallel and perpendicular lines Simpliying rational
More informationThe Galois Representation Associated to Modular Forms (Part I)
The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and
More informationTransition to the Adele Group
1 Transition to the Adele Group This lecture transfers functions on the complex upper half plane that satisfy classical conditions to functions on a Lie group that satisfy more natural conditions, and
More informationConverse theorems for modular L-functions
Converse theorems for modular L-functions Giamila Zaghloul PhD Seminars Università degli studi di Genova Dipartimento di Matematica 10 novembre 2016 Giamila Zaghloul (DIMA unige) Converse theorems 10 novembre
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationProblem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationRing theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory
Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.
More information2 Coherent D-Modules. 2.1 Good filtrations
2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules
More informationSTAT 801: Mathematical Statistics. Hypothesis Testing
STAT 801: Mathematical Statistics Hypothesis Testing Hypothesis testing: a statistical problem where you must choose, on the basis o data X, between two alternatives. We ormalize this as the problem o
More informationHeuristics for the growth of Mordell-Weil ranks in big extensions of number fields
Heuristics for the growth of Mordell-Weil ranks in big extensions of number fields Barry Mazur, Harvard University Karl Rubin, UC Irvine Banff, June 2016 Mazur & Rubin Heuristics for growth of Mordell-Weil
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationOn some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3)
Bull. Math. Soc. Sci. Math. Roumanie Tome 61 (109) No. 1, 2018, 3 11 On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3) Dedicated to the
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationarxiv: v2 [math.nt] 29 Mar 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 30, 207 arxiv:703.0563v2 [math.nt] 29 Mar 207 Abstract. Following the natural instinct that when a group operates on
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationRiemann s theta formula
Riemann s theta ormula Ching-Li Chai version 12/03/2014 There is a myriad o identities satisied by the Riemann theta unction θ(z;ω) and its close relatives θ [ a b] (z;ω). The most amous among these theta
More informationAppendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [Ur14].
Appendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [r14]. A.1. Introduction. In [r14], the author introduced nearly overconvergent modular forms of finite
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationNAP Module 4. Homework 2 Friday, July 14, 2017.
NAP 2017. Module 4. Homework 2 Friday, July 14, 2017. These excercises are due July 21, 2017, at 10 pm. Nepal time. Please, send them to nap@rnta.eu, to laurageatti@gmail.com and schoo.rene@gmail.com.
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More informationObjectives. By the time the student is finished with this section of the workbook, he/she should be able
FUNCTIONS Quadratic Functions......8 Absolute Value Functions.....48 Translations o Functions..57 Radical Functions...61 Eponential Functions...7 Logarithmic Functions......8 Cubic Functions......91 Piece-Wise
More informationGrowth of Hecke fields over a slope 0 family
Growth of Hecke fields over a slope 0 family Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A conference talk on January 27, 2014 at Simons Conference (Puerto Rico). The
More informationSAITO-KUROKAWA LIFTS AND APPLICATIONS TO ARITHMETIC
SAITO-KUROKAWA LIFTS AND APPLICATIONS TO ARITHMETIC JIM L. BROWN Abstract. In this short survey paper we present an outline or using the Saito-Kurokawa correspondence to provide evidence or the Bloch-Kato
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationCHAPTER 8 THE HECKE ORBIT CONJECTURE: A SURVEY AND OUTLOOK
CHAPTER 8 THE HECKE ORBIT CONJECTURE: A SURVEY AND OUTLOOK CHING-LI CHAI & FRANS OORT 1. Introduction Entry 15 o [41], Hecke orbits, contains the ollowing prediction. Given any F p -point x = [(A x, λ
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationGENERAL ABSTRACT NONSENSE
GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More information1. Introduction Let E be an elliptic curve over Q. We recall that the Tate-Shafarevich group of E/Q is defined by
Bull. Korean Math. Soc. 50 (2013), No. 2, pp. 407 416 http://dx.doi.org/10.4134/bkms.2013.50.2.407 ON THE p-primary PART OF TATE-SHAFAREVICH GROUP OF ELLIPTIC CURVES OVER Q WHEN p IS SUPERSINGULAR Dohyeong
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationTHE CRYSTALLINE PERIOD OF A HEIGHT ONE p-adic DYNAMICAL SYSTEM
THE CRYSTALLINE PERIOD OF A HEIGHT ONE p-adic DYNAMICAL SYSTEM JOEL SPECTER Abstract. Let be a continuous ring endomorphism o Z p x /Z p o degree p. We prove that i acts on the tangent space at 0 by a
More informationKIDA S FORMULA AND CONGRUENCES
KIDA S FORMULA AND CONGRUENCES ROBERT POLLACK AND TOM WESTON 1. Introduction Let f be a modular eigenform of weight at least two and let F be a finite abelian extension of Q. Fix an odd prime p at which
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationAUTOMORPHIC FORMS NOTES, PART I
AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,
More informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationLogarithm of a Function, a Well-Posed Inverse Problem
American Journal o Computational Mathematics, 4, 4, -5 Published Online February 4 (http://www.scirp.org/journal/ajcm http://dx.doi.org/.436/ajcm.4.4 Logarithm o a Function, a Well-Posed Inverse Problem
More informationON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS. Daniel Delbourgo (Received 30 October, 2014)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 45 2015), 33-38 ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS Daniel Delbourgo Received 30 October, 2014) Abstract. We prove the exceptional
More informationHom M (J P (V ), U) Hom M (U(δ), J P (V )),
Draft: October 10, 2007 JACQUET MODULES OF LOCALLY ANALYTIC RERESENTATIONS OF p-adic REDUCTIVE GROUS II. THE RELATION TO ARABOLIC INDUCTION Matthew Emerton Northwestern University To Nicholas Contents
More information