Cycle (géométrie algébrique)En géométrie algébrique, les cycles sont des combinaisons formelles de fermés irréductibles d'un schéma donné. Le quotient du groupe des cycles par une relation d'équivalence convenable aboutit aux qui sont des objets fondamentaux. Tous les schémas considérés ici seront supposés noethériens de dimension finie. On fixe un schéma qu'on supposera noethérien de dimension finie . Pour tout entier positif ou nul , on appelle -cycle irréductible (resp. -cocycle irréductible) de un fermé irréductible de dimension (resp.
Élément entierEn mathématiques, et plus particulièrement en algèbre commutative, les éléments entiers sur un anneau commutatif sont à la fois une généralisation des entiers algébriques (les éléments entiers sur l'anneau des entiers relatifs) et des éléments algébriques dans une extension de corps. C'est une notion très utile en théorie algébrique des nombres et en géométrie algébrique. Son émergence a commencé par l'étude des entiers quadratiques, en particulier les entiers de Gauss. On fixe un anneau commutatif A.
Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
Hilbert series and Hilbert polynomialIn commutative algebra, the Hilbert function, the Hilbert polynomial, and the Hilbert series of a graded commutative algebra finitely generated over a field are three strongly related notions which measure the growth of the dimension of the homogeneous components of the algebra. These notions have been extended to filtered algebras, and graded or filtered modules over these algebras, as well as to coherent sheaves over projective schemes.
Total ring of fractionsIn abstract algebra, the total quotient ring or total ring of fractions is a construction that generalizes the notion of the field of fractions of an integral domain to commutative rings R that may have zero divisors. The construction embeds R in a larger ring, giving every non-zero-divisor of R an inverse in the larger ring. If the homomorphism from R to the new ring is to be injective, no further elements can be given an inverse. Let be a commutative ring and let be the set of elements which are not zero divisors in ; then is a multiplicatively closed set.
GerbeIn mathematics, a gerbe (dʒɜrb; ʒɛʁb) is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry.
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 à .
Coherent dualityIn mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory. The historical roots of the theory lie in the idea of the adjoint linear system of a linear system of divisors in classical algebraic geometry. This was re-expressed, with the advent of sheaf theory, in a way that made an analogy with Poincaré duality more apparent.
Variété projectiveEn géométrie algébrique, les variétés projectives forment une classe importante de variétés. Elles vérifient des propriétés de compacité et des propriétés de finitude. C'est l'objet central de la géométrie algébrique globale. Sur un corps algébriquement clos, les points d'une variété projective sont les points d'un ensemble algébrique projectif. On fixe un corps (commutatif) k. Algèbre homogène. Soit B le quotient de par un idéal homogène ( idéal engendré par des polynômes homogènes).
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.