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: -equivariant maps from 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 .
Thanks, fixed now. And there is something strange about the example, too. Hope to sort it out…
What is the class in of the map
where is any non-zero imaginary quaternion?
Let me try some things on the fly… Take , the choice is immaterial.
My first thought is that it should be the nontrivial class, since restricted to the equator, this looks like the Hopf map , which can be expressed as (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 , 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 by conjugation, and recognising the unit sphere in the imaginary quaternions as a homogeneous space for the action of via this rep.
Now my next question is the following variant of the above:
For a cyclic subgroup, is there any bi-pointed -equivariant continuous function
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 .
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 -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 between the linear -spaces that take 0 to 0 and for which 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 the quadratic map exists equivarianty (and is “bi-pointed”) but the only equivarian linear map is zero.
finally added pointer to
Assume we have such an equivariant map (we should write for the group, since it’s the roots of unity in ). I’m wondering what would be the induced linear map between the representations on the tangent spaces at and . I can’t see how those representations are anything other than and . 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 -orbits only once (for odd) or twice (for -even). I was thinking what we would do if instead of we were looking at . Then any nontrivial -orbit in 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 -equivariant map . Do you feel this can be proven, or that it is false?
Assume we have such an equivariant map (we should write for the group, since it’s the roots of unity in ). I’m wondering what would be the induced linear map between the representations on the tangent spaces at and . I can’t see how those representations are anything other than and .
Right, the tangent -representation of the -representation sphere at is . And so if and are distinct linear irreps, then by Schur the only linear -map is zero, which means that any bipointed differentiable -equivariant function must have vanishing differential at 0.
Which is just what we see in the examples we discussed, where is quadratic.
My almost-proof that there is no bipointed equivariant 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 in to its conjugation action on something, and that something can “obviously” only be an imaginary quaternion, and that leads to the map which does however not factor through . 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: ? It has trivial action on but acts on the equator of as the antipodal map and then extends to the obvious thing. Any -equivariant map would give one of these, so this is at least a potential obstruction to all the even cases.
Given the -equivariant map, we’d get a ordinary bipointed map . Obstruction theory might have something to say about this.
OK, so assuming (for the sake of contradition) there is some -equivariant map , then this map factors into bipointed maps
Up to homotopy there are only two maps : 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 would have to be nullhomotopic. I would think that 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 and consider it as a bipointed space. Pick a path in from to , hence a map . Then compose this with to get a bipointed map factoring through the quotient , hence a -equivariant map on the representation spheres .
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 does a -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 should act trivially on . This doesn’t sound right to me: The nontrivial element acts by rotation by in the -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 , to which it does not apply, like to so many other examples, due to its extremely strong assumptions…)
, no? Try conjugating by and see what happens ;-)
I did calculate a matrix representative of the action of , and it’s rotation by 4.
Sorry, my bad, you are right, of course. I was thinking about the down in , but you are of course using the correct up in , which covers downstairs.
And now it’s me who is off to bed. See you tomorrow!
But so we need to exclude that case of 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 for the case of the MK6) to the representation sphere of – and that’s the key point here - the orthogonal complement of the trivial rep inside .
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 to spheres without group action?
if we take the -action (the correct one that you used, given by multiplication of quaternions by ) and on the right then we get bipointed maps from each even-graded polynomial in the quaternion and its conjugate , I suppose. So for instance going .
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 (here) to say more about when , notably for that case , that we discussed above.
So there we had one element
and that was, admittedly, the only non-zero element I could see at all. But composition of representatives gives an action
of on , and from looking at the underlying (non-equivariant) classes we know at least that any with acts freely on this way, which generally gives lots of new elements in .
Now it would be nice if this kind of argument could be used to not just explore parts of , but to fully exhaust and describe it. Hm…
I finally dawns on me that tom Dieck’s construction of the isomorphism
(between the stable equivariant cohomotopy of the point and the Burnside ring) reduces for finite groups to the following beautiful statement:
The H-marks of a virtual permutation on the right is the degree at -fixed points of the corresponding representative on the left:
with
for all . This relation fully determines , since by the equivariant Hopf degree theorem the classes of maps are uniquely fixed by their -degrees, as -ranges, and since virtual -sets are uniquely fixed by their -Burnside marks, as varies.
For , what are the classes of the equivariant maps
given as the smash product of
with
?
Forgetting the equivariance, these classes are 0 or 1 in , depending on whether is even or odd, respectively.
Now not forgetting the equivariance, is the worth of windings on the factor retained?
1 to 31 of 31