arxiv: v2 [math.nt] 12 Dec 2018

Size: px
Start display at page:

Download "arxiv: v2 [math.nt] 12 Dec 2018"

Transcription

1 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this paper, we give an explicit formula for Langlands lambda function λ K/. arxiv: v2 [math.nt] 12 Dec Introduction Let K/ be a finite subextension (but need not be Galois) in /, where is an algebraic closure of a non-archimedean local field of characteristic zero. Let ψ be a nontrivial additive character of. Then Langlands s lambda function (or simply λ-function) (cf. [8]) of the extension K/ is: λ K/ (ψ) := W (Ind G G K (1 K ), ψ), where 1 K is the trivial representation of G K := Gal( /K). Here W denotes for local constant (or epsilon factor) (cf. [13]). We also can define the λ-function via Deligne s constant c(ρ) := W (ρ) W (det(ρ)), where ρ is a finite dimensional representation of G and det(ρ) is the determinant of ρ. Langlands has shown (cf. Theorem 1 on p. 105 of [13]) that the local constants are weakly extendible functions. Therefore, to compute the local constant of any induced local Galois representation, we have to compute the λ-function explicitly. Since the local Langlands correspondence preserves local constants, the explicit computation of local constants is an important part of the Langlands program. In the automorphic side of the local Langlands correspondence, we have local converse theorem (cf. [4], [5]), but so far we do not have any such converse theorem in the Galois side because explicit computation of λ-functions (hence epsilon factors of local Galois representations) are not known. In the previous paper [2] the author gave an explicit computation of the lambda function for any tamely ramified Galois extension assuming the computation of the lambda function for a tamely ramified quadratic extension. In this paper we provide a formula for the tamely ramified quadratic case, thus completing the work in [2]. We should mention that in [11] Saito has computed the λ-function for an arbitrary extension assuming the residual characteristic of the base field is not equal to 2 (cf. Theorem on p. 508 of [11]). In Theorem II 2B on p. 508 of [11], when ramification index is even, Saito has computed the lambda functions for even degree extensions via the Legendre symbol and Hilbert symbol Mathematics Subject Classification. 11S37; 22E50 Keywords: Local fields, Local constants, Classical Gauss sums, Lambda functions. The author is partially supported by Infosys oundation, India. 1

2 2 BISWAS In this paper, we also compute this λ-functions for quadratic tamely ramified extensions. In our computation, we use the classical quadratic Gauss sums and these computations are different from the Saito s result and explicit. The main idea for tamely ramified quadratic extension case is to reduce the λ-functions computation to the classical quadratic Gauss sums computations. In this paper, as mentioned above, we compute lambda functions for quadratic tamely ramified extensions explicitly. This, together with the work in [2], yields an explicit computation of lambda functions for all tamely ramified extensions. We now state the main theorem of this paper. Theorem 1.1. Let K be a tamely ramified quadratic extension of /Q p with q = p s. Let ψ be the canonical additive character of. Let c with 1 = ν (c) + d /Qp, and c c =, where Tr /0 (pc) 0/Q p is the maximal unramified extension in /Q p. Let ψ 1 = c ψ, then where λ K/ (ψ ) = K/ (c ) λ K/ (ψ 1 ), ( 1) s 1 if p 1 (mod 4) λ K/ (ψ 1 ) = ( 1) s 1 i s if p 3 (mod 4). If we take c = π 1 d /Qp, where π is a norm for K/, then 1 if Tr (1.1) K/ (c /0 (pc) k ) = 0 = k is a square, 1 if Tr /0 (pc) k 0 = k is not a square. Here overline stands for modulo P 0 and c ψ (x) := ψ (c x) for all x. Remark 1.2. But in general, computation of λ K/, where K/ is a wildly ramified quadratic extension, seems subtle. When = Q 2, in Example , pp of [1], we have explicit computation for λ K/Q2. In [10], one also can find some particular cases (cf. on pp of [10]). But if /Q 2 is an arbitrary finite extension and K/ is quadratic extension, then computation of λ K/ is still open. And if K is an abelian extension with N K/ (K ) = 2, we have the following theorem. Theorem 1.3. Let be an extension of Q 2. N K/ (K ) = 2. Then λ K/ = 1. Let K be the abelian extension for which On pp. 7-8, Theorem 1.1 and Theorem 1.3 are proven. 2. Notations and Preliminaries Let be a non-archimedean local field of characteristic zero, i.e., a finite extension of the field Q p (field of p-adic numbers), where p is a prime. Let O be the ring of integers in the local field and P = π O is the unique prime ideal in O and π is a uniformizer, i.e., an element in P whose valuation is one, i.e., ν (π ) = 1. Let q be the cardinality of the residue field k of. Let U = O P be the group of units in O. Let P i = {x : ν (x) i} and for i 0 define U i = 1 + P i (with proviso U 0 = U = O ). We also consider that a(χ)

