The Néron Ogg Shafarevich criterion Erik Visse

Size: px
Start display at page:

Download "The Néron Ogg Shafarevich criterion Erik Visse"

Transcription

1 The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early The website for the seminar can be found at This talk is for a large part based on Section 3 of Bart Litjens master s thesis [Lit14] 1 Galois theory of local fields Throughout this talk, let K be a non-archimedean local field with valuation v, ring of integers O K, maximal ideal m K, and residue field k = O K /m K. Let L be a Galois extension of K with valuation w, ring of integers O L, maximal ideal m L, and residue field l. In some but not all of the statement we will need k to be perfect. It would not hurt us to assume this to be the case throughout the talk, so we will. Remark 1.1. Remember that O K is a discrete valuation ring, hence its spectrum consists of two points, one of which is closed and is called the special point as opposed to the generic point. Given some morphism to the spectrum of a discrete valuation ring, we call the fibre above the special point the special fibre. Definition 1.2. The decomposition group D of the above extension is D(L/K) = {σ Gal(L/K) σ(m L ) = m L }. It is easily seen that the elements σ of the decomposition group leave the w-valuation of an element of L unchanged, i.e. w(σ(x)) = w(x) holds for each x L, and hence w(σ(x) x) min{w(σ(x)), w(x)} = w(x). We could require that for units of O L the inequality be strict. The automorphisms σ satisfying this form a subgroup known as the inertia subgroup. Definition 1.3. The inertia subgroup of D(L/K) is I(L/K) = {σ D x O L : σ(x) x m L }. This may seem a bit artificial at first, but the definition is motivated by the following: Proposition 1.4. There is an exact sequence 1 I(L/K) D(L/K) Gal(l/k) 1. The only hurdle in proving this is the surjectivity of the map D(L/K) Gal(l/k). Definition 1.5. Let X be a Gal(K s /K)-set. We say that X is unramified at v if I(K s /K) acts trivially on X, i.e. I ker(g Aut(X)). The goal of today is to treat the Néron Ogg Shafarevich criterion, which allows to test for good reduction at a place v by testing if certain sets are unramified at v. 1

2 2 Recap In this section we will review some of the concepts that have been treated in earlier lectures, and add some small results for motivation. 2.1 Tate modules and l-adic cohomology Definition 2.1. Let A be an abelian variety over a field F with separable closure F s. For a prime number l different from the characteristic of F, the l-adic Tate module is T l A = lim A[l n ](F s ). n Proposition 2.2. In the setting above, there is a canonical isomorphism of Galoismodules H 1 ét (A F s, Z l) = Hom cts (T l A, Z l ). Proposition 2.3. In the setting above, there is an isomorphism of graded Galoismodules H 1 ét (A F s, Z l) = H ét (A F s, Z l). Propositions 2.2 and 2.3 show that the Tate module of an abelian variety A essentially captures all of the l-adic cohomology of A. 2.2 Néron-models and the structure of connected group schemes Definition 2.4. Let X be a variety over a field F with ring of integers O F. A Néron model of X over O F is a smooth O F -scheme N(X), equipped with an isomorphism between X and the generic fibre η of N(X), such that for any smooth O F -scheme Y and morphism ϕ : Y F X, there exists a unique morphism Y N(X) extending ϕ. It s probably good to see the above definition in a picture: X ϕ η Y F Spec(F ) Spec(O F ) N(X)! Y Theorem 2.5. For any abelian variety A over a field F with ring of integers O F, its Néron-model exists, it is uniquely unique, and it is a quasi-projective commutative group scheme over O F. Proposition 2.6. An abelian scheme over a discrete valuation ring R is the Néronmodel of its generic fibre. 2

