Stalk (sheaf)The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point. Sheaves are defined on open sets, but the underlying topological space consists of points. It is reasonable to attempt to isolate the behavior of a sheaf at a single fixed point of . Conceptually speaking, we do this by looking at small neighborhoods of the point. If we look at a sufficiently small neighborhood of , the behavior of the sheaf on that small neighborhood should be the same as the behavior of at that point.
Euler sequenceIn mathematics, the Euler sequence is a particular exact sequence of sheaves on n-dimensional projective space over a ring. It shows that the sheaf of relative differentials is stably isomorphic to an -fold sum of the dual of the Serre twisting sheaf. The Euler sequence generalizes to that of a projective bundle as well as a Grassmann bundle (see the latter article for this generalization.) Let be the n-dimensional projective space over a commutative ring A. Let be the sheaf of 1-differentials on this space, and so on.
Torsion-free moduleIn algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element (non zero-divisor) of the ring. In other words, a module is torsion free if its torsion submodule is reduced to its zero element. In integral domains the regular elements of the ring are its nonzero elements, so in this case a torsion-free module is one such that zero is the only element annihilated by some non-zero element of the ring.
Morphism of schemesIn algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. By definition, a morphism of schemes is just a morphism of locally ringed spaces. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties).
Cohomologie de ČechLa cohomologie de Čech est une théorie cohomologique, développée à l'origine par le mathématicien Eduard Čech en faisant jouer au nerf d'un recouvrement sur un espace topologique le rôle des simplexes en homologie simpliciale. On peut définir une cohomologie de Čech pour les faisceaux, ou plus généralement pour les objets d'un site, en particulier une catégorie de schémas munie de la topologie de Zariski.
Algebraic geometry and analytic geometryIn mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
Classe de ToddLes classes de Todd sont des classes caractéristiques utilisées en géométrie algébrique pour distinguer les fibrés vectoriels ou, plus généralement, les faisceaux. Elles sont nommées d'après le mathématicien britannique John Arthur Todd, qui les a introduites pour la première fois en 1937. On comprend aujourd'hui les classes de Todd dans leur relation aux classes de Chern, vis-à-vis desquelles elles jouent un rôle « dual », et au travers de leur interaction via le théorème de Grothendieck-Hirzebruch-Riemann-Roch.
Partie constructibleEn géométrie algébrique, la notion de partie constructible généralise les parties ouvertes, fermées et même localement fermées. Les ensembles constructibles ont été introduits par Claude Chevalley, et présentent l'avantage d'être d'une manipulation plus souple. Par exemple l'image d'un constructible par un morphisme de présentation finie est constructible, alors ce n'est pas vrai pour les parties ouvertes ou fermées.
Fibré normalEn géométrie différentielle, le fibré normal d’une sous-variété différentielle est un fibré vectoriel orthogonal au fibré tangent de la sous-variété dans celui de la variété ambiante. La définition s’étend au cas d’une immersion d’une variété différentielle dans une autre. Elle s’étend aussi plus généralement en topologie différentielle comme un fibré supplémentaire au fibré tangent de la sous-variété.
Fano varietyIn algebraic geometry, a Fano variety, introduced by Gino Fano in , is a complete variety X whose anticanonical bundle KX* is ample. In this definition, one could assume that X is smooth over a field, but the minimal model program has also led to the study of Fano varieties with various types of singularities, such as terminal or klt singularities. Recently techniques in differential geometry have been applied to the study of Fano varieties over the complex numbers, and success has been found in constructing moduli spaces of Fano varieties and proving the existence of Kähler–Einstein metrics on them through the study of K-stability of Fano varieties.
