arxiv: v4 [math.ag] 3 Sep 2016

Transcription

1 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ OLIVER LORSCHEID arxv: v4 [math.ag] 3 Sep 2016 ABSTRACT. It s a classcal nsght that the Yoneda embeddng defnes an equvalence of schemes as locally rnged spaces wth schemes as sheaves on the bg Zarsk ste. Smlarly, the Yoneda embeddng dentfes monod schemes (or -schemes n the sense of Detmar) wth schemes relatve to sets (n the sense of Toën and Vaqué). In ths paper, we nvestgate the generalzaton to blue schemes and to semrng schemes. We establsh Yoneda functors for both schemes theores. These functors fal, however, to be equvalences n both stuatons. The reason for ths falure s a dvergence n the Grothendeck pretopologes comng from schemes as topologcal spaces and schemes as sheaves. Restrcted to blue schemes that are locally of fnte type over a blue feld, we construct an nverse to the Yoneda functor, whch establshes an equvalence for ths subclass of blue schemes. Moreover, we verfy the compatblty of the Yoneda functors wth the base extenson from blue schemes to semrng schemes and wth the base extenson from semrng schemes to usual schemes. COTETS Introducton 1 1. Affne presentatons 4 2. Relatve schemes after Toën and Vaqué 7 3. Blueprnts Blue B-modules Blueprnt morphsms of fnte presentaton Flat morphsms Geometrc blue schemes Subcanoncal blue schemes The blueprnted space of a subcanoncal blue scheme Semrng schemes Compatblty wth base extensons Algebracally presented blue schemes Algebracally presented blue schemes as subcanoncal blue schemes Concludng remarks 28 References 29 ITRODUCTIO Motvaton. Usually a scheme s defned as a locally rnged space that s locally somorphc to the spectra of rngs. Alternatvely, the Yoneda embeddng dentfes a scheme X wth ts functor of ponts, whch s a sheaf on the bg Zarsk ste for rngs. Ths makes t possble to descrbe schemes n a completely functoral language as locally representable sheaves on the bg Zarsk ste; see Demazure and Gabrel s book [5]. Toën and Vaqué generalze n [12] ths functoral vewpont from rngs, whch are commutatve monods n Z-modules, to commutatve monods n any complete and cocomplete 1

2 2 OLIVER LORSCHEID closed symmetrc monodal category C. Ths yelds the noton of a scheme relatve to C as a locally representable sheaf on the bg Zarsk ste for commutatve monods n C. Ths produces, n partcular, the noton of an -scheme as a scheme relatve to sets together wth the Cartesan product. Vezzan shows n [13] that takng the functor of ponts establshes an equvalence between monodal schemes, aka, -schemes n Detmar s sense ([3]), and -schemes n Toën and Vaqué s sense. The purpose of ths text s to extend ths relaton to the realms of blueprnts and of semrngs where both approaches to schemes play an mportant role. Whle the geometrc approach to blue schemes va blueprnted space from [8] embraces the theory to schemes and realzes the expected sets of -ratonal ponts as part of the underlyng topologcal spaces (cf. [7], [9] and [10]), Toën and Vaqué s context s the natural framework to pursue sheaf theory. However, the equvalence of Detmar s and Toën-Vaqué s -schemes does not extend to blue schemes, but these two vewponts lead to dfferent theores of blue schemes. The results of ths text provde methods to brdge the gap and to pass from one sde to the other. The dscrepancy between these two dfferent approaches s already clear from the outset: whle the Zarsk topology for the category Blpr of blueprnts comng from Toën and Vaqué s theory s subcanoncal,.e. blueprnts defne sheaves, the approach n [8] leads to a Grothendeck pretopology for Blpr that s not subcanoncal. To dstnct between these two Grothendeck pretopologes for Blpr, we call the former the subcanoncal Zarsk topology and the latter the geometrc Zarsk topology. Correspondngly, we wll talk about subcanoncal blue schemes f we refer to Toën and Vaqué s theory, and we call blue schemes from [8] geometrc blue schemes. Setup. To gve a frst mpresson to the reader that s not yet famlar wth the termnology, we descrbe the relevant objects n brevty. Complete defntons can be found n the ndcated sectons of the man text. A blueprnt s a par B=(A,R) of a multplcatve monod A and an equvalence relaton R on the semrng[a] of fnte formal sums a of elements a n A that satsfy a small set of axoms (secton 3). The equvalence relaton R lets us talk about equaltes a b j between the sums of elements a and b j n A. Blueprnts together wth structure preservng maps form the category Blpr. ote that f there s a unque c A for every a,b A such that a+b c, then B s naturally a semrng, and every (commutatve) semrng (wth 0 and 1) s of ths form. Conversely, every blueprnt B=(A,R) s a blueprnt for the semrng B + =[A]/R n the lteral sense. Ths yelds a functor( ) + : Blpr SRngs to the category of semrngs. The spectrum X = SpecB of a blueprnt s the space of all prme k-deals of B, endowed wth a topology of Zarsk open subsets and a structure sheaf O X. A geometrc blue scheme s a blueprnted space,.e. a topologcal space together wth a sheaf n Blpr, that s locally somorphc to the spectra of blueprnts (secton 7). We denote the category of geometrc blue schemes by Sch geo. A subcanoncal blue scheme s a scheme relatve to the category M od of blue - modules (secton 4). By defnton, ths s a sheaf on Blpr wth respect to the subcanoncal Zarsk topology that s covered by representable sheaves (sectons 2 and 8). We denote the category of subcanoncal blue schemes by Sch can. The base extenson functor( ) + : Blpr SRngs nduces correspondng functors( ) + : Sch geo Sch +,geo and( ) + : Sch can Sch +,can to the respectve categores of geometrc and subcanoncal semrng schemes. To recall, a geometrc semrng scheme s a of geometrc blue scheme whose blueprnts of local sectons are semrngs. In other words, the category of geometrc semrng schemes comes wth an embeddngι:sch +,geo Sch geo as a full subcategory, and ( ) + s left nverse and rght adjont to ths embeddng. A subcanoncal semrng s a scheme relatve to the category M od + of commutatve untal

