# Questions tagged [isometries]

The isometries tag has no usage guidance.

87
questions

-1
votes

1
answer

98
views

### Isometry between Minkowski space and Tangent space in an article by Stefan Waldmann [closed]

In the notes Geometric Wave Equations by Stefan Waldmann at page 70 they have
Having a fixed Lorentz metric $g$ on a spacetime manifold $M$ we can
now transfer the notions of special relativity, ...

5
votes

2
answers

186
views

### Fixed points on spherical buildings

A crucial aspect of the Bruhat–Tits theory of affine buildings is the Bruhat–Tits fixed-point theorem, which, in one of many formulations, states that, if $\Gamma$ is a group of isometries of an ...

8
votes

3
answers

371
views

### Palais's and Kobayashi's theorems on automorphism groups of geometric structures

My question concerns two results in the neighborhood of the standard theorem of Myers-Steenrod that isometry groups of Riemannian manifolds are Lie groups. Both appear in the first chapter of ...

2
votes

0
answers

112
views

### Does a lifted functor on $\mathbf{1Met}$ preserve isometries?

Let $\mathbf{1Met}$ denote the category of metric spaces with distance bounded by $1$ and nonexpansive maps ($1$-Lipschitz functions). I call isometry a distance-preserving map (some people require it ...

11
votes

1
answer

270
views

### What is an example of two Banach spaces $X,Y$ such that $X$ embeds isometrically but not linearly into $Y$?

By a result of Godefroy and Kalton if $X,Y$ are separable Banach spaces and $X$ embeds isometrically into $Y$, then $X$ embeds with a linear isometry into $Y$.
Is this result known to fail for ...

1
vote

1
answer

249
views

### Stochastic Integral + conditional expectation

Let $\overline{\widehat{Z}_i} = \frac{E_i\left[ \int_{t_i}^{t_{i+1}}\widehat{Z}_sds\right] }{\Delta t_i}$ with $\widehat{Z}$ a square integrable process, $\Delta t_i := t_{i+1} - t_i$, and $E_i$ ...

1
vote

0
answers

52
views

### Ideal Ford domain (for finite index subgroup)

Let $G$ be a lattice Fuchsian group with parabolic elements, seen as a discrete subgroup of matrices
$
g=
\begin{pmatrix}
\alpha & \overline{\beta} \\
\beta & \overline{\alpha}
\end{pmatrix}
$...

1
vote

0
answers

143
views

### Does there exist an isometry between a regular polygon and a circle?

In order to define the question in a meaningful fashion, I am referring to a smooth manifold $\mathcal{M}$ within an $\epsilon$-neighborhood of a regular polygon $\mathcal{P}$ satisfying $$\max\{\|x-p\...

4
votes

0
answers

58
views

### Isometries of fiber bundles

Let $F\to S\overset{\pi}{\to} B$ a Riemannian submersion with totally geodesic fibers.
Question: How much information about the isometries of $S$ we have if we know the isometries of $F$ and $B$? For ...

8
votes

3
answers

462
views

### Realizing mapping classes as isometries?

Let $\phi : M \to M$ be a diffeomorphism. Is there a metric $g$ on $M$ and a diffeomorphism $\psi$ isotopic to $\phi$ so that $\psi$ is an isometry with respect to $g$? I'm guessing the answer is no,...

2
votes

0
answers

69
views

### Every partial isometry extends

I am interested in metric spaces $X$ where every isometry between two subsets of the space extends to a full isometry $X \to X$. Is there a name for this kind of space? Is there some paper which ...

5
votes

2
answers

274
views

### Doubly-stochastic partial-isometric matrices

An $n\times n$ matrix $A$ with nonegative real entries $a_{ij}$ is said to be doubly stochastic if $\sum_{i=1}^na_{ij} = 1$,
for all $j$, and $\sum_{j=1}^na_{ij}=1$, for all $i$.
Much is known [1] ...

6
votes

0
answers

227
views

### Can a knotted sphere isometrically embed into $\mathbb R^3$?

All smooth simple closed curves in $\mathbb R^3$ (knotted or not) can be isometrically embedded into $\mathbb R^2$ as a circle of equal arclength.
The situation for knotted spheres seems more ...

2
votes

1
answer

205
views

### 3D similarities and quaternions?

As is well-known, in dimension 2, a linear map $f : \mathbb{R}^2 \rightarrow \mathbb{R}^2$ is a direct similarity if, once we identify $\mathbb{R}^2$ with $\mathbb{C}$, $f$ is of the form
$$\forall z \...

1
vote

1
answer

75
views

### Uniqueness of function with range $\mathbb{S}^2$ under a constraint

Assume $g,f\colon A\subset\mathbb{R}^M\rightarrow\mathbb{S}^2$ are two bijective functions defined on the set $A$. Now assume a constraint $C$: $\forall x,y\in A, \exists R\in SO(3)\colon Rf(x)=f(y)\...

-1
votes

1
answer

98
views

### Isometric stratification preserves volume?

Let $K\subset \mathbb{R}^k$ be a non-empty compact subset let $f:K \to K$ be Lipschitz and surjective. If, moreover, $f$ is an isometry then clearly $f$ preserves the Lebesgue measure of $K$.
I ...

2
votes

1
answer

370
views

### Separable Banach spaces isometric to quotient of a Banach space

We know that every separable Banach space is isometrically isomorphic to a quotient space of $(\ell^1,\|.\|_1)$. We also know that the norm defined by $\|x\|=(\|x\|_1^2+\|x\|_2^2)^{1/2}$ for all $x\in ...

2
votes

1
answer

84
views

### Characterization of extrinsic distance prevserving embedding (see the definition given!) from low dimensional Euclidean spaces to high dimensions

P.S. I asked the question on MSE more than a week ago, but didn't get any desired answer, so asking here.
Let $m < n \in \mathbb{N}$. Let us equip $\mathbb{R}^m, \mathbb{R}^n $ with their ...

1
vote

1
answer

85
views

### How does this orthogonality follow from the map being an isometry?

This is a step of a proof in the book Variational Problems in Geometry by Seiki Nishikawa. I will ignore the background and change some of the statements and notations for simplicity.
Let $(M,g)$ ...

-2
votes

1
answer

302
views

### Local isometry implies covering map: nonempty boundary case [closed]

The following theorem is well known in the literature:
Let $M$ and $N$ be riemannian manifolds and let $f : M \to N$ be a local isometry. If $M$ is complete and $N$ is connected, then $f$ is a ...

14
votes

1
answer

688
views

### What are the applications of the Mazur-Ulam Theorem?

Every bijective isometry between normed spaces is affine. This well-known and beautiful statement, the Mazur-Ulam Theorem, was proved in 1932, but the proof has been simplified and polished in years, ...

2
votes

0
answers

122
views

### Spacetime symmetries

We know some nice space-time have a lot of symmetries. It is said that
Minkowski spacetime has
$$ISO(d-1,1)/SO(d-1,1),$$
de Sitter spacetime has
$$SO(d,1)/SO(d-1,1)$$ and
anti-de Sitter spacetime ...

4
votes

0
answers

70
views

### Proximal isometries in CAT($-1$) metric space

Let $X$ be a rank $1$ symmetric space of non-compact type and $G$ its isometry group. $G$ is a semisimple linear algebraic Lie group of non-compact type with trivial center. Let $\rho$ be a ...

3
votes

1
answer

254
views

### Pogorelov's rigidity theorem vs Cohn-Vossen rigidity theorem

There is the following rigidity theorem of Cohn-Vossen as stated on p. 86 of these lecture notes: http://www.math.brown.edu/~deigen/chern.pdf
Any isometry between two closed smooth convex surfaces (...

5
votes

1
answer

151
views

### Cohn-Vossen rigidity theorem in hyperbolic space

There is the following rigidity theorem of Cohn-Vossen as stated on p. 86 of these lecture notes: http://www.math.brown.edu/~deigen/chern.pdf
Any isometry between two closed smooth convex surfaces in ...

14
votes

1
answer

974
views

### Uniform distribution of points on Riemannian manifolds

Recently, I came across a beautiful paper by Arnol'd and Krylov (Uniform distribution of points on a sphere...) that contains the following theorem:
Theorem: Let A and B be two rotations of the ...

1
vote

0
answers

61
views

### Mapping to distorted constant Gauss curvature surfaces of revolution

There are three questions here. We imagine a flexible membrane that is scrolled out so as to straighten it.
1) How can we find a surface isometrically mapped from a surface of constant negative Gauss ...

2
votes

0
answers

158
views

### Minkowski isometries

Consider theorem 1.7 from chapter III of 'Elementary differential geometry' by O'Neill. It says that:
Theorem 1.7: If $\phi$ is an isometry of $E^3 $, then there exists a unique translation $T$ and a ...

2
votes

0
answers

166
views

### The isometry groups of flag manifolds

For any sequence of integers $0<n_1<...<n_k$, there is a flag manifold of type $(n_1, ..., n_k)$, which is the collection of ordered sets of vector subspaces of $R^{(n_k)}$ $(V_1, ..., V_k)$ ...

8
votes

2
answers

590
views

### If $E\oplus_\phi E \cong E\oplus_\psi E,$ does it imply that $\phi= \psi$?

Let $E\neq \{0\}$ be a Banach space.
For each $p\in[1,\infty), $ we define
$$E\oplus_p E = \{(x,y): x\in E, y\in E, \|(x,y)\| = \sqrt[p]{\|x\|^p + \|y\|^p}\}.$$
Let $F$ be another Banach space.
By $E\...

2
votes

0
answers

40
views

### On the minimum distance along an orbit

Let $\Gamma$ be a nontrivial group of isometries of $\mathbb{S}^n$, $n \geq 2$, acting properly discontinuously. For $p \in \mathbb{S}^n$, define
$$r(p) = \min_{g \in \Gamma \setminus\{e\} } d(p, g(p)...

5
votes

1
answer

767
views

### Laplace-Beltrami and the isometry group

H$\vphantom{a}$i. Consider the Laplacian on $\mathbb R^n$,
$$
\Delta=\partial_i^2
$$
It is easy to prove that the most general differential operator that commutes with rotations and translations is ...

6
votes

2
answers

163
views

### Are all symmetries of the Dirichlet functional isometries?

This is a cross-post from MSE (no answer there).
Let $M,N$ be oriented $d$-dimensional Riemannian manifolds, $M$ compact*, and let $f:M \to N$ be smooth.
Consider the Dirichlet energy functional: $...

1
vote

2
answers

230
views

### Conformal harmonic maps in high dimensions are scaled isometries

This is a cross-post from MSE (where I got no answer).
It is well-known that conformal maps between $2$-dimensional Riemannian manifolds are harmonic.
I discovered lately that in dimension $d>2$, ...

14
votes

2
answers

459
views

### Do curvature differences obstruct a.e orientation-preserving isometries?

Is there an example of a pair $M,N$ of connected, oriented equidimensional Riemannian manifolds with the following properties:
$M$ is everywhere non-flat, $N$ is flat.
There exist a map $f:M \to N$ ...

1
vote

1
answer

318
views

### What is general expression for the moment map of a Kaehler Hamiltonian G-manifold

A Kaehler Hamiltonian G-manifold is a Kaehler manifold with a Hamiltonian G-action, i.e., a G-action generated by a moment map. In particular, the Killing vector fields which generate the G-action are ...

6
votes

2
answers

351
views

### Norms on $\mathbb{R}^d$ whose linear isometries are the hypercube group

It is a known fact that for any $2\neq p\in[1,\infty]$, the linear isometries for the corresponding norm $\|\cdot\|_p$ on $\mathbb{R}^d$ is the set of all square-matrices with entries in $\{-1,1,0\}$, ...

14
votes

2
answers

742
views

### Tweetable way to see Riemannian isometries are harmonic?

$\newcommand{\al}{\alpha}$
$\newcommand{\euc}{\mathcal{e}}$
$\newcommand{\Cof}{\operatorname{Cof}}$
$\newcommand{\Det}{\operatorname{Det}}$
Smooth Riemannian isometries are harmonic. Can one conclude ...

21
votes

1
answer

941
views

### A differentiable isometry is smooth?

I posted this question in MSE but got no response (even after giving a bounty), so I am trying here.
Let $M,N$ be smooth $d$-dimensional Riemannian manifolds.
Suppose $f:M \to N$ is a differentiable ...

2
votes

1
answer

167
views

### Homogeneous subsets of the sphere

Let $S$ be a (unit) sphere in a Hilbert Space $H$ with $\dim H \ge 3$. Let $A \subset S$ have the following properties:
$A$ is connected;
The affine hull of $A$ is the whole space;
For every $x,y\in ...

9
votes

2
answers

445
views

### There is no arcwise isometry from a high dimensional manifold into a low dimensional manifold

$\newcommand{\al}{\alpha}$
$\newcommand{\ga}{\gamma}$
$\newcommand{\e}{\epsilon}$
Let $X,Y$ be Riemannian manifolds, such that $\dim(X) > \dim(Y)$.
I am trying to prove the following statement (...

6
votes

1
answer

336
views

### Are metric isometries smooth at the boundary?

Let $M,N$ be smooth Riemannian manifolds with boundary (In particular, we assume the boundaries are smooth).
Suppose we have a map $\phi:M \to N$ which satisfies the following properties:
$$(1) \, \,...

7
votes

1
answer

310
views

### Does nonexpanding map between manifolds decrease volume?

(This question is a special case of a question I asked at SE, which got no answer there)
Let $M,N$ be diffeomorphic connected compact Riemannian manifolds, and let $f:M \to N$ be a surjective ...

1
vote

0
answers

498
views

### Bending Beltrami Pseudosphere

The Beltrami Pseudosphere
$$[x = a \sin p \cos t , y= - a ( \cos p + \log \tan p/2 ) , z= b+ a \sin p \sin t \; ], (.1 <p<\pi/2), (0< t< 2 \pi), \; (b>a) $$
is bent to a non-...

16
votes

2
answers

924
views

### Are there some intrinsic invariants of surfaces other than Gaussian curvature?

The principal curvatures of a surface is denoted by $\kappa_{1}, \kappa_{2}$.
Let $P(x,y)$ be a polynomial with real coefficients. Assume that $P(\kappa_{1}, \kappa_{2})$ is an intrinsically ...

4
votes

1
answer

158
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$, i....

2
votes

1
answer

215
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

81
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 mutually ...

13
votes

3
answers

1k
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 non-...

6
votes

1
answer

594
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
...