3 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS 3 is the conductor of nontrivial character χ : C, i.e., a(χ) is the smallest integer m 0 such that χ is trivial on U m. We say χ is unramified if the conductor of χ is zero and otherwise ramified. Throughout the paper, when K/ is unramified we choose uniformizers π K = π. And when K/ is ramified (both tame and wild) we choose uniformizers π = N K/ (π K ), where N K/ is the norm map from K to. In this paper K/ := det(ind K/ (1)). The conductor of any nontrivial additive character ψ of the field is an integer n(ψ) if ψ is trivial on P n(ψ), but nontrivial on P n(ψ) Local constant formula for character. or a nontrivial multiplicative character χ of and nontrivial additive character ψ of, we have (cf. [13], p. 94): (2.1) W (χ, ψ) = χ(c)q a(χ)/2 χ 1 (x)ψ(x/c), where c = π a(χ)+n(ψ). x U U a(χ) Definition 2.1 (Canonical additive character). We define the non trivial additive character of, ψ : C as the composition of the following four maps: where Tr /Qp Q α β γ p Q p /Z p Q/Z C, (1) Tr /Qp is the trace from to Q p, (2) α is the canonical surjection map, (3) β is the canonical injection which maps Q p /Z p onto the p-component of the divisible group Q/Z and (4) γ is the exponential map x e 2πix, where i = 1. or every x Q p, there is a rational r, uniquely determined modulo 1, such that x r Z p. Then ψ Qp (x) = ψ Qp (r) = e 2πir. The nontrivial additive character ψ = ψ Qp Tr /Qp of is called the canonical additive character (cf. [13], p. 92) Classical Gauss sums. Let k q be a finite field. Let p be the characteristic of k q ; then the prime field contained in k q is k p. The structure of the canonical additive character ψ q of k q is the same as the structure of the canonical (see the definition 2.1) character ψ, namely it comes by trace from the canonical character of the base field, i.e., where ψ q = ψ p Tr kq/k p, ψ p (x) := e 2πix p for all x k p. Gauss sums: Let χ, ψ be a multiplicative and an additive character respectively of k q. Then the Gauss sum G(χ, ψ) is defined by (2.2) G(χ, ψ) = x k q χ(x)ψ(x). or computation of λ K/, where K/ is a tamely ramified quadratic extension, we will use the following theorem.

4 4 BISWAS Theorem 2.2 ([9], p. 199, Theorem 5.15). Let k q be a finite field with q = p s, where p is an odd prime and s N. Let χ be the quadratic character of k q and let ψ be the canonical additive character of k q. Then ( 1) s 1 q 1 2 if p 1 (mod 4), (2.3) G(χ, ψ) = ( 1) s 1 i s q 1 2 if p 3 (mod 4). 3. Explicit computation of λ K/, where K/ is a quadratic extension Let K/ be a quadratic extension of the field /Q p. Let G = Gal(K/ ) be the Galois group of the extension K/. Let t be the ramification break or jump (cf. [12]) of the Galois group G (or of the extension K/ ). Then it can be proved that the conductor of ω K/ (the quadratic character of associated to K by class field theory) is t + 1. When K/ is unramified we have t = 1, therefore the conductor of a quadratic character ω K/ of is zero, i.e., ω K/ is unramified. And when K/ is tamely ramified we have t = 0, then a(ω K/ ) = 1. In the wildly ramified case (which occurs if p = 2) it can be proved that a(ω K/ ) = t + 1 is, up to the exceptional case t = 2 e /Q2, always an even number which can be seen by the filtration of (cf. p. 50 of [1]) Computation of λ K/, where K/ is a tamely ramified quadratic extension. The existence of a tamely ramified quadratic character χ (which is not unramified) of a local field implies p 2 for the residue characteristic. Then / 2 = V is isomorphic to Klein s 4-group. So we have only 3 nontrivial quadratic characters in that case, corresponding to 3 quadratic extensions K/. One is unramified and other two are ramified. The unramified case is well settled. The two ramified quadratic characters determine two different quadratic ramified extensions of. In the ramified case we have a(χ) = 1 because it is tame, and we take ψ of conductor 1. Then we have a(χ) + n(ψ) = 0 and therefore in the formula of W (χ, ψ) (cf. equation (2.1)) we can take c = 1. So we obtain: (3.1) W (χ, ψ) = q 1 2 χ 1 (x)ψ(x) = q 1 2 χ 1 (x)ψ (x), x U /U 1 x k where χ is the quadratic character of the residue field k, and ψ is an additive character of k. When n(ψ) = 1, we observe that both the ramified characters χ give the same χ, hence the same W (χ, ψ), because one is different from other by a quadratic unramified character twist. To compute an explicit formula for λ K/ (ψ 1 ), where K/ is a tamely ramified quadratic extension and ψ 1 is an additive character of with conductor 1, we need to use classical quadratic Gauss sums. Let ψ 1 be an additive character of /Q p of conductor 1, i.e., ψ 1 : /P C. Now restrict ψ 1 to O, it will be one of the characters a ψ q, for some a k q and usually it will not be ψ q itself. Therefore, choosing ψ 1 is very important and we have to choose ψ 1 such a way that its restriction to O is exactly ψ q. Then we will be able to use the

