The aim of this dissertation lies in establishing an o-minimal de Rham cohomology theory for smooth abstract-definable manifolds in an o-minimal expansion of the real field which admits smooth cell decomposition and defines the exponential function, by following the classical de Rham cohomology. We can specify the o-minimal cohomology groups and attain some properties as the existence of Mayer-Vietoris sequence and the invariance under smooth abstract-definable diffeomorphisms. However, in order to obtain the invariance of our o-minimal cohomology under abstract-definable homotopy we must, working in a tame context that defines sufficiently many primitives, assume the validity of a statement related to Bröcker\'s problem. / O objetivo desta tese reside em estabelecer uma cohomologia de De Rham o-minimal para variedades definíveis abstratas lisas em uma expansão o-minimal do corpo ordenado dos reais, a qual admite decomposição celular lisa e define a função exponencial, seguindo a cohomologia de De Rham clássica. Além de especificarmos os grupos da cohomologia de Rham o-minimal, obtemos algumas propriedades, como a existência da sequência de Mayer-Vietoris e a invariância sob difeomorfismos definíveis abstratos lisos. Todavia, a fim de lograrmos a invariância de nossa cohomologia o-minimal sob homotopia definível abstrata devemos, além de trabalhar num contexto moderado no qual muitas primitivas são definidas, assumir a validade de uma asserção relacionada ao problema de Bröcker.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans cette thèse nous étudions la filtration par le poids sur la cohomologie de De Rham d’une courbe hyperelliptique C définie sur une extension finie de Qp et à réduction semi-stable. L’objectif est de fournir des algorithmes calculant explicitement, étant donné une équation de C, les bases des crans de la filtration par le poids ainsi que la matrice de l’accouplement de Poincaré. Dans le premier chapitre, nous mettons en place des outils relatifs à la cohomologie de De Rham algébrique de la courbe hyperelliptique. Nous construisons une base adaptée de la cohomologie de De Rham de C, nous établissons une formule explicite pour le cup-produit et la trace, et enfin nous proposons un algorithme calculant la matrice de l’accouplement de Poincaré. Le deuxième chapitre est consacré à la description explicite de la flèche induite par l’inclusion du tube d’un point double sur les espaces de cohomologie. C’est l’ingrédient essentiel pour pouvoir décrire la filtration par le poids sur la cohomologie de De Rham de C. À cette fin nous nous plaçons dans le cadre de la géométrie analytique à la Berkovich et nous introduisons puis développons les notions de point résiduellement singulier standard et de forme apparente de l’équation de la courbe. Dans le troisième et dernier chapitre, nous faisons la synthèse des résultats obtenus et achevons la description de la filtration par le poids. Enfin, nous donnons les algorithmes calculant les bases de Fil0 et Fil1. Pour les algorithmes obtenus dans la thèse nous proposons une implémentation en sage, ainsi que des exemples concrets sur des courbes de genre un et deux. / In this thesis we study the weight filtration on the De Rham cohomology of an hyperelliptic curve C defined over a finite extension of Qp and with semi-stable reduction. The goal is to provide algorithms computing explicitly, given an equation of C, the basis of the weight filtration’s spaces as well as the matrix of the Poincaré pairing. In the first chapter we introduce tools related to the algebraic De Rham cohomology of the hyperelliptic curve. We build a suitable basis of the De Rham cohomology of C, we establish explicit formulae for the cup-product and the trace, and we give an algorithm computing the matrix of the Poincaré pairing. The second chapter is dedicated to the explicit description of the morphism induced by the inclusion of the tube of a double point on the cohomology spaces. It is the main ingredient that allows us to describe the weight filtration on the De Rham cohomology of C. To achieve that, we use the framework of the Berkovitch analytical geometry. We introduce and then we develop the notion of standard residually singular points and the notion of apparent form of the curve’s equation. In the third and last chapter, we synthesize all the results and we complete the description of the weight filtration. Finally, we give the algorithms that compute the basis of Fil0 and Fil1. For each of our algorithm, we propose a sage implementation and concrete examples on genus one and two curves.

