178 research outputs found
Exactness of the reduction on \'etale modules
We prove the exactness of the reduction map from \'etale
-modules over completed localized group rings of compact open
subgroups of unipotent -adic algebraic groups to usual \'etale
-modules over Fontaine's ring. This reduction map is a component
of a functor from smooth -power torsion representations of -adic
reductive groups (or more generally of Borel subgroups of these) to
-modules. Therefore this gives evidence for this functor---which
is intended as some kind of -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 -modules whenever our reductive group is
\GL_{d+1}(\mathbb{Q}_p) for some .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
Let be any non archimedean locally compact field of residual
characteristic , let be any reductive connected -group and let be
any special parahoric subgroup of . We choose a parabolic -subgroup
of with Levi decomposition in good position with respect to .
Let be an algebraically closed field of characteristic . We choose an
irreducible smooth -representation of . 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 , we show that
the intertwiner becomes an isomorphism after a localisation at a specific Hecke
operator. When has characteristic 0, is -split and is
hyperspecial, the result was essentially proved by Herzig. We define the notion
of -supersingular irreducible smooth -representation of which
extends Herzig's definition for admissible irreducible representations and we
give a list of -supersingular irreducible representations which are
supercuspidal and conversely a list of supercuspidal representations which are
-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.
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
- …