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.
    • CommentAuthorUrs
    • CommentTimeMar 22nd 2019

    in order to have a good place to record the diagram:

    (q 1,q 2) (xq 1xq¯ 2) Sp(1)×Sp(1) Spin(4) Sp(1)Sp(1) SO(4) \array{ ( q_1, q_2 ) &\mapsto& (x \mapsto q_1 \cdot x \cdot \overline{q}_2) \\ Sp(1) \times Sp(1) &\overset{\simeq}{\longrightarrow}& Spin(4) \\ \big\downarrow && \big\downarrow \\ Sp(1)\cdot Sp(1) &\overset{\simeq}{\longrightarrow}& SO(4) }

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2019
    • (edited Apr 8th 2019)

    just for completeness, I added this statement:


    The integral cohomology ring of the classifying space BSO(4)B SO(4) is

    H (p 1,χ,W 3)/(2W 3) H^\bullet \big( p_1, \chi, W_3 \big) / \big( 2 W_3 \big)

    where

    Notice that the cup product of the Euler class with itself is the second Pontryagin class

    χχ=p 2, \chi \smile \chi \;=\; p_2 \,,

    which therefore, while present, does not appear as a separate generator.


    I hope I got this right that W 5W_5 does not appear.

    diff, v4, current

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 8th 2019
    • (edited Apr 8th 2019)

    Yes, it seems to me that you only have W 3W_3 out of the integral SW classes, based on one of those sources I sent you.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2019

    copied over the homotopy groups of SO(4)SO(4) in low degree

    GG π 1\pi_1 π 2\pi_2 π 3\pi_3 π 4\pi_4 π 5\pi_5 π 6\pi_6 π 7\pi_7 π 8\pi_8 π 9\pi_9 π 10\pi_10 π 11\pi_11 π 12\pi_12 π 13\pi_13 π 14\pi_14 π 15\pi_15
    SO(4)SO(4) 2\mathbb{Z}_2 0 2\mathbb{Z}^{\oplus 2} 2 2\mathbb{Z}_{2}^{\oplus 2} 2 2\mathbb{Z}_{2}^{\oplus 2} 12 2\mathbb{Z}_{12}^{\oplus 2} 2 2\mathbb{Z}_{2}^{\oplus 2} 2 2\mathbb{Z}_{2}^{\oplus 2} 3 2\mathbb{Z}_{3}^{\oplus 2} 15 2\mathbb{Z}_{15}^{\oplus 2} 2 2\mathbb{Z}_{2}^{\oplus 2} 2 4\mathbb{Z}_{2}^{\oplus 4} 2 2 12 2\mathbb{Z}_2^{\oplus 2}\oplus\mathbb{Z}_{12}^{\oplus 2} 2 4 84 2\mathbb{Z}_2^{\oplus 4}\oplus\mathbb{Z}_{84}^{\oplus 2} 2 4\mathbb{Z}_2^{\oplus 4}

    diff, v7, current