Skip to main content
deleted 550 characters in body; edited title
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15

Maximal symmetries of complete metrics on manifolds

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

Let $M$ be a connected and second-countable manifold, and $d,d'$ be $2$ complete compatible metrics on it, both inducing the manifold topology. The isometry group of $(M,d)$, denoted as $\mathrm{Iso}(d)$, is considered as a topological subgroup of $\mathrm{Aut}(M)$ underequipped with the compact-open topology.

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ containsthere is a topological subgroup isomorphic togroup embedding $\mathrm{Iso}(d')$ and the corresponding elements under$\sigma : \mathrm{Iso}(d') \rightarrow \mathrm{Iso}(d)$ such that isomorphism are homotopic maps from $M$ to itself. In other words$\forall g \in \mathrm{Iso}(d')$, $\mathrm{Iso}(d')$$g$ is isotopichomotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space$\sigma(g)$ as self maps of $\mathrm{Aut}(M)$$M$.

If $\mathrm{Iso}(d)$ is also a homotopic subgroup of $\mathrm{Iso}(d')$, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the $\mathrm{Iso}(d)$ is never a strict homotopic subgroup of $\mathrm{Iso}(d')$ for any $d'$, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaceshomogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (emaximal symmetry may not be unique, e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable)incomparable. Edit: This is answered negatively by Robert Bryant.

Q$2$: Can maximal symmetries on smoothcompact smoothable manifolds always be realized by smooth structuressmoothly (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

Maximal symmetries

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself. In other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$.

If $\mathrm{Iso}(d)$ is also a homotopic subgroup of $\mathrm{Iso}(d')$, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the $\mathrm{Iso}(d)$ is never a strict homotopic subgroup of $\mathrm{Iso}(d')$ for any $d'$, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

Maximal symmetries of complete metrics on manifolds

Let $M$ be a connected and second-countable manifold, and $d,d'$ be $2$ complete compatible metrics on it. The isometry group of $(M,d)$, denoted as $\mathrm{Iso}(d)$, is equipped with the compact-open topology.

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if there is a topological group embedding $\sigma : \mathrm{Iso}(d') \rightarrow \mathrm{Iso}(d)$ such that $\forall g \in \mathrm{Iso}(d')$, $g$ is homotopic to $\sigma(g)$ as self maps of $M$.

If $\mathrm{Iso}(d)$ is also a homotopic subgroup of $\mathrm{Iso}(d')$, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If $\mathrm{Iso}(d)$ is never a strict homotopic subgroup of $\mathrm{Iso}(d')$ for any $d'$, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However maximal symmetry may not be unique, e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incomparable. Edit: This is answered negatively by Robert Bryant.

Q$2$: Can maximal symmetries on compact smoothable manifolds always be realized smoothly (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)?

added 71 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself -- in. In other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$. 

If the converse proposition$\mathrm{Iso}(d)$ is also holdsa homotopic subgroup of $\mathrm{Iso}(d')$, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the converse proposition$\mathrm{Iso}(d)$ is never holds in thea strict sensehomotopic subgroup of $\mathrm{Iso}(d')$ for any $d'$, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself -- in other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$. If the converse proposition also holds, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the converse proposition never holds in the strict sense, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself. In other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$. 

If $\mathrm{Iso}(d)$ is also a homotopic subgroup of $\mathrm{Iso}(d')$, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the $\mathrm{Iso}(d)$ is never a strict homotopic subgroup of $\mathrm{Iso}(d')$ for any $d'$, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

added 106 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself -- in other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$. If the converse proposition also holds, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the converse proposition never holds in the strict sense, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic -- in other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in $\mathrm{Aut}(M)$. If the converse also holds, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the converse never holds in the strict sense, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

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

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

We say that $\mathrm{Iso}(d')$ is a homotopic subgroup of $\mathrm{Iso}(d)$, if $\mathrm{Iso}(d)$ contains a topological subgroup isomorphic to $\mathrm{Iso}(d')$ and the corresponding elements under that isomorphism are homotopic maps from $M$ to itself -- in other words, $\mathrm{Iso}(d')$ is isotopic to a subgroup of $\mathrm{Iso}(d)$ in the topological space $\mathrm{Aut}(M)$. If the converse proposition also holds, then we say that $(M,d)$ and $(M,d')$ achieve the same symmetry. If the converse proposition never holds in the strict sense, then we say that $(M,d)$ achieves a maximal symmetry.

Q$1$: Do homogeneous spaces, equipped with an arbitrary invariant smooth metric, always achieve maximal symmetries? I'm particularly interested in the constant-curvature case. A previous post says that the homogeneous flat metric on $\Bbb{R}^n$ achieves the unique maximal symmetry among normable metrics. However it seems much more complicated when considering non-normable cases (e.g. $\Bbb{R}^n$ is diffeomorphic to $\Bbb{H}^n$ but their symmetries are incommensurable).

Q$2$: Can maximal symmetries on smooth manifolds always be realized by smooth structures (i.e. if $(M,d)$ achieves a maximal symmetry, then there exists a Riemann structure $(M,g)$ achieving the same symmetry)? I'm particularly interested in the simple-at-infinity cases (i.e. $M$ is homeomorphic to the interior of a compact manifold).

added 36 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 27 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 25 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 25 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 1 character in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 1 character in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 1 character in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 2 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 2 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 7 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 308 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 7 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
edited tags
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
edited tags
Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 3 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 9 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 9 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 9 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 36 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
added 408 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 51 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading
deleted 51 characters in body
Source Link
Zerox
  • 1.5k
  • 1
  • 5
  • 15
Loading