In mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic. It is named after Leonhard Euler because of this.
Throughout this article is an oriented, real vector bundle of rank over a base space .
The Euler class is an element of the integral cohomology group
constructed as follows. An orientation of amounts to a continuous choice of generator of the cohomology
of each fiber relative to the complement of zero. From the Thom isomorphism, this induces an orientation class
in the cohomology of relative to the complement of the zero section . The inclusions
where includes into as the zero section, induce maps
The Euler class e(E) is the image of u under the composition of these maps.
The Euler class satisfies these properties, which are axioms of a characteristic class:
Functoriality: If is another oriented, real vector bundle and is continuous and covered by an orientation-preserving map , then . In particular, .
Whitney sum formula: If is another oriented, real vector bundle, then the Euler class of their direct sum is given by
Normalization: If possesses a nowhere-zero section, then .
Orientation: If is with the opposite orientation, then .
Note that "Normalization" is a distinguishing feature of the Euler class. The Euler class obstructs the existence of a non-vanishing section in the sense that if then has no non-vanishing section.
Also unlike other characteristic classes, it is concentrated in a degree which depends on the rank of the bundle: . By contrast, the Stiefel Whitney classes live in independent of the rank of . This reflects the fact that the Euler class is unstable, as discussed below.
The Euler class corresponds to the vanishing locus of a section of in the following way. Suppose that is an oriented smooth manifold of dimension .
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
This course introduces the elementary topological concepts and tools that recently spread from condensed matter physics to various quantum and classical wave systems.
Couvre le concept de somme connectée des surfaces et de leurs propriétés.
Couvre les transformations conformes et le comptage de puissance dans les diagrammes avec des bords, des sommets et des faces.
Explore les fonctions à deux points dans la théorie des champs conforme, y compris l'interprétation de la densité spectrale et l'invariance caractéristique d'Euler.
We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...
En topologie, l'espace de Thom est un espace topologique associé à un fibré vectoriel. Il est au cœur de plusieurs constructions homotopiques, parmi lesquelles la construction de Thom-Pontrjagin et le de Thom. Il porte le nom de René Thom, qui a introduit ces constructions en 1954. Soit un fibré vectoriel de rang k sur un espace topologique . Notons l'espace total de ce fibré. Si l'on munit les fibres de d'un produit scalaire, on peut définir les fibrations en boules et en sphères associées : et .
En mathématiques, les classes de Pontriaguine sont des classes caractéristiques associées aux fibrés vectoriels réels, nommées d'après Lev Pontriaguine. Les classes de Pontriaguine appartiennent aux groupes de cohomologie de degré un multiple de quatre. Soit E un fibré vectoriel réel au-dessus de M. La k-ième classe de Pontriaguine pk(E) est définie par : pk(E) = pk(E, Z) = (−1)k c2k(E ⊗ C) ∈ H4k(M, Z), où c2k(E ⊗ C) est la 2k-ième classe de Chern du complexifié E ⊗ C = E ⊕ iE de E ; H4k(M, Z) est le 4k-ième groupe de cohomologie de M à coefficients entiers.
Une 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 .
We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring g ...
SPRINGER HEIDELBERG2023
, , ,
Recently, nonreciprocal two-dimensional unitary scattering networks have gained considerable interest due to the possibility of obtaining robust edge wave propagation in their anomalous topological insulating phase. However, zero-dimensional states in such ...