3 Remark 2.7. Notice that the Néron-model is not assumed to be proper. Properness of Néron-models is strongly connected with good reduction, as we will see in the next section. Theorem 2.8 (Chevalley structure theorem). Let G be a connected smooth group scheme over a perfect field F. Then there is a unique exact sequence 1 H G B 1 with H a connected smooth affine subgroup, and B an abelian variety. Proposition 2.9. Let H be a commutative affine group of finite type over a perfect field F. There is a unique exact sequence 1 D H U 1 with D of multiplicative type, and U unipotent. The sequence splits. 3 Good reduction To get an intuition about the concept of good reduction, let s consider elliptic curves over Q. Given such an elliptic curve E, we can write down a minimal Weierstrass equation y 2 = f(x) with coefficients in Z. We want to know if E modulo a prime p is again an elliptic curve, i.e. we want to check if we get a smooth curve, since the fixed point over Q gets reduced to a point over F p. Also the genus is automatically still 1 since we get a degree 3 curve in the projective plane. The resulting curve is found by reducing the polynomial f modulo p; smoothness can be checked with the Jacobi criterion. This boils down to knowing if the discriminant of f is divisible by p. If it is, then the reduced curve is not smooth, and vice versa. In general, given a variety over Q there is no canonical model; there is no analogue of the Weierstrass equation for elliptic curves. Therefore we need to do something more complicated. The first step is the realization that reduction modulo p is achieved by base-changing to F p. However, we run into trouble here since we cannot base-change from Q to F p directly. This is where Néron-models come in handy, since going first via Q p by base-changing, then Z p via the Néron-model, we can finally base-change to F p. Of course, this method only works when the Néron-model exists. They do not exist in complete generality and this is why good reduction is an active area of research for general varieties. Their existence for abelian varieties is what makes the current talk possible. Definition 3.1. For X a smooth and proper scheme over a local field K we say that X has good reduction at v if there exists a smooth and proper O K -scheme X whose generic fibre X OK Spec(K) is isomorphic to X. Since the model X is smooth and proper, its base-change to k is as well, so the definition makes sense. Proposition 3.2. Let A be an abelian variety over K. Then A has good reduction at v if and only if its Néron-model over O K is proper. 3

4 Proof. Assume that the Néron-model is proper. By its definition it satisfies all the requirements for good reduction as given in Definition 3.1. Hence A has good reduction at v. Conversely, assume that A has good reduction at v and let X be the associated proper scheme. Since Spec O K is connected and Noetherian, a result by Grothendieck [Mum65, Ch.6, Thm. 6.14] shows that X is in fact an abelian scheme. Proposition 2.6 says that X is the Néron-model of A. 4 The criterion of Néron Ogg Shafarevich The criterion that is treated in this section was published by Ogg for elliptic curves in 1967; Shafarevich is credited with knowing the result around the same time. For abelian varieties of dimension at least 2, the theorem was proven by Serre and Tate who were also the ones to have named it. Their reliance on work by Néron has earned him part of the credit of the theorem. For n coprime to char(k), we use the notation A n as shorthand for the set A n = Hom(Z/nZ, A(k s )) = A[n](k s ). Remember that k is the residue field of K. In the statement of the following theorem we are sloppy in our language. Whenever we say that an integer n is coprime to the characteristic of some field F, we mean to say char(f ) n. Theorem 4.1 (Néron Ogg Shafarevich criterion). For A an abelian variety over K, the following statements are equivalent: 1. A has good reduction at v, 2. A n is unramified at v for all n coprime to char(k), 3. A n is unramified for infinitely many n coprime to char(k), 4. T l (A) is unramified at v for some prime l char(k), 5. T l (A) is unramified at v for all primes l char(k). Before we start the proof of the theorem, let us remark that item 4 is equivalent to the statement that for all m 0 the set A l m is unramified at v. Moreover, we could have concluded item 5 after proving the equivalence of 1 and 4 since item 1 does not depend on any l. This last phenomenon is relatively common: many statements involving Z l for some l can a posteriori be strengthened to hold for all l, at least away from some field characteristic. This theorem implies many useful things, one of which is that having good reduction at v is invariant under isogeny. Proof of Theorem 4.1. Some easy implications can immediately be noticed. By the observation that we have just made, and by using the fact that every finite abelian 4

