4
$\begingroup$

Why is the automorphism group of a sympelctic symmetric space a Lie group?

$\\$

A symplectic symmetric space is a triple $(M, \omega, s)$, where $(M, \omega)$ is a symplectic manifold and $ s \; \colon M \times M \to M $, $(x, y) \mapsto s_x(y)$, is such that $s_x$ is an involutive symplectic diffeomorphism with an isolated fixed point at $x$ and $s_xs_ys_x = s_{s_x(y)} \; \forall \; x, y \in M\; $ $\big($this can be read as $s_x s = ss_x \; \forall x \in M$$\big)$.

An interesting fact about a symplectic symmetric space is the one that once $x$ is an isolated fixed point of $s_x$ and $s_x^2 = Id$, $ds_{x (x)} = -Id_{T_xM}$. Furthermore, a symplectic symmetric space admits a unique affine connection $\nabla$ on it such that $s_x$ is an affinity for every $x \in M$ and such that $\nabla \omega = 0$. This connection has no torsion and is thus a symplectic connection.

The automorphism group $Aut(M, \omega, s)$ of $(M, \omega, s)$ is the group of symplectic automorphisms $\varphi$ of $(M, \omega)$ that satisfy $\varphi \circ s_x = s_{\varphi(x)} \circ \varphi \; \forall \; x \in M$ $\big($ or, in other words, $\varphi \circ s = s\circ \varphi$ $\big)$. It's simple to check that this group is the intersection of the symplectic automorphism group of $(M, \omega)$ and the affine group of $(M, \nabla)$.

My question then is: why is $Aut(M, \omega, s)$ a Lie group?

$\endgroup$
7
$\begingroup$

The affine group of $(M,\nabla)$ is a Lie group $G$ by Kobayashi's theorem that shows that the automorphism group of any affine connection is a Lie group (see Kobayashi and Nomizu's Foundations of Differential Geometry). The dimension of $G$ is at most $n+n^2$ (where $n=\dim M$).

The subgroup $H$ of $G$ consisting of those elements of $G$ that preserve the symplectic structure on $M$ is clearly a closed subgroup, and since every closed subgroup of a Lie group is a Lie group (see, for example, Helgason's proof in his Differential Geometry, Lie Groups, and Symmetric Spaces), it follows that $H$ is a Lie group as well.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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