17
$\begingroup$

Suppose that $G$ is a semi-simple Lie group that acts smoothly (i.e., $C^\infty$) on a smooth, finite dimensional manifold $M$. Does it follow that the action of $G$ is linearizable near any stationary point of the action? This was conjectured by Steve Smale and myself in 1965, and was proved for the case that $M$ and the action were analytic by Bob Herman and Guillemin and Sternberg in two papers from long ago:

Hermann, R.: The formal linearization of a semi-simple Lie algebra of vector fields about a singular point. Trans. Am. Math. Soc. 130, 105-109 (1968)

Guillemin, V., Sternberg, S.: Remarks on a paper of Hermann. Trans. Am. Math. Soc. 130,110-116 (1968)

I have not heard whether any progress has been made since then and I would be interested to hear from anyone who has heard of a proof or a counter-example. The reason is not just idle curiousity; this is the missing step in a proof that what I call The Principle of Symmetric Criticality is valid for smooth finite dimensional actions of a semi-simple group: see (particularly page 29 of) the paper downloadable here:

http://www.springerlink.com/content/wur75t1t65371812/

for more details on this principle and why it is important, particularly in mathematical physics.

$\endgroup$
4
  • 5
    $\begingroup$ I just want to mention that the analytical linearization was independently proved by A. G. Kushnirenko (and was published before the paper by Guillemin and Sternberg) in his paper "Linear-equivalent action of a semisimple Lie group in the neighborhood of a stationary point" (Functional Analysis and Its Applications 1967, Volume 1, Number 1, 89-90). (The translation to English is very bad as even I can see.) See springerlink.com/content/p03325375750vu6m Kushnirenko's paper was submitted 15 days later then the G&S's paper. $\endgroup$
    – Petya
    Commented Dec 3, 2010 at 21:39
  • $\begingroup$ Thanks, Petya, I wasn't aware of the Krushnirenko's paper. $\endgroup$ Commented Dec 3, 2010 at 21:58
  • $\begingroup$ The link to springerlink.com in the post is broken. I'm also unable to find any copy saved on the Wayback Machine. $\endgroup$ Commented Sep 17, 2022 at 4:09
  • $\begingroup$ The springerlink.com URL in a comment above also does not work, but the article can be found at doi:10.1007/BF01075871 (Zbl 0156.42205). $\endgroup$ Commented Sep 17, 2022 at 4:11

1 Answer 1

16
$\begingroup$

There are smooth counter-examples by Cairns and Ghys [Ens. Math. 43, 1997], for instance a smooth non-linearizable action of $SL(2,\mathbb{R})$ on $\mathbb{R}^3$ (fixing the origin) or of $SL(3,\mathbb{R})$ on $\mathbb{R}^8$. By contrast, they show that any $C^k$ action of $SL(n,\mathbb{R})$ on $\mathbb{R}^n$ (same $n$, fixing the origin) is $C^k$-linearizable. Here is a link to their paper.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .