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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology natural nforum nlab nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory type type-theory universal variational-calculus

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
    • CommentTimeNov 8th 2018

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

    diff, v9, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2021

    added pointer to:

    diff, v10, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2021

    added pointer to

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

    diff, v10, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 21st 2021

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

    diff, v13, current

    • 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 XX 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 (XX Serre-Quillen cofibrant or PP numerable, and the remark that both are implied for XX a smooth manifold) and then I have expanded the proof accordingly.

    diff, v14, current

    • 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 cgHauscgHaus), so that the pullback along it should preserve quotients. Something like this.

    diff, v15, current

    • 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 ]

    diff, v16, current

    • 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 GG), such that for XX a smooth GG-manifold the morphism XX×[0,1]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)