arxiv: v2 [math.nt] 11 Mar 2015 Abstract

Transcription

1 Rgd cohomology over Laurent seres felds I: Frst defntons and basc propertes Chrstopher Lazda and Ambrus ál November 9, 2018 arxv: v2 [math.nt] 11 Mar 2015 Abstract Ths s the frst n a seres of papers n whch we construct and study a new p-adc cohomology theory for varetes over Laurent seres felds k((t)) n characterstc p. Ths wll be a verson of rgd cohomology, takng values n the bounded Robba rng E, and n ths paper, we gve the basc defntons and constructons. The cohomology theory we defne can be vewed as a relatve verson of Berthelot s rgd cohomology, and s constructed by compactfyng k((t))-varetes as schemes over kt rather than over k((t)). We reprove the foundatonal results necessary n our new context to show that the theory s well defned and functoral, and we also ntroduce a category of twsted coeffcents. In latter papers we wll show some basc structural propertes of ths theory, as well as dscussng some arthmetc applcatons ncludng the weght monodromy conjecture and ndependence of l results for equcharacterstc local felds. Contents Introducton 1 1 Rgd cohomology and adc spaces 8 2 Rgd cohomology over Laurent seres felds 16 3 Sundry propertes of rgd spaces and morphsms between them 20 4 Independence of the frame 24 5 Relatve coeffcents and Frobenus structures 32 References 44 Introducton Ths s the frst n a seres of papers [13,14] dedcated to the constructon of a new p-adc cohomology theory for varetes over local felds of postve characterstc, that s felds whch are somorphc to a Laurent seres feld k((t)) over a fnte feld k. (Actually we expect to be able to phrase thngs purely n terms of valued felds n characterstc p, but for now we stck to the explct case of k((t)) for smplcty). Here we wll gve a general overvew of the context and motvaton behnd the work, and provde an ntroducton to the seres of papers as a whole. 1

2 The study of the cohomology of arthmetc varetes has a long and dstngushed hstory, arguably begnnng wth Wel s address 1954 ICM address n whch he speculated that a sutably robust cohomology theory for varetes over fnte felds would have remarkable mplcatons concernng the numbers of ponts on varetes over fnte felds. Ever snce then, the search for and study of such Wel cohomology theores has been a major drvng force n algebrac geometry and number theory, the clearest example of ths beng the foundatonal work of Grothendeck and hs school on the étale topology for schemes, culmnatng n Delgne s fnal proof of the Remann hypothess for smooth projectve varetes of all dmensons n hs 1974 paper. Even though t was the l-adc theory that eventually led to the frst full proof of the Wel conjectures, ratonalty of the zeta functon was frst proved va p-adc methods by Dwork, a full 10 years before Grothendeck s proof va étale cohomology. Dwork s method was later put nto a more conceptual framework of a p-adc cohomology theory by Monsky and Washntzer, and thanks largely to work of Berthelot, ths eventually grew nto the more sophstcated theory of rgd cohomology. Snce the early success of p-adc approaches, however, t s the l-adc theory that has generally lead the way n known results and power of the machnery, for example, fnte dmensonalty of p- adc cohomology for smooth varetes was not known untl Berthlot s proof n 1997, and t was not known that p-adc cohomology admtted Grothendeck s sx cohomologcal operatons untl recent work of Caro and Tsuzuk. A completely p-adc proof of the full Wel conjectures was only gven n 2006 by edlaya. One partcular area n whch we are nterested n s the cohomology of varetes over local felds, and n partcular the nteracton wth the cohomology of ther reductons over the resdue feld. So let us suppose that we have a smooth and proper varety X over a local feld F of resdue characterstc p > 0, and let l be a prme dfferent from p. Then, lke all l-adc representatons, the étale cohomology H ét (X F sep,q l) s quasunpotent, that s after makng a fnte separable extenson of F the nerta group acts unpotently. Ths s a cohomologcal nterpretaton of semstable reducton, geometrcally speakng we expect that there exsts a fnte separable extenson of F such that X admts a semstable model over O F, the rng of ntegers of F. In the case where we do actually have semstable reducton,.e. a semstable scheme X /O F wth generc fbre X, then there s a close relaton between the cohomology of X and that of the specal fbre X s - ths s gven by the weght spectral sequence. l max{0, r} H r 2l ét (D (2l+r+1),Q k l ( r l)) H ét (X F sep,q l) where the D (l) are dsjont unons of ntersectons of the components of X s. In ths case, the weght monodromy conjecture asserts that the fltraton nduced by the weght spectral sequence on H ét (X F sep,q l) s equal to the monodromy fltraton, comng from the quas-unpotence of the acton of the ntera group I F. Ths s closely bound up wth the noton of l-ndependence, whch more or less states that the Galos representaton H ét (X F sep,q l) s ndependent of l. More specfcally, the l-adc monodromy theorem allows us to attach Wel Delgne representatons to the étale cohomology of some varety X over F, and the one conjectures that the whole famly of l-adc Wel Delgne representatons for l p s compatble n a certan precse sense. When F s of mxed characterstc (0, p) and l= p then the story s more complcated. For example, one no longer has a monodromy theorem, and one has to mpose a condton of potental semstablty to get a reasonable category of Galos representatons, t s then a hard theorem that all representatons comng from geometry are potentally semstable. As n the l-adc stuaton, t s ths potental semstablty that s crucal n attachng Wel Delgne representatons to the p-adc Galos representatons comng from geometry, and thus beng able to formulate a weght-monodromy conjecture n ths 2

