Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-05T13:16:57Z No. of bitstreams: 1 SIRLENE TRAJANO ALVES - DISSERTAÇÃO PPGMAT 2012..pdf: 543242 bytes, checksum: 8ace2f30dc5a59df9bafcf55b8e7147b (MD5) / Made available in DSpace on 2018-08-05T13:16:57Z (GMT). No. of bitstreams: 1 SIRLENE TRAJANO ALVES - DISSERTAÇÃO PPGMAT 2012..pdf: 543242 bytes, checksum: 8ace2f30dc5a59df9bafcf55b8e7147b (MD5) Previous issue date: 2012-03 / O tema central desta dissertação é a descrição das identidades polinomiais graduadas da álgebra Mn(K). Métodos diferentes são empregados conforme a característica do corpo: se Char K = 0, à descrição das identidades graduadas se reduz a descrição das identidades multilineares, o que foi feito no Capítulo 2, onde são descritas as identidade de Mn(K) com uma classe ampla de graduações elementares; se Char K =p>0 e K é in nito, a descrição das identidades graduadas é reduzida à descrição das identidades multi-homogêneas, que torna o problema mais difícil, e técnicas como a construção de álgebras genéricas são necessárias. No Capítulo 3 são descritas as identidades Z e Zn-graduadas de Mn(K) para um corpo in nito K. / The main theme of this dissertation is the description of the graded polynomial identities of the algebra Mn(K). Diferent methods are used depending on the characteristic of the field: if Char K = 0, the description of the graded identities is reduced to the description of the multilinear graded identities, what was done in Chapter 2, where the identities of Mn(K) are described for a wide class of elementary gradings; if Char K =p>0 and K is in nite, the description of the graded identities is reduced to the study of the multi-homogeneous identities, wich makes it harder, and techniques such as the construction of generic algebras are necessary. In Chapter 3 the Z and Zn-graded identities of Mn(K) are described for an infinite field K

Fundação de Apoio a Pesquisa e à Inovação Tecnológica do Estado de Sergipe - FAPITEC/SE / The Rees algebra of an ideal is an algebraic construction that takes place in commutative algebra and algebraic geometry. Currently, the study of arithmetic and homological properties of this object is cause for diverse research in commutative algebra. Our main goal in this work is to address aspects such as dimension and defining equations of the Rees algebra and other algebras that relate to it. / A álgebra de Rees de um ideal é uma construção algébrica que ocupa lugar de destaque na álgebra comutativa e na geometria algébrica. Atualmente, o estudo de propriedades aritméticas e homológicas desse objeto é motivo de diversas pesquisas em álgebra comutativa. Nosso principal objetivo nesse trabalho é tratar de aspectos como dimensão e equações de definição da álgebra de Rees e de outras álgebras que relacionam-se com ela.

Neste trabalho estudamos algumas características das álgebras de Koszul, como por exemplo, a maneira como elas se relacionam com suas respectivas álgebras de Yoneda. Descrevemos a álgebra de Yoneda de uma álgebra monomial e como aplicação construímos uma família de álgebras: as chamadas homologicamente auto-duais. Uma álgebra de Koszul pode ser definida a partir da existência de resoluções lineares dos módulos simples. Por isso faz-se necessário a dedicação de parte de nossa atenção ao estudo destas resoluções. Além disso, achamos interessante estudar métodos para a construção de resoluções projetivas de módulos sobre quocientes de álgebras de caminhos. Para tal construção usamos essencialmente a teoria de bases de Gröbner não comutativas. Finalmente, para o caso de módulos lineares sobre álgebras de Koszul, veremos que é possível modicar essa construção de modo que a resolução resultante seja linear. / In this work we study some features of Koszul algebras as, for example, the way that they are related with their Yoneda algebras. We describe the Yoneda algebra of a monomial algebra and as an application we construct a family of algebras: the so called homologically self-dual algebras. A Koszul algebra can be dened as an algebra for which there are linear resolutions of their simple modules. Because of this we dedicate part of our attention to the study of projective resolutions. The study of methods for the construction of projectives resolutions of modules over quotients of path algebras, has an of interest its own. For the study of projective resolutions we used the theory of noncommutative, Gröbner bases. Finally, for the case of linear modules over Koszul algebras, we will see that it is possible to modify the general construction described here, so that the resulting resolution is linear.

