Classe de Stiefel-WhitneyEn topologie algébrique, les classes de Stiefel-Whitney sont des classes caractéristiques associées aux fibrés vectoriels réels de rang fini. Elles constituent donc un analogue réel des classes de Chern dans le cas complexe. Elles portent les noms de Eduard Stiefel et de Hassler Whitney. Toute classe caractéristique associée aux fibrés vectoriels réels apparaît comme un polynôme en les classes de Stiefel-Whitney.
Classe de ChernEn mathématiques, les classes de Chern sont des classes caractéristiques associées aux fibrés vectoriels. Elles tiennent leur nom du mathématicien sino-américain Shiing-Shen Chern, qui les a introduites en 1946 dans le cas complexe. Les classes de Chern ont des applications importantes en mathématiques, notamment en topologie et géométrie algébriques, et en physique dans l'étude des théories de Yang-Mills et des champs quantiques. Distinguer deux fibrés vectoriels sur une variété lisse est en général un problème difficile.
Fibré principalEn topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un groupe topologique. En particulier, un fibré principal est un espace fibré, mais c'est bien plus encore. Il est muni d'un groupe, le groupe structural, décrivant la manière dont les trivialisations locales se recollent entre elles. La théorie des fibrés principaux recouvre la théorie des fibrés vectoriels, de leurs orientations, de leurs structures riemanniennes, de leurs structures symplectiques, etc.
CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
Homologie des groupesEn algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe. Pour un groupe G, on note Z[G] l'algèbre du groupe G sur l'anneau des entiers relatifs Z. Soient alors M un Z[G]-module (ce qui revient à se donner un groupe abélien M et un morphisme de G dans le groupe des automorphismes de M), et une résolution projective de M. Les groupes d'homologie de G à coefficients dans M sont définis par : De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par : où est une résolution injective de M.
Espace vectoriel conjuguéEn algèbre linéaire, l'espace vectoriel conjugué d'un espace vectoriel complexe est un nouvel espace vectoriel obtenu en modifiant la définition du produit par les scalaires. Soit un espace vectoriel sur le corps C des nombres complexes. On appelle espace vectoriel conjugué de , l'ensemble E muni de la même opération d'addition + et du produit par les scalaires défini par : où désigne le conjugué du nombre complexe λ. Le triplet est également un espace vectoriel complexe, appelé conjugué de et de même dimension sur C.
Holomorphic vector bundleIn mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety X (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.
Steenrod algebraIn algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod cohomology. For a given prime number , the Steenrod algebra is the graded Hopf algebra over the field of order , consisting of all stable cohomology operations for mod cohomology. It is generated by the Steenrod squares introduced by for , and by the Steenrod reduced th powers introduced in and the Bockstein homomorphism for . The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory.
Fibré associéEn géométrie différentielle, un fibré associé est un fibré qui est induit par un -fibré principal et une action du groupe structurel sur un espace auxiliaire. Soient : un groupe de Lie ; une variété différentielle ; un -fibré principal sur ; l'action de groupe à droite de sur ; une action de groupe à gauche de sur une variété différentielle . Définition Le fibré associé à pour est le fibré où est défini par : où la relation d'équivalence est : Remarques Les fibres de sont de fibre type .
ComplexificationIn mathematics, the complexification of a vector space V over the field of real numbers (a "real vector space") yields a vector space V^C over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include their scaling ("multiplication") by complex numbers. Any basis for V (a space over the real numbers) may also serve as a basis for V^C over the complex numbers. Let be a real vector space.