3 case, as well as ncludng the case l = p n l-ndependence results and conjectures. The vanshng cycles formalsm s also a lot more nvolved, see for example [8,18]. The stuaton we are nterested n, namely F of equal characterstc p and l = p (.e. F = k((t))) s even more mysterous. More precsely let k be a feld of characterstc p, V a complete DVR whose resdue feld s k and fracton feld s of characterstc 0. Let π be a unformser for V, fx a norm on such that p = p 1, and let r = π 1 > 1. Here the monodromy theorem one has concerns (ϕ, )-modules over the Robba rng R, where the Robba rng { } R = a t t,t 1 η<1 s.t. a η 0 as ρ< 1, a ρ 0 as s the rng of functons convergng on some open annulus η < t < 1. These (ϕ, )- modules can then be vewed as p-adc dfferental equatons on an open annulus, together wth a Frobenus structure (here s a complete p-adc feld of characterstc 0 wth resdue feld k). As well as the constant (ϕ, )-module R and ts Tate twsts, examples of such modules nclude the Bessel socrystal ntroduced by Dwork n [5]. Ths s a free R -module of rank 2, wth bass {e 1, e 2 } on whch the connecton acts va (e 1 )= t 2 π 2 e 2, (e 2 )= t 1 e 1 ( ) 1 0 and the Frobenus acts va some matrx A wth det A = p and A (π). 0 0 These modules appear n nature as the fbres of overconvergent F-socrystals on a smooth curve C/k around a mssng pont Spec(k((t))) C and can be vewed as a p-adc analogue of l-adc Galos representatons. However, has prevously been no satsfactory lnk between these objects and the p-adc cohomology of varetes over k((t)), whch s currently most easly expressed as takng values n the category of (ϕ, )-modules over a related rng, the Amce rng { } E = a t t,t 1 sup a <, a 0 as whch s a complete p-adc feld wth resdue feld k((t)), and the theory that gves rse to these cohomology groups s Berthelot s rgd cohomology X H rg (X/E ). Here (ϕ, )- modules have no obvous geometrc nterpretaton, snce E tself does not, but they stll make sense as fnte dmensonal vector spaces over E equpped wth a connecton and a horzontal Frobenus. Although E and R are both subrngs of the double power seres rng t,t 1, nether of them contans the other, and thus there s no straghtforward way to relate (ϕ, )-modules over ether to those over the other, and hence no straghtforward way n whch to vew quas-unpotence of (ϕ, )-modules over R as a cohomologcal manfestaton of potental semstablty. One of our goals n constructng a new theory of p-adc cohomology for varetes over k((t)) s to connect rgd cohomology to the quas-unpotence theorem, by showng that each H rg (X/E ) has a canoncal lattce over the bounded Robba rng { } E = a t t,t 1 sup a <, η<1 s.t. a η 0 as whch appears as the ntersecton of R and E nsde t,t 1. Ths s a Henselan valued feld wth resdue feld k((t)), and what we expect s a refnement of rgd cohomology X H rg (X/E ) 3

4 takngs values n vector spaces over E, such that when we base change to E we recover E -valued rgd cohomology. These spaces should also come wth the structure of (ϕ, )-modules over E. It s also worth notng that those (ϕ, )-modules over R that arse n geometry as the fbres of overconvergent socrystals on smooth curves around mssng ponts are actually canoncally defned over E, snce the pullback functor actually factors naturally through the category of (ϕ, )-modules over E. Actually there s a sense n whch the exstence of the theory H rg (X/E ) can be vewed as an analogue of the mxed characterstc result that p-adc Galos representatons comng from geometry are potentally semstable. The natural base extenson functor from (ϕ, )-modules over E to those over E s fully fathful, thus there s a natural condton on (ϕ, )-modules of beng overconvergent, that s of comng from a (ϕ, )-module over E. It s exactly those overconvergent modules whch can be base changed to R, and thus can be sad to be quas-unpotent n a certan sense. We can therefore vew overconvergence as an equcharacterstc analogue of potental semstablty, and the exstence of an E -valued cohomology theory as provng that those (ϕ, )-modules comng from geometry are overconvergent. When we smply take V = W = W(k) to be the Wtt vectors of k, then, for smooth and proper varetes at least, ths overconvergence property of H rg (X/E ) was proven by edlaya n hs thess [11], and usng full fathfulness ths means that one can just smply defne H rg (X/E ) to be any (ϕ, )-module over E whose base change to E s H rg (X/E ), and one gets a functor on the category of smooth and proper k((t))-varetes essentally for free. Depste ths, there are many justfcatons for the long and sometmes tedous effort of settng up a new theory of rgd cohomology that we undertake n these papers. Frstly, t s always conceptually and practcally more satsfyng to actually construct somethng than merely show that t has to exst - edlaya s overconvergence result shows that the groups H rg (X/E ) have to exst, at least for smooth and proper varetes, however, what we show s how we expect these cohomology groups to be constructed. Secondly, the fact that our constructon apples to arbtrary varetes over k((t)), not necessarly smooth or proper, wll enable us to extend these results to nclude open and/or sngular varetes. Fnally, and currently somewhat more speculatvely, we expect that our approach to the problem wll most naturally lead to the development of a p-adc vanshng cycles formalsm and the constructon of a p-adc weght spectral sequence descrbng the weght fltraton on H rg (X/E ) E R, at least once a sutably robust cohomologcal formalsm has been developed. To reterate then, what we are seekng therefore s a refnement of Berthelot s theory of rgd cohomology takng values n vector spaces over the bounded Robba rng E, and the clue as to how to proceed n our constructon comes from the observaton that E tself can be vewed as a knd of dagger algebra over, of the sort that appears n Monsky-Washntzer or rgd cohomology. Dagger algebras are quotents of the rng of overconvergent power seres { } x 1,...,x n = a I x I ρ> 1 s.t. a I ρ I 0 I and appear when one calculates the rgd cohomology of smooth affne varetes X = Spec(A 0 )/k: one takes a dagger algebra A lftng A 0, then the rgd cohomology of X s just the de Rham cohomology of A. If we let S = V t V, and equp t wth the π-adc topology, then the Amce rng E s just the Tate algebra S t 1 = S x (tx 1) 4

5 over S, and the bounded Robba rng E s the correspondng dagger algebra S t 1 = S x (tx 1). In more geometrc terms, we consder the frame ( Spec(k((t))),Spec ( kt ),Spf ( V t )) and let us suppose for a mnute that we have a good noton of the generc fbre of Spf ( V t ), as some knd of rgd space over, let us call t D b (the notaton s meant to suggest some form of bounded open unt dsc, or an open unt dsc wth nfntesmal boundary ). If we beleve that Berthelot s notons of tubes and strct neghbourhoods can also made to be work n ths context, then the tube of Spec(k((t))) nsde D b should be defned by { } x D b t(x) 1 and a cofnal system of strct neghbourhoods of ths tube nsde D b should be gven by { x D b t(x) r 1/n}. Each of these should be the affnod rgd space assocated to the rng E r 1/n := S { } T (t n T π) = a t a, sup a <, a r /n 0 as and so we fnd that the global sectons Γ(D b, j Spec(k((t))) O D b ) of the rng of overconvergent functons should be nothng other than E. Luckly, Huber s theory of adc spaces, or equvalently Fujwara/ato s theory of Zarsk-Remann spaces (as explaned n [9] and [7] respectvely), provdes the framework n whch to make these heurstcs completely rgourous. Equppng S wth the π-adc topology, the adc space D b := Spa(S,V t) admts a specalsaton map sp : D b Spec( kt ) and we can defne the tube of Spec(k((t))) nsde D b, whch wll be the closure of the nverse mage under the specalsaton map. (The reason for ths s that we want these tubes to be overconvergent subsets of D b ). A cofnal system of neghbourhoods of ]Spec(k((t)))[ D b s then gven exactly as expected, and so we do genunely get an somorphsm Γ(D b, j Spec(k((t))) O D b ) E between global sectons of an approprately constructed sheaf of overconvergent functons and E. Moreover, there wll be an equvalence of categores between coherent j Spec(k((t))) O D b -modules and fnte dmensonal E -vector spaces. Thus what ths s suggestng to us s that we should be lookng for s a verson of relatve rgd cohomology, that s rgd cohomology relatve to the frame ( Spec(k((t))),Spec ( kt ),Spf ( V t )) rather than the frame ( Spec(k((t))),Spec(k((t))),Spf ( OE )). 5

6 In other words, rather than compactfyng our varetes over k((t)) and then embeddng them n smooth formal schemes over O E, we should nstead compactfy them over kt and then embed them n smooth, π-adc, formal schemes over V t. Thus we are lead to consder the noton of a smooth and proper frame over V t as a trple (X,Y,) where X s a k((t))-varety, Y s a proper, kt-scheme wth an open mmerson X Y, and s a π-adc formal V t-scheme together wth a closed mmerson Y such that s smooth over V t around X. We can then use Huber and Fujwara/ato s theores to systematcally work on the generc fbre of such the formal scheme. The reader famlar wth Berthelot s foundatonal preprnt [3] mght well suggest that we can make sense of the generc fbre of Spf ( V t ) wthn Tate s orgnal theory of rgd spaces as long as we are prepared to use the m = (π,t)-adc, rather than the π-adc topology. There are a couple of reasons why we do not do ths. Frst of all, f we want to compactfy our varetes as schemes over kt, we need the mod-π reductons of the formal schemes of V t we consder to be schemes, not formal schemes, over kt. Another reason s that the j constructon on the generc fbre of Spf ( V t ) gve rse to the Robba rng R, not the bounded Robba rng E. If we are to construct a theory over the latter, then we really must work wth the p-adc topology on V t. Thus we proceed to try to construct a theory of rgd cohomology relatve to ( ( ) ( )) Spec(k((t))),Spec kt,spf V t by usng the noton of a frame (X,Y,) over V t descrbed above. Modulo some techncal checks to ensure that the rgd spaces we want to consder are sutably ncely behaved, the theory proceeds more or less dentcally to classcal rgd cohomology. We get entrely analogous standard systems of neghbourhoods, we have a strong fbraton theorem and a oncaré lemma, and categores of coeffcents are constructed n exactly the same way (at least, relatve coeffcents are, we wll return to ths ssue shortly). Thus a large bulk of ths paper (and ts sequels) conssts of checkng that as many of the known results about rgd cohomology as possble can also be proved n our new context. Thus our man result n ths frst paper s the followng. Theorem (4.6, 5.12, 5.18). For any varety X/k((t)) there are well-defned and functoral cohomology groups H rg (X/E ) whch are vector spaces over E. There are also welldefned and functoral categores of coeffcents F-Isoc (X/E ), as well as well-defned and functoral cohomology groups H rg (X/E,E ) wth values n some coeffcent object E. As expected, the category F-Isoc (X/E ) wll consst of certan modules wth an overconvergent, ntegrable connecton on an approprate tube, together wth a Frobenus structure. If we fx some Frobenus σ on E, then the cohomology groups H rg (X/E,E ) wll also come wth a σ-lnear endomorphsm n the usual fashon. The vast majorty of the defntons, results, and proofs n the frst paper wll be entrely famlar to anyone well-versed n the constructons of classcal rgd cohomology, as outlned n [3, 15], and there are almost no surprses whatsoever to be found. In parts we repeat more or less word-for-word the orgnal proofs gven by Berthelot n [3] and Le Stum n [15], and n others (whenever we have sutable base change results to hand) we can actually use the fact that these results are known over E to gve straghtforward proofs. We hope that the reader wll forgve us for gong nto such detal wth materal that s essentally well-known, but we consdered t mportant to be as thorough as we thought reasonable, gven the novel context. The second paper n the seres [13] s then concerned wth tryng to prove certan basc propertes that one expects of the theory X H rg (X/E,E ). The three most mportant results that one would lke to know about E -valued rgd cohomology are the followng. 6

7 ) fnte dmensonalty, that s H rg (X/E,E ) should be fnte dmensonal over E ; ) bjectvty of Frobenus, that s the lnearsed Frobenus map should be an somorphsm; H rg (X/E,E ) E,σ E H rg (X/E,E ) ) base change, that s there should be a functor gvng rse to a natural somorphsm F-Isoc (X/E ) F-Isoc (X/E ) H rg (X/E,E ) E E ˆ E E H rg (X/E, ˆ E ) comparng the new theory to classcal rgd cohomology. Of course, the thrd of these mples the other two, and n some sense s the most fundamental result. In fact, f we had a sutably robust proof of the thrd of these, then actually a lot of the work n these papers would be unnecessary. To see why, note that for any smooth and proper frame (X,Y,) over V t n the sense outlned above, we can base change to get a frame (X,Y k((t)), OE ), smooth and proper over O E n the classcal sense. If we could prove a sutable base change result for any frame, that s that the base change of the rgd cohomology computed usng (X,Y,) s the rgd cohomology computed usng (X,Y k((t)), OE ), then fnte dmensonalty and nvarance of the choce of frame would follow mmedately from the correspondng result n classcal rgd cohomology. However, the ssue of base change for the cohomology of rgd analytc varetes s somewhat delcate, and becomes even more so when one ntroduces overconvegent structure sheaves, and we are not currently certan that ths approach can be made to work. If t could, however, then t would gven must smpler proofs of the theorems n ths paper and the next, as well as provng results gong beyond what we have managed so far, for example fnte dmensonally n general, or cohomologcal descent. Lackng such a base change theorem, we are forced to proceed n a more pedestran manner, and can only obtan lmted results. The basc dea of how to prove base change and fnte dmensonalty s to follow edlaya s proof of fnte dmensonalty n [12], but for reasons that we wll explan shortly we were only able to make ths work fully n dmenson 1. Thus the frst step s to prove a sutable verson of the p-adc local monodromy theorem, whch then mples fnte dmensonalty and base change for A 1. Ths s acheved agan by explotng the observaton that the relaton between E and E s exactly analogous to the relaton between a dagger algebra and ts affnod completon. Hence we can prove our requred result by descendng from the p-adc monodromy theorem over E, n exactly the same way as edlaya proves a monodromy theorem over a dagger algebra by descendng from the completon of ts fracton feld. In ths part of the proof, t s not really necessary to restrct to the absolute one-dmensonal case, ndeed, we see no reason why edlaya s methods wll not apply to gve a generc pushforward n relatve dmenson 1 exactly as n [12], whch one mght hope would pave the way for a general proof of fnte dmensonalty for smooth varetes by nducton on the dmenson. It s n the second stage of the proof, however, that we fnd ourselves needng to make the restrcton to dmenson 1, and s closely lnked to the dffculty n gvng a Monsky-Washntzer style nterpretaton of E -valued rgd cohomology. The problem 7

