arXiv:1501.05837v1 [math.RT] 23 Jan 2015

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH Abstract. Let G be a split reductive group over a finite extension L of Qp and let G “ GpLq. In this paper we prove that formal models X of the flag variety of G are r: r: D X,k,Q -affine for certain sheaves of arithmetic differential operators DX,k,Q . Given a Gequivariant system F of formal models X, we deduce that the category of admissible locally analytic G-representations with trivial central character is naturally equivalent : to a full subcategory of the category of G-equivariant Dr8,Q -modules on the projective limit X8 “ X8 pF q of this system of formal models. When F is cofinal in the system of all formal models, the space X8 pF q can be identified with the adic flag variety of G.

Contents 1. Introduction r pmq r pmq and D 2. The sheaves D X,k X,k 2.1. Definitions r pmq 2.2. Finiteness properties of the sheaves D X,k 3. Formal models of flag varieties 3.1. Congruence group schemes 3.2. A very ample line bundle on X r pmq , and D r: r pmq , D 3.3. Global sections of D X,k X,k X,k,Q : r 4. Localization on X via D X,k,Q

r pmq -modules 4.1. Cohomology of coherent D X,k pmq r 4.2. Cohomology of coherent D -modules X,k,Q

r pmq -affine and D r : -affine 4.3. X is D X,k,Q X,k,Q 5. Localization of representations of GpLq 5.1. Modules over D an pGpkq˝ qθ0 5.2. G0 -equivariance and the functor L oc:8 5.3. G-equivariance and the main theorem References

2 3 3 7 8 8 8 10 13 13 16 21 22 22 23 29 33

C.H. and M.S. benefited from an invitation to MSRI during the Fall 2014 and thank this institution for ´ and the ANR program pexcellent working conditions. D.P. would like to acknowledge support from IHES adic Hodge Theory and beyond (Th´eHopaD) ANR-11-BS01-005. T.S. would like to acknowledge support of the Heisenberg programme of Deutsche Forschungsgemeinschaft (SCHM 3062/1-1). M.S. would like to acknowledge the support of the National Science Foundation (award DMS-1202303). 1

2

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

