This is an old revision of the document!
2023-06-20
Yesterday I read about BFN's construction. One thing that strikes me is the appearance of 'euler class'.
I have never really understood euler class. the input is some bundle over some space, and the output is some cohomology class on the space itself. The only natural thing that I can think of, is the intersection of the zero section with its own perturbation. However, thinking in terms of perturbation is not very intrinsic. this thing should be defined topologically (like what if your underlying space is algebraic, very rigid, no room for deformation? )
then, what do you mean, when you say euler class of a bundle over a point? I would say, the product of weights of that bundle. a weight, is a $\C^*$-valued function on the torus, and it is also a $\C$-valued function on the Lie algebra of the torus. Infinitesimal weights are elements in $t^*$, so products of them lives in $Sym t^*$. That makes sense.
Also, Euler class make sense. The Euler class of a bundle is in degree of the (real rank) of the bundle.
Finally, this is not just ad-hoc definition, it is a calculation using the Borel model. For example, given a standard representation of $G=S^1$, call it $L$, we get a universal bundle $L$ over $BG$. This bundle restricts to $\P^1$ (already visible there) should be given by $u$.
Let's fix the normalization once and for all, and do the BWB computation once in my life. Consider $\C^*$ acting on $\C$. Then, consider the principal $\C^*$ bundle on $\P^1$, so we should get the total space to be $O(-1)$. oops. Maybe, I should by convention, insert a -1 somewhere. OH well.
Well, now you have this vector bundle, being the direct sum of these line bundles, what do you want to say to them? indeed, Euler class turns direct sum of a bundle to (cup) product of cohomology class, so it is fine.
And, I realized that, there is no difference between homology an cohomology, if your base is just 0-dimensional.
still, I would like to figure out, what is the difference between cohomology and homology. Can we say (BM) homology is just degree shift of cohomology?
- Say, BMH on $\R^n$, is only supported in top degree $n$, $BMH_n$ which we can turn into the $H^0$.
- the usual homology on $\R^n$ is supported on a point (which can move around, but can never escape to infinity), this should corresponds to compactly supported cohomology, a bump form.
- in the above statement, I don't use any duality, I just say by intution, if we want to match the support, then that is that. And the degree matching is using 'codimension'.
- I only know how to do duality between homology and cohomology, using integration, and that does not agree with the above matching, so the above matching is not through integration. Well, you can say it is still through integration.
Well, given a smooth manifold, compact or not, oriented or not, we can consider two kinds of sheaves, constant sheaf, and dualizing sheaf (orientation sheaf with degree shift), and we can consider two kinds to cohomology, sheaf cohomology and compactly suppported sheaf cohomology $p_*, p_!$, where $p: X \to pt$. The two are related, we just have $\C = p^* \C$, and $\omega = p^! \C$.
The usual Poincare duality statement is that, for an orinted compact manifold, so $p_* = p_!$ and $p^! \C = p^* \C [d]$, we have $$ H_k(X) \cong H^{n-k}(X) $$