Neste trabalho inicialmente estudamos o rank da co-homologia do espaço dos pontos fixos de uma \'Z IND.p\' - ação semilivre sobre espaços X~p \' S POT. n\' x \'S POT.n\' e X~p \'S POT.n\' x \'S POT.n\' x \'S POT.n\' , com n>0. Em seguida, estudamos uma extensão para ações de p-grupos sobre espaços X~p \'S POT.n\' X \'S POT.m\', com 0< n \'< OU =\' m. Como parte do material utilizado demos uma descrição do diferencial d1 de uma seqüência espectral que converge para co-homologia equivariante de Tate, bem como uma versão da Fórmula de Künneth para a co-homologia equivariante de Tate. Na parte final, motivado pelo problemas de descrição de espaços de órbita de ações de grupos infinito, calculamos as co-homologias dos grupos virtualmente cíclicos (\'Z IND.a\' X| \' Z IND. b\' )X| Z e [\'Z POT.a\' X|(\'Z IND.b\' X \'Q IND. 2 POT.i\') ]X| Z / In this work is studied the rank of the fixed point set of a semifree action on spaces X~p \'S POT.n\' X \'S POT.n\' and X~p \'S POT.n\' X \'S POT.n\' X \'S POT.n\' , with n>0. We also consider the extension of the result for actions of p-groups on spaces X~p \'SPOT.n\' X \' S POT.m\' , with 0<n \'< OR =\' m. As result of the techniques used, we give a description of the differential d1 of a spectral sequence that converges to Tate equivariant cohomology, as well a version of the Künneth Formule to Tate equivariant cohomology. At the end, motivated by the space form problem for infinite groups we compute the cohomology of the virtually cyclic groups (\'Z IND. a\' X| \'Z IND. b\' )X| Z and [\'Z IND.a\' X|(\'Z IND. b\' X \'Q IND2 POT. i\' )] X| Z

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).

There has been in the past ten to fifteen years a surge of activity concerning the cohomology of semi-direct product groups of the form $\mathbb{Z}^{n}\rtimes$G with G finite. A problem first stated by Adem-Ge-Pan-Petrosyan asks for suitable conditions for the Lyndon-Hochschild-Serre Spectral Sequence associated to this group extension to collapse at second page of the Lyndon-Hochschild-Serre spectral sequence. In this thesis we use facts from integer representation theory to reduce this problem to only considering representatives from each genus of representations, and establish techniques for constructing new examples in which the spectral sequence collapses.

