9
$\begingroup$

What is the normalizer of $SO(2)$ in $\mathrm{Diff}(S^2)$?

Remarks:

  1. We let $SO(2)$ act on $S^2$ via the rotation about the $z$-axis. It is immediate that each element of the normalizer must map any parallel (i.e. a fiber of the projection of $S^2$ onto the $z$-axis) to a parallel.

  2. Of course, the normalizer contains $O(2)$, as well as the following elements that ``push along the meridians''. Let $(\phi, r)\in [0,2\pi]\times [0, \pi]$ be coordinates on $S^2$ with parallels given by $r=\mathrm{const}$. Define a self-map of $S^2$ by $H(\phi, r)=(\phi, r+h(r))$ where $h$ is some smooth function subject to the boundary conditions ensuring that $H$ is a diffeomorphism (e.g. $h$ vanishes near $0$ or $\pi$). Then $H$ commutes with the $SO(2)$-action, that is given by translation in $\phi$.

$\endgroup$
2
  • 2
    $\begingroup$ $Aut(SO(2))=\mathbb{Z}/2$ (here, I'm taking Aut of the topological group structure), so an index 2 subgroup of the normalizer is the centralizer. The centralizer has Lie algebra given by vector fields on $S^2$ commuting with a non-zero vector field which is an infinitesimal rotation, and in local coordinates may be written as $\partial/\partial \phi$. So the Lie algebra is vector fields of the form $f(r)\partial/\partial \phi + g(r)\partial/\partial r$ (i.e., they are independent of $\phi$). $\endgroup$
    – Ian Agol
    Aug 15, 2011 at 23:44
  • $\begingroup$ @Agol: thank you, this clears things up somewhat. $\endgroup$ Aug 16, 2011 at 1:43

1 Answer 1

2
$\begingroup$

Let's call your coordinates $\phi$ and $\theta$, as is more usual. Thus $(x,y,z)=(sin \phi\ cos\theta, sin\phi\ sin\theta, cos\phi)$.

Yes, in the centralizer of $SO(2)$ there is the group that leaves $\theta$ unchanged, $(\phi, \theta)\mapsto (f(\phi ),\theta)$ where $f$ is a diffeomorphism from $[0,\pi]$ to itself that is nice enough at the endpoints. Also there is the group that leaves $\phi$ unchanged, $(\phi, \theta)\mapsto (\phi ,\theta +g(\phi))$ where $g$ is a smooth map from $[0,\pi]$ to $\mathbb R/2\pi \mathbb Z$. The centralizer is the semidirect product of these, and the normalizer is bigger by a factor of two.

EDIT Let's consider the related and slightly easier problem of maps $F$ from the plane to itself that commute with all of $SO(2)$, in other words maps $F:\mathbb C\to \mathbb C$ such that $F(re^{i\theta} )=F(r)e^{i\theta}$. Such a function is determined by its restriction to $\mathbb R$. That restriction must be odd, $F(-x)=-F(x)$, by considering $\theta=\pi$. Thus if $F$ is smooth then the restriction can be written as $x\mapsto xG(x^2)$ for a smooth $G:[0,+\infty)\to\mathbb C$. Conversely, given any such smooth $G$ we can write $F(z)=zG(|z|^2)$ and get a smooth map $\mathbb C\to \mathbb C$, the unique such map commuting with rotations and having $x\mapsto xG(x^2)$ as its restriction to $\mathbb R$.

If $F$ is a diffeomorphism then $G(0)$ is different from $0$ and also $G(u)$ is different from $0$ when $u>0$. Thus $G$ can be written $G(u)=a(u)e^{ib(u)}$ where $a>0$ and $b$ are smooth real functions of $u\ge 0$. The only further constraint on $a$ or $b$ is that $x\mapsto xa(x^2)$ must be a diffeomorphism from the positive reals to itself.

$\endgroup$
5
  • $\begingroup$ Fix an element of the normalizer and see what it does to the set of parallels, which in your notations defines a map $(\phi,\theta)\to (f(\phi), \theta))$. I think, you say that this $f$ must be a self-diffeomorphism of $[0,\pi]$. Why? It is clear that $f$ is a homeomorphism, but have no idea why it is smooth; a propri a non-smooth homeomorphism $f$ could be "covered" by a self-diffeomorphism of $S^2$. $\endgroup$ Aug 15, 2011 at 21:32
  • $\begingroup$ Also consider a self-diffeomorphism of $S^2$ that preserves every parallel as a set. Then it is given by $(\phi, theta)\to (\phi, h(\theta,\phi))$ for some function $h$. You say that $h$ is $\theta+g(\phi)$. Why? $\endgroup$ Aug 15, 2011 at 21:42
  • $\begingroup$ Igor, as to your second comment, I am only asserting that $h$ has this form if the diffeomorphism commutes with every element of $SO(2)$. $\endgroup$ Aug 16, 2011 at 0:33
  • $\begingroup$ And as to your second, I just said "nice enough at the endpoints", but I did not discuss what condition this really is on $f$. $\endgroup$ Aug 16, 2011 at 1:12
  • $\begingroup$ @Tom: thank you, I am beginning to understand what you said about $h$ even though I still cannot make your sketch into a proof. As for $f$, the difficulty is not limited to the endpoints, as far as I can see. $\endgroup$ Aug 16, 2011 at 1:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.