Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Soit G un groupe algébrique semi-simple sur un corps de caractéristique 0. Ce mémoire discute d'un théorème d'annulation de la cohomologie supérieure du faisceau D des opérateurs différentiels sur une variété de drapeaux de G. On démontre que si P est un sous-groupe parabolique de G, alors H^i(G/P,D)=0 pour tout i>0. On donne en fait trois preuves indépendantes de ce théorème. La première preuve est de Hesselink et n'est valide que dans le cas où le sous-groupe parabolique est un sous-groupe de Borel. Elle utilise un argument de suites spectrales et le théorème de Borel-Weil-Bott. La seconde preuve est de Kempf et n'est valide que dans le cas où le radical unipotent de P agit trivialement sur son algèbre de Lie. Elle n'utilise que le théorème de Borel-Weil-Bott. Enfin, la troisième preuve est attribuée à Elkik. Elle est valide pour tout sous-groupe parabolique mais utilise le théorème de Grauert-Riemenschneider. On présente aussi une construction détaillée du faisceau des opérateurs différentiels sur une variété. / Let G be a semisimple algebraic group on a field of characteristic 0. This thesis discusses a vanishing theorem for the higher cohomology of the sheaf D of differential operators on a flag variety of G. We show that if P is a parabolic subgroup of G, then H^i(G/P,D)=0 for all i>0. In fact, we give three independent proofs of this theorem. The first proof, due to Hesselink, only works if the parabolic subgroup P is a Borel subgroup. It uses a spectral sequence argument as well as the Borel-Weil-Bott theorem. The second proof, due to Kempf, only works if the unipotent radical of P acts trivially on its Lie algebra. It only uses the Borel-Weil-Bott theorem. Finally, the third proof, due to Elkik, is valid for any parabolic subgroup. However, it uses the Grauert-Riemenschneider theorem. We also present a detailled construction of the sheaf of differential operators on a variety.

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.

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)

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)