41 research outputs found

    pp-torsion coefficient systems for SL2(Qp){\rm SL}_2({\bf Q}_p) and GL2(Qp){\rm GL}_2({\bf Q}_p),

    Full text link
    We show that the categories of smooth SL2(Qp){\rm SL}_2({\mathbb Q}_p)-representations (resp. GL2(Qp){\rm GL}_2({\mathbb Q}_p)-representations) of level 11 on pp-torsion modules are equivalent with certain explicitly described equivariant coefficient systems on the Bruhat-Tits tree; the coefficient system assigned to a representation VV assigns to an edge Ï„\tau the invariants in VV under the pro-pp-Iwahori subgroup corresponding to Ï„\tau. The proof relies on computations of the group cohomology of a compact open subgroup group N0N_0 of the unipotent radical of a Borel subgroup

    Integral structures in automorphic line bundles on the pp-adic upper half plane

    Full text link
    Given an automorphic line bundle OX(k){\mathcal O}_X(k) of weight kk on the Drinfel'd upper half plane XX over a local field KK, we construct a GL2(K){\rm GL}_2(K)-equivariant integral lattice OX^(k){\mathcal O}_{\widehat{\mathfrak X}}(k) in OX(k)⊗KK^{\mathcal O}_X(k)\otimes_K\widehat{K}, as a coherent sheaf on the formal model X^\widehat{\mathfrak{X}} underlying X⊗KK^X\otimes_K\widehat{K}. Here K^/K\widehat{K}/K is ramified of degree 22. This generalizes a construction of Teitelbaum from the case of even weight kk to arbitrary integer weight kk. We compute H∗(X~,OX^(k))H^*(\widetilde{\mathfrak{X}},{\mathcal O}_{\widehat{\mathfrak X}}(k)) and obtain applications to the de Rham cohomology HdR1(Γ\X,SymKk(St))H_{dR}^1(\Gamma\backslash X,{\rm Sym}_K^k({\rm St})) with coefficients in the kk-th symmetric power of the standard representation of SL2(K){\rm SL}_2(K) (where k≥0k\ge0) of projective curves Γ\X\Gamma\backslash X uniformized by XX: namely, we prove the degeneration of a certain reduced Hodge spectral sequence computing HdR1(Γ\X,SymKk(St))H_{dR}^1(\Gamma\backslash X,{\rm Sym}_K^k({\rm St})), we re-prove the Hodge decomposition of HdR1(Γ\X,SymKk(St))H_{dR}^1(\Gamma\backslash X,{\rm Sym}_K^k({\rm St})) and show that the monodromy operator on HdR1(Γ\X,SymKk(St))H_{dR}^1(\Gamma\backslash X,{\rm Sym}_K^k({\rm St})) respects integral de Rham structures and is induced by a "universal"{} monodromy operator defined on X^\widehat{\mathfrak{X}}, i.e. before passing to the Γ\Gamma-quotient

    Finiteness of de Rham cohomology in rigid analysis

    Full text link
    For a big class of smooth dagger spaces --- dagger spaces are 'rigid spaces with overconvergent structure sheaf' --- we prove finite dimensionality of de Rham cohomology. This is enough to obtain finiteness of Berthelot's rigid cohomology also in the non-smooth case. We need a careful study of de Rham cohomology in situations of semi-stable reduction

    Equivariant crystalline cohomology and base change

    Full text link
    Given a perfect field kk of characteristic p>0p>0, a smooth proper kk-scheme YY, a crystal EE on YY relative to W(k)W(k) and a finite group GG acting on YY and EE, we show that, viewed as virtual k[G]k[G]-module, the reduction modulo pp of the crystalline cohomology of EE is the de Rham cohomology of EE modulo pp. On the way we prove a base change theorem for the virtual GG-representions associated with GG-equivariant objects in the derived category of W(k)W(k)-modules

    Frobenius and monodromy operators in rigid analysis, and Drinfel'd's symmetric space

    Full text link
    We define Frobenius and monodromy operators on the de Rham cohomology of KK-dagger spaces (rigid spaces with overconvergent structure sheaves) with strictly semistable reduction YY, over a complete discrete valuation ring KK of mixed characteristic. For this we introduce log rigid cohomology and generalize the so called Hyodo-Kato isomorphism to versions for non-proper YY, for non-perfect residue fields, for non-integrally defined coefficients, and for the various strata of YY. We apply this to define and investigate crystalline structure elements on the de Rham cohomology of Drinfel'd's symmetric space XX and its quotients. Our results are used in a critical way in the recent proof of the monodromy-weight conjecture for quotients of XX given by de Shalit

    Locally unitary principal series representations of GLd+1(F){\rm GL}_{d+1}(F)

    Full text link
    For a local field FF we consider tamely ramified principal series representations VV of G=GLd+1(F)G={\rm GL}_{d+1}(F) with coefficients in a finite extension KK of Qp{\mathbb Q}_p. Let I0I_0 be a pro-pp-Iwahori subgroup in GG, let H(G,I0){\mathcal H}(G,I_0) denote the corresponding pro-pp-Iwahori Hecke algebra. If VV is locally unitary, i.e. if the H(G,I0){\mathcal H}(G,I_0)-module VI0V^{I_0} admits an integral structure, then such an integral structure can be chosen in a particularly well organized manner, in particular its modular reduction can be made completely explicit

    Acyclic coefficient systems on buildings

    Full text link
    For cohomological (resp. homological) coefficient systems F{\mathcal F} (resp. V{\mathcal V}) on affine buildings XX with Coxeter data of type A~d\widetilde{A}_d we give for any k≥1k\ge1 a sufficient local criterion which implies Hk(X,F)=0H^k(X,{\mathcal F})=0 (resp. Hk(X,V)=0)H_k(X,{\mathcal V})=0). Using this criterion we prove a conjecture of de Shalit on the acyclicity of coefficient systems attached to hyperplane arrangements on the Bruhat-Tits building of the general linear group over a local field. We also generalize an acyclicity theorem of Schneider and Stuhler on coefficient systems attached to representations

    Compactifications of Log Morphisms

    Full text link
    We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally extends to this compactification and there is a notion of smoothness for such data. We indicate how this weak sort of compactification may be used to develop useful de Rham and crystalline cohomology theories for semistable log schemes over the log point over a field which are not necessarily proper

    De Rham cohomology of rigid spaces

    Full text link
    We define de Rham cohomology groups for rigid spaces over non-archimedean fields of characteristic zero, based on the notion of dagger space. We establish some functorial properties and a finiteness result, and discuss the relation to the rigid cohomology as defined by P. Berthelot

    Locally algebraic automorphisms of the PGL2(F){\rm PGL}_2(F)-tree and o{\mathfrak o}-torsion representations

    Full text link
    For a local field FF and an Artinian local coefficient ring Λ\Lambda with the same positive residue characteristic pp we define, for any e∈Ne\in{\mathbb N}, a category C(e)(Λ){\mathfrak C}^{(e)}(\Lambda) of GL2(F){\rm GL}_2(F)-equivariant coefficient systems on the Bruhat-Tits tree XX of PGL2(F){\rm PGL}_2(F). There is an obvious functor from the category of GL2(F){\rm GL}_2(F)-representations over Λ\Lambda to C(e)(Λ){\mathfrak C}^{(e)}(\Lambda). If F=QpF={\mathbb Q}_p then C(1)(Λ){\mathfrak C}^{(1)}(\Lambda) is equivalent to the category of smooth GL2(Qp){\rm GL}_2({\mathbb Q}_p)-representations over Λ\Lambda generated by their invariants under a pro-pp-Iwahori subgroup. For general FF and ee we show that the subcategory of all objects in C(e)(Λ){\mathfrak C}^{(e)}(\Lambda) with trivial central character is equivalent to a category of representations of a certain subgroup of Aut(X){\rm Aut}(X) consisting of "locally algebraic automorphisms of level ee". For e=1e=1 there is a functor from this category to that of modules over the (usual) pro-pp-Iwahori Hecke algebra; it is a bijection between irreducible objects. Finally, we present a parallel of Colmez' functor V↦D(V)V\mapsto {\bf D}(V): to objects in C(e)(Λ){\mathfrak C}^{(e)}(\Lambda) (for any FF) we assign certain \'{e}tale (φ,Γ)(\varphi,\Gamma)-modules over an Iwasawa algebra o[[N^0,1(1)]]{\mathfrak o}[[\widehat{N}^{(1)}_{0,1}]] which contains the (usually considered) Iwasawa algebra o[[N0]]{\mathfrak o}[[{N}_{0}]]. This assignment preserves finite generation
    corecore