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 comma 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 finite 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 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 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.
    • CommentAuthorGuest
    • CommentTimeOct 14th 2009
    At string 2-group it is claimed that the sequence of classifying spaces ending --> BSO(n) --> BO(n) is the Whitehead tower of O(n). Also mentioned is the version for smooth infinity groupoids (so I assume it is Urs who put that there). It is certainly not true that the sequence of classifying spaces so stated is the Whitehead tower for O(n), but the details for groups considered as one-object infinity groupoids are open to interpretation, so I haven't changed anything. Just a heads up.

    -David Roberts
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2009

    I started working on this but had to quit in a haste. It's the Whitehead twoer for B O(n), I'd say.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2009

    Quickly added paranthetical remarks to make clear what is meant. Will try to turn to this entry later today.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2009

    Okay, now I invested time into string 2-group and feel I can officially announce it here as having been created.

    various new stuff, see table of contents. Not that this is finalized of course, but I almost drop from my chair so tired am I, so that'll be it for tonight.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2010
    • (edited Sep 6th 2010)

    I reorganized string 2-group a bit. I made the description as a homotopy fiber the definition (since that determines all the abstract prperties) and then below that arranged the different models.

    I also removed some of the aspects that were mentioned there earlier and instead added links to infinity-Lie groupoid where these are now discussed more comprehensively.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011
    • (edited Feb 21st 2011)

    I am now working on finally bringing string 2-group into shape:

    • using the now-available cohesive technology/language I have further stream-lined the abstract definition (looping of the homotopy fiber of the smooth refinement 12p 1\frac{1}{2}\mathbf{p}_1 of the first fractional Pontryagin class);

    • then I have now written out the statement and proof (in the new Properties-section) that this abstract definition alone implies that the geometric realization of the string 2-group is the string group in TopTop

      This is essentially a direct corollary of combining two results:

      1. the explicit presentation of 12p 1\frac{1}{2}\mathbf{p}_1 by Lie integration in my article with Domenico Fiorenza and Jim Stasheff,

      2. and the statement that we have been discussing at geometric realization of simplicial topological spaces, that on good simplicial spaces geometric realization preserves homotopy fibers.

      All one needs to add is the observation that we may always pull back the presentation of cosk 3exp(𝔰𝔬(n))BSpin\mathbf{cosk}_3 \exp(\mathfrak{so}(n)) \simeq \mathbf{B}Spin used in FSS to a degreewise finite dimensional simplicial manifold (with countably many connected components in each degree by general nonsense, which is good enough, or even with finitely many components, using Chris Schommer-Pries’s construction, if desired).

    I now want to transfer the old discussion from nactwist about the equivalence of three different relevant strict models for the String 2-group (which serves to show that the BCSS construction really does model the smooth homotopy fiber and not just the topological homotopy fiber under geometric realization), but I am not sure yet if I’ll have the energy to transform the xypic art used there into the nLab. Probably not. (read: is there by any chance a volunteer here ?? ;-)

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011

    I have now written out the argument that cosk 3exp(𝔰𝔱𝔯𝔦𝔫𝔤)\mathbf{cosk}_3 \exp(\mathfrak{string}) is indeed model for the homotopy fiber of the smooth 12p 1\frac{1}{2}\mathbf{p}_1.