3 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 3 semgroups. A subcanoncal semrng scheme does not have a natural nterpretaton as a subcanoncal blue scheme. Both Sch +,can and Sch +,geo contan the category Sch + Z of usual schemes as a full subcategory and come wth respectve base extenson functors Z : Sch +,can Sch + Z and Z : Sch +,geo Sch + Z. The relatonshp between these dfferent categores of schemes can be summarzed as follows. Theorem A. There s a dagram of functors Sch can G Sch geo ( ) + Sch +,can ι Z F G + Sch + Z ι ( ) + Sch +,geo ι Z satsfyng the followng propertes: () the outer square and both the nner and the outer trangle commute; () the embeddngs ι are left nverse and rght adjont to the respectve base extenson functors( ) + and Z; () the functor G s nduced by the dentty functor on Blpr and G + s nduced by the dentty functor on SRngs; both functors are essentally surjectve; (v) F s a partally defned rght nverse functor to G whose doman ncludes all monodal schemes and all geometrc blue schemes that are locally of fnte type over a blue feld. Outlne of the proof. The major work n provng Theorem A conssts n the constructons of the functors G, G + and F. Once constructed, the clams n () (v) follow easly. ote that () gans a precse meanng from the followng explanatons. The man tool for the constructon of G, G + and F are affne presentatons (secton 1), whch are dagrams of open mmersons between affnes whose colmt equals the blue scheme or semrng scheme n queston. Ths allows us to encounter the comparson of subcanoncal blue schemes, whch are objects n the category Sh(Blpr) of sheaves on Blpr, wth geometrc blue schemes, whch are object n the category BlprSp of blueprnted spaces, n terms of dagrams of spectra of blueprnts. Ths method of comparson works snce subcanoncal blue schemes concde wth colmts of affne presentatons n Sh(Blpr) (Theorem 2.1) and geometrc blue schemes concde wth colmts of affne presentatons n BlprSp (Theorem 7.4). After unravellng the notons nvolved n the defnton of a relatve scheme for the case of blueprnts (Propostons 5.1, 6.1 and 8.2), we derve a descrpton of subcanoncal blue schemes as blueprnted spaces (secton 9) and conclude that the subcanoncal Zarsk topology on Blpr s coarser than the geometrc Zarsk topology (Theorem 8.3). Applyng a general fact about affne presentatons (Lemma 1.3) yelds the functor G : Sch can Sch geo (Corollary 8.4), whch sends the colmt of an affne presentaton n Sh(Blpr) to the colmt of the same affne presentaton n BlprSp. In ths sense, G s nduced by the dentty functor on Blpr, as clamed n (). In order to compare the dfferent theores of semrng schemes, we employ a result of Marty ([11], cted as Theorem 10.2) that gves an explct characterzaton of the subcanoncal Zarsk topology on SRngs. Ths lets us prove that also n the case of semrngs, the subcanoncal Zarsk topology s coarser than the geometrc Zarsk topology (Theorem 10.4). Ths yelds the functor G + : Sch +,can Sch +,geo (Corollary 10.5), whch satsfes the clam of () n the same sense as G satsfes the correspondng clam.

4 4 OLIVER LORSCHEID Thanks to the constructons of G and G + n terms of affne presentatons, parts () and () of the theorem are readly verfed (Theorem 11.1). The constructon of the partally defned nverse F to G s more subtle. Ths functor s defned on the full subcategory of algebracally presented blue schemes, whch are, roughly speakng, geometrc blue schemes that can be covered by the spectra of local blueprnts such that ther parwse ntersectons are prncpal opens. Examples of algebracally presented blue schemes are monodal schemes (Example 12.3) and geometrcally blue schemes that are locally of fnte type over a blue feld (Proposton 12.4). A certan fact on the stablty under refnements (Proposton 12.6) allows the constructon of the functor F from the category of algebracally presented blue schemes to Sch can (secton 13). Part (v) follows easly from the constructon of F (Theorem 13.2). Remarks and examples. We nclude varous lmtng examples and remarks n the text to explan certan dffcultes n the constructons of the functors G, G + and F. In the fnal secton 14, we descrbe a dfferent partally defned nverse F to G. It seems to be less mportant for applcatons than F, but we fnd ts exstence worth mentonng. Acknowledgements. I would lke to thank James Borger, Bertrand Toën, Alberto Vezzan and two anonymous referees for ther remarks on prevous versons of ths text. I would lke to thank Matas del Hoyo and Andrew Macpherson for ther explanatons on smplcal sets and topos theory. 1. AFFIE PRESETATIOS Typcally a theory of scheme-lke objects looks as follows: wth a category B of algebrac objects, one assocates a category A of affne schemes that s ant-equvalent to B. Ths category A of affne schemes carres a Grothendeck pretopology and s embedded as a full subcategory n a category S, whch allows us to glue affne schemes n some way. The purpose of ths secton s to abstract ths mechansm of glung as takng colmts over certan commutatve dagrams n A, whch we call affne presentatons. After settng up the defntons, we formulate Hypothess 1.2, whch gathers certan propertes () (v) that are usually satsfed n a scheme-lke theory. Let A be a category wth fnte lmts, endowed wth a Grothendeck pretopology. We call a morphsm W U an open map f t occurs n a coverng famly of U. Let U be a commutatve dagram n A. The thn category spanned by U s the category U whose objects are the objects of U and whose morphsms are all possble compostons of morphsms of U n A, ncludng the dentty morphsms as compostons. Snce U s commutatve, the morphsm sets Hom(U,V) of C(U ) have at most one element,.e. U s a thn category. The commutatve dagram U can be consdered as a subdagram of U. An object U of U s called a maxmal object f any morphsm n U wth doman U s an somorphsm. We denote the set of maxmal objects of U by U max. By defnton, we have U max = U max. We say that U s wth enough maxmal objects f for every object V of U, there s a morphsm V U nto a maxmal object U n U. Let U 0 and U 1 be two objects of U. A path n U from U 0 to U 1 s a sequence U 0 ϕ 1 V 1 ϕ 2 ϕ n 1 V n 1 ϕ n U 1 of objects and morphsms n U whose arrows are allowed to have any orentaton. ote that V s tself a dagram and comes wth a map V U of dagrams, whch does not have to be njectve. The lmt lmv of V n A comes wth canoncal projectons lmv U 0 and lmv U 1, whch we call the begnnng and the end of V, respectvely. A monodromy-free dagram n A s a dagram U n A such that for any object U n U and any path V n U from U to U, the canoncal morphsm lm ( lmv U ) lmv

