Skip to main content
19 of 28
deleted 1 character in body
Zerox
  • 1.5k
  • 1
  • 5
  • 15

Maximal symmetry

The aim of this question is to investigate how topological group actions on manifolds differs away from more rigid actions (like smooth ones).

Let $M$ be a connected, second-countable and boundless manifold of dimension $m$. Let $d$ and $d'$ be $2$ complete metrics on it, both inducing the manifold topology. The isometry group of $(M,d)$ is denoted as $\mathrm{Iso}(d)$, which is a subgroup of $\mathrm{Aut}(M)$.

$\mathrm{Iso}(d)$ is said to be homotopically embedded into/isomorphic to $\mathrm{Iso}(d')$ if there exists an embedding/isomorphism from $\mathrm{Iso}(d)$ to $\mathrm{Iso}(d')$ that sends each element to its homotopic equivalent.

$(M,d)$ is said to be simple at infinity if $M$ is homeomorphic to the interior of a compact manifold. It is said to achieve maximal symmetry if there exists no other complete metric $d'$ such that $\mathrm{Iso}(d)$ can be strictly homotopically embedded into $\mathrm{Iso}(d')$.

Q$1$: Do $\Bbb{S}^n$, $\Bbb{R}^n$ and $\Bbb{H}^n$ with their constantly curved metrics achieve maximal symmetries? According to the second answer of this question, flat metric of $\Bbb{R}^n$ achieves the unique maximal symmetry among norm metrics. However it seems much more complicated when it comes to non-normable metric cases (since $\Bbb{R}^n \cong \Bbb{H}^n$ but they have incommensurable symmetries).

Q$2$: If $M$ is smoothable, $(M,d)$ is simple at infinity and achieves maximal metric symmetry, is it true that there exists a Riemann structure $(M,g)$ achieving the same symmetry (i.e. $\mathrm{Iso}(g)$ is homotopically isomorphic to $\mathrm{Iso}(d)$)? What can we say about maximal symmetries when $M$ is not smoothable?

Zerox
  • 1.5k
  • 1
  • 5
  • 15