Unramified CFT for proper smooth varieties
|
|
- Britton Reed
- 5 years ago
- Views:
Transcription
1 Unramified CFT for proper smooth varieties APRAMEYO PAL November 13, 2014 Abstract We will study unramified class field theory for higher dimensional proper smooth varieties. 0 Classical CFT Let X be a smooth projective curve and K = F q (X) be the global function field. Let A K be the idele group of K. From Xevi s talk, we have the following classical reciprocity law, A K θ K Gal(K ab /K) res Gal(K ur,ab /K) Here A K = K v = (O v π Z ) = (O v Z) and the local Artin map sends O v to the inertia group at v. So res θ K sends O v to 1 as the target group is unramified. We get the Global Artin map, By reciprocity law, this induces θ K : x X Z Gal(K ur,ab /K) θ K : coker(k x X Z) Gal(K ur,ab /K) by definition, Chow group of zero cycles := CH 0 (X) coker(k x X Z) and π 1 (X) ab Gal(K ur,ab /K). So we get the reciprocity map CH 0 (X) θ K π1 ab (X)... ( ) This induces an isomorphism between the finite groups ker(ch 0 (X) deg Z) := CH 0 (X) π ab 1 (X) := ker(π ab 1 (X) π ab 1 (F q )) The AIM of today s talk is to generalize (*) to higher dimensional varieties. 1
2 1 Higher dimensional CFT Theorem 1.1. Let X be a connected, projective and smooth variety over k = F q. Then the reciprocity map is injective and we have a commutative diagram of exact sequence 0 CH 0(X) CH 0(X) deg Z 0 φ X 0 π ab 1 (X) π ab 1 (X) Ẑ 0 where CH 0 (X) := subgroup of CH 0 (X) consisting all cycle classes of degree zero and π1 ab (X) := ker(π1 ab (X) Gal( k/k) Ẑ). We will first define CH 0 (X) and the reciprocity map for higher dimensional varieties. Steps of the Proof: 1. π ab 1 (X) is finite (Katz-Lang). 2. image(φ x ) is dense in π1 ab (X) and φ X is surjective (Lang). 3. Define λ : CH 0 (X) π1 ab (X), when X is a surface and prove λ is injective. A priori, λ may not be same as φ X but they actually are same ( Colliot-Thélene-Sansuc-Soule). 4. Show λ and φ X are isomorphisms by counting argument (Colliot-Thélene- Raskind). 5. φ X is an isomorphism for any dimension by reducing X to a surface by using a hyperplane argument (Kato-Saito). (1) follows from Niels talk. In this talk, we will prove (2). 2 Chow group and Reciprocity map Let X be a connected smooth projective variety over a finite field k = F q (where q = p e ) and π1 ab (X) denotes the abelianized fundamental group of X (π1 ab (X) classifies unramified coverings of X). We define Z 0 (X) := Group of 0-cycles on X. Let x X be a closed point, then the residue field k(x) is a finite field. The absolute Galois group G x = Gal(k(x)/k(x)) π1 ab (spec(k(x)) Ẑ has a canonical generator, the frobenius ϕ x defined by ϕ x (a) = a N(x), for every a k(x) where N(x) = k(x). (G x π1 ab (X) can be considered as decomposition group of x, this is well defined as two decomposition groups are conjugate). We have a canonical map i x : spec(k(x)) X and push-forward (i x ) : π1 ab (spec(k(x)) π1 ab (X). So we can define (extending linearly) x X Z.x =: Z 0 (X) π1 ab (X) 2
3 by sending x n x.x x n x.(i x ) (ϕ x ). is called the reciprocity map. Our aim is to understand and π ab 1 (X). The first important theorem in this direction is the following (Due to Lang) Theorem 2.1. Let X be a normal variety over k, then has dense image in π ab 1 (X). Remark 2.2. As is dense, under mild technical condition, we hope to exhaust information regarding π1 ab (X) by algebraic loops. So we have to find appropiate homotopy relation among these loops which is to find elements in ker( ) with geometric interpretation. Hope is to obtain a map almost isomorphism after finding many relations and diving them out. Remark 2.3. Since Z 0 (X) is discrete and π1 ab (X) carries a natural compact topology, it will not be possible to find an isomorphism between a quotient of Z 0 (X) and π1 ab (X), unless π1 ab (X) is finite. In general case, should induce an isomorphism on profinite completion. Required equivalence relation = rational equivalence to 0, which will give us the definition of Chow group. Definition 2.4. A zero cycle D Z 0 (X) is rationally equivalent to 0 if there exists an integrally closed subscheme C X of dimension 1 and a rational function f on the normalization ψ : C C such that D = p (Div(f)) where p : C X is the natural morphism and p is induced by sending P C zero cycle [k(p ) : k(ψ(p )]ψ(p ). Definition 2.5. The quotient of Z 0 (X) modulo the subgroup of zero cycles rationally equivalent to 0, is called Chow group of zero cycles on X and denoted by CH 0 (X). Definition 2.6. (Alternative Definition) Let X be a noetherian scheme. For every integer j we put X j := (x X dim({x}) = j). We define the Chow groups by CH j (X) := coker( y Xj+1 k(y) y Xj Z) The maps are given by { 0 for x / {y} f y ord O{y},x f y for x {y}. They are well defined homomorphisms as dimo {y},x = 1 in the last case. Theorem 2.7. Let X be a proper smooth variety over k, then through rational equivalence to induce This is also called reciprocity map. : CH 0 (X) π ab 1 (X) factors 3
4 Proof. Using the definition 2.4 and the construction of, we have the following commutative diagram, Z 0( C) Z 0(C) Z 0(X) φ C φ C π ab 1 ( C) π ab 1 (C) π ab 1 (X) Thus we can reduce the problem to the 1-dimensional case, where it is true. So we are done. So we get the following commutative diagram 0 CH 0(X) CH 0(X) deg Z φ X 0 π ab 1 (X) π ab 1 (X) Ẑ 0 Definition 2.8. Let X be of finite type over k. Define ζ X by the Euler product ζ X (s) = where NP is the cardinality of k(p ). P X 1 (1 NP ) s Theorem 2.9. Let X be a separtaed scheme of finite type over k. Put d := dim(x) and r X :=cardinality of {T X 0 dim(t ) = dim(x)}, where X 0 is the set of irreducible components. Then ζ X is a rational function of p s with rational coefficients and it is holomorphic on {s C Re(s) > d 1} d and has a pole of order r X at s = d. Theorem (Theorem 2.1) Let X be a normal variety over k, then has dense image in π1 ab (X). In other words, let χ : π1 ab (X) Q/Z be a continuous character, then if χ(ϕ x ) = 0 for all x X, then χ = 0. Proof. Assume H =< ϕ x > where x X and H be its closure. Let U := ker(χ). This is an open subgroup of π1 ab (X) containing H. This corresponds to a connected finite étale cover Y X (Galois with abelian galois group). Let P X, then the fibre Y P above P must be the spectrum of a finite direct product of copies of k(p ) as by construction of Y, ϕ P acts trivially on each geometric point of Y P. This implies Y has exactly d closed points lying above each closed point of X where d =degree of the cover Y X. Then by definition ζ Y = ζx d. Since ζ X and ζ Y have pole at order 1 at s = dim(x) = dim(y ) correspondingly, this implies d = 1. But then Y = X and hence U = π1 ab (X). By Galois theory, then χ = 0. Corollary Let X be a proper geometrically connected integral variety over k then the degree map CH 0 (X) Z is surjective. 4
5 Proof. Consider the following commutative diagram Z 0(X) π ab 1 (X) Z deg f G k Ẑ As X is geometrically connected, f is surjective. Let nz = im(deg). But as has dense image so is true for f. But nz is dense in Ẑ if and only if n = ±1. So deg is surjective. Corollary φ X is surjective. Proof. φ X is dense and the target group is finite so it is surjective. 3 Future directions Till now we consider unramified class field theory as π ab 1 (X) classifies unramified coverings of X. But if we allow ramification, then we can also do class field theory in similar spirit. These will be the topics of the following lectures. Let π1(x) t denotes the tame fundamental group classifying tame finite étale coverings of X. Then denote π t,ab 1 (X) the tame part of the abelianized fundamental group ( quotient in a natural way). Then we have following version of Theorem 1.1. Theorem 3.1. (Schmidt-Spiess) Let X be a smooth connected variety over k. Then the following reciprocity map : H0 S (X, Z) π t,ab 1 (X) gives the commutative diagram 0 H S 0 (X, Z) H S deg 0 (X, Z) Z 0 φ X 0 π t,ab 1 (X) π t,ab 1 (X) Ẑ 0 Remark 3.2. is defined similarly as above as a map : Z 0 (X) π1 ab (X) π t,ab 1 (X). This factors through Homotopy equivalence to give the suslin cohomology H0 S (X, Z). Remark 3.3. If X is proper this recovers Theorem 1.1. Now if we allow wild ramification, we can still continue with similar flavour. Let U be a smooth variety over k with char(k) 2. Choose a compactification U X with X normal and proper over k. We will define Chow group CH 0 (X, D) with modulus D where D is an cartier divisor with support D in X \ U. Then one can prove the following theorem, 5
6 Theorem 3.4. (Kerz-Saito) The reciprocity map induces an isomorphism CH 0 (X, D) π ab 1 (X, D) where π ab 1 (X, D) is the quotient of π ab 1 (X) which classifies abelian étale coverings of U with ramification over X \ U bounded by the divisor D. Remark 3.5. CH 0 (X, D) is extension of Chow group of zero cycles on U and also an extension of suslin homology. So we can recover the previous theorems. References [1] Szamuely, Tamás, Galois groups and fundamental groups, in Cambridge Studies in Advanced Mathematics., (2009). [2] Kato, Kazuya and Saito, Shuji, Unramified class field theory of arithmetical surfaces, in Ann. of Math., (1983), [3] Lang, Serge, Unramified class field theory over function fields in several variables, in Ann. of Math., (1956),
GEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
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 informationarxiv: v2 [math.nt] 17 Mar 2009
Covering data and higher dimensional global class field theory arxiv:0804.349v2 [math.nt] 7 Mar 2009 Moritz Kerz and Alexander Schmidt March 7, 2009 Abstract: For a connected regular scheme X, flat and
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
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 informationarxiv: v3 [math.ag] 25 Nov 2010
HIGHER CLASS FIELD THEORY AND THE CONNECTED COMPONENT MORITZ KERZ arxiv:0711.4485v3 [math.ag] 25 Nov 2010 Abstract. In this note we present a new self-contained approach to the class field theory of arithmetic
More informationWild 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 information9 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 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 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 informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 216 (2012) 1235 1244 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On a theorem
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 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 informationLemma 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 informationHigher Dimensional Class Field Theory: The variety case. Linda M. Gruendken. A Dissertation. Mathematics
Higher Dimensional Class Field Theory: The variety case Linda M. Gruendken A Dissertation in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements
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 informationHigher Class Field Theory
Higher Class Field Theory Oberseminar im Sommersemester 2011 Content The aim of higher class field theory is to describe the abelian fundamental group of an arithmetic scheme using a suitable, arithmetically
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 information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
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 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 informationA survey of Galois theory of curves in characteristic p
Fields Institute Communications Volume 00, 0000 A survey of Galois theory of curves in characteristic p Rachel Pries and Katherine Stevenson Abstract. This survey is about Galois theory of curves in characteristic
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
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 informationThe 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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationQuadratic 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 informationAnabelian Phenomena in Geometry and Arithmetic
Anabelian Phenomena in Geometry and Arithmetic Florian Pop, University of Pennsylvania PART I: Introduction and motivation The term anabelian was invented by Grothendieck, and a possible translation of
More information9 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 informationThe L-series Attached to a CM Elliptic Curve
The L-series Attached to a CM Elliptic Curve Corina E. Pǎtraşcu patrascu@fas.harvard.edu May 19, 2005 Abstract In this paper we present the L-series attached to an elliptic curve with complex multiplication.
More informationQuadratic 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 informationSome 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 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 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 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 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 informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationCover 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 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 informationA 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 informationON 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 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 informationHigher reciprocity laws and rational points
Higher reciprocity laws and rational points Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud) Joint work with R. Parimala et V. Suresh Conference on Algebraic Geometry Amsterdam, 8th-12th July,
More informationA FINITENESS THEOREM FOR GALOIS REPRESENTATIONS OF FUNCTION FIELDS OVER FINITE FIELDS (AFTER DELIGNE)
A FINITENESS THEOREM FOR GALOIS REPRESENTATIONS OF FUNCTION FIELDS OVER FINITE FIELDS (AFTER DELIGNE) Abstract. We give a detailed account of Deligne s letter [13] to Drinfeld dated June 18, 2011, in which
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationDiagonal Arithmetics. An introduction : Chow groups.
Diagonal Arithmetics. An introduction : Chow groups. May 25, 2015, IMPA, Rio de Janeiro Objects of interest k a field, X /k of finite type, equidimensional, d = dim(x ). Objects of interest k a field,
More informationHigher 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 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 informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More information10 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 informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
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 informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationINERTIA GROUPS AND FIBERS
INERTIA GROUPS AND FIBERS BRIAN CONRAD Let K be a global field and X, Y two proper, connected K-schemes, with X normal and Y regular. Let f : X Y be a finite, flat, generically Galois K-morphism which
More informationGrothendieck ring of varieties I.
Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian
More informationThe Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension
J. Math. Sci. Univ. Tokyo 21 (2014), 153 219. The Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension By Yuichiro Hoshi Abstract. In the present paper, we discuss Grothendieck s anabelian
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 informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 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 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 informationBirational p-adic Galois sections in higher dimensions
Birational p-adic Galois sections in higher dimensions JAKOB STIX Abstract This note explores the consequences of Koenigsmann s model theoretic argument from the proof of the birational p-adic section
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/887/2587 holds various files of this Leiden University dissertation. Author: Kosters, Michiel F. Title: Groups and fields in arithmetic Issue Date: 204-06-04
More informationThe Absolute Anabelian Geometry of Canonical Curves
Documenta Math. 609 The Absolute Anabelian Geometry of Canonical Curves Shinichi Mochizuki Received: September 27, 2002 Revised: January 13, 2003 Abstract. In this paper, we continue our study of the issue
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationR-Equivalence and Zero-Cycles on 3-Dimensional Tori
HU Yong R-Equivalence and Zero-Cycles on 3-Dimensional Tori Master thesis, defended on June 19, 2008 Thesis advisor: Dr. DORAY Franck Mathematisch Instituut, Universiteit Leiden Acknowledgements I would
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 informationInverse Galois Problem for C(t)
Inverse Galois Problem for C(t) Padmavathi Srinivasan PuMaGraSS March 2, 2012 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES
Math. J. Okayama Univ. 51 (2009), 1 26 ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES Yuichiro HOSHI Abstract. In the present paper, we study the cuspidalization problem for the fundamental group
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 informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationWeil-étale Cohomology
Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies
More informationLocal Langlands correspondence and examples of ABPS conjecture
Local Langlands correspondence and examples of ABPS conjecture Ahmed Moussaoui UPMC Paris VI - IMJ 23/08/203 Notation F non-archimedean local field : finite extension of Q p or F p ((t)) O F = {x F, v(x)
More informationOn the Alexander stratification in the deformation space of Galois characters
On the Alexander stratification in the deformation space of Galois characters Masanori MORISHITA Abstract. Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by
More informationSCHEMES. David Harari. Tsinghua, February-March 2005
SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationElliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I
Elliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I You are expected to at least read through this document before Wednesday s discussion session. Hopefully,
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 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 informationCOHOMOLOGY AND TORSION CYCLES OVER THE MAXIMAL CYCLOTOMIC EXTENSION
COHOMOLOGY AND TORSION CYCLES OVER THE MAXIMAL CYCLOTOMIC EXTENSION BY DAMIAN RÖSSLER AND TAMÁS SZAMUELY ABSTRACT. A classical theorem by K. Ribet asserts that an abelian variety defined over the maximal
More informationGalois 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 informationGeometric Class Field Theory
Geometric Class Field Theory Notes by Tony Feng for a talk by Bhargav Bhatt April 4, 2016 In the first half we will explain the unramified picture from the geometric point of view, and in the second half
More informationAn introduction to. Profinite Grothendieck-Teichmüller theory. MIT, Cambridge, Massachusetts. November 5-9, Lecture 1B
An introduction to Profinite Grothendieck-Teichmüller theory MIT, Cambridge, Massachusetts November 5-9, 2012 Lecture 1B The Grothendieck-Teichmüller group 1 Outline Lecture 1A: Geometric Galois actions
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 informationLocal duality for 2-dimensional local ring
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 8, No. 4, November 8, pp. 55 536. Printed in India Local duality for -dimensional local ring BELGACEM DRAOUIL Département de Mathématiques, Faculté des Sciences
More informationZero cycles on singular varieties and their desingularisations
Zero cycles on singular varieties and their desingularisations Matthew Morrow Abstract We use pro cdh-descent of K-theory to study the relationship between the zero cycles on a singular variety X and those
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 informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More information18 The analytic class number formula
18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic
More informationThe pro-p Hom-form of the birational anabelian conjecture
The pro-p Hom-form of the birational anabelian conjecture Scott Corry at Appleton and Florian Pop at Philadelphia Abstract We prove a pro-p Hom-form of the birational anabelian conjecture for function
More informationComputing 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 informationThe motive of a classifying space
The motive of a classifying space Burt Totaro The Chow group of algebraic cycles generally does not satisfy the Künneth formula. Nonetheless, there are some schemes X over a field k that satisfy the Chow
More informationINTRODUCTION TO WILD RAMIFICATION OF SCHEMES AND SHEAVES
INTRODUCTION TO WILD RAMIFICATION OF CHEME AND HEAVE TAKEHI AITO 1. Brief summary on étale cohomology In this section, k denotes a field, a scheme will mean a separated scheme of finite type over k and
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 information