Operations on Étale Sheaves of Sets

Transcription

1 DEGREE PROJECT IN MATHEMATICS, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2016 Operations on Étale Sheaves of Sets ERIC AHLQVIST KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF ENGINEERING SCIENCES

2

3 Operations on Étale Sheaves of Sets ERIC AHLQVIST Master s Thesis in Mathematics (30 ECTS credits) Master Programme in Mathematics (120 credits) Royal Institute of Technology year 2016 Supervisor at KTH: David Rydh Examiner: David Rydh TRITA-MAT-E 2016:26 ISRN-KTH/MAT/E--16/26--SE Royal Institute of Technology School of Engineering Sciences KTH SCI SE Stockholm, Sweden URL:

4

5 3 Abstract. Rydh showed in 2011 that any unramified morphism f of algebraic spaces (algebraic stacks) has a canonical and universal factorization through an algebraic space (algebraic stack) called the étale envelope of f, where the first morphism is a closed immersion and the second is étale. We show that when f is étale then the étale envelope can be described by applying the left adjoint of the pullback of f to the constant sheaf defined by a pointed set with two elements. When f is a monomorphism locally of finite type we have a similar construction using the direct image with proper support.

6 4 Sammanfattning. Rydh visade 2011 att varje oramifierad morfi f av algebraiska rum (algebraiska stackar) har en kanonisk och universell faktorisering genom ett algebraiskt rum (algebraisk stack) som han kallar den étala omslutningen av f, där den första morfin är en sluten immersion och den andra är étale. Vi visar att då f är étale så kan den étala omslutningen beskrivas genom att applicera vänsteradjunkten till tillbakadragningen av f på den konstanta kärven som definieras av en punkterad mängd med två element. Då f är en monomorfi, lokalt av ändlig typ så har vi en liknande beskrivning i termer av framtryckning med propert stöd.

7 Acknowledgements I would like to thank my thesis advisor David Rydh for his support and guidance. I am grateful for his commitment and that he always makes time for questions. I think that I still have not been able to ask something that he cannot answer. I would like to thank Gustav Sædén Ståhl for always taking his time to answer my questions. I would also like to thank Oliver Gäfvert and Johan Wärnegård. 5

8

9 Contents Acknowledgements 5 Introduction 9 Preliminaries 10 Chapter 1. Étale morphisms Flat morphisms Unramified morphisms Étale morphisms Local structure of étale morphisms Henselian rings 19 Chapter 2. Representable functors Definitions and examples The Yoneda embedding 22 Chapter 3. Sheaves of sets Grothendieck topologies and sites Sheaves of sets Sieves and elementary topoi Epimorphisms Examples of sheaves Stalks Sheafification of a sheaf Fiber products and pushouts 39 Chapter 4. Operations on sheaves of sets Morphisms of sites Direct and inverse image functors The functor j! of an open immersion The functors f and f! of an object f : T S in C/S Operations on sheaves of abelian group/pointed sets 48 Chapter 5. Algebraic spaces Some descent theory Algebraic spaces Some descent theory for algebraic spaces Étale topology on algebraic spaces The sheaf space (espace étalé) The functors f, f, and f! of a morphism of algebraic spaces The functor f! for sheaves of pointed sets Direct image with proper support Connected fibration of a smooth morphism The functor f! of a non-étale morphism. 68 7

10 8 CONTENTS Chapter 6. The étale envelope E X/Y The sheaf E X/Y The case when f is a monomorphism locally of finite type The case when f is étale Final remark 74 Bibliography 75

11 Introduction There are cases when the Zariski topology is to coarse to work in. For example if we want to mimic results that are true in the Euclidean topology like the implicit function theorem or cohomology. Hence it may be convenient to work in finer topologies like the étale topology which has properties more like the Euclidean topology. The étale topology is an example of a Grothendieck topology and was defined by A. Grothendieck who developed it together with M. Artin and J.-L. Verdier. The aim was to define étale cohomology in order to prove the Weil conjectures [Wei49]. Given a category C we may define a Grothendieck topology on C by assigning a collection of coverings {U i U} for each object U in C. A category with a Grothendieck topology is called a site. An example of a site is the big étale site SÉt on a scheme S, where the underlying category is (Sch/S) and a covering of an S-scheme U is a jointly surjective family {U i U} of étale S-morphisms. Given a site S with underlying category C, we may consider sheaves on S. That is, functors F : C op (Set) satisfying a certain gluing condition for each covering {U i U}. Every S-scheme X is a sheaf on SÉt when identifying X with the contravariant functor h X = Hom (Sch/S) (, X). If R X are étale S-morphisms such that the induced map Hom (Sch/S) (T, R) Hom (Sch/S) (T, X) Hom (Sch/S) (T, X) is injective for every S-scheme T, and gives an equivalence relation on the set Hom (Sch/S) (T, X), then we may form the presheaf quotient T X(T )/. The sheafification of this presheaf is an algebraic space over S and is denoted X/R. This generalizes the concept of schemes. The small site Sét on a scheme (or algebraic space) S has underlying category (ét/s) (or ét(s)), i.e., the category of étale schemes (algebraic spaces) over S, and coverings as in SÉt. Given a sheaf F on Sét we may construct its espace étalé F ét which is an étale algebraic space over S. This gives an equivalence of categories between sheaves on the small étale site Sét and étale algebraic spaces over S. In particular, every sheaf on the small étale site Sét of an algebraic space S is representable by an étale algebraic space over S. The espace étalé has the following analogue in classical topology: given a topological space B and a sheaf of sets G on B, the espace étale of G is a topological space E together with a local homeomorphism π : E B such that G is the sheaf of sections of π (see e.g. [MLM94, Section II.5]). Every morphism f : T S of schemes (algebraic spaces), gives rise to a morphisms Tét Sét of sites. Hence we may consider push-forwards f : Sh(Tét ) Sh(Sét ) and pullbacks f : Sh(Sét ) Sh(Tét ). We have that f F is just the restriction of the fiber product T S F ét to the small étale site. In certain cases f has a left adjoint denoted by f!. For example, in case f : T S is an object in (ét/s) 9

