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.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 27th 2011

    Urs has taught us a lot about lifting up structures through the Whitehead tower of the orthogonal group. What happens if you begin with a different Lie group, say, the symplectic group or G 2G_2?

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeJun 29th 2011

    What do you mean by ’what happens’? The theory is non specific in general and interprets according to the example …. or are you looking form much more than that vague handwave. :-)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 29th 2011
    • (edited Jun 29th 2011)

    So for instance in the applications that involve lifts trough BStringBSOB String \to B SO there is in general also the question of lifting through (BSU)4BSU (B SU)\langle 4\rangle \to B SU.

    (In the application to the heterotic string, neigther lift needs to exist by itself, but the obstructions to each need to cancel each other.)

    • CommentRowNumber4.
    • CommentAuthorjim_stasheff
    • CommentTimeJun 29th 2011
    There is the general theory of lifitng in a fibration,
    so in particular for a Whitehead tower.
    Are you asking for calculation for e.g. G_2 ?
    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 29th 2011
    • (edited Jun 29th 2011)

    I was just wondering whether for some reason there’s an intrinsically greater interest in lifting from the orthogonal group rather than from elsewhere. In the former case there are special names for increasingly connected covers, spin(n) and string(n), and a successful search for smooth models. Should the 3-connected cover of SU(n)SU(n), say, be given this treatment - a new name and a smooth model?

    Edit: Just seen we have a section on this.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 29th 2011
    • (edited Jun 29th 2011)

    I was just wondering whether for some reason there’s an intrinsically greater interest in lifting from the orthogonal group rather than from elsewhere.

    There is maybe not a very general reason, but there is a specific reason in that this case just so happens to be interesting for a fairly large class of phenomena that are already known to appear elsewhere.

    One is this: the first few lifts through the Whitehead tower of OO correspond to orientations in generalized cohomology for important generalized cohomology theories: SOSO-structure is ordinary orientation, SpinSpin-structure is orientation in KOK O-theory and then StringString-structure is orientation in tmf. That’s where much of the pure math interest in String-structures comes from.