A questão de como sistemas quânticos correspondem a sistemas clássicos existe desde o surgimento da mecânica quântica e parece ser algo natural de se perguntar. E também desde o principio da mecânica quântica estados coerentes são usados para responder esse tipo de questão, já que eles são, em certo sentido, os estados quânticos mais próximos a estados que descrevem sistemas clássicos. Seguindo os resultados de Hepp, que mostrou a correspondência tantopara o caso da mecânica quântica não relativística quanto para o caso de camposBosônicos relativísticos, mostramos a correspondência entre sistemas Bosônicos livres em um espaço-tempo de de Sitter e soluções da equação de Klein-Gordon neste mesmo espaço.Após introduzir os conceitos relevantes e construir a álgebra que descreve sistemas Bosônicos livres em um espaço globalmente hiperbólico, construímos estados coerentes para álgebras CCR na forma de Weyl e provamos o limite semi-clássico para uma região próxima à origem (ou, para um tempo fixo, em todo espaço de de Sitter). Além disso provamos que este limite independe do estado de vácuo---que, em geral, não é único. / The question of the correspondence between quantum and classical systems is an issue since the beginnings of quantum mechanics and it seems like a natural question. Also since the start of quantum mechanics coherent states were used to answer this sort of question, since they are, in a sense, the quantum states closest to states that describe classical systems. Following the results of Hepp, who showed the correspondence for the case of non-relativistic quantum mechanics as well as for relativistic Bosonic fields, we show the correspondence between free Bosonic field in a de Sitter space-time and the solutions of the Klein-Gordon equation in that same space-time. After introducing the relevant concepts and the construction of the algebra that describes free Bosonic systems in a globally hyperbolic space-time, we construct coherent states for CCR algebras in Weyls form, and we prove the semi-classical limit for a region close to the origin (or, for a fixed time, in the whole de Sitter space-time). We also prove that this limit is independent of the vacuum statewhich might not be unique.

L'espace des lacets lisses C(S^1,M) associé à une variété symplectique M se voit doté d'une structure (quasi-)symplectique induite par celle de M.Nous traiterons dans cette thèse d'un analogue algébrique de cet énoncé.Dans leur article, Kapranov et Vasserot ont introduit l'espace des lacets formels associé à un schéma. Il s'agit d'un analogue algébrique à l'espace des lacets lisses.Nous generalisons ici leur construction à des lacets de dimension supérieure. Nous associons à tout schéma X -- pas forcément lisse -- l'espace L^d(X) de ses lacets formels de dimension d.Nous démontrerons que ce dernier admet une structure de schéma (dérivé) de Tate : son espace tangent est de Tate, c'est-à-dire de dimension infinie mais suffisamment structuré pour se soumettre à la dualité.Nous définirons également l'espace B^d(X) des bulles de X, une variante de l'espace des lacets, et nous montrerons que le cas échéant, il hérite de la structure symplectique de X. Notons que ces résultats sont toujours valides dans des cas plus généraux : X peut être un champs d'Artin dérivé.Pour démontrer nos résultats, nous définirons ce que sont les objets de Tate dans une infinie-catégorie C stable et complète par idempotence.Nous prouverons au passage que le spectre de K-théorie non-connective de Tate(C) est équivalent à la suspension de celui de C, donnant une version infini-catégorique d'un résultat de Saito.Dans le dernier chapitre, nous traiterons d'un problème différent. Nous démontrerons l'existence d'une structure d'algèbre de Lie sur le tangent décalé de n'importe quel champ d'Artin dérivé X. Qui plus est, ce tangent agit sur tout quasi-cohérent E, l'action étant donnée par la classe d'Atiyah de E.Ces résultats sont par exemple valides dans le cas d'un schéma X sans hypothèse de lissité. / If M is a symplectic manifold then the space of smooth loops C(S^1,M) inherits of a quasi-symplectic form. We will focus in this thesis on an algebraic analogue of that result.In their article, Kapranov and Vasserot introduced and studied the formal loop space of a scheme X. It is an algebraic version of the space of smooth loops in a differentiable manifold.We generalize their construction to higher dimensional loops. To any scheme X -- not necessarily smooth -- we associate L^d(X), the space of loops of dimension d. We prove it has a structure of (derived) Tate scheme -- ie its tangent is a Tate module: it is infinite dimensional but behaves nicely enough regarding duality.We also define the bubble space B^d(X), a variation of the loop space.We prove that B^d(X) is endowed with a natural symplectic form as soon as X has one.To prove our results, we develop a theory of Tate objects in a stable infinity category C. We also prove that the non-connective K-theory of Tate(C) is the suspension of that of C, giving an infinity categorical version of a result of Saito.The last chapter is aimed at a different problem: we prove there the existence of a Lie structure on the tangent of a derived Artin stack X. Moreover, any quasi-coherent module E on X is endowed with an action of this tangent Lie algebra through the Atiyah class of E. This in particular applies to not necessarily smooth schemes X.

In this dissertation we explore the question of existence of a property of group actions on C*-algebras known as the tracial Rokhlin property. We prove existence of the property in a very general setting as well as specialise the question to specific situations of interest. For every countable discrete elementary amenable group G, we show that there always exists a G-action ω with the tracial Rokhlin property on any unital simple nuclear tracially approximately divisible C*-algebra A. For the ω we construct, we show that if A is unital simple and Z-stable with rational tracial rank at most one and G belongs to the class of countable discrete groups generated by finite and abelian groups under increasing unions and subgroups, then the crossed product A 􏰃ω G is also unital simple and Z-stable with rational tracial rank at most one. We also specialise the question to UHF algebras. We show that for any countable discrete maximally almost periodic group G and any UHF algebra A, there exists a strongly outer product type action α of G on A. We also show the existence of countable discrete almost abelian group actions with the "pointwise" Rokhlin property on the universal UHF algebra. Consequently we get many examples of unital separable simple nuclear C*-algebras with tracial rank zero and a unique tracial state appearing as crossed products.

This thesis constructs tilting bundles obtained from full strong exceptional collections of line bundles on all smooth toric Fano fourfolds. The tilting bundles lead to a large class of explicit Calabi-Yau-5 algebras, obtained as the corresponding rolled-up helix algebra. We provide two different methods to show that a collection of line bundles is full, whilst the strong exceptional condition is checked using the package QuiversToricVarieties for the computer algebra system Macaulay2, written by the author. A database of the full strong exceptional collections can also be found in this package.

Newton's method is at the core of many algorithms used for solving nonlinear equations. A globalized Newton method is an implementation of Newton's method augmented with ``globalization procedures' intended to enhance the likelihood of convergence to a solution from an arbitrary initial guess. A Newton-GMRES method is an implementation of Newton's method in which the iterative linear algebra method GMRES is used to solve approximately the linear system that characterizes the Newton step. A globalized Newton-GMRES method combines both globalization procedures and the GMRES scheme to develop robust and efficient algorithms for solving nonlinear equations. The aim of this project is to describe the development of some globalized Newton-GMRES methods and to compare their performances on a few benchmark fluid flow problems.

The notion of surreal number was introduced by J.H. Conway in the mid 1970\'s: the surreal numbers constitute a linearly ordered (proper) class No containing the class of all ordinal numbers (On) that, working within the background set theory NBG, can be defined by a recursion on the class On. Since then, have appeared many constructions of this class and was isolated a full axiomatization of this notion that been subject of interest due to large number of interesting properties they have, including model-theoretic ones. Such constructions suggests strong connections between the class No of surreal numbers and the classes of all sets and all ordinal numbers. In an attempt to codify the universe of sets directly within the surreal number class, we have founded some clues that suggest that this class is not suitable for this purpose. The present work is an attempt to obtain an \"algebraic (set) theory for surreal numbers\" along the lines of the Algebraic Set Theory - a categorial set theory introduced in the 1990\'s: to establish abstract and general links between the class of all surreal numbers and a universe of \"surreal sets\" similar to the relations between the class of all ordinals (On) and the class of all sets (V), that also respects and expands the links between the linearly ordered class of all ordinals and of all surreal numbers. We have introduced the notion of (partial) surreal algebra (SUR-algebra) and we explore some of its category theoretic properties, including (relatively) free SUR-algebras (SA, ST). We have established links, in both directions, between SUR-algebras and ZF-algebras (the keystone of Algebraic Set Theory). We develop the first steps of a certain kind of set theory based (or ranked) on surreal numbers, that expands the relation between V and On. / A noção de número surreal foi introduzida por J.H. Conway em meados da década de 1970: os números surreais constituem uma classe (própria) linearmente ordenada No contendo a classe de todos os números ordinais (On) e que, trabalhando dentro da base conjuntista NBG, pode ser definida por uma recursão na classe On. Desde então, apareceram muitas construções desta classe e foi isolada uma axiomatização completa desta noção que tem sido objeto de estudo devido ao grande número de propriedades interessantes, incluindo entre elas resultados modelos-teóricos. Tais construções sugerem fortes conexões entre a classe No de números surreais e as classes de todos os conjuntos e todos os números ordinais. Na tentativa de codificar o universo dos conjuntos diretamente na classe de números surreais, encontramos algumas pistas que sugerem que esta classe não é adequada para esse fim. O presente trabalho é uma tentativa de se obter uma \"teoria algébrica (de conjuntos) para números surreais\" na linha da Teoria dos Algébrica dos Conjuntos - uma teoria categorial de conjuntos introduzida nos anos 1990: estabelecer links abstratos e gerais entre a classe de todos números surreais e um universo de \"conjuntos surreais\" emelhantes às relações entre a classe de todos os ordinais (On) e a classe de todos os conjuntos (V), que também respeite e expanda os links entre as classes linearmente ordenadas de todos ordinais e de todos os números surreais. Introduzimos a noção de álgebra surreal (parcial) (SUR-álgebra) e exploramos algumas das suas propriedades categoriais, incluindo SUR-álgebras (relativamente) livres (SA, ST). Nós estabelecemos links, em ambos os sentidos, entre SUR-álgebras e álgebras ZF (a pedra angular da Teoria Algébrica dos Conjuntos). Desenvolvemos os primeiros passos de um determinado tipo de teoria de conjuntos baseada (ou ranqueada) em números surreais, que expande a relação entre V e On.

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.

