The Néron Ogg Shafarevich criterion Erik Visse
|
|
- Isabella Lynne McCoy
- 5 years ago
- Views:
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 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 informationSmooth 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 informationProof 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 informationSPEAKER: 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 information1.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 informationTHE 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 informationl-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 informationEndomorphism 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 informationA 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 information1 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 informationDieudonné 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 informationA 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 informationCLASS 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 informationIsogeny 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 informationIsogeny 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 informationON 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 informationSEMISTABLE 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 informationTHE É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 informationLecture 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 informationAN 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 information1 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 information1.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 informationElliptic 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 information1 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 informationCLASS 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 informationLecture 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 informationwhere Σ 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 informationp-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 informationAlgebraic 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 informationTORSION 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 informationNé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 information1. 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 informationMath 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 informationInseparable 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 informationThe 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 information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationHONDA-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 informationPeter 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 informationThe 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 information15 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 informationFALTINGS 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 informationARITHMETIC 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 informationMA 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 informationProgram 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 informationON 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 informationFundamental 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 informationRESEARCH 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 informationLecture 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 informationTranscendence 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 informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationMath 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 informationGroup 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 informationON 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 informationRaynaud 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 informationLevel 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 informationIntroduction 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 informationOdds 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 informationIntroduction 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 informationGeometry 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 informationSeminar 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 informationCohomological 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 informationSHIMURA 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 informationCHAPTER 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 informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationAlgebraic 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 informationn 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 informationALGEBRAIC 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 informationOn 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 informationQuadratic 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 informationIntroduction 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 informationON 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 informationElliptic 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 informationHomework 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 informationMorava 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 informationAzumaya 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 informationCOMPLEX 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 informationON 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 information3 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 informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationWhat 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 informationDefinitions. 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 informationCover 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 informationGood 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 informationGalois 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 informationFIELDS 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 informationFourier 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 informationFaltings 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 informationGalois 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:
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 informationORAL 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 informationNÉ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 informationFiniteness 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 informationCOMPLEX 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 information1 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 information5 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 informationp-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 informationFields 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 informationMATH 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 informationPacific 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 informationMotivic 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