Neste trabalho será provado que as álgebras comutativas de potências associativas de dimensão n e nilíndice n-3, assim como, álgebras de dimensão 9 sobre C, são solúveis, estendendo os resultados conhecidos ao famoso Problema de Albert. Logo depois de estudar o problema de Albert, será dada uma descrição das tabelas de multiplicação para as álgebras comutativas de potências associativas de dimensão n maior do que 12 e nilíndice n-1 sobre um corpo de característica diferente de 2,3 e 5. / We will prove that commutative power-associative nilalgebras both of dimension n and nilindex n-3, or of dimension 9 over C, are solvable. This solve an specific case of famous Albert\'s problem. After that, we will make a description about multiplications of commutative power-associative nilalgebras of dimension n (greater or igual that 12) and nilindex n-1 over a field of characteristic diferent from 2,3 and 5.

Les travaux de Killing et Cartan ont montré la correspondance entre les algèbres de Lie semi-simples complexes et les matrices de Cartan. Ces dernières sont des matrices sur les entiers satisfaisants certaines propriétés, parmi lesquelles une condition de positivité. Si cette condition est omise, on obtient une matrice de Cartan généralisée. On peut y étendre la présentation de Serre pour les algèbre de Lie semi-simples et obtenir les algèbres de Kac-Moody. <p>L'intérêt de l'étude des algèbres de Lie semi-simples réside dans le fait qu'elles induisent la plupart des groupes simples finis, comme le montre la construction de Chevalley. Il se fait que cette construction se généralise aux algèbres de Kac-Moody.<p><p>L'ingrédient principal de cette construction est l'utilisation d'un système de sous-groupes dans un groupe de Kac-Moody, ceux-ci étant indicés par les racines du système de Coxeter associé à la matrice de Cartan généralisée. Tits a réalisé l'axiomatique de ce système de sous-groupes, une donnée radicielle jumelée, pour un système de Coxeter quelconque. Par définition, les groupes de Kac-Moody sur un corps commutatif admettent une donnée radicielle jumelée.<p><p>En réalité les notions de donnée radicielle jumelée et d'immeuble jumelé de Moufang sont essentiellement équivalentes.<p>Au vu de la classification des immeubles sphériques et des polygones de Moufang, on obtient une classification complète des données radicielles sphériques irréductibles de rang au moins 2. Il se trouve qu'elles sont toutes d'origine algébrique (i.e. obtenues par constructions algébriques à partir de groupes de Chevalley).<p><p>Dans le cas sphérique, la situation est différente. D'une part, des résultats de Mühlherr semblent indiquer que les données radicielles jumelées 2-sphériques seraient d'origine algébrique. D'autre part Rémy et Ronan ont construit des exemples exotiques à angles droits pour lesquels l'adjectif "d'origine algébrique" est inapproprié.<p><p>Néanmoins ces exemples sont toujours relativement proches d'une construction algébrique. On ne peut donc rien conclure sur les données radicielles jumelées. Afin de répondre à cette question, on peut essayer de prouver des théorèmes structurels sur les données radicielles jumelées ou en donner des constructions permettant plus de flexibilité.<p><p>Les principaux résultats de cette thèse sont motivés par ces lignes directrices:<p>- nous prouvons un critère d'existence général pour les données radicielles jumelées;<p>- nous donnons une réponse affirmative à une question sur les automorphismes des groupes de Kac-Moody laissée ouverte dans un article de Caprace;<p>- nous proposons une définition d'une donnée radicielle jumelée sur un corps commutatif de caractéristique p.<p><p> / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

We will extend the conjugacy problem of maximal toral subalgebras for Lie algebras of the form $\g{g} \otimes_k R$ by considering $R=k[t,t^{-1}]$ and $R=k[t,t^{-1},(t-1)^{-1}]$, where $k$ is an algebraically closed field of characteristic zero and $\g{g}$ is a direct limit Lie algebra. In the process, we study properties of infinite matrices with entries in a B\'zout domain and we also look at how our conjugacy results extend to universal central extensions of the suitable direct limit Lie algebras.

