K-théorieEn mathématiques, la K-théorie est un outil utilisé dans plusieurs disciplines. En topologie algébrique, la sert de théorie de cohomologie. Une variante est utilisée en algèbre sous le nom de K-théorie algébrique. Les premiers résultats de la K-théorie ont été dans le cadre de la topologie algébrique, comme une théorie de cohomologie extraordinaire (elle ne vérifie pas l'axiome de dimension). Par la suite, ces méthodes ont été utilisées dans beaucoup d'autres domaines comme la géométrie algébrique, l'algèbre, la théorie des nombres, la théorie des opérateurs, etc.
Coherent sheafIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an , and so they are closed under operations such as taking , , and cokernels.
GrassmannienneEn mathématiques, les grassmanniennes sont des variétés dont les points correspondent aux sous-espaces vectoriels d'un espace vectoriel fixé. On note G(k, n) ou G(K) la grassmannienne des sous-espaces de dimension k dans un espace de dimension n sur le corps K. Ces espaces portent le nom de Hermann Grassmann qui en donna une paramétrisation et sont encore appelés grassmanniennes des « k-plans ». Pour k = 1, la grassmannienne est l'espace projectif associé à l'espace vectoriel.
Tautological bundleIn mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of -dimensional subspaces of , given a point in the Grassmannian corresponding to a -dimensional vector subspace , the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles.
Classe caractéristiqueUne classe caractéristique est un objet mathématique défini et étudié notamment en topologie algébrique et en K-théorie, afin de différencier les fibrés vectoriels. De telles classes sont aujourd'hui comprises comme des invariants cohomologiques. La notion de classe caractéristique répond à une tentative de classification. Plus précisément, si est un fibré vectoriel, une classe caractéristique de est une classe dans la cohomologie de la base qui vérifie la condition suivante, dite de compatibilité : pour toute application continue , on a où est le fibré vectoriel induit sur par .
Variété kählérienneEn mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe. Elles doivent leur nom au mathématicien Erich Kähler. Plusieurs définitions équivalentes existent.
Fibré en droitesEn mathématiques, un fibré en droites est une construction qui décrit une droite attachée en chaque point d'un espace. Par exemple, une courbe dans le plan possède une tangente en chaque point, et si la courbe est suffisamment lisse alors la tangente évolue de manière « continue » lorsqu'on se déplace sur la courbe. De manière plus formelle on peut définir un fibré en droites comme un fibré vectoriel de rang 1.
Chow groupIn algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product.
Classe d'EulerEn topologie algébrique, la classe d’Euler est une classe caractéristique d'un fibré vectoriel réel orienté. Elle mesure l’obstruction à trouver une section d’un fibré qui ne s’annule pas. Cette notion trouve son origine dans la théorie de l'homologie. Soit ξ un fibré vectoriel réel orienté de rang sur une variété compacte orientée de dimension . Une section générique de ξ est transverse à la section nulle. Par conséquent, le lieu de ses zéros est une sous-variété compacte sans bord orientée de dimension -, elle possède une classe d’homologie [] qui ne dépend pas du choix de la section.
Théorème de l'indice d'Atiyah-SingerEn mathématiques, et plus précisément en géométrie différentielle, le théorème de l'indice d'Atiyah-Singer, démontré par Michael Atiyah et Isadore Singer en 1963, affirme que pour un opérateur différentiel elliptique sur une variété différentielle compacte, l’indice analytique (lié à la dimension de l'espace des solutions) est égal à l’indice topologique (défini à partir d'invariants topologiques). De nombreux autres théorèmes, comme le théorème de Riemann-Roch, en sont des cas particuliers, et il a des applications en physique théorique.