5 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS 5 quadratic classical Gauss sum in the λ-function computation. We also know that there exists an element c such that (3.2) ψ 1 = c ψ induces the canonical character ψ q on the residue field k. Now question is: inding proper c for which ψ 1 O = c ψ O = ψ q, i.e., the canonical character of the residue field k. rom the definition of conductor of the additive character ψ 1 of, we obtain from the construction (3.2) (3.3) 1 = ν (c) + n(ψ ) = ν (c) + d /Qp, where d /Qp is the exponent of the different D /Qp. In the next two lemmas we choose the proper c for our requirement. Lemma 3.1. Let /Q p be a local field and let ψ 1 be an additive character of of conductor 1. Let ψ be the canonical character of. Let c be any element such that 1 = ν (c) + d /Qp, and (3.4) Tr /0 (c) = 1 p, where 0 /Q p is the maximal unramified subextension in /Q p. Then the restriction of ψ 1 = c ψ to O is the canonical character ψ q of the residue field k of. Proof. Since 0 /Q p is the maximal unramified subextension in /Q p, we have π 0 = p, and the residue fields of and 0 are isomorphic, i.e., k 0 = k, because / 0 is totally ramified extension. Then every element of O /P can be considered as an element of O 0 /P 0. Moreover, since 0 /Q p is the maximal unramified extension, then from Proposition 2 of [14] on p. 140, for x O 0 we have ρ p (Tr 0 /Q p (x)) = Tr k0 /k Qp (ρ 0 (x)), where ρ 0, ρ p are the canonical homomorphisms of O 0 onto k 0, and of O Qp onto k Qp, respectively. Then for x k 0 we can write (3.5) Tr 0 /Q p (x) = Tr k0 /k Qp (x). urthermore, since / 0 is totally ramified, we have k tower of the residue fields k /k 0 /k Qp is: = k 0, then the trace map for the (3.6) Tr k /k Qp (x) = Tr k0 /k Qp Tr k /k 0 (x) = Tr k0 /k Qp (x), for all x k. Then from the equations (3.5) and (3.6) we obtain (3.7) Tr 0 /Q p (x) = Tr k /k Qp (x) for all x k.