5 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 5 s an somorphsm where the two arrows lmv U are the begnnng and the end of V. ote that a monodromy-free dagram s commutatve. An affne presentaton n A s a monodromy-free dagram U of open morphsms n A wth enough maxmal objects. A morphsm U V of affne presentatons U and V s a famly of morphsms{ϕ U : U V(U)} from all objects U n U to some objects V(U) n V such there s a morphsm V(U 1 ) V(U 2 ) n V for every morphsm U 1 U 2 n U such that the resultng square U 1 V(U 1 ) U 2 V(U 2 ) commutes. Let V be an affne representaton. A refnement of V s a morphsm Φ : U V of affne presentatons such that for all V n V, the famly {Φ : U Φ(U)} wth Φ(U)= V s a coverng famly of V. ote that the natural morphsm U U s an refnement. An affne presentaton U s called an atlas f t has no composable morphsms and every object W occurs as the doman of at most two morphsms W U and W V. Informally speakng, an atlas s a collecton U max of objects together wth a coverng for every ntersecton of two maxmal objects U and V. It s not hard to see that every affne presentaton V admts a refnement U V by an atlas U. Lemma 1.1. The category of affne presentatons n A contans fbre products and the base change of a refnement s a refnement. Proof. Let Φ : U V and Ψ : V V be two morphsms of affne presentatons. We construct the fbre product U = U V V as follows. The objects of U are the fbre products U V V for every par of morphsms U V n Φ and V V n Ψ. The morphsms of U are the morphsms U V V U V V that are nduced by morphsms U U n U and the morphsms U V V U V V that are nduced by morphsms V V n V. It s not hard to verfy that U s an affne presentaton, whch satsfes the unversal property of the fbre product U V V wth respect to the canoncal morphsms Φ : U V and Ψ : U U. That refnements are stable under base changes follows from the axom of a Grothendeck pretopology that ensures that coverng famles are stable under base change. In theores of scheme-lke objects, lke Toën and Vaqué s theory of relatve schemes or the author s theory of blue schemes, one faces typcally the followng stuaton. There s a fully fathful embeddng A S of the category of affne schemes nto some larger category S, whch often s a category of sheaves on A or a category of topologcal spaces together wth a structure sheaf. The category Sch A of schemes s defned n some way as a full subcategory of S that contans A. Affne presentatons work well as a tool to compare dfferent scheme theores under the followng assumptons. Hypothess 1.2. The embeddngs A Sch A S satsfy the followng propertes. () The categores A, Sch A and S contan fnte lmts and the functors A Sch A and Sch A S commute wth fnte lmts. () The category S contans a colmt of every affne presentaton n A, and Sch A s the full subcategory of S whose objects are colmts of affne presentatons n A. () For every scheme X, the functor Hom(,X) s a sheaf on A. (v) Refnements U V nduce somorphsms colmu colmv of schemes. (v) Affne presentatons U and V whose colmts are somorphc have a common refnement W U and W V. (v) Every morphsm of schemes s nduced by a morphsm of affne presentatons.

6 6 OLIVER LORSCHEID ote that these propertes are not ndependent. For nstance, (v) follows from the other propertes. If a scheme X n S s the colmt of an affne presentaton U, then we say that U s an affne presentaton of X. Let A and A be categores wth fnte lmts, equpped wth Grothendeck pretopologes. Let A Sch A S and A Sch A S be fully fathful embeddngs that satsfy Hypothess 1.2. Lemma 1.3. Let G : A A be a functor that commutes wth fbre products and that preserves coverng famles. Then there exsts a unque functor G : Sch A Sch A such that for all morphsms Φ : U V of affne presentatons n A, we have a natural dentfcaton G(colmΦ)=colmG(Φ). In partcular, ths yelds G(colmU )=colmg(u ). Proof. The unqueness follows from propertes () and (v). We have to verfy that the formulas G(colmU) = colmg(u ) and G(colmΦ) = colmg(φ) gve rse to a welldefned functor. Let U an affne presentaton n A. Then G(U ) s a commutatve dagram of open mmersons n A wth enough maxmal objects. Snce U s monodromy-free and G commutes wth fbre products, G(U ) s also monodromy-free and therefore an affne presentaton. It s also clear that G maps morphsms of affne presentatons to morphsms of affne presentatons. The defnton of G(X) s ndependent (up to canoncal somorphsm) from the choce of affne presentaton U of X for the followng reason. Snce two affne presentaton have a common refnement (property (v)), t s enough to show that a refnement W U of an affne presentaton U of X nduces an somorphsm colmg(w ) colmg(u ). Snce G s a morphsm of stes, t maps open morphsms to open morphsms and coverng famles to coverng famles. Therefore G(W ) G(U ) s a refnement, and by property (v), colmg(w ) colmg(u ) s an somorphsm. Let Φ : U V and Φ : U V be two morphsms of affne presentatons wth the same colmt ϕ : X Y. Usng Lemma 1.1, we fnd a common refnement U of U and U, a common refnement V of V and V, and a morphsm Φ : U V such that colmφ = colmφ=colmφ. Ths shows that G(ϕ)=colmG(Φ )=colmg(φ ) does not depend on the choce of affne presentaton ofϕ. The ndependence from the affne presentaton also shows that G commutes wth the composton of morphsms. ote that G s not requred to preserve a termnal object. If, however, G has a left adjont, then t commutes wth all lmts, as t wll be the case for all applcatons n ths text. Example 1.4. To llustrate the concepts of ths secton, we consder a fan of polyhedral, strctly convex and ratonal conesτ R n. Let τ ={x R n x,y 0for all y τ} be the dual cone and S τ = τ Z n be the ntersecton wth the dual lattce, wrtten as a multplcatve semgroup. Let U τ = SpecC[S τ ] be the correspondng affne torc varety. An ncluson of cones σ τ nduces an open mmerson U σ U τ, whch defnes a dagram U of affne schemes and open mmersons. The torc varety assocated wth s defned as the colmt X( )=colmu n the category of locally rnged spaces. The dagram U s obvously commutatve and wth enough maxmal objects. Snce U contans fnte lmts of all non-empty subdagrams, t s mmedate that U s monodromy-free, usng Remark 1.5. Thus U s an affne presentaton. The followng dagram V s an atlas whose colmt n schemes s X( ). Its objects are all U τ whereτ s ether a maxmal cone n or a facet of a maxmal cone. The morphsms of V are of the form U σ U τ whenever σ s a facet of a maxmal cone τ. ote that the natural ncluson V U s not a refnement however, V and U admt a common refnement that commutes wth ths natural ncluson.