Dans cette thèse nous rappelons la notion de L-algèbre, qui a pour objet d'être un modèle algébrique des types d'homotopie. L'objectif principal de cette thèse est la description d'une structure de E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Ceci peut être vu comme une généralisation de la structure de E-infini-coalgèbre sur le complexe des chaînes d'un ensemble simplicial, telle que décrite par Smith dans Iterating the cobar construction, 1994. Nous construisons une E-infini-opérade, notée K, utilisée pour construire la E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Cette structure de E-infini-coalgèbre montre que la L-algèbre canoniquement associée à un ensemble simplicial contient au moins autant d'information homotopique que la E-infini-coalgèbre couramment associée à un ensemble simplicial / In this thesis we recall the notion of L-algebra. L-algebras are intended as algebraic models for homotopy types. L-algebras were introduced by Alain Prouté in several talks since the eighties. The principal objective of this thesis is the description of an E-infinity-coalgebra structure on the main element of an L-algebra. This can be seen as a generalization of the E-infinity-coalgebra structure on the chain complex associated to a simplicial set given by Smith in Iterating the cobar construction, 1994. We construct an E-inifity-operad, denoted K, used to construct the E-inifity-coalgebra on the main element of a L-algebra. This E-inifity-coalgebra structure shows that the canonical L-algebra associated to a simplicial set contains at least as much homotopy information as the E-inifity-coalgebras usually associated to simplicial sets.

