Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex 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 foundation 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 homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory 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 nforum nlab 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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
    • CommentTimeJan 14th 2011

    I have renamed the entry on the \infty-topos on CartSp topCartSp_{top} into Euclidean-topological infinity-groupoid.

    Then in the section Geometric homotopy I have written out statement and proof that

    1. the intrinsic fundamental \infty-groupoid functor in ETopGrpdETop \infty Grpd sends paracompact topological spaces to their traditional fundamental \infty-groupoid

      Π ETopGrpd(X)Π Top(X)SingX \Pi_{ETop \infty Grpd}(X) \simeq \Pi_{Top}(X) \simeq Sing X;

    2. more generally, for X X_\bullet a simplicial topological space we have

      |Π ETopGrpd(X )||X | |\Pi_{ETop \infty Grpd}(X_\bullet)| \simeq |X_\bullet| ,

      where on the left we hve geometric realization of simplicial sets, and on the right of (good) simplicial topological spaces.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2011

    have added statement and proof of the corollary that over paracompact spaces nonabelian cohomology in TopTop coincides with cohomology in ETopGrpdETop \infty Grpd with locally constant coefficients. In the section cohomology.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2011
    • (edited Jan 14th 2011)

    I have added statement and proof of how the intrinsic fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos is indeed presented by a path \infty-groupoid:

    in the subsection Path oo-groupoid.

    help: this discussion works generally and ought to go into infinity-connected site. But I cannot edit that entry. It seems that the cache-bug is at work. I tried to clear the cache, but the cache-clear command also says it cannot recognize the entry…

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeJan 15th 2011

    It looks like you moved that page to infinity-connected (infinity,1)-site, so you can edit that. But that’s strange that you can’t remove the cache. (I can’t either, since I don’t have my key with me.)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2011

    I have figured it out. Of course it was my fault. i had typed an incorrect path.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2011
    • (edited Jan 15th 2011)

    have now moved over from Smooth∞Grpd to ETop∞Grpd statement and proof that in the degreewise paracompact case the intrinsic fundamental \infty-groupoid functor Π:ETopGrdGrpdTop\Pi : ETop \infty Grd \to \infty Grpd \simeq Top preserves homotopy fibers and hence principal \infty-bundles.

    This is a direct corollary of

    1. the previous proposition that Π\Pi is modeled in this case by geometric realization;

    2. the theorem by Danny Stevenson and David Roberts that geometric realization sends universal simplicial topological bundles to universal topological bundles (|WGW¯G|)=(E|G|B|G|)(|W G \to \bar W G|) = (E |G| \to B |G|)

    and the observation that all universal bundles are just resolutions of the point inclusion *BG* \to \mathbf{B}G by a fibration.

    This is now in the section ETop∞Grpd : Cohomology and principal ∞-bundles.

    evident open Question: Does Π:ETopGrpdGrpd\Pi : ETop \infty Grpd \to \infty Grpd maybe preserve homotopy fibers more generally? I don’t know. It is a desireable property for good cohomology theory in a cohesive \infty-topos, because it says that if G\mathbf{G} is a cohesive refinement of a discrete \infty-group GG, then cohesive G\mathbf{G}-principal \infty-bundles are cohesive refinements of bare GG-principal \infty-bundles.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2011

    I have added statement and proof of the corollary that under |Π()|:ETopGrpdTop|\Pi(-)| : ETop \infty Grpd \to Top the internal geometric Whitehead towers map to the traditional Whitehead towers. In the new section: ETop ∞Grpd: Universal coverings and geometric Whitehead towers.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2011

    I have added to Euclidean-topological infinity-groupoid statement and proof that the evident functor

    i:TopologicalManifoldsETopGrpd i : TopologicalManifolds \to ETop \infty Grpd

    is a full and faithful \infty-functor – which boils down to asserting that

    i:TopologicalManifoldsSh(CartSp top) i : TopologicalManifolds \to Sh(CartSp_{top})

    is a full and faithful functor.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2011

    have added statement and proof of the assertion that

    ETopGrpdSh (,1)(TopMfd). ETop\infty Grpd \simeq Sh_{(\infty,1)}(TopMfd) \,.
    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2011

    I have removed at Euclidean-topological infinity-groupoid my previous pedestrian proof that TopMfdTopMfd is a full sub-\infty-category and instead state this now as an immediate corollary of the above proposition and the \infty-Yoneda lemma.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2011
    • (edited Jan 26th 2011)

    have added to Euclidean-topological infinity-groupoid a subsection Model category presentation with some remarks.

    (This is a more succinct re-write of stuff already in the intro part of smooth infinity-groupoid. Moreover, I have typed it now twice, since I lost the first version when my browser had a mysterious crash. Oh time, where doest thou disappear to? )

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeFeb 23rd 2011

    I have strengthened the statement about Π:ETopGrpdGrpd\Pi : ETop\infty Grpd \to \infty Grpd preserving homotopy fibers of morphism of the form XW¯GX \to \bar W G (in the section Cohomology and prinicipal oo-bundles).

    Previously I was asking not only GG to be a simplicial group in manifolds, but also XX to be a globally Kan fibrant simplicial manifold. That is unnecessary, we can allow XX to be any globally fibrant simplicial presheaf.

    In particular it follows without further ado that Π\Pi preserves the homotopy fiber of the smooth fractional Pontryagin class 12p 1\frac{1}{2}\mathbf{p}_1 and hence sends the string 2-group to the string group, as discussed at string 2-group.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeFeb 23rd 2011

    Have added the corresponding corollary for the smooth case to SmoothooGrpd – Geometric homotopy.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2011
    • (edited Sep 13th 2011)

    I have added to Euclidean-topological infinity-groupoid a remark on presentations of Π(X)\mathbf{\Pi}(X) by topological Kan complexes of paths: in a new section Presentation of the fundamental path oo-groupoid

    • CommentRowNumber15.
    • CommentAuthorjim_stasheff
    • CommentTimeSep 14th 2011
    I could check the proof, but why is paracompactness relevant?
    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeSep 14th 2011
    • (edited Sep 14th 2011)

    why is paracompactness relevant?

    Paracompactness of XX is a sufficient condition for a previous step: I am referring to a general abstract definition of the \infty-groupoid Π(X)\Pi(X) by a certain left adjoint Π\Pi. For that abstract definition to reproduce the expected object SingXSing X a sufficient condition is that XX is paracompact. This is discussed in the part above the theorem that I pointed to in #14.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2020
    • (edited Jun 5th 2020)

    Now that I finally looked into Delta-generated topological spaces, I understand that the title of this page here needs to be changed.


    The history of the naming here, as I remember it (probably visible somewhere in the nForum history) is this:

    First, I had called the objects of the cohesive \infty-topos Sh (EuclideanTopologicalSpaces)Sh_\infty(EuclideanTopologicalSpaces) “topological \infty-groupoids”.

    Then Mike (Shulman) had complained, rightly, that that name would rather apply to Sh (TopologicalSpaces)Sh_\infty(TopologicalSpaces) (which however is not cohesive).

    Then one of us (I forget who) suggested the current title “Euclidean topological \infty-groupoid”. This rhymes (or rather alliterates) on the canonical name of its site.

    But it’s still not the right name, I think now.


    An appropriate name should be Δ\Delta-generated \infty-groupoids, or maybe “Euclidean generated”.


    Namely, by that characterizing idempotent adjunction (here) Δ\Delta-generated spaces are just those which come from concrete sheaves on Euclidean spaces.

    I think the “Δ\Delta“-terminology is misleading: It is not the shape of the simplices that matters, but only that they are convex subsets of Euclidean spaces of all finite dimensions (authors routinely use this fact, e.g. in the proof of Prop. 3.2 here).

    Hence, I suppose that Δ\Delta-generated spaces could just as well be called “Euclidean generated spaces”. But once we are at this point, we see that this sense of “Euclidean generation” is just what the construction of Sh (EuclideanTopologicalSpaces)Sh_\infty(EuclideanTopologicalSpaces) promotes to the non-concrete and to the higher homotopical.

    In fact, “Euclidean generated” is of course a tautological name for Sh (EuclideanTopologicalSpaces)Sh_\infty(EuclideanTopologicalSpaces), since the objects of the site are generators of the \infty-topos also in the category-theoretic sense. So if we agree that for topological spaces “Δ\Delta-generated” and “Euclidean generated” is equivalent, then it is inevitable that “Δ\Delta-generated topological \infty-groupoids” would be a proper terminology here. And “Euclidean-generated topological \infty-groupoids” would be even better, albeit somewhat revisionistic.

    diff, v48, current

    • CommentRowNumber18.
    • CommentAuthorRichard Williamson
    • CommentTimeJun 6th 2020
    • (edited Jun 6th 2020)

    that name would rather apply to Sh (TopologicalSpaces)Sh_\infty(TopologicalSpaces) (which however is not cohesive).

    Is the problem lack of local contractibility in general? Not sure if it’s of any interest, but if so, I suspect that the big topos of topological spaces is cohesive over condensed sets with some kind of ’pro-local homeomorphism topology’, i.e. a topological version of the pro-étale topology in algebraic geometry. I spent a few minutes a few weeks ago trying to think about how this should be defined; it would be some kind of different formulation of shape theory. For locally contractible spaces, everything should be the same as usual.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2020

    that name would rather apply to Sh (TopologicalSpaces)Sh_\infty(TopologicalSpaces) (which however is not cohesive).

    Is the problem lack of local contractibility in general?

    Yes. That’s what prevents the extra left adjoint to \infty-groupoids to exist.

    I suspect that the big topos of topological spaces is cohesive over condensed sets with some kind of ’pro-local homeomorphism topology’

    That sounds roughly analogous to a similar statement for schemes made by Peter Scholze recently. It would be very useful if any of this would be written down in citable form.

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 6th 2020
    • (edited Jun 6th 2020)

    We ought to extract some of the conclusions from that long discussion at the Café. But often it sounded like people didn’t mind that there was no \sharp, just whether there was ʃ. So I’m not sure what to say precisely.

    I’m not sure what to do with something like

    the big pro-etale topos of schemes over a fixed algebraically closed field k is, almost, cohesive over pyknotic sets, …

  1. In the case of topological spaces I think # should exist. It would be an excellent exercise/addition to the nLab to work out how to adapt the definition of the pro-étale topology to topology (the reverse of the development of the étale topology!).

    To get started one can observe that a local homeomorphism with target a one point space is discrete. Thus if one works with cofiltered limits of local homeomorphisms, and has a finiteness condition on the fibres, one will get profinite sets. This definition is very close to the pro-étale topology in algebraic geometry.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2020

    as per #17 I have re-named to Euclidean-generated \infty-groupoids and cross-linked with Euclidean-generated topological space (aka Δ\Delta-generated space)

    diff, v49, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2020

    or now I did

    diff, v49, current

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2020
    • (edited Jun 7th 2020)

    Am changing my mind again:

    First, a better-term for Delta-generated topological spaces might be

    • D-topological spaces


    1. its’s precisely those that carry a D-topology, hence which are, indeed “D-topological”,

    2. the “D” still alliterates to “Delta-generated”

    3. it’s shorter than “Delta-generated”, even when keeping the adjective “topological”

    This way, Sh (EuclideanSpaces)Sh_\infty(EuclideanSpaces) would be called

    • D-topological \infty-groupoids

    which makes clear at once both that it’s a kind of topological \infty-groupoid, and that it’s a special kind, coming from “D-topology” and alluding to “Delta-generation”.

    • CommentRowNumber25.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 7th 2020

    I like it!

    If I get to do my algebraic topology course again in January as an intensive national summer school offering, then I’m planning to use D[elta generated]-topological spaces, since these are the kinds of things that arise as geometric realisations of Delta-sets/simplicial sets.

    On a separate note, am I right in saying that D-topological spaces can also be described as those spaces that are quotients of coproducts of standard simplices? That to me sounds slightly closer to the idea of manifolds being quotients of coproducts of charts, so possibly more accessible to students with less topology background.

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2020

    Thanks for the feedback! I have made that terminology a remark at Delta-generated space: here.

    Regarding your question: I haven’t thought about this, but we have (and had since rev. 8) a remark that claims this is the case: here.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2020

    Without much further ado, I have renamed again, as per #24. Also adjusted the very first lines of the Idea-section accordingly. (There might be further adjustments indicated further down. This is an ancient entry, I haven’t gone through all of it again.)

    diff, v50, current