7 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 7 Remark 1.5. We conclude wth some remarks on monodromy-free dagrams and affne presentatons. A dagram U s monodromy-free f and only f for any two objects U 0 and U 1 of U, any two paths V and V from U 0 to U 1 and any two morphsms ψ : W lmv and ψ : W lmv, the lower square of U 0 ψ lmv W ψ lmv U 1 commutes f the upper square commutes, where the morphsms to U 0 and U 1 are the begnnngs and ends of V and V. Ths equvalence can be easly proven by observng that the lmt of lmv U0 lmv equals the lmt of the concatenaton V of V and V at U 0. Verder ntroduces n Expose V, secton 7.3, of [1] the noton of a hypercover to talk about schemes n terms of dagrams of affne schemes. Ths dea s closely related to the noton of affne presentaton, and can be made precse for a subcanoncal pretopology on A, whch s embedded nto the category Sh(A) of sheaves on A. amely, an 1-coskeletal smplcal set U of open morphsms n A s an affne presentaton f and only f U s an 1-hypercover of ts colmt colmu n Sh(A). Ths fact can be seen along the proof of Proposton 2.1, and t s suffcent to work wth affne presentatons of ths from. We refran from ths termnology, however, snce we want to suppress the relaton of U to ts colmt n the sheaf category. 2. RELATIVE SCHEMES AFTER TOË AD VAQUIÉ We recall the defnton of relatve schemes from Toën and Vaqué s paper [12]. Let C be a closed symmetrc monodal category that s complete and cocomplete. We denote by Comm(C) the category of commutatve, assocatve and untal semgroups n C. We call an object B of Comm(C) for short a commutatve monod f the context s clear. A B-algebra s a morphsm B C of commutatve monods and a B-algebra morphsm s a morphsm C C that commutes wth the morphsms B C and B C. A B-module s an object M of C together wth a morphsm B M M n C that satsfes usual axoms (ab.m)= a.(b.m) and 1.m=m of a monod acton. A morphsm M of B-modules s a morphsm n C that commutes wth the actons of B on M and, respectvely. Ths defnes the (complete and cocomplete) category M odb of B-modules. Let f : B C be a morphsm of commutatve monods n C. The morphsm f s flat f B C : M odb M odc commutes wth fnte lmts and colmts. The morphsm f : B C s of fnte presentaton f for all drected systems D, the canoncal map Ψ D : colm Hom B (C,D) Hom B (C,colmD) s bjectve. An affne scheme relatve to C s an object of the dual category of Comm(C), whch we denote by Aff C. Let spec : Comm(C) Aff C be the ant-equvalence of dual categores. Let f : B C be a morphsm of commutatve monods n C. Then f : specc specb s called a Zarsk open mmerson f f : B C s a flat epmorphsm of fnte presentaton. A famly {ϕ : specb specb} I s a coverng famly f all the morphsms ϕ are Zarsk open mmersons and f there s a fnte subset J I such that the functor Φ = B B j : M odb M odb j j J j J s conservatve (.e. f : M s an somorphsm f Φ( f) s an somorphsm). Ths endows the category Aff C of affne schemes wth a Grothendeck pretopology, called the Zarsk topology of Aff C. Ths defnes the full subcategory Sh(Aff C ) of sheaves n the category Pr(Aff C ) of pre-sheaves.

8 8 OLIVER LORSCHEID We use the characterzaton of relatve schemes as a quotent of a dsjont unon of affne schemes by a sutable equvalence relaton n order to bypass some notons that are needed n the orgnal defnton of a scheme relatve to C from [12]. amely, we defne a scheme relatve to C n terms of the followng theorem. Theorem 2.1. A sheaf F on Aff C s a scheme relatve to C f and only f t s the colmt (n Sh(Aff C )) of an affne presentaton n Aff C. Proof. Wthout recallng all defntons from [12], we outlne how the proposton follows from [12, Prop. 2.18]. Assume that F s a scheme relatve to C. By [12, Prop. 2.18], F s the quotent of a dsjont unon X = U of representable sheaves U by an equvalence relaton R that satsfes the followng two propertes. () If R, j s the fbre product of R wth U U j over X X, then the nduced morphsm R, j U U j U s an open morphsm for every and j. () The map R, U U s somorphc to the dagonal embeddng U U U. We defne an affne presentaton U as follows. Its maxmal objects are the representable sheaves U, whch we dentfy wth ther correspondng objects n Aff C. Then we choose a coverng famly {W, j,k R, j } for each dstnct par of ndces and j and nclude the morphsms W, j,k U and W, j,k U j n U. It s clear from the defnton that U s a commutatve dagram of open mmersons wth enough maxmal objects whose colmt n Aff C s F. We are left wth verfyng that U s monodromy-free. We do so by an nducton over the length of paths V n U wth equal begnnng and end U. Snce all arrows n U map from a non-maxmal object to a maxmal object, the length of a path n U s an even number 2l wth l. If 2l = 0, then V s the trval path U, and the canoncal morphsm lm(v U ) lm V s evdently an somorphsm. If 2l > 0 and U s maxmal, then V s of the form U W 1 U 1 W 2 U 2 U Snce lmts of sheaves concde wth the lmts as presheaves, t suffces to show that the canoncal map lm(v (B) U(B) ) lmv (B) s a bjecton for every B n Comm(C). Ths s the case f and only f for every sequence x w 1 y 1 w 2 y 2 x of elements x,x U(B), y U (B) and w W (B), we have that x=x. By the transtvty of the equvalence relaton R, there exst open mmersons W 1 U and W 1 U 2 n U and an element w 1 W 1 (B) that maps to x and y 2, respectvely. Thus we obtan a path of length 2l 2 and a sequence of elements U W 1 U 2 U x w 1 y 2 x. By the nducton hypothess, we have x=x. The case that U s not a maxmal element s treated analogously, but wth all arrows nverted. Ths completes the proof that U s an affne presentaton whose colmt s F. Conversely, f the sheaf F on Aff C has an affne presentaton U, then we defne an equvalence relaton R on X = U U max U as follows. As a frst step, we replace U by U and embed U nto the category Sets U of presheaves n U. We defne U as the closure of U under fnte lmts n Sets U. To avod set theoretc problems, we replace U by an equvalent, but small category. Moreover, we can assume that the set of maxmal objects n U s U max. It s clear that U s an affne presentaton.