8 s n fndng a sutable morphsm of frames (X,Y,) (A n k((t)),n kt, n V t ) extendng a fnte étale morphsm X A n when n > 1. When n = 1 we can acheve what we k((t)) need by extendng the ground feld so that the compactfcaton of X acqures semstable reducton, thus we can choose a morphsm Y 1 whch s a local complete kt ntersecton, and étale away from a dvsor of 1 - t thus lfts. In hgher dmensons k((t)) though, we were not able to fnd a sutable lftng to construct pushforward functors. Thus the most general result concernng base change that we can currently prove s the followng. Theorem ( [13]). Let X/k((t)) be a smooth curve, and E F-Isoc (X/E ). Then the base change map H rg (X/E,E ) E E H rg (X/E, E ˆ ) s an somorphsm. We also ntroduce E -valued rgd cohomology wth compact supports, and can prove a smlar base change theorem for smooth curves, although wth restrctons on the coeffcents. Thus by usng the fact that oncaré dualty s known over E, we easly obtan the followng result. Theorem ( [13]). For any smooth curve over k((t)) there s a trace map Tr : H 2 c,rg (X/E ) E ( 1) such that for any E F-Isoc (X/E ) whch extends to E F-Isoc (X/E ) on a smooth compactfcaton of X, the nduced parng s a perfect parng of ϕ-modules over E. H rg (X/E,E ) H2 c,rg (X/E,E ) E ( 1) Fnally, n the thrd paper [14] n ths seres, we get to some arthmetc applcatons. The frst task s to ntroduce a more refned category of coeffcents, one for whch the dfferental structure s relatve to, rather than E. Objects E n the resultng category Isoc (X/) wll then have connectons on ther cohomology groups H rg (X/E,E ), arsng va the Gauss Mann constructon. Thus f E s equpped wth a Frobenus structure,.e. s an object of the category F-Isoc (X/), and X s a smooth curve over k((t)), then the cohomology groups H rg (X/E,E ) wll be (ϕ, )-modules over E. Actually, to prove that the σ and -module structures are compatble s slghtly delcate, and necesstates a dscusson of descent, ths also has the added bonus of extendng E -valued rgd cohomology to non-embeddable varetes. We also get connecton on cohomology groups wth compact support, and the oncaré parng wll turn out to be a perfect parng of (ϕ, )-modules over E. Usng ths theory, we can then attach p-adc Wel Delgne representatons to smooth curves over k((t)), the pont beng that H rg (X/R ) := H rg (X/E ) E R wll be a (ϕ, )-module over R, and hence we can use Mamora s procedure from [16] to produce an assocated Wel Delgne representaton. Ths can then be compared wth the l-adc Wel Delgne representatons comng from l-adc cohomology. For more detals see the ntroducton to [14]. 1 Rgd cohomology and adc spaces In ths secton k s agan a feld of characterstc p, V a complete DVR whose resdue feld s k and fracton feld s of characterstc 0. Moreover π s a unformser for V, 8