12 10 INTRODUCTION we get that f! F is the sheaf given by U ϕ F(U) for every S-scheme ψ : U S where the disjoint union is over all S-morphisms U T. In case, F is a sheaf of pointed sets, we get that f! F is the sheafification of the presheaf U F(U). ϕ Rydh shows in [Ryd11] that any unramified morphisms X Y of algebraic spaces (algebraic stacks) factors as X E X/Y Y where the first morphism is a closed immersion and the second morphism is étale. We show that in the case when f is a monomorphism, we get that the restriction E X/Y to the small étale site is naturally isomorphic to the sheaf f c {0, 1} X, where {0, 1} X denotes the constant sheaf on the small étale site on X and f c is the direct image with proper support. If f is étale then E X/Y,ét = f! {0, 1} X, where f! is the left adjoint of the pullback. Hence we have the following conjecture: Conjecture. Let X and Y be algebraic spaces and let f : X Y be a morphism locally of finite type. There exists a functor f # : Sh (Xét ) Sh (Yét ) of sheaves of pointed sets such that: (1) if f is unramified, we have E X/Y = f # {0, 1} X ; (2) if f is étale we have f # = f! ; (3) if f is a monomorphism we have f # = f c. Preliminaries By a ring we always mean a commutative ring with unity. All rings are assumed to be Noetherian and all schemes are assumed to be locally Noetherian. A morphism of schemes is called proper if it is of finite type, separated, and universally closed. A morphism f : X Y of schemes is called finite if there is an open covering Y = V i of Y by affine open subschemes V i such that for every i we have f 1 (V i ) is affine and the induced homomorphism O Y (V i ) O X (f 1 (V i )) is finite. Or equivalently (see for example [GW10, 12.9]), for every open affine subscheme V Y, the inverse image f 1 (V ) is affine and O Y (V ) O X (f 1 (V )) finite. In particular, every finite morphism is by definition affine. A morphism is called quasi-finite if it is of finite type and the fiber over each point consists only of finitely many points. Theorem (Zariski s Main Theorem [Mil80, I.1.8]). Let f : X Y be a morphism of schemes and assume that Y is quasi-compact. The following are equivalent: (1) f is quasi-finite and separated; (2) f factors as X α X β Y where α is an open immersion and β is finite. Lemma ([GW10, 12.89]). Let f : X Y be a morphism. The following are equivalent: (1) f is finite; (2) f is quasi-finite and proper; (3) f is affine and proper. For locally Noetherian schemes we have the following topological property: Lemma Let X be a locally Noetherian scheme and let V X be a subset. Then the following are equivalent:

13 PRELIMINARIES 11 (1) V is clopen (open and closed) in X; (2) V is a union of connected components of X. Proof. (1) (2): Let V X be a clopen subset intersecting a connected component C of X. Then C V and (C \ V ) are both open. Thus C = (C V ) (C \ V ) and we conclude that C V = C since C is connected. Hence we see that a clopen subset is always a union of connected components. (2) (1): A connected component is always closed since the closure of a connected subset is connected. We will show that every connected component of X is open. Since X is locally Noetherian it is locally connected (see for example [Sta, Tag 04MF]). But X is locally connected if and only if every connected component of X is open [Bou98, I ]. Hence we get that every connected component of X is clopen (open and closed). Now if W is a union of connected components (i.e. clopen subsets) then so is its complement X \ W and hence both W and X \ W are both open, and hence also closed. Thus W is clopen. The following lemma is trivial but will be useful later on. Lemma Suppose that we have a cartesian square T S U pr 1 U T in the category (Sch) of schemes such that there is a morphism s: S U satisfying f s = id S. Then T is the fiber product of s and pr 1. S f

14

15 CHAPTER 1 Étale morphisms An étale morphism is the algebraic analogue of a local homeomorphism. For example, a morphism of nonsingular varieties over an algebraically closed field is étale at a point if and only if it induces an isomorphism of the tangent spaces. The main references to this chapter are [Mil80] and [AK70] Flat morphisms Recall that a ring homomorphism A B is called flat, if B is flat when considered as an A-module, i.e., if the functor A B is exact. It is called faithfully flat if A B is faithful and exact. Proposition Let ϕ: A B be a ring homomorphism. The following are equivalent: (1) ϕ is flat; (2) For every ideal I A, the map I B B; a b ϕ(a)b is injective. Proof. If ϕ is flat then clearly I B B is injective since I A injective implies that I B A B = B is injective. For the converse, see [Mil80, I.2.2]. Proposition Let ϕ: A B be a ring homomorphism. The following are equivalent: (1) ϕ is flat; (2) For every m Spm B, the induced homomorphism A ϕ 1 (m) B m is flat. Definition Let f : X Y be a morphism of schemes. Then we say that f is flat at x X if the induced map O Y,f(x) O X,x is flat. We say that f is flat if it is flat at every x X. Remark Proposition implies that a morphism is flat if and only if it is flat at all closed points. Remark A flat ring homomorphism induces a flat morphism of spectra. Proposition ([Mil80, I.2.5]). Let A B be a ring homomorphisms that makes B a flat A-algebra. Take b B and suppose that the image of b in B/mB is not a zero-divisor for every maximal ideal m of A. Then B/(b) is a flat A-algebra. Example Let A be a ring and let f A[T 1,..., T n ] be non-zero. Let V Spec A[T 1,..., T n ] be the closed subscheme given by the ideal (f), i.e., V = Spec A[T 1,..., T n ]/(f). Suppose that the image of f in (A/m)[T 1,..., T n ] is non-zero for every maximal ideal m of A, or equivalently, that the ideal generated by the coefficients of f is A. Then the morphism V Spec A induced by the morphism ϕ: A A[T 1,..., T n ]/(f) is 13

