DOCSLIB.ORG

Arxiv:2012.03982V1 [Math.AT] 7 Dec 2020 Edn Fadraft

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2012.03982V1 [Math.AT] 7 Dec 2020 Edn Fadraft EQUIVARIANT SHEAVES FOR PROFINITE GROUPS DAVID BARNES AND DANNY SUGRUE Abstract. We develop the theory of equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We construct a good notion of equivariant presheaves, with a suitable sheafification functor. Using these results on equivariant presheaves, we give explicit constructions of products of equivariant sheaves of R-modules. We introduce an equivariant analogue of skyscraper sheaves, which allows us to show that the category of equivariant sheaves of R-modules over a profinite space has enough injectives. This paper also provides the basic theory for results by the authors on giving an algebraic model for rational G-spectra in terms of equivariant sheaves over profinite spaces. For those results, we need a notion of Weyl-G-sheaves over the space of closed subgroups of G. We show that Weyl-G-sheaves of R-modules form an abelian category, with enough injectives, that is a full subcategory of equivariant sheaves of R-modules. Moreover, we show that the inclusion functor has a right adjoint. Contents 1. Introduction 2 2. Profinite groups, profinite spaces and discrete modules 3 3. Sheaves and presheaves 7 4. Equivariant sheaves 10 5. Sections of equivariant sheaves 13 6. Equivariant presheaves 14 7. G-sheaves of R-modules 16 8. Colimits and limits of equivariant sheaves and presheaves 19 9. Pull backs and push forwards 22 10. Equivariant skyscraper sheaves 23 11. Godemont resolutions of equivariant sheaves 25 12. Weyl sheaves over spaces of subgroups 27 13. Sheaves over a diagram of spaces 31 arXiv:2012.03982v1 [math.AT] 7 Dec 2020 References 36 The authors extend their thanks to Scott Balchin and Tobias Barthel for many useful conversations and a careful reading of a draft. 1 EQUIVARIANTSHEAVESFORPROFINITEGROUPS 2 1. Introduction We set forth the structure of G-equivariant sheaves (of sets or of abelian groups) with a focus on the case where G is a profinite group and the base space is a profinite space. This theory underlies the results of the authors in [BS20] and [BS21]. In the first paper, we construct an equivalence between the category of rational G-Mackey functors and Weyl-G-sheaves — a full subcategory of rational G-equivariant sheaves over SG, the space of closed subgroups of G. In the second paper, we use that equivalence to give a classification of rational G-spectra in terms of rational Weyl- G-sheaves. As part of that classification, the injective dimensions of the categories of rational G-equivariant sheaves and rational G-Mackey functors are studied. The starting point of the new results of this paper is Proposition 5.1, which is similar to a result of Schneider, see [Sch98, Statement (3)]. This proposition states that for a profinite group G, a section of a G-equivariant sheaf over a profinite base space X can be restricted to an N-equivariant section, for some open subgroup N of G. We describe this as saying that “every section is locally sub-equivariant” and have the following useful rephrasing. Corollary A (Corollary 5.2). Let F be a G-equivariant sheaf of sets over a profinite G-space X. For U a compact open subset of X, the set of sections F (U) is a discrete stabG(U)-set. This discrete action encodes the continuity of the stabiliser action on sections. This continuity is the key to defining a notion of equivariant presheaf, as it ensures that the associated sheaf space has a continuous action of a profinite group G. We summarise our results below, where G-PreSheaf(B) is the category of G-equivariant presheaves over B, a compact-open basis for the profinite G-space X. Theorem B (Theorems 6.3 and 6.5). There is a notion of an equivariant presheaf and a construc- tion of equivariant sheafification that defines an adjunction with the forgetful functor / ℓ : G-PreSheaf(B) o G-Sheaf(X): forget. The functor forget ◦ ℓ is idempotent, hence the forgetful functor is fully faithful. For R a ring, these results extend to G-sheaves of (left) R-modules and can be used to show that we have an abelian category and give explicit constructions of (small) colimits and limits, including infinite products. Theorem C (Theorem 7.9 and Proposition 8.7). The category of G-equivariant sheaves of R- modules over a profinite G-space X is an abelian category with all small limits and colimits. Another useful construction that makes use of our results on equivariant presheaves is the con- struction of change of space functors (pull backs and push forwards) for equivariant sheaves, as given in Section 9. As well as the constant equivariant sheaf of Examples 4.10 and 7.5, we give an equivariant version of a skyscraper sheaf in Example 10.5. Such a sheaf has non-zero stalks over exactly one orbit of the base space X (as equivariantly speaking, orbits take the place of points). This construction is adjoint to the functor which takes a stalk at a point of X. The class of equivariant skyscrapers are essentially the only example one needs, as the following makes clear. EQUIVARIANTSHEAVESFORPROFINITEGROUPS 3 Theorem D (Theorem 11.2). The injective equivariant skyscraper sheaves provide enough injectives for the category of G-equivariant sheaves of R-modules over X. The next topic is a study of the category of Weyl-G-sheaves, which was central to [BS20]. This is a category of G-equivariant sheaves of R-modules over SG, such that the stalk over K is K-fixed. We show that the category is abelian and give explicit constructions of all small limits and colimits. We show that we can construct a Weyl-G-sheaf from a G-equivariant sheaf over SG by taking stalk-wise fixed points. Theorem E (Lemma 12.8 and Theorem 12.10). There is an adjunction / inc : Weyl-G-sheafR(SG) o G-SheafR(SG): Weyl . The functor inc ◦ Weyl is idempotent, hence the inclusion functor is fully faithful. The category of Weyl-G-sheaves of R-modules is an abelian category with all small colimits and limits. Limits are constructed by taking the limit of the underlying diagram in G-SheafR(SG) and applying the functor Weyl. We end the paper by showing how to construct a G-equivariant sheaf over a profinite space by combining compatible equivariant sheaves over finite discrete spaces, see Theorem 13.6. This construction is extended to Weyl-G-sheaves in Corollary 13.8. Since equivariant sheaves over finite discrete spaces are products of the stalks (with group actions), this gives an alternative method to sheafification of defining an equivariant sheaf from algebraic information. As well as those new results, the paper provides an introduction to sheaves and equivariant sheaves in Sections 2 and 3, reminding the reader of the definitions and surrounding terminology of sheaves and profinite groups. We combine these notions to give two equivalent definitions of the category of G-equivariant sheaves (via equivariant local homeomorphisms and via pullback sheaves) in Section 4. Equivariant sheaves have been studied before, for example in the book of Bernstein and Lunts [BL94]. However, the results of this paper take a very different direction. In that book, the authors (very roughly speaking) want to make a derived category of sheaves over a free replacement of the base space. We are quite happy for the base space to have G-fixed points. Indeed, SG — the space of closed subgroups of G, under conjugation by G — is the base space of greatest interest for our applications and will always have fixed points. 2. Profinite groups, profinite spaces and discrete modules We give a few reminders of useful facts on profinite groups, profinite spaces and discrete modules. More details can be found in Wilson [Wil98] or Ribes and Zalesskii [RZ00]. A profinite group is a compact, Hausdorff, totally disconnected topological group. A profinite group G is homeomorphic to the inverse limit of its finite quotients: G =∼ lim G/N ⊆ G/N. N P G open N P G openY The limit has the canonical topology which can either be described as the subspace topology on the product or as the topology generated by the preimages of the open sets in G/N under the EQUIVARIANTSHEAVESFORPROFINITEGROUPS 4 projection map G → G/N, as N runs over the open normal subgroups of G. It follows that the open normal subgroups form a neighbourhood basis of the identity. Moreover, the intersection of all open normal subgroups is the trivial group. Lemma 2.1. Let G be a profinite group and K a closed subgroup. Then K = NK. N P G open\ Proof. The intersection contains K, so assume g ∈ G is in the intersection. For any open normal subgroup N, we may write g = nk for n ∈ N and k ∈ K. Hence n = gk−1 ∈ N ∩ gK. The sets N ∩ gK are non-empty and satisfy the finite intersection property as N is an open subgroup. By compactness of G, we have that ∅ 6= N ∩ gK ⊆ N = {e}. N P G N P G open\ open\ Hence, for any N, e ∈ N ∩ gK ⊆ gK for any N. We have shown that g ∈ K. Closed subgroups and quotients by closed normal subgroups of profinite groups are also profinite. A subgroup of a profinite group is open if and only if it is of finite index and closed. The trivial subgroup {e} is open if and only if the group is finite. Any open subgroup H contains an open normal subgroup, the core of H in G, which is defined as the finite intersection −1 CoreG(H)= gHg .
Load more

Recommended publications
  • Fundamental Groups of Schemes
    Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 E-mail address: [email protected] Chapter 1. Introduction 3 Chapter 2. Galois categories 5 1. Galois categories 5 §1. Definition and elementary properties. 5 §2. Examples and the main theorem 7 §2.1. The topological covers 7 §2.2. The category C(Π) and the main theorem 7 2. Galois objects. 8 3. Proof of the main theorem 12 4. Functoriality of Galois categories 15 Chapter 3. Etale covers 19 1. Some results in scheme theory. 19 2. The category of étale covers of a connected scheme 20 3. Reformulation of functoriality 22 Chapter 4. Properties and examples of the étale fundamental group 25 1. Spectrum of a field 25 2. The first homotopy sequence. 25 3. More examples 30 §1. Normal base scheme 30 §2. Abelian varieties 33 §2.1. Group schemes 33 §2.2. Abelian Varieties 35 §3. Geometrically connected schemes of finite type 39 4. G.A.G.A. theorems 39 Chapter 5. Structure of geometric fundamental groups of smooth curves 41 1. Introduction 41 2. Case of characteristic zero 42 §1. The case k = C 43 §2. General case 43 3. Case of positive characteristic 44 (p0) §1. π1(X) 44 §1.1. Lifting of curves to characteristic 0 44 §1.2. the specialization theory of Grothendieck 45 §1.3. Conclusion 45 ab §2. π1 46 §3. Some words about open curves. 47 Bibliography 49 Contents CHAPTER 1 Introduction The topological fundamental group can be studied using the theory of covering spaces, since a fundamental group coincides with the group of deck transformations of the asso- ciated universal covering space.
    [Show full text]
  • Abstract Quotients of Profinite Groups, After Nikolov and Segal
    ABSTRACT QUOTIENTS OF PROFINITE GROUPS, AFTER NIKOLOV AND SEGAL BENJAMIN KLOPSCH Abstract. In this expanded account of a talk given at the Oberwolfach Ar- beitsgemeinschaft “Totally Disconnected Groups”, October 2014, we discuss results of Nikolay Nikolov and Dan Segal on abstract quotients of compact Hausdorff topological groups, paying special attention to the class of finitely generated profinite groups. Our primary source is [17]. Sidestepping all difficult and technical proofs, we present a selection of accessible arguments to illuminate key ideas in the subject. 1. Introduction §1.1. Many concepts and techniques in the theory of finite groups depend in- trinsically on the assumption that the groups considered are a priori finite. The theoretical framework based on such methods has led to marvellous achievements, including – as a particular highlight – the classification of all finite simple groups. Notwithstanding, the same methods are only of limited use in the study of infinite groups: it remains mysterious how one could possibly pin down the structure of a general infinite group in a systematic way. Significantly more can be said if such a group comes equipped with additional information, such as a structure-preserving action on a notable geometric object. A coherent approach to studying restricted classes of infinite groups is found by imposing suitable ‘finiteness conditions’, i.e., conditions that generalise the notion of being finite but are significantly more flexible, such as the group being finitely generated or compact with respect to a natural topology. One rather fruitful theme, fusing methods from finite and infinite group theory, consists in studying the interplay between an infinite group Γ and the collection of all its finite quotients.
    [Show full text]
  • The Smooth Locus in Infinite-Level Rapoport-Zink Spaces
    The smooth locus in infinite-level Rapoport-Zink spaces Alexander Ivanov and Jared Weinstein February 25, 2020 Abstract Rapoport-Zink spaces are deformation spaces for p-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let M8 be an infinite-level Rapoport-Zink space of ˝ ˝ EL type, and let M8 be one connected component of its geometric fiber. We show that M8 contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of p-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve Xpp8q˝ is exactly the locus of elliptic curves E with supersingular reduction, such that the formal group of E has no extra endomorphisms. 1 Main theorem Let p be a prime number. Rapoport-Zink spaces [RZ96] are deformation spaces of p-divisible groups equipped with some extra structure. This article concerns the geometry of Rapoport-Zink spaces of EL type (endomor- phisms + level structure). In particular we consider the infinite-level spaces MD;8, which are preperfectoid spaces [SW13]. An example is the space MH;8, where H{Fp is a p-divisible group of height n. The points of MH;8 over a nonarchimedean field K containing W pFpq are in correspondence with isogeny classes of p-divisible groups G{O equipped with a quasi-isogeny G b O {p Ñ H b O {p and an isomorphism K OK K Fp K n Qp – VG (where VG is the rational Tate module).
    [Show full text]
  • Bertini's Theorem on Generic Smoothness
    U.F.R. Mathematiques´ et Informatique Universite´ Bordeaux 1 351, Cours de la Liberation´ Master Thesis in Mathematics BERTINI1S THEOREM ON GENERIC SMOOTHNESS Academic year 2011/2012 Supervisor: Candidate: Prof.Qing Liu Andrea Ricolfi ii Introduction Bertini was an Italian mathematician, who lived and worked in the second half of the nineteenth century. The present disser- tation concerns his most celebrated theorem, which appeared for the first time in 1882 in the paper [5], and whose proof can also be found in Introduzione alla Geometria Proiettiva degli Iperspazi (E. Bertini, 1907, or 1923 for the latest edition). The present introduction aims to informally introduce Bertini’s Theorem on generic smoothness, with special attention to its re- cent improvements and its relationships with other kind of re- sults. Just to set the following discussion in an historical perspec- tive, recall that at Bertini’s time the situation was more or less the following: ¥ there were no schemes, ¥ almost all varieties were defined over the complex numbers, ¥ all varieties were embedded in some projective space, that is, they were not intrinsic. On the contrary, this dissertation will cope with Bertini’s the- orem by exploiting the powerful tools of modern algebraic ge- ometry, by working with schemes defined over any field (mostly, but not necessarily, algebraically closed). In addition, our vari- eties will be thought of as abstract varieties (at least when over a field of characteristic zero). This fact does not mean that we are neglecting Bertini’s original work, containing already all the rele- vant ideas: the proof we shall present in this exposition, over the complex numbers, is quite close to the one he gave.
    [Show full text]
  • Sheaves with Values in a Category7
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology Vol. 3, pp. l-18, Pergamon Press. 196s. F’rinted in Great Britain SHEAVES WITH VALUES IN A CATEGORY7 JOHN W. GRAY (Received 3 September 1963) $4. IN’IXODUCTION LET T be a topology (i.e., a collection of open sets) on a set X. Consider T as a category in which the objects are the open sets and such that there is a unique ‘restriction’ morphism U -+ V if and only if V c U. For any category A, the functor category F(T, A) (i.e., objects are covariant functors from T to A and morphisms are natural transformations) is called the category ofpresheaces on X (really, on T) with values in A. A presheaf F is called a sheaf if for every open set UE T and for every strong open covering {U,) of U(strong means {U,} is closed under finite, non-empty intersections) we have F(U) = Llim F( U,) (Urn means ‘generalized’ inverse limit. See $4.) The category S(T, A) of sheares on X with values in A is the full subcategory (i.e., morphisms the same as in F(T, A)) determined by the sheaves. In this paper we shall demonstrate several properties of S(T, A): (i) S(T, A) is left closed in F(T, A). (Theorem l(i), $8). This says that if a left limit (generalized inverse limit) of sheaves exists as a presheaf then that presheaf is a sheaf.
    [Show full text]
  • 24 the Idele Group, Profinite Groups, Infinite Galois Theory
    18.785 Number theory I Fall 2016 Lecture #24 12/06/2015 24 The idele group, profinite groups, infinite Galois theory 24.1 The idele group Let K be a global field. Having introduced the ring of adeles AK in the previous lecture, it is natural to ask about its unit group. As a group we have × × × AK = f(av) 2 AK : av 2 Kv for all v 2 MK ; and av 2 Ov for almost all v 2 MK g; however, as a subspace of AK , this is not a topological group because the inversion map a 7! a−1 need not be continuous. Example 24.1. Consider K = Q and for each prime p let xp = (1; 1;:::; 1; 1; p; 1; 1;:::) 2 AQ be the adele with a p in its pth component and 1's elsewhere. Every basic open set U about 1 in A has the form Q Y Y U = Uv × Ov; v2S V 62S with S ⊆ MQ finite and 1v 2 Uv, and it is clear that U contains xp for all sufficiently large p. It follows that the sequence x2; x3; x5;::: converges to 1 in the topology of AQ. But notice −1 −1 −1 −1 that U does not contain xp for all sufficiently large p, so the sequence x2 ; x3 ; x5 ;::: −1 −1 cannot possibly converge to 1 = 1 in AQ. Thus the function x ! x is not continuous × in the subspace topology for AK . This problem is not specific to rings of adeles. In general, given a topological ring R, there is no reason to expect its unit group R× ⊆ R to be a topological group in the subspace topology unless R happens to be a subring of a topological field (the definition of which × requires inversion to be continuous), as is the case for the unit group OK ; this explains why we have not encountered this problem up to now.
    [Show full text]
  • Smoothness, Semi-Stability and Alterations
    PUBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. A. J. DE JONG Smoothness, semi-stability and alterations Publications mathématiques de l’I.H.É.S., tome 83 (1996), p. 51-93 <http://www.numdam.org/item?id=PMIHES_1996__83__51_0> © Publications mathématiques de l’I.H.É.S., 1996, tous droits réservés. L’accès aux archives de la revue « Publications mathématiques de l’I.H.É.S. » (http:// www.ihes.fr/IHES/Publications/Publications.html) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ SMOOTHNESS, SEMI-STABILITY AND ALTERATIONS by A. J. DE JONG* CONTENTS 1. Introduction .............................................................................. 51 2. Notations, conventions and terminology ...................................................... 54 3. Semi-stable curves and normal crossing divisors................................................ 62 4. Varieties.................................................................................. QQ 5. Alterations and curves ..................................................................... 76 6. Semi-stable alterations ..................................................................... 82 7. Group actions and alterations .............................................................
    [Show full text]
  • Subgroups of Finite Index in Profinite Groups
    Subgroups of Finite Index in Profinite Groups Sara Jensen May 14, 2013 1 Introduction In addition to having a group structure, profinite groups have a nontrivial topological structure. Many results pertaining to profinite groups exploit both structures, and there- fore both structures are important in understanding profinite groups. An amazing result due to Nikolov and Segal is the following theorem. Theorem 1.1. Suppose that G is a topologically finitely generated profinite group. Then every subgroup of G of finite index is open. One way to view Theorem 1.1 is as a statement that the algebraic structure of a finitely generated profinite group somehow also encodes the topological structure. That is, if one wishes to know the open subgroups of a profinite group G, a topological property, one must only consider the subgroups of G of finite index, an algebraic property. As profinite groups are compact topological spaces, an open subgroup of G necessarily has finite index. Thus it is also possible to begin with a subgroup of G having a particular topological property (the subgroup is open) and deduce that this subgroup must also have a particular algebraic property (the subgroup has finite index). The proof of Theorem 1.1 is quite extensive, and requires the classification of finite simple groups. However, if one restricts attention to a smaller class of groups, the result can be done in a fairly straightforward manner. Suppose that G is a finite group having a normal series 1 = Gl ⊆ Gl−1 ⊆ ::: ⊆ G1 ⊆ G0 = G such that Gi=Gi+1 is nilpotent for all 0 ≤ i < l.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • The Equivalence Between Rational G-Sheaves and Rational G-Mackey
    THE EQUIVALENCE BETWEEN RATIONAL G-SHEAVES AND RATIONAL G-MACKEY FUNCTORS FOR PROFINITE G DAVID BARNES AND DANNY SUGRUE Abstract. For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K-fixed. This extends the classification of rational G-Mackey functors for finite G of Thévenaz and Webb, and Greenlees and May to a new class of examples. Moreover, this equivalence is instru- mental in the classification of rational G-spectra for profinite G, as given in the second author’s thesis. Contents 1. Introduction 2 1.1. Organisation 3 2. Mackey functors and sheaves 3 2.1. Basic facts on profinite groups 3 2.2. Mackey functors for profinite groups 4 2.3. Burnside ring idempotents 6 2.4. Equivariant sheaves 10 3. The functors 11 3.1. Weyl-G-sheaves determine Mackey Functors 11 3.2. Mackey Functors determine Weyl-G-sheaves 13 4. The equivalence 16 4.1. The equivalence on sheaves 17 4.2. The equivalence on Mackey functors 19 5. Consequences 20 5.1. Examples 20 arXiv:2002.11745v1 [math.AT] 26 Feb 2020 5.2. Weyl Sheaves from equivariant sheaves 21 References 22 1 WEYL SHEAVES AND MACKEY FUNCTORS 2 1. Introduction The classification of rational Mackey functors for finite groups is well-known and highly useful. An algebraic version of this result is given by Thévenaz and Webb [TW95].
    [Show full text]
  • On Sheaf Theory
    Lectures on Sheaf Theory by C.H. Dowker Tata Institute of Fundamental Research Bombay 1957 Lectures on Sheaf Theory by C.H. Dowker Notes by S.V. Adavi and N. Ramabhadran Tata Institute of Fundamental Research Bombay 1956 Contents 1 Lecture 1 1 2 Lecture 2 5 3 Lecture 3 9 4 Lecture 4 15 5 Lecture 5 21 6 Lecture 6 27 7 Lecture 7 31 8 Lecture 8 35 9 Lecture 9 41 10 Lecture 10 47 11 Lecture 11 55 12 Lecture 12 59 13 Lecture 13 65 14 Lecture 14 73 iii iv Contents 15 Lecture 15 81 16 Lecture 16 87 17 Lecture 17 93 18 Lecture 18 101 19 Lecture 19 107 20 Lecture 20 113 21 Lecture 21 123 22 Lecture 22 129 23 Lecture 23 135 24 Lecture 24 139 25 Lecture 25 143 26 Lecture 26 147 27 Lecture 27 155 28 Lecture 28 161 29 Lecture 29 167 30 Lecture 30 171 31 Lecture 31 177 32 Lecture 32 183 33 Lecture 33 189 Lecture 1 Sheaves. 1 onto Definition. A sheaf S = (S, τ, X) of abelian groups is a map π : S −−−→ X, where S and X are topological spaces, such that 1. π is a local homeomorphism, 2. for each x ∈ X, π−1(x) is an abelian group, 3. addition is continuous. That π is a local homeomorphism means that for each point p ∈ S , there is an open set G with p ∈ G such that π|G maps G homeomorphi- cally onto some open set π(G).
    [Show full text]
  • The Étale Fundamental Group Wouter Zomervrucht, December 9, 2014
    The étale fundamental group Wouter Zomervrucht, December 9, 2014 1. Topology Let X be a connected topological space. Let x 2 X be a point. An important invariant of (X, x) is the (topological) fundamental group p(X, x) := loops x x in X /'. It can also be described in terms of covers. A cover of X is a map p : Y ! X such that every point x 2 X has an open neighborhood U ⊆ X with p−1(U) =∼ U × p−1(x) as spaces over U (endowing p−1(x) with the discrete topology). A cover Y ! X is universal if Y is simply connected. In this case p(X, x) = AutX Y. Theorem 1.1. Suppose X admits a universal cover. Then the functor Cov X ! p(X, x)-Set, p 7! p−1(x) is an equivalence. Theorem 1.2. There is a profinite group p, unique up to isomorphism, such that FCov X ≈ p-FSet. If X admits a universal cover, then p is isomorphic to the profinite completion pˆ (X, x). All data in this theorem can be made functorial in (X, x). Example 1.3. The circle S1 has fundamental group p(S1, x) = Z. It has the universal cover R ! S1, t 7! exp 2pit, with automorphism group generated by the shift t 7! t + 1. In the set- ting of theorem 1.2, suppose A is a transitive finite Zˆ -set. Then A =∼ Z/nZ, and it corresponds to the finite cover R/nZ ! S1, t 7! exp 2pit. 2. Algebraic geometry Let X be a connected scheme.
    [Show full text]