Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
am starting something here. For the moment I just want to record today’s
eventually more references ought to be added
I hope to write out some simple but interesting explicit examples of the equivariant Pontryagin-Thom isomorphism. I may fumble around quite a bit at the beginning.
To warm up, I added what is possibly the simplest non-trivial example: ℤ2-equivariant maps from S1 to itself (here).
Simplistic as it is, it is already kind of interesting in how it works.
There’s a typo after “Indeed, under passage to fixed points any”, where you have S1≃{0,1}.
Thanks, fixed now. And there is something strange about the example, too. Hope to sort it out…
What is the class in π4(S3)≃ℤ2 of the map
Sℍ⟶S(ℍim)q↦qvˉqwhere v∈ℍim∖{0} is any non-zero imaginary quaternion?
Let me try some things on the fly… Take v=i, the choice is immaterial.
My first thought is that it should be the nontrivial class, since restricted to Sp(1)=S(ℍ)⊂Sℍ the equator, this looks like the Hopf map H:S3=Sp(1)→S(ℍim)=S2, which can be expressed as q↦qiˉq (I learned this from Atiyah’s book “Geometry of Yang-Mills fields”). And now that I think about it, the map you give is the suspension of H, so yes, it is the nontrivial class.
Thanks!!
Just for citation purposes: Where in Atiyah do you see this stated?
But then, even Wikipedia spells this out. All right, thanks again!
Yes, this is essentially coming from the representation Sp(1)→SO(ℍim) by conjugation, and recognising the unit sphere in the imaginary quaternions as a homogeneous space for the action of Sp(1) via this rep.
Now my next question is the following variant of the above:
For G=ℤn=⟨2πi/n⟩↪SU(2) a cyclic subgroup, is there any bi-pointed G-equivariant continuous function
Sℍ⟶S⟨j,k⟩from the representation sphere of ℍ with its canonical left action to the representation sphere of the 2d linear span of the other two imaginary quaternions, equipped with the conjugation action?
Here by “bi-pointed” I mean that it restricts to the canonical bijection on the fixed points S0.
I suspect there is not. Because the evident way to achieve equivariance would seem to be to send quaternions on th eleft to their conjugation action on something, as in #5, but that does’t work here with the shrunken codomain.
I’d like to turn that into a proof that no such map can exist. But not sure yet.
Doesn’t this reduction to a statement about the non-compactified G-spaces? And asking there is no pointed equivariant map, linear or otherwise, between the representations? I suspect it would be easy to prove that no linear map exists, but not sure about the general case yet.
Sure, we may ask equivalently for equivariant maps f between the linear G-spaces that take 0 to 0 and for which limr1→∞r2(f) is ∞.
Linear maps won’t exist by Schur’s lemma. One could see this nicely in the previous example we did, which was a quadratic map, thus reducing to zero in the linear approximation.
Similarly for instance for G=ℤ/2 the quadratic map (−)2:Sℝsgn→Sℝ exists equivarianty (and is “bi-pointed”) but the only equivarian linear map ℝsgn→ℝ is zero.
finally added pointer to
Assume we have such an equivariant map (we should write μn for the group, since it’s the roots of unity in U(1)⊂Sp(1)). I’m wondering what would be the induced linear map between the representations on the tangent spaces at 0∈Sℍ and 0∈S⟨i,k⟩. I can’t see how those representations are anything other than ℍ and ⟨j,k⟩. Edit Actually I guess this linear map being 0 isn’t going to give us much.
We also know that the fibres of the map are, generically, 2-dimensional submanifolds that intersect any μn-orbits only once (for n odd) or twice (for n-even). I was thinking what we would do if instead of μn we were looking at U(1). Then any nontrivial U(1)-orbit in Sℍ is mapped 2:1 to the orbit in the other sphere. Thus in this case, the 2-dimensional generic fibres can still only intersect those circle orbits twice.
Hi David,
you seem to be arguing some point now, maybe disagreeing with something I said, but I am not sure. Could you say again what statement you are after now? I was suggestion there ought to be no bipointed μn-equivariant map Sℍ→S⟨j,k⟩. Do you feel this can be proven, or that it is false?
Assume we have such an equivariant map (we should write μn for the group, since it’s the roots of unity in U(1)⊂Sp(1)). I’m wondering what would be the induced linear map between the representations on the tangent spaces at 0∈Sℍ and 0∈S⟨i,k⟩. I can’t see how those representations are anything other than ℍ and ⟨j,k⟩.
Right, the tangent G-representation of the G-representation sphere SV at 0 is V. And so if V1 and V2 are distinct linear irreps, then by Schur the only linear G-map V1→V2 is zero, which means that any bipointed differentiable G-equivariant function f:SV1→SV2 must have vanishing differential at 0.
Which is just what we see in the examples we discussed, where f is quadratic.
My almost-proof that there is no bipointed equivariant Sℍ→S⟨j,k⟩ goes like so:
The fact that we need to equivariantly send a left quaternion action to adjoint quaternion action “obviously” forces us to send any quaternion q in Sℍ to its conjugation action on something, and that something can “obviously” only be an imaginary quaternion, and that leads to the map Sℍ→Sℍim which does however not factor through S⟨j,k⟩. QED.
Now how to remove the quotation marks around “obviously”? :-)
Do you feel this can be proven, or that it is false?
I was trying some obvious things to see if I could get an easy contradiction from assuming such a map exists. :-)
How about we consider the easiest case: μ2={±1}? It has trivial action on S⟨j,k⟩ but acts on the equator of Sℍ as the antipodal map and then extends to the obvious thing. Any μ2k-equivariant map would give one of these, so this is at least a potential obstruction to all the even cases.
Given the μ2-equivariant map, we’d get a ordinary bipointed map Σℝℙ3→S2. Obstruction theory might have something to say about this.
OK, so assuming (for the sake of contradition) there is some μ2-equivariant map e:Sℍ⟶S⟨j,k⟩, then this map factors into bipointed maps
Sℍ⟶Σℝℙ3⟶S⟨j,k⟩.Up to homotopy there are only two maps S4→S2: the trivial one, and the composite η∘Ση for η the Hopf fibration. Somehow I doubt this factorises like this, but I haven’t a reference and can’t quickly see how to prove it. So I conjecture that e would have to be nullhomotopic. I would think that S4→Σℝℙ3 is not null-homotopic. It may be possible to push this line of argument further, but it’s late here :-)
Thanks, David!! I’ll think about it.
Ah, here’s a construction of such a map! Recall that Σpt≃[0,1] and consider it as a bipointed space. Pick a path in S2 from 0 to ∞, hence a map Σpt→S2. Then compose this with S4→Σℝℙ3→Σpt to get a bipointed map S4→S2 factoring through the quotient S4→ℝℙ2, hence a μ2-equivariant map on the representation spheres Sℍ→S⟨j,k⟩.
Thus there is at least one case that does exist, and we don’t get the obstruction I envisaged. However, it’s possible that only for n=2 does a μn-equivariant bipointed map exist.
Hmm… Now I’m really off to bed.
Sorry, I haven’t been following closely. Now that I am chasing back through your comments I get stuck in #17, where you say that μ2 should act trivially on S⟨j,k⟩. This doesn’t sound right to me: The nontrivial element acts by rotation by π in the (j,k)-plane, hence it rotates our 2-sphere by π around its axis thtough 0 and ∞.
Am I misreading your comment? But it’s great that you are thinking about this. Don’t let me stop you. :-)
Myself, I got sidetracked today by seeing how much tom Dieck’s theorem (here) may be of help (generally, not for the particular question of Sℍ→S⟨i,j⟩, to which it does not apply, like to so many other examples, due to its extremely strong assumptions…)
μ2={1,eiπ}, no? Try conjugating aj+bk by eiπ and see what happens ;-)
I did calculate a matrix representative of the action of e2πik/n, and it’s rotation by 4πik/n.
Sorry, my bad, you are right, of course. I was thinking about the Z/2 down in SO(3), but you are of course using the correct Z/2 up in SU(2), which covers 1 downstairs.
And now it’s me who is off to bed. See you tomorrow!
But so we need to exclude that case of ℤ/2 for the purpose of classifying those transversal contributions that we talked about. These, by decree, are given by bipointed equivariant maps from a tubular neighbourhood of the fixed locus restricted to some brane in that fixed locus (which gives us Sℍ for the case of the MK6) to the representation sphere of – and that’s the key point here - the orthogonal complement V−VG of the trivial rep inside V.
Hmm, will have to think on that, but not too much at present, with other things on.
Now back to work. Sorry again for that. I was mentally always envisioning the rotation action on the right, which is what mattered to me most in the logic of things, but it made me speak incorrectly, ignoring the double cover lift.
But, once you have time, we should talk about that question that you ended up looking at, too: What can be said about equivariant Cohomotopy from Sℍ to spheres Sn without group action?
if we take the ℤ/2-action (the correct one that you used, given by multiplication of quaternions by ±1) and n=4 on the right then we get bipointed maps from each even-graded polynomial in the quaternion q and its conjugate ˉq, I suppose. So for instance q↦a⋅q2+b⋅qˉq+c⋅ˉq2 going Sℍ→S4.
These guys need attention, too, I see now some examples where they appear. I’ll try to develop my notes on this further. Then hopefully by the time you have other duties out of the way, we could come back to this afresh.
Now I’d like to use that equivariant Hopf degree theorem, with its information on πV(SV) (here) to say more about πV(SW) when V≠W, notably for that case W=ℍ, V=ℍim that we discussed above.
So there we had one element
[Ad(−)(i)]∈πℍim(Sℍ)and that was, admittedly, the only non-zero element I could see at all. But composition of representatives gives an action
πV(SV)×πV(SW)⟶πV(SW)([f],[g])↦[f∘g]of πV(SV) on πV(SW), and from looking at the underlying (non-equivariant) classes we know at least that any [c]∈πV(SV) with deg(c{e})≠0 acts freely on πV(SW) this way, which generally gives lots of new elements in πV(SW).
Now it would be nice if this kind of argument could be used to not just explore parts of πV(SW), but to fully exhaust and describe it. Hm…
I finally dawns on me that tom Dieck’s construction of the isomorphism
𝕊G(*)≃A(G)(between the stable equivariant cohomotopy of the point and the Burnside ring) reduces for finite groups G to the following beautiful statement:
The H-marks of a virtual permutation on the right is the degree at H-fixed points of the corresponding representative on the left:
𝕊G(*)≃lim⟶V(π0Maps(SV,SV)G)≃⟶ϕA(G)c↦ϕ(c)with
deg(cH)=|(ϕ(c))H|for all H. This relation fully determines ϕ, since by the equivariant Hopf degree theorem the classes of maps SVc→SV are uniquely fixed by their H-degrees, as H-ranges, and since virtual G-sets ϕ(c) are uniquely fixed by their H-Burnside marks, as H varies.
For G=ℤ/2, what are the classes of the equivariant maps
[S5sgn⟶S3+1sgn]given as the smash product of
Sℍ⟶S3q↦q⋅i⋅ˉqwith
n⋅(−):S1sgn⟶S1sgn?
Forgetting the equivariance, these classes are 0 or 1 in ℤ/2, depending on whether n is even or odd, respectively.
Now not forgetting the equivariance, is the ℤ worth of windings n on the S1sgn factor retained?
1 to 31 of 31