The isometries tag has no usage guidance.

**4**

votes

**1**answer

64 views

### How isometric action on Riemannian manifold acts on cut locus

Assume that $M$ is a simply connected closed Riemannian manifold with no boundary and nonnegative sectional curvaure Assume that ${\bf Z}_n=(g),\ n\geq 3$ acts on $M$ isometrically. Then if $gx=x$, ...

**2**

votes

**1**answer

128 views

### isometric action on the $n$-sphere

Let $S^n$ be the $n$-sphere. If $n=2k+1$ is odd, then we can identify $S^n$ as a subset of $\mathbb{C}^{k+1}$. We define the $S^1$ action on $S^n$ by multiplication, namely
$$ \Psi \colon S^1 \times ...

**1**

vote

**0**answers

48 views

### Finding the infimum using a piecewise isometry

Given a finite set of unit circles in the plane such that the area of their union $U$ is $S$, what is the largest possible bound $kS$ for some constant $k$ such that there exists a subset of ...

**9**

votes

**3**answers

382 views

### Isometry group of a compact hyperbolic surface

Consider a compact surface $M$ of genus $g \geq 2$ with a metric of constant negative curvature. My question is, is it known under what sorts of sufficient conditions such a metric will have ...

**2**

votes

**1**answer

202 views

### Are the Sasaki metrics on tangent and cotangent bundle isomorphic?

Let $(M,g)$ be a Riemannian manifold. Then there is the well-known
Sasaki metric that makes $(TM,\hat{g})$ a Riemannian manifold. In a
similar way, one can construct a Sasaki metric $\bar{g}$ on the
...

**0**

votes

**0**answers

59 views

### Commutator subgroup of rotational symmetries of the hypercube

I would like to know which is the commutator subgroup of the group of rotational isometries of the $n$-dimensional cube. The group i am talking about is the subgroup of $\{ \pm 1 \} \wr S_n$ ...

**4**

votes

**2**answers

225 views

### Products of elliptic isometries

A well-known property on groups acting on trees is:
Theorem: Let $T$ be a tree and $g,h \in \mathrm{Isom}(T)$ two elliptic isometries. If $\mathrm{Fix}(g) \cap \mathrm{Fix}(h) = \emptyset$ then ...

**6**

votes

**1**answer

208 views

### Under what conditions a linear automorphism is an isometry of some norm?

Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and $T: V \to V$ is a (linear) isomorphism.
When is it possible to construct a norm on $V$
making $T$ an isometry?
...

**11**

votes

**3**answers

1k views

### Is there a global obstruction for a diffeomorphism to be an isometry?

Let $V$ be a finite dimensional vector space.
Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry.
We know ...

**2**

votes

**1**answer

113 views

### Discrete subgroup of centralizer of transvections in isometries acts properly discontinuously

My question will rely on a clarification of a proof, which I simply don't understand.
Let us denote by $X$ a pseudo-riemannian symmetric space and define
$$
Z_{\mathrm{Iso}\left(X\right)}G(X) = \{\, ...

**11**

votes

**1**answer

328 views

### Isometries of some simple Cayley graphs

Consider a Cayley graph of a group $G$ with respect to a symmetric finite generating set $S$.
There are some obvious candidates to isometries of this graph - for example, translation by elements of ...

**1**

vote

**1**answer

122 views

### Obstruction to the existence of global isometries on a constant-curvature Riemannian manifold

Let $M$ be an $m$-dimensional simply connected Riemannian manifold that is not geodesically complete. Suppose $M$ has constant sectional curvature.
Because the curvature is constant, locally $M$ ...

**21**

votes

**6**answers

939 views

### Under what conditions $\|x-y\|=n\iff\|f(x)-f(y)\|=n.$ for $n\in\mathbf{N}$ implies isometry?

Let $X, Y$ be normed space and $f:X\to Y$ be a mapping. Assume that for all $n\in\mathbf{N}$, $$\|x-y\|=n\iff\|f(x)-f(y)\|=n.$$
Under what conditions this map will be an isometry?
Thanks

**4**

votes

**0**answers

140 views

### Isometries of Compact Semisimple Lie Groups

In this delightful question, the poster mentioned that the isometry group of a compact Lie group $G$, equipped with the metric from the Killing form, is $G\times G/Z(G)$, where $Z(G)$ is the center of ...

**0**

votes

**0**answers

69 views

### Symmetries higher dimensional cube fixing subcubes

Which is the group of rotational isometries of an $n$ dimensional hypercube fixing an $m$ dimensional element (an $m$ dimensional subcube)? I know for example that it is $A_n$ for $m=0$ (symmetries ...

**8**

votes

**1**answer

293 views

### Gromov-Hausdorff convergence for non-compact metric spaces

Let $(X_i,p_i)$, $(X,p)$ be pointed connected proper metric spaces (i.e. the closures of balls are compact). Are the following two statements equivalent?
$\forall r > 0: \bar{B}_r(p_i) ...

**13**

votes

**1**answer

344 views

### If all balls around two points are isometric… — manifold version

This question is a natural follow-up of this other question, asked earlier today by wspin.
Let's say that a metric space $(X,d)$ has two poles if:
there are two distinct points $x$, $y$ such that ...

**19**

votes

**2**answers

630 views

### If all balls at $x$ and $y$ are isometric is there an isometry sending $x$ to $y$?

Let $(X,d)$ be a metric space and $x,y \in X$. Assume that for all $r > 0$ the balls $B_r(x)$ and $B_r(y)$ are isometric.
Is it true that there exists an isometry of $X$ sending $x$ to $y$?

**9**

votes

**2**answers

184 views

### When is a continous $\epsilon$-isometry of the sphere surjective?

Equip $\mathbb S^n$ with the standard round metric. Let $f : \mathbb S^n \to \mathbb S^n$ be a continous map satisfying $\vert d(f(x),f(y)) - d(x,y)\vert \leq \epsilon$.
Is $f$ is surjective for all ...

**5**

votes

**1**answer

445 views

### The surjectivity of the exponential map for the isometry group

Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective.
Let $M$ be a noncompact connected Riemann manifold, and ...

**2**

votes

**2**answers

584 views

### Isometric embeddings of metric spaces in Hilbert spaces

There are plenty of isometric embeddings of metric spaces in Banach spaces. Nevertheless, I have been unable to find any significant result on isometric embeddings into Hilbert spaces. My question is: ...

**6**

votes

**0**answers

263 views

### About Palais' remark that an isometry of Riemannian manifolds does not induce an isometry of the Hilbert manifolds of curves

In the paper ``Morse theory on Hilbert manifolds'' (1963), on page
326, Richard Palais makes a remark that if $\phi\colon V \to W$ is an
isometry (of submanifolds of $\mathbb{R}^n$), then this does ...

**4**

votes

**1**answer

621 views

### Isometry group of pseudo Riemannian manifold always a Lie group? (Myers-Steenrod)

Myers-Steenrod states that the isometry group of a Riemannian manifold is a Lie group. Is that also true for pseudo Riemannian manifolds? I didn't find anything related to that.
Cheers

**1**

vote

**1**answer

136 views

### Embedding of Two Objects Into Higher Dimensions With Their Sum

Given two vector sets, $\vec x_i$ and $\vec y_i$ (for $i$=1,2,...N, but the dimensionality of each vector can be more than N), let their sum set be $\vec z_i = \vec x_i + \vec y_i$. It's easy to ...

**17**

votes

**2**answers

464 views

### Repeated random two-steps in $\mathbb{R}^3$: unbounded?

I created a random isometry $T$ of $\mathbb{R}^3$ by generating
a random orthogonal matrix $M$,
uniformly distributed among all such,
and a random displacement $v$, whose coordinates
are drawn from a ...

**0**

votes

**1**answer

148 views

### Riemann isometry vs Euclidean bi-Lipschitz mapping

Assume that $\gamma$ is a rectifiable Jordan curve in the complex plane of length $2\pi$. Then there exists a Riemann isometry $f$ between $\gamma$ and the unit circle $T$. My question is, does this ...

**0**

votes

**0**answers

428 views

### Surface locally isometric to a sphere.

If for any two points p,q in a regular, compact surface $S\subseteq R^3$, there exists an isometry $f:S\rightarrow S$ s.t. f(p)=q. How to prove that $S$ is locally isometric to the sphere?

**6**

votes

**0**answers

153 views

### Can a closed disc in the plane be partitioned into three disjoint sets which are pair-wise isometric?

Any progress on the following: Can a closed disc in the plane be partitioned into three disjoint sets which are pair-wise isometric, i.e. each set is an image of the others under an isometry?

**8**

votes

**4**answers

420 views

### Which metric spaces have this superposition property?

Let $A \subset X$ and $B \subset X$ be two isometric subsets of a metric space $X$. So there is an isometry $f: A \to B$.
Say that a metric space $X$ has the superposition property (my terminology) ...

**5**

votes

**1**answer

320 views

### Open problems about CMC hypersurfaces with symmetries?

Recently, Andrews and Li announced a complete classification of CMC ($H=const.$) tori in $S^3$, confirming a conjecture of Pinkall and Sterling. Their main result is that any such torus is ...

**2**

votes

**1**answer

152 views

### Partial isometries making families of linearly independent vectors orthogonal

Suppose I have a family of $n$ linearly-independent elements $v_i$ of the Hilbert space $\mathbb{C}^m$, which are not necessarily orthogonal. Can I always find a partial isometry $f: \mathbb{C} ^m \to ...

**12**

votes

**1**answer

501 views

### Possible isometries of a positively curved $S^2\times S^2$

Just to put things in perspective, recall that the Hopf Conjecture asks whether $S^2\times S^2$ admits a metric of positive sectional curvature. By the work of Hsiang-Kleiner, it is known that, if ...

**1**

vote

**2**answers

365 views

### All the isometries of $\mathbb{C}^n$ into itself are made like these

This is again a request for references. I'd appreciate a pointer to any published proof of the following:
Proposition. Given $n \in \mathbb{N}^+$, let
$\Phi$ be a function $\mathbb{C}^n
> \to ...

**2**

votes

**1**answer

713 views

### Isometry groups of Riemannian submersions with totally geodesic fibers

Suppose $F\to M\stackrel{\pi}{\to} B$ is a Riemannian submersion with totally geodesic fibers, all manifolds compact. In general, unless $M=B\times F$ is a Riemannian product, the isometry groups of ...

**0**

votes

**0**answers

358 views

### Surjectively isometric normed spaces: Hamel vs (extended) Schauder dimension

Bonjour/bonsoir à toutes et à tous.
This may really be a very basic question, but... Let $\mathbf{X} \equiv (X, \|\cdot\|_X)$ and $\mathbf{Y} \equiv (Y, \|\cdot\|_Y)$ be surjectively isometric (1) ...

**3**

votes

**2**answers

440 views

### “Measuring” how far is one Banach space from being surjectively isometric to another

Bonjour/bonsoir à toutes et à tous.
Assume that $\mathbf{V} \equiv (V, \|\cdot\|_V)$ and $\mathbf{W} \equiv (W, \|\cdot\|_W)$ are Banach spaces (over the real or complex field).
Question 1. What ...

**7**

votes

**0**answers

529 views

### Homometric $\Rightarrow$ isometric?

Suppose you know that there is a mapping between
two Riemmanian manifolds $M_1$ and $M_2$ such that,
for each $x_1 \in M_1$, the (codimension-1) measure of the set of points
at distance $d$ from $x_1$ ...

**3**

votes

**1**answer

1k views

### When do 0-preserving isometries have to be linear?

Let $\langle \mathbf{V},+,\cdot,||.|| \rangle$ be a normed vector space over $\mathbb{R}$.
Let $f : \mathbf{V} \to \mathbf{V}$ be an isometry that satisfies $f(\mathbf{0}) = \mathbf{0}$ .
What ...

**6**

votes

**1**answer

542 views

### Must a surjective isometry on a dual space have a pre-adjoint?

Background: Let $X$ be a Banach space. We know a linear map $h$ is a surjective isometry of $X$ if and only if its adjoint $h^*$ is a surjective isometry of $X^*$.
In general, a linear map $g:X^* ...

**4**

votes

**2**answers

1k views

### Terminology: “cocompact”

Let $M$ be a Riemannian manifold such that its isometry group $G=\textrm{Iso}(M)$ is a Lie group, and let $\Gamma$ be a subgroup of $G$.
1) What does the phrase "$\Gamma$ is a cocompact group of ...