6 6 BISWAS Since the conductor of ψ 1 is 1, for x O /P (= O 0 /P 0 because / 0 is totally ramified) we have ψ 1 (x) = c ψ (x) = ψ (cx) = ψ Qp (Tr /Qp (cx)) = ψ Qp (Tr 0 /Q p Tr /0 (cx)) = ψ Qp (Tr 0 /Q p (x Tr /0 (c))) = ψ Qp (Tr 0 /Q p ( 1 p x)), since x O /P = O 0 /P 0 and Tr /0 (c) = 1 p = ψ Qp ( 1 p Tr 0 /Q p (x)), because 1 p Q p 2πiTr 0 /Qp (x) = e p, because ψ Qp (x) = e 2πix 2πiTr k /k (x) Qp = e p, using equation (3.7) = ψ q (x). This competes the lemma. The next step is to produce good elements c more explicitly. By using Lemma 3.1, in the next lemma we see more general choices of c. Lemma 3.2. Let /Q p be a tamely ramified local field and let ψ 1 be an additive character of of conductor 1. Let ψ be the canonical character of. Let 0 /Q p be the maximal unramified subextension in /Q p. Let c be any element such that 1 = ν (c) + d /Qp, then c = c, Tr /0 (pc) fulfills conditions (3.3), (3.4), and hence ψ 1 O = c ψ O = ψ q. Proof. By the given condition we have ν (c) = 1 d /Qp = 1 (e /Qp 1) = e /Qp. Then we can write c = π e /Qp u(c) = p 1 u(c) for some u(c) U because /Q p is tamely ramified, hence p = π e /Qp. Then we can write Tr /0 (pc) = p Tr /0 (c) = p p 1 u 0 (c) = u 0 (c) U 0 U, where u 0 (c) = Tr /0 (u(c)), hence ν (Tr /0 (pc)) = 0. Then the valuation of c is: Since Tr /0 (pc) = u 0 (c) U 0, we have ν (c c ) = ν ( ) = ν Tr /0 (pc) (c) ν (Tr /0 (pc)) = ν (c) 0 = ν (c) = 1 d /Qp. Tr /0 (c c ) = Tr /0 ( ) = 1 Tr 1 Tr /0 (pc) Tr /0 (pc) / 0 (c) = Tr p Tr /0 (c) / 0 (c) = 1. p Thus we observe that here c satisfies equations (3.3) and (3.4). Therefore, from Lemma 3.1 we can see that ψ 1 O = c ψ O is the canonical additive character of k. By Lemmas 3.1 and 3.2 we get many good (in the sense that ψ 1 O = c ψ O = ψ q ) elements c which we will use in our next theorem to calculate λ K/, where K/ is a tamely ramified quadratic extension.

7 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS 7 Proof of Theorem 1.1. rom [3], p. 190, part (2) of the Proposition, we have λ K/ (ψ 1 ) = λ K/ (c ψ ) = K/ (c ) λ K/ (ψ ). Since K/ is quadratic, we can write K/ = 1 K/. So we obtain λ K/ (ψ ) = K/ (c ) λ K/ (ψ 1 ). Now we have to compute λ K/ (ψ 1 ), and which we do in the following: Since [K : ] = 2, we have Ind K/ (1) = 1 ω K/. The conductor of ω K/ is 1 because K/ is a tamely ramified quadratic extension, and hence t = 0, so a(ω K/ ) = t + 1 = 1. Therefore, we can consider ω K/ as a character of /U 1. So the restriction of ω K/ to U, res(ω K/ ) := ω K/ U, we may consider as the uniquely determined character of k of order 2. Since c satisfies equations (3.3), (3.4), then from Lemma 3.2 we have ψ 1 O = c ψ O = ψ q, and this is the canonical character of k. Then from equation (3.1) we can write λ K/ (ψ 1 ) = q 1 2 res(ω K/ )(x)ψ q (x) x k = q 1 2 G(res(ω K/ ), ψ q ). Moreover, by Theorem 2.2 we have ( 1) s 1 q 1 2 (3.8) G(res(ω K/ ), ψ q ) = if p 1 (mod 4) ( 1) s 1 i s q 1 2 if p 3 (mod 4). By using the classical quadratic Gauss sum we obtain ( 1) s 1 if p 1 (mod 4) (3.9) λ K/ (ψ 1 ) = ( 1) s 1 i s if p 3 (mod 4). We also can write K/ = det(ind K/ (1)) = det(1 ω K/ ) = ω K/. So we have K/ (π ) = ω K/ (π ) = 1, because π N K/ (K ). Under the assumption of the Theorem 1.1 we have π N K/ (K ), K/ = ω K/ and c c = Tr /0 with ν (pc) (c) = 1 d /Qp. Then we can write ( ) K/ (c ) = ω K/ (c c ) = ω K/ Tr /0 (pc) ( ) π e /Qp u(c) = ω K/, where c = π e /Qp u(c), Tr /0 (pc) = u 0 (c) U 0 u 0 (c) = ω K/ (π e /Qp )ω K/ (v), where v = u(c) u 0 (c) U = ω K/ (x) 1 when x is a square element in k = 1 when x is not a square element in k,

8 8 BISWAS where v = xy, with x = x(ω K/, c) U /U 1, and y U 1. In particular, if we choose c such a way that u(c) = 1, i.e., c = π 1 d /Qp, then we have K/ (c ) = K/ (Tr /0 (pc)). Since Tr /0 (pc) O 0 is a unit and K/ = ω K/ induces the quadratic character of k = k 0, then for this particular choice of c we obtain 1 if Tr K/ (c /0 (pc) is a square in k ) = 0 1 if Tr /0 (pc) is not a square in k Computation of λ K/, where K/ is a wildly ramified extension. In the case p = 2, the square class group of, i.e., / 2 can be very large (cf. Theorem 2.29 on p. 165 of [7]), so we can have many quadratic characters but they are wildly ramified, not tame. In Remark 1.2, we mention the current status of the this wildly ramified quadratic case. Proof of Theorem 1.3. Let G = Gal(K/ ). rom Theorem 2.29 on p. 165 of [7], if /Q 2, we have / 2 = 2 m, (m 3) and the 2-rank of G (i.e., the dimension of G/G 2 as a vector space over 2 ) rk 2 (G) 1 and G is not metacyclic. Then from Bruno Kahn s result, the second Stiefel-Whitney class s 2 (Ind K/ (1)) = 0 (cf. Theorem 1 of [6]). Since s 2 (Ind K/ (1)) = 0, the Deligne constant c(ind K/ (1)) = 1 (cf. Theorem 3 on p. 129 of [13]). Again since here rk 2 (G) 1 and G is not metacyclic, we have K/ 1. Therefore, we can conclude that λ K/ (ψ) = c(ind K/ (1)) W ( K/, ψ) = 1, where ψ is a nontrivial additive character of. Example 3.3 (Computation of λ K/Q2, where K/Q 2 is a quadratic extension). In this case, we have (cf. pp of [1]): λ Q2 ( 5)/Q 2 = 1, λ Q2 ( 1)/Q 2 = i, λ Q2 ( 5)/Q 2 = i, λ Q2 ( 2)/Q 2 = 1, λ Q2 ( 10)/Q 2 = 1, λ Q2 ( 2)/Q 2 = i, λ Q2 ( 10)/Q 2 = i. Acknowledgements. I would like to thank Prof. E.-W. Zink, Humboldt University, Berlin for suggesting this problem and his constant valuable advice and comments. I express my gratitude to the referee for his/her valuable comments and suggestions for the improvement of the paper. References [1] S.A. Biswas, Local Constants for Galois Representations - Some Explicit Results, Ph.D. Thesis, http: //arxiv.org/pdf/ pdf. [2] S.A. Biswas, Computation of the Lambda function for a finite Galois extension, Journal of Number Theory, Volume 186, May 2018, Pages , [3] C.J. Bushnell, G. Henniart, The local Langlands conjecture for GL(2), Springer-Verlag, [4] J. W. Cogdell, L-functions and converse theorems for GL n, IAS/Park City Mathematics Series, Volume 12, 2002, pp

9 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS 9 [5] G. Henniart, Charactérisation de la correspondence de Langlands locale par les facteurs ɛ de paires, Invent. Math 113(1993), no. 2, [6] B. Kahn, La deuxième classe de Stiefel-Whitney d une représentation régulière. I, C. R. Acad. Sci. Paris Sér. I Math. 297 (1983), no. 6, [7] T.Y. Lam, Introduction to quadratic forms over fields, Graduate Studies in Mathematics, Volume 67, AMS, Providence, Rhode Island, [8] R.P. Langlands, On the functional equation of the Artin L-functions, unpublished article, publications.ias.edu/sites/default/files/a-ps.pdf. [9] R. Lidl, H. Niederreiter, inite fields, Encyclopedia of Mathematics and its applications, Cambridge University press [10] C.J. Moreno, A. Wan, Unusual applications of quadratic Gaussian sums, DIMACA Series in Discrete Mathematics and Theoretical Computer Science, Volume 64, 2004, pp [11] T. Saito, Local constant of Ind L K1, Comment. Math. Helvetici 70 (1995), [12] J-P. Serre, Local field, Springer-Verlag, [13] J. Tate, Local Constants, Algebraic Number ields (L-functions and Galois properties), in: A. röhlich (Ed.), Proceedings of Symposium, 1977, pp [14] A. Weil, Basic number theory, Third edition, Springer-Verlag, Chennai Mathematical Institute, H1, Sipcot It Park, Siruseri, Kelambakkam, , India address: sabiswas@cmi.ac.in, sazzad.jumath@gmail.com

arxiv: v2 [math.nt] 1 May 2015

arxiv: v2 [math.nt] 1 May 2015 TWISTING ORMULA O EPSILON ACTORS SAZZAD ALI BISWAS Abstract. or characters of a nonarchimedean local field we have explicit formula for epsilon factor. But in general we do not have any generalized twisting

More information

arxiv: v2 [math.gr] 6 Jul 2017

