Cohomologie étale

Résumé

La cohomologie étale est la théorie cohomologique des faisceaux associée à la topologie étale. Elle mime le comportement habituel de la cohomologie classique sur des objets mathématiques où celle-ci n'est pas envisageable, en particulier les schémas et les espaces analytiques. La cohomologie étale a été introduite pour les schémas par Alexander Grothendieck et Michael Artin dans SGA 4 et 41⁄2, avec l'objectif de réaliser une cohomologie de Weil et ainsi résoudre les conjectures de Weil, objectif partiellement rempli, plus tard complété par Pierre Deligne avec l'introduction de la cohomologie l-adique. L'adjectif « étale » se réfère à la notion de domaine étalé en géométrie analytique complexe. À l'origine, dans SGA 4, Grothendieck avait introduit la cohomologie étale dans le contexte plus général des sites et topoi. Dans de nombreuses situations cependant, cet appareil théorique n'est pas nécessaire. Plus tard, une cohomologie étale pour les espaces analytiques (en particulier le demi-plan supérieur p-adique) a été développée par Vladimir Berkovich pour le programme de Langlands. Pour comprendre le besoin d'une telle théorie, il s'agit de comprendre en quoi la cohomologie usuelle est insatisfaisante. On peut observer ce qui se passe si l'on essaye de travailler sur la cohomologie classique (d'espace topologique) d'un schéma, par exemple avec la topologie de Zariski : Si est une variété complexe et un faisceau constant, on n'a pas le résultat « naturel » que pour tout i > 0. Si est un schéma ou un de dimension d, ses groupes de cohomologie (topologique) sont nuls à partir du (d+1)-ième inclus, alors qu'en tant que variété complexe algébrique de dimension d, on s'attend à ce que les groupes soient nuls à partir de 2d+1. Topologie étale En un certain sens, la topologie de Zariski est trop grossière pour rendre compte de la cohomologie : elle manque d'ouverts. Cependant, on ne peut pas « simplement » ajouter des ouverts à la topologie de Zariski.

Source officielle

https://fr.wikipedia.org/wiki/Cohomologie_étale

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (4)

Orders that are étale-locally isomorphic

Eva Bayer Fluckiger, Mathieu Huruguen

Let R be a semilocal Dedekind domain with fraction field F. It is shown that two hereditary R-orders in central simple F-algebras that become isomorphic after tensoring with F and with some faithfully flat étale R-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this statement for Hermitian forms over hereditary R-orders with involution. The results can be restated by means of étale cohomology and can be viewed as variations of the Grothendieck–Serre conjecture on principal homogeneous spaces of reductive group schemes. The relationship with Bruhat–Tits theory is also discussed.

2019

We investigate the theory of principal bundles from a homotopical point of view. In the first part of the thesis, we prove a classification of principal bundles over a fixed base space, dual to the well-known classification of bundles with a fixed structure group. This leads to an adjointness property in a homotopical context between the classifying space and the loop space. We then focus on characteristic classes, which are invariants for principal bundles that take values in the cohomology of the base space. Each characteristic class captures different geo- metric features of principal bundles. We propose a uniform treatment to interpret most of known characteristic classes as obstructions to group reduction and to the extension of a universal cocycle. By plugging in the correct parameters, the method recovers several classical theorems. Afterwards, we construct a long exact sequence of abelian groups for any principal bundle. This sequence involves the cohomology of the base space and the group cohomology of the structure group. Moreover the connecting map is deeply related with the characteristic classes of the bundle.

EPFL2017

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tildeX, that is a group. Moreover, the morphisms of topological groups (Omega) over tildeX -> G generate all the G-bundles over X up to equivalence. In this paper, we show that the relation between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles over a fixed space, that is dual to the classification of bundles with a fixed group. Such a result clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space, which are very important in topological K-theory, group cohomology, and homotopy theory.

Int Press Boston, Inc2017

Afficher plus

Concepts associés (58)

Fonction zêta locale

En mathématiques et dans la théorie des nombres, une fonction zêta locale est une fonction génératrice pour le nombre de solutions d'un ensemble d'équations définies sur un corps fini F, dans les extensions de corps de F. L'analogie avec la fonction zêta de Riemann ζ vient de la considération de la dérivée logarithmique . Étant donné F, il existe, à un isomorphisme près, un seul corps tel que , pour k = 1,2, ...

Conjectures de Weil

En mathématiques, les conjectures de Weil, qui sont devenues des théorèmes en 1974, ont été des propositions très influentes à la fin des années 1940 énoncées par André Weil sur les fonctions génératrices (connues sous le nom de fonctions zêta locales) déduites du décompte de nombre de points des variétés algébriques sur les corps finis. Une variété sur « le » corps à q éléments possède un nombre fini de points sur le corps lui-même, et sur chacune de ses extensions finies.

Pierre Deligne

Pierre René, vicomte Deligne est un mathématicien belge, né le à Etterbeek dans la Région de Bruxelles-Capitale. Pierre René Deligne est diplômé de l'Université libre de Bruxelles en 1966, en ayant effectué une année de scolarité à l’école normale supérieure en 1965-1966. Il soutient une première thèse de doctorat en 1968 à Bruxelles. De 1968 à 1984, il est membre de l’Institut des hautes études scientifiques, où il assiste aux séminaires d’Alexandre Grothendieck qu'il appelle son « maître ».

Afficher plus

Cours associés (10)

Séances de cours associées (38)