Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Diviseur (géométrie algébrique)
Résumé
En mathématiques, plus précisément en géométrie algébrique, les diviseurs sont une généralisation des sous-variétés de codimension 1 de variétés algébriques ; deux généralisations différentes sont d'un usage commun : les diviseurs de Weil et les diviseurs de Cartier. Les deux concepts coïncident dans les cas des variétés non singulières.
En géométrie algébrique, comme en géométrie analytique complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d'un schéma (une variété algébrique, une surface de Riemann, un anneau de Dedekind...) au travers d'un squelette assez simple. Ce groupe provient de l'idée commune aux études menées sur ces objets : on peut connaître une grande part de leur géométrie en étudiant les sous-schémas non triviaux maximaux (sous variétés, ou idéaux de codimension 1).
L'ensemble de ces diviseurs est muni d'une loi de groupe additive. Plusieurs définitions sont possibles, selon le cadre dans lequel on agit (cycles de codimension 1, faisceaux inversibles, diviseurs de Cartier). Néanmoins, sous de bonnes conditions, les diviseurs qu'on obtient sont identiques.
On peut agir ainsi dans le cadre de variétés définies sur un corps algébriquement clos ( par exemple) ou sur un corps de nombre quelconque (voire ou les corps p-adiques). On peut les définir sur des structures souples (par exemple des changements de cartes holomorphes) ou plus rigides (variétés algébriques). On peut se placer localement (sur un anneau) ou plus globalement, en regardant toute une variété.
Pour une variété algébrique (ou plus généralement un schéma noethérien), on appelle diviseur de Weil (nommé en l'honneur de André Weil) sur une somme formelle, à support fini et à coefficients entiers, de sous-variétés fermées et irréductibles, de codimension 1. L'ensemble des diviseurs sur est donc le groupe abélien libre engendré par ces sous-variétés de codimension 1. La théorie des cycles algébriques s'intéresse au groupe engendré par des fermés irréductibles de codimension quelconque.
Source officielle
À 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.
Proximité ontologique