This thesis deals with cohomologies on the symplectic quotient of a Frölicher space which is locally diffeomorphic to a Euclidean Frölicher subspace of Rn of constant dimension equal to n. The symplectic reduction under consideration in this thesis is an extension of the Marsden-Weinstein quotient (also called, the reduced space) well-known from the finite-dimensional smooth manifold case. That is, starting with a proper and free action of a Frölicher-Lie-group on a locally Euclidean Frölicher space of finite constant dimension, we study the smooth structure and the topology induced on a small subspace of the orbit space. It is on this topological space that we will construct selected cohomologies such as : sheaf cohomology, Alexander-Spanier cohomology, singular cohomology, ~Cech cohomology and de Rham cohomology. Some natural questions that will be investigated are for instance: the impact of the symplectic structure on these di erent cohomologies; the cohomology that will give a good description of the topology on the objects of category of Frölicher spaces; the extension of the de Rham cohomology theorem in order to establish an isomorphism between the five cohomologies. Beside the algebraic, topological and geometric study of these new objects, the thesis contains a modern formalism of Hamiltonian mechanics on the reduced space under symplectic and Poisson structures. / Mathematical Sciences / D. Phil. (Mathematics)

Este trabalho tem como objetivo apresentar um estudo detalhado dos fundamentos da Geometria Complexa, ressaltando seus aspectos geométricos, topológicos e analíticos. Começando com materiais preliminares, como resultados básicos sobre funções holomorfas de uma ou mais variáveis e a definição e primeiros exemplos de variedades complexas, passamos a uma introdução à teoria de feixes e sua cohomologia, ferramenta indispensável para o restante do trabalho. Após um estudo sobre fibrados de linha e divisores damos atenção à Geometria de Kähler e alguns de seus resultados centrais, como por exemplo o Teorema da Decomposição de Hodge, o Teorema ``Difícil\'\' e o Teorema das $(1,1)$-classes de Lefschetz. Em seguida, nos dedicamos ao estudo dos fibrados vetoriais complexos e sua geometria, abordando os conceitos de conexões, curvatura e Classes de Chern. Terminamos o trabalho descrevendo alguns aspectos da topologia de variedades complexas, como o Teorema dos Hiperplanos de Lefschetz e algumas de suas consequências. / The main goal of this work is to present a detailed study of the foundations of Complex Geometry, highlighting its geometric, topological and analytical aspects. Beginning with a preliminary material, such as the basic results on holomorphic functions in one or more variables and the definition and first examples of a complex manifold, we move on to an introduction to sheaf theory and its cohomology, an essential tool to the rest of the work. After a discussion on divisors and line bundles we turn attention to Kähler Geometry and its central results, such as the Hodge Decomposition Theorem, the Hard Lefschetz Theorem and the Lefschetz Theorem on $(1,1)$-classes. After that, we study complex vector bundles and its geometry, focusing on the concepts of connections, curvature and Chern classes. Finally, we finish by describing some aspects of the topology of complex manifolds, such as the Lefschetz Hyperplane Theorem and some of its consequences.

Este trabalho tem como objetivo apresentar um estudo detalhado dos fundamentos da Geometria Complexa, ressaltando seus aspectos geométricos, topológicos e analíticos. Começando com materiais preliminares, como resultados básicos sobre funções holomorfas de uma ou mais variáveis e a definição e primeiros exemplos de variedades complexas, passamos a uma introdução à teoria de feixes e sua cohomologia, ferramenta indispensável para o restante do trabalho. Após um estudo sobre fibrados de linha e divisores damos atenção à Geometria de Kähler e alguns de seus resultados centrais, como por exemplo o Teorema da Decomposição de Hodge, o Teorema ``Difícil\'\' e o Teorema das $(1,1)$-classes de Lefschetz. Em seguida, nos dedicamos ao estudo dos fibrados vetoriais complexos e sua geometria, abordando os conceitos de conexões, curvatura e Classes de Chern. Terminamos o trabalho descrevendo alguns aspectos da topologia de variedades complexas, como o Teorema dos Hiperplanos de Lefschetz e algumas de suas consequências. / The main goal of this work is to present a detailed study of the foundations of Complex Geometry, highlighting its geometric, topological and analytical aspects. Beginning with a preliminary material, such as the basic results on holomorphic functions in one or more variables and the definition and first examples of a complex manifold, we move on to an introduction to sheaf theory and its cohomology, an essential tool to the rest of the work. After a discussion on divisors and line bundles we turn attention to Kähler Geometry and its central results, such as the Hodge Decomposition Theorem, the Hard Lefschetz Theorem and the Lefschetz Theorem on $(1,1)$-classes. After that, we study complex vector bundles and its geometry, focusing on the concepts of connections, curvature and Chern classes. Finally, we finish by describing some aspects of the topology of complex manifolds, such as the Lefschetz Hyperplane Theorem and some of its consequences.