5 group is a product of cyclic prime-power order groups, we have Following a suggestion from Wessel, the implication 1 2 should follow from the proper base-change theorem. This was attempted in the talk. Wessel wrote a short note on it that is available separately. Here is a different proof: if A has good reduction at v then N(A) is proper over O K and hence an abelian scheme. The special fibre N(A) k is then an abelian variety and its n-torsion (over k s ) is free of rank 2 dim(n(a) k ) = 2 dim(a). By Lemma the part of A[n](k s ) that is fixed by I(K s /K) is of full rank and hence A[n](k s ) is unramified. This is exactly the statement of 2. We are left to show that the implication 3 1 holds; by Proposition 3.2 it is enough to show that N(A) is proper. We will need the following lemma: Lemma 4.2. Let R be a discrete valuation ring with residue field k and fraction field K. Let X be a smooth R-scheme whose generic fibre X K is geometrically connected and whose special fibre X k is proper and non-empty. Then X R is proper. We will apply this lemma to R = O K and X = N(A). Being (isomorphic to) the abelian variety A, the fibre N(A) K is geometrically connected. Hence all we need to do is to show that N(A) k is proper since it is obviously non-empty. Since by assumption of item 3 there are infinitely many integers n coprime to char(k) for which A n is unramified at v, for any integer c 1 there is such an n with n > c. In what follows we assume to have taken such an n > c. Since N(A) k is a group scheme (not necessarily connected), we may take its connected component of the identity N(A) 0 k. We take c = [N(A) k : N(A) 0 k ], which is finite because quasiprojective morphisms are of finite type and hence N(A) k has finitely many connected components. The index [N(A) k : N(A) 0 k ] is precisely their number. In analogy to A n we use the notation N(A) k [n](k s ) =: N(A) k,n. We will need two more lemmas, with the notation coming from Theorem 2.8 and Proposition 2.9 applied to the case G = N(A) 0 k. Lemma 4.3. The index [N(A) k,n : N(A) 0 k,n ] divides c. The group N(A)0 k,n is a free Z/nZ-module of rank dim(d) + 2 dim(b). Lemma 4.4. For n coprime to char(k), we have A I(Ks /K) n = N(A) k,n. To continue the proof, we consider the order of N(A) k,n. We have n 2 dim A = #N(A) k,n c n dim(d)+2 dim(b) dim(d)+2 dim(b)+1 < n 1 This lemma is stated later in the proof because the original attempted proof using proper basechange did not require it. This short proof of 1 2 was added after the talk and the author preferred not to change the order of the remainder of the material. 5

