Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • (edited Jul 8th 2013)
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • (edited Apr 24th 2010)

    added a few more details and a set of slides as a reference.

    The big question for me is: what is a more abstract way to think of that integration map F\int_F ? It looks a bit wild. There must be a way to say this more elegantly, I’d hope.

    Thursday I asked somebody who is expert on this stuff for a good reference on the general theory of fiber integration in generalized cohomology. He just shrugged :-).

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 24th 2010

    This pushforward is either with compact supports or alike. I always emphasise proper pushforward in similar business, and is different from just pushforward. In algebraic geometry it is usually much more studied. References in algebraic topology I do not know but it is related to Spanier-Whitehead duality business and Thom spaces, so probably there is a good treatment in Rudyak's book, but have no time to check now.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • (edited Apr 24th 2010)

    I found this reference here

    Cohen-Klein: Umkehr maps

    which seems to go a long way towards the goal of reducing the fiber integration formula to abstract nonsense.

    Effectively what they say is that one should look at functors Top opSpectraTop^{op} \to Spectra, represented by spectra by sending a spectrum not just to its cohomology on each given space, but to its mapping spectrum . Then notably the construction of the Thom space of the (stable) normal bundle of some PP – crucial in the fiber integration business – is just, they say, the mapping spectrum hom(P,S 0)hom(P, S^0), where S 0S^0 is the sphere spectrum (page 5).

    They discuss fiber integration in deRham cohomology in this language (page 6).

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeApr 24th 2010

    So what is "Thom spectrum" ?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • (edited Apr 24th 2010)

    So what is “Thom spectrum” ?

    Its the spectrum given by the sequence of Thom spaces MSO(n)M SO(n) associated to the associated bundle of the universal SO(n)SO(n)-bundle for all nn.

    Have to run now. More later.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeApr 24th 2010

    But this is the classical case, isn't there a generalized version ?

  1. I’m not completely convinced of the abstract nonense approach in Cohen-Klein. in a sense, it can be summarized by saying that a wrong way map is induced by a right way map and a duality. and this duality explicitly calls in a notion of sphere bundle associated to a virtual vector bundle, so that in many ways this abstract nonsense is much less abstract than it would like to be.

    (I have a suspect this is the same comment as Zoran’s, only written in different words)

  2. something closely related, and which we seem to be missing an nPOV on (and an nLab entry) is Leray-Serre spectral sequence of a fibration FEBF\to E\to B.

    in the particular case of a sphere bundle on a connected base, the kk-th differential in the spectral sequence d k:=H 0(B,H k(S k,)H k+1(B,H 0(S k,)d_k:\mathbb{Z}=H^0(B,H^k(S^k,\mathbb{Z})\to H^{k+1}(B,H^0(S^k,\mathbb{Z}) determines a distinguished element e:=d k(1)e:=d_k(1) in H k+1(B,)H^{k+1}(B,\mathbb{Z}), the Euler class of the sphere bundle, and integration along the fibres fits into an exact triangle whose other two edges are the pullback H *(B,)H *(E,)H^*(B,\mathbb{Z})\to H^*(E,\mathbb{Z}) and the cup product with the Euler class H *(E,)H *+k+1(E,)H^*(E,\mathbb{Z})\to H^{*+k+1}(E,\mathbb{Z}).

  3. just a toy exaple for today. assume we want to compute the cohomology group H n(X×S k,A)H^n(X\times S^k,A) for some abelian group AA. if H=Top\mathbf{H}=\mathbf{Top} is the oo-topos of nice topological spaces, then what we want to determine is π 0H(X×S k, nA)=π 0H(X,H(S k, nA))\pi_0\mathbf{H}(X\times S^k,\mathcal{B}^n A)=\pi_0\mathbf{H}(X,\mathbf{H}(S^k,\mathcal{B}^n A)). so we are interested into maps with target H(S k, nA)\mathbf{H}(S^k,\mathcal{B}^n A). as we have seen in comment 119 here, this space has at most two nontrivial homotopy groups (exactly one if n<kn\lt k and exactly two if nkn\geq k): π nH(S k, nA)=A\pi_n\mathbf{H}(S^k,\mathcal{B}^n A)=A and π nkH(S k, nA)=A\pi_{n-k}\mathbf{H}(S^k,\mathcal{B}^n A)=A. so, if n<kn\lt k, then H(S k, nA) nA\mathbf{H}(S^k,\mathcal{B}^n A)\simeq \mathcal{B}^n A, so we recover that H n(X×S k,A)=H n(X,A)H^n(X\times S^k,A)=H^n(X,A) for n<kn\lt k. in the nkn\leq k situation, the Postnikov tower of H(S k, nA)\mathbf{H}(S^k,\mathcal{B}^n A) involves a nA\mathcal{B}^n A and a nkA\mathcal{B}^{n-k} A, and we recover that H n(X×S k,A)H^n(X\times S^k,A) has a contribution from H n(X,A)H^n(X,A) and one from H nk(X,A)H^{n-k}(X,A).

    (I have to expand this, but have to run now..)

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJul 8th 2013
    • (edited Jul 8th 2013)

    added a section

    in terms of pushing by dual morphisms in KK-theory.

    • CommentRowNumber12.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 3rd 2019

    Added a redirect for “fiberwise integral”.

    diff, v41, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)