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 A of the extension could be anything, but it’s limited to being homotopy equivalent to BU(1), 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 A not necessarily chosen to be BU(1) 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 G such that G-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 Spin is a noteworthy phenomenon, but not the definition.
added publication data for:
added publication data for:
To add
I came across the reference in #9, the paper is still not published and it appears the author left academia. Does anybody understand the analysis at the top of p.17? In the simplest case, that of T=U(1), the objects π0Z(U(1)J)=(ℝ⊕ℤ)/(ℤ) with the ℤ including into ℝ⊕ℤ as z↦(z,z) for simplicity, why would this become ℝ and not ℝ/ℤ? The result seems to go back to Proposition 6.1 in (FHLT ’09).
Note that R oplus Z = R times Z = coprod_Z R as sets, so you get that 0 in the n^th copy of R is identified with 1 in the (n+1)^th copy of R, not with 1 in the same copy.
Ah, it’s like the telescope, thank you.
1 to 13 of 13