Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorGuest
   • CommentTimeOct 14th 2009
   • PermaLink
   Author: Guest
   Format: TextAt [[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

   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
2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeOct 14th 2009
   • PermaLink
   Author: Urs
   Format: MarkdownI started working on this but had to quit in a haste. It's the Whitehead twoer for B O(n), I'd say.

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

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeOct 14th 2009
   • PermaLink
   Author: Urs
   Format: MarkdownQuickly added paranthetical remarks to make clear what is meant. Will try to turn to this entry later today.

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

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeOct 15th 2009
   • PermaLink
   Author: Urs
   Format: MarkdownOkay, 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.

   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.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeSep 6th 2010
   • (edited Sep 6th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI 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.

   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.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeFeb 21st 2011
   • (edited Feb 21st 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI 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 $\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 <a href="http://ncatlab.org/nlab/show/string+2-group#Properties">Properties-section</a>) that this abstract definition alone implies that the geometric realization of the string 2-group is the string group in $Top$ This is essentially a direct corollary of combining two results: 1. the explicit presentation of $\frac{1}{2}\mathbf{p}_1$ by [[Lie integration]] in my article with Domenico Fiorenza and Jim Stasheff, 1. 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 $\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 <a href="http://www.math.uni-hamburg.de/home/schreiber/nactwist.pdf">nactwist</a> 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 ?? ;-)

   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 $\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 $Top$

     This is essentially a direct corollary of combining two results:

     1. the explicit presentation of $\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 $\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 ?? ;-)

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeFeb 21st 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have now written out the argument that $\mathbf{cosk}_3 \exp(\mathfrak{string})$ is indeed model for the homotopy fiber of the smooth $\frac{1}{2}\mathbf{p}_1$.

   I have now written out the argument that $\mathbf{cosk}_3 \exp(\mathfrak{string})$ is indeed model for the homotopy fiber of the smooth $\frac{1}{2}\mathbf{p}_1$.