arxiv: v2 [math.gr] 6 Jul 2017 INVARIANT FORMULA OF THE DETERMINANT OF A HEISENBERG REPRESENTATION SAZZAD ALI BISWAS Abstract. In this paper we give an explicit formula of the determinant of a Heisenberg representation ρ of a finite

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

The Local Langlands Conjectures for n = 1, 2

The Local Langlands Conjectures for n = 1, 2 The Local Langlands Conjectures for n = 1, 2 Chris Nicholls December 12, 2014 1 Introduction These notes are based heavily on Kevin Buzzard s excellent notes on the Langlands Correspondence. The aim is

More information

Local root numbers of elliptic curves over dyadic fields

Local root numbers of elliptic curves over dyadic fields Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension

More information

Higher Ramification Groups

Higher Ramification Groups COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With

More information

CLASS FIELD THEORY WEEK Motivation

CLASS FIELD THEORY WEEK Motivation CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only

More information

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS DIPENDRA PRASAD Abstract. For the quaternion division algebra D over a non-archimedean local field k, and π an irreducible finite dimensional

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

15 Elliptic curves and Fermat s last theorem

15 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 information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is

More information

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi Induction formula for the Artin conductors of mod l Galois representations Yuichiro Taguchi Abstract. A formula is given to describe how the Artin conductor of a mod l Galois representation behaves with

More information

NUMBER FIELDS UNRAMIFIED AWAY FROM 2

NUMBER FIELDS UNRAMIFIED AWAY FROM 2 NUMBER FIELDS UNRAMIFIED AWAY FROM 2 JOHN W. JONES Abstract. Consider the set of number fields unramified away from 2, i.e., unramified outside {2, }. We show that there do not exist any such fields of

More information

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

SERRE 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 information

5. Kato s higher local class field theory

5. Kato s higher local class field theory ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato

More information

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible

More information

Galois groups with restricted ramification

Galois 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 information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Some remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.

Some remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k. Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M

More information

Twists and residual modular Galois representations

Twists 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 information

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS MATHEMATICS OF COMPUTATION Volume 68, Number 228, Pages 1679 1685 S 0025-5718(99)01129-1 Article electronically published on May 21, 1999 REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER

More information

Up 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. 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 information

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

On the equality case of the Ramanujan Conjecture for Hilbert modular forms On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits

More information

Residual modular Galois representations: images and applications

Residual 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 information

1.6.1 What are Néron Models?

1.6.1 What are Néron Models? 18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

Norm Groups with Tame Ramification

Norm Groups with Tame Ramification ECTURE 3 orm Groups with Tame Ramification et K be a field with char(k) 6=. Then K /(K ) ' {continuous homomorphisms Gal(K) Z/Z} ' {degree étale algebras over K} which is dual to our original statement

More information

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol

More information

Rohit Garg Roll no Dr. Deepak Gumber

Rohit Garg Roll no Dr. Deepak Gumber FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics

More information

On the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165

On the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165 Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher

More information

KILLING WILD RAMIFICATION

KILLING WILD RAMIFICATION KILLING WILD RAMIFICATION MANISH KUMAR Abstract. We compute the inertia group of the compositum of wildly ramified Galois covers. It is used to show that even the p-part of the inertia group of a Galois

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of

More information

Galois Representations

Galois Representations 9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and

More information

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue

More information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

An introduction to the algorithmic of p-adic numbers

An introduction to the algorithmic of p-adic numbers An introduction to the algorithmic of p-adic numbers David Lubicz 1 1 Universté de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France Outline Introduction 1 Introduction 2 3 4 5 6 7 8 When do we

More information

Parvati Shastri. 2. Kummer Theory

Parvati Shastri. 2. Kummer Theory Reciprocity Laws: Artin-Hilert Parvati Shastri 1. Introduction In this volume, the early reciprocity laws including the quadratic, the cuic have een presented in Adhikari s article [1]. Also, in that article

More information

Notes on p-divisible Groups

Notes 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 information

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n ) A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be

More information

Non CM p-adic analytic families of modular forms

Non 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 information

GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY

GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY AVNER ASH, DARRIN DOUD, AND DAVID POLLACK Abstract. In this paper we extend a conjecture of Ash and Sinnott relating niveau

More information

Modular forms and the Hilbert class field

Modular forms and the Hilbert class field Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant

More information

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for

More information

A linear resolvent for degree 14 polynomials

A linear resolvent for degree 14 polynomials A linear resolvent for degree 14 polynomials Chad Awtrey and Erin Strosnider Abstract We discuss the construction and factorization pattern of a linear resolvent polynomial that is useful for computing