16 14 1. ÉTALE MORPHISMS flat by Proposition The converse is also true since if the coefficients of f is contained in a maximal ideal m of A, then the homomorphism m A A[T 1,..., T n ]/(f) A[T 1,..., T n ]/(f) a g ϕ(a)g is not injective. Indeed, f may be written as f = a α T α α N n and the non-zero element α N n a α T α in m A A[T 1,..., T n ]/(f) will be mapped to zero. Hence by Proposition 1.1.1, ϕ is not flat. Proposition ([Mil80, I.2.7], [AK70, V.1.9]). Let ϕ: A B be a ring homomorphism. The following are equivalent: (1) ϕ is faithfully flat; (2) ϕ is injective and B/ϕ(A) is flat over A; (3) a sequence M M M of A-modules is exact if and only if the sequence M A B M A B M A B is exact; (4) ϕ is flat and the induced morphism Spec B Spec A is surjective; (5) ϕ is flat and for every maximal ideal m A, we have ϕ(m)b B. Hence the following definition agrees with the definition for rings. Definition Let f : X Y be a morphism of schemes. Then we say that f is faithfully flat if it is flat and surjective. Remark Proposition implies that a morphism Spec B Spec A is faithfully flat if and only if the ring homomorphism A B is faithfully flat. Example For a scheme X, the projection X X X is certainly faithfully flat. Lemma Let (A, m A ) and (B, m B ) be local rings. Then any flat local homomorphism ϕ: A B is faithfully flat. Proof. Since ϕ is local we have ϕ(m A ) m B and hence m A B B. Hence the Lemma follows from Proposition Lemma A composition of flat morphisms is flat and a base change of a flat morphism is flat. Proof. Let X f Y g Z be flat morphisms. Take x X and put y = f(x) and z = g(y). Flatness of g f follows from the fact that if M is an O z -module, then (M Oz O y ) Oy O x = M Oz O x. To show that a base change of a flat map is flat, let f : X Y be a flat morphism and let f : Y Y be a morphism. Take any x X and any y Y such that f(x) = f (y ) =: y Y. We must show that the induced homomorphism O y O y Oy O x is flat. But again, this follows trivially since M Oy (O y Oy O x ) = M Oy O x. Here are some topological properties of flat morphisms. Theorem ([Mil80, I.2.12]). Any flat morphism that is locally of finite type is open.

17 1.2. UNRAMIFIED MORPHISMS 15 Corollary ([Mil80, I.3.10]). Any closed immersion which is flat is an open immersion. Proposition ([Gro65, ]). If f : X Y is a flat surjective quasicompact morphism of schemes then Y has the quotient topology induced by f. Theorem Let f : X Y be a morphism of schemes. Then the set is open in X. Proof. See [AK70, V.5.5] flat(f) = {x X : f is flat at x} 1.2. Unramified morphisms Definition Let k be a field and k its algebraic closure. A k-algebra A is called separable if the Jacobson radical of A k k is zero. Definition Let f : X Y be a morphism of schemes which is locally of finite type. Then we say that f is unramified at x X if m x = m y O x and κ(x) is a finite separable field extension of κ(y), where y = f(x). We say that f is unramified if it is unramified at every x X. Definition A geometric point of a scheme X is a morphism x: Spec Ω X where Ω is a separably closed field. If Y X is a morphism then the geometric fiber over a geometric point x is the fiber product Y X Spec Ω. Proposition ([Mil80, I.3.2]). Let f : X Y be a morphism which is locally of finite type. The following are equivalent: (1) f is unramified; (2) for all y Y, the projection X y Spec κ(y) is unramified; (3) for all geometric points ȳ : Spec Ω Y, the projection Xȳ Spec Ω is unramified; (4) for every y Y, there is a covering of X y by spectra of finite separable κ(y)-algebras; (5) for every y Y, we have X y = Spec ki, where the k i are finite separable field extensions of κ(y). Lemma A composition of unramified morphisms is unramified and a base change of an unramified morphism is unramified. Proof. The composition part is trivial. To show the second part, let X Y be unramified and Z Y any morphism. By Proposition it is enough to show that Z Y X Z is unramified after base change to a geometric point. But a geometric point in Z gives a geometric point in Y and Spec Ω Z (Z Y X) = Spec Ω Y X and we already know that Spec Ω Y X Spec Ω is unramified. Proposition ([AK70, VI.3.3], [Mil80, I.3.5]). Let X and Y be schemes, x a point in X, and f : X Y a morphism locally of finite type. Let Ω X/Y denote the sheaf of relative differentials of X over Y. The following are equivalent: (1) f is unramified at x; (2) we have (Ω X/Y ) x = 0; (3) the diagonal X/Y is an open immersion in a neighborhood of x. Note that (Ω X/Y ) x = Ω Ox/O y. Proof. (1) (2): By base change, we may assume that Y = Spec κ(y) and X = X y (see [Har77, II.8.10]). The fact that f is unramified at x implies that {x} is open in f 1 (f(x)) [AK70, VI.2.3], and hence we may assume that X =

18 16 1. ÉTALE MORPHISMS Spec κ(x). Hence we need only show that Ω κ(x)/κ(y) = 0. But this is clear since κ(x) is a finite separable extension of κ(y). (2) (3): The diagonal X/Y : X X Y X is locally closed and hence we may choose an open subscheme U of X Y X, containing X/Y (X), such that X U is a closed immersion. Denote this map i: X U and let J = i O X. By definition we have Ω X/Y = X/Y (J /J 2 ). Hence 0 = (Ω X/Y ) x = (J /J 2 ) i(x) and by Nakayama s lemma we have that J i(x) = 0. Hence there is an open neighborhood V U of i(x) such that J V = 0. Thus, X/Y V = i V is an open immersion. (3) (1): By we may assume that Y = Spec k where k is an algebraically closed field (we may choose Y = Spec κ(y) where y = f(x) and then change base to Spec of the algebraic closure of κ(y)). Since unramified is a local property, we may assume that X = Spec A is affine and that X/Y is an open immersion. Let z X be a closed point. Then Hilbert s nullstellensatz implies that κ(z) = k. Let ϕ: X X Y X be the morphism induced by the identity morphism on X and the constant morphism X X with value z. Since the diagonal is open, so is ϕ 1 ( X/Y (X)) = {z}. Hence every closed point of A is open, i.e., every prime ideal is maximal. Thus, A is Artinian and hence we may assume that A = O X,x with maximal ideal m and κ(x) = k since x is a closed point. Hence we get that A k A has a unique maximal ideal m A+A m and since X/Y : Spec A Spec (A k A) is an open immersion we have that A k A = A. But dim k (A k A) = dim k (A) dim k (A) and hence we conclude that A = k. This implies (1). Corollary Let f : X Y be a morphism. The following are equivalent: (1) f is unramified; (2) we have Ω X/Y = 0; (3) the diagonal X/Y : X X Y X is an open immersion. Corollary Let f : X Y be a morphism of schemes. Then the set is open in X. unram(f) = {x X : f is unramified at x} Proposition Any section of an unramified morphism is an open immersion. Proof. If f : X Y is unramified then the diagonal : X X Y X is an open immersion. Given a section s : Y X of f, we have that Y is the fiber product of the diagram X X = Y Y X s idx X Y X and the projections Y X both coincide with s. Thus s is obtained by base change from which is an open immersion, and hence s is an open immersion Étale morphisms Definition Let f : X Y be a morphism of schemes. Then we say that f is étale at x X if it is flat and unramified at x. We say that f is étale if it is étale at every x X. Remark Note that Theorem implies that every étale morphism is open as a map between topological spaces.