9 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 9 For U,V U max = U max, we defne R U,V as the subsheaf of U V that s generated by the mage of W where the coproduct ranges over all W n U wth morphsms W U and W V n U. By the defnton of a Zarsk open subsheaf of an affne scheme n [12], R U,V s an open subsheaf of both U and V. We defne R as the dsjont unon R U,V over all U,V U, whch s a subsheaf of X X. We begn wth showng that R s an equvalence relaton on X. Reflexvty and symmetry of R are obvous, and transtvty can be establshed as follows. Consderng the objects U of U as sheaves, we can test transtvty for the sets U(B) where B s an object of Comm(C). Gven three objects U 1, U 2 and U 3 n U and elements x U (B) (for = 1,2,3), we have x x j f and only f there s an w, j R, j (B) such that x =ϕ, j,b (w, j ) and x j =ϕ j,,b (w, j ) where R, j = R U,U j and ϕ, j,b : R, j (B) U (B) s nduced by the ncluson R, j U U j, followed by the projecton onto U. We assume that x 1 x 2 and x 2 x 3, wtnessed by elements w 1,2 R 1,2 (B) and w 2,3 R 2,3 (B), and consder the followng dagram ϕ 1,2,B U 1 (B) ψ 1,B R 1,2 (B) ϕ 2,1,B R 1,2 (B) U2 (B) R 2,3 (B) ϕ 2,3,B U 2 (B) ψ 3,B R 2,3 (B) ϕ 3,2,B U 3 (B). Usng standard arguments about coverngs of sheaves, we can reduce ths to the stuaton n whch all of these sheaves are representable, n whch case there s an w 1,3 n R 1,2 (B) U2 (B) R 2,3 (B) such that ψ 1,B (w 1,3 ) = w 1,2 and ψ 3,B (w 1,3 ) = w 2,3. By the defnton of R 1,3, we have w 1,3 R 1,3 (B), whch shows that x 1 x 3 as desred. Ths shows that R s an equvalence relaton on X = U. By constructon, t satsfes property (), as stated n the begnnng of the proof. Usng that U s monodromy-free, we can show that two dfferent ponts of U (B) cannot be dentfed, whch establshes (). We leave the detals of ths last argument to the reader. We conclude that F = X/R s a scheme relatve to C. Let Sch C be the full subcategory of Sh(Aff C ) whose objects are schemes relatve to C. Proposton 2.2. The embeddngs Aff C Sch C Sh(Aff C ) satsfy Hypothess 1.2. Proof. Property () of Hypothess 1.2 s satsfed snce lmhom(,b ) = Hom(,lmB ) by the unversal property of lmts and snce schemes are stable under products of sheaves, see [12, Prop. 2.18]. Property () s establshed by Proposton 2.1. Property () s shown n [12, Cor. 2.11] for affne schemes. By the defnton of a scheme, t s a sheaf on Aff C. Let U V be a refnement and X = colmu and Y = colmv the correspondng schemes. Snce X and Y are sheaves on Aff C, a morphsm W Y s represented by an affne presentaton W of W and a morphsm W V. We can assume that W = Atlas(W ) snce the colmt X of an affne presentaton W only depends on the maxmal elements and a coverng of ther parwse ntersectons U X V, whch are gven by the elements of W U,V. By the base change property of Grothendeck pretopologes, the refnement U V defnes a refnement W W for W = U V W and a morphsm W U. By the local character of Grothendeck pretopologes, colmw = W. Wth ths, t s easy to verfy that the nduced morphsm colm U colm V s an somorphsm. Ths establshes property (v). Let U and V be affne presentatons such that colmu X colmv. We defne a common refnement W of U and V as follows. By (v), we can assume that U and V are affne atlases. For every U U and V V, the common open subscheme W = U X V of U and V can be covered by affne open subschemes W. If U U s a morphsm n U, V V and{w } and{w j } are the coverngs of U X V and U X V, respectvely, then we

10 10 OLIVER LORSCHEID can refne the coverng{w } such that the nduced morphsm U X V U X V restrcts to morphsms W W j() for all. The same argument holds for morphsmsv V. All the W together wth the morphsms W W j() yeld a dagram W, whch s commutatve snce there are no morphsms to compare. Snce open mmersons are stable under base change ([12, Lemme 2.13]) all morphsms of W are open mmersons. The maxmal elements of W are the W that cover U X V for some U U max and V V max. The monodromy condton follows easly from the monodromy condton for U and V. Therefore W s an affne presentaton, and ndeed an affne atlas, that s a common refnement of U and V wth respect to the canoncal morphsms W U and W V. Ths establshes property (v). By smlar arguments, we fnd for a gven morphsm colmu colmv of schemes an refnement U U and a morphsm U V that nduces ths morphsm of schemes. Ths s property (v). 3. BLUEPRITS We recall the defnton of a blueprnt. ote that we follow the conventon of [9],.e. all blueprnts are proper and wth zero, accordng to the termnology n [8]. By a monod wth zero, we mean a multplcatvely wrtten commutatve semgroup A wth a neutral element 1 and an absorbng element 0, whch are characterzed by the propertes 1 a = a and 0 a = 0 for all a A. A morphsm of monods wth zero s a multplcatve map f : A 1 A 2 that maps 1 to 1 and 0 to 0. A blueprnt B s a monod A wth zero together wth a pre-addton R,.e. R s an equvalence relaton on the semrng[a]={ a a A} of fnte formal sums of elements of A that satsfes the followng axoms (where we wrte a b j whenever( a, b j ) R): () a b j and c k d l mply a + c k b j + d l and a c k b j d l, () 0 (empty sum), and () f a b, then a=b (as elements n A). A morphsm f : B 1 B 2 of blueprnts s a multplcatve map f : A 1 A 2 between the underlyng monods of B 1 and B 2, respectvely, wth f(0)=0 and f(1)=1 such that for every relaton a b j n the pre-addton R 1 of B 1, the pre-addton R 2 of B 2 contans the relaton f(a ) f(b j ). Let Blpr be the category of blueprnts. In the followng, we wrte B=A R for a blueprnt B wth underlyng monod A and preaddton R. We adopt the conventons used for rngs: we dentfy B wth the underlyng monod A and wrte a B or S B when we mean a A or S A, respectvely. Further, we thnk of a relaton a b j as an equalty that holds n B (wthout the elements a and b j beng defned, n general). Gven a set S of relatons, there s a smallest equvalence relaton R on [A] that contans S and satsfes Axoms () and (). If R satsfes also Axom (), then we say that R s the pre-addton generated by S, and we wrte R = S. In partcular, every monod A wth zero has a smallest pre-addton R = /0. More generally, let A be a monod wth zero and R an equvalence relaton on [A] that satsfes Axoms () and (). We can form the quotent set A = A/ where a b whenever a b. Then A nherts the structure of a monod by the multplcatvty of R, and the mage R of R n [A ] [A ] s a pre-addton on A, satsfyng Axom () (see Lemma 1.6 n [8] for more detals on the constructon of the proper quotent). We say that A R s a representaton of the blueprnt A R, and we say that the representaton A R of B=A R s proper f A=A. A (commutatve) semrng R (wth addtve and multplcatve unt) defnes the blueprnt B=A R where A=Ras multplcatve monod and R ={ a b j a = b j n R}. Ths constructon s functoral n R and provdes a fully fathful embeddng of semrngs nto blueprnts. In the followng, we often consder semrngs as blueprnts. Ths embeddng admts a left adjont and left nverse functor, whch assocates wth a blueprnt

