178 research outputs found

    Exactness of the reduction on \'etale modules

    Get PDF
    We prove the exactness of the reduction map from \'etale (ϕ,Γ)(\phi,\Gamma)-modules over completed localized group rings of compact open subgroups of unipotent pp-adic algebraic groups to usual \'etale (ϕ,Γ)(\phi,\Gamma)-modules over Fontaine's ring. This reduction map is a component of a functor from smooth pp-power torsion representations of pp-adic reductive groups (or more generally of Borel subgroups of these) to (ϕ,Γ)(\phi,\Gamma)-modules. Therefore this gives evidence for this functor---which is intended as some kind of pp-adic Langlands correspondence for reductive groups---to be exact. We also show that the corresponding higher \Tor-functors vanish. Moreover, we give the example of the Steinberg representation as an illustration and show that it is acyclic for this functor to (ϕ,Γ)(\phi,\Gamma)-modules whenever our reductive group is \GL_{d+1}(\mathbb{Q}_p) for some d≥1d\geq 1.Comment: 18 pages; some typos corrected and proof of Lemma 1 rewritten, to appear in Journal of Algebr

    Comparison of compact induction with parabolic induction

    Full text link
    Let FF be any non archimedean locally compact field of residual characteristic pp, let GG be any reductive connected FF-group and let KK be any special parahoric subgroup of G(F)G(F). We choose a parabolic FF-subgroup PP of GG with Levi decomposition P=MNP=MN in good position with respect to KK. Let CC be an algebraically closed field of characteristic pp. We choose an irreducible smooth CC-representation VV of KK. We investigate the natural intertwiner from the compact induced representation \ind_{K}^{G(F)}V to the parabolically induced representation \Ind_{P(F)}^{G(F)}(\ind_{M(F) \cap K}^{M(F)}V_{N(F)\cap K}). Under a regularity condition on VV, we show that the intertwiner becomes an isomorphism after a localisation at a specific Hecke operator. When FF has characteristic 0, GG is FF-split and KK is hyperspecial, the result was essentially proved by Herzig. We define the notion of KK-supersingular irreducible smooth CC-representation of G(F)G(F) which extends Herzig's definition for admissible irreducible representations and we give a list of KK-supersingular irreducible representations which are supercuspidal and conversely a list of supercuspidal representations which are KK-supersingular.Comment: 28 page

    Vers une programmation locale et distribuée unifiée au travers de l'utilisation de conteneurs actifs et de références asynchrones.

    Get PDF
    Dans le domaine des systèmes distribués, la notion de mobilité du code est à l’origine de nombreux travaux visant à améliorer les performances des applications parallèles (processus légers mobiles), à faciliter le développement d’applications (agents mobiles) ou à garantir la sécurité (cartes à puces). Dans ce contexte, nous montrons que les systèmes d’agents mobiles ont peu à peu disparu au profit de plates-formes d’exécution asynchrones. Nous présentons une nouvelle abstraction – appellée conteneur actif – qui est issue d’une modélisation en π-calcul d’un système d’agents mobiles, et qui semble être une brique de base avec laquelle les applications distribuées peuvent être conçues. Le développement d’une implémentation de cette abstraction en Java a fait apparaître un problème lié à la gestion de la concurrence dans les applications, distribuées ou non. Nous décrivons donc la notion de référence asynchrone – notre solution à ce problème – qui permet d’exprimer simplement la concurrence d’exécution dans une application. Notre implémentation en Java de ce concept facilite le développement des applications multithread ées et parallèles, en évitant le recours problématique aux threads par l’utilisation exclusive d’un unique paradigme : l’appel de méthode. Ce dernier peut se décliner en de multiples versions : synchrone, asynchrone, local ou distant. L’ensemble de nos travaux est disponible sous licence libre LGPL au sein d’une plateforme opérationnelle et documentée appellée Mandala qui est brièvement décrite.In the domain of distributed systems, several projects focus on mobile code in order to enhance the performance of parallel applications (mobile threads), to make easier the development of applications (mobile agents) or to guarantee security (smart cards). In this context, we show how mobile agent systems have basically disappeared in favor of asynchronous execution frameworks. We present a new abstraction – called active container – originating from a model of a mobile agents system. It seems to be a base layer on top of which distributed applications can be developped. A Java implementation of this abstraction raises a problem related to the management of concurrency in applications, distributed or not. We describe the notion of asynchronous reference – our solution to this problem – which allows to express concurrency quite easily. Our Java implementation of this concept eases the development of multithreaded and parallel applications avoiding the problematic use of threads by the exclusive use of a single paradigm: method invocation. This can be: synchronous, asynchronous, local or remote. Our work is available as an open-source LGPL licence package within a ready to use and documented framework called Mandala which is briefly described
    • …
    corecore