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.
I am trying to nail down the following statement, which should be completeley standard, but right now I am not sure about some details:
For a compact Lie group acting smoothly and properly on a smooth manifold, there should be a -representation associated with each point in the fixed locus, obtained from a choice of linear structure on G-invariant tubular neighbourhoods.
This should follow for instance with Wasserman 69, Lemma 3.5. Maybe its made explicit in Bredon 72? In Kankaanrinta 07, p. 7 the statement seems to be taken for granted in the absence of boundaries, and the author seems to be concerned with establishing it also for boundaries, but the wording remains a little inconclusive.
Next, these should be independent of the choices made. Now as varies, do these representations arrange into a smooth -vector bundle over ? Or what’s good sufficient conditions that they do?
The -representation exists for instance by the local linearisation for proper Lie groupoids. Corollary 3.10 of https://arxiv.org/abs/1101.0180 might also be useful. is the smallest-dimensional stratum in the orbit-type stratification. will have underlying vector space , the normal bundle to each orbit=a point, so should be the bundle you want.
Thanks! Okay, from the discussion on top of p. 5 in Crainic-Struchiner the essential uniqueness of the linear rep at a fixed point is pretty immediate.
It is clear that as vector spaces these glue to the normal bundle. But do we need an argument that the fiberwise -action on that glues to a global -action? Seems pretty clear, but maybe needs an argument.
Ah, no, of course that’s obvious, from their equation (1).
Okay, so we have canonical fiberwise linear -action on the normal bundle .
[ edit: made that a Prop here ]
Next I’d want a -equivariant diffeomorphism from this onto a -invariant tubular neighbourhood of .
That maybe follows by using theorem 4.1 from arXiv:1101.0180 at all points in with one and the same metric on ?
I think so, you can get a tubular neighbourhood of the zero section of the normal bundle, and with the adapted metric (ie -invariant) should be able to use the exponential map to get the tubular nhd. Since the Lie group is compact I don’t think the more general setting, where -invariant tubular nhds only exist locally, is a worry.
found the required statement in Bredon, added a few more references (thanks to kind help from Markus Pflaum!) and then accordingly expanded the text here, and rearranged slightly.
Finally, I copied these statements over also to tubular neighbourhood into a new subsection Properties – Equivariant version
Another thought, maybe give me a sanity check:
I suppose the orthogonal G-representations which are the fibers of the normal bundle on never contain a direct summand of a trivial rep. Right? For if they did, that trivial rep summand would identify with a non-empty fixed locus in the tubular neighbourhood around and away from , contradicting the definition of .
That in turn should imply, by Schur’s lemma, that any equivariant map from to some representation sphere , when linearised around , should locally split as the Cartesian product of a map and a linear map .
Hm, might we have such a splitting even beyond the linear approximation?
added ISBN to
added pointer to:
Added missing cross-link with Introduction to compact transformation groups
added missing cross-link with equivariant triangulation and equivariant triangulation theorem
1 to 14 of 14