6 where the first inequality comes from Lemma 4.3 and the second from our choice of n > c. Hence we may conclude 2 dim(a) dim(d) + 2 dim(b). On the other hand, we have dim(d) + 2 dim(b) = rk ( ( N(A) 0 k,n) rk (N(A)k,n ) = rk and therefore 2 dim(a) = dim(d) + 2 dim(b). A I(Ks /K) n ) = rk(a n ) = 2 dim(a) However, applying Theorem 2.8 and Propositon 2.9 to N(A) 0 k, which has dimension dim(a), we conclude dim(a) = dim(u) + dim(d) + dim(b) and therefore ultimately dim(u) = dim(d) = 0. Since H in Theorem 2.8 and Proposition 2.9 is connected and of dimension 0, the group schemes N(A) 0 k and B are isomorphic and hence N(A) 0 k is an abelian variety, in particular it is proper over k. Since N(A) k N(A) 0 k is finite and therefore proper, so is N(A) k k. This was the last thing that needed to be shown, and this concludes the proof. Sketch of proof of Lemma 4.3. The first statement comes from playing around with indices of subgroups. The second statement comes from applying Theorem 2.8 to G = N(A) 0 k and taking the functor Hom(Z/nZ, ) of the resulting exact sequence. We get the sequence 0 H[n](k s ) N(A)[n] 0 k (ks ) B[n](k s ). One proves that the last map is surjective using n-divisibility of H(k s ). Using Proposition 2.9 and the fact that H[n](k s ) and B[n](k s ) are free Z/nZ-modules of ranks dim(d) and 2 dim(b) respectively finishes the proof. About proof of Lemma 4.4. The proof of this lemma is rather long and involved. It involves the maximal unramified extension K ur of K inside K s and the Néron mapping property: N(A) k (O K ur) = A(K ur ). The field K ur comes in since it is the fixed field of I(K s /K). References [Mum65] David Mumford, Geometric Invariant Theory, Springer-Verlag, Berlin-Heidelberg-New York, [SPa] [Mil13] [Lit14] Stacks Project authors, The Stacks Project. James S. Milne, Lectures on Etale Cohomology (v2.21), Bart Litjens, Good reduction of abelian varieties, Available on the seminar website (document) 6

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

Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms. Peter Bruin 21 February 2007 Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

More information

Proof of the Shafarevich conjecture

Proof of the Shafarevich conjecture Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel

More information

SPEAKER: JOHN BERGDALL

SPEAKER: JOHN BERGDALL November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a

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

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,

More information

l-adic Representations

l-adic Representations l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll

More information

Endomorphism Rings of Abelian Varieties and their Representations

Endomorphism Rings of Abelian Varieties and their Representations Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication

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

1 Notations and Statement of the Main Results

1 Notations and Statement of the Main Results An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

More information

Dieudonné Modules and p-divisible Groups

Dieudonné Modules and p-divisible Groups Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous

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

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

Isogeny invariance of the BSD formula

Isogeny invariance of the BSD formula Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

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

SEMISTABLE REDUCTION FOR ABELIAN VARIETIES

SEMISTABLE REDUCTION FOR ABELIAN VARIETIES SEMISTABLE REDUCTION FOR ABELIAN VARIETIES BRIAN CONRAD 1. Introduction The semistable reduction theorem for curves was discussed in Christian s notes. In these notes, we will use that result to prove

More information

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the

More information

Lecture 7: Etale Fundamental Group - Examples

Lecture 7: Etale Fundamental Group - Examples Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of

More information

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References

More information

1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

More information

1.5.4 Every abelian variety is a quotient of a Jacobian

1.5.4 Every abelian variety is a quotient of a Jacobian 16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.

More information

Elliptic curves, Néron models, and duality

Elliptic curves, Néron models, and duality Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over

More information

1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle

1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/

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

Lecture 4: Abelian varieties (algebraic theory)

Lecture 4: Abelian varieties (algebraic theory) Lecture 4: Abelian varieties (algebraic theory) This lecture covers the basic theory of abelian varieties over arbitrary fields. I begin with the basic results such as commutativity and the structure of

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

p-divisible Groups and the Chromatic Filtration

p-divisible Groups and the Chromatic Filtration p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This

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

TORSION AND TAMAGAWA NUMBERS

TORSION AND TAMAGAWA NUMBERS TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite

More information

Néron Models of Elliptic Curves.

Néron Models of Elliptic Curves. Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

Inseparable local uniformization. Conference on valuation theory, El Escorial

Inseparable local uniformization. Conference on valuation theory, El Escorial Inseparable local uniformization M. Temkin July 27, 2011 Conference on valuation theory, El Escorial Outline 1 General paradigm of desingularization The state of the art Main result of the talk Generalizations

More information

The Galois representation associated to modular forms pt. 2 Erik Visse

The Galois representation associated to modular forms pt. 2 Erik Visse The Galois representation associated to modular forms pt. 2 Erik Visse May 26, 2015 These are the notes from the seminar on local Galois representations held in Leiden in the spring of 2015. The website

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

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