Cette thèse se situe en combinatoire algébrique, et plus particulièrement en théorie combinatoire des représentations linéaires des monoïdes finis.Rappelons qu'un monoïde est un ensemble fini M muni d'une multiplication et d'un élément neutre, et qu'une représentation de M est un morphisme de M dans le monoïde des matrices $M_n(ck)$ où $ck$ est un corps, typiquement $ck =CC$. Les résultats des dernières décennies donnent un contrôle assez fin sur les représentations des monoïdes, permettant souvent de se ramener à de la théorie des représentations des groupes et de la combinatoire sur des préordres.En 1996, Krob et Thibon ont montré que l'induction et la restriction des représentations irréductibles et projectives de la tour des $0$-algèbres de Hecke $H_n(0)$ permet de munir l'ensemble des caractères d'une structure d'algèbre de Hopf, qui est isomorphe a l'algèbre de Hopf $ncsf$ des fonctions symétriques non commutatives. Cela donne une emph{catégorification} de$ncsf$, c'est-à-dire une interprétation de celle-ci en terme de théorie des représentations. Ils prolongent ainsi un résultat dû à Frobenius établissant un lien entre l'anneau des caractères de la tour des groupes symétriques et lesfonctions symétriques. Un problème naturel depuis lors est d'essayer de catégorifier d'autres algèbres de Hopf -- par exemple l'algèbre $pbt$ desarbres binaires de Loday et Ronco -- par des tours d'algèbres.Deviner une telle tour d'algèbres est difficile en général. Dans le cadre de cemanuscrit on restreint le champ de recherche aux tours de monoïdes, afin de mieux contrôler leurs représentations. C'est naturel car ce cadre couvre enfait les deux exemples fondamentaux ci-dessus, tandis qu'il est impossible decatégorifier $ncsf$ avec seulement une tour de groupes.Nous commençons par donner quelques résultats sur les représentations des toursde monoïdes. Ensuite, nous nous intéressons à la catégorification par destours de semi-treillis, et en particulier de quotients du permutoèdre. Avecceux-ci, nous catégorifions la structure de cogèbre de $fqsym$ sur la base$gbasis$ et celle d'algèbre de $fqsym$ sur la base $fbasis$. Cela ne permetcependant pas de catégorifier simultanément toute la structure de Hopf de ces algèbres. Dans un second temps, nous menons une recherche exhaustive des catégorifications de $pbt$. Nous montrons que, sous des hypothèses naturelles,il n'existe pas de catégorification de $pbt$ par une tour de monoïdesapériodiques. Enfin, nous démontrons que, dans un certain sens, la tour des monoïdes $0$-Hecke est la tour de monoïdes la plus simple catégorifiant $ncsf$.La seconde partie porte sur les fonctions de parking, par application des résultats de la première partie. D'une part, nous étudions la théorie des représentations de la tour des fonctions de parking croissantes. D'autre part,dans un travail commun avec Jean-Baptiste Priez nous reprenons une généralisation des fonctions de parking due à Stanley et Pitman. Afin d'obtenir des formules d'énumérations, nous utilisons une variante -- plus efficace dansle cas présent -- de la théorie des espèces. Nous donnons une action de$H_n(0)$ (et non du groupe symétrique) sur les fonctions de parking généralisées, et utilisons le théorème de catégorification de Krob et Thibon,pour relever dans les fonctions symétriques non commutatives le caractère de cette action. / This thesis is focused on combinatorical representation theory of finitemonoids within the field of algebraic combinatorics.A monoid $M$ is a finite set endowed with a multiplication and a neutralelement. A representation of $M$ is a morphism from $M$ into the monoid ofmatrices $M_n(ck)$ where $ck$ is a field; in this work it will typically bereferred to as $ck = CC$.The results obtained in the last decades allows us to use representation theoryof groups, and combinatorics on preorders in order to explore representationtheory of finite monoides.In 1996, Krob and Thibon proved that the induction and restriction rules ofirreducible and projective representations of the tower of $0$-Hecke monoidsendows its ring of caracters with a Hopf algebra structure, isomorph to thenon-commutative symmetric functions Hopf algebra $ncsf$. This gives acategorification of $ncsf$, which is an interpretation of the non-commutativesymmetruc functions in the language of representation theory. This extends atheorem of Frobenius endowing the character ring of symmetric groups to theHopf algebra of symmetric functions. Since then a natural problem is tocategorify other Hopf algebras -- for instance the Planar Binary Tree algebraof Loday and Ronco -- by a tower of algebras.Guessing such a tower of algebra is a difficult problem in general.In this thesis we restrict ourselves to towers of monoids in order to have abetter control on its representations. This is quite natural as on one hand,this setup covers both previous fundamental examples, whereas $ncsf$cannot be categorified in the restricted set of tower of group algebras.In the first part of this work, we start with some results about representationtheory of towers of monoids. We then focus on categorification with towers ofsemilatices, for example the tower of permutohedrons. We categorify thealgebra, and cogebra structure of $fqsym$, but not the full Hopf algebrastructure with its dual. We then make a comprehensive search in order tocategorify $pbt$ with a tower of monoids. We show that under naturalhypothesis, there exists no tower of monoids satisfying the categorificationaxioms. Finally we show that in some sense, the tower of $0$-Hecke monoids isthe simplest tower categorifying $ncsf$.The second part of this work deals with parking functions, applying resultsfrom the first part. We first study the representation theory of non decreasingparking functions. We then present a joint work with Jean-Baptiste Priez on ageneralization of parking functions from Pitman and Stanley. To obtainenumeration formulas, we use a variant of the species theory which was moreefficient in our case.We used an action of $H_n(0)$ instead of the symmetric group and use theKrob-Thibon theorem to lift the character of this action into the Hopf algebraof non-commutative symmetric functions.

Operads are objects that model operations with several inputs and one output. We define such structures in the context of graphs, namely oriented trees. Then we generalize operads to properads and modular operads by taking general graphs with, or without, orientation. Further we construct the cobar complex of operads and properads and illustrate the construction on the examples of the associative operad Ass and the Frobenius properad Frob. Algebras over the cobar complex of operads correspond to certain homotopy algebras, for our example of Ass it is A1. We find its Maurer-Cartan equation and convert it from coderivations to derivations. Similarly we find the Maurer-Cartan equation for cobar complex of Frobenius properad. Powered by TCPDF (www.tcpdf.org)