O objetivo deste texto é apresentar uma classe de módulos para álgebra de Lie de campos vetoriais em um toro N -dimensional, Vect( T N ). O caso N = 1 nos dá a famosa álgebra de Witt (sua extensão central é álgebra de Virasoro). A álgebra Vect( T N ) apresenta um classe de módulos parametrizada por módulos de dimensão finita da álgebra gl N . Nosso objeto central de estudo são módulos induzidos dos módulos tensoriais de Vect( T N ) para Vect( T N +1 ). Estes módulos apresentam um quociente irredutível com espaços de peso de dimensão finita. A álgebra Vect( T N ) apresenta como subálgebra sl N +1 . Com a restrição da ação de Vect( T N ) a esta subálgebra obtemos o carácter deste quociente. Para obter um critério de irredutibilidade e construir sua realização de campo livre, consideramos uma classe de módulos para 1 (T N +1 )/ d 0 (T N +1 ) o Vect (T N ) , construída a partir de álgebras de vértice. Quando restritos a Vect (T N ) estes módulos continuam irredutíveis a menos que apareçam no chiral de De Rham. / The goal of this text is to present a class of modules for the Lie algebra of vector fields in a N -dimensional torus, Vect (T N ) . The case N = 1 give us the famous Witt algebra (its central extension is the Virasoro algebra). The algebra Vect( T N ) has a class of modules parametrized by finite dimensional gl N -modules. The central object of our study are modules induced from tensor modules for Vect( T N ) to Vect( T N +1 ). Those modules have an irreducible quotient such that every weight space has finite dimension. The algebra Vect( T N ) has as subalgebra sl N +1 . Restricting the action of Vect( T N ) to this subálgebra we have the character of this quotient. To obtain a irreducible critreria and construct a free field reazilation, we consider a class of modules for 1 (T N +1 )/ d 0 (T N +1 ) o Vect (T N ) , constructed from vertex algebras. When restricted to Vect (T N ) thesse modules remain irreducible, unless they belongs to the chiral De Rham complex.

We will show that the only connected Euclidean spheres admitting a structure of Lie group are S1 and S3, for all n greater than or equal to 1. We will do this through the study of properties of the De Rham cohomology groups of sphere Sn and of compact connected Lie groups. / Fundação de Amparo a Pesquisa do Estado de Alagoas / Mostraremos que as únicas esferas euclidianas conexas que admitem uma estrutura de grupo de Lie são S1 e S3, para todo n maior ou igual a 1. Faremos isso por intermédio do estudo de propriedades dos grupos de cohomologia de De Rham das esfereas Sn e dos grupos de Lie compactos e conexos.

Made available in DSpace on 2016-06-02T20:27:39Z (GMT). No. of bitstreams: 1 3703.pdf: 612745 bytes, checksum: 57763528b5a111b975b1122e35bbc887 (MD5) Previous issue date: 2011-06-16 / Universidade Federal de Minas Gerais / In this work, we extend some global L1 estimates proved by Bourgain-Brezis in the case of the de Rham complex on RN to the setup of local L1 estimates for elliptic complexes, namely, those associated to involutive elliptic structures spanned by a family of linearly independent smooth complex vector fields. In particular, we obtain a local version of Gagliardo-Nirenberg estimates for elliptic systems of vector fields. / Neste trabalho, estendemos algumas estimativas L1 provadas por Bourgain-Brezis no caso do complexo de de Rham em RN para o contexto local de estimativas L1 para complexos elíticos, a saber, aqueles associados a uma estrutura involutiva elítica gerada por uma família de campos vetoriais suaves e linearmente independentes. Em particular, obtemos uma versão local da desigualdade de Gagliardo-Nirenberg para um sistema de campos vetoriais elíticos.

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T16:48:31Z (GMT). No. of bitstreams: 1 Cardoso_NunoFilipedeAndrade_M.pdf: 1858794 bytes, checksum: bbe47182338feb3de60b480df87b52a7 (MD5) Previous issue date: 2014 / Resumo: Os teoremas de degenerescência de Hodge e de anulamento de Kodaira, Akizuki e Nakano são de suma importância na teoria de variedades complexas. Usando o teorema de comparação de Serre, ambos podem ser traduzidos para o contexto de esquemas projetivos e suaves sobre um corpo de característica zero. Para corpos de característica positiva, no entanto, os dois deixam de valer sem hipóteses adicionais, sendo que os primeiros contra-exemplos foram encontrados por Mumford e Raynaud. O objetivo desta dissertação é apresentar um teorema devido a Deligne e Illusie que assegura a degenerescência da seqüência espectral de Hodge-de Rham e uma versão do teorema de Kodaira, Akizuki e Nakano para certos esquemas projetivos e suaves sobre um corpo perfeito de característica positiva. Nos propusemos a dar um tratamento, na medida do possível, auto-suficiente / Abstract: The Hodge degeneration theorem and the Kodaira, Akizuki and Nakano's vanishing theorem are of paramount importance in the theory of complex manifolds. Using Serre's comparison theorem, both can be translated to the context of smooth projective schemes over a field of characteristic zero. For fields of positive characteristic, however, both fail to hold without additional hypothesis, and the first counterexamples were found by Mumford and Raynaud. Our goal in this dissertation is to present a theorem due to Deligne and Illusie that ensures the degeneration of the Hodge-de Rham spectral sequence and a version of the theorem of Kodaira, Akizuki and Nakano for certain smooth projective schemes over a perfect field of positive characteristic. We tried to keep the treatment as self-contained as possible / Mestrado / Matematica / Mestre em Matemática