19 1.3. ÉTALE MORPHISMS 17 Lemma Let f : X Y be a morphism of schemes. Then the set is open in X. étale(f) = {x X : f is étale at x} Proof. This follows from Proposition and Theorem Example Let X and Y be nonsingular varieties over an algebraically closed field k, and let f : X Y be a morphism of schemes. Then f is étale at x X if and only if it induces an isomorphism T f : T X,x T Y,f(x) of the tangent spaces. Proof. Indeed, let x X be a closed point and put y = f(x). Then κ(y) = κ(x) = k. Suppose that f is étale and put O x = O X,x and O y = O Y,y. We have homomorphisms k O x κ(x) and k O y κ(y), which yield exact sequences and m x /m 2 x Ω Ox/k Ox κ(x) Ω κ(x)/k = 0, m y /m 2 y Ω Oy/k Oy κ(y) Ω κ(y)/k = 0 [Mat86, 25.2]. The first map in each of the sequences is an isomorphism [Har77, 8.7]. We also have homomorphisms k O y O x, where the last one is faithfully flat since it is a local homomorphism and f is flat. We get an exact sequence Ω Oy/k Oy O x Ω Ox/k Ω Ox/O y 0 [Mat86, 25.1], where the first map is an isomorphism by [AK70, VI.4.9]. These may all be viewed as O x -modules. If we tensor with κ(x) we get that and hence Ω Oy/k Oy κ(x) = Ω Ox/k Ox κ(x), m y /m 2 y = m x /m 2 x. Since the cotangent spaces are isomorphic and so are the duals. Conversely, if T f : T X,x T Y,y is an isomorphism, then so is the induced map m y /m 2 y m x /m 2 x. Let d = dim(m y /m 2 y). Then m y can be generated by d elements, t 1,..., t d [AM69, 11.22]. The ring O x /(t 1,..., t d ) is flat over O y /(t 1,..., t d ) = κ(y) = k and by [Har77, 10.3.A], O x /(t 1,..., t i ) is flat over O y /(t 1,..., t i ) for each i = d, d 1,..., 0. Hence O x is flat over O y. Since m y /m 2 y m x /m 2 x is an isomorphism we get from the exact sequence Ω Oy/k Oy κ(y) Ω Ox/k Ox κ(x) Ω Ox/O y Ox κ(x) 0, that Ω Ox/O y /m x Ω Ox/O y = ΩOx/O y Ox κ(x) = 0. Hence, by Nakayama s lemma, we conclude that (Ω X/Y ) x = Ω Ox/O y = 0, and by Proposition 1.2.6, f is unramified at x. Lemma A composition of étale morphisms is étale and a base change of an étale morphism is étale. Proof. Follows from Lemma and Lemma Definition A morphism of schemes is called smooth if it is flat, locally of finite presentation, and if the geometric fibers are regular. Remark A morphism is étale if and only if it is smooth and quasi-finite.

20 18 1. ÉTALE MORPHISMS 1.4. Local structure of étale morphisms Let A be a ring and p(t ) A[T ] a monic polynomial. Then A[T ]/(p) is a finitely generated free A-module, and hence flat. Suppose that b A[T ]/(p) is such that the formal derivative p (T ) is invertible in (A[T ]/(p)) b. Definition The morphism of spectra Spec (A[T ]/(p)) b Spec A induced by the canonical homomorphism ϕ: A (A[T ]/(p)) b is called standard étale. A standard étale morphism is étale. Indeed, it is flat since A[T ]/(p) is a free A-module and (A[T ]/(p)) b is a flat A[T ]/(p)-module. Now put B = A[T ]/(p). To show that Spec B b Spec A is unramified, it is enough to prove that the B b - module Ω Bb /A is zero. We have that Ω B/A is the B-module generated by dt and the relation p (T )dt = 0 (see e.g. [Mat86, p. 195]). That is Ω B/A is isomorphic to A[T ]/(p, p) as a B-module. But then Ω Bb /A = (Ω B/A ) b = (A[T ]/(p, p)) b = (A[T ]/(p)) b /(p ) b = 0 since p is invertible in B b. Hence Spec B b Spec A is unramified and thus étale. Theorem (Local structure theorem, [Mil80, I.3.14, I.3.16]). Let f : X Y be a morphism of schemes. The following are equivalent: (1) f is étale at x; (2) There exists open affine sets U x and V f(x) such that f(u) V and f U : U V is standard étale; (3) There exists open affine sets U = Spec B x and V = Spec A f(x), such that B = A[T 1,..., T n ]/(p 1,..., p n ) where det ( p i / T j ) is invertible in B, and f U : U V is induced by the canonical homomorphism A B. Proof. (1) (2): By Lemma 1.3.3, f is étale in a neighborhood of x. Now see [Mil80, I.3.14]. (2) (3): This follows since (A[T ]/p) b = A[T, S]/(p, bs 1) and ( ) ( ) p/ T p/ S p = (T ) 0 (bs 1)/ T (bs 1)/ S b /b b is invertible. Since we have already showed that every standard étale morphism is étale, it is enough to show that (3) implies (2) to finish the proof. (3) (2): Since B is generated as an A-algebra by the elements T 1,..., T n, we have that Ω B/A is generated as a B-module by the elements dt 1,..., dt n and the relations ( ) dp i = n j=1 p i T j dt j = 0, 1 i n. Indeed, the derivation d: B Ω B/A is surjective and every element in B may be written as a polynomial f(t 1,..., T n ). By the Leibniz rule we have n f df(t 1,..., T n ) = dt i. T i Since the image of det( p i / T j ) in B is a unit, there is a unique solution to ( ), namely dt 1 = = dt n = 0. Hence Spec B Spec A is unramified by Proposition To show that B is flat as an A-module, one may use Proposition and induction on n. We have that A[T 1,..., T n ] is a free A-module and hence flat over i=1