11 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 11 B = A R ts unversal semrng B + = [A]/R. ote that B + s well-defned as semrng snce R s an equvalence relaton on [A] that respects addton and multplcaton. ote further that B comes wth an ncluson B B + of blueprnts that s unversal for all morphsms from B nto a semrng. 4. BLUE B-MODULES In ths secton, we ntroduce the noton of a blue B-module for a blueprnt B. Let M be a ponted set. We denote the base pont of M by. A pre-addton on M s an equvalence relaton P on the semgroup [M] ={ a a M} of fnte formal sums n M wth the followng propertes (as usual, we wrte m n j f m stays n relaton to n j ): () m n j and p k q l mply m + p k n j + q l, () (empty sum), and () f m n, then m=n (n M). Let B = A R be a blueprnt. A blue B-module s a set M together wth a pre-addton P and a B-acton B M M, whch s a map (b,m) b.m that satsfes the followng propertes: () 1.m=m, 0.m= and a. =, () (ab).m=a.(b.m), and () a b j and m k n l mply a.m k b j.n l. A morphsm of blue B-modules M and s a map f : M such that () f(a.m)=a. f(m) for all a B and m M and () whenever m n j n M, then f(m ) f(n j ) n. Ths mples n partcular that f( ) =. We denote the category of blue B-modules by M odb. ote that n case of a rng B, every B-module s a blue B-module, but not vce versa. Lemma 4.1. The category M odb s closed, complete and cocomplete. The trval blue module 0={ } s an ntal and termnal object of M odb. Proof. All arguments are essentally the same as n the case of A-sets. We refer to [2, Secton 2.2.1] for the facts that M odb s closed and 0 s ntal and termnal. The constructon of lmts and colmts can be found n [2, Prop. 2.13]. To conclude, we comment on structure of the morphsm set Hom B (M,) as blue B- module. The scalar multplcaton of a morphsm f : M by an element a B s gven by a. f : m a. f(m), and the pre-addton of Hom B (M,) conssts of the relatons f g j for whch f (m) g j (m) for all m M. It s straght-forward to verfy that these defntons satsfy the axoms of a blue B-module. Lemma 4.2. The category M odb has tensor products M B, whch are characterzed by the unversal property that every b-b-lnear morphsm M P factors through a unque B-lnear map M B P. The canoncal map M M B s surjectve. The functor B M s left adjont to Hom B (M, ). Together wth the tensor product, M odb s a symmetrc monodal category. Proof. The blue B-module M B can be defned as the M P where P s the preaddton generated by the relatons (b.m, p) (m,b.p), (m, p) (n j, p), (m, p k ) (m,q l ) for all b B, m,m,n j M, p, p k,q l for whch m n j holds n M and p k q l holds n. It s easly verfed that ths defnes a blue B-module that satsfes the desred propertes; cf. secton of [2] for the analogous case of A-sets where A s a monod.

12 12 OLIVER LORSCHEID Let B be a blueprnt. We denote the category of B-algebras by Blpr B and ts morphsm sets by Hom B (C,C ). Let be the blueprnt{0,1} /0, whch s an ntal object n Blpr. Then the assocaton( B) B establshes an equvalence between Blpr F1 and Blpr. Lemma 4.3. Let B be a blueprnt. Then the category Blpr B s equvalent to the category of commutatve monods n M odb. Proof. A B-algebra f : B C s a blue B-module w.r.t. the multplcaton defned by b.c = f(b)c for b B and c C. The multplcaton of C turns C nto a commutatve monod n M odb. A morphsm C C of B-algebras nduces naturally a morphsm of the assocated commutatve monods n M odb. It s mmedately verfed that ths functor s an equvalence of categores. 5. BLUEPRIT MORPHISMS OF FIITE PRESETATIO Recall from secton 2 that a morphsm f : B C s of fnte presentaton f for all drected systems D, the canoncal map Ψ D : colm Hom B (C,D) Hom B (C,colmD) s bjectve. In ths secton, we characterze blueprnt morphsms f : B C of fnte presentaton n terms of the fnteness of certan sets of generators. Let B = A R be a blueprnt. The we denote by B[T ] I the free blueprnt over B n the ndetermnants T, cf of [8]. Its elements are {0} and all monomals b T n wth coeffcents b B {0} where n 0 wth n = 0 for all but fntely many I. The blueprnt B can be seen as the subset of all constants b T 0, and the pre-addton of B[T ] s generated by the mage of R n B[T ]. A B-algebra f : B C s generated by a subset {b } I of C f there are for every element c C fntely many a l B and not necessarly dfferent ndces n l I such that c f(a l )b l. A presentaton of a B-algebra f : B C s par (b,s) where b ={b } I generates f : B C and S s a set of relatons on the free B-algebra B[T ] I that satsfes the followng property: for B=B[T ] S, there s a monomorphsm f : B C of B-algebras that sends T to b and the pre-addton of C s generated by the mage of the pre-addton of B. ote that the underlyng monod of B s n general a proper quotent of B[T ]. A B-algebra f : B C s algebracally of fnte presentaton f there s a presentaton (b,s) of f : B C wth fnte b and fnte S. We say that such a par (b,s) s a fnte presentaton for f : B C. Proposton 5.1. A morphsm f : B C of blueprnts s of fnte presentaton f and only f t s algebracally of fnte presentaton. Proof. We unfold the defnton of a fntely presented morphsm of blueprnts. Consder a drected system D of B-algebras D (where ranges through an ndex set I) and morphsms g, j : D D j (for a drected subset of ndces(, j) I I). Then the colmt of D can be represented by the B-algebra colmd = I D / where the equvalence relaton s generated by the relatons a b j between a D and b j D j for whch there s a k I such that, j k and g,k (a )=g j,k (b j ). The pre-addton of colmd s generated by all relatons of the form ā k b l for whch a k b l s a relaton n some D and where ā k and b l are he mages of a k and b l, respectvely, n colmd. Letι : D colmd be the canoncal morphsms. Smlarly, an element of colmhom B (C,D) can be represented by a morphsmϕ : B D for some I. The canoncal map Ψ D : colm Hom B (C,D) Hom B (C,colmD)

