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 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 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 nforum 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 sheaves 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 6th 2019

    Page created, but author did not leave any comments.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 6th 2019
    • (edited Mar 7th 2019)

    gave this its own little entry in order to have a place where to record the following fact:

    The integral cohomology ring of the classifying space of Spin(3) is freely generated from 1/41/4th of the first Pontryagin class:

    H (BSpin(3),)[14p 1] H^\bullet \big( B Spin(3), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \big[ \tfrac{1}{4}p_1 \big]

    Moreover, the integral cohomology ring of the classifying space of Spin(4) is freely generated from the first fractional Pontryagin class 12p 1\tfrac{1}{2}p_1 and the combination 12(e+12p 1)\tfrac{1}{2}\big( e + \tfrac{1}{2}p_1 \big), where χ\chi is the Euler class:

    H (BSpin(4),)[12p 1,12(χ+12p 1)] H^\bullet \big( B Spin(4), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \big[ \tfrac{1}{2}p_1 \,, \tfrac{1}{2}\big( \chi+ \tfrac{1}{2}p_1 \big) \big]

    Finally, under the exceptional isomorphism (eq:Spin3SquareToO4) ϑ:Spin(3)×Spin(3)Spin(4)\vartheta \;\colon\; Spin(3) \times Spin(3) \overset{\simeq}{\to} Spin(4) these classes are related by

    ϑ *(12p 1) =14p 11+114p 1 ϑ *(12(χ+12p 1)) =114p 1+114p 1 henceAAAAϑ *(χ)+12p 1)) =14p 11+114p 1 \begin{aligned} \vartheta^\ast \left( \tfrac{1}{2}p_1 \right) & = \phantom{-} \tfrac{1}{4}p_1 \otimes 1 + 1 \otimes \tfrac{1}{4} p_1 \\ \vartheta^\ast \Big( \tfrac{1}{2} \big( \chi + \tfrac{1}{2} p_1 \big) \Big) & = \phantom{-} \phantom{ 1 \otimes \tfrac{1}{4}p_1 + } 1 \otimes \tfrac{1}{4}p_1 \\ \text{hence} \phantom{AAAA} \vartheta^\ast\big( \chi \big) \phantom{ + \tfrac{1}{2} p_1 \big) \Big) } & = - \tfrac{1}{4}p_1 \otimes 1 + 1 \otimes \tfrac{1}{4} p_1 \end{aligned}

    Therefore, under the canonical diagonal inclusion ι:Spin(3)ΔSpin(3)×Spin(3)Spin(4)\iota \colon Spin(3) \overset{\Delta}{\hookrightarrow} Spin(3) \times Spin(3) \simeq Spin(4) (eq:Spin3Diagonally) we have

    ι *(12p 1) =12p 1 ι *(χ) =0 \begin{aligned} \iota^\ast \left( \tfrac{1}{2}p_1 \right) & = \tfrac{1}{2}p_1 \\ \iota^\ast \big( \chi \big) & = 0 \end{aligned}

    v1, current

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 6th 2019

    Is e=χe=\chi?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2019

    Thanks for catching. Fixed now.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 22nd 2019
    • (edited Mar 22nd 2019)


    Might the second generator in

    H (BSpin(4),)[12p 1,12(χ+12p 1)] H^\bullet \big( B Spin(4), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \big[ \tfrac{1}{2}p_1 \,, \tfrac{1}{2}\big( \chi+ \tfrac{1}{2}p_1 \big) \big]

    actually come from BSO(4)B SO(4)?

    In other words, is the rational combination 12(χ+12p 1)\tfrac{1}{2}\big( \chi+ \tfrac{1}{2}p_1 \big) possibly already integral for SO(4)SO(4)-bundles, not just for Spin(4)Spin(4)-bundles?

    [edit: ah, no, this cannot be…]

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2019

    added picture of D3 and A3 Dynkin diagrams with their central node removed, illustrating the exceptional iso Spin(4)SU(2)×SU(2)Spin(4) \simeq SU(2)\times SU(2).

    diff, v12, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2021

    added pointer to:

    diff, v13, current