21 1.5. HENSELIAN RINGS 19 A. The idea is to show inductively that A[T 1,..., T n ]/(p 1,..., p i ) is flat over A as i ranges from 0 to n. This is done in [Mum99, p. 221]. Example Let n be a positive integer and X = Spec Z[T ]/(T n 1). Consider the morphism f : X Spec Z given by the canonical homomorphism Z Z[T ]/(T n 1). It is clear that f is étale in the open subscheme D(n) = X \ V ((n)) since (T n 1)/ T = nt n 1 and O X (D(n)) = (Z[T ]/(T n 1)) n. That is, nt n 1 has an inverse n 1 T in (Z[T ]/(T n 1)) n. Example (Artin-Schreier cover). Let k be a field of non-zero characteristic p and take f k[t ]. The morphism Spec k[t, x]/(x p x f) Spec k[t ] is étale since (x p x f)/ x = px p 1 1 = 1. If p does not divide the degree of f then this covering is non-trivial Henselian rings For a scheme X, we denote by ClOp(X) the collection of clopen subsets of X. Definition Let X be a scheme and X 0 a closed subscheme. The pair (X, X 0 ) is called a Henselian pair if for every finite morphism X X, the induced map ClOp(X ) ClOp(X X X 0 ) is bijective. Definition A local ring (A, m) is called Henselian if (Spec A, Spec A/m) is a Henselian pair. Lemma There is a bijective correspondence ClOp(Spec A) { idempotents of A }. Proof. If e A is idempotent and p Spec A, then e p if and only if 1 e / p. Hence we get that V (e) = D(1 e) is clopen with complement D(e) = V (1 e). Conversely, if U Spec A is clopen, then U (Spec A \ U) is an open cover of Spec A and hence, by the sheaf property, there is a unique element a O Spec A (Spec A) = A, such that a U = 1 and a Spec A\U = 0. Hence (1 a) U = 0 and (1 a) Spec A\U = 1. Thus a(a 1) = 0 since the restrictions to U and Spec A \ U are zero and hence a is idempotent. We get that U = D(a). If f is a polynomial with coefficients in a local ring A with maximal ideal m, then we use the notation f for its image in (A/m)[x]. Theorem ([Mil80, I.4.2]). Let (A, m) be a local ring, X = Spec A, and let x be the closed point in X. The following are equivalent: (1) A is Henselian; (2) every finite A-algebra B is a direct product of local rings B = B i ; (3) if f : Y X is a quasi-finite and separated morphism, then Y = Y 0 Y 1 Y n, where x / f(y 0 ) and for i 1, Y i = Spec B i is finite over X where each B i is a local ring; (4) if f : Y X is an étale morphism then every morphism γ : Spec κ(x) Y, such that f γ(spec κ(x)) = x, factors through a section s: X Y of f; (5) if f A[x] is a monic polynomial such that f factors as f = g 0 h 0, with g 0 and h 0 coprime, then f factors as gh, where ḡ = g 0 and h = h 0.

22 20 1. ÉTALE MORPHISMS Proof. (1) (2): Let f : Spec B Spec A be finite. We have Spec B A Spec κ(x) = Spec (B A κ(x)). There is a bijective correspondence between idempotents of B and idempotents of B A κ(x) = B/m x B. If B is not local, then there exists a non-trivial idempotent ē B/m x B, and hence ē lifts to some non-trivial idempotent e B. Hence B = eb (1 e)b where eb 0 and (1 e)b 0. Iterating this process yields the desired splitting. (2) (3): Let f : Y X be quasi-finite and separated. According to Theorem 0.0.1, f factors as Y f Y g X where f is an open immersion and g is finite. Hence Y = Spec B for some finite A-algebra B, and by (2), B = B i. Each B i is of the form B i = O Y,y for some closed point y Y. Let Y 1 = Spec O Y,y where the disjoint union is over all closed points y of Y that are contained in Y. Thus Y 1 is clopen in Y and hence also clopen in Y. Put Y 0 = Y \ Y 1. Then we have Y = Y 0 Y1 and it is clear that Y 0 contains no closed points of Y. Since Y 1 is finite over X we get that all points in the fiber over x are closed. Hence they are also closed in Y since the preimage of x in Y is closed. Thus x / f(y 0 ). (3) (4): Suppose that f : Y X is étale and we have a morphism Spec κ(x) Y with image y Y such that f(y) = x. Then we have embeddings κ(x) κ(y) κ(x) and hence κ(y) = κ(x). Since O Y,y is a flat A-module, it is free [Mil80, I.2.9]. But f is étale and hence we have that m y = m x O Y,y and κ(x) = κ(y) = O Y,y A κ(x). That is, O Y,y has rank 1, i.e., O Y,y = A. By (3) we may assume that Y = Spec B where B is a local ring. That is, B = O Y,y = A. Hence (4) holds. (4) (5): See the proof of (d) (d ) (d) in [Mil80, I.4.2]. (5) (1): It is enough to show that for every finite A-algebra B, the homomorphism B B A (A/m) = B/mB gives a bijection of idempotents. But this follows immediately from (5) since every nilpotent in B/mB lifts to a unique idempotent in B. Remark One may actually replace étale with smooth in Theorem (4) (see [Gro67, Corollaire ]). Example Any complete local ring is Henselian [Sta, Tag 04GM].

23 CHAPTER 2 Representable functors 2.1. Definitions and examples Let C be a category. A functor F : C op (Set) is called representable if it is isomorphic to the functor h X = Hom C (, X) for some object X in C. We also say that X represents the functor F. Note that for a morphism ϕ: Y Z in C, the map ϕ : h X (Z) h X (Y ) is given by sending a morphism ψ : Z X to the morphism ψ ϕ: Y X. Furthermore, we have a natural transformation h ϕ : h Y h Z defined by sending a morphism β : W Y to the composition ϕ β : W Z. Remark A functor F : C op (Set) is representable if and only if it has a universal object, that is, if there exists a pair (X, ξ), where X is an object in C and ξ F X, such that for any Y C and any element η F Y, there exists a unique f Hom(Y, X) such that f (ξ) = η. Example Let A be a ring, let f 1,..., f m A[T 1,..., T n ] be polynomials, and put R = A[T 1,..., T n ]/(f 1,..., f m ). Let S be a scheme over Spec A and put X = Spec R. We have Hom (Sch) (S, X) Hom (A-alg) (R, Γ(S, O S )) {s Γ(S, O S ) n : f 1 (s) = = f n (s) = 0}, where the last isomorphism is given by sending an A-algebra homomorphism ϕ to the tuple (ϕ(t 1 ),..., ϕ(t n )) (clearly f i (ϕ(t 1 ),..., ϕ(t n )) = ϕ(f i (T 1,..., T n )) for all 1 i n). Hence we see that the functor (Sch/A) (Set) that sends a scheme S over Spec A to the set {s Γ(S, O S ) n : f 1 (s) = = f n (s) = 0} is represented by Spec (A[T 1,..., T n ]/(f 1,..., f n )). Example (Affine n-space). In particular, the functor (Sch) op (Set) that sends a scheme S to the set Γ(S, O S ) n is represented by Spec (Z[T 1,..., T n ]). Indeed, we have bijections Hom (Sch) (S, A n ) Hom (Ring) (Z[T 1,..., T n ], Γ(S, O S )) Γ(S, O S ) n, which are natural in S. Example (G m = Spec Z[T, T 1 ]). As another special case of Example 2.1.2, we get that the functor (Sch) op (Set) that sends a scheme S to the set Γ(S, O S ) of units in Γ(S, O S ) is represented by G m. This follows from the isomorphism Z[T, T 1 ] = Z[T, X]/(T X 1). Example (The Grassmannian) Consider the functor G k,n : (Sch) op (Set) 21

