Questions tagged [characteristic-classes]

Characteristic classes are invariants of bundles living in the cohomology of the base. The most common examples of characteristic classes are the Chern, Stiefel–Whitney, and Pontryagin classes.

For a topological group $G$, denote the collection of isomorphism classes of principal $G$-bundles on a topological space $X$ by $\operatorname{Prin}_G(X)$. The functor $X \to \operatorname{Prin}_G(X)$ satisfies the criteria of Brown's representability theorem, so there is a space $BG$, called the classifying space of principal $G$-bundles, such that $\operatorname{Prin}_G(X) \cong [X, BG]$.

There is a principal $G$-bundle $EG \to BG$ called the universal principal $G$-bundle; the identification above corresponds to pulling back this bundle. More precisely, for every principal $G$-bundle $E \to X$, there is a map $f_E : X \to BG$ such that $E$ is isomorphic to $f_E^*EG$ and $f_E$ is unique up to homotopy. The map $f_E$ is called the classifying map of $E$.

For any $c \in H^{\ast}(BG; R)$, one can define a characteristic class $c(E) \in H^*(X; R)$ by $c(E) := f_E^*c$. With this definition, it is immediate that the association $E \to c(E)$ is natural: given $g : Y \to X$ continuous, $c(g^*E) = g^*c(E)$.

For real vector bundles, one can take $G = O(k)$, in which case $BO(k) = \operatorname{Gr}_k(\mathbb{R}^{\infty})$. The universal principal $O(k)$-bundle is the tautological bundle and often denoted $\gamma \to \operatorname{Gr}_k(\mathbb{R}^{\infty})$. We have $H^{\ast}(\operatorname{Gr}_k(\mathbb{R}^{\infty}); \mathbb{Z}_2) \cong \mathbb{Z}_2[w_1, \dots, w_k]$ where $\deg w_i = i$. The characteristic classes associated to the $w_i$ are called Stiefel-Whitney classes.

For complex vector bundles, one can take $G = U(k)$, in which case $BU(k) = \operatorname{Gr}_k(\mathbb{C}^{\infty})$. The universal principal $U(k)$-bundle is the complex tautological bundle and often denoted $\gamma^{\mathbb{C}} \to \operatorname{Gr}_k(\mathbb{C}^{\infty})$. We have $H^{\ast}(\operatorname{Gr}_k(\mathbb{C}^{\infty}); \mathbb{Z}) \cong \mathbb{Z}[c_1, \dots, c_k]$ where $\deg c_i = 2i$. The characteristic classes associated to the $c_i$ are called Chern classes.

The above is a more modern way of thinking of characteristic classes. The classical reference is Milnor and Stasheff's Characteristic Classes.

701 questions
7
votes
1 answer

Motivating Characteristic Classes Using $S^2$

Trying to understand characteristic classes, hoping someone can explain/fit my example below into the wider scheme of things: Chern's book says Characteristic classes are the simplest global invariants which measure the deviation of a local…
bolbteppa
  • 4,389
6
votes
1 answer

Constructing the first Chern class without using the classifying map for line bundles?

I've gathered the gist of a particularly nice construction for Chern classes in a topological setting, but I can't quite figure out how to find the first class without making use of a classifying map. I've been told that this construction roughly…
Andres Mejia
  • 20,977
5
votes
0 answers

Definition of Chern classes : classical axiom vs Grothendieck

There are two styles for the definition of the Chern classes $c_k(E)$, for a vector bundle $E\rightarrow X$, defined by the axioms: $c_0(E)=1$, $c_k(f^*E)=f^*c_k(E)$ for a continuous map $f:X\rightarrow Y$, $c_k(E\oplus F)=\sum_{i=0}^k…
s.h
  • 454
5
votes
0 answers

Intuition for multiplicative sequences

I have recently been reading about multiplicative sequences and genera from a couple of different sources, most notably "Spin Geometry" by Lawson and Michelsohn and "Characteristic Classes" by Milnor and Stasheff. The exposition in both of these are…
Raeder
  • 1,469
3
votes
0 answers

Euler class in Morita's book

I was trying to follow the construction of the Euler class in Morita's 'Geometry of differential forms' for an $S^1$ bundle over a manifold M; $p: E \rightarrow M$. There the author builds the class as the obstruction to extend a section in the…
3
votes
1 answer

Stiefel Whitney numbers of a $3$- manifold are $0$

In Milnor's book on Characteristic Class he asks to prove that (Problem 11-D) all Stiefel Whitney numbers of a $3$- manifold are $0$. I can show $w_{3}=0$ as $\chi (M)=0$. From dimension consideration only non zero Wu class is $v_1$ and…
Bingo
  • 1,774
2
votes
1 answer

Defining Pontrjagin numbers

I'm reading about Pontrjagin numbers and I have difficulties understanding how they are defined. I have the following definition. Let $E$ be a vector bundle of rank $r$ over a compact manifold $M$ of dimension $4m$. A monomial…
Emin
  • 247
2
votes
1 answer

Proving Wu's Formula for Steenrod Squares (Milnor & Stasheff, Problem 8-A)

I am stuck at the following problem from chapter 8 of Characteristic Classes by Milnor & Stasheff. Problem 8-A. It follows from 7.1 that the cohomology classes $\operatorname{Sq}^kw_m(\xi)$ can be expressed as a polynomial in $w_1(\xi), \dots,…
Devendra Singh Rana
  • 1,780
  • 1
  • 15
  • 32
2
votes
1 answer

Stiefel-Whitney numbers

I am reading Milnor's "Characteristic classes", and there are two things about Stiefel-Whitney numbers that made me confused. The following theorem (due to Pontrjagin) is being proved. If $B$ is a smooth compact (n+1)-dimensional manifold with…
user27126
1
vote
1 answer

Where do the Stiefel-Whitney numbers (and the general characteristic numbers) come from?

I'm having some troubles here. They are defined as the evaluation of the characteristic classes on the unique fundamental class (that is basically an evaluation). Why? Where do they come from? What is the "physical" meaning of them? Any more insight…
Nythra
  • 13
1
vote
1 answer

Formulation in terms of Chern classes

I am trying to do the following: Problem: Reformulate the condition that a line in $\mathbb{CP}^4$ lies on a quadratic hypersurface in terms of the Chern classes of a vector bundle defined over the grassmannian $G_2(\mathbb{C}^5)$. My try: A line in…