1 Notations and Statement of the Main Results
|
|
- Damian Stevens
- 3 years ago
- Views:
Transcription
1 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 motivations of Grothendieck to develop the étale cohomology: proving the Weil Conjecture and introducing the fundamental groups to the category of schemes. As we all know, the Zariski topology is too coarse to consider any reasonable loop on it. On the other hand, we are indeed looking for something involving the scheme structure. So, one should define the covering on the level of rings. Also, we need to give some new understanding of the fundamental group. An alternative way to interpret fundamental group is to view it as the transformation group of the universal covering space. Say, X is the universal covering of X. Then we can reasonably define π1 (X) = Aut X ( X). However, this brings another problem: if we begin with an elliptic curve X = C/Z 2, we should expect its universal covering to be C. Unfortunately, there is no morphism between C and X in the category of schemes because, essentially, there is no infinite cover in the category of schemes. So, the way to solve the problem is to define what is visible in the category of schemes to be the universal covering (or equivalently the fundamental groups), namely, the collection of all coverings which corresponding to the subgroups of fundamental group of finite index. To be more precise, we expect the following diagram Topology and Geometry Side Algebraic Geometry Side Coverings in the topological sense Étale morphisms Finite index subgroups of π geo 1 Finite étale morphisms π geo 1 π alg 1 = lim G/H H G Definition 1.1. We say a homomorphism f : A B is étale if (i) it is of finite type and flat; (ii) it is unramified, namely, for any prime q Spec B and p = q A Spec A, we have B/pB is a finite separable field extension of A/pA. What we are interested in are finite étale maps. They are both open and closed map. Here is a list of general properties of étale maps. Locally, étale map looks like Spec B = Spec ( A[T ]/f(t ) ) Spec A, where f(t ) is a unitary g polynomial and f (T ) is invertible in B. Or, more generally, Spec ( A[T 1,,T n] ) f 1 (T ),,f n(t ), where the g Jacobian Jac( f i / T j ) is invertible. (Note: we have same n here) f : X S is unramified at x X Ω X/S,x = 0 : X X S X is an open immersion in a neighborhood of x. (In affine case, this means that the diagonal map maps X to a connected component of X S X.) The lifting problem for closed subscheme Z 0 of Z defined by ideal sheaf I such that I 2 = 0 1
2 (or equivalently, I N = 0 for some N) X Y Z has a (resp. unique) solution if and only if f is smooth (resp. étale). f The étaleness is preserved under base change and composition. Moreover, for X f Y g Z, if g and g f are étale, then f is. Now, we will state the main result of this talk. Theorem 1.2 (Fundamental Group). Let X be a connected locally noetherian scheme and FEt(X) be the category of finite étale cover of X. Fix a geometric point x X, then there exists an profinite group G = π 1 (X, x) and an equivalence of category FEt(X) G sets cont.. For a different choice x X, there is a continuous isomorphism π 1 (X, x) = π 1 (X, x ) and the isomorphism is unique up to an inner automorphism. A special case of this theorem is the category of finite étale covers of Spec(k) for k a field. In that case, G = Gal(k sep /k). Theorem 1.3 (First Homotopy Exact Sequence). Let Y be a connected locally noetherian scheme. Let f : X Y satisfy the following (technical) condition: f is proper; f is separable in the sense that every fiber is geometrically reduced; f (O X ) Y. Let ā be a geometric point of X and ȳ its image in Y. Denote the geometric fiber by Xȳ. Then, we have an exact sequence of fundamental groups: Z 0 π 1 (Xȳ, ā) π 1 (X, ā) ψ π 1 (Y, ȳ) (1) 2 Construction of Fundamental Groups Throughout this chapter, S denotes a connected scheme. We will use the formalism of Galois category. The category C = FEt(S) is called Galois if it satisfies the following conditions: (G0) C has an initial object (the empty scheme) and a final object S. (G1) Finite fibre products exist in C. (G2) If X, Y C, then the disjoint union X Y C. 2
3 (G3) Any morphism u : X Y in C admits a (unique) factorization of the form u X Y u 1 j Y 1 where u 1 is effective epimorphism (i.e., surjective étale) and Y = Y 1 Y2 for Y 2 C. In fact, this follows from that a finite étale map is both closed and open. (G4) If X C and G is a finite group acting on the right (g h = (hg) ). Then the quotient X/G exists and X X/G is effective epimorphism (surjective étale). Since étaleness can be descent under faithfully flat map, by passing to the strictly henselization of O S,s for any s S, we are reduced to the trivial case. Next, I will define a covariant functor F from C = FEt(S) to the category of finite sets, called the fundamental functor. This map will become the map of equivalence of category between C and G sets cont.. Fix a geometric point s = Spec Ω. For any X FEt(S), we define F (X) to be the set of commutative diagrams (or equivalently, the geometric points of X above ā) X s = Spec Ω S It is obvious that F (X) = rank(x/s). Moreover, given a morphism X Y in the category C, we have a natural map F (X) F (Y ). The functor satisfies the following axioms: (F0) F (X) = X =. And F (S) = {e} is a one pointed set. (F1) F (X Z Y ) = F (X) F (Z) F (Y ), X, Y, Z C. (F2) F (X 1 X2 ) = F (X 1 ) F (X 2 ). (F3) If X Y is an effective epimorphism in C, then the map F (X) F (Y ) is onto. (F4) Let X C and G acts as S-automorphism on the right. Then G acts naturally on the right of F (X) via the following commutative diagram: X x η s = Spec Ω η(x) g X/G S η x g X Moreover, we have a natural bijection η : F (X)/G F (X/G). The bijectivity follows from the following facts: (i) for any point p X/G, the action of G on the fiber is transitive and (ii) for any point m η 1 (p) in the fiber, the decomposition group G p at p surjectively maps to Gal(k(m)/k(p)). 3
4 (F5) If u : X Y is a morphism in C such that the corresponding map F (u) : F (X) F (Y ) is bijective, then u is isomorphism. Example 2.1. Before going further, we first study what happens to the classical case of covering of locally arcwise connected topological spaces S. The category C consists of all topological coverings X of S and all maps are covering maps. Pick a point s S, define F (X) = u 1 (s) for u : X S. Then, as well known, we have a universal covering S, satisfying the following two properties: π 1 (S, s) = Aut S ( S) and Hom C ( S, X) F (X), X C. Definition 2.2. A covariant functor F : C Sets is called representable if there exists X C and ξ F (X) such that Hom C (X, Y ) F (Y ), f F (f)(ξ) is bijective, i.e., Hom(X, ) F is an isomorphism of functors. As indicated by the example, we will prove that F is pro-presentable, i.e., there exists a compatible family {S i, ξ i } i I for S i C, ξ i F (S i ), such that F (X) = lim Hom(S i, X), X C. I claim without proof that this is not too different from the classical case except that we do not have a universal covering, but inductive limit instead. In practise, one can show that, it is enough to take all the connected objects S i C and all ξ i F (S i ) with effective epimorphisms between them. We then have pro-representability. Next, we will try to extract the group from the information given by S i. We note that for any connected X C, σ Aut(X) acts on ξ F (X) via ξ σ ξ. This gives a map Aut(X) F (X). Definition 2.3. A connected object X C is called galois if for any ξ F (X), the map Aut(X) F (X) defined by u u ξ is a bijection. Lemma 2.4. For any η F (Y ), we have a galois object X, ξ F (X) and u Hom C (X, Y ) such that F (u)(ξ) = η. This lemma is crucial in the proof of the existence of fundamental group. Granted by this lemma, we may assume that the S i representing F are given by galois ones. Moreover, we can take only one fixed τ i F (S i ) but not all the elements in F (S i ). Let G i = Aut(S i ) and τ i be the fixed element. We have a bijection θ i : G i F (S i ) defined by u u τ i. Denote the transition map of S i to be ij : S j S i, i.e., F ( ij )(τ j ) = τ i. Therefore, we can define ψ ij to be G j θ j F (S j ) F ( ij) F (S i ) θ 1 i G i. In other word, we have the commutative diagram ψ ij (u) S i S j ij u S i S j ij Therefore, we obtain the fundamental group as a profinite group π 1 (S, s) = lim ψ ij G i. One can show that the functor F establishes an equivalence of category of FEt(S) and G sets cont., where G = π 1 (S, s). Moreover, from the construction, it depends on the choice of τ i, which means that the fundamental group is defined up to an inner automorphism. i I 4
5 3 First Homotopy Exact Sequence From the construction of fundamental group, we see that it is functorial in the sense that given a morphism f : X Y, mapping x to ȳ, we have a functor f : FEt(Y ) FEt(X). This gives rise to a natural continuous homomorphism f : π 1 (X, x) π 1 (Y, ȳ). We can interpret the property of the map f in terms of the property of the corresponding functor f : FEt(Y ) FEt(X). f is surjective if and only if for any connected Y FEt(Y ), Y Y X FEt(X) is also connected. f is trivial if and only if for any X FEt(Y ), Y Y X is isomorphic to disjoint union of finite copies of X. Now, under the prescribe condition of Theorem 1.3, we will show the surjectivity of the last map and the triviality of the composition in the sequence of fundamental groups. π 1 (Xȳ, ā) π 1 (X, ā) ψ π 1 (Y, ȳ) (1). To see that ψ is surjective, it is suffice to look at the connected étale base change Y Y : X X Y Y = X f Y Y f (proper) Since O Y = f (O X ), f (O X ) = f (O X OY O Y ) = (f O X ) OY O Y = O Y. Therefore, X is connected by Zariski connected theorem. As to the composition, we note that for any base change Y Y, Y Y k(y) = finite k(y). Therefore, ψ = 0 follows. The hard part of the proof is the exactness at the middle term which I will omit, which involves a beautiful use of theorem of cohomology of base change. Remark 3.1. If we drop the assumptions f (O X ) = O Y sequence: and Y connected, we have a long exact π 1 (Xȳ, ā) π 1 (X, ā) ψ π 1 (Y, ȳ) π 0 (Xȳ, ā) π 0 (X, ā) ψ π 0 (Y, ȳ) (1) where π 0 (, ) denotes the (pointed) sets of (connected) components of the corresponding schemes. 4 Existence Theorem and Its Application Theorem 4.1 (Existence Theorem). Let S be a locally noetherian scheme and for simplicity S 0 = S red. Then we have an equivalence of category FEt(S) FEt(S 0 ). More precisely, X, Y FEt(S), we have Hom S (X, Y ) = Hom S0 (X 0, Y 0 ) and if X 0 FEt(S 0 ), then X FEt(S) such that X S S 0 X0. 5
6 The first assertion follows immediately from the lifting property of étale map. But the second needs hard descent theory, which I will not talk about. This theorem tells us that somehow the fundamental group depends only on the topological space. An application of the existence theorem is the following Theorem 4.2 (Second Homotopy Exact Sequence). Let A be a complete noetherian local ring and S = Spec A with s 0 as the geometric point at the closed point. Let X be a proper S- scheme and X 0 = X S s 0 its geometric special fiber. Assume that X0 is connected. Then the following sequence is exact. (1) π 1 ( X 0, ā 0 ) π 1 (X, a 0 ) π 1 (S, s 0 ) (1) Moreover, we have isomorphism π 1 (S, s 0 ) = Gal(k( s 0 )/k(s 0 )). Now, let ā 1 be an arbitrary geometric point of X and x 1 its image in S. Denote X 1 = X S s 1. Then we get a (non-exact) sequence π 1 ( X 1, ā 1 ) π 1 (X, a 1 ) π 1 (S, s 1 ) (1) such that the composition is trivial. And we have the following diagram: π 1 ( X 1, ā 1 ) π 1 (X, a 1 ) π 1 (S, s 1 ) (1) (1) π 1 ( X 0, ā 0 ) π 1 (X, a 0 ) π 1 (S, s 0 ) (1) This is not necessarily commutative; but it is commutative up to an inner automorphism of π 1 (S, s 0 ). Therefore, we obtain a continuous homomorphism π 1 ( X 1, ā 1 ) π 1 ( X 0, ā 0 ) determined up to an inner automorphism of π 1 (X). This is called the homomorphism of specialization of the fundamental group. In particular, if X is separable over S, the first row is exact, and hence π 1 ( X 1, ā 1 ) π 1 ( X 0, ā 0 ) is surjective. In general, for S arbitrary locally noetherian scheme and X with universally connected fibers, if s 0 s 1, the specialization map is surjective. We say that the fundamental group also satisfies the semi-continuity property. References β α [Mur] J. P. Murre, Lectures on an introduction to Grothendieck s theory of the fundamental group, Tata Institute of Fundamental Research,
Lecture 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
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
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/
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
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
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
THE KEEL MORI THEOREM VIA STACKS
THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for
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,
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
Geometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
ÉTALE π 1 OF A SMOOTH CURVE
ÉTALE π 1 OF A SMOOTH CURVE AKHIL MATHEW 1. Introduction One of the early achievements of Grothendieck s theory of schemes was the (partial) computation of the étale fundamental group of a smooth projective
A Grothendieck site is a small category C equipped with a Grothendieck topology T. A Grothendieck topology T consists of a collection of subfunctors
Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped
MATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
Exercises 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
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
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
Artin Approximation and Proper Base Change
Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X
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
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
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
Lecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
The Nori Fundamental Group Scheme
The Nori Fundamental Group Scheme Angelo Vistoli Scuola Normale Superiore, Pisa Alfréd Rényi Institute of Mathematics, Budapest, August 2014 1/64 Grothendieck s theory of the fundamental group Let X be
Formal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
Lectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
CHAPTER 1. Étale cohomology
CHAPTER 1 Étale cohomology This chapter summarizes the theory of the étale topology on schemes, culminating in the results on l-adic cohomology that are needed in the construction of Galois representations
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
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.
Constructible Sheaves, Stalks, and Cohomology
Constructible Sheaves, Stalks, and Cohomology Zev Rosengarten October 22, 2016 1 Constructible Sheaves We would like to understand cohomology with coefficients in some constant abelian group, like Z/l
NON-ARCHIMEDEAN ANALYTIC SPACES. Vladimir G. BERKOVICH. Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, Rehovot, ISRAEL
NON-ARCHIMEDEAN ANALYTIC SPACES Vladimir G. BERKOVICH Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, 76100 Rehovot, ISRAEL The following text is a short account of lectures at
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,
Homology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
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
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
THE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
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
UNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES
UNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES MARTIN C. OLSSON Abstract. Fix a morphism of schemes f : X S which is flat, proper, and fiber-by-fiber semi-stable. Let IV LS be the functor on the category
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
0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
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
FORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
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
The 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
Chern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
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
Etale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
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).
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
Constructible isocrystals (London 2015)
Constructible isocrystals (London 2015) Bernard Le Stum Université de Rennes 1 March 30, 2015 Contents The geometry behind Overconvergent connections Construtibility A correspondance Valuations (additive
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
Representations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
Lecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
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
ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES
NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES DAN EDIDIN The purpose of these notes is to discuss the problem of moduli for curves of genus g 3 1 and outline the construction of the (coarse)
A Mini-Course on Formal and Rigid Geometry
A Mini-Course on Formal and Rigid Geometry Padova April/May 2010 Siegfried Bosch (Münster) http://wwwmath.uni-muenster.de/u/bosch/frg-padova.pdf 1 Outline 1 Introduction Naive approach to non-archimedean
What are stacks and why should you care?
What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack
On the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
ON 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
THE ADIC TAME SITE KATHARINA HÜBNER
THE ADIC TAME SITE KATHARINA HÜBNER Abstract. For every adic space Z we construct a site Z t, the tame site of Z. For a scheme X over a base scheme S we obtain a tame site by associating with X/S an adic
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
Construction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
MA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
Math 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
Cohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field
On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.)
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
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
Finite group schemes
Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3
An Introduction to the Stolz-Teichner Program
Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles
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
Introduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata
NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
Classification of definable groupoids and Zariski geometries
and Zariski geometries Dmitry Sustretov Ben Gurion University sustreto@mathbguacil February 26, 2014 1 Motivation: Azumaya algebras An Azumaya algebra is a generalisation of a central simple algebra for
1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
GALOIS DESCENT AND SEVERI-BRAUER VARIETIES. 1. Introduction
GALOIS DESCENT AND SEVERI-BRAUER VARIETIES ERIC BRUSSEL CAL POLY MATHEMATICS 1. Introduction We say an algebraic object or property over a field k is arithmetic if it becomes trivial or vanishes after
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
PICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
Theta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
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
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
PART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
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
h M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
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
MODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
in path component sheaves, and the diagrams
Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial
Derived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
AN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
INERTIA 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
Algebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
Duality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
Inverse 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
1. Motivation: search for a p-adic cohomology theory
AN INTRODUCTION TO RIGID COHOMOLOGY CHRISTOPHER LAZDA 1. Motivation: search for a p-adic cohomology theory Let k be a perfect field of characteristic p > 0, W = W (k) the ring of Witt vectors of k, and