24 22 2. REPRESENTABLE FUNCTORS defined by G k,n (X) = {F O n X : O n X /F is locally free of rank n k} and which takes a morphism f : Y X to the map G k,n (f): G k,n (X) G k,n (Y ) which takes F to the pullback f F. To see that f F G k,n (Y ) note first that i : F O n X gives a morphism f F f (O n X ) = O n Y which is injective since i is injective and O n X /i(f) is locally free [GW10, 8.10]. For any subset I {1,..., n} we may define a subfunctor G I G k,n by G I (X) = {F G k,n (X): O I X O n X O n X /F is an isomorphism}, where the morphism O I X O n X is induced by the inclusion I {1,..., n} and by O I X we mean O X O X with one component for each index in I. For every F G I (X) we have a morphism O n X O I X with kernel F, and conversely, for every retraction τ : O n X O I X of the inclusion O I X O n X, we get that ker(τ) G I (X). Hence there is a bijection between the set of retractions r : O n X O I X of the inclusion O I X O n X and elements of G I(X). It is not hard to see that this bijection is functorial in X. Such a retraction r must be the identity on the indices in I and hence r is completely determined by its values on the index set I c = {1,..., n} \ I. Hence we conclude that we have a functorial bijection But we also have natural bijections G I (X) Hom (OX -mod)(o Ic X, O I X ). Hom (OX -mod)(o Ic X, O I X ) Hom (Set)(I c I, Γ(X, O X )) Γ(X, O X ) k(n k) (see [GW10, 7.4.6]), and by Example we conclude that there is a natural bijection G I (X) Hom (Sch) (X, A k(n k) ). That is, the functor G I is represented by the affine scheme A k(n k). This may be used to show that the functor G k,n is representable (see [GW10, Proposition 8.14]). In particular, one may show that G 1,n+1 is represented by the projective space P n Z The Yoneda embedding Lemma (Yoneda s lemma). For any object X in C, the map α X,F : Hom(h X, F) F(X) is a bijection which is natural in X and F. τ τ X (id X ), Proof. The first part follows from the fact that any natural transformation τ : h X F is completely determined by the image of id X h X (X) in F(X). Indeed, consider the commutative diagram h X (X) τ X F(X) f h X (Y ) f τ Y F(Y ) induced by a morphism f : Y X. We have τ Y (f) = τ Y (f (id X )) = f (τ X (id X )). This proves the first part.

25 2.2. THE YONEDA EMBEDDING 23 Let f : Y X be a morphism in C, and let h f : h Y h X be the induced natural transformation. To prove naturality in X, we need to show that the following diagram commutes: Hom(h X, F) α X,F f # F(X) f Hom(h Y, F) α Y,F F(Y ) where f # is the map defined by taking h X F to the composition h Y h X F. Let τ : h X F be a natural transformation. Then f α X,F (τ) = f (τ X (id X )) = τ Y (f) = τ Y (f id Y ) = (τ h f ) Y (id Y ) = α Y,F f # (τ). Naturality in F is trivial since if η : F G is a natural transformation of functors, then Hom(h X, F) Hom(h X, G) is just given by composition with η and by definition we have (η τ) X (id X ) = η X (τ X (id X )). Hence we have a functor Hom(h ( ), F): C op (Set); X Hom(h X, F) and Lemma says that there is an isomorphism of functors Hom(h ( ), F) = F. Remark Note that Yoneda s lemma implies that any map F(X) F(Y ) given by a morphism Y X is exactly the map given by left composition by h Y h X. A morphism f : X Y in a category C gives a natural transformation h X h Y by composing with f. Thus, the assignment X h X is a functor C PreSh(C) from C to the category PreSh(C) of functors C op (Set) (that is, the category of presheaves on C). Yoneda s lemma implies that i.e., the functor X h X is fully faithful. Hom PreSh(C) (h X, h Y ) Hom C (X, Y ), Definition The embedding C PreSh(C); X h X Yoneda embedding. is called the Remark Yoneda s lemma implies that there is an equivalence of categories between C and the category of representable functors F : C op (Set) given by sending an object X to h X. Hence if Y is an object in C, we write X(Y ) = h X (Y ) = Hom C (Y, X). Remark Note that two objects X and Y in a category C are isomorphic if and only if h X and h Y are isomorphic as functors (C X,Y ) op (Set) where C X,Y is the full subcategory of C with only two objects X and Y. Remark Note that since id: S S is the final object in Sch/S, we have that h S is the final object in the category PreSh(Sch/S). Indeed, every S-scheme

26 24 2. REPRESENTABLE FUNCTORS X comes with a morphism f : X S. Morphisms ϕ: X S are commutative diagrams X ϕ S f S Obviously, we must have f = ϕ and hence h S (X) consists of a single point. Thus, if F is a presheaf on (Sch/S) then there is a unique map F(X) h S (X) for each S-scheme X. This gives the unique natural transformation F h S. id

