Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 28th 2019
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to * [[Daniel Dugger]], [[Daniel Isaksen]], _$\mathbb{Z}/2$-equivariant and R-motivic stable stems_, Proceedings of the American Mathematical Society 145.8 (2017): 3617-3627 ([arXiv:1603.09305](https://arxiv.org/abs/1603.09305)) exposition in [[Daniel Dugger]], _Motivic stable homotopy groups of spheres_ ([pdf](http://sma.epfl.ch/~hessbell/arolla/slides12/Dugger.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/equivariant+sphere+spectrum/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+sphere+spectrum/11">v11</a>, <a href="https://ncatlab.org/nlab/show/equivariant+sphere+spectrum">current</a>

   added pointer to

   • Daniel Dugger, Daniel Isaksen, $\mathbb{Z}/2$-equivariant and R-motivic stable stems, Proceedings of the American Mathematical Society 145.8 (2017): 3617-3627 (arXiv:1603.09305)

     exposition in

     Daniel Dugger, Motivic stable homotopy groups of spheres (pdf)

   diff, v11, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 28th 2019
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added ([here](https://ncatlab.org/nlab/show/equivariant+sphere+spectrum#ArakiIriyeResultsTable)) the table of $\mathbb{Z}/2$-equivariant stable homotopy groups of spheres in low bi-degree from slide 18 of [Dugger 08](https://ncatlab.org/nlab/show/equivariant+sphere%20spectrum#Dugger08), summarizing [Araki-Iriye 82](https://ncatlab.org/nlab/show/equivariant+sphere%20spectrum#ArakiIriye82). <a href="https://ncatlab.org/nlab/revision/diff/equivariant+sphere+spectrum/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+sphere+spectrum/12">v12</a>, <a href="https://ncatlab.org/nlab/show/equivariant+sphere+spectrum">current</a>

   I have added (here) the table of $\mathbb{Z}/2$-equivariant stable homotopy groups of spheres in low bi-degree from slide 18 of Dugger 08, summarizing Araki-Iriye 82.

   diff, v12, current

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 1st 2019
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexI'm trying to figure out where in the table the group in [this comment on yours](https://nforum.ncatlab.org/discussion/9297/equivariant-cohomotopy/#Item_31) fits. I don't quite understand the description of the bigrading convention, since both the source and the target are smashes of spheres with sign reps, in the case you want.

   I’m trying to figure out where in the table the group in this comment on yours fits. I don’t quite understand the description of the bigrading convention, since both the source and the target are smashes of spheres with sign reps, in the case you want.

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeMar 1st 2019
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexWhat happens to the [[RO(G)-grading]] idea with the move to _global_ equivariance? Does Peter May's warning that it is "not the thing most intrinsic to the mathematics" need to be heeded? Presumably something intrinsic is being a stable object in the kind of equivariant $(\infty, 1)$-topos being sought [here](https://nforum.ncatlab.org/discussion/8915/orbifold-cohomology/?Focus=76006#Comment_76006). Then what is the 'logic' of those motivic spectra?

   What happens to the RO(G)-grading idea with the move to global equivariance? Does Peter May’s warning that it is “not the thing most intrinsic to the mathematics” need to be heeded? Presumably something intrinsic is being a stable object in the kind of equivariant $(\infty, 1)$-topos being sought here.

   Then what is the ’logic’ of those motivic spectra?

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeMar 1st 2019
   • (edited Mar 1st 2019)
   • PermaLink
   Author: Urs
   Format: MarkdownItex> I'm trying to figure out where in the table the group in [this comment on yours](https://nforum.ncatlab.org/discussion/9297/equivariant-cohomotopy/#Item_31) fits. I don't quite understand the description of the bigrading convention, since both the source and the target are smashes of spheres with sign reps, in the case you want. Right, so degrees on the right appear as negatives of degrees on the left. So the stable class of a map $$ S^{ 5_{sgn} } \longrightarrow S^{ 3 + 1_{sgn} } $$ is an element which in Araki-Iriye's convention is in $ \pi^S_{ 4, -3 } $ with $p = 5 - 1 = 4$ the net dimension of sign reps, and $q = 0 - 3 = -3$ the net dimension of trivial reps. Hence in the table this is the entry $(p+q,p) = (1,4)$, where we have the equivariant stable homotopy group $(\mathbb{Z}/2)^2$. So at least after stabilization, the answer to my previous question is "No, there is no non-torsion stuff in that degree". After I had written this question I realized that I had looked at this stuff in Araki-Iriye long ago already, then forgotten about it. But then I discovered this table by Dugger summarizing their results, which increases the usability by some orders of magnitude. This way I learned that I had been asking not quite the right question. What I wanted to see is in which $RO(\mathbb{Z}/2)$-degree of total dimension 4 we can see the charges of the MO5/M5-bound states, which turn out to be perfectly captured by the Cohomotopy of MO5-singularities in RO-degree $5_{sgn}$. To see this also in degree-4 Cohomotopy, subject to the constraint that orientation behaviour is respected, we find from the table now that we can either map $S^{5_{sgn} + 1} \longrightarrow S^{ 3_{sgn} + 1 } $ or $S^{5_{sgn} + 3} \longrightarrow S^{ 1_{sgn} + 3 } $. (This is an equivariant analog to how the 4-sphere sees M2-brane charge a priori measured by $S^7$, due to the fact that there is a non-torsion element $S^7 \to S^4$. What we see here is that/how equivariantly the 4-sphere sees further brane species this way, here the MO5/M5-bound system.) This may all sound mysterious. I'll be trying to write it out comprehensively and cleanly. But will be busy the next days. Tomorrow flying back from family vacation across continents, then Domenico will be visiting for a week and we'll be busy with another project, then I am flying to Pittsburgh for a week.

   I’m trying to figure out where in the table the group in this comment on yours fits. I don’t quite understand the description of the bigrading convention, since both the source and the target are smashes of spheres with sign reps, in the case you want.

   Right, so degrees on the right appear as negatives of degrees on the left.

   So the stable class of a map

   $$S^{ 5_{sgn} } \longrightarrow S^{ 3 + 1_{sgn} }$$

   is an element which in Araki-Iriye’s convention is in $\pi^S_{ 4, -3 }$ with $p = 5 - 1 = 4$ the net dimension of sign reps, and $q = 0 - 3 = -3$ the net dimension of trivial reps.

   Hence in the table this is the entry $(p+q,p) = (1,4)$, where we have the equivariant stable homotopy group $(\mathbb{Z}/2)^2$. So at least after stabilization, the answer to my previous question is “No, there is no non-torsion stuff in that degree”.

   After I had written this question I realized that I had looked at this stuff in Araki-Iriye long ago already, then forgotten about it. But then I discovered this table by Dugger summarizing their results, which increases the usability by some orders of magnitude.

   This way I learned that I had been asking not quite the right question. What I wanted to see is in which $RO(\mathbb{Z}/2)$-degree of total dimension 4 we can see the charges of the MO5/M5-bound states, which turn out to be perfectly captured by the Cohomotopy of MO5-singularities in RO-degree $5_{sgn}$.

   To see this also in degree-4 Cohomotopy, subject to the constraint that orientation behaviour is respected, we find from the table now that we can either map $S^{5_{sgn} + 1} \longrightarrow S^{ 3_{sgn} + 1 }$ or $S^{5_{sgn} + 3} \longrightarrow S^{ 1_{sgn} + 3 }$.

   (This is an equivariant analog to how the 4-sphere sees M2-brane charge a priori measured by $S^7$, due to the fact that there is a non-torsion element $S^7 \to S^4$. What we see here is that/how equivariantly the 4-sphere sees further brane species this way, here the MO5/M5-bound system.)

   This may all sound mysterious. I’ll be trying to write it out comprehensively and cleanly.

   But will be busy the next days. Tomorrow flying back from family vacation across continents, then Domenico will be visiting for a week and we’ll be busy with another project, then I am flying to Pittsburgh for a week.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeMar 1st 2019
   • (edited Mar 1st 2019)
   • PermaLink
   Author: Urs
   Format: MarkdownItex> What happens to the [[RO(G)-grading]] idea with the move to _global_ equivariance? Along the general lines laid out at _[[orbifold cohomology]]_ and specifically the setup on slide 78 [here](https://ncatlab.org/schreiber/files/EquivariantCohomotopyAndBranes2018.pdf#page=78) I am looking at orbifolds $\mathcal{X}$ equipped with a faithful morphism to the delooping groupoid $\mathbf{B} Pin(5)^\flat$ of the discrete group underlying $Pin(5)$. Then equivariant cocycles are maps in the slice $$ \array{ \mathcal{X} && \longrightarrow&& S^4\sslash Pin(5)^\flat \\ & \searrow && \swarrow \\ && \mathbf{B} Pin(5)^\flat } $$ Now $Pin(5)^{\flat}$ is of course not finite. But by $\mathcal{X}$ being an orbifold, we have that around any of its singularities, any given morphism on the left will factor through the inclusion (under $\mathbf{B}$) of a finite subgroup $G$ of $Pin(5)$. By pulling back along that inclusion in the above triangle diagram, we see then that in the vicinity of that singularity the "global" cocycle reduces to one in $G$-equivariant cohomology. This took me a while to understand: That an orbifold regarded in the faithful slice in this fashion has attached to each of its singularities the further information of which "kind of charge" may be found inside this singularity, namely the choice of how the isotropy group of the singularity is to act on the coefficient 4-sphere. This is an effect of an aspect of "global" homotopy theory.

   What happens to the RO(G)-grading idea with the move to global equivariance?

   Along the general lines laid out at orbifold cohomology and specifically the setup on slide 78 here I am looking at orbifolds $\mathcal{X}$ equipped with a faithful morphism to the delooping groupoid $\mathbf{B} Pin(5)^\flat$ of the discrete group underlying $Pin(5)$. Then equivariant cocycles are maps in the slice

   $$\array{ \mathcal{X} && \longrightarrow&& S^4\sslash Pin(5)^\flat \\ & \searrow && \swarrow \\ && \mathbf{B} Pin(5)^\flat }$$

   Now $Pin(5)^{\flat}$ is of course not finite. But by $\mathcal{X}$ being an orbifold, we have that around any of its singularities, any given morphism on the left will factor through the inclusion (under $\mathbf{B}$) of a finite subgroup $G$ of $Pin(5)$. By pulling back along that inclusion in the above triangle diagram, we see then that in the vicinity of that singularity the “global” cocycle reduces to one in $G$-equivariant cohomology.

   This took me a while to understand: That an orbifold regarded in the faithful slice in this fashion has attached to each of its singularities the further information of which “kind of charge” may be found inside this singularity, namely the choice of how the isotropy group of the singularity is to act on the coefficient 4-sphere.

   This is an effect of an aspect of “global” homotopy theory.

7. • CommentRowNumber7.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 1st 2019
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThanks, Urs. I will be free to focus more on this stuff in a week and a bit.

   Thanks, Urs. I will be free to focus more on this stuff in a week and a bit.

8. • CommentRowNumber8.
   • CommentAuthorDavid_Corfield
   • CommentTimeMar 1st 2019
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexHaving been mired down in other things for a while, it's great to revisit this story with all of its parts. You sent me to the one typo I saw > Cohomotpy (slide 78)

   Having been mired down in other things for a while, it’s great to revisit this story with all of its parts.

   You sent me to the one typo I saw

   Cohomotpy (slide 78)