Vertex algebras and strongly homotopy Lie algebras (SHLA) are extensively used in qunatum field theory and string theory. Recently, it was shown that a Courant algebroid can be naturally lifted to a SHLA. The 0-product in the de Rham chiral algebra has an identical formula to the Courant bracket of vector fields and 1-forms. We show that in general, a vertex algebra has an SHLA structure and that the de Rham chiral algebra has a non-zero l4 homotopy.

A toute fonction de Morse généralisée f sur un feuilletage mesuré, nous associons un complexe longitudinal dont nous montrons qu'il calcule la cohomologie longitudinale introduite par A. Connes. L'espace d'indice q de ce complexe est donné par le champ d'espaces $E^q=(l^2(C^q \cap L))_L$ , où C^q est la variété des points critiques longitudinaux d'indice q de f, et où L désigne la feuille générique . Les différentielles $\delta^q:E^q \rightarrow E^{q+1}$ expriment comment l'orientation de la variété instable se transporte le long d'une trajectoire du champ de gradient feuilleté reliant un point critique d'indice q à un point critique d'indice q+1. Pour montrer que ce complexe calcule la cohomologie longitudinale, nous l'identifions au complexe obtenu comme limite, lorsque tau tend vers l'infini, du complexe feuilleté $(W^q_{\tau,L},d^q_{\tau,L})$ considéré par A. Connes et T. Fack. Ce travail étend au cas des feuilletages celui de B. Helffer et J. Sjörstrand.

In this thesis, we investigate sigma models and algebraic structures emerging from a Hamiltonian description of their dynamics, both in a classical and in a quantum setup. More specifically, we derive the phase space structures together with the Hamiltonians for the bosonic two-dimensional non-linear sigma model, and also for the N=1 and N=2 supersymmetric models. A convenient framework for describing these structures are Lie conformal algebras and Poisson vertex algebras. We review these concepts, and show that a Lie conformal algebra gives a weak Courant–Dorfman algebra. We further show that a Poisson vertex algebra generated by fields of conformal weight one and zero are in a one-to-one relationship with Courant–Dorfman algebras. Vertex algebras are shown to be appropriate for describing the quantum dynamics of supersymmetric sigma models. We give two definitions of a vertex algebra, and we show that these definitions are equivalent. The second definition is given in terms of a λ-bracket and a normal ordered product, which makes computations straightforward. We also review the manifestly supersymmetric N=1 SUSY vertex algebra. We also construct sheaves of N=1 and N=2 vertex algebras. We are specifically interested in the sheaf of N=1 vertex algebras referred to as the chiral de Rham complex. We argue that this sheaf can be interpreted as a formal quantization of the N=1 supersymmetric non-linear sigma model. We review different algebras of the chiral de Rham complex that one can associate to different manifolds. In particular, we investigate the case when the manifold is a six-dimensional Calabi–Yau manifold. The chiral de Rham complex then carries two commuting copies of the N=2 superconformal algebra with central charge c=9, as well as the Odake algebra, associated to the holomorphic volume form.