27 CHAPTER 3 Sheaves of sets In the following chapter we will discuss sheaves on sites, which is a generalization of the concept of a sheaf on a topological space. The definition is very similar, keeping in mind that the fiber product U i U U j in the category Open(X) of open subsets of a topological space X, with morphisms given by inclusions, is just the intersection U i U j taken in U Grothendieck topologies and sites The main references to the following section are [FGI + 05, Mil80, Mil21, Tam94]. Definition Let C be a category with fiber products. A Grothendieck topology on C is defined by the following data: for each object U in C we have a collection Cov(U) of coverings of U. A covering is a set of arrows {U i U} i I. The coverings satisfy the following axioms: (1) if V U is an isomorphism then {V U} is a covering; (2) if {U i U} is a covering and V U is a morphism, then {V U U i V } is a covering; (3) if {U i U} is a covering and for every index i we have a covering {V ij U i }, then {V ij U i U} is a covering of U. A category together with a Grothendieck topology is called a site. If S is a site then the underlying category is denoted by Cat(S). For any family of maps {φ i : U i U} between spaces of any kind, we say {ϕ i : U i U} is jointly surjective if U = ϕ i (U i ). Remark We will sometimes also use the following notation, as in [Mil80, II.1]: Let E be a class of morphisms of schemes such that (1) every isomorphism is in E, (2) any composition of morphisms in E is in E, and (3) any base change of a morphism in E is in E. Let S be a scheme and E a class of morphisms as above. Let C/S be a full subcategory of Sch/S which is closed under taking fiber products and such that for any U S in C/S and any E-morphism U U, the composition U U S is in C/S. Then we get a Grothendieck topology on C/S by taking as coverings: all collections {ϕ i : U i U} of E-morphisms over S such that U = ϕ i (U i ). The resulting site will be denoted by S E or (C/S) E. Example (Small classical topology on a topological space X). Consider the category Open(X) of open subsets of a topological space X, where the morphisms are given by inclusions. A covering of an open subset U X is a jointly surjective family {U i U}. Example (The big classical topology on (Top)). Consider the category (Top) of topological spaces. A covering of a topological space U is a jointly surjective family of open embeddings U i U. 25

28 26 3. SHEAVES OF SETS Example (Small Zariski site on X). Consider the category ZarOp(X) of Zariski-open subsets of a scheme X with morphisms that are inclusion maps. A covering is a jointly surjective family {U i U}. This site is denoted X zar. Example (Big Zariski site on S). Consider the category (Sch/S) of schemes over S. A covering of a scheme U S is a jointly surjective family of open immersions U i U over S. The corresponding site is denoted by S Zar. Example (Small étale site on X). Let (ét/x) be the category whose objects are étale morphisms U X and whose arrows are X-morphisms V U of schemes. The coverings are jointly surjective families of morphisms {U i U} in (ét/x) (i.e., étale X-morphisms). By Lemma 1.3.5, the property of being étale is stable under base change and composition and hence this defines a Grothendieck topology on (ét/x). The corresponding site is denoted Xét. Example (Big étale site over S). The site with underlying category (Sch/S) and coverings which are jointly surjective families {U i U} of étale S- morphisms is denoted by SÉt. Example (Big flat site on S). Consider the category (Sch/S) with coverings which are jointly surjective families {U i U} of flat S-morphisms which are locally of finite presentation. Note that this implies that the induced map Ui U is flat and surjective, i.e., faithfully flat. This site is denoted by S Fl. Definition A morphism X Y of schemes is called an fpqc morphism if it is faithfully flat and every quasi-compact open subset of Y is the image of a quasi-compact open subset of X. Example (Big fpqc site on S). The site with underlying category (Sch/S) and coverings which are jointly surjective families {U i U} of S-morphisms such that the induced map U i U is fpqc is denoted by S Fpqc. Remark For a scheme S, we have continuous morphisms (see Definition 4.1.1) S Fpqc S Fl SÉt S Zar induced by the identity morphism S S. Sét S zar Proposition ([FGI + 05, Proposition 2.33]). Let f : X Y be a surjective morphism of schemes. The following are equivalent: (1) every quasi-compact open subset of Y is the image of a quasi-compact open subset of X; (2) there is a covering Y = V i of Y by open affine subschemes V i such that each V i is the image of a quasi-compact open subset of X; (3) for every x X, there is an open neighborhood U of x, such that the restriction f : U f(u) is quasi-compact and f(u) is open in Y ; (4) for every x X there is a quasi-compact open neighborhood U of x such that f(u) is open in Y and affine Sheaves of sets Definition A presheaf (of sets) on a site S is a functor F : Cat(S) op (Set). A presheaf F is called separated if for every covering {U i U}, the map F(U) i I F(U i )

29 3.2. SHEAVES OF SETS 27 is injective. A presheaf F is called a sheaf if the diagram ( ) F(U) F(U i ) pr 1 F(U j U U l ) pr i I 2 (j,l) I I is an equalizer diagram for every covering {U i U} i I in S, where the parallel arrows are defined as follows: pr k : i F(U i ) j,l F(U j U U l ), k {1, 2} sends (a i ) i to the element with component at index (j, l) equal to pr 1a j if k = 1 and pr 2a l if k = 2. Given a presheaf F and a morphism U V, we call the induced map F(V ) F(U) a restriction map. Remark To say that ( ) is an equalizer diagram, or that F(U) F(Ui ) is an equalizer of the diagram F(U i ) F(U i U U j ) is to say that for each arrow A F(U i ) such that the composites h: A F(U i ) F(U i U U j ) coincides, there is a unique arrow h : A F(U) such that h is the composition of h with the arrow F(U) F(U i ). To say that there always exists such an arrow h is to say that F(U) maps surjectively onto the subset of F(U i ) consisting of all elements whose images under the two maps to F(U i U U j ) coincide. To say that such a map h (whenever it exists) is unique, is to say that the map F(U) F(U i ) is injective, i.e., that F is separated. Remark Note that if we have morphisms Y α Z β X in some category C with fiber products, then h Z X Y = h Z hx h Y in the category PreSh(C). Indeed, let F be a presheaf and suppose that we have a commutative diagram: F h Y h Z Let W be an object in C. An element in F(W ) will be mapped to some ϕ: W Y and some ψ : W Z such that α ϕ = β ψ. But this gives a unique map γ : W Z X Y such that ϕ = pr Y γ and ψ = pr Z γ. Hence we conclude that every F(W ) h Y (W ) and F(W ) h Z (W ) factors uniquely through h Z X Y (W ). That is, h Z X Y = h Z hx h Z. Remark To define a presheaf we do not need a topology on the category, and hence we may not only speak of presheaves on sites, but also presheaves on categories. A morphism of sheaves is just a natural transformation of presheaves. Given a site S, we get a category of sheaves on S, i.e., a category where the objects are sheaves on S and the morphisms are morphisms of sheaves on S. h X

