Not signed in (Sign In)

Start a new discussion

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 beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics 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 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limit 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 nonassociative noncommutative noncommutative-geometry number-theory object 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 string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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
    • CommentTimeFeb 28th 2019

    added pointer to

    diff, v11, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 28th 2019

    I have added (here) the table of /2\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

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 28th 2019

    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.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 1st 2019

    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 (,1)(\infty, 1)-topos being sought here.

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

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 1st 2019
    • (edited Mar 1st 2019)

    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 sgnS 3+1 sgn S^{ 5_{sgn} } \longrightarrow S^{ 3 + 1_{sgn} }

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

    Hence in the table this is the entry (p+q,p)=(1,4)(p+q,p) = (1,4), where we have the equivariant stable homotopy group (/2) 2(\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(/2)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 sgn5_{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+1S 3 sgn+1S^{5_{sgn} + 1} \longrightarrow S^{ 3_{sgn} + 1 } or S 5 sgn+3S 1 sgn+3S^{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 7S^7, due to the fact that there is a non-torsion element S 7S 4S^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.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 1st 2019
    • (edited Mar 1st 2019)

    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 BPin(5) \mathbf{B} Pin(5)^\flat of the discrete group underlying Pin(5)Pin(5). Then equivariant cocycles are maps in the slice

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

    Now Pin(5) 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 B\mathbf{B}) of a finite subgroup GG of Pin(5)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 GG-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.

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 1st 2019

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

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 1st 2019

    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)

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)