9 and as above, we fx a norm on such that p = p 1, and let r= π 1 > 1. Berthelot s theory of rgd cohomology X H rg (X/) s a p-adc cohomology theory for k-varetes, whose constructon we quckly recall. To defne H (X/) one frst compactfes X nto a proper scheme Y /k, and them embeds rg Y nto a formal scheme /V, whch s smooth over V n a neghbourhood of X. One then consders the generc fbre of, whch s a rgd analytc space, and one has a specalsaton map sp : where s the specal fbre of, that s ts mod-π reducton. Assocated to the subschemes X,Y one has the tubes ]X[ := sp 1 (X), ]Y [ = sp 1 (Y ), let j :]X[ ]Y [ denote the ncluson. One then takes j X Ω ]Y [ to be the subsheaf of j Ω ]X[ consstng of overconvergent dfferental forms, that s those that converge on some strct neghbourhood of ]X[ nsde ]Y [. The rgd cohomology of X s then H rg (X/) := H (]Y [, j X Ω ]Y [ ), ths s ndependent of both Y and. In the theory that we wsh to construct, we wll want to consder the generc fbres of more general formal schemes, namely π-adc formal schemes topologcally of fnte type over V t, and as such ths falls somewhat outsde the scope of Tate s theory of rgd spaces. Luckly, ths s ncely covered by Huber s theory of adc spaces, or equvalently, Fujwara-ato s theory of Zarsk-Remann spaces (the equvalence of these two perspectves, at least n all the cases we wll need n ths artcle, s Theorem II.A.5.2 of [7]). Thus as a warm-up for the rest of the paper, as well as to ensure compatblty of our new theory wth tradtonal rgd cohomology, n ths openng secton we show that rgd cohomology can be computed usng adc spaces. Ths s rather straghtforward, and s acheved more or less by showng that certan cofnal systems of neghbourhoods for ]X[ n ]Y [ nsde the rgd space are also cofnal systems of strct neghbourhoods of ]X[ n ]Y [ nsde the correspondng adc space. We can then use the fact that correspondng rgd and adc spaces have the same underlyng topo to conclude that the two dfferent constructons of j X Ω ]Y [ (n the rgd and adc worlds) gve the same object n the approprate topos, and hence have the same cohomology. So let (X,Y,) be a smooth and proper frame, as appearng n Berthelot s constructon, that s X Y s an open mmerson of k-varetes, Y s proper over k, Y s a closed mmerson of formal V -schemes andflat over V and formally smooth over V n some neghbourhood of X. Let denote the specal fbre of, so that there s a homeomorphsm of topologcal spaces, and let Z = Y \ X, wth some closed subscheme structure. Note. A varety wll always mean a separated scheme of fnte type, and formal schemes over V wll always be assumed to be separated, π-adc and topologcally of fnte type. In ths stuaton, we wll want to consder three dfferent sorts of generc fbre of, rgd, Berkovch, and adc. To descrbe them, we work locally on, and assume t to be of the form Spf(A) for some topologcally fnte type V -algebra A, for any such A, we we let A + denote the ntegral closure of A nsde A := A V. 9

10 The rgd generc fbre rg. Ths s the set Sp(A ) of maxmal deals of A, consdered as a locally G-rnged space n the usual way (see for example Chapter 4 of [6]). Alternatvely, ths s the collecton of (equvalence classes of) dscrete contnuous valuatons v : A {0} R >0. The Berkovch generc fbre Ber. Ths s the set M (A ) of (equvalence classes of) contnuous rank 1 valuatons v : A {0} R >0, consdered as a topologcal space as n Chapter 1 of [1]. The adc generc fbre. Ths s the set Spa(A, A + ) of (equvalence classes of) contnuous valuatons v : A {0} Γ nto some totally ordered group Γ (of possbly rank > 1), satsfyng v(a + ) 1. It s consdered as a locally rnged space as n [9]. Remark 1.1. Whenever B s a topologcally fnte type -algebra, that s a quotent of some Tate algebra x 1,...,x n, we wll also wrte B + for the ntegral closure of the mage of V x 1,...,x n nsde B, and Spa(B) nstead of Spa ( B,B +). Note that B + does not depend on the choce of presentaton of B. Remark 1.2. It s generally conventonal when workng wth hgher rank valuatons for them to be wrtten multplcatvely, and we wll do so throughout ths artcle. Hence the slghtly strange lookng defnton of the Berkovch space M (A ). There are several relatons among these spaces, for example, there s an obvous ncluson Ber ad whch s not contnuous, but there s a contnuous map [ ] : ad Ber whch exhbts Ber as the maxmal separated (Hausdorff) quotent of ad (as follows from roposton II.C.1.8 of [7]). There s also an ncluson rg ad as the subset of rgd ponts, ths factors throughout Ber. For x a pont of any of these spaces, we wll wrte v x ( ) for the correspondng valuaton, note ths s compatble wth the embeddngs rg Ber ad but not wth the map [ ] : ad Ber. For # {rg,ber,ad} there are specalsaton maps sp : # whch are compatble wth the nclusons rg Ber ad, but not wth the quotent map [ ] : ad Ber. The maps rg and ad are contnuous (for the G- topology on rg ), but the map Ber s ant-contnuous, that s the nverse mage of an open set s closed and vce versa. Defnton 1.3. For the closed subvarety Y defne the tubes ]Y [ rg := sp 1 (Y ) rg ]Y [ Ber := sp 1 (Y ) Ber ]Y [ ad := sp 1 (Y ) ad, note the fact that the adc tube s the nteror of the naïve tube sp 1 (Y ). Also note that ths defnton works for any closed subset of, n partcular we can talk about the tubes ]Z[ #. These tubes can be calculated locally as follows. Suppose that =Spf(A) s affne, and that f 1,..., f n A are functons such that Y s the vanshng locus of the reductons f. Then we have: { } ]Y [ rg = x rg vx (f )<1 { } ]Y [ Ber = x Ber vx (f )<1 ]Y [ ad = { x ad v[x] (f )<1 10 }

11 agan note the dfference n the descrpton of the adc tube. Also worth notng s the fact that ]Y [ ad s the nverse mage of ]Y [Ber under the map [ ] :ad Ber. Lemma 1.4. In the above stuaton we have: and ]Y [ ad = [Y ] ad n, where n 1 { [Y ] ad n = x ad vx (π 1 f n }, ) 1 ]Y [ rg = [Y ] rg n, where n 1 [Y ] rg n = are (admssble) affnod coverngs. { x rg vx (π 1 f n ) 1 } roof. Note that each [Y ] rg n = Sp(A T /(πt f n ))= { x rg vx (f ) r 1/n} s affnod, and these form an admssble cover of ]Y [ rg by roposton of [3]. In the adc case, note that each [Y ] ad n = Spa(A T /(πt f n )) s an affnod open. Frstly, note subspace of ad, we must show that they form an open cover of ]Y [ ad that v x (π 1 f n ) 1 v [x] (π 1 f n ) 1 v [x] (f ) r 1/n < 1 (recall that r= π 1 ), the frst mplcaton followng from Lemma 1.5 below and the second usng the fact that v [x] s a valuaton of rank 1, so can be vewed as a multplcatve map nto R 0. Hence [Y ] ad n ]Y [ad for each n. Now suppose that x ]Y [ ad, that s v [x](f )<1. Then there exsts some n such that v [x] (π 1 f n ) < 1. Hence agan by Lemma 1.5 below we must have v x(π 1 f n ) 1 and hence x [Y ] ad n for some n. Lemma 1.5. Let X = Spa(B) be an affnod adc space for some B topologcally of fnte type over. Then for any pont x X and any f B we have v x (f ) 1 v [x] (f ) 1 v [x] (f )<1 v x (f )<1. roof. Let I B denote the support of the valuaton v x correspondng to x, that s the deal of elements wth valuaton 0. Let V x be the valuaton rng of the nduced valuaton v : Frac(B/I) {0} Γ, and let x V x denote the prme deal of elements whose valuaton s < 1. The radcal p := (π) x of (π) s a heght one prme deal of V x to whch we may assocate a rank one valuaton v p : Frac(B/I) {0} Γ, whch s the valuaton assocated to [x] (see for example II.3.3.(b) of [7]). Snce p x t follows that v(λ) 1 v p (λ) 1 for all λ B/I, whch proves the frst clam. For the second, note that we may assume that v x (f ) 0, that s f I, and hence v x and v [x] both extend unquely to valuatons on B f 1. To obtan the second clam we now just smply apply the frst to f 1. In partcular, ]Y [ ad s an adc space locally of fnte type over Spa(). In II.B of [7], Fujwara and ato construct an equvalence X X 0 from the category of adc spaces locally of fnte type over Spa() to rgd spaces locally of fnte type over Sp(), whch s such that Spa(B) 0 = Sp(B) for any affnod algebra B, and such that ( ad ) 0 = rg for any formal scheme of the type consdered above. The prevous lemma allows us to deduce the same result for the tube ]Y [. 11

12 Corollary 1.6. There s an somorphsm as rgd spaces over Sp(). (]Y [ ad ) 0 =]Y [ rg Ths should convnce any doubtful reader that the defnton above of ]Y [ ad s the correct one. Note that n all cases # {rg,ber,ad}, the specalsaton map gves rse to a map ]Y [ # Y. Defnton 1.7. For the open subvarety X Y defne the tubes ]X[ rg := sp 1 (X) ]Y [ rg ]X[ Ber := sp 1 (X) ]Y [ Ber ]X[ ad := sp 1 (X) ]Y [ ad, agan note the fact that the adc tube s the closure of the naïve tube sp 1 (X). As before, these tubes can be calculated locally as follows. Suppose that = Spf(A) s affne, and suppose that g 1, g 2,..., g m A are functons such that X = Y ( j D(ḡ j )), where ḡ j the reducton of g j. Then we have: ]X[ rg = { ]X[ Ber = { ]X[ ad = { } x ]Y [ rg j s.t. v x (g j ) 1 } x ]Y [ Ber j s.t. v x (g j ) 1 } x ]Y [ ad j s.t. v [x] (g j ) 1 and agan note that ]X[ ad s the nverse mage of ]X[Ber under the map [ ] :ad Ber. For # {rg, Ber, ad} denote by j :]X[ # ]Y [# the canoncal ncluson, note that for #=Ber,ad ths s the ncluson of a closed subset, but for #=rg ths s an open mmerson. For #=Ber,ad and a sheaf F on ]Y [ # we defne j X F := j j 1 F, however, the defnton n the rgd case s slghtly more nvolved. Defnton 1.8. A strct neghbourhood of ]X[ rg n ]Y [rg s an open subset V ]Y [rg such that ]Y [ rg = V ]Z[rg s an admssble open coverng, where recall that Z s the complement of X n Y. For any such V, we let j V : V ]Y [ rg be the canoncal open mmerson. For a sheaf F on ]Y [ rg, defne j X F = colm V j V j 1 V F, where the colmt s taken over all strct neghbourhoods V of ]X[ rg n ]Y [rg. Defnton 1.9. The rgd cohomology of X s defned to be H rg (X/) := H (]Y [ rg, j X Ω ]Y [ rg Ths does not depend on the choce of frame (X,Y,). ). 12

13 We want to show that we can compute ths nstead as H (]Y [ ad, j X Ω ]Y [ ad )= H (]X[ ad, j 1 Ω ). ]Y [ ad In order to do ths we must frst recall Berthelot s constructon of a cofnal system of strct neghbourhoods from Secton 1.2 of [3]. For affne we have constructed affnods [Y ] rg n reducton. and [Y ] ad n, whch depended on the choce of functons f O cuttng out Y n the Lemma For n 0 the affnods [Y ] rg n and [Y ] ad n are ndependent of the choce of the f. Hence they glue over an open affne coverng of. roof. For [Y ] rg n ths s proved n of [3], and the proof for [Y ] ad n s dentcal. Note that ([Y ] ad n ) 0 = [Y ] rg n, and that these are the same as the closed tubes [Y ] r 1/n of radus r 1/n, constructed by Berthelot n [3]. We also have ]Y [ # = [Y ] # n n 0 and ths s an admssble coverng f #=rg. Smlarly, when s affne and we have f, g j as above, so that Y = Z( f ) and X = Y ( j D(ḡ j )) we can defne { Um rg = U ad m = { x ]Y [ rg x ]Y [ rg } j s.t. v x (π 1 g m j ) 1 } j s.t. v x (π 1 g m j ) 1 as well as U rg m,j = { U ad m,j = { x ]Y [ rg x ]Y [ rg } v x (π 1 g m j ) 1 } v x (π 1 g m j ) 1 so that U m # = ju # m,j, and ths s an admssble open coverng when #=rg. As before, for m 0 these are ndependent of the choce of the g j and hence glue over an open affne coverng of. Fnally we set V # n,m = [Y ]# n U# m V # n,m,j = [Y ]# n U# m,j so that V n,m # = jv # n,m,j and ths coverng s admssble when #=rg. Lemma When s affne, the V # n,m,j are affnod, and (V ad n,m,j ) 0 = V rg n,m,j. roof. Suppose that = Spf(A) s affne, and choose f, g j as above. Then and the lemma follows. V ad n,m,j = Spa ( ) A T 1,...,T n,s (πt f,π g m j S) ( ) V rg A T 1,...,T n,s n,m,j = Sp (πt f,π g m j S) Corollary For all frames (X,Y,), we have (V ad n,m ) 0 = V rg n,m. 13

14 Now, for any ncreasng sequence of ntegers m(n), we let V m # = V # n,m(n). n The prevous corollary tells us that (Vm ad) 0 = Vm rg, and t t proved n of [3] that the for varyng m form a cofnal system of strct neghbourhoods of ]X[ rg V rg m nsde ]Y [rg. In order to show that the same s true n the adc world, we need the followng lemma. Lemma Let X = Spa(B) be an affnod rgd space, locally of fnte type over. Let V X be an open subset, and g B such that Then there exsts some m such that V { x X v [x] (g) 1 }. V { x X v x (π 1 g m ) 1 }. roof. Let T = X \V denote the complement of V, ths s a quas-compact topologcal space. As n II.4.3 of [7], g defnes a contnuous functon g : X R 0 (although the functon there depends upon a choce of an deal of defnton I and a non-zero constant c<1, there are canoncal choces n our case, namely I = (π) and c such that the nduced norm on constant functons s the fxed norm on ). Ths nduces a contnuous functon g : T R 0 whch s n effect a consstent normalsaton of v[x] (g) R for varyng x. Therefore by assumpton g (T) [0,1). But snce T s quas-compact, so must ts mage under g be, and hence g (T) [0, η] for some η < 1. Hence T { x X v [x] (g) η } and by Lemma 1.5, there exsts some m such that The clam follows. roposton As m vares, the V ad m of ]X[ ad nsde ]Y [ad. T { x X v x (π 1 g m ) 1 }. form a cofnal system of open neghbourhoods roof. Let V ]Y [ be an open subset contanng ]X[. It suffces to show that for all n there exsts some m such that [Y ] n V [Y ] n U m. Snce the [Y ] n are quas-compact and glue over an open affne coverng of, we may assume that s affne, and hence the [Y ] n are affnod. Let g j O be functons whose reductons ḡ j satsfy X = Y ( j D(ḡ j )), so that [Y ] n U m = j U m,j { } [Y ] n U m,j = x [Y ] n v x (π 1 g m j ) 1. It thus suffces to show that for all j, there exsts m such that V [Y ] n [Y ] n U m,j. But ths s exactly the content of Lemma 1.13 above. 14

15 Before we prove the fundamental result of ths secton, roposton 1.16, we need the followng topologcal lemma. Lemma Let : T V be the ncluson of a closed subspace T of a topologcal space V. Suppose that there exsts a bass B of open subsets of V such that for every W B and every open subset U of V contanng T W, there exsts an open neghbourhood U of T n V such that U W U. Then for any sheaf F on V there exsts an somorphsm 1 F = colm U T j U j 1 U F where the colmt runs over all open neghbourhoods U of T n V, and j U : U V denotes the correspondng ncluson. roof. Note that by general nonsense, 1 commutes wth sheaffcaton, we clam that the same s actually true for. Indeed, for any presheaf G there s a natural morphsm ( G) a (G a ) where ( ) a denotes sheaffcaton. To check that t s an somorphsm, we can check on stalks. For any pont x T, the stalks of both sdes at x are 0, and for any pont x T, the stalks of both sdes at x s just the stalk G x. It thus follows that 1 F s the sheaffcaton of the presheaf W colm U T WΓ(U,F). Snce sheaffcaton preserves colmts, t follows that colm U T j U j 1 U F s the sheaffcaton of the presheaf W colm U T Γ(U W,F). thus there s a natural map colm U T j U j 1 U F 1 F whch s nduced by {U T} { U W T } U U W. The condton n the statement of the lemma s exactly that ths s a cofnal map of drected sets for a bass for the topology of V. roposton Under the equvalence ( ) 0 : (]Y [ ad,o ]Y [ ad ) = (]Y [ rg,o ]Y [ rg ) of rnged topo nduced by Corollary 1.6 and II.B.2(e) of [7], we have an somorphsm for any O ]Y [ ad -module F. ( j X F) 0 = j X (F 0) roof. Frst note that roposton 1.14 also holds when we restrct to an affnod subset of ad, and hence the condtons of Lemma 1.15 are met for the ncluson ]X[ ad ]Y [ad, and we have j X F = colm m j m j 1 m F 15

16 where j m : V ad m ]Y [ad denotes the ncluson. The functor ( ) 0 commutes wth pushforward and pullback, and hence by of [3], whch proves an analogue of roposton 1.14 n the rgd world, we have as requred. ( j X F) 0 = (colm m j m j 1 m F) 0 = colm m j m0 j 1 m0 F 0 = j X (F 0) Corollary There s an somorphsm H (]Y [ ad, j X Ω ]Y [ ad /) = H (]Y [ rg, j X Ω ]Y [ rg /). roof. Ths follows from the prevous corollary together wth the fact that there s an somorphsm (Ω ]Y [ ad/) 0 = Ω ]Y [ rg /. 2 Rgd cohomology over Laurent seres felds Let k,v,,π,r be as n the prevous secton. As dscussed n the ntroducton, f we take our ground feld to be k((t)), the Laurent seres feld over k, then rgd cohomology s a functor X H rg (X/E ) takng values n vector spaces over the Amce rng { } E = a t t,t 1 sup a <, a 0 as. Agan, as we sad there, f we are to obtan a theory takng values n the bounded Robba rng E = { X H rg (X/E ) a t E η<1 s.t. a η 0 as then we need to take nto account overconvergence condtons along t=0, or, n other words, we should compactfy our varetes over kt rather than over k((t)). Ths leads to the followng defnton. Defnton 2.1. A frame over V t s a trple (X,Y,) where X Y s an open mmerson of a k((t))-varety X nto a separated, kt-scheme Y of fnte type, and Y s a closed mmerson of Y nto a separated, topologcally fnte type, π-adc formal V tscheme. We say that a frame s proper f Y s proper over kt and smooth fs smooth over V t n a neghbourhood of X. We say that a k((t))-varety X s embeddable f there exsts a smooth and proper frame of the form (X,Y,). Example 2.2. Two extremely mportant example wll be the frames ( ) A 1 k((t)),1 kt, 1 V t and ( Spec(k((t))),Spec ( kt ) ), n V t for n 0. Here ( ) denote the π-adc completon functor on schemes over V t. 16 }

17 Snce we wll now be exclusvely we workng wth Huber s adc spaces, or equvalently Fujwara/ato s Zarsk-Remann spaces, we wll henceforth (unless otherwse mentoned) use the word rgd space to mean a rgd space locally of fnte type over Spf ( V t ) rg n the sense of Defnton II and II of [7], or equvalently an adc space locally of fnte type over Spa(S,V t) n the sense of (1.1.2) and Defnton of [10], where S = V t V. The equvalence of these two defntons s Theorem II.A.5.2. of [7], and we wll freely pass between the two nterpretatons, also note that ths ncludes the noton of classcal rgd spaces locally of fnte type over n the sense of Tate. All rgd spaces we wll consder shall be locally of fnte type over S, and for any S -algebra B, topologcally of fnte type over S, denote by B + the ntegral closure of the mage of V t x 1,...,x n nsde B for some presentaton S x 1,...,x n B. We wll also denote Spa(B,B + ) = Spf(B + ) rg by Spa(B), none of ths depends on the choce of presentaton. If B= A := A V for some topologcally fnte type V t-algebra A, we wll also wrte A + for the ntegral closure of A nsde B, thus A + = B +. Remark 2.3. It s worth notng that snce V t s Noetheran, thus we satsfy the hypothess (1.1.1) of [10] as well as beng n the t.u. rgd Noetheran case of [7]. If (X,Y,) s a frame then we wll let = rg denote the generc fbre of, ths s an rgd space of fnte type over D b := Spa(S,V t). We wll also let denote the mod-π reducton of, so that there s a homeomorphsm. Then there s a specalsaton map sp : as n II.3.1 of [7], whch locally on can be descrbed as follows. If =Spf(A), then ponts of can be dentfed wth certan valuatons on A, and ponts of Spf(A) wth open prme deals of A. Then the specalsaton map sends v : A {0} Γ to the prme deal consstng of elements a A such that v(a)<1. Let [ ] denote the subset of ponts whose correspondng valuaton s of rank 1, by II.2.3.(c) and roposton II of [7] there s a map [ ] : [ ] whch takes a pont to ts maxmal genersaton. The set [ ] s topologsed va ths quotent map, wth respect to ths topology t s Hausdorff, and [ ] dentfes [ ] wth the maxmal Hausdorff quotent of (roposton II of [7]). Wth respect to ths topology, the ncluson [ ] s not contnuous n general. Ths has the followng local descrpton. Suppose that =Spf(A) s affne, so that = Spa(A ), the set of (equvalence classes of) contnuous valuatons v on A such that v(a) 1 for every a A +. Then [ ] = M (A ) s dentfed wth the Berkovch spectrum of A, that s the set of (equvalence classes of) contnuous rank 1 valuatons A {0} R >0 (although n [7], ths dentfcaton s only made for affnod algebras over, the same argument as gven n ropostoon II.C.1.8 of loc. ct. wll work more generally). The map Spa(A ) M (A ) can then be descrbed as follows. Let v : A {0} Γ be a valuaton, and let I A denote ts support. Let v : Frac(A /I) {0} Γ denote the nduced valuaton, and V ts valuaton rng, wth valuaton deal v V. Then p= (p) v s a heght one prme deal of V, and hence corresponds to a rank one valuaton v p : A {0} R >0. Then [v]= v p. If Z a closed subset, we defne ]Z[ = sp 1 (Z). to be nteror of the nverse mage of Z by the specalsaton map. Exactly as n the prevous secton, f sp [ ] : [ ] denotes the nduced specalsaton map on the subset 17

18 of rank 1 ponts, then we have ]Z[ = [ ] 1 (sp 1 [ ] (Z)), and f locally we have f O whose reductons f defne Z nsde, then ]Z[ = { x v [x] (f )< 1 } (roposton II of [7]). Specalsaton nduces a contnuous map sp Z :]Z[ Z. If U Z s open, then we set ]U[ = sp 1 Y (U). Agan, we have ]U[ = [ ] 1 (sp 1 [ ] (U)) whch shows that ]U[ only depends on U and (and not on Z) and f locally we have g j O such that U = Z ( j D(g j )), then ]U[ = { x ]Z[ j s.t. v[x] (g ) 1 }. Remark 2.4. ) We wll often refer to sp 1 (U) as the nteror tube of U, and denote t Y by ]U[. We do not know f t s lterally the nteror of ]U[, however, ths should not cause too much confuson. ) Snce O E = V t t 1, f U s actually a scheme over k((t)) then ths nteror tube s a rgd space locally of fnte type over E. Moreover f g j are as above, then t can be descrbed as { x ]Z[ j s.t. vx (g j ) 1 }. In partcular, f OE denotes the base change of to O E, then for U/k((t)), the nteror tube of U n and the nteror tube of U n OE (defned n the obvous manner) are equal as rgd spaces over E. ) Snce ]U[ = [ ] 1 (sp 1 (U)) for any locally closed subscheme U, we can see [ ] that the formaton of tubes behaves well wth regard to unons and ntersectons of subschemes of. For example, f U = U 1 U 2 s a unon of closed subschemes U, then ]U[ =]U 1 [ ]U 2 [, and f U,V are subschemes of such that U V =, then ]U[ ]V[ =. Note that nether of these s mmedately obvous from the defntons. Another fact that follows along the same lnes that we wll need later on s that f we have a Cartesan dagram U U u wth horzontal arrows mmersons, then u 1 (]U[ )=]U [. If (X,Y,) s a frame, we let j :]X[ ]Y [ denote the ncluson. As n the prevous secton, for a sheaf F on ]Y [ we defne j X F := j j 1 F. Defnton 2.5. We defne the rgd cohomology of the frame (X,Y,) to be H rg ((X,Y,)/E ) := H (]Y [, j X Ω ]Y [ /S )= H (]X[, j 1 Ω ]Y [ /S ). We wll see shortly that these are ndeed vector spaces over E, thus justfyng the notaton. Beforehand, however, we wll frst dscuss how the cofnal systems of neghbourhoods we saw n the prevous secton can be constructed entrely smlarly n the context of frames over V t. So suppose that we have a frame (X,Y,), wth affne, and let f, g j O be functons such that, lettng f, ḡ j O denote ther mod-π reductons, we have Y = V( f ) X = Y ( j D(ḡ j ) ). 18

19 Defne [Y ] n = { x v x (π 1 f n { ) 1 } } U m,j = x ]Y [ vx (π 1 g m j ) 1 U m = j U m,j V n,m,j = [Y ] n U m,j V n,m = [Y ] n U m as n the prevous secton. Exactly as before, for n,m 0, these do not depend on the choce of f, g j, and hence glue over an open affne cover of. Moreover, we have ]Y [ = n [Y n ]. We wll also need a slghtly dfferent verson of the U m whch better reflects the fact that we always have a non-trval ( open mmerson X Y. Wth ths n mnd, we choose g j such that X = Y D(t) j D(g ), j ) and defne { U m,j = } x ]Y [ vx (π 1 g m j ) 1,v x (π 1 t m ) 1 U m = ju m,j V n,m,j = [Y ] n U m,j V n,m = [Y ] n U m, agan these do not depend on the choce of the g j and hence glue over an open affne coverng of. Fnally, for any ncreasng sequence of ntegers m(n), we set V m = n V n,m(n) V m = V n,m(n). n roposton 2.6. ) For all n 0, both V n,m and V n,m form a cofnal system of neghbourhoods of [Y ] n ]X[ n [Y ] n. ) As m vares, both V m and V m form a cofnal system of neghbourhoods of ]X[ n ]Y [. roof. Exactly the same argument that proves Lemma 1.13 and roposton 1.14 works here. We can now prove that our notaton for the rgd cohomology of a frame over (X,Y,) s justfed. Lemma 2.7. The cohomology groups H rg ((X,Y,)/E ) are vector spaces over E. roof. There s a morphsm of frames (X,Y,) ( Spec(k((t))),Spec ( kt ),Spf ( V t )) whch nduces a morphsm of rnged spaces (]Y [, j X O ]Y [ ) (D b, j Spec(k((t))) O D b ) where D b = Spa(S,V t). Now just observe that by roposton 2.6 and Lemma 1.15 that Γ(D b, j Spec(k((t))) O S T D b )=colm m (π t m T) = E and the lemma follows. 19

20 3 Sundry propertes of rgd spaces and morphsms between them In ths secton we collect together a few techncal results we wll need about rgd spaces and morphsms between them, and as such t can be safely skmmed and the results referred back to as necessary. There are certan propertes of morphsms of rgd spaces, that we wll need to use, such as fnte, proper, etc., whch are defned both by Huber n [10] and by Fujwara and ato n [7]. Snce results proved both n [10] and n [7] wll be useful for us, t wll be necessary to know that the two defntons concde. Thus part of ths secton s devoted to provng these equvalences. We wll also need a results concernng the étale locus of a morphsm of rgd spaces. Frst, however, we wll prove a few results about the support of coherent sheaves on rgd spaces, and about the nteracton of closed analytc subspaces wth the knds of open subspaces consdered n the prevous secton. Unless otherwse mentoned, all rgd spaces wll be assumed to be locally of fnte type over D b. Defnton 3.1. Let X be a rgd space. Then a closed analytc subspace of X s a subspace defned by a coherent sheaf of deals I O X. Ths s agan a rgd space, wth structure sheaf gven by O X /I. Remark 3.2. Note that by roposton II of [7] a closed analytc subspace of X s exactly the mage of a closed mmerson of rgd spaces n the sense of Defnton II of loc. ct. roposton 3.3. Let F be a coherent sheaf on a rgd space X. Then the support supp(f) of F s contaned n a closed analytc subspace of X. roof. The queston s local on X, whch we may thus assume to be affne X = Spa(B) for some topologcally fnte type S -algebra B. Then F s the O X -module assocated to some fnte B-module M. If F alg s the coherent sheaf on X = Spec(A) assocated to M, and ϕ : X X the canoncal morphsm of rnged spaces, then F = ϕ F alg (see for example II.6.6 of [7]). Hence supp(f) ϕ 1 (supp(f alg )) and supp(f alg ) s the closed subset V(I) of Spec(A) defned by the deal I = Ann(M) A. By roposton II of [7], ths nverse mage concdes wth the closed analytc subspace of Spa(A) correspondng to I. roposton 3.4. Let X be a quas-compact rgd space, and f Γ(X,O X ). Let T X be a closed analytc subspace, and suppose that Then there exsts some m such that T { x X v x (f ) 1}=. T { x X v x (π 1 f m ) 1 } =. roof. The queston s local, so we may assume that X, and hence T, s affnod, say T = Spa(B). Let g B be the pullback of f, we are requred to show that v x (g)<1 x T m s.t. v x (π 1 g m )<1 x T. By Lemma 1.5 (or rather, ts analogue for rgd varetes over S, the proof goes over verbatm) we may restrct to heght one ponts x [T]. But now ths can be rephrased as v x (g)<1 x [T] m s.t. v x (g)< r 1/m x [T], 20