30 28 3. SHEAVES OF SETS Definition Given a site S, let PreSh(S) denote the category of presheaves on S and let Sh(S) denote the category of sheaves on S. Example (Sheaf on (C/S) E of a set M). Let M be a set and S a scheme. For every S-scheme X, define M(X) = M π0(x) = Hom (Set) (π 0 (X), M), where π 0 (X) denotes the set of connected components of X. A morphism f : Y X of S-schemes maps a connected component of Y into a connected component of X, and hence f defines a map σ : π 0 (Y ) π 0 (X). Hence we get a map Hom (Set) (π 0 (X), M) Hom (Set) (π 0 (Y ), M). This defines a presheaf and it is not hard to see that this presheaf is also a sheaf. This sheaf will be denoted by M S or just M. Example A representable functor (Top) op (Set) is a sheaf in the big classical topology (defined in Example 3.1.4). Indeed, consider the functor Hom (Top) (, X) where X is a topological space. Let U i be an open covering of U and suppose that we have continuous maps f i : U i X for each i I, such that f i and f j agree on U i U j for each i, j I. Then there is a unique continuous map f : U X such that f Ui = f i. Example Any representable presheaf F on S Zar is a sheaf. Indeed, let X be an S-scheme and let {U i U} be a covering in S Zar. The fiber product U i U U j may be identified with the intersection U i U j in U. It is a well known fact that if U = U i and we have S-morphisms f i : U i X that agree on each intersection U i U j, then there is a unique S-morphism f : U X such that f Ui = f i. Lemma ([FGI + 05, 2.60]). A presheaf F on S Fpqc is a sheaf if and only if it satisfies the following two conditions: (1) F satisfies the sheaf condition for Zariski open coverings; (2) for any cover {V U} in S Fpqc with U and V affine, we have that is an equalizer diagram. F(U) F(V ) F(V U V ) Proof. It is clear that the two conditions are necessary for F to be a sheaf on S Fpqc. For the converse, suppose that {U i U} i I is a covering in S Fpqc, with U and each U i affine. If F satisfies (1) then F( U i ) = F(U i ) since {U j U i } j is a Zariski open covering. We have that ( Ui ) U ( Ui ) = (U i U U j ), and hence if the index set I is finite then U i is affine, and hence the upper row in the diagram F(U) F(Ui ) F(Ui U U j ) F(U) F( U i ) F(( U i ) U ( U i )) is an equalizer diagram by (2) (this is the diagram arising from the cover { U i U}). Now let {g : V V } be any covering in S Fpqc. By Proposition there is a covering V = V i V i := g(v i of open quasi-compact subschemes such that the image ) is open and affine for each i. Hence we may write each V i as a finite

31 3.3. SIEVES AND ELEMENTARY TOPOI 29 union of open subschemes V ik V i. The V i s form an open affine covering of V. Now consider the following diagram: F(V ) γ F(V ) F(V V V ) α F(V i ) i β δ F(V i k ik ) F(V ik V V i k,l il ) F(V i V j ) i,j F(V ik V i,jk,l jl ) The first two columns are equalizer diagrams by (1) and the second row is an equalizer diagram by (2). The maps α and β are injective and hence so is γ. Thus F is a separated presheaf on S Fpqc and hence the bottom row is injective. Now take an element s F(V ) and suppose that s maps to the same element via the two maps to F(V V V ). Then δ(s) maps to the same element via the two maps to i k,l F(V ik V V il ), which implies that δ(s) im(β). Let t i F(V i) be the element such that β(t) = δ(s). We have that δ(s) maps to the same element in i,j k,l F(V ik V jl ) and since the bottom row is injective t must map to the same element via the two maps to i,j F(V i V j ). Thus t im(α) and since δ is injective, we see that s im(γ). Thus the top row is an equalizer diagram and hence F is a sheaf on S Fpqc Sieves and elementary topoi Let X be a set and A a subset of X. Then A is completely determined by a characteristic map χ A : X {0, 1}, where χ A (x) = 0 if x A and χ A (x) = 1 if x / A. This gives a pullback diagram A {0} X {0, 1} One says that the inclusion (monomorphism) {0} {0, 1} is a subobject classifier. In general, if C is a category with terminal object 1, then a subobject classifier for C is a monomorphism 1 Ω such that for every monomorphism A X in C, there is a unique pullback square A 1 X (see [ML98, p. 105]). A category C is called an elementary topos, if it satisfies the following three properties: Ω (1) C has all finite limits; (2) C has a subobject classifier; (3) C is cartesian closed (see [ML98, p. 97]). The category Sh(S) of sheaves on a site S is an elementary topos [MLM94, III.7.4]. The subobject classifier is defined in terms of sieves.

32 30 3. SHEAVES OF SETS Definition Let U be an object in a category C. Then a subfunctor of is called a sieve. h U : C op (Set) The subobject classifier Ω in Sh(S) is defined by taking Ω(U) to be the set of all so called closed sieves on U for any object U in S. Let F be a sheaf on S. Every subsheaf G of F is determined by its characteristic morphism χ G : F Ω. See [MLM94, Section III.7] for details. We will only use the fact that distinct subsheaves gives distinct characteristic morphisms Epimorphisms Recall that an arrow X Y between objects in a category C is called an epimorphism if whenever we have two arrows f, g : Y Z such that the compositions X Y Z agree, we have f = g. Equivalently we can say that the map Hom C (Y, Z) Hom C (X, Z) is injective for every object Z. Recall also that a diagram W β α X Y is a coequalizer diagram (X Y is a coequalizer of W X) if every morphism X V such that the two maps W X V coincide factors uniquely through X Y. Now, if we have a pair of morphisms α, β : W X, then every morphism X V such that the maps W β α X V coincide factors through X Y if and only if Hom C (Y, V ) maps surjectively onto the subset {f Hom(X, V ) : f α = f β}. Hence we conclude that W β α X Y is a coequalizer diagram in a small category C if and only if the diagram Hom C (Y, V ) Hom C (X, V ) Hom C (W, V ) is an equalizer diagram in (Set) for every object V in C. This means in particular that Hom C (Y, V ) Hom C (X, V ) is injective for every Y V and thus that X Y is an epimorphism. Definition A morphism X Y in a category C with fiber products is called an effective epimorphism if the following diagram is a coequalizer diagram: X Y X pr 1 pr 2 X Y. We say that X Y is a universally effective epimorphism if for every morphism Y Y, the morphism X Y Y Y is an effective epimorphism. Remark Thus, to say that any presheaf h X on S Fpqc (given by an S- scheme X) is a sheaf, (it is a sheaf in the Zariski topology) is to say that any fpqc morphism V U, with U and V affine, is an effective epimorphism. Definition For an object X in a category C, let h X be the covariant functor Hom C (X, ): C (Set).