13 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 13 send the class ofϕ : B D the morphsmϕ=ι ϕ : C colmd. Recall that f : B C s of fnte presentaton f Ψ D s a bjecton for all drected systems D. Assume ({b 1,...,b n },S) s a fnte presentaton for f : B C. Let D be a drected system. We show that Ψ D s njectve. Letϕ andψ j represent two elements of colmhom B (C,D) such that ϕ=ψ D (ϕ ) = Ψ D (ψ j )=ψ. Denote ϕ k =ϕ g,k for k and ψ k =ψ j g j,k for j k. Then there s an k l I and an b kl D kl for every l = 1,...,n such that ϕ kl (b kl ) = ψ kl (b kl ) n D kl. If k J(k 1 ) J(k n ), then ϕ k (b k ) = ψ k (b k ) n D k for all l = 1,...,n. Therefore, we obtan for an arbtrary element c f(a l )b kl n C, the relaton ϕ k (c) f(a l )ϕ k (b kl ) f(a l )ψ k (b kl ) ψ k (c),.e.ϕ k =ψ k. Ths shows the njectvty of Ψ D. We show that Ψ D s surjectve. Letϕ : C colmd be a morphsm of B-algebras. Then for every relaton R n f(s), there s an R I and c l D R such that ϕ(b l ) = ι R (c l ) for l = 1,...,n and such that the c l satsfy the relatonϕ R (R). Snce S s fnte, we can replace the R by an I that s larger than all R and can assume that there are elements c l n D that satsfy all relatons nϕ ( f(s)) and such thatι (c l )=b l. Ths means thatϕ : C colmd factors nto a morphsmϕ : C D, defned byϕ (b l )=c l, followed byι : D colmd. Ths establshes the surjectvty of Ψ D and shows that f : B C s of fnte presentaton, whch s one drecton of the proposton. Assume that Ψ D s a bjecton for every drected system D. Let({b } I,S) be a presentaton of B C such that the cardnalty of I S s mnmal. We show that both I and S are fnte. Defne for every par of fnte subsets J I and T S such that all relatons n T nvolve only elements of J the blueprnt D J,T = B[b ] J R T where R T s the pre-addton that s generated by T and R B. Then every D J,T s naturally a B-algebra and a par of nclusons J 1 J 2 and T 1 T 2 yelds a morphsm D J1,T 1 D J2,T 2 of B-algebras. Ths defnes a drected system D whose colmt colmd s C. Snce Ψ D s bjectve, the dentty morphsm d : C C=colmD comes from an element of colmhom B (C,D), represented by some morphsm ϕ J,T : C D J,T. Ths means that there are a fnte subset J of I and a fnte subset T of S such that d : C C factorzes nto ϕ J,T, followed by ι J,T : D J,T C. By the mnmalty of I and S, ths can only be the case f both J = I and T = S,.e. I and S are fnte. Ths fnshes the proof of the proposton. 6. FLAT MORPHISMS In ths secton, we show that a flat morphsms of blueprnts concde wth localzatons. We recall the defnton of a localzaton of a blueprnt at a multplcatve subset. Let B=A R be a blueprnt. Let S be a multplcatve set n B,.e. a subset of B that contans 1 and ab for all a,b S. We defne S 1 A as the quotent of A S by the equvalence relaton gven by (a,s) (a,s ) f and only f there s a t S such that tsa = ts a. We wrte a s for the equvalence class of(a,s) n S 1 A. We defne S 1 R as the set where S 1 R = { a s b j r j t S such that ts a tr j b j } s = k s k j r j and r j = s r l. l j Then S 1 A s a monod (wth the multplcaton nherted from A S) and that S 1 R s a pre-addton for S 1 A. We defne the localzaton of B at S as the blueprnt S 1 B = S 1 A S 1 R. The assocaton a a 1 defnes an epmorphsm B S 1 B. It satsfes the unversal property that every morphsm f : B C that maps S to the unts of C factors unquely

14 14 OLIVER LORSCHEID through B S 1 B. If S = {h } 0 s generated by some h B, then we denote S 1 B by B[h 1 ]. Gven a blue B-module M and a multplcatve subset S of B, we defne S 1 M as the followng blue B-module. Its underlyng set s the quotent of M S by the equvalence relaton defned by(m,s) (m,s ) f and only f there s a t S such that ts.m = ts.m. We denote by m s the equvalence class of(m,s) and denote by f : M S 1 M the canoncal map that sends m to m 1. The pre-addton of S 1 M s generated by f(p) where P s the pre-addton of M. Wth ths f : M S 1 M s a morphsm of blue B-modules, and S 1 M s naturally a blue S 1 B-module. We say that a morphsm f : B C of blueprnts s a localzaton f there s a multplcatve set S n B and an somorphsm g : C S 1 B such that g f : B S 1 B equals the localzaton map a a 1. Recall that a morphsm f : B C s flat f BC : M odb M odc commutes wth fnte lmts and colmts. Proposton 6.1. A morphsm f : B C of blueprnts s flat f and only f t s a localzaton. Proof. Snce t s not surprsng that localzatons are flat, we restrct ourselves to an outlne of ths drecton of the proof. Let S be a multplcatve subset of B. Snce B S 1 B s left adjont to Hom B (S 1 B, ), t commutes wth colmts. It s easly verfed that B S 1 B commutes wth fnte lmts (cf. [2, Prop. 2.24] for the case of a monod B). Therefore B S 1 B s flat. For two blue B-modules M and, the unversal morphsm M M B s a surjecton between the underlyng sets, see Lemma 4.2. Ths means that every element of M B can be represented as m n wth m M and n. Ths s the basc property that allows us to show that every flat morphsm s a localzaton. Assume that f : B C s flat. Defne S = f 1 (C ), whch s a multplcatve subset of B. By the unversal property of the localzaton, the morphsm f : B C factors nto B S 1 B and a unque morphsm f S : S 1 B C. The proof s completed once we have shown that f S s an somorphsm. We show that f S s surjectve. For b B and c C, we wrte b.c= f(b)c. By the flatness of f : B C, the morphsm Φ : (B B) B C (B B C) (B B C) = C C (b 1,b 2 ) c (b 1 c,b 2 c) = (b 1.c,b 2.c) s an somorphsm. Ths means that we fnd for every d C elements b 1,b 2 B and c C such that (d,1)=(b 1.c,b 2.c). Therefore b 2.d = b 1 b 2.c=b 1.1 s n f(b) and f(b 2 ) C. Ths means that d = f S ( b 1 b 2 ) s n the mage of f S, whch shows that f S s surjectve. If A s the underlyng monod of S 1 B and R B s ts pre-addton, then we can represent C as A R C, whch s not necessarly a proper representaton. If we show that f S nduces a bjecton between R B and R C, then t follows that f S s an somorphsm. To do so, consder a relaton a b j between elements a,b j A n R C. Consder the ncluson B B + of B nto ts assocated semrng. Defne a = a and b = b j n S 1 B + and consder the two morphsms S 1 B + f a f b S 1 B + of blue B-modules gven by f a (c)=ac and f b (c)=bc. Snce B S 1 B s an epmorphsm and S 1 B C s surjectve, we have S 1 B + B C=S 1 B + S 1 B C = C+. Therefore the base change B C yelds the morphsms C + f a B C f b B C C +, whch are the same snce a= a = b j = b n C +. Snce f : B C s flat, we have eq ( f a, f b ) B C = eq ( f a B C, f b B C ) = C +.

