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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 8th 2018

made more explicit (here) the back-link to topological vector bundle for classical concordance for topological vector bundles

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 17th 2021

added pointer to:

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 17th 2021

added pointer to

and cross-linked with shape via cohesive path ∞-groupoid

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeOct 21st 2021

I have spelled out statement and proof (here) that concordant topological principal bundles are already isomorphic.

• CommentRowNumber5.
• CommentAuthorDmitri Pavlov
• CommentTimeOct 21st 2021

In this newly added proposition, why is the map X→X⨯[0,1] a relative cell complex? (Claimed in Item 1.)

I see how to prove it when X is cofibrant, but how do you prove it for a general topological space X?

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeOct 21st 2021

True, thanks for catching.

This is being undecided whether to lift using the Serre or Hurewicz. Either to add the condition that the bundle be numerable, or else that $X$ be CW.

Will edit. But to get some dinner first now…

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeOct 21st 2021

Okay I have now (still here) stated two alternative conditions ($X$ Serre-Quillen cofibrant or $P$ numerable, and the remark that both are implied for $X$ a smooth manifold) and then I have expanded the proof accordingly.

• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeNov 8th 2021

Where the proof (that concordance classes of principal bundles are iso classes) invokes the identification of principal bundle morphisms with global certain global sections, I have added (here) a diagram that shows this correspondence.

In the given case, it is easy to see this correspondence by analytic inspection: It’s trivial on underlying point sets, and continuity is readily verified.

But I would like to state this more abstractly, so that the argument can be internalized into other categories.

In the diagram that I have added (here) the step from the left to the right is just the universal property of quotient.

But from right to left one needs to pull back (along the dashed morphism) and use some preservation of coequalizer diagrams under pullback. The dashed map should be a closed embedding, hence a regular mono (in $cgHaus$), so that the pullback along it should preserve quotients. Something like this.

• CommentRowNumber9.
• CommentAuthorUrs
• CommentTimeNov 9th 2021
• (edited Nov 15th 2021)

I have now added (here) a more general-abstract argument for the (superficially trivial-seeming) lemma that isomorphisms of principal bundles are in bijection to sections of their quotiented fiber product.

This needs regularity of the ambient category, and so I have now added the assumption to the ambient Proposition that we work in compactly generated weak Hausdorff spaces.

The point of the exercise is for the argument (that concordance classes are iso-classes) to work internally in more generality. For example, I think it follows verbatim for equivariant bundles, now by lifting using the fine model structure on topological G-spaces of the classical model structure.

Will type that out next, but first some breakfast.

[ edit: full details are a little lengthy – I have typed them out in a local pdf, but not included in the nLab page ]

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeNov 15th 2021

Continuing in the spirit of looking at the lifting problem here internal to other ambient categories, the variant of the statement for smooth/diffeological bundles might be a fun application of the model structure(s) on diffeological spaces.

But does it work?

By Prop. 4.28, Prop. 4.30 in Christensen & Wu 2013 every diffeological principal bundle is a fibration in their sense, and, by their Prop. 4.26, their fibrations are stable under pullback, which implies that the right vertical morphism in the lifting diagram here would a be fibration in their sense.

But I don’t see that they have results which could be quoted to see that the left vertical map is an acyclic cofibration; and even if it is they may not provide the implication that the lifting exists, since they don’t establish a full model structure. (Of course they don’t claim to, I am just scanning to see what could be used here.)

Next I am trying to see if Kihara’s model structure could be put to use here. But from arXiv:1702.04070 it looks like it is/was open which smooth manifolds are cofibrant in his model structure.

So this may be fiddly. But if anyone knows/sees whether the lifting problem here works in diffeological spaces and for diffeological principal bundles, drop a note.

• CommentRowNumber11.
• CommentAuthorDmitri Pavlov
• CommentTimeNov 15th 2021

Re #10: Both questions have a positive answer.

This is something I intend to write up this winter (in December, I hope).

The main points that I plan to include: the projective model structure exists, the map X→X⨯[0,1] is a cofibration if X is cofibrant, and smooth manifolds are cofibrant.

• CommentRowNumber12.
• CommentAuthorUrs
• CommentTimeNov 16th 2021

Thanks for the remark. That sounds good!

(Now I remember we may have talked before about you working on such a model structure, but I may have forgotten what you may have said there.)

To just go on in this wishful direction for a moment:

If next we had a proper-equivariant version of the model structure on diffeological spaces (i.e. on presheaves of diffeological spaces over the orbit category of a, let’s say, finite group $G$), such that for $X$ a smooth $G$-manifold the morphism $X \to X \times [0,1]$ were still a cofibration, then we’d know that also for (properly equivariantly locally trivial) diffeological equivariant principal bundles their concordance classes coincide with their isomorphism classes. Which would then imply the classification theorem for smooth equivariant principal bundles…

(This kind of result is the first real application of the lifting properties in would-be model structures on diffeological spaces that I am running into. It’s interesting.)

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)