The is a key concept in cohomology theory, providing insights into the topology of oriented vector bundles. It measures the twisting of a bundle and connects to other important ideas like Chern classes and the Euler characteristic.
This cohomological invariant has wide-ranging applications in algebraic and differential topology. The Euler class plays a crucial role in intersection theory, obstruction theory, and the study of sphere bundles, bridging geometric and topological properties of manifolds and vector bundles.
Definition of Euler class
The Euler class is a characteristic class associated to oriented vector bundles, providing a cohomological invariant that captures topological properties of the bundle
It is an element of the of the base space, lying in the twice the rank of the bundle degree cohomology group
The Euler class generalizes the concept of the Euler characteristic of a manifold to the setting of vector bundles
Euler class for oriented vector bundles
Top images from around the web for Euler class for oriented vector bundles
String topology - Wikipedia, the free encyclopedia View original
Given an oriented rank n vector bundle E→B over a topological space B, the Euler class e(E) is a cohomology class in Hn(B;Z)
The Euler class measures the twisting or non-triviality of the vector bundle
It is defined using the Thom class of the bundle, which is a cohomology class in the compactly supported cohomology of the total space Hcn(E;Z)
The Thom class is obtained by extending a chosen orientation class of a fiber by zero to the total space
The Euler class is the pullback of the Thom class along the zero section s:B→E, i.e., e(E)=s∗(Thom class)
Euler class in cohomology ring
The Euler class is an element of the cohomology ring H∗(B;Z) of the base space B
It satisfies the property that its cup product with any class in Hn−1(B;Z) vanishes
The Euler class is natural with respect to pullbacks of vector bundles
Given a map f:X→B and the pullback bundle f∗E over X, the Euler class satisfies e(f∗E)=f∗(e(E))
Properties of Euler class
The Euler class is invariant under bundle isomorphisms
Isomorphic vector bundles have the same Euler class
For a trivial vector bundle, the Euler class is zero
The Euler class is multiplicative under Whitney sum of vector bundles
Given vector bundles E and F, e(E⊕F)=e(E)⌣e(F), where ⌣ denotes the cup product
The Euler class satisfies the product formula for fibrations
Given a fibration F→E→B with oriented vector bundles over F and B, the Euler class of the bundle over E is the product of the pullbacks of the Euler classes from F and B
Euler class and Chern classes
The Euler class is closely related to the Chern classes, which are associated to complex vector bundles
While the Euler class is defined for oriented real vector bundles, Chern classes are defined for complex vector bundles
The Euler class and Chern classes provide important invariants for studying the topology of vector bundles
Relationship between Euler and Chern classes
For a complex vector bundle of rank n, the Euler class is related to the top
The Euler class e(E) is the Poincaré dual of the top Chern class cn(E)
e(E)=PD(cn(E)), where PD denotes the isomorphism H2n(B;Z)→H0(B;Z)
The relationship between Euler and Chern classes allows for computations and comparisons between real and complex vector bundles
Euler class as top Chern class
For a complex vector bundle E of rank n, the Euler class e(ER) of the underlying real vector bundle ER is equal to the top Chern class cn(E)
This relationship provides a way to compute the Euler class of a complex vector bundle using Chern classes
The top Chern class cn(E) can be expressed as the Euler class of the underlying real bundle
Computations using Chern classes
Chern classes provide a powerful tool for computing characteristic classes of complex vector bundles
The Chern character, defined in terms of Chern classes, allows for computations in rational cohomology
The Chern character is a ring homomorphism ch:K(B)→H∗∗(B;Q) from the K-theory of vector bundles to the cohomology ring with rational coefficients
Chern classes satisfy the Whitney product formula, which enables computations for direct sums of vector bundles
For vector bundles E and F, the total Chern class satisfies c(E⊕F)=c(E)⌣c(F)
Euler class and characteristic classes
The Euler class is an example of a characteristic class, which is a cohomology class associated to vector bundles that satisfies certain axioms
Characteristic classes provide topological invariants that capture important properties of vector bundles
The study of characteristic classes is central to the classification and understanding of vector bundles
Euler class as a characteristic class
The Euler class satisfies the axioms of a characteristic class
Naturality: For a map f:X→B and a vector bundle E over B, e(f∗E)=f∗(e(E))
Normalization: For the tautological line bundle γ1 over the projective space RP1, e(γ1) is the generator of H1(RP1;Z)≅Z/2Z
Multiplicativity: For vector bundles E and F, e(E⊕F)=e(E)⌣e(F)
The Euler class is a primary example of a characteristic class, alongside Stiefel-Whitney classes, Chern classes, and Pontryagin classes
Naturality of Euler class
The Euler class is natural with respect to pullbacks of vector bundles
Given a map f:X→B and a vector bundle E over B, the Euler class satisfies e(f∗E)=f∗(e(E))
This means that the Euler class of the pullback bundle f∗E over X is the pullback of the Euler class of E under the map f
Naturality allows for the comparison of Euler classes under maps between spaces and provides functorial properties
Axioms for characteristic classes
Characteristic classes, including the Euler class, satisfy certain axioms that uniquely determine them
The axioms for a characteristic class c of rank n vector bundles include:
Naturality: For a map f:X→B and a vector bundle E over B, c(f∗E)=f∗(c(E))
Normalization: The value of c on a specific bundle (e.g., the tautological line bundle over projective space) is prescribed
Multiplicativity: For vector bundles E and F, c(E⊕F)=c(E)⌣c(F)
The axioms provide a framework for studying and classifying characteristic classes
Applications of Euler class
The Euler class has numerous applications in algebraic and differential topology
It provides a bridge between the topological properties of vector bundles and the cohomology of the base space
The Euler class is used in the study of characteristic classes, obstruction theory, and intersection theory
Euler class and Euler characteristic
The Euler class is related to the Euler characteristic of a manifold
For a closed oriented manifold M of even dimension n, the Euler characteristic χ(M) is equal to the evaluation of the Euler class of the tangent bundle e(TM) on the fundamental class [M]
χ(M)=⟨e(TM),[M]⟩
This relationship provides a connection between the Euler class and the topological invariant of Euler characteristic
Euler class and intersection theory
The Euler class plays a role in intersection theory, which studies the intersection of submanifolds and the resulting cohomology classes
In the context of oriented vector bundles, the Euler class can be interpreted as the self-intersection of the zero section
The zero section s:B→E of a rank n vector bundle E over a closed oriented manifold B of dimension n represents a homology class [s(B)]∈Hn(E;Z)
The self-intersection of the zero section is given by the evaluation of the Euler class on the fundamental class: ⟨e(E),[B]⟩=[s(B)]⋅[s(B)]
The Euler class provides information about the intersection properties of vector bundles
Euler class in obstruction theory
The Euler class appears in obstruction theory, which studies the existence and extension of cross-sections of vector bundles
The vanishing of the Euler class is a necessary condition for the existence of a non-vanishing section of an oriented vector bundle
If a rank n vector bundle E over a CW complex B admits a non-vanishing section, then the Euler class e(E) must be zero
The Euler class can be used to construct obstruction classes that measure the failure of extending a section from the skeleton of a CW complex to the entire space
Euler class and sphere bundles
The Euler class is particularly relevant in the study of sphere bundles, which are with spheres as fibers
The Euler class of the tangent bundle of a sphere provides important geometric and topological information
Sphere bundles and their Euler classes are connected to the Hopf invariant and the Gysin sequence in cohomology
Euler class of tangent bundle
For the tangent bundle TSn of the n-dimensional sphere Sn, the Euler class e(TSn) is a generator of the cohomology group Hn(Sn;Z)≅Z
The Euler class of the tangent bundle of a sphere is closely related to the Euler characteristic
For even-dimensional spheres, χ(S2n)=⟨e(TS2n),[S2n]⟩=2
For odd-dimensional spheres, χ(S2n+1)=0 and the Euler class e(TS2n+1) is trivial
Euler class and Hopf invariant
The Euler class is related to the Hopf invariant, which is an invariant of maps between spheres
For a map f:S2n−1→Sn, the Hopf invariant H(f) is defined as the linking number of the preimages of two regular values
The Hopf invariant can be expressed in terms of the Euler class of the pullback of the tangent bundle of Sn under the map f
H(f)=⟨f∗e(TSn),[S2n−1]⟩
The Euler class provides a cohomological interpretation of the Hopf invariant
Euler class and Gysin sequence
The Euler class appears in the Gysin sequence, which is a long exact sequence in cohomology associated to sphere bundles
For an oriented sphere bundle Sn−1→E→B with associated disk bundle Dn→Eˉ→B, the Gysin sequence relates the cohomology of the base space B to the cohomology of the total space E:
⋯→Hi−n(B)⌣eHi(B)π∗Hi(E)ϕHi+1−n(B)→⋯
The map ⌣e is the cup product with the Euler class e∈Hn(B)
The Gysin sequence provides a tool for computing the cohomology of sphere bundles using the Euler class and the cohomology of the base space
Generalizations of Euler class
The concept of Euler class can be generalized and extended to various settings beyond oriented vector bundles
These generalizations include the Euler class for non-oriented bundles, the Euler class in K-theory, and the equivariant Euler class
The generalized Euler classes provide invariants and tools for studying more general types of bundles and cohomology theories
Euler class for non-oriented bundles
The Euler class can be defined for non-oriented vector bundles by considering the orientation bundle
For a non-oriented vector bundle E, the orientation bundle Or(E) is a double cover of the base space B that parametrizes the local orientations of the fibers
The Euler class of a non-oriented vector bundle E is defined as the first Stiefel-Whitney class of the orientation bundle: e(E):=w1(Or(E))∈H1(B;Z/2Z)
The Euler class of a non-oriented bundle provides an obstruction to the existence of a global orientation
Euler class in K-theory
The Euler class can be generalized to the setting of K-theory, which is a generalized cohomology theory that studies vector bundles
In K-theory, the Euler class is defined as a K-theoretic characteristic class
For a complex vector bundle E of rank n over a space B, the K-theoretic Euler class λ(E) is defined as the alternating sum of exterior powers of E:
λ(E):=∑i=0n(−1)iΛiE∈K(B)
The K-theoretic Euler class satisfies analogues of the properties of the ordinary Euler class, such as naturality and multiplicativity
Euler class in equivariant cohomology
The Euler class can be extended to the setting of equivariant cohomology, which studies spaces with group actions and equivariant vector bundles
For a G-equivariant vector bundle E over a G-space B, where G is a topological group, the equivariant Euler class eG(E) is defined in the equivariant cohomology ring HG∗(B;Z)
The equivariant Euler class captures the equivariant twisting of the vector bundle with respect to the group action
Equivariant characteristic classes, including the equivariant Euler class, provide invariants for studying the topology of spaces and bundles with group actions
Key Terms to Review (16)
Calculating Euler Class in R^n: The Euler class is a topological invariant associated with vector bundles, particularly in the context of oriented bundles over manifolds. When calculating the Euler class in R^n, it represents a measure of the obstruction to finding non-vanishing sections of the bundle and is linked to the topology of the underlying space. The Euler class can be computed using characteristic classes and has important implications in various areas of mathematics, including algebraic topology and differential geometry.
Characteristic classes: Characteristic classes are a way to associate cohomology classes to vector bundles, providing a powerful tool for understanding the geometry and topology of manifolds. They offer insights into the nature of vector bundles, their transformations, and how they relate to the underlying space's topology through cohomological invariants.
Chern class: The Chern class is a topological invariant associated with complex vector bundles, capturing important geometric information about the bundle's curvature. It plays a significant role in differentiating the geometrical and topological properties of manifolds, particularly in the study of characteristic classes. By relating to other classes such as the Euler class, Chern classes provide a powerful tool for understanding various properties of vector bundles and their interactions with the underlying manifold.
Cohomology Ring: The cohomology ring is a mathematical structure that combines cohomology groups into a graded ring using the cup product operation. It encapsulates topological information about a space, allowing one to perform algebraic manipulations that reveal deeper insights into its geometric properties.
Differential forms: Differential forms are mathematical objects used in calculus on manifolds, enabling the generalization of concepts like integration and differentiation. They provide a powerful language to describe various geometric and topological features, linking closely to cohomology groups, the Mayer-Vietoris sequence, and other advanced concepts in differential geometry and algebraic topology.
Euler class: The Euler class is a characteristic class associated with a real vector bundle, providing a way to quantify the topological properties of the bundle. This class is specifically important in the study of oriented manifolds and relates to how the geometry of the manifold interacts with its topology. The Euler class can reveal significant information about the structure of the underlying space, including its curvature and the existence of certain types of sections.
Euler class of a tangent bundle: The Euler class of a tangent bundle is a characteristic class that represents a topological invariant associated with the geometry of the manifold. It provides important information about the structure of the manifold, particularly in relation to its orientability and the behavior of its tangent spaces. This class plays a crucial role in understanding how the manifold can be covered by coordinate charts and how the topology of the tangent bundle relates to the manifold's overall properties.
Fiber bundles: Fiber bundles are a mathematical structure that consists of a base space, a total space, and a fiber, allowing for the systematic study of spaces that locally resemble a product of two spaces. They provide a way to analyze complex geometrical and topological properties by treating sections and continuous mappings between the fibers over different points in the base space. This concept is pivotal in various areas of mathematics and theoretical physics, especially when examining vector bundles and the associated Euler class.
Henri Poincaré: Henri Poincaré was a French mathematician, theoretical physicist, and philosopher of science, known for his foundational contributions to topology, dynamical systems, and the philosophy of mathematics. His work laid important groundwork for the development of modern topology and homology theory, influencing how mathematicians understand spaces and their properties.
John Milnor: John Milnor is a prominent American mathematician known for his contributions to differential topology, particularly in the development of concepts like exotic spheres and Morse theory. His work has significantly influenced various fields such as topology, geometry, and algebraic topology, connecting foundational ideas to more advanced topics in these areas.
Orientability: Orientability refers to a property of a manifold that indicates whether it has a consistent choice of 'direction' throughout. In simple terms, if you can continuously choose a direction for all the points on the manifold without encountering contradictions, the manifold is orientable. This concept is crucial when discussing Poincaré duality and the Euler class, as it affects the structure and properties of manifolds in algebraic topology.
Poincaré Duality: Poincaré Duality is a fundamental theorem in algebraic topology that establishes a relationship between the cohomology groups of a manifold and its homology groups, particularly in the context of closed oriented manifolds. This duality implies that the k-th cohomology group of a manifold is isomorphic to the (n-k)-th homology group, where n is the dimension of the manifold, revealing deep connections between these two areas of topology.
Sheaf Cohomology: Sheaf cohomology is a mathematical tool used to study the global properties of sheaves on topological spaces through the use of cohomological techniques. It allows for the calculation of the cohomology groups of a sheaf, providing insights into how local data can give rise to global information, which connects with several important concepts in algebraic topology and algebraic geometry.
Stability conditions: Stability conditions are criteria that determine whether a certain geometric or algebraic structure remains stable under perturbations. These conditions play a crucial role in various areas of mathematics, as they help to understand the behavior of objects like vector bundles and moduli spaces, particularly in the context of their Euler classes.
Thom Isomorphism: The Thom Isomorphism is a fundamental result in algebraic topology that establishes a connection between the cohomology of a manifold and the cohomology of its total space when considering vector bundles. This theorem shows how the cohomology ring of a manifold can be understood in terms of its fiber over a point, which relates it closely to concepts like the cap product and the Euler class, allowing us to derive deep insights into the topology of vector bundles.
Transversality: Transversality is a concept in differential topology that describes the intersection of manifolds in a way that is generally positioned. When two submanifolds intersect transversally, their tangent spaces at the points of intersection span the tangent space of the ambient manifold. This property is essential in understanding intersection theory, as it guarantees that intersections behave nicely, providing a foundation for various other concepts such as the Euler class and Morse theory.