Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [isometries]

The tag has no usage guidance.

11
votes
1answer
210 views
+50

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
0answers
49 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
0answers
113 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
0answers
100 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
2answers
565 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\...
0
votes
0answers
43 views

Description and counting non-crystallographic discrete subgroups of Euclidean isometries

A few days ago I have posted this question on Math.Stackexchange there was thankfully a response from YCor and he recommended reposting it here in order to get more details An n-dimensional ...
0
votes
0answers
46 views

Is there any simple expression for $(\dot{F}\phi_u)\times(\frac{\partial \dot{F}}{\partial u} \phi_v)$

$F$ is an isometry of two dimensional regular surfaces $A$ to $B$. $\phi$ and $F\circ\phi$ are the coordinate chart for $A$ and $B$ respectively.$\phi_u$ and $\phi_v$ are unit tangent vector of $A$ ...
2
votes
0answers
34 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)...
4
votes
1answer
316 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 ...
5
votes
2answers
129 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
2answers
158 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
2answers
400 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
1answer
299 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 ...
5
votes
2answers
250 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\}$, ...
13
votes
2answers
579 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 ...
20
votes
1answer
598 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
1answer
160 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
2answers
371 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
1answer
272 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
1answer
289 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
0answers
200 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-...
15
votes
2answers
688 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
1answer
125 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
1answer
177 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
0answers
78 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
3answers
672 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
1answer
445 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
0answers
82 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
2answers
293 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 the ...
8
votes
1answer
452 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? (Hopefully,...
12
votes
3answers
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 $T$...
2
votes
1answer
135 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) = \{\, ...
12
votes
1answer
532 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 $G$...
1
vote
1answer
156 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
6answers
1k 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
5
votes
0answers
375 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
0answers
130 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
1answer
561 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) \stackrel{...
15
votes
1answer
471 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 ...
21
votes
2answers
824 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
2answers
225 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
1answer
770 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 $G$...
22
votes
6answers
1k views

Isometric embedding of SO(3) into an euclidean space

Consider $SO(3)$ with its bi-invariant metric and $R^n$ the euclidean space of dimension $n$. What is the minimal value of $n$ such that there exists an isometric embedding $f: SO(3) \to R^n$?
3
votes
2answers
887 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: ...
8
votes
0answers
364 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 ...
7
votes
1answer
1k 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
1answer
169 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
2answers
504 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
1answer
180 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
0answers
771 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?