Peter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.

Peter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms. p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem

More information

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian

More information

15 Lecture 15: Points and lft maps

15 Lecture 15: Points and lft maps 15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed

More information

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra) FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod

More information

ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD

ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD 1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination

More information

MA 254 notes: Diophantine Geometry

MA 254 notes: Diophantine Geometry MA 254 notes: Diophantine Geometry (Distilled from [Hindry-Silverman], [Manin], [Serre]) Dan Abramovich Brown University Janoary 27, 2016 Abramovich MA 254 notes: Diophantine Geometry 1 / 16 Mordell Weil

More information

Program of the DaFra seminar. Unramified and Tamely Ramified Geometric Class Field Theory

Program of the DaFra seminar. Unramified and Tamely Ramified Geometric Class Field Theory Program of the DaFra seminar Unramified and Tamely Ramified Geometric Class Field Theory Introduction Torsten Wedhorn Winter semester 2017/18 Gemetric class field theory gives a geometric formulation and

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

Fundamental Groups in Characteristic p

Fundamental Groups in Characteristic p Fundamental Groups in Characteristic p Pete L. Clark October 25, 2006 1 Introduction Fundamental groups and Galois groups: Let X/k be a smooth, complete connected curve over an algebraically closed field

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

Lecture 2: Elliptic curves

Lecture 2: Elliptic curves Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining

More information

Transcendence theory in positive characteristic

Transcendence theory in positive characteristic Prof. Dr. Gebhard Böckle, Dr. Patrik Hubschmid Working group seminar WS 2012/13 Transcendence theory in positive characteristic Wednesdays from 9:15 to 10:45, INF 368, room 248 In this seminar we will

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

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

Group schemes over fields and Abelian varieties

Group schemes over fields and Abelian varieties Group schemes over fields and Abelian varieties Daniele Agostini May 5, 2015 We will work with schemes over a field k, of arbitrary characteristic and not necessarily algebraically closed. An algebraic

More information

ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS

ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March

More information

Raynaud on F -vector schemes and prolongation

Raynaud on F -vector schemes and prolongation Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic

More information

Level Structures of Drinfeld Modules Closing a Small Gap

Level Structures of Drinfeld Modules Closing a Small Gap Level Structures of Drinfeld Modules Closing a Small Gap Stefan Wiedmann Göttingen 2009 Contents 1 Drinfeld Modules 2 1.1 Basic Definitions............................ 2 1.2 Division Points and Level Structures................

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

Odds and ends on equivariant cohomology and traces

Odds and ends on equivariant cohomology and traces Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

More information

Geometry of Curves over a Discrete Valuation Ring

Geometry of Curves over a Discrete Valuation Ring Geometry of Curves over a Discrete Valuation Ring Mohammad DASHTPEYMA Thesis Advisor: Professor Boas EREZ Introduction We are going to explain a theorem proven by Deligne-Mumford, so called Stable Reduction

More information

Seminar on Étale Cohomology

Seminar on Étale Cohomology Seminar on Étale Cohomology Elena Lavanda and Pedro A. Castillejo SS 2015 Introduction The aim of this seminar is to give the audience an introduction to étale cohomology. In particular we will study the

More information

Cohomological Formulation (Lecture 3)

Cohomological Formulation (Lecture 3) Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.

More information

SHIMURA VARIETIES AND TAF

SHIMURA VARIETIES AND TAF SHIMURA VARIETIES AND TAF PAUL VANKOUGHNETT 1. Introduction The primary source is chapter 6 of [?]. We ve spent a long time learning generalities about abelian varieties. In this talk (or two), we ll assemble

More information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

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

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

n P say, then (X A Y ) P

n P say, then (X A Y ) P COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

More information

Quadratic points on modular curves

Quadratic points on modular curves S. Alberts Quadratic points on modular curves Master thesis Supervisor: Dr. P.J. Bruin Date: November 24, 2017 Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 Modular and hyperelliptic

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