15 BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ 15 Therefore, there exsts a c eq( f a, f b ) such that f(c) (C + ) and c f(c) 1 = 1 n C +. By the defnton of S, c s nvertble n S 1 B +. Therefore the equalty ac= f a (c)= f b (c)= bc mples a = acc 1 = c 1 f a (c) = c 1 f b (c) = bcc 1 = b n S 1 B +. Ths means that a b j n S 1 B, whch was to be shown. Corollary 6.2. Every flat morphsm of blueprnts s an epmorphsm. We say that a morphsm f : B C s a fnte localzaton f t s somorphc to a localzaton B S 1 B at a fntely generated multplcatve subset S={h e 1 1 he n n e 0} of B. ote that n ths case, S 1 B=B[h 1 ] for h= h. Corollary 6.3. A morphsm of blueprnts s a flat epmorphsm of fnte presentaton f and only f t s a fnte localzaton. Proof. We know that a flat epmorphsm s the same as a localzaton. Let B S 1 B be a fnte localzaton,.e. S s generated by fntely many elements h 1,...,h n. Then ({T 1,...,T n },{T 1 h 1 1,...,T n h n 1}) s a fnte presentaton for B S 1 B. Conversely, f B S 1 B s a localzaton wth a fnte presentaton ({T 1...,T n },R), then S s fntely generated by those T that are nvertble n S 1 B. 7. GEOMETRIC BLUE SCHEMES In ths secton, we recall the defnton of a blue scheme as a blueprnted space that s locally somorphc to the spectra of blueprnts, as ntroduced n [8]. In order to contrast blue schemes wth relatve blue schemes, as consdered n secton 2, we call blue schemes also geometrc blue schemes n the followng. In order to make the termnology more coherent wth the other lterature on semrngs where an deal s a submodule of the semrng (cf. secton 10), we wll use the term k-deal for what s called an deal n [8]. A k-deal of a blueprnt B s a subset I of B such that 0 I, IB=I and c I whenever c+ a b j wth a,b j I. For every k-deal I of B, there s a unversal morphsm f : B B/I of blueprnts wth f 1 (0) = I, and we call B/I the quotent of B by I. A k-deal I s maxmal f I B and f there s there s no strctly larger k-deal J B. A blueprnted space s a topologcal space X together wth a sheaf O X wth values n Blpr. A morphsm of blueprnted spaces X and Y conssts of a contnuous map ϕ : X Y between the underlyng topologcal spaces and a morphsm ϕ # : O Y ϕ O X of sheaves such that the nduced morphsms ϕ # x : O Y,ϕ(x) O X,x of stalks are local,.e. t maps nonnvertble elements to nonnvertble elements. Remark 7.1. ote that we consder two dfferent ways of assocatng a blueprnted space wth a blueprnt, whch are the geometrc spectrum, as defned below, and the subcanoncal spectrum, as defned n 9. For ether spectrum, the blueprnted space wll be local n the approprate sense, but these localty condtons do not agree. Therefore we avod the defnton of a locally blueprnted space and crcumvent ths by a more general defnton of local morphsms between the stalks that apples to both notons of spectra n the correct way. A prme k-deal of a blueprnt B s a k-deal p such that S = B p s a multplcatve subset of B. We endow the set X of all prme k-deals of B wth the topology that s generated by the subsets U h ={p X h / p} where h B. ote that U g U h = U gh, whch mples that {U h h B} forms a bass for the topology of X. A coverng famly for X s a collecton of open subsets whose unon equals X. The structure sheaf O X s defned as the sheaf that assocates wth each open subset U of X the set of locally representable sectons s : U p U B p,.e. there s a coverng famly{u h } of X and elements s B[h 1 ] such that s(p)=s n B p for all andp U h. ote that each set O X (U) of local sectons comes wth the natural structure of a blueprnt. The spectrum SpecB of B s the topologcal space X together wth the structure sheaf O X.

16 16 OLIVER LORSCHEID The spectrum of a blueprnt s a blueprnted space. The stalk O X,x at a pont x of X s a local blueprnt,.e. m x = O X,x O X,x s a maxmal k-deal. The resdue feld at x s the quotent O X,x /m x, whch s a blue feld,.e. a blueprnt wth 0 1whose only nonnvertble element s 0. A morphsm f : B C of blueprnts defnes naturally a morphsm f : SpecC SpecB between the spectra of the blueprnts. Thus Spec defnes a functor from Blpr to the category BlprSp of blueprnted spaces. Conversely, takng global sectons Γ(X,O X ) defnes a functor from BlprSp to Blpr. We obtan an endofunctor on blueprnts that sends B to ΓB=Γ(X,O X ) where X = SpecB. The dffculty n comparng blue schemes wth schemes relatve to the category of blue -modules les n the fact that the functor Spec : Blpr BlprSp s not fully fathful, and that the canoncal morphsm σ : B ΓB, called the globalzaton of B, s n general not an somorphsm. We call B global f σ s an somorphsm. We have the followng results; see [8, Thm and Cor. 3.13]. Theorem 7.2. For every blueprnt B, σ : B ΓB defnes an somorphsmσ : SpecΓB SpecB. Consequently, ΓB s a global blueprnt and every morphsm f : B C nto a global blueprnt C = ΓC factors unquely through σ : B ΓB. Let Γ Blpr be the full subcategory of Blpr whose objects are global blueprnts. By means of Theorem 7.2, the globalzaton defnes a functor Γ : Blpr Γ Blpr satsfyng the followng property. Corollary 7.3. The embeddng ι : Γ Blpr Blpr as a subcategory s rght adjont and left nverse to Γ : Blpr ΓBlpr. If we denote the full subcategory of global blueprnts n Blpr by Γ Blpr, then the restrcton of Spec to ΓBlpr s a fully fathful embeddng nto BlprSp, and Γ Spec s somorphc to the dentty functor of Γ Blpr. Examples of global blueprnts are local blueprnts, due to the lack of nontrval coverngs of ther spectra, monods and rngs, cf. [8, secton 3.2]. Examples of blueprnt that are not global can be found n [8, Ex. 3.8], n Examples 10.6 and 12.1 and n Remark be the essental mage of Spec, whch s a full subcategory of BlprSp. We endow Aff geo wth the Grothendeck topology that s generated by coverng famles of the form {ϕ : SpecB[h 1 ] SpecB} such that the underlyng topologcal space of Spec B s covered by the mages of the ϕ. We can defne blue schemes n terms of the followng characterzaton. Let Aff geo Theorem 7.4. A blueprnted space X s a blue scheme f and only f there s an affne presentaton U n Aff geo such that X colmu n BlprSp. Proof. Wthout recallng all defntons from [8], we sketch the proof of ths fact. Let X be a blue scheme and V an affne open coverng. We defne U as follows. The maxmal elements are U max = V. For every par of dstnct U and V n U max, we let U U,V be the set of all affne open subschemes of U V. We defne U as the dsjont unon of U max wth the sets U U,V where U and V range through U max, and the morphsms of U are the nclusons W U and W V for U,V U max and W U U,V. Then U s a commutatve dagram of open mmersons such that X = colmu. Its maxmal elements are U max, and U s monodromy-free snce maxmal elements of U are open subschemes of X. Thus U s an affne presentaton and, ndeed, an affne atlas. Conversely, f X s the colmt of an affne presentaton U, then X s covered by the mages of the maxmal elements n U. The maxmal elements of U are somorphc to ther mage n X, as can be seen as follows. ote that ths means n partcular that X s covered by the maxmal elements n U as a topologcal space. Thus as a set, X equals the dsjont unon U over all affne blue schemes U n U, modulo the dentfcatons x ϕ(x) for every open mmerson ϕ : U V n U and every