nForum - Discussion Feed (Spin(5)) 2022-08-19T04:27:19-04:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher DavidRoberts comments on "Spin(5)" (89058) https://nforum.ncatlab.org/discussion/9665/?Focus=89058#Comment_89058 2021-01-16T04:00:02-05:00 2022-08-19T04:27:19-04:00 DavidRoberts https://nforum.ncatlab.org/account/42/ every invariant subspace has an invariant complement, so one or both of the 6-dimensional subspaces &Lambda; + 2V\Lambda_+^2 V and &Lambda; &minus; 2V\Lambda_-^2 V must have a ...

every invariant subspace has an invariant complement, so one or both of the 6-dimensional subspaces $\Lambda_+^2 V$ and $\Lambda_-^2 V$ must have a 5-dimensional subspace invariant under the action of $\mathrm{Sp}(V)$

I get that the invariant subspace at the start of this quote is generated by the element $J$ preserved by $SU(4)$, but it’s not clear what the subspace is. Is it the real span? Why the claim that one or both of $\Lambda_+^2 V$ and $\Lambda_-^2 V$ have an invariant subspace?

]]>
John Baez comments on "Spin(5)" (89053) https://nforum.ncatlab.org/discussion/9665/?Focus=89053#Comment_89053 2021-01-16T00:37:45-05:00 2022-08-19T04:27:19-04:00 John Baez https://nforum.ncatlab.org/account/17/ Added a proof that Spin(5) is isomorphic to Sp(2). diff, v15, current

Added a proof that Spin(5) is isomorphic to Sp(2).

]]>
Urs comments on "Spin(5)" (76639) https://nforum.ncatlab.org/discussion/9665/?Focus=76639#Comment_76639 2019-03-20T15:02:22-04:00 2022-08-19T04:27:19-04:00 Urs https://nforum.ncatlab.org/account/4/ added the following statement, but for the moment without good referencing: The integral cohomology ring of the classifying space BSpin(5)B Spin(5) is spanned by two generators the first ...

added the following statement, but for the moment without good referencing:

The integral cohomology ring of the classifying space $B Spin(5)$ is spanned by two generators

1. the first fractional Pontryagin class $\tfrac{1}{2}p_1$

2. the linear combination $\tfrac{1}{2}p_2 - \tfrac{1}{2}(p_1)^2$ of the half the second Pontryagin class with half the cup product-square of the first Pontryagin class:

$H^\bullet \big( B Spin(5), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \left[ \tfrac{1}{2}p_1, \; \tfrac{1}{2}p_2 - \tfrac{1}{2}(p_1)^2 \right]$ ]]>
Urs comments on "Spin(5)" (76504) https://nforum.ncatlab.org/discussion/9665/?Focus=76504#Comment_76504 2019-03-16T09:01:43-04:00 2022-08-19T04:27:19-04:00 Urs https://nforum.ncatlab.org/account/4/ added the following statement; which appears as Lemma 2.1 in Raoul Bott, Alberto Cattaneo, Integral Invariants of 3-Manifolds, J. Diff. Geom., 48 (1998) 91-133 (arXiv:dg-ga/9710001) Let S 4 ...

added the following statement; which appears as Lemma 2.1 in

Let

$\array{ S^4 &\longrightarrow& B Spin(4) \\ && \big\downarrow^{\mathrlap{\pi}} \\ && B Spin(5) }$

be the spherical fibration of classifying spaces induced from the canonical inclusion of Spin(4) into Spin(5) and using that the 4-sphere is equivalently the coset space $S^4 \simeq Spin(5)/Spin(4)$ (this Prop.).

Then the fiber integration of the triple cup power of the Euler class $\chi \in H^4\big( B Spin(4), \mathbb{Z}\big)$ (see this Prop) is twice the second Pontryagin class:

$\pi_\ast \left( \chi^3 \right) \;=\; 2 p_2 \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,.$ ]]>
Urs comments on "Spin(5)" (76405) https://nforum.ncatlab.org/discussion/9665/?Focus=76405#Comment_76405 2019-03-10T10:23:07-04:00 2022-08-19T04:27:19-04:00 Urs https://nforum.ncatlab.org/account/4/ for ease of reference, and to go along with SO(2), Spin(2), Pin(2), Spin(3), Spin(4) v1, current

for ease of reference, and to go along with SO(2), Spin(2), Pin(2), Spin(3), Spin(4)

]]>