A lot of developments made during the last years show that Kac-Moody algebras play an important role in the algebraic structure of some supergravity theories. These algebras would generate infinite-dimensional symmetry groups. The possible existence of such symmetries have motivated the reformulation of these theories as non-linear sigma-models based on the Kac-Moody symmetry groups. Such models are constructed in terms of an infinite number of fields parametrizing the generators of the corresponding algebra. If these conjectured symmetries are indeed actual symmetries of certain supergravity theories, a meaningful question to elucidate will be the interpretation of this infinite tower of fields. Another substantial problem is to find the correspondence between the sigma-models, which are explicitly invariant under the conjectured symmetries, and these corresponding space-time theories. The subject of this thesis is to address these questions in certain cases. <p> <p> This dissertation is divided in three parts.<p> <p> In Part I, we first review the mathematical background on Kac-Moody algebras required to understand the results of this thesis. We then describe the investigations of the underlying symmetry structure of supergravity theories.<p> <p> In Part II, we focus on the bosonic sector of eleven-dimensional supergravity which would be invariant under the extended symmetry E_{11}. We study its subalgebra E_{10} and more precisely the real roots of its affine subalgebra E_9. For each positive real roots of E_9 we obtain a BPS solution of eleven-dimensional supergravity or of its exotic counterparts. All these solutions are related by U-dualities which are realized via E_9 Weyl transformations.<p> <p> In Part III, we study the symmetries of pure N=2 supergravity in D=4. As is known, the dimensional reduction of this model with one Killing vector is characterized by a non-linearly realized symmetry SU(2,1). We consider the BPS brane solutions of this theory preserving half of the supersymmetry and the action of SU(2,1) on them. Infinite-dimensional symmetries are also studied and we provide evidence that the theory exhibits an underlying algebraic structure described by the Lorentzian Kac-Mody group SU(2,1)^{+++}. This evidence arises from the correspondence between the bosonic space-time fields of N=2 supergravity in D=4 and a one-parameter sigma-model based on the hyperbolic group SU(2,1)^{++}. It also follows from the structure of BPS brane solutions which is neatly encoded in SU(2,1)^{+++}. As a worthy by-product of our analysis, we obtain a regular embedding of su(2,1)^{+++} in E_{11} based on brane physics./<p><p> Nombreuses sont les recherches récentes indiquant que différentes théories de gravité couplée à un certain type de champs de matière pourraient être caractérisées par des algèbres de Kac-Moody. Celles-ci généreraient des symétries infinies-dimensionnelles. L'existence possible de ces symétries a motivé la reformulation de ces théories par des actions explicitement invariantes sous les transformations du groupe de Kac-Moody. Ces actions sont construites en termes d'une infinité de champs associés à l'infinité de générateurs de l'algèbre correspondante. Si la conjecture de ces symétries est exacte, qu'en est-il de l'interprétation de l'infinité de champs? Qu'en est-il d'autre part de la correspondance entre ces actions explicitement invariantes sous les groupes de Kac-Moody et les théories d'espace-temps correspondantes? C'est autour de ces questions que gravite cette thèse.<p><p><p>Nous nous sommes d'abord focalisés sur le secteur bosonique de la supergravité à 11 dimensions qui possèderait selon diverses études une symétrie étendue E_{11}. Nous avons étudié la sous-algèbre E_{10} et plus particulièrement les racines réelles de sa sous-algèbre affine E_9. Pour chacune de ces racines, nous avons obtenu une solution BPS de la supergravité à 11 dimensions dépendant de deux dimensions d'espace non-compactes. Cette infinité de solutions résulte de transformations de Weyl successives sur des champs dont l'interprétation physique d'espace-temps était connue. <p><p>Nous avons ensuite analysé les symétries de la supergravité N=2 à 4 dimensions dont le secteur bosonique contient la gravité couplée à un champ de Maxwell. Cette théorie réduite sur un vecteur de Killing est caractérisée par la symétrie SU(2,1). Nous avons considéré les solutions de brane BPS qui préservent la moitié des supersymétries ainsi que l'action du groupe SU(2,1) sur ces solutions. Les symétries infinies-dimensionnelles ont également été étudiées. D'une part, la correspondance entre les champs d'espace-temps de la théorie N=2 et le modèle sigma basé sur le groupe hyperbolique SU(2,1)^{++} est établie. D'autre part, on montre que la structure des solutions de brane BPS est bien encodée dans SU(2,1)^{+++}. Ces considérations argumentent le fait que la supergravité N=2 possèderait une structure algébrique décrite par le groupe de Kac-Moody Lorentzien SU(2,1)^{+++}.<p> / Doctorat en Sciences / info:eu-repo/semantics/nonPublished