More information

ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD

ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD SAMEER KAILASA Abstract. For an elliptic curve E defined over a field K, the Tate-Shafarevich group X(E/K) encodes important arithmetic and geometric information.

More information

Elliptic Curves with 2-torsion contained in the 3-torsion field

Elliptic Curves with 2-torsion contained in the 3-torsion field Elliptic Curves with 2-torsion contained in the 3-torsion field Laura Paulina Jakobsson Advised by Dr. M. J. Bright Universiteit Leiden Universita degli studi di Padova ALGANT Master s Thesis - 21 June

More information

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

More information

Morava K-theory of BG: the good, the bad and the MacKey

Morava K-theory of BG: the good, the bad and the MacKey Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism

More information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

More information

COMPLEX MULTIPLICATION: LECTURE 15

COMPLEX MULTIPLICATION: LECTURE 15 COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider

More information

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical

More information

3 Extensions of local fields

3 Extensions of local fields 3 Extensions of local fields ocal field = field complete wrt an AV. (Sometimes people are more restrictive e.g. some people require the field to be locally compact.) We re going to study extensions of

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

What is the Langlands program all about?

What is the Langlands program all about? What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

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/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter

More information

Good reduction of the Brauer Manin obstruction

Good reduction of the Brauer Manin obstruction Good reduction of the Brauer Manin obstruction A joint work in progress with J-L. Colliot-Thélène Imperial College London Schloss Thurnau, July 2010 Notation: k is a number field, k v is the completion

More information

Galois Representations Attached to Elliptic Curves

Galois Representations Attached to Elliptic Curves University of Bordeaux 1 algant master thesis Galois Representations Attached to Elliptic Curves Author: Can Ozan OGUZ Supervisor: Jean Gillibert July 10, 2012 Contents Introduction 2 1. Preliminaries

More information

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In

More information

Fourier Mukai transforms II Orlov s criterion

Fourier Mukai transforms II Orlov s criterion Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and

More information

Faltings Finiteness Theorems

Faltings Finiteness Theorems Faltings Finiteness Theorems Michael Lipnowski Introduction: How Everything Fits Together This note outlines Faltings proof of the finiteness theorems for abelian varieties and curves. Let K be a number

More information

Galois Representations

Galois Representations Galois Representations Joel Bellaiche, Math 203b (Spring 2009) Contents 1 1 Introduction 1.1 Overview Three fields of study that are now thought to be related in quite fundamental ways are algebraic number

More information

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: Non-existence of certain Galois rep Titletame inertia weight : A resume (Alg Related Topics 2009) Author(s) OZEKI, Yoshiyasu Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: 89-92 Issue Date 2011-04

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

NÉRON MODELS DINO LORENZINI

NÉRON MODELS DINO LORENZINI NÉRON MODELS DINO LORENZINI Abstract. Néron models were introduced by André Néron in his seminar at the IHES in 1961. This article gives a brief survey of past and recent results in this very useful theory.

More information

Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi

Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

1 Existence of the Néron model

1 Existence of the Néron model Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

p-divisible GROUPS 1. p-divisible groups and finite group schemes Here are two related problems with the algebraic geometry of formal groups.

p-divisible GROUPS 1. p-divisible groups and finite group schemes Here are two related problems with the algebraic geometry of formal groups. p-divisible GROUPS PAUL VANKOUGHNETT 1. p-divisible groups and finite group schemes Here are two related problems with the algebraic geometry of formal groups. Problem 1. The height of a formal group is

More information

Fields of cohomological dimension 1 versus C 1 -fields

Fields of cohomological dimension 1 versus C 1 -fields Fields of cohomological dimension 1 versus C 1 -fields J.-L. Colliot-Thélène Abstract. Ax gave examples of fields of cohomological dimension 1 which are not C 1 -fields. Kato and Kuzumaki asked whether

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

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

Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

More information