1. Introduction Let L{Qp be a finite extension with ring of integers o “ oL . In [18] we have introduced r: certain sheaves of differential operators D n,k,Q on a family of semistable models Xn of the r : -affine. In this paper we generalize this projective line and have shown that Xn is D n,k,Q approach to (not necessarily semistable) formal models of general flag varieties of split reductive groups. So let G0 be a reductive group scheme over o with generic fibre G. Denote by X rig the rigid analytic space attached to the flag variety of G. We consider a formal model X of X rig which we assume to be an admissible blow-up of a smooth formal r: , model X0 . On such a model X we introduce certain sheaves of differential operators D X,k,Q for k ě kX , where kX is a non-negative integer depending on X. Our first main result is then r : -affine. Theorem 1. For all k ě kX the formal scheme X is D X,k,Q

This means that the global sections functor furnishes an equivalence of categories between 0 r: r: coherent modules over D X,k,Q and finitely presented modules over the ring H pX, DX,k,Q q r : q can be identified (cf. [4],[8], [9] for the classical setting). It is shown that H 0 pX, D X,k,Q with a central reduction of Emerton’s analytic distribution algebra D an pGpkq˝ q of the wide open rigid analytic k th congruence subgroup of G0 , cf. [10]. As in [18] our main motivation for this result concerns locally analytic representations. The category of admissible locally analytic representations of the p-adic group G :“ GpLq1 with trivial infinitesimal character θ0 is anti-equivalent to the category of coadmissible modules over DpGqθ0 , the central reduction of the locally L-analytic distribution algebra of G at θ0 . On the geometric side, we consider a projective system F of formal models X. We assume that each model in this system is an admissible blow-up of some smooth formal model of X rig , and that the system F is equipped with an action of G. Then we r: can form the limit of the sheaves D X,k,Q and obtain a sheaf of (infinite order) differential : r operators D 8,Q on X8 “ X8 pF q “ lim ÐÝF X.: In this situation, the localization functors for the various X assemble to a functor L oc8 from the coadmissible modules over DpGqθ0 r : -modules on X8 . As in [18] we tentatively call its essential into the G-equivariant D 8,Q r : -modules. We then obtain image the coadmissible (equivariant) D 8,Q

Theorem 2. The functors L oc:8 and H 0 pX8 , ¨q are quasi-inverse equivalences between r : -modules. the categories of coadmissible DpGqθ0 -modules and coadmissible equivariant D 8,Q When the projective system F is cofinal in the system of all formal models of X rig , then X8 “ X8 pF q is the Zariski-Riemann space attached to X rig . The latter space is in turn

1considered

as a locally L-analytic group

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

3

isomorphic (as a ringed space, after inverting p on the structure sheaf) to the adic space attached to X rig , cf. [19]. With Theorem 1 as key ingredient, the proof of Theorem 2 is a straightforward generalization of the GL2 -case treated in [18], but we give all the details. In this paper we only treat the case of the central character θ0 , but there is an extension of this theorem available for characters more general than θ0 by using twisted versions of r : . Moreover, the construction of the sheaf D r : carries over to general the sheaves D X,k,Q 8,Q smooth rigid (or adic) spaces over L. We will discuss these addenda in a sequel paper.

We would also like to mention that K. Ardakov and S. Wadsley are developing a theory of D-modules on general rigid spaces, cf. [1], [2]. In their work they consider deformations of the sheaves of crystalline differential differential operators (as in [3]), whereas we take as a starting point deformations of Berthelot’s rings of arithmetic differential operators. Insight from prior studies of logarithmic arithmetic differential operators (cf. [17], [16]) suggested to consider these latter deformations, because their global sections turned out to be (central reductions of) the analytic distribution algebras mentioned above. Notation. L denotes a finite extension of Qp , with ring of integers o and uniformizer ̟. We put S “ Spfpoq and S “ Specpoq. Let q denote the cardinality of the residue field o{p̟q which we also denote by Fq . G0 denotes a split reductive group scheme over o and B0 Ă G0 a Borel subgroup scheme. The Lie algebra of G0 is denoted by go . For any scheme X over o, we denote by TX its relative tangent sheaf. A coherent sheaf of ideals I Ă OX is called open if it contains a power ̟ N OX . A scheme which arises from blowing up an open ideal sheaf on X will be called an admissible blow-up of X. We always denote by X the completion of X along its special fiber. r pmq r pmq and D 2. The sheaves D X,k X,k

2.1. Definitions. In this section, X0 denotes a smooth S-scheme, and X0 its formal completion. Let pr : X Ñ X0 be an admissible blow-up of the scheme X0 , defined by a sheaf of ideals I, containing ̟ N and X be the formal completion of X. For any integer k ě N, and m a fixed positive integer, we will define a p-adically complete sheaf of r pmq over the non-smooth formal scheme X. To achieve arithmetic differential operators D X,k r pmq on X for every this construction, we will first define a sheaf of differential operators D X,k k ě N. The scheme X0 being a smooth S-scheme, one can use the sheaves of arithmetic differential pmq operators of Berthelot defined in [5]. In particular, for a fixed m P N, DX0 will denote the sheaf of differential operators over X0 of level m. The usual sheaf of differential operators (EGA IV) over X0 will be denoted by DX0 . Let U be a smooth affine open scheme of X0 endowed with coordinates x1 , . . . , xN and U rν s its formal completion. One denotes Bl the derivation relative to xl , Bl l P DU defined by

4

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH rνl s

νi !Bl

“ Blνl , and finally xνl y

Bl

rν s

“ qνl !Bl l .

Here, qνl denotes the quotient of the euclidean division of νl by pm . For pν1 , . . . , νN q P NN , ś ś xνl y rνl s pmq let us define B xνy “ N , and B rνs “ N l“1 Bl l“1 Bl . Restricted to U, the sheaf DX0 ,k is a sheaf of free OU -algebras, with basis the elements B xνy . Following [18], given two positive integers, k, m, one introduces the subsheaves of algebras r pmq ) of differential operators of congruence level k, which are locally free r pmq (resp. D D X0 ,k X,k OUi -algebras (resp. OU -algebras), with basis the elements ̟ k|ν| B xνy , meaning that # + ÿ r pmq pUq “ D ̟ k|ν| aν B xνy | aν P OX0 pUq . X0 ,k

ν

Let m be a fixed non negative integer, if ν is a non negative integer, one denotes by q the quotient of the euclidean division of ν by pm . Let ν ě ν 1 be two nonnegative integers and ν 2 :“ ν ´ ν 1 , then we introduce for the corresponding numbers q, q 1 and q 2 the following notation " * q! ν . “ q 1 !q 2 ! ν1 We also define r pmq “ lim D r: r pmq r pmq i D X0 ,k ÐÝ X0 ,k {p and DX0 ,k,Q “ lim ÝÑ DX0 ,k b Q. i

m

As explained in [18], these sheaves of rings have the same finiteness properties as the usual sheaves of Berthelot (corresponding to k “ 0). In particular, over an affine smooth r pmq -modules and scheme U0 there is an equivalence of categories between the coherent D U0 ,k pmq r the finite type modules over the algebra ΓpU0 , DU0 ,k q, for every k ě 0. Let us now explain how to construct the desired sheaves over X. Imitating 2.3.5 of [5], r pmq -module, then the if we can prove that OX can be endowed with a structure of pr´1 D X0 ,k ˚ r pmq sheaf of OX -modules, pr DX0 ,k , will be a sheaf of rings over OX . In order to prove this, we need the following proposition.

Proposition 2.1.1. Let k ě N. Then the sheaf of rings OX can be endowed with a r pmq -module, such that the map pr´1 OX0 Ñ OX is pr´1 D r pmq -linear. structure of pr´1 D X0 ,k X0 ,k

Proof. It is enough to prove the statement in the case where X0 is affine, say X0 “ SpecA. N Denote algebra B “ SymA I, Àthen I “ ΓpX0 , Iq, which contains ̟ , and B the A-graded n B “ n In (meaning that In equals as an abelian group I ), so that X “ P roj B. Let t P Id an homogeneous element of degree d ą 0 of B, and Br1{ts0 the algebra of degree 0-elements in the localization Br1{ts. It is enough to prove that Br1{ts0 can be endowed r pmq pX0 q-module. We can even assume that X0 is affine endowed with a structure of D X0 ,k

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

5

pmq r pmq q which can be with local coordinates x1 , . . . , xN . In this case, we let Dk “ ΓpX0 , D X0 ,k described in the following way + # ÿ pmq ̟ k|ν| aν B xνy | aν P A . Dk “ ν

Let us observe that the algebra B is a subgraded algebra of ArT s. Indeed, there is a graded ring morphism B

xn P In

ϕ

/

/

ArT s xn T n .

We can identify Spec ArT s with Y “ A1X0 and consider pr2 : Y Ñ X0 . By copying the r pmq r pmq classical proof, one can check that pr´1 2 DX0 ,k is a subsheaf of the sheaf DY,k , as sheaf of rings. Let Ut be the affine open set of Y where ϕptq is nonzero. and Ct “ ΓpUt , OY q. By flatness of localization, there is an injective map B0 r1{ts Ă Ct . Moreover, Ct and r pmq q-modules and thus D pmq -modules. Take P P D pmq and a P A, then ArT s are ΓpY, D Y,k k k pmq

P paT n q “ P paqT n . This shows that the action of Dk over ArT s is graded. pmq pmq To prove that B0 r1{ts is a Dk -module, we will first prove that B is a Dk -submodule of pmq ArT s and then that B0 r1{ts is a Dk -submodule of Ct . The fact that the defined actions pmq will be compatible with the action of Dk over A, will come from the fact that this is pmq true for the action of Dk over ArT s. pmq Let us prove now that B is a Dk -submodule of ArT s. To avoid too heavy notations, we identify B (resp. Bt ) with their image into ArT s (resp. Ct ) via ϕ. The ideal I is trivially pmq stable by the action of A by left multiplication, and A “ I0 is certainly a Dk -module. pmq xν y Recall that the algebra Dk is generated by the operators ̟ kνi Bi i for all νi ď pm . Since xν y pmq k ě N, it is clear that if νi ě 1, ̟ kνi Bi i pIT q Ă ̟ N AT Ă IT , since the action of Dk pmq over ArT s is graded, so that we can define an action of Dk : I1 Ñ I1 . pmq We next prove by induction on d that Id is stable by the action of Dk . Let x “ ̟ N pd´bq y1 . . . yb P Id . Let νi ě 1 and νi ď pm , then one computes ˙ " * ÿ ˆ xµi y xν ´µ y N νi xνi y N µi µi Bi py1 q ̟ N pνi ´µi q Bi i i py2 ¨ ¨ ¨ ybq ̟ Bi py1 . . . yb q “ ̟ ν i µ ďν i

i

xνi ´µi y

by [5, 2.2.4(iv)]. By induction, we know that ̟ N pνi ´µi q Bi implies that xν y ̟ N νi Bi i pxq P Id .

py2 ¨ ¨ ¨ yb q P Ib´1 , that

6

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH pmq

It remains now to prove that Br1{ts0 is a Dk -submodule of Ct . We have to check the following statement ´ ¯ xν y g (2.1.1) P B0 r1{ts. @νi ď pm , @c P N, @g P Idc , ̟ N νi Bi i tc Let us first prove by induction on νi that ˘ Iν i d . t´1 P νi `1 t This is true for νi “ 0. Consider then the formula * νi " ÿ νi ` 1 ´1 N pνi `1´µq xνi `1´µy xµy N pνi `1q xνi `1y ´1 ̟ Bi pt q “ ´ t ̟ Bi ptq̟ N µ Bi pt´1 q. µ µ“0 xνi y

̟ N νi Bi

`

By induction on νi , one knows that for any integer µ ď νi , Ipνi `1qd I I Ă , d µd tµ`2 tνi `2 which proves our claim. Applying this claim to tc gives for µ ď pm xνi `1´µy

̟ N pνi `1q t´1 Bi

xµy

ptqBi pt´1 q P

xµy

̟ N µ Bi pt´c q P

1

Iµdc . cpµ`1q t

Then, we have the following formula νi " * ´g¯ ÿ νi xν ´µy xµy N νi xνi y ̟ Bi “ ̟ N pνi ´µq Bi i pgq̟ N µBi pt´c q, c t µ µ“0 whose right-hand terms are contained in Idc

Iµdc cpµ`1q t

Ă B0 r1{ts,

and this completes the proof of 2.1.1 and the proposition.



From this, we deduce as in 2.3.5 of [5] the following. r Corollary 2.1.2. Under the hypothesis of the section, for k ě N, the sheaf pr˚ D X0 ,k is a sheaf of rings over X. pmq

This allows us to introduce the following sheaves of rings over the admissible blow-up X of X0 r: r pmq r pmq “ lim pr˚ D r pmq {pi and D D X0 ,k X,k,Q “ lim X,k ÝÑ DX,k b Q. ÐÝ m

i

We abbreviate

r pmq D X,k

:“

r pmq pr˚ D X0 ,k

in the following.

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

7

r pmq . We keep here the hypothesis of the 2.2. Finiteness properties of the sheaves D X,k beginning of the section. For a given natural number k ě 0 we let TrX,k :“ ̟ k pprq˚ pTX q. 0

Lemma 2.2.1. (i) TrX,k is a locally free OX -module of rank equal to the relative dimension of X0 over S ,

(ii) Suppose π : X 1 Ñ X is a morphism of admissible blow-ups of X0 . Let k 1 , k ě 0. One has

as subsheaves of TX 1 b L.

1 TrX 1 ,k1 “ ̟ k ´k π ˚ pTrX,k q

Proof. The assertion (i) follows directly from the definition. The assertion (ii) follows since π is a morphism over X0 .  We also have r pmq are filtered by the order of differential opProposition 2.2.2. (i) The sheaves D X,k erators and there is a canonical isomorphism of graded sheaves of algebras ¯ ´ à pmq r Symd pTrX,k qpmq . gr DX,k » SympTrX,k qpmq “ dě0

(ii) There is a basis of the topology B of X, consisting of open affine subsets, such r pmq pUq is noetherian. In particular, the sheaf of that for any U P B, the ring D X,k r pmq is coherent. rings D X,k r pmq is coherent. (iii) The sheaf D X,k

r pmq the sheaf of differential operators of D r pmq of order less than d. Proof. Denote by D X0 ,k;d X0 ,k It is straightforward that we have an exact sequence of OX0 -modules on X0 (2.2.3)

d r pmq r pmq r pmq 0 ÝÑ D ÝÑ 0 . X0 ,k;d´1 ÝÑ DX0 ,k;d ÝÑ Sym pTX0 ,k q

Now we apply pr˚ and get an exact sequence since Symd pTrX0 ,k qpmq is a free OX0 -module of finite rank. This gives (i). As we work with quasi-coherent sheaves of OX -modules, r pmq pUq is noetherian in the case where U “ pr´1 pU0 q, and it is enough to show that D X,k U0 Ă X0 has some coordinates x1 , . . . , xN . In this case one has the following description + # ÿ pmq xνy k|ν| r pUq “ ̟ aν B | aν P OX pUq . D X,k ν

r pmq pUq is isomorphic to SymOpU q pTrX,k pUqqpmq , which is By (i), the graded algebra grD X,k known to be noetherian [13, Prop. 1.3.6]. This gives the noetherianity of the algebras

8

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

r pmq pUq. As B we may take the set of open subsets of X that are contained in some D X,k pr´1 pU0 q, for some open U0 Ă X0 endowed with global coordinates. We finally note r pmq is OX -quasicoherent and has noetherian sections of over open that, since the sheaf D X,k affines, it is actually a sheaf of coherent rings [5, 3.1.3(i)]. The last assertion is a direct consequence of (ii), as in [5]. We do not redo the proof here.  From these considerations, we give theorems A and B for affine schemes X, whose proofs follows readily by the proofs given by Berthelot in [5]. Proposition 2.2.4. Let U Ă X be an affine subscheme of X, U its formal completion. r pmq q is noetherian and the functor ΓpU, .q establishes an equiva(i) The algebra ΓpU, D U,k

r pmq -modules and finite ΓpU, D r pmq q-modules. lence of categories between coherent D U,k X,k r pmq q is noetherian and the functor ΓpU, .q establishes an equiva(ii) The algebra ΓpU, D U,k r pmq -modules and finite ΓpU, D r pmq q-modules. lence of categories between coherent D U,k

U,k

3. Formal models of flag varieties

From now on X0 denotes the smooth flag scheme G0 {B0 of G0 and X0 denotes its p-adic completion. 3.1. Congruence group schemes. We let Gpkq denote the k-th scheme-theoretic congruence subgroup of the group scheme G0 [20, 1.], [21, 2.8]. So Gp0q “ G0 and Gpk ` 1q equals the dilatation (in the sense of [7, 3.2]) of the trivial subgroup of Gpkqbo Fq on Gpkq. In particular, if Gpkq “ Spec ort1 , ..., tN s with a set of parameters ti for the unit section t1 , ..., t̟N s. The o-group scheme Gpkq is again smooth, of Gpkq, then Gpk ` 1q “ Spec or ̟ has Lie algebra equal to ̟ k go and its generic fibre coincides with the generic fibre of G0 . 3.2. A very ample line bundle on X. Let pr : X Ñ X0 be an admissible blow-up, and let I Ă X0 be the ideal sheaf that is blown up. Since I is open, there is N P Zą0 such that (3.2.1)

pN OX0 Ă I Ă OX0 .

À s Put S “ sě0 I , then X is glued together from schemes ProjpSpUqq for affine open subsets U Ă X. On each ProjpSpUqq there is an invertible sheaf Op1q, and these glue together to give an invertible sheaf Op1q on X which we will denote OX{X0 p1q (cf. the discussion in [12, ch. II,§7].) This invertible sheaf is in fact the inverse image ideal sheaf pr´1 pIq ¨ OX , cf. [12, ch. II, 7.13]. From 3.2.1 conclude that (3.2.2)

pN OX Ă OX{X0 p1q Ă OX and OX Ă OX{X0 p´1q Ă p´N OX .

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

9

And for any r ě 0 we get (3.2.3)

prN OX Ă OX{X0 p1qbr Ă OX and OX Ă OX{X0 p´1qbr Ă p´rN OX .

Lemma 3.2.4. Suppose X is normal. Let X 1 be the blow-up of a coherent open ideal on X and let pr : X 1 Ñ X be the blow-up morphism. Then pprq˚ pOX 1 q “ OX . Proof. The morphism pr : X 1 Ñ X is a birational projective morphism of noetherian integral schemes. The assertion then follows exactly as in the proof of Zariski’s Main Theorem as given in [12, ch. III, Cor. 11.4].  Lemma 3.2.5. There is a0 P Zą0 such that the line bundle (3.2.6)

´ ¯ LX “ OX{X0 p1q b pr˚ OX0 pa0 q

on X is very ample over Specpoq, and it is very ample over X0 . Proof. By [12, ch. II, ex. 7.14 (b)], the sheaf (3.2.7)

´ ¯ L “ OX{X0 p1q b pr˚ OX0 pa0 q

is very ample on X over Specpoq for suitable a0 ą 0. We fix such an a0 . By [11, 4.4.10 (v)] it is then also very ample over X0 .  Lemma 3.2.8. Suppose π : X 1 Ñ X is a morphism of admissible blow-ups of X0 . (i) In the case π˚ OX 1 “ OX , one has

as subsheaves of TX b L.

1 TrX,k “ ̟ k´k π˚ pTrX 1 ,k1 q

(ii) There is a OX -linear surjection OX bo ̟ k go ։ TrX,k .

Proof. The assertion (i) follows from (ii) of the previous lemma 2.2.1 together with the projection formula. Finally, (ii) follows from [15, 1.6.1] by applying π ˚ . . ¯ ´ r pmq r pmq Proposition 3.2.9. In the case π˚ OX 1 “ OX , one has π˚ D X 1 ,k “ DX,k .

r pmq are locally free of finite rank, and so are the sheaves D r pmq , Proof. The sheaves D X0 ,k;d X,k;d by construction. We can thus apply the projection formula and get

10

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

π˚

´

¯ pmq r pmq . r DX 1 ,k;d “ D X,k;d

The claim follows because the direct image commutes with inductive limits on a noetherian space.  3.2.10. Twisting by LX . Recall the very ample line bundle LX from 3.2.5. In the following we will always use this line bundle to ’twist’ OX -modules. If F is a OX -module and r P Z we thus put F prq “ F bOX Lbr X . Some caveat is in order when we deal with sheaves which are equipped with both a left r pmq and a right OX -module structure (which may not coincide). For instance, if Fd “ D X,k;d then we let br r r Fd prq “ D X,k;d prq “ DX,k;d bOX LX , pmq

pmq

r pmq as a right OX -module. Similarly we put where we consider Fd “ D X,k;d r pmq bO Lbr , D X X X,k

r pmq as a right OX -module. Then we have D r pmq prq “ lim Fd prq. When where we consider D X,k X,k ÝÑd pmq r we consider the associated graded sheaf of D prq, it is with respect to the filtration by X,k

r pmq prq is a coherent left D r pmq -module according to part (iii) of the Fd prq. The sheaf D X,k X,k 3.2.9. r pmq , and D r: . r pmq , D 3.3. Global sections of D X,k X,k X,k,Q

3.3.1. Divided power enveloping algebras. We denote by D pmq pGpkqq the distribution algebra of the smooth o-group scheme Gpkq of level m [14]. It is noetherian and admits the following explicit description. Let go “ n´ o ‘ to ‘ no be a triangular decomposition of go . We fix basis elements pfi q, phj q and pei q of the o-modules n´ o , to and no respectively. pmq Then D pGpkqq equals the o-subalgebra of Upgq “ Upgo q bo L generated by the elements (3.3.2)

ˆ ˙ ν2 k eqν pmq k|ν 1 | h pmq p̟ f q ¨ qν 1 !̟ ¨ qν 2 ! . ν! ν1 ν 2!

p̟ qνpmq !

k

In the case of the group GL2 we considered the same algebra in [18]. We denote by p pmq pGpkqq the p-adic completion of D pmq pGpkqq. It is noetherian. D

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

11

Proposition 3.3.3. There is a canonical homomorphism of o-algebras pmq r pmq q , QX,k : D pmq pGpkqq Ñ H 0 pX, D X,k

(3.3.4)

Proof. Recall that a filtered o-algebra (or sheaf of such algebras) A with positive filtration Fi A and o Ď F0 A yields the graded subring RpAq :“ ‘iě0 Fi Ati Ď Arts of the polynomial ring over A, its associated Rees ring. Specialising RpAq in an element λ P o yields a filtered subring Aλ of A. For fixed λ, the formation of Aλ is functorial in A. We apply this remark to the filtered homomorphism r D pmq pGp0qq Ñ D X0 ,0 pmq

appearing in [14, 4.4.4] (and denoted by Qm in loc.cit.) which comes by functoriality from the Gp0q-action on X0 . Passing to Rees rings and specialising the parameter in ̟ k yields a filtered homomorphism r pmq . D pmq pGpkqq Ñ D X0 ,k r pmq q “ H 0 pX0 , D r pmq q by 3.2.9 yields a homoTaking global sections and using H 0 pX, D X,k X0 ,k morphism pmq r pmq q QX,k : D pmq pGpkqq Ñ H 0 pX, D X,k

as claimed.



pmq

Let AX,k “ OX bo D pmq pGpkqq with the twisted ring multiplication coming from the pmq

action of D pmq pGpkqq on OX via QX,k . It has a natural filtration whose associated graded pmq

equals the OX -algebra OX bo Sympmq pLiepGpkqqq [14, Cor. 4.4.6]. In particular, AX,k has noetherian sections over open affines. pmq r pmq induced by ξ pmq is surjective. In Proposition 3.3.5. The homomorphism AX,k Ñ D X,k X,k pmq r particular, D has noetherian sections over open affines. X,k

Proof. We adapt the argument of [14, 4.4.7.2(ii)]: The homomorphism is filtered. Applying Sympmq to the surjection in (iv) of 3.2.8 we obtain a surjection OX bo Sympmq pLiepGpkqq Ñ Sympmq pTrX,k q which equals the associated graded homomorphism by 3.2.9. Hence the homomorphism is surjective as claimed.  pmq

Proposition 3.3.6. Let M be a coherent AX,k -module. pmq

(i) H 0 pX, AX,k q “ D pmq pGpkqq. pmq

pmq

(ii) There is a surjection AX,k p´rq‘s Ñ M of AX,k -modules for suitable r, s ě 0. (iii) For any i ě 0 the group H i pX, Mq is a finitely generated D pmq pGpkqq-module.

12

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

r pmq q is a finitely generated D pmq pGpkqq-module and hence noether(iv) The ring H 0 pX, D X,k ian. Proof. The points (i)-(iii) follow exactly as in [14, A.2.6.1]. Statement (iv) is a special case of (iii) by 3.3.5. 

r pmq be the p-adic completion of D r pmq , which we will always consider as a sheaf Now let D X,k X,k r pmq “ D r pmq bZ Q, and on the formal scheme X. We also put D X,k,Q

X,k

r : “ lim D r pmq D X,k ÝÑ X,k ,

(3.3.7)

m

and (3.3.8)

r: r: r pmq D X,k,Q “ DX,k bZ Q “ lim ÝÑ DX,k,Q . m

p pmq pGpkqqQ,θ0 the quotient of D p pmq pGpkqq b Q modulo the ideal generated We denote by D by the center of the ring Upgq [14, A.2.1]. This is the same central reduction considered in [18] for the group GL2 . In the proposition below, and in the remainder of this paper, certain rigid analytic ‘wide open’ groups Gpkq˝ will be used repeatedly. To define them, consider first the formal completion Gpkq be of the group scheme Gpkq along its special fiber, which is a formal p ˝ be the group scheme (of topologically finite type) over S “ Spfpoq. Then let Gpkq completion of Gpkq along its unit section S Ñ Gpkq, and denote by Gpkq˝ its associated rigid space. Proposition 3.3.9. (i) There is a basis of the topology U of X, consisting of open affine r pmq q is noetherian. subsets, such that for any U P U, the ring H 0 pU, D X,k r pmq Ñ D r pm`1q is flat. (ii) The transition map D X,k,Q X,k,Q

r: (iii) The sheaf of rings D X,k,Q is coherent. pmq

(iv) The homomorphism QX,k induces an algebra isomorphism » r pmq q. p pmq pGpkqqQ,θ ÝÑ D H 0 pX, D 0 X,k,Q

r : q is canonically isomorphic to the coherent L-algebra (v) The ring H 0 pX, D X,k,Q D an pGpkq˝ qθ0 , where D an pGpkq˝ q is the analytic distribution algebra in the sense of Emerton, cf. [10, ch. 5]. Proof. (i) This follows from [5, 3.3.4(i)] together with 3.3.5.

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

13

(ii) This can be proved as in [5, sec. 3.5]. (iii) Follows from (i) and (ii). (iv) This follows from statement (iv) in 3.3.6 together with [14, Lem. A.3]. (v) Follows from (iv) and the description of the analytic distribution algebra as given in [10, ch. 5], compare also [14, Prop. 5.2.1].  r: 4. Localization on X via D X,k,Q

The general line of arguments follows fairly closely [15]. As usual, pr : X Ñ X0 denotes an admissible blow-up of X0 . The number k ě 0 is fixed throughout this section and r pmq is defined for all m. chosen large enough so that the sheaf of coherent rings D X,k r pmq -modules. 4.1. Cohomology of coherent D X,k

Lemma 4.1.1. Let E be an abelian sheaf on X. For all i ą dim X one has H i pX, Eq “ 0. Proof. Since the space X is noetherian the result follows from Grothendieck’s vanishing theorem [12, Thm. 2.7].  Proposition 4.1.2. There is a natural number r0 such that for all r ě r0 and all i ě 1 one has (4.1.3)

¯ ¯ ´ ´ pmq r H X, gr DX,k prq “ 0 . i

Proof. Since LX is very ample over o by 3.2.5, the Serre theorems [12, II.5.17/III.5.2] imply that there is a number u0 such that for all u ě u0 the module OX puq is generated by global sections and has no higher cohomology. After this remark we prove the proposition along the lines of [15, Prop. 2.2.1]. There is an OX0 -linear surjection pOX0 q‘a Ñ TX0 for a suitable natural number a. Applying pprq˚ and multiplication by ̟ k gives an OX -linear surjection pOX q‘a » ̟ k pOX q‘a Ñ TrX,k . By functoriality we get a surjective morphism of algebras C :“ SymppOX q‘a qpmq ÝÑ SympTrX,k qpmq . ¯ ´ r pmq according to 3.2.9. It therefore suffices to prove The target of this map equals gr D X,k the following: given a coherent C-module E, there is a number r0 such that for all r ě r0 and i ě 1, one has H i pX, Eprqq “ 0. To start with, X is noetherian, hence E is quasicoherent and so equals the union over its OX -coherent submodules Ei . Since E is Ccoherent and C has noetherian sections over open affines [13, 1.3.6], there is a C-linear surjection C bOX Ei Ñ E. Choose a number s0 such that Ei p´s0 q is generated by global sections. We obtain a OX -linear surjection OX ps0 q‘a0 Ñ Ei for a number a0 . This yields

14

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

a C-linear surjection C0 :“ Cps0 q‘a0 ÝÑ E. The OX -module C0 is graded and each homogeneous component equals a sum of copies of OX ps0 q. It follows that H i pX, C0 prq “ 0 for all r ě u0 ´ s0 and all i ě 1. The rest of the argument proceeds now as in [15, 2.2.1].  Corollary 4.1.4. Let r0 be the number occuring in the preceding proposition. For all r ě r0 and all i ě 1 one has (4.1.5)

´ ¯ r pmq prq “ 0 . H i X, D X,k

r pmq . We consider the exact sequence Proof. For d ě 0 we let Fd “ D X,k;d

(4.1.6)

0 Ñ Fd´1

¯ ´ pmq r Ñ Fd Ñ grd DX,k Ñ 0

(where F´1 :“ 0) from which we deduce the exact sequence (4.1.7)

¯ ´ r pmq prq Ñ 0 0 Ñ Fd´1 prq Ñ Fd prq Ñ grd D X,k

because tensoring with a line bundle is an exact functor. Since cohomology commutes with direct sums, we have for all r ě r0 and i ě 1 that ¯ ´ pmq i r H pX, grd DX,k prqq “ 0

according to the preceding proposition. Using the sequence 4.1.7 we can then deduce by induction on d that for all r ě r0 and i ě 1 H i pX, Fd prqq “ 0 . Because cohomology commutes with inductive limits on a noetherian scheme we obtain the asserted vanishing result.  r pmq -module. Proposition 4.1.8. Let E be a coherent D X,k

r pmq -modules (i) There is a number r “ rpEq P Z and s P Zě0 and an epimorphism of D X,k ´

r pmq p´rq D X,k

¯‘s

։E .

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

15

(ii) There is r1 pEq P Z such that for all r ě r1 pEq and all i ą 0 ´ ¯ i H X, Eprq “ 0 .

Proof. (i) As X is a noetherian scheme, E is the inductive limit of its coherent subsheaves. r pmq -module, i.e., There is thus a coherent OX -submodule F Ă E which generates E as a D X,k an epimorphism of sheaves α r pmq bO F ÝÑ D E, X X,k

r where D X,k is considered with its right OX -module structure. Next, there is r ą 0 such that the sheaf pmq

F prq “ F bOX Lbr X ‘s is generated by its global sections. Hence there is s ą 0 and an epimorphism OX ։ F prq, and thus an epimorphism of OX -modules

pOX p´rqq‘s ։ F . r pmq -modules From this morphism we get an epimorphism of D X,k

´ ¯‘s α pmq r r pmq bO F ÝÑ r pmq bO pOX p´rqq‘s ։ D DX,k p´rq E. “D X Xn X,k X,k

r pmq -module E, there (ii) Consider for i ě 1 the following assertion pai q: for any coherent D X,k is a number ri pEq such that for all r ě ri pEq and all i ď j one has H j pX, Eprqq “ 0. For i ą dim X the assertion holds, cf. 4.1.1. Suppose the statement pai`1 q holds. Using (i) r pmq -modules we find an epimorphism of D X,k ´ ¯‘s pmq r β : C0 :“ DX,k ps0 q ։E

r pmq -module. for numbers s0 P Z and s ě 0. By 3.2.9, the kernel R “ kerpβq is a coherent D X,k Recall the number r0 of the preceding corollary. For any r ě maxpr0 ´ s0 , ri`1 pRqq we have the exact sequence 0 “ H i pX, C0 prqq ÝÑ H i pX, Eprqq ÝÑ H i`1 pX, Rprqq “ 0 which shows H i pX, Eprqq “ 0 for these r. So we may take as ri pEq any of these r which is larger than ri`1 pEq and obtain the statement pai q. In particular, pa1 q holds which proves (ii). 

16

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

Proposition 4.1.9. (i) Fix r P Z. There is c2 “ c2 prq P Zě0 such that for all i ą 0 the r pmq prqq is annihilated by pc2 . cohomology group H i pX, D X,k

r pmq -module. There is c3 “ c3 pEq P Zě0 such that for all i ą 0 (ii) Let E be a coherent D X,k the cohomology group H i pX, Eq is annihilated by pc3 .

Proof. (i) Since the blow-up morphism pr : X Ñ X0 becomes an isomorphism over r pmq b Q induces a coherent module over the sheaf X0 ˆo L any coherent module over D X,k of usual differential operators on X0 ˆo L. By [4] we conclude that the global section r pmq b Q-modules. In particular, the cohomology functor on X is exact for coherent D X,k r pmq prqq is p-torsion. To see that the torsion is bounded, we deduce from group H i pX, D X,k

r pmq prq is a coherent module over Apmq . According to 3.3.6, H i pX, D r pmq prqq is 3.3.5 that D X,k X,k X,k therefore finitely generated over D pmq pGpkqq. This implies the claim.

r pmq -module (ii) We consider for any i ě 1 the following assertion pai q: for any coherent D X,k E, there is a number ri pEq such that the groups H j pX, Eq, i ď j are all annihilated by pri pEq . For i ą dim X the assertion holds, cf. 4.1.1. Let us assume pai`1 q holds and r pmq -module E. Acccording to 4.1.8 we have a D r pmq -linear consider an arbitrary coherent D X,k X,k surjection r pmq prq‘s ÝÑ E E0 :“ D X,k

for numbers r P Z and s ě 0. Let E 1 be the kernel. We have an exact sequence ι

δ

H i pX, E0 q Ñ H i pX, Eq Ñ H i`1 pX, E 1 q. 1

Then pc2 prq annihilates the image of ι according to (i) and pri`1 pE q annihilates the image of δ according to pai`1 q. So we may take as ri pEq any number greater than the maximum of ri`1 pEq and c2 prq ` ri`1 pE 1 q and obtain the statement pai q. In particuar, pa1 q holds which proves (ii).  r pmq -modules. We denote by Xj the reduction of X 4.2. Cohomology of coherent D X,k,Q modulo pj`1.

r pmq -module on X and Ep “ lim E{pj`1E its Proposition 4.2.1. Let E be a coherent D X,k ÐÝj p-adic completion, which we consider as a sheaf on X.

p “ lim H i pXj , E{pj`1Eq. (i) For all i ě 0 one has H i pX, Eq ÐÝj

p “ H i pX, Eq. (ii) For all i ą 0 one has H i pX, Eq p “ lim H 0 pX, Eq{pj`1H 0 pX, Eq. (iii) H 0 pX, Eq ÐÝj

Proof. Put Ej “ E{pj`1E. Let Et be the subsheaf defined by

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

17

Et pUq “ EpUqtor , where the right hand side denotes the group of torsion elements in EpUq. This is indeed a sheaf (and not only a presheaf) because X is a noetherian space. Furthermore, Et is a r pmq -submodule of E. Because the sheaf D r pmq has noetherian rings of sections over open D X,k X,k r pmq -module. Et is thus affine subsets of X, cf. 3.2.9, the submodule Et is a coherent D X,k generated by a coherent OX -submodule F of Et . The submodule F is annihilated by a r pmq -module. fixed power pc of p, and so is Et . Put G “ E{Et , which is again a coherent D X,k Using 4.1.9, we can then assume, after possibly replacing c by a larger number, that paq pc Et “ 0 , pbq for all i ą 0 : pc H i pX, Eq “ 0 , pcq for all i ą 0 : pc H i pX, Gq “ 0 . From here on the proof of the proposition is exactly as in [18, 4.2.1].



r pmq -module. Proposition 4.2.2. Let E be a coherent D X,k

(i) There is r1 pE q P Z such that for all r ě r1 pE q there is s P Zě0 and an epimorphism r pmq -modules of D X,k ´ ¯‘s r pmq p´rq D ։E . X,k

(ii) There is r2 pE q P Z such that for all r ě r2 pE q and all i ą 0 ´ ¯ i H X, E prq “ 0 .

r pmq -module, and because H 0 pU, D r pmq q is a noetherian Proof. (i) Because E is a coherent D X,k X,k ring for all open affine subsets U Ă X, cf. 3.3.9, the torsion submodule Et Ă E is again a r pmq -module. As X is quasi-compact, there is c P Zě0 such that pc Et “ 0. Put coherent D X,k G “ E {Et and G0 “ G {pG . For j ě c one has an exact sequence pj`1

0 Ñ G0 ÝÑ Ej`1 Ñ Ej Ñ 0 . r pmq {pD r pmq . We view X as a closed We note that the sheaf G0 is a coherent module over D X,k X,k subset of X and denote the closed embedding temporarily by i. Because the canonical map of sheaves of rings (4.2.3)

´ ¯ » r pmq {pD r pmq r pmq {pD r pmq ÝÑ D i D ˚ X,k X,k X,k X,k

18

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

r pmq -module via this isomorphism. is an isomorphism, i˚ G0 can be considered a coherent D X,k Hence we can apply 4.1.8 to i˚ G0 and deduce that there is r2 pG0 q such that for all r ě r2 pG0 q one has H 1 pX, G0 prqq “ H 1 pX, i˚ G0 prqq “ 0. The canonical maps (4.2.4)

H 0 pX, Ej`1prqq ÝÑ H 0 pX, Ej prqq

are thus surjective for r ě r2 pG0 q and j ě c. Similarly, Ec is a coherent module over r pmq {pc D r pmq -module, in particular a coherent D r pmq -module. By 4.1.8 there is r1 pEc q such D X,k X,k X,k that for every r ě r1 pEc q there is s P Zě0 and a surjection ¯‘s ´ r pmq {pc D r pmq λ: D ։ Ec prq . X,k X,k

Let r1 pE q “ maxtr2 pG0 q, r1 pEc qu, and assume from now on that r ě r1 pE q. Let e1 , . . . , es be the standard basis of the domain of λ, and use 4.2.4 to lift each λpet q, 1 ď t ď s, to an element of 0 0 z lim ÐÝ H pX, Ej prqq » H pX, E prqq , j

z by 4.2.1 (i). But E prq “ Epprq, and Ep “ E , as follows from [5, 3.2.3 (v)]. This defines a morphism ¯‘s ´ pmq r DX,k ÝÑ E prq

which is surjective because, modulo pc , it is a surjective morphism of sheaves coming from r pmq -modules by reduction modulo pc , cf. [5, 3.2.2 (ii)]. coherent D X,k (ii) We deduce from 4.1.4 and 4.2.1 that for all i ą 0

´ ¯ r pmq prq “ 0 , H i X, D X,k

r pmq is coherent, cf. 3.3.9, and whenever r ě r0 , where r0 is as in 3.2.5. Since the sheaf D X,k X is a noetherian space of finite dimension, the statement in (ii) can now be deduced by descending induction on i exactly as in the proof of part (ii) of 4.1.8. 

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

19

r pmq -module. Proposition 4.2.5. Let E be a coherent D X,k

(i) There is c “ cpE q P Zě0 such that for all i ą 0 the cohomology group H i pX, E q is annihilated by pc . 0 j 0 (ii) H 0 pX, E q “ lim ÐÝj H pX, E q{p H pX, E q.

Proof. (i) Let r P Z. By 4.2.1 we have for i ą 0 that r pmq p´rqq “ H i pX, D r pmq p´rqq , H i pX, D X,k X,k

and this is annihilated by a finite power of p, by 4.1.9. The proof now proceeds by descending induction exactly as in the proof of part (ii) of 4.1.9. (ii) Let Et Ă E be the subsheaf of torsion elements and G “ E {Et . Then the discussion in the beginning of the proof of 4.2.1 shows that there is c P Zě0 such that pc Et “ 0. Part (i) gives that pc H 1 pX, E q “ pc H 1 pX, G q “ 0, after possibly increasing c. Now we can apply the same reasoning as in the proof of 4.2.1 (iii) to conclude that assertion (ii) is true.  r pmq q (resp. CohpD r pmq q) be the category of coherent D r pmq -modules 4.2.6. Let CohpD X,k X,k,Q X,k pmq pmq pmq r r r (resp. DX,k,Q -modules). Let CohpDX,k qQ be the category of coherent DX,k -modules up r pmq qQ has the same class of objects as to isogeny. We recall that this means that CohpD X,k

r pmq q, and for any two objects M and N one has CohpD X,k

HomCohpDrpmq qQ pM, N q “ HomCohpDrpmq q pM, N q bZ Q . X,k

X,k

Proposition 4.2.7. (i) The functor M ÞÑ MQ “ MbZ Q induces an equivalence between r pmq qQ and CohpD r pmq q. CohpD X,k X,k,Q

r : -module M there is m ě 0 and a coherent D r pmq -module (ii) For every coherent D X,k,Q X,k,Q r : -modules Mm and an isomorphism of D X,k,Q » r: ε:D r pmq Mm ÝÑ M . X,k,Q bD X,k,Q

If pm1 , Mm1 , ε1 q is another such triple, then there is ℓ ě maxtm, m1 u and an isomorphism r pℓq -modules of D X,k,Q » r pℓq b r pmq Mm ÝÑ r pℓq b pm1 q Mm1 εℓ : D D r X,k,Q X,k,Q D D X,k,Q

´ such that ε1 ˝ idDr :

X,k,Q

¯ b εℓ “ ε.

X,k,Q

20

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

r pmq satisfies the conditions in [5, 3.4.1], Proof. (i) This is [5, 3.4.5]. Note that the sheaf D X,k by 3.3.9. We point out that the formal scheme X in [5, sec. 3.4] is not supposed to be smooth over a discrete valuation ring, but only locally noetherian, cf. [5, sec. 3.3]. (ii) This is [5, 3.6.2]. In this reference the formal scheme is supposed to be noetherian and quasi-separated, but not necessarily smooth over a discrete valuation ring.  r pmq -module (resp. D r : -module). Theorem 4.2.8. Let E be a coherent D X,k,Q X,k,Q

(i) There is rpE q P Z such that for all r ě rpE q there is s P Zě0 and an epimorphism of r : -modules) r pmq -modules (resp. D D X,k,Q X,k,Q ´ ¯‘s r pmq p´rq D ։E X,k,Q

(ii) For all i ą 0 one has H i pX, E q “ 0.

´ ¯‘s r : p´rq p resp. D ։E q. X,k,Q

r Proof. (a) We first show both assertions (i) and (ii) for a coherent D X,k,Q -module E . By pmq r -module F such that F bZ Q “ E . We use 4.2.2 to find 4.2.7 (i) there is a coherent D X,k for every r ě r1 pF q a surjection pmq

´

r pmq p´rq D X,k

¯‘s

։F ,

for some s (depending on r). Tensoring with Q gives then the desired surjection onto E . Hence assertion (i). Furthermore, for i ą 0 H i pX, E q “ H i pX, F q bZ Q “ 0 , by 4.2.5, and this proves (ii). r : -module. By 4.2.7 (ii) there is m ě 0 and a (b) Now suppose E is a coherent D X,k,Q pmq r r : -modules coherent module Em over DX,k,Q and an isomorphism of D X,k,Q » r: D r pmq Em ÝÑ E . X,k,Q bD X,k,Q

Now use what we have just shown for Em in (a) and get the sought for surjection after r : . This proves the first assertion. We have tensoring with D X,k,Q r pℓq b r pmq Em “ lim Eℓ r: D E “D r pmq Em “ lim X,k,Q X,k,Q bD DX,k,Q ÝÑ Ý Ñ X,k,Q ℓěm

ℓěm

r pℓq b r pmq Em is a coherent D r pℓq -module. Then we have for i ą 0 where Eℓ “ D X,k,Q X,k,Q D X,k,Q

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

21

i H i pX, E q “ lim ÝÑ H pX, Eℓ q “ 0 , ℓěm

by part (a). And this proves assertion (ii).



r pmq -affine and D r : -affine. 4.3. X is D X,k,Q X,k,Q

r pmq -module. Then E is generated by its Proposition 4.3.1. (i) Let E be a coherent D X,k,Q r pmq -module. Furthermore, E has a resolution by finite free D r pmq global sections as D X,k,Q X,k,Q modules.

r : -module. Then E is generated by its global sections as (ii) Let E be a coherent D X,k,Q : 0 r r : q-module of finite presentation. Furthermore, DX,k,Q-module. H pX, E q is a H 0 pX, D X,k,Q r : -modules. E has a resolution by finite free D X,k,Q r pmq -module of type D r pmq p´rq admits Proof. (i) Using 4.2.8 it remains to see that any D X,k,Q X,k,Q r pmq q‘s Ñ D r pmq p´rq for suitable s ě 0. We argue as in [13, 5.1]. a linear surjection pD X,k,Q

X,k,Q

r pmq p´rqq, a finitely generated D pmq pGpkqq-module by 3.3.6. Consider Let M :“ H pX, D X,k r pmq -modules equal to the composite the linear map of D 0

X,k

r pmq bDpmq pGpkqq M Ñ D r pmq b 0 r pmq M Ñ D r pmq p´rq D X,k X,k X,k H pX,D q X,k

pmq

where the first map is the surjection induced by the map QX,k appearing in 3.3.3. Let E be the cokernel of the composite map. Since D pmq pGpkqq is noetherian, the source of the r pmq p´rq b Q is map is coherent and hence E is coherent. Moreover, E b Q “ 0 since D X,k generated by global sections [4]. All in all, there is i with pi E “ 0. Now choose a linear surjection pD pmq pGpkqqq‘s Ñ M. We obtain the exact sequence of coherent modules r pmq q‘s Ñ D r pmq p´rq Ñ E Ñ 0. pD X,k X,k

Passing to p-adic completions (which is exact in our situation [5, 3.2]) and inverting p yields the linear surjection r pmq q‘s Ñ D r pmq p´rq. pD X,k,Q X,k,Q

This shows (i).

(ii) This follows from (i) exactly as in [13].



pmq r pmq q4.3.2. The functors L ocX,k and L oc:X,k . Let E be a finitely generated H 0 pX, D X,k,Q pmq : 0 r module (resp. a finitely presented H pX, D q-module). Then we let L oc pEq (resp. X,k,Q

L oc:X,k pEq)

be the sheaf on X associated to the presheaf

X,k

22

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

r pmq pUq b 0 rpmq E U ÞÑ D X,k,Q H pX,D q n,k,Q

pmq

r : pUq b 0 r : presp. U ÞÑ D X,k,Q H pX,D

X,k,Q q

Eq.

It is obvious that L ocX,k (resp. L oc:X,k ) is a functor from the category of finitely generr pmq q-modules (resp. finitely presented H 0 pX, D r : q-modules) to the cateated H 0 pX, D X,k,Q X,k,Q r pmq (resp. D r : ). gory of sheaves of modules over D X,k,Q

X,k,Q

pmq

Theorem 4.3.3. (i) The functors L ocX,k and H 0 (resp. L oc:X,k and H 0 ) are quasir pmq q-modules inverse equivalences between the categories of finitely generated H 0 pX, D X,k,Q pmq : 0 r r and coherent DX,k,Q -modules (resp. finitely presented H pX, DX,k,Qq-modules and coherent r : -modules). D X,k,Q

pmq

(ii) The functor L ocX,k (resp. L oc:X,k ) is an exact functor.

Proof. The proofs of [13, 5.2.1, 5.2.3] for the first and the second assertion, respectively, carry over word for word.  5. Localization of representations of GpLq 5.1. Modules over D an pGpkq˝ qθ0 . Let as before X be the p-adic completion of an admisr : q is canonically isomorphic sible blow up X of X0 . We recall that the algebra H 0pX, D X,k,Q to the coherent L-algebra D an pGpkq˝ qθ0 , cf. 3.3.9. According to [18, Lem. 5.2.1] the algebras D an pGpkq˝ q and D an pGpkq˝ qθ0 are compact type algebras with noetherian defining Banach algebras in the sense of loc.cit. In the following we extend some notions appearing in [18, 5.2] to the more general situation considered here. We consider the locally L-analytic compact group G0 “ G0 poq with its series of congruence subgroups Gk`1 “ Gpkq˝ pLq. The group G0 acts by translations on the space C cts pG0 , Kq of continuous K-valued functions. Following [10, (5.3)] let DpGpkq˝ , G0 q be the strong dual of the space of Gpnq˝ -analytic vectors DpGpkq˝ , G0 q :“ pC cts pG0 , KqGpkq˝ ´an q1b . It is a locally convex topological L-algebra naturally isomorphic to the crossed product of the ring D an pGpkq˝ q with the finite group G0 {Gk`1 . In particular, (5.1.1)

DpGpkq˝ , G0 q “ ‘gPG0 {Gk`1 D an pGpkq˝ q ˚ δg

is a finitely generated free topological module over D an pGpkq˝ q. Denoting by C la pG0 , Kq the space of K-valued locally analytic functions and dualizing the isomorphism

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

23

»

cts la ˝ lim ÝÑ C pG0 , KqGpkq ´an ÝÑ C pG0 , Kq k

yields an isomorphism of topological algebras »

˝ DpG0 q ÝÑ lim ÐÝ DpGpkq , G0 q . k

This is the weak Fr´echet-Stein structure on the locally analytic distribution algebra DpG0 q as introduced by Emerton in [10, Prop. 5.3.1]. In an obviously similar man» ner, we may construct the ring DpGpkq˝ , G0 qθ0 and obtain an isomorphism DpG0 qθ0 ÝÑ ˝ lim ÐÝk DpGpkq , G0 qθ0 . We consider an admissible locally analytic G0 -representation V , its coadmissible module M :“ Vb1 and its subspace of Gpkq˝ -analytic vectors VGpkq˝ ´an Ď V . The latter subspace is naturally a nuclear Fr´echet space [10, Lem. 6.1.6] and we let pVGpkq˝ ´an q1b be its strong dual. It is a space of compact type and a topological DpGpkq˝ , G0 q-module which is finitely generated [10, Lem. 6.1.13]. According to [10, Thm. 6.1.20] the modules Mk :“ pVGpkq˝ ´an q1 form a pDpGpkq˝ , G0 qqkPN -sequence, in the sense of [10, Def. 1.3.8], for the coadmissible module M relative to the weak Fr´echet-Stein structure on DpG0 q. This implies that one has (5.1.2)

ˆ DpG0 q M Mk “ DpGpkq˝ , G0 qb

as DpGpkq˝ , G0 q-modules for any k. Here, the completed tensor product is understood in the sense of [10, Lem. 1.2.3], as in [18]. Lemma 5.1.3. (i) The DpGpkq˝ , G0 q-module Mk is finitely presented. (ii) There are natural isomorphisms »

DpGpk ´ 1q˝ , G0 q bDpGpkq˝ ,G0 q Mk ÝÑ Mk´1 . Proof. This can be proved exactly as [18, Lem. 5.2.4].



Remark: These results have obvious analogues when the character θ0 is involved. 5.2. G0 -equivariance and the functor L oc:8 . A p-adic completion X of an admissible blow-up X of X0 will be called an admissible formal blow-up of X0 . We note here that any formal scheme X which is obtained from X0 by blowing-up a coherent open ideal on X0 is an admissible blow-up in this sense. Indeed, if I Ă X0 is the ideal which is blown-up, then I X OX0 is a coherent open ideal on X0 . Blowing-up this ideal on X0 and completing p-adically gives back X.

24

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

If the coherent open ideal I Ă X0 that is blown-up is G0 -stable, then there is an induced G0 -action on X and X. In this case, we will say that X and X are G0 -stable. In the r: following we suppose that k is large enough for X, so that the sheaf D X,k,Q is defined on X.

Proposition 5.2.1. Let π : X1 Ñ X be a morphism between admissible formal blow-ups of X0 which is an isomorphism on corresponding rigid analytic spaces. If M 1 is a coherent r : 1 1 -module, then Rj π˚ M 1 “ 0 for j ą 0. Moreover, π˚ D r: 1 1 “ D r : 1 1 , so that π˚ D X ,k ,Q X ,k ,Q X ,k ,Q : : r r induces an exact functor between coherent modules over DX1 ,k1 ,Q and DX,k1 ,Q respectively. Proof. We denote the associated rigid analytic space of X by XQ . Coherent modules over XQ are equivalent to coherent modules over OX,Q [5, 4.1.3] and similarly for X1 . This implies Rj π˚ OX1 ,Q “ 0 for j ą 0 and π˚ OX1 ,Q “ OX,Q . In particular, there is N ě 0 such that pN Rj π˚ OX1 “ 0 for j ą 0 and such that the kernel and cokernel of the natural map OX Ñ π˚ OX1 are killed by pN . For any i ě 0, let Xi be the reduction of X mod pi`1 and similarly for X1 and denote by πi : Xi1 Ñ Xi the morphism induced by π. For any i we have then pN Rj πi˚ OXi “ 0 for j ą 0 and such that the kernel and cokernel of the natural map OXi Ñ πi˚ OXi1 are killed by pN . We now prove the assertions. According to 4.3.1 the module M 1 is generated by global sections. Induction on j reduces us therefore to r : 1 1 . Since Rj π˚ commutes with inductive limits, it suffices to prove the case M “ D X ,k ,Q pmq r r pmq1 {pi`1 D r pmq1 and similarly for X1 . Then r pmq 1 for D the claim for D 1 1 . Abbreviate D X ,k ,Q

Xi ,k

X,k

X,k

˚ r pmq r pmq D X 1 ,k 1 “ πi DXi ,k 1 by 3.2.9 and the projection formula implies i

j r pmq r pmq 1 Rj πi˚ D X 1 ,k 1 “ DXi ,k 1 b R πi˚ OXi . i

We see for any i ě 0 that

r pmq pN Rj πi˚ D X 1 ,k 1 “ 0 i

for all j ą 0 and that the natural map

r pmq 1 Ñ πi˚ D r pmq D Xi ,k X 1 ,k 1 i

N

has kernel and cokernel killed by p . Taking inverse limits over i, arguing as in 4.2.1 and r: 1 1 “ D r: 1 . finally inverting p yields the first claim and π˚ D  X ,k ,Q X,k ,Q r: . 5.2.2. If X is G0 -stable, then there is an induced (left) action of G0 on the sheaf D X,k,Q : : r r Given g P G0 and a local section s of DX,k,Q , there is thus a local section g.s of DX,k,Q. We r : , G0 q of (left) G0 -equivariant coherent can then consider the abelian category CohpD X,k,Q : r DX,k,Q-modules. Furthermore, the group Gk`1 is contained in D an pGpkq˝ q as a set of delta r : q “ D an pGpkq˝ qθ . distributions, and for h P Gk`1 we write δh for its image in H 0 pX, D 0 X,k,Q r: we have For g P G0 , h P Gk`1 , we have g.δh “ δghg´1 , and for a local section s of D X,k,Q then the relation

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

(5.2.3)

25

g.psδh q “ pg.sqpg.δhq “ pg.sqδghg´1 .

Suppose now that π : X1 Ñ X is a G0 -equivariant morphism between admissible formal blow-ups of X0 which is an isomorphism on corresponding rigid analytic spaces and that k 1 ě k are sufficiently large. According to 5.2.1 there is then a natural morphism of sheaves of rings Ď r: 1 1 “ D r : 1 ÝÑ r: π˚ D D X,k,Q X ,k ,Q X,k ,Q

(5.2.4)

r : -module r : 1 1 -module MX1 , the D which is G0 -equivariant. Given a coherent D X,k,Q X ,k ,Q r: D r: X,k,Q bπ˚ D

X1 ,k1 ,Q

π˚ MX1

is G0 -equivariant via g.psbmq “ pg.sqbpg.mq for local sections s, m and g P G0 . Consider its submodule RX locally generated by all elements sδh bm´sbph.mq for h P Gk1 . Because of 5.2.3 the submodule RX is G0 -stable. We put ˆ ˙ : : r r D MX1 :“ D π˚ MX1 { RX . r: r: X,k,Q bD X,k,Q bπ˚ D ,G 1 X1 ,k1 ,Q

X1 ,k1 ,Q

k

5.2.5. We let X “ G{B be the flag variety of G and denote by X :“ X ad

the associated adic space. For simplicity, an admissible formal blow-up X of X0 will be called a formal model for X over X0 . This set of formal models is a projective system if it is indexed by the directed family of coherent open ideals on X0 , cf. [6, 9.3]. Any morphism in the projective system is an isomorphism on corresponding rigid analytic spaces. Given a subsystem F of this projective system, we will denote the corresponding projective limit by X8 pF q “ lim ÐÝF X or simply X8 . In the following we will work relative to such a fixed system F . A family of congruence levels for F is an increasing family k of natural numbers k “ kX for each X P F (increasing means that k 1 ě k whenever there is a morphism X1 Ñ X in F ). In the following, we fix such a family k with the additional r: property that the sheaf D X,kX ,Q is defined for each X P F . We finally assume that all models in F are G0 -stable and that all morphisms in F are G0 -equivariant. Proposition 5.2.6. If F equals the set of all G0 -equivariant formal models of X over X0 , then X8 “ X .

Proof. According to [19] it suffices to see that any admissible formal blow-up X of X0 is dominated by one which is G0 -stable. If I is the ideal which is blown-up and if pk OX0 Ă I for some k, then Gk :“ Gpkqpoq stabilizes I and I 1 :“ I ¨ OX . Let g1 , ..., gN be a system

26

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

of representatives for G0 {Gk and let J be the product of the finitely many ideals gi I 1 . Then J is G0 -stable and blowing-up J on X yields a G0 -stable model over X.  Definition 5.2.7. A G0 -equivariant coadmissible module on X8 consists of a family M :“ r : , G0 q together with isomorphisms pMX qXPF of objects MX P CohpD X,k,Q (5.2.8)

»

r: D r: X,k,Q bD

,Gk1 X1 ,k1 ,Q

MX1 ÝÑ MX

r : -modules whenever there is a morphism X1 Ñ X in F . The of G0 -equivariant D X,k,Q isomorphisms are required to satisfy the obvious transitivity condition whenever there are morphisms X2 Ñ X1 Ñ X in F . A morphism M Ñ N between two such modules consists of morphisms MX Ñ NX in r : , G0 q compatible with the isomorphisms above. CohpD X,k,Q Let M be a G0 -equivariant coadmissible module on X8 . The isomorphisms 5.2.8 induce morphisms π˚ MX1 Ñ MX having global sections H 0 pX1 , MX1 q Ñ H 0 pX, MX q. We let 0 H 0 pX8 , M q :“ lim ÐÝ H pX, MXq . X

5.2.9. On the other hand, we consider the category of coadmissible DpG0 qθ0 -modules. Given such a module M we have its associated admissible locally analytic G0 -representation V “ Mb1 together with its subspace of Gpkq˝ -analytic vectors VGpkq˝ ´an . The latter is stable under the G0 -action and its dual Mk :“ pVGpkq˝ ´an q1 is a finitely presented DpGpkq˝ , G0 qθ0 module, cf. 5.1.3. Now consider a model X in F and let k “ kX . According to Thm. 4.3.3 r : -module we have the coherent D X,k,Q r: L oc:X,k pMk q “ D X,k,Q bD an pGpkq˝ qθ0 Mk

on X. Using the contragredient G0 -action on the dual space Mk , we put g.ps b mq :“ pg.sq b pg.mq for g P G0 , m P Mk and a local section s. In this way, L oc:X,k pMk q becomes an object of r : , G0 q. CohpD X,k,Q

Proposition 5.2.10. (i) The family L oc:X,kX pMkX q forms a G0 -equivariant coadmissible module on X8 . Call it L oc: pMq. The formation of L oc: pMq is functorial in M. (ii) The functors L oc: and H 0 pX8 , ¨q are quasi-inverse equivalences between the categories of coadmissible DpG0 qθ0 -modules and G0 -equivariant coadmissible modules on X8 .

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

27

Proof. Assume k 1 ě k. We let H :“ Gk`1 {Gk1 `1 and we denote a system of representatives in Gk`1 for the cosets in H by the same symbol. For simplicity, we abbreviate in this proof Dpkq :“ D an pGpkq˝ qθ0 and Dpk, G0q :“ DpGpkq˝ , G0 qθ0 and similarly for k 1 . We have the natural inclusion Dpkq ãÑ Dpk, G0q from 5.1.1 which is compatible with variation in k. Now suppose M is a Dpk 1 , G0 q-module. We then have the free Dpkq-module Dpkq‘M ˆH on a basis em,h indexed by the elements pm, hq of the set M ˆ H. Its formation is functorial in M: if M 1 is another module and f : M Ñ M 1 a linear map, then em,h Ñ ef pmq,h induces a linear map between the corresponding free modules. The free module comes with a linear map fM : Dpkq‘M ˆH Ñ Dpkq bDpk1 q M given by ‘pm,hq λm,h em,h ÞÑ pλm,h δh q b m ´ λm,h b ph ¨ mq for λm,h P Dpkq where we consider M a Dpk 1 q-module via the inclusion Dpk 1 q ãÑ Dpk 1 , G0 q. The map is visibly functorial in M and gives rise to the sequence of linear maps f

can

M M Dpkq‘M ˆH ÝÑ Dpkq bDpk1 q M ÝÑ Dpk, G0 q bDpk1 ,G0 q M ÝÑ 0

where the second map is induced from the inclusion Dpk 1 q ãÑ Dpk 1 , G0 q. The sequence is functorial in M, since so are both occuring maps. Claim 1: If M is a finitely presented Dpk 1 , G0 q-module, then the above sequence is exact. Proof. This can be proved as in the proof of [18, Prop. 5.3.5].



Let π : X1 Ñ X be a morphism in F and let k “ kX , k 1 “ kX1 . Claim 2: Suppose M is a finitely presented Dpk 1 q-module and let M :“ L oc:X1 ,k1 pMq. The natural morphism » r: L oc:X,k pDpkq bDpk1 q Mq ÝÑ D r: X,k,Q bπ˚ D

X1 ,k1 ,Q

is bijective.

π˚ M

r : 1 1 -modules according to 5.2.1. Choosing Proof. The functor π˚ is exact on coherent D X ,k ,Q a finite presentation of M reduces to the case M “ Dpk 1 q which is obvious.  Now let M be a finitely presented Dpk 1 , G0 q-module. Let m1 , . . . , mr be generators for M as a Dpk 1 q-module. We have a sequence of Dpkq-modules

28

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

à

f1

can

M M Dpkq bDpk1 q M ÝÑ Dpk, G0 q bDpk1 ,G0 q M ÝÑ 0 Dpkqemi ,h ÝÑ

i,h

1 where fM denotes the restriction of the map fM to the free submodule of Dpkq‘M ˆH 1 generated by the finitely many vectors emi ,h , i “ 1, . . . , r, h P Hn . Since impfM q “ impfM q the sequence is exact by the first claim. Since it consists of finitely presented Dpkqmodules, we may apply the exact functor L oc:X,k,Q to it. By the second claim, we get an exact sequence

r : q‘r|H| Ñ D r: pD r: X,k,Q X,k,Q bπ˚ D

X1 ,k1 ,Q

π˚ M Ñ L oc:X,k pDpk, G0 q bDpk1 ,G0 q Mq Ñ 0

where M “ L oc:X1 ,k1 pMq. The cokernel of the first map in this sequence equals by definition r: D r: X,k,Q bπ˚ D

X1 ,k1 ,Q

whence an isomorphism r: D r: X,k,Q bπ˚ D

X1 ,k1 ,Q

,Gk1

π˚ M ,

»

,G1k

π˚ M ÝÑ L oc:X,k pDpk, G0q bDpk1 ,G0 q Mq .

This implies both parts of the proposition.



5.2.11. Denote the canonical projection map X8 Ñ X by spX for each X. We define the following sheaf of rings on X8 . Assume V Ď X8 is an open subset of the form sp´1 X pUq with an open subset U Ď X for a model X. We have that spX1 pV q “ π ´1 pUq for any blow-up morphism π : X1 Ñ X in F and so, in particular, spX1 pV q Ď X1 is an open subset for such X1 . Moreover, π ´1 pspX1 pV qq “ spX2 pV q whenever π : X2 Ñ X1 is a blow-up morphism over X in F . In this situation, the morphism 5.2.4 induces the ring homomorphism (5.2.12)

r : 1 1 psp 1 pV qq r : 2 2 ppsp 1 pV qq Ñ D r : 2 2 psp 2 pV qq “ π˚ D D X X X X ,k ,Q X ,k ,Q X ,k ,Q

and we form the projective limit

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

29

r : pV q :“ lim D r : 1 1 psp 1 pV qq D X 8,Q X ,k ,Q Ð Ý 1 X ÑX

over all these maps. The open subsets of the form V form a basis for the topology on r : is a presheaf on this basis. We denote the associated sheaf on X8 by the X8 and D 8,Q r : as well. It is a G0 -equivariant sheaf of rings on X8 . symbol D 8,Q Remark: In the case where F consists of all G0 -stable formal models of X over X0 , we r : by D r : (or simply D r : ). have X8 “ X by 5.2.6 and we denote the sheaf D X 8,Q X ,Q

5.2.13. Suppose M :“ pMX qX is a G0 -equivariant coadmissible module on X8 as defined in 5.2.7. The isomorphisms 5.2.8 induce G0 -equivariant maps π˚ MX1 Ñ MX which are linear relative to the morphism 5.2.4. In a completely analogous manner as above, we r : -module on X8 whose obtain a sheaf M8 on X8 . It is a G0 -equivariant (left) D 8,Q formation is functorial in M .

Proposition 5.2.14. The functor M Ñ M8 from G0 -equivariant coadmissible modules r : -modules is a fully faithful embedding. on X8 to G0 -equivariant D 8,Q

Proof. We have spX pX8 q “ X for all X. The global sections of M8 are therefore equal to 0 ΓpX8 , M8 q “ lim ÐÝ ΓpX, MXq “ H pX8 , M q X

in the notation of the previous section. Thus, the functor L oc: ˝ ΓpX8 , ´q is a left quasi-inverse according to Prop. 5.2.10.  We denote by L oc:8 the composite of the functor L oc: with p¨q8 , i.e. :

L oc r : ´ modules u. t coadmissible DpG0 qθ0 ´ modules u ÝÑ8 t G0 ´ equivariant D 8,Q

It is fully faithful. We tentatively call its essential image the coadmissible G0 -equivariant r : -modules. It is an abelian category. In the case where X8 equals the whole adic flag D 8,Q variety X we write L oc:X for the functor L oc:8 .

5.3. G-equivariance and the main theorem. Let G :“ GpLq. Denote by B the (semisimple) Bruhat-Tits building of the p-adic group G together with its natural G-action.

5.3.1. To each special vertex v P B we have the associated smooth affine Bruhat-Tits group scheme Gv over o and a smooth model X0 pvq of the flag variety of G. All constructions in sections 3-4 are associated with the group scheme G0 with vertex, say v0 , but can be done canonically for any other of the reductive group schemes Gv . We distinguish the various constructions from each other by adding the corresponding vertex v to them, i.e. we write Xpvq for an admissible blow-up of the smooth model X0 pvq and so on. We

30

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

then choose a subset F pvq of models over X0 pvq for X as in the preceding subsection, but relative to the vertex v. We assume that one of these subsets, say the one belonging to v0 , is stable under admissible blowing-up. According to [6], any Xpvq P F pvq, v P B is then dominated by an element from F pv0 q. As before, we denote the projective limit over F pv0 q by X8 . According to the previous subsection, we have the G0 -equivariant sheaf r : on X8 . D 8,Q g.

An element g P G induces a morphism X0 pvq ÝÑ X0 pgvq which satisfies pghq. “ pg.q ˝ ph.q and 1. “ id for g, h P G. If Xpvq Ñ X0 pvq is an admissible blowing up of an ideal g. I Ă X0 pvq, then the universal property of blowing-up induces an isomorphism Xpvq ÝÑ Xpgvq onto the blowing-up of X0 pgvq at the ideal g.I. We make the assumption that our union of models is G-stable in the sense that Xpvq P F pvq ùñ Xpgvq P F pgvq for any Xpvq P F pvq and any g P G. We also assume that kXpvq “ kXpgvq in this situation. We obtain thus a G-action on X8 . By definition of this action, there is an equality (5.3.2)

spXpgvq pg.V q “ g.spXpvq pV q

in Xpgvq for g P G and V Ď X8 . r : extends to a GProposition 5.3.3. The G0 -equivariant structure on the sheaf D 8,Q equivariant structure. g.

Proof. Let g P G. The isomorphism Xpvq ÝÑ Xpgvq induces a ring isomorphism

(5.3.4)

g. r: r: D Xpvq,k,Q pUq ÝÑ DXpgvq,k,Q pg.Uq

for any open subset U Ď Xpvq where k “ kXpvq . In particular, for an open subset V Ď X8 1 of the form V “ sp´1 Xpvq pUq with U Ď Xpvq open and a blow-up morphism X pvq Ñ Xpvq, this gives a ring homomorphism (5.3.5)

g. r: 1 r: r: D X pvq,k 1 ,Q pspX1 pvq pV qq ÝÑ DX1 pgvq,k 1 ,Q pg.spX1 pvq pV qq “ DX1 pgvq,k 1 ,Q pspX1 pgvq pgV qq

where we have used 5.3.2 and where k 1 “ kX1 pvq . A given morphism π : Xpv 1q Ñ Xpvq with Xpv 1 q P F pv 1q and Xpvq P F pvq which is an isomorphism on corresponding rigid analytic spaces induces a morphism of sheaves of rings (5.3.6)

Ď r: 1 1 “ D r: r: π˚ D Xpv q,k ,Q Xpvq,k 1 ,Q ÝÑ DXpvq,k,Q

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

31

by 5.2.1. Here, k “ kXpvq and k 1 “ kXpv1 q . Given V Ă X8 of the form V “ sp´1 Xp˜ v q pUq with an open set U Ď Xp˜ v q, the morphism 5.3.6 induces a ring homomorphism (5.3.7)

r : 1 1 psp 1 pV qq “ π˚ D r : 1 1 psp pV qq Ñ D r: D Xpv q Xpvq Xpv q,k ,Q Xpv q,k ,Q Xpvq,k,Q pspXpvq pV qq

whenever the morphism π : Xpv 1q Ñ Xpvq lies over Xp˜ vq. If we write Xpv 1 q ě Xpvq in this situation, then the family of all models Xpvq over Xp˜ vq becomes directed, the : r DXpvq,k,Q pspXpvq pV qq become a projective system and we may form the projective limit lim ÐÝ

XpvqÑXp˜ vq

r: D Xpvq,k,Q pspXpvq pV qq .

r : pV q. Since the homomorphism 5.3.5 is By cofinality, this projective limit equals D 8,Q compatible with varying X1 pv 1 q in the directed family, we deduce for a given g P G a ring homomorphism g. r : pV q “ lim D r: r: r: D psp pV qq Ñ lim Xpvq 8,Q Xpvq,k,Q ÐÝ ÐÝ DXpgvq,k,Q pspXpgvq pgV qq “ D8,Q pgV q . Xpvq

Xpgvq

r : is G-equivariant. It is clear from the construction that the It implies that the sheaf D 8,Q G-equivariant structure extends the G0 -structure. 

r : -module whose equivariant structure extends to the A coadmissible G0 -equivariant D 8,Q r : -module. full group G, will simply be called a coadmissible G-equivariant D 8,Q

Theorem 5.3.8. The functors L oc:8 and ΓpX8 , ¨q are quasi-inverse equivalences between the categories of coadmissible DpG0 qθ0 -modules and coadmissible G0 -equivariant r : -modules. The subcategories of coadmissible DpGqθ -modules and coadmissible GD 0 8,Q : r equivariant D8,Q -modules correspond to each other.

Proof. We only need to show the second statement. It is clear that a coadmissible DpG0 qθ0 r : -module is a DpGqθ -module. module which comes from a coadmissible G-equivariant D 0 8,Q For the converse, we consider a special vertex v P B and a model Xpvq and the corresponding localisation functor L oc:Xpvq,k,Q (where k “ kXpvq ) which is an equivalence between r: finitely presented D an pGv pkq˝ qθ -modules and coherent D -modules on Xpvq. Here, Xpvq,k,Q

0

Gv denotes as before the reductive Bruhat-Tits group scheme over o associated with the special vertex v. The adjoint action of G on its Lie algebra induces a ring isomorphism (5.3.9)

g.

D an pGv pkq˝ q Ñ D an pGgv pkq˝ q

32

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

for any g P G. Now consider a coadmissible DpGqθ0 -module M with dual space V “ M 1 . We have the family pMXpvq qXpvq where r: an ˝ MXpvq “ L oc:Xpvq,k,Q pMk,v q “ D Xpvq,k,Q bD pGv pkq qθ0 Mk,v

and Mk,v “ pVGv pkq˝ ´an q1 with k “ kXpvq . Let g P G. The map m ÞÑ gm on M induces a map Mk,v Ñ Mk,gv which is linear relative to 5.3.9. We therefore have for any open subset U Ď Xpvq a homomorphism g.

MXpvq pUq ÝÑ MXpgvq pg.Uq which is induced by the map s b m ÞÑ pg.sq b gm . r: for s P D Xpvq,k,Q pUq, m P Mk,v and where g. is the ring isomorphism 5.3.4. In particular, for an open subset V Ď X8 of the form V “ sp´1 Xpvq pUq with U Ď Xpvq open, this gives a homomorphism for (5.3.10)

g.

MXpvq pspXpvq pV qq ÝÑ MXpgvq pg.spXpvq pV qq “ MXpgvq pspXpgvq pgV qq

which is linear relative to the ring homomorphism 5.3.5. A given morphism π : Xpv 1 q Ñ Xpvq with Xpv 1 q P F pv 1q and Xpvq P F pvq which is an isomorphism on corresponding rigid analytic spaces induces a morphism (5.3.11)

π˚ MXpv1 q ÝÑ MXpvq

compatible with the morphism of rings 5.3.6 as follows. First of all, one has an isomorphism ¯ ´ ¯ ´ » : : r 1 1 π˚ L ocXpv1 q,k1 ,Q pMk ,v q ÝÑ π˚ DXpv1 q,k1 ,Q bDan pGv1 pk1 q˝ qθ0 Mk1 ,v1 .

Indeed, π˚ is exact by 5.2.1 and we may argue with finite presentations as usually. Moreover, we have inclusions Gv1 pk 1 q Ď Gv pkq and thus VGv pkq˝ ´an Ď VGv1 pk1 q˝ ´an . The dual map Mk1 ,v1 Ñ Mk,v is linear relative to the natural inclusion D an pGv1 pk 1 q˝ q Ñ D an pGv pkq˝ q .

D : -AFFINITY OF FORMAL MODELS OF FLAG VARIETIES

33

The latter inclusion is compatible with the morphism of rings 5.3.6 via taking global sections. Hence, we have a morphism 5.3.11 as claimed. We now have everything at hand to follow the arguments in the proof of the preceding proposition word for word and to conclude that the projective limit M8 has a G-action which extends its G0 r : -module. This completes the proof of the action and which makes it a G-equivariant D 8,Q theorem. 

We finally look at the special case of the whole adic flag variety X with its sheaf of infinite r : , cf. 5.2.11. Recall the functor L oc: from the end of order differential operators D X X ,Q 5.2. r : of Theorem 5.3.12. Let X be the adic analytic flag variety of G with its sheaf D X ,Q

L oc:X

infinite order differential operators. The functors and ΓpX , ¨q are quasi-inverse equivalences between the categories of coadmissible DpG0 qθ0 -modules and coadmissible G0 r : -modules. The subcategories of coadmissible DpGqθ -modules and coadequivariant D 0 X ,Q : r missible G-equivariant DX ,Q -modules correspond to each other. Proof. Taking each F pvq to be the set of all equivariant formal models, we obtain X8 “ X according to 5.2.6 and the result follows from the preceding theorem.  References ˆ [1] K. Ardakov. D-modules on rigid analytic spaces. Proceedings of the International Congress of Mathematicians 2014 Seoul, Korea (to appear). [2] Konstantin Ardakov and Simon Wadsley. D-modules on rigid analytic spaces I. Preprint, 2015. http://arxiv.org/abs/1501.02215. [3] Konstantin Ardakov and Simon Wadsley. On irreducible representations of compact p-adic analytic groups. Ann. of Math. (2), 178(2):453–557, 2013. [4] A. Be˘ılinson and J. Bernstein. Localisation de g-modules. C. R. Acad. Sci. Paris S´er. I Math., 292(1):15–18, 1981. [5] P. Berthelot. D-modules arithm´etiques I. Op´erateurs diff´erentiels de niveau fini. Ann. Sci. E.N.S, 29:185–272, 1996. [6] Siegfried Bosch. Lectures on Formal and Rigid Geometry. Lecture Notes in Math., Vol. 2105. Springer-Verlag, Berlin, 2014. [7] Siegfried Bosch, Werner L¨ utkebohmert, and Michel Raynaud. N´eron models, volume 21 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. SpringerVerlag, Berlin, 1990. [8] J.-L. Brylinski and M. Kashiwara. D´emonstration de la conjecture de Kazhdan-Lusztig sur les modules de Verma. C. R. Acad. Sci. Paris S´er. A-B, 291(6):A373–A376, 1980. [9] J.-L. Brylinski and M. Kashiwara. Kazhdan-Lusztig conjecture and holonomic systems. Invent. Math., 64(3):387–410, 1981. [10] M. Emerton. Locally analytic vectors in representations of locally p-adic analytic groups. Preprint. To appear in: Memoirs of the AMS. ´ ements de g´eom´etrie alg´ebrique. II. Etude ´ [11] A. Grothendieck. El´ globale ´el´ementaire de quelques classes ´ de morphismes. Inst. Hautes Etudes Sci. Publ. Math., (8):222, 1961. [12] R. Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in Math., No. 52.

34

CHRISTINE HUYGHE, DEEPAM PATEL, TOBIAS SCHMIDT, AND MATTHIAS STRAUCH

[13] C. Huyghe. D : -affinit´e de l’espace projectif. Compositio Math., 108(3):277–318, 1997. With an appendix by P. Berthelot. [14] C. Noot-Huyghe and T. Schmidt. D-modules arithm´etiques, distributions et localisation. Preprint 2013. [15] Christine Noot-Huyghe. Un th´eor`eme de Beilinson-Bernstein pour les D-modules arithm´etiques. Bull. Soc. Math. France, 137(2):159–183, 2009. [16] D. Patel, T. Schmidt, and M. Strauch. Arithmetic differential operators on a semistable models of P1 . Preprint, 2014. http://arxiv.org/abs/1410.1001. [17] D. Patel, T. Schmidt, and M. Strauch. Integral models of P1 and analytic distribution algebras for GLp2q. M¨ unster J. Math., vol. 7 (2014), 241-271. [18] D. Patel, T. Schmidt, and M. Strauch. Locally analytic representations of GLp2, Lq via semistable models of P1 . Preprint 2014. http://arxiv.org/abs/1410.1423. [19] M. van der Put and P. Schneider. Points and topologies in rigid geometry. Math. Ann., 302(1):81–103, 1995. [20] William C. Waterhouse and Boris Weisfeiler. One-dimensional affine group schemes. J. Algebra, 66(2):550–568, 1980. [21] Jiu-Kang Yu. Smooth models associated to concave functions in Bruhat-Tits theory. Preprint, http://www.math.purdue.edu/ jyu/prep/model.pdf. IRMA, Universit´ e de Strasbourg, 7 rue Ren´ e Descartes, 67084 Strasbourg cedex, France E-mail address: [email protected] Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907, U.S.A. E-mail address: [email protected] ¨r Mathematik, Humboldt-Universita ¨t zu Berlin, Rudower Chaussee 25, 12489 Institut fu Berlin, Germany E-mail address: [email protected] Indiana University, Department of Mathematics, Rawles Hall, Bloomington, IN 47405, U.S.A. E-mail address: [email protected]