Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added a (sketchy) pointer to
Thanks for the pointer.
It seems to have gone largely unrecognized that the cohesive -topos-theoretic discussion of the String 2-group is in section 5.1.4 of dcct (p. 583).
Reading that sounds as though the of the extension could be anything, but it’s limited to being homotopy equivalent to , right?
Triple adjunction rather than adjoint quadruple, hmm.
Yes, on p. 29-30:
[ our definition ] is a generalisation as well as a weakening of the following approach to smooth string group extensions (see, for instance, [FRS16]):
Ok, so have added
with not necessarily chosen to be but only of the same homotopy type, …
By the way, I think this perspective that the String 2-group, even in the smooth case, “was defined” to be a 3-connected cover is misled:
By it’s very name, the String 2-group is meant to be that such that -structure encodes cancellation of the Green-Schwarz anomaly.
That for the global GS anomaly (i.e. disregarding differential structure) this is given by a 3-connected cover of the homotopy type pf is a noteworthy phenomenon, but not the definition.
added publication data for:
added publication data for:
To add
1 to 10 of 10