More information

Workshop on Serre s Modularity Conjecture: the level one case

Workshop on Serre s Modularity Conjecture: the level one case Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous

More information

NUNO FREITAS AND ALAIN KRAUS

NUNO FREITAS AND ALAIN KRAUS ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion

More information

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract

More information

M ath. Res. Lett. 15 (2008), no. 6, c International Press 2008

M ath. Res. Lett. 15 (2008), no. 6, c International Press 2008 M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.

More information

Wildly ramified Galois representations and a generalization of a conjecture of Serre

Wildly ramified Galois representations and a generalization of a conjecture of Serre Wildly ramified Galois representations and a generalization of a conjecture of Serre Darrin Doud Brigham Young University Department of Mathematics 292 TMCB Provo, UT 84602 November 22, 2004 Abstract Serre

More information

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.

More information

with many rational points

with many rational points Algebraic curves over F 2 with many rational points, René Schoof version May 7, 1991 Algebraic curves over F 2 with many rational points René Schoof Dipartimento di Matematica Università degli Studi di

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

10 l-adic representations

10 l-adic representations 0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois

More information

Galois groups of 2-adic fields of degree 12 with automorphism group of order 6 and 12

Galois groups of 2-adic fields of degree 12 with automorphism group of order 6 and 12 Galois groups of 2-adic fields of degree 12 with automorphism group of order 6 and 12 Chad Awtrey and Christopher R. Shill Abstract Let p be a prime number and n a positive integer. In recent years, several

More information

ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l )

ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) DAVID HELM We give an explicit description of the modified mod p local Langlands correspondence for GL 2 (Q l ) of [EH], Theorem 5.1.5,

More information

arxiv:math/ v2 [math.nt] 29 Apr 2003

arxiv:math/ v2 [math.nt] 29 Apr 2003 Modularity of rigid Calabi-Yau threefolds over Q Luis Dieulefait and Jayanta Manoharmayum arxiv:math/0304434v2 [math.nt] 29 Apr 2003 Abstract We prove modularity for a huge class of rigid Calabi-Yau threefolds

More information

Computing complete lists of Artin representations given a group, character, and conductor bound

Computing complete lists of Artin representations given a group, character, and conductor bound Computing complete lists of Artin representations given a group, character, and conductor bound John Jones Joint work with David Roberts 7/27/15 Computing Artin Representations John Jones SoMSS 1 / 21

More information

A Remark on Certain Filtrations on the Inner Automorphism Groups of Central Division Algebras over Local Number Fields

A Remark on Certain Filtrations on the Inner Automorphism Groups of Central Division Algebras over Local Number Fields International Journal of lgebra, Vol. 10, 2016, no. 2, 71-79 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.612 Remark on Certain Filtrations on the Inner utomorphism Groups of Central

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

Primes of the Form x 2 + ny 2

Primes of the Form x 2 + ny 2 Primes of the Form x 2 + ny 2 Steven Charlton 28 November 2012 Outline 1 Motivating Examples 2 Quadratic Forms 3 Class Field Theory 4 Hilbert Class Field 5 Narrow Class Field 6 Cubic Forms 7 Modular Forms

More information

Wild ramification and the characteristic cycle of an l-adic sheaf

Wild ramification and the characteristic cycle of an l-adic sheaf Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local

More information

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel IRREDUCIBLE POLYNOMIALS WHICH ARE LOCALLY REDUCIBLE EVERYWHERE Robert Guralnick, Murray M. Schacher and Jack Sonn University of Southern California, Los Angeles, University of California at Los Angeles,

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

More information

ABSTRACT. Professor Jeffrey Adams Department of Mathematics

ABSTRACT. Professor Jeffrey Adams Department of Mathematics ABSTRACT Title of dissertation: A NEW CONSTRUCTION OF THE TAME LOCAL LANGLANDS CORRESPONDENCE FOR GL(n,F), n A PRIME Moshe Adrian, Doctor of Philosophy, 2010 Dissertation directed by: Professor Jeffrey

More information

A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017

A 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 information

Modularity of Abelian Varieties

Modularity of Abelian Varieties 1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists

More information

On the image of noncommutative local reciprocity map

On the image of noncommutative local reciprocity map On the image of noncommutative local reciprocity map Ivan Fesenko 0. Introduction First steps in the direction of an arithmetic noncommutative local class field theory were described in [] as an attempt

More information

A REMARK ON DELIGNE S FINITENESS THEOREM