Extensões de Ore são anéis de polinômios, denotados por R[x o &], nos quais a variável x e os elementos de R não comutam necessariamente. Algebras de Hopf fracas são algebras que tamb em são coálgebras e satisfazem um conjunto de axiomas de compatibilidade entre essas estruturas. Neste trabalho investigamos extensões de Ore cujo anel base e uma algebra de Hopf fraca. Mais especi camente, dada uma algebra de Hopf fraca R, estudamos sob quais condições R[x o &] e uma algebra de Hopf fraca com uma estrutura que estende a estrutura de R. Sob certas hipóteses, obtemos condições necessárias e su cientes para que a extensão de Ore seja uma álgebra de Hopf fraca, obtendo assim um resultado que generaliza um teorema de Panov para o contexto de algebras de Hopf fracas. / Ore extensions are polynomial rings, denoted by R[x o &], in which the variable x and the elements of R do not commute necessarily. Weak Hopf algebras are algebras which are also coalgebras and satisfy a set of axioms of compatibility betweem these structures. In this work, we investigate Ore extensions whose base ring is a weak Hopf algebra. More speci cally, if R is a weak Hopf algebra then we study under what conditions R[xo &] is a weak Hopf algebra extending the structure of R. Under certain hypotheses, we obtain necessary and su cient conditions for an Ore extension to be a weak Hopf algebra, obtaining a result that generalizes a Panov's theorem to the setting of weak Hopf algebras.

O principal tema deste trabalho é o estudo dos sistemas estratificantes sobre álgebras hereditárias. Um dos principais problemas é a construção de sistemas estratificantes completos cujos elementos sejam todos módulos regulares, sendo este problema resolvido para álgebras hereditárias do tipo mansa e as álgebras de Kronecker generalizadas. Para as álgebras hereditárias de tipo mansa exibimos um limitante para o tamanho dos sistemas estratificantes formados só de módulos regulares e, usando tal limitante, concluímos que não é possível que tais sistemas estratificantes sejam completos. Para as álgebras de Kronecker e as álgebras de Kronecker generalizadas concluimos que nenhum sistema estratificante sobre esta álgebra pode ter elementos regulares e construímos todos os possíveis sistemas estratificantes completos sobre esta álgebra. Definimos o conceito de sequência especial de um módulo inclinante, estabelecemos que todo módulo inclinante tem uma sequência especial e estudamos quando uma sequência, de dois e três somandos diretos de um módulo inclinante, é uma sequência especial. / The main topic of this work is the study of stratifying systems over hereditary algebras. One of the main questions to be considered is the construction of complete stratifying systems whose elements are regular modules. We solve this problem for tame hereditary algebras and for the Kronecker generalized algebras. In the case of tame hereditary algebras, we obtain a bound for the size of the stratifying systems composed only by regular modules and, by using this bound, we conclude that such stratifying systems can not be complete. For the Kronecker and for Kronecker the generalized algebras we conclude that no stratifing system over this algebra can have regular elements. Next we construct all possible complete stratifying systems over this algebra. Furthermore, we define the notion of special sequence of a tilting module and we establish that all tilting modules have an special ordenation. Also we study when an sequence of two and three direct summands of an tilting module, is a special ordenation.

O propósito deste trabalho é dar uma contribuição ao projeto iniciado por Hornos & Hornos que visa explicar as degenerescências do código genético como resultado de sucessivas quebras de simetria ocorridas durante sua evolução. O modelo matemático usado requer a construção de todas as representações irredutíveis de dimensão 64 das álgebras de Lie simples (chamadas representações de códons) e a análise de suas regras de ramicação sob redução a subalgebras. A classicação de todas as possibilidades é baseada na classicação das subalgebras maximais das álgebras de Lie semisimples obtida por Dynkin. No presente trabalho, os resultados de Dynkin são apresentados em linguagem e notação moderna e são aplicados ao problema de construir todas as possíveis cadeias de subalgebras maximais das álgebras de Lie simples B_6 = so(13) e D_7 = so(14) e de identicar aquelas que reproduzem as degenerescências do código genético. / The purpose of this work is to make a contribution to the project initiated by Hornos & Hornos which aims at explaining the degeneracy of the genetic code as the result of a sequence of symmetry breaking that occurred during its evolution. The mathematical model employed requires the construction of all 64-dimensional irreducible representations of simple Lie algebras (called codon representations) and the analysis of their branching rules under reduction to sub-algebras. The classification of all possibilities is based on Dynkins classification of the maximal sub-algebras of semi-simple Lie algebras. In the present work, Dynkins results are presented in modern language and notation and are applied to the problem of constructing all possible chains of maximal sub-algebras of the simple Lie algebras B_6 = so(13) and D_7 = so(14) and of identifying all those that reproduce the degeneracies of the genetic code.