Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
Théorie des corps de classesvignette|Les racines cinquièmes de l'unité dans le plan complexe. Ajouter ces racines aux nombres rationnels génère une extension abélienne. En mathématiques, la théorie des corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c'est-à-dire galoisiennes et de groupe de Galois commutatif, d'un corps commutatif donné. Plus précisément, il s'agit de décrire et de construire ces extensions en termes de propriétés arithmétiques du corps de base lui-même.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Géométrie complexeIn mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.
Groupe de PicardEn géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l'anneau des entiers de K n'est autre que le groupe des classes de K. Pour les courbes algébriques et les variétés abéliennes, le groupe de Picard (ou plutôt le foncteur de Picard) permet de construire respectivement la jacobienne et la variété abélienne duale.