A REMARK ON DELIGNE S FINITENESS THEOREM A REMARK ON DELIGNE S FINITENESS THEOREM Abstract. Over a connected geometrically unibranch scheme X of finite type over a finite field, we show, with purely geometric arguments, finiteness of the number

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

Dirichlet Series Associated with Cubic and Quartic Fields

Dirichlet Series Associated with Cubic and Quartic Fields Dirichlet Series Associated with Cubic and Quartic Fields Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux October 23, 2012, Bordeaux 1 Introduction I Number fields will always be considered

More information

Mod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi

Mod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi Mod p Galois representations of solvable image Hyunsuk Moon and Yuichiro Taguchi Abstract. It is proved that, for a number field K and a prime number p, there exist only finitely many isomorphism classes

More information

THE 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. 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 information

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss

More information

MA 162B LECTURE NOTES: FRIDAY, JANUARY 30

MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either

More information

2-ADIC PROPERTIES OF CERTAIN MODULAR FORMS AND THEIR APPLICATIONS TO ARITHMETIC FUNCTIONS

2-ADIC PROPERTIES OF CERTAIN MODULAR FORMS AND THEIR APPLICATIONS TO ARITHMETIC FUNCTIONS 2-ADIC PROPERTIES OF CERTAIN MODULAR FORMS AND THEIR APPLICATIONS TO ARITHMETIC FUNCTIONS KEN ONO AND YUICHIRO TAGUCHI Abstract. It is a classical observation of Serre that the Hecke algebra acts locally

More information

Reciprocity maps with restricted ramification

Reciprocity 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 information

Local corrections of discriminant bounds and small degree extensions of quadratic base fields

Local corrections of discriminant bounds and small degree extensions of quadratic base fields January 29, 27 21:58 WSPC/INSTRUCTION FILE main International Journal of Number Theory c World Scientific Publishing Company Local corrections of discriminant bounds and small degree extensions of quadratic

More information

12 Ramification, Haar measure, the product formula

12 Ramification, Haar measure, the product formula 18.785 Number theory I Lecture #12 Fall 2015 10/22/2015 12 Ramification, Haar measure, the product formula 12.1 Ramification in terms of the different and discriminant We conclude our discussion of the

More information

Explicit global function fields over the binary field with many rational places

Explicit global function fields over the binary field with many rational places ACTA ARITHMETICA LXXV.4 (1996) Explicit global function fields over the binary field with many rational places by Harald Niederreiter (Wien) and Chaoping Xing (Hefei) 1. Introduction. In a series of papers

More information

Abstracts of papers. Amod Agashe

Abstracts of papers. Amod Agashe Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible

More information

On Artin s L-Functions*

On Artin s L-Functions* On Artin s L-Functions* by R.P. Langlands The nonabelian Artin L-functions and their generalizations by Weil are known to be meromorphic in the whole complex plane and to satisfy a functional equation

More information

Mod p Galois representations attached to modular forms

Mod p Galois representations attached to modular forms Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended

More information

Mathematical Research Letters 2, (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES. Fred Diamond and Kenneth Kramer

Mathematical Research Letters 2, (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES. Fred Diamond and Kenneth Kramer Mathematical Research Letters 2, 299 304 (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES Fred Diamond and Kenneth Kramer We shall explain how the following is a corollary of results of Wiles [W]: Theorem.

More information

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter

More information

On the modular curve X 0 (23)

On the modular curve X 0 (23) On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that

More information

HASSE ARF PROPERTY AND ABELIAN EXTENSIONS. Ivan B. Fesenko

HASSE ARF PROPERTY AND ABELIAN EXTENSIONS. Ivan B. Fesenko Math. Nachrichten vol. 174 (1995), 81 87 HASSE ARF PROPERTY AND ABELIAN EXTENSIONS Ivan B. Fesenko Let F be a complete (or Henselian) discrete valuation field with a perfect residue field of characteristic

More information

Algebraic Hecke Characters

Algebraic Hecke Characters Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation

More information

Class groups and Galois representations

Class 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 information

On the Langlands Program

On the Langlands Program On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for

More information

Overview. exp(2πiq(x)z) x Z m

Overview. exp(2πiq(x)z) x Z m Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know

More information

Number Theory Fall 2016 Problem Set #6

Number Theory Fall 2016 Problem Set #6 18.785 Number Theory Fall 2016 Problem Set #6 Description These problems are related to the material covered in Lectures 10-12. Your solutions are to be written up in latex (you can use the latex source

More information