Cette thèse se compose de deux parties: dans la première on démontre une généralisation du théorème de Gabriel sur les faisceaux cohérents au cas des faisceaux cohérents tordus. Plus précisément, on démontre que tout schéma noethérien X peut être reconstruit à partir de sa catégorie abélienne Coh(X,\alpha) des faisceaux cohérents tordus par un élément \alpha du groupe de Brauer cohomologique de X. Dans la deuxième partie on étudie les deux espaces des modules M_{10} et M_{6} introduits par O'Grady, qu'il utilise pour obtenir ses deux nouveaux examples de variétés irréductibles symplectiques de dimension 10 et 6 respectivement. On calcule les groupes de Picard de M_{10} et M_{6}, et on démontre que ces deux variétés ne sont pas localement factorielles, mais 2-factorielles. Ceci est accompli en utilisant les résultats de Rapagnetta sur la cohomologie et la forme de Beauville-Bogomolov de M_{10} et M_{6}, et en étudiant les propriétés du morphisme de Le Potier dans ces deux cas.

Le sujet porte sur une classe de codes correcteurs d erreurs dits codes cycliques tordus, et ses applications a l'Informatique quantique et aux codes quasi-cycliques. Les codes cycliques classiques ont une structure d'idéaux dans un anneau de polynômes. Ulmer a introduit en 2008 une généralisation aux anneaux dits de polynômes tordus, une classe d'anneaux non commutatifs introduits par Ore en 1933. Dans cette thèse on explore le cas du corps a quatre éléments et de l'anneau produit de deux copies du corps a deux éléments.

On s'intéresse aux groupes de cohomologie à support de faisceaux sur des variétés algébriques. On étudie surtout, pour des fibrés en droites sur des variétés où opère un groupe réductif $G$, la cohomologie à support dans certaines sous-variétés invariantes par l'action d'un sous-groupe de Borel de $G$. On obtient ainsi des représentations de l'algèbre de Lie de $G$ que l'on analyse : on en donne des filtrations dont le gradué associé fait apparaître des ``modules de Verma généralisés''. Grâce au complexe de Grothendieck-Cousin, cette étude permet de retrouver le théorème de Borel-Weil-Bott sur les variétés de drapeaux et aussi de déterminer tous les groupes de cohomologie des fibrés en droites sur les compactifications $G \times G-$équivariantes de $G$ (en particulier sur les compactifications magnifiques). Cela généralise la description bien connue des groupes de cohomologie des fibrés en droites sur les variétés toriques complètes.

Le sujet porte sur une classe de codes correcteurs d erreurs dits codes cycliques tordus, et ses applications a l'Informatique quantique et aux codes quasi-cycliques. Les codes cycliques classiques ont une structure d'idéaux dans un anneau de polynômes. Ulmer a introduit en 2008 une généralisation aux anneaux dits de polynômes tordus, une classe d'anneaux non commutatifs introduits par Ore en 1933. Dans cette thèse on explore le cas du corps a quatre éléments et de l'anneau produit de deux copies du corps a deux éléments. / The topic of the thesis is the study of skew cyclic codes, with application to Quantum Computing and quasi-cyclic codes. Classical cyclic codes have a natural structure of ideals in a polynomial ring. This was generalized by Ulmer in 2008 to skew polynomial rings, a class of non commutative rings introduced by Ore in 1933. The latter codes are not classically cyclic if the alphabet ring admits a non trivial automorphism. In this work is explored the cases of the finite field of order four and of a product ring of two copies of the finite field of order two.

Les anneaux de polynômes sont l'un des outils privilégiés pour construire et étudier des familles de codes correcteurs. Nous nous proposons, dans cette thèse, d'utiliser des anneaux de Öre, qui sont des anneaux de polynômes non-commutatifs, afin de créer des codes correcteurs. Cette approche nous permet d'obtenir des familles de codes correcteurs plus larges que si l'on se restreint au cas commutatif mais qui conservent de nombreuses propriétés communes. Nous obtenons notamment un algorithme qui permet de fabriquer des codes correcteurs dont la distance de Hamming ou la distance rang est prescrite. C'est ainsi que nous avons exhibé deux codes qui améliorent la meilleure distance minimale connue pour un code de même longueur et de même dimension. L'un est de paramètres $[42,14,21]$ sur le corps $\mathbb{F}_8$ et l'autre de paramètres $[40,23,10]$ sur $\mathbb{F}_4$. La généralisation de cette étude au cas d'anneaux polynomiaux multivariés est également présentée; l'outil principal est alors la théorie des bases de Gröbner qui s'adapte dans ce cadre non-commutatif et permet de manipuler des idéaux pour créer de nouvelles familles de codes correcteurs.

Nous présentons une étude de la cohomologie à coefficients tordus de la réalisation géométrique des systèmes de liaison. Plus précisément, si (S, Ƒ, ℒ) est un groupe fini p-local, nous travaillons sur la cohomologie H*(\ℒ\, M) de la réalisation géométrique de ℒ, avec un Z(p)[π₁(\ℒ\)]-module M en coefficients, et ses liens avec les éléments Fᶜ-stables H* (Ƒᶜ, M) ⊆ H*(S, M) à travers l’inclusion de BS dans \ℒ\. Après avoir donné la définition des éléments Ƒᶜ-stables, nous étudions l’endomorphisme de H*(S, M) induit par un (S, S)-bi-ensemble Ƒᶜ-caractéristique et nous montrons que sous certaine hypothèse et si l’action est nilpotent, alors on a un isomorphisme naturel H*(\ℒ\, M) ≌ H* (Ƒᶜ,M). Ensuite, nous regardons les actions p-résolubles à travers la notion de sous-groupe p-local d’index premier à p ou une puissance de p. Nous montrons que si l’action de π₁(\ℒ\) sur M se factorise par un p'-groupe alors on a aussi un isomorphisme naturel. Pour une action p-résoluble plus général, nous obtenons un résultat dans le cas des systèmes réalisables. Ces résultats nous conduisent à la conjecture qu’on a un isomorphisme naturel pour tout groupe fini p-local et toute action p-résoluble. Nous donnons quelque outils pour étudier cette conjecture. Nous travaillons sur les produits de groupes finis p-locaux avec la formule de Kunneth et les systèmes de liaison que se décomposent bien vis-à-vis de la suite exacte longue de Mayer-Vietoris. Finalement, nous étudions les sous-groupes essentiels d’un produit couronné par Cp. Nous finissons par des exemples qui soulignent, qu’en général, on ne peut espérer un isomorphisme entre H*(\ℒ\, M) et H*(Ƒᶜ, M). / The aim of this work is to study the cohomology with twisted coefficients of the geometric realization of linking systems. More precisely, if (S, Ƒ, ℒ) is a p-local finite group, we work on the cohomology H*(\ℒ\, M) of the geometric realization of ℒ with coefficients in a Z(p)[π₁(\ℒ\)]-module M and its links with the Ƒᶜ-stables H*(Ƒᶜ, M) ⊆ H*(S, M) trough the inclusion of BS in \ℒ\. After we give the definition of Ƒᶜ-stable elements , we study the endomorphism of H*(S, M) induced by an Fc-characteristic (S, S)-biset and we show that, if the action is nilpotent- and we assume an hypothesis, we have a natural isomorphism H*(\ℒ\, M) ≌ H* (Fᶜ;M). Secondly, we look at p-solvable actions of π₁(\ℒ\) on M through the notion of p-local subgroups of index a power of p or prime to p. If the action factors through a p'-group, we show that there si also a natural isomorphism. We then work on extending this to any-p-solvable action and we get some positive answer then the p-local finite groupis realizable. Theses leads to the conjecture that it is true for any-p-local finite group and any-p-solvable actions. We also give some tools to study this conjecture on examples. We look at products of p-local finite groups with Kunneth Formula and linking system which can be decomposed in a way which behaves well with Mayer-Vietoris long exact sequence. Finally, we study essential subgroups of wreath productsby Cp. We finish with some examples which illustrate that, in general, we cannot hope an isomorphism between H*(\ℒ\, M) and H*(Ƒᶜ, M).

Dans cette thèse, nous montrons deux résultats d'analyse harmonique sur un groupe réductif p-adique tordu.Le premier résultat est un analogue non connexe au théorème matriciel de Paley Wiener. Soit G réductif p-adique (non nécessairement connexe). L'algèbre de Hecke des fonctions complexes sur G localement constantes à support compact agit les représentations complexe lisses irréductibles de G. L'action d'une fonction est vue comme sa transformée de Fourier. Le théorème fournit une caractérisation de l'image de l'algèbre de Hecke par la transformée de Fourier, ainsi qu'une formule d'inversion.Le second résultat établit une identité spectrale sur le groupe GLn tordu (avec n pair, sur un corps p-adique) pour l'intégrale orbitale tordue sur la classe de conjugaison tordue stable des matrices antisymétriques inversibles. Cette dernière s'exprime comme une intégrale sur les représentations irréductibles tempérées auto-duales de GLn dont le paramètre de Langlands est symplectique. La preuve repose sur le transfert endoscopique. / In this thesis, we show tow results of Harmonic Analysis on réductive p-adic group.The first results extends the matrix Paley-Wiener theorem to the non-connected case. Let G be reductive (non necessarily connected) p-adic group. The Hecke algebra of compactly supported locally constant complex functions on G acts on complex smooth irreducible representations of G. The action of a given function is seen as its Fourier transform. The theorem characterizes the image of the Hecke algebra under the Fourier transform and provides an inversion formula.The second result is the proof of a spectral identity on the so-called twisted GLn group (where n is even, on a p-adic field) for the twisted orbital integral over the twisted stable conjugacy class of antisymetric invertible matrices. We express it as an integral over those irreducible tempered auto-dual representations of GLn whose Langlands' parameter is symplectic. Our proof uses endoscopic transfer.

Les codes espace-temps sont des codes correcteurs dédiés aux transmissions MIMO. Mathématiquement, un code espace-temps est un ensemble fini de matrices complexes. Ses performances dépendent de plusieurs critères, dont la distance minimale en métrique rang. Les codes de Gabidulin sont des codes dans cette métrique, connus pour leur optimalité et pour l'existence d'algorithmes de décodage efficaces. C'est pourquoi ils sont utilisés pour concevoir des codes espace-temps. La principale difficulté est alors de construire des matrices complexes à partir de matrices binaires. Les travaux présentés dans ce documents consistent à généraliser les codes de Gabidulin à des corps de nombres, en particulier des extensions cyclique. Nous verrons qu'ils ont les mêmes propriétés que leurs analogues sur les corps finis. Nous étudierons plusieurs modèles d'erreurs et d'effacements et présenterons un algorithme qui permettra de retrouver l'information transmise avec une complexité quadratique. En calculant dans des corps infinis, nous serons confrontés au problème de la taille des éléments, qui augmente exponentiellement au gré des calculs. Pour éviter ce désagrément, nous verrons qu'il est possible de réduire le code afin de calculer dans un corps fini. Enfin, nous proposerons une famille de codes espace-temps dont la construction est basée sur les codes de Gabidulin généralisés. Nous verrons que leurs performances sont similaires à celles des codes existants, et qu'ils disposent d'une structure supplémentaire. / Space-time codes are error correcting codes dedicated to MIMO transmissions. Mathematically, a space-time code is a finite family of complex matrices. Its preformances rely on several parameters, including its minimal rank distance. Gabidulin codes are codes in this metric, famous for their optimality and thanks to efficient decoding algorithms. That's why they are used to design space-time codes. The main difficulty is to design complex matrices from binary matrices. The aim of the works collected here is to generalize Gabidulin codes to number fields, especially cyclique extesnions. We see that they have the same properties than Gabidulin codes over finite fields. We study several errors and erasures models and introduce a quadratic algorithm to recover transmitted information. When computing in finite fields, we are faced with the growing size problem. Indeed, the size of the coefficients grows exponentielly along the algorithm. To avoid this problem, it is possible to reduce the code, in order to compute in a finite field. Finally, we design a family of space-time codes, based on generalised Gabidulin codes. We see that our codes have performances similar to those of existing codes, and that they have additional structure.

Nous nous intéressons aux aspects algorithmiques de la théorie des représentations modulo p de groupes de Galois p-adiques. À cet effet, l'un des outils introduits par Fontaine est la théorie de ϕ-modules : un ϕ-module sur un corps K de caractéristique p est la donnée d'un espace vectoriel de dimension finie sur K muni d'un endomorphisme ϕ, semi-linéaire par rapport au morphisme de Frobenius sur K. Les représentations à coefficients dans un corps fini du groupe de Galois absolu de K forment une catégorie équivalente à la catégorie des ϕ-modules dits " étales " sur K. Le but des travaux rassemblés ici est donner des algorithmes pour décrire le plus complètement possible la représentation associée à un ϕ-module donné. Nous étudions en préambule les ϕ-modules sur les corps finis, ce qui nous permet d'obtenir de nouveaux résultats décrivant les polynômes tordus sur un corps fini, qui sont des ob jets utilisés notamment en théorie des codes correcteurs. Cela nous permet d'améliorer en partie l'algorithme dû à Giesbrecht pour la factorisation de ces polynômes. Nous nous intéressons ensuite à la catégorie des ϕ-modules sur un corps de séries formelles de caractéristique p. Nous donnons une classification des ob jets simples de cette catégorie lorsque le corps résiduel est algébrique- ment clos, et décrivons un algorithme efficace pour décomposer un ϕ-module en ϕ-modules " isoclines ". Nous donnons des applications à l'étude algorithmique des représentations de p-torsion de groupes de Galois p-adiques.

Pour X un espace topologique, l'algèbre de Lie de Malcev de son groupe fondamental (ou algèbre de Lie de Malcev de X) fait partie des invariants étudiés en homotopie rationnelle. Un espace est dit 1-formel si cette algèbre de Lie est quadratique. Les connexions de type Knizhnik-Zamolodochikov peuvent permettre d'établir des résultats de "formalité " des espaces de configurations de points sur les surfaces. On s'intéresse à une famille d'espaces X qui sont des espaces de configurations de points sur la sphère, tordus par l'action d'un groupe fini d'homographies. On étudie le groupe fondamental de X et on construit une connexion de type Knizhnik-Zamolodochikov qui permet de calculer l'algèbre de Lie de Malcev de X et de démontrer sa 1-formalité. / The Malcev Lie algebra of the fundamental group of X (or Macev Lie algebra of X) is an algebraic invariant of the space X studied in rational homotopy theory. The space X is 1-formal if its Malcev algebra is quadratic. One can use Knizhnik–Zamolodchikov-type connections to obtain "formality" (1-formality or filtered formality) results for configuration spaces of surfaces. In the thesis we consider a family of orbit configuration spaces X of the complex projective line associated to finite finite groups of homographies. We study the fundamental group of X and constuct Knizhnik– Zamolodchikov-type connections. This allows us to give a presentation of the Malcev Lie algebra of X and to prove the 1-formality of X.