Let $G$ be a Lie group. I am trying to convinve myself there are 'many' Riemannian metrics on $G$ for which the inverse automorphism is an isometry.

Denote the iverse by $i$. For any metric $g$ on $G$, $g + i^*g$ is $i$-invariant.

Intuitively, it is evident from this that the space of such metrics is "infinite dimensional" (since the space of all metrics is inf' dim').

However, a priori it's possible that many different metrics $g_k$ will give rise to identical inverse-invariant metrics (up two scalar multiplication) $g_k + i^*g_k$.

How can I be sure there is no substantial degeneracy here?

(I thought something like looking at perturbations of the metric to achieve different curvatures will do, but the Levi-Civita connection does not behave well under sums of metrics, there are nonlinear parts like inversing the $g_{ij}$ matrix...)

  • $\begingroup$ Pick a large region $U$ of $G$ disjoint from $iU$ such that you can specify the metric arbitrarily on $U$. (I think it suffices for the closure of $U$ to be disjoint from the closure of $iU$.) $\endgroup$ – Qiaochu Yuan Jan 22 '16 at 16:21
  • $\begingroup$ I think I managed to complete the details of your suggestion. I guess you meant for something like this? (Or is there an easier way to see this?) $\endgroup$ – Asaf Shachar Jan 23 '16 at 13:03

$\newcommand{\ep}{\epsilon}$ $\newcommand{\til}{\tilde}$ $\newcommand{\g}{\mathfrak{g}}$

I am filling details in Qiaochu's suggestion.

First, we prove there exist a neighbourhood $U \subseteq G$ such that $U \cap i(U) =\emptyset$: (Is there an easier way?)

Denote by $\g$ the Lie algebra of $G$. ($\g=T_eG$).

$\exp$ is a local diffeomorphism in a neighbourhood of $0 \in \g$. Let $V \subseteq \g$ be an open neighbourhood where $\exp:V \to \exp(V)$ is a diffeomorphism.

Take some inner product $\langle,\rangle$ on $\mathfrak{g}=T_eG$. Assume $\ep$ is small enough such that $B_{2\ep}(0) \subseteq V$. Let $v \in \g, |v|=\ep$ be some arbitrary vector in the $\ep$-sphere of $\g$. Define $U=\exp(B_\frac{\ep}{2}(v))$. ($U$ is open since $B_\frac{\ep}{2}(v) \subseteq B_{2\ep}(0)$).

Let's prove $U \cap i(U)= \emptyset$. Assume $x \in U \cap i(U)$. Then there exist $u, \til u \in B_\frac{\ep}{2}(v)$ such that: $$x=\exp(u),x^{-1}=\exp(\til u) $$, but then $\exp(-u)=\exp(\til u) , \, u,\til u \in B_{2\ep}(0)$ so ($\exp$ is injective there) this forces $-u = \til u$.

Note that: $||u|-\ep|=||u|-|v|| \le |u-v|<\frac{\ep}{2} \Rightarrow |u| > \frac{\ep}{2}$.

This leads to a contradiction:

$$ \ep<2|u|=d(u,-u)=d(u,\til u)\le d(u,v)+d(v,\til u) < \frac{\ep}{2} + \frac{\ep}{2} =\ep$$

(*I think taking $B_\ep(v)$ should be enough (the $\ep/2$ is not necessary, but somehow it was needed...)

Second, we say something about the freedom of building (inverse-invariant) metrics:

Now we can specify a metric how we want to on $U$. We can complete $\{U,i(U)\}$ to an open cover whose intersection with $U,i(U)$ is "small", so on some open subset of $U$ we can select the metric to be as we like. Then, using a partition of unity argument we can build inverse-invariant metrics (on whole $G$) which can be arbitrary on some open subset of $U$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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