Point rationnelEn théorie des nombres et géométrie algébrique, les points rationnels d'une variété algébrique définie sur un corps sont, lorsque X est définie par un système d'équations polynomiales, les solutions dans k de ce système. Soit une variété algébrique définie sur un corps . Un point est appelé un point rationnel si le corps résiduel de X en x est égal à . Cela revient à dire que les coordonnées du point dans une carte locale affine appartiennent toutes à .
Cohomologie de WeilUne cohomologie de Weil est une théorie cohomologique des variétés algébriques, à coefficients dans un corps, satisfaisant un certain jeu d'axiomes. La nécessité d'une telle théorie a été postulée par André Weil, à l'origine pour garantir une formule de Lefschetz. Weil avait suggéré que les conjectures qui portent son nom se déduiraient de l'existence d'une théorie cohomologique des variétés sur les corps finis, analogue à la théorie cohomologique à coefficients rationnels pour les variétés complexes.
Motif (géométrie algébrique)La théorie des motifs est un domaine de recherche mathématique qui tente d'unifier les aspects combinatoires, topologiques et arithmétiques de la géométrie algébrique. Introduite au début des années 1960 et de manière conjecturale par Alexander Grothendieck afin de mettre au jour des propriétés supposées communes à différentes théories cohomologiques, elle se trouve au cœur de nombreux problèmes ouverts en mathématiques pures. En particulier, plusieurs propriétés des courbes elliptiques semblent motiviques par nature, comme la conjecture de Birch et Swinnerton-Dyer.
Cohomologie cristallineLa cohomologie cristalline est une cohomologie de Weil pour les schémas, introduite par Alexander Grothendieck en 1966 et développée par Pierre Berthelot. Elle étend le domaine d'application de la cohomologie étale en considérant les modules sur les anneaux de vecteurs de Witt sur le corps de base. Conjectures de Weil Dans l'étude des variétés différentiables compactes, la formule de Lefschetz permet de calculer le nombre de points fixes d'un morphisme de la variété dans elle-même.
Période de GaussEn mathématiques et plus précisément en arithmétique modulaire, une période de Gauss est une certaine sorte de somme de racines de l'unité. Les périodes de Gauss permettent des calculs explicites dans les corps cyclotomiques, en relation avec la théorie de Galois et l'analyse harmonique sur un groupe abélien fini. Elles sont à la base de la théorie classique appelée cyclotomie. Elles furent introduites par le mathématicien allemand Carl Friedrich Gauss et furent à la base de sa théorie de constructions à la règle et au compas.
Représentation galoisienneLa théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.