Cette thèse est consacrée à deux variantes arithmétiques de la correspondance de Simpson. Dans la première partie, on compare la correspondance de Simpson p-adique à un analogue p-adique de la correspondance de Narasimhan et Seshadri pour les courbes sur les corps p-adiques dû à Deninger et Werner. Narasimhan et Seshadri ont établi une correspondance entre les fibrés vectoriels stables de degré zéro et les représentations unitaires du groupe fondamental topologique pour une courbe complexe propre et lisse. Par transport parallèle, Deninger et Werner ont associé fonctoriellement à chaque fibré vectoriel sur une courbe p-adique dont la réduction est fortement semi-stable de degré 0 une représentation p-adique du groupe fondamental de la courbe. Ils se sont posés quelques questions: si leur foncteur est pleinement fidèle ; si la cohomologie des systèmes locaux fournis par leur foncteur admet une filtration de Hodge-Tate ; et si leur construction est compatible avec la correspondance de Simpson p-adique développée par Faltings. On répond positivement à ces questions. La seconde partie est consacrée à la construction d'un relèvement de la transformée de Cartier d'Ogus-Vologodsky modulo pⁿ. Soient W l'anneau des vecteurs de Witt d'un corps parfait de caractéristique p>0, X un schéma formel lisse sur W, X' le changement de base de X par l'endomorphisme de Frobenius de W, X'_2 la réduction modulo p² de X' et Y la fibre spéciale de X. On relève la transformée de Cartier d'Ogus-Vologodsky relative à X'_2. Plus précisément, on construit un foncteur de la catégorie des O_{X'}-modules de pⁿ-torsion à p-connexion intégrable dans la catégorie des O_X-modules de pⁿ-torsion à connexion intégrable, chacune étant soumise à des conditions de nilpotence appropriées. S'il existe un relèvement F: X -> X' du morphisme de Frobenius relatif de Y, notre foncteur est compatible avec le foncteur de Shiho induit par F. Comme application de la transformée de Cartier modulo pⁿ, on donne une nouvelle interprétation des modules de Fontaine relatifs introduits par Faltings et du calcul de leur cohomologie. / This thesis is devoted to two arithmetic variants of Simpson's correspondence. In the first part, I compare the p-adic Simpson correspondence with a p-adic analogue of the Narasimhan-Seshadri's correspondence for curves over p-adic fields due to Deninger and Werner. Narasimhan and Seshadri established a correspondence between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex smooth proper curve. Using parallel transport, Deninger and Werner associated functorially to every vector bundle on a p-adic curve whose reduction is strongly semi-stable of degree 0 a p-adic representation of the fundamental group of the curve. They asked several questions: whether their functor is fully faithful; whether the cohomology of the local systems produced by this functor admits a Hodge-Tate filtration; and whether their construction is compatible with the p-adic Simpson correspondence developed by Faltings. We answer positively these questions. The second part is devoted to the construction of a lifting of the Cartier transform of Ogus-Vologodsky modulo pⁿ. Let W be the ring of the Witt vectors of a perfect field of characteristic p, X a smooth formal scheme over W, X' the base change of X by the Frobenius morphism of W, X'_2 the reduction modulo p² of X' and Y the special fiber of X. We lift the Cartier transform of Ogus-Vologodsky relative to X'_2 modulo pⁿ. More precisely, we construct a functor from the category of pⁿ-torsion O_{X'}-modules with integrable p-connection to the category of pⁿ-torsion O_X-modules with integrable connection, each subject to a suitable nilpotence condition. Our construction is based on Oyama's reformulation of the Cartier transform of Ogus-Vologodsky in characteristic p. If there exists a lifting F: X -> X' of the relative Frobenius morphism of Y, our functor is compatible with a functor constructed by Shiho from F. As an application, we give a new interpretation of relative Fontaine modules introduced by Faltings and of the computation of their cohomology.

We study relative homological algebra and relative Hochschild cohomology. We dualise the construction in [Cib+21b] for a ring extension B ⊆ A to construct a long nearly exact sequence for the relative Hochschild cohomology HH∗(A|B), the Hochschild cohomology HH∗(A) and the Hochschild cohomology HH∗(B,A). Parallel to this we also study corings and the associated Cartier cohomology and Hochschild cohomology. Given an A-coring C and its right algebra R we have induced maps ExtiA(M, N) → ExtiR(R⊗A M, R⊗A N) by the induction functor. We characterise the vanishing of the Hochschild cohomology of the coring in terms of these induced maps being isomorphisms for degrees greater than or equal to one.

The dissertation uses a number of mathematical formula including de Rham cohomology with complex coefficients to state and prove extension of Brieskorn's Lemma theorem.

This thesis mainly concerns the cohomology of the moduli spaces ℳ3[2] and ℳ3,1[2] of genus 3 curves with level 2 structure without respectively with a marked point and some of their natural subspaces. A genus 3 curve which is not hyperelliptic can be realized as a plane quartic and the moduli spaces 𝒬[2] and 𝒬1[2] of plane quartics without respectively with a marked point are given special attention. The spaces considered come with a natural action of the symplectic group Sp(6,𝔽2) and their cohomology groups thus become Sp(6,𝔽2)-representations. All computations are therefore Sp(6,𝔽2)-equivariant. We also study the mixed Hodge structures of these cohomology groups. The computations for ℳ3[2] are mainly via point counts over finite fields while the computations for ℳ3,1[2] primarily uses a description due to Looijenga in terms of arrangements associated to root systems. This leads us to the computation of the cohomology of complements of toric arrangements associated to root systems. These varieties come with an action of the corresponding Weyl group and the computations are equivariant with respect to this action.

A Cohomologia de Hochschild é um invariante associado a álgebras o qual pode nos fornecer propiedades homologicas das álgebras e suas categorias de módulos. Além disso tem aplicações em Geometria Algébrica e Teoria de Representações, entre outras áreas. Para álgebras A sobre um corpo, o i-ésimo grupo de cohomologia de Hochschild HH^i(A,M) de A, com coeficientes no bimódulo M, coincide com Ext^i_{A^e}(A,M). Logo, este pode ser calculado usando uma resolução projetiva da álgebra como A-bimódulo. Diferentes autores como Dieter Happel, Claude Cibils, Edward Green, David Anick, Michael Bardzell e Andrea Solotar desenvolveram ferramentas para a construção destas resoluções em casos específicos. Um resultado recente e muito importante é apresentado por Andrea Solotar e Sergio Chohuy, onde se mostra a construção de uma resolução projetiva de bimódulos para álgebras associativas generalizando o resultado para álgebras monomiais feito por Bardzell. Nesta dissertação pretendemos introduzir ao leitor no conceito de Cohomologia de Hochschild mostrando a importância da mesma mediante resultados conhecidos para álgebras de dimensão finita. Além disso, apresentamos os conceitos e resultados do trabalho de Chohuy e Solotar mencionado acima. No decorrer deste trabalho complementamos algumas demonstrações dos resultados enunciados com o fim de propiciar uma ferramenta para o melhor entendimento dos tópicos trabalhados aqui. / The Hochschild Cohomology is an invariant attached to associative algebras which may provide us some homological aspects of the algebras and its category of modules. Moreover, it has applications to Algebraic Geometry and Representation Theory, among others areas. For algebras A over a field the Hochschild cohomology group HH^i(A,M) of A with coeficients in a bimodule M coincides with Ext^i_{A^e}(A,M). So it can be computed using a projective resolution of the algebra, as a bimodule over itself. Therefore different authors like Dieter Happel, Claude Cibils, Edward Green, David Anick, Michael Bardzell, Sergio Chohuy and Andrea Solotar developed tools for the construction of these resolutions in particular cases. A recent and very important result was introduced by Andrea Solotar and Sergio Chohuy, where they show a construction of a projective bimodule resolution for associative algebras generalizing the result for monomial algebras made by Bardzell. In this dissertation we intend to introduce the reader in the cohomology Hochschild concept, showing its importance through known results for finite dimensional algebras. Besides, we exhibit the concepts and results of Chohuy and Solotar mentioned before. During this text, we complement some demonstrations with the purpose of giving a tool for the a better understanding.

Thesis advisor: Benjamin V. Howard / Given a field <italic>F</italic>, an algebraic closure <italic>K</italic> and an <italic>F</italic>-vector space <italic>V</italic>, we can tensor the space <italic>V</italic> with the algebraic closure <italic>K</italic>. Two quadratic spaces of the same dimension become isomorphic when tensored with an algebraic closure. The failure of this isomorphism over <italic>F</italic> is measured by the Hasse invariant. This paper explains how the determinants and Hasse Invariants of quadratic forms are related to certain cohomology classes constructed from specific short exact sequences. In particular, the Hasse Invariant is defined as an element of the Brauer group. / Thesis (MA) — Boston College, 2010. / Submitted to: Boston College. Graduate School of Arts and Sciences. / Discipline: Mathematics.

Neste trabalho, introduzimos uma generalização da noção de módulo de homologia local de um módulo com respeito a um ideal, o qual nós chamamos de módulo de homologia local com respeito a um par de ideais. Estudamos suas várias propriedades tais como teoremas de anulamento e de não anulamento, e Artinianidade. Também fazemos sua conexão com a homologia e cohomologia local usual. Introduzimos uma generalização da noção de largura de um ideal sobre um módulo aplicando o conceito de módulo de homologia local com respeito a um par de ideais. Também introduzimos o conceito de um módulo co-Cohen-Macaulay para um par de ideais, o qual é uma generalização o conceito de um módulo co-Cohen-Macaulay. Para finalizar, introduzimos o limite inverso de homologia local, e estudamos algumas de suas propriedades, analisamos a sua estrutura, o anulamento, não anulamento e Artinianidade. / In this work, we introduce a generalization of the notion of local homology module of a module with respect to an ideal, which we call of local homology module with respect to a pair of ideals. We study its various properties such as vanishing and nonvanishing theorems, and Artinianness. We also do its connection with ordinary local homology and cohomology. We introduce a generalization of the notion of width of an ideal on a module applying the concept of local homology module with respect to a pair of ideals. Also we introduce the concept of a co-Cohen-Macaulay module for a pair of ideals, what is a generalization of the concept of a co-Cohen-Macaulay module. To finish, we introduce the inverse limit of local homology, and we study some of its properties, we analyze the their structure, the vanishing, non-vanishing and Artinianness.