Skip to main content

Questions tagged [isometries]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
111 views

$\operatorname{Hess}r$ is scalar matrix $\implies$ $M$ is isometric to the space form

I'm trying to prove the rigidity part of a theorem in my paper, which requires the use of the classical Hessian comparison theorem's rigidity part: $$\DeclareMathOperator\sn{sn}\operatorname{Hess}r=\...
HeroZhang001's user avatar
1 vote
0 answers
83 views

Instantaneous rotation field in relation to a developable surface

I have a ruled surface, let it be given by $\Sigma: U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ parametrized by $(u,v)$ with the rulings along the $u$-lines. Now, let $X: U \subset \mathbb{R}^2 \...
RWien's user avatar
  • 193
3 votes
1 answer
151 views

Unitary versus isometric operators

Let $\mathbb H$ be a Hilbert space, and let $\mathcal B(\mathbb H)$ be the space of bounded operators on $\mathbb H$, equipped with the operator-norm topology. Let $\mathbb R\ni t\mapsto A(t)\in \...
Bazin's user avatar
  • 15.3k
0 votes
0 answers
22 views

Characterizing isometry invariant functions

I am trying to understand functions invariant under isometries better. In particular functions with two inputs. I.e. $$ C(x,y) = C(\phi x, \phi y) $$ for any isometry $\phi$. The motivation are ...
Felix B.'s user avatar
  • 365
3 votes
1 answer
127 views

If $X,X'$ have the same $\varepsilon$-packing numbers and $f:X \to X'$ surjective $1$-Lipschitz, then $f$ is an isometry

Let $(X, d)$ be a compact metric space. We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
Akira's user avatar
  • 951
2 votes
1 answer
132 views

Are two metric spaces isometric if they have the same $\varepsilon$-covering and $\varepsilon$-packing numbers for all $\varepsilon>0$?

Let $(X, d)$ be a compact metric space. We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
Akira's user avatar
  • 951
2 votes
1 answer
235 views

Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?

Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e., $N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
Akira's user avatar
  • 951
4 votes
1 answer
261 views

Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?

I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
Saúl RM's user avatar
  • 8,646
6 votes
0 answers
147 views

What is the minimum $n$ for which $\Bbb H^3$ can be isometrically embedded in $\Bbb R^n$ as a bounded set?

Consider the hyperbolic $3$-space $\Bbb H^3$ (i.e., the unique, simply-connected, $3$-dimensional complete Riemannian manifold with a constant negative sectional curvature equal to $-1$). The Nash ...
Random's user avatar
  • 1,087
1 vote
1 answer
236 views

Isometries of Hilbert space

It is easy to see that for any $x$ and $y$ on the unit sphere of a Hilbert space $H$ there exists a surjective isometry $U$ such that $Ux=y$. Does something more general also hold? That is, given two ...
Markus's user avatar
  • 1,361
0 votes
1 answer
188 views

Are the ideals in two $C^*$-algebras the same?

Let $V_{1}, V_{2}$ be the commuting isometries. By Wold decomposition theorem, we know that $V_{i}$ admits decomposition $$V_i \cong V^s_{i}\oplus V^{u}_{i},$$ where $V^{s}_{i}$ is the shift and $V^{u}...
Andy's user avatar
  • 139
6 votes
1 answer
339 views

Does the isometry group determine the Riemannian metric?

Suppose $G \subset \text{Iso}(M)$ is a Lie group acting smoothly on a (pseudo-)Riemannian manifold $(M, g)$. Then $G$ induces a Lie algebra of Killing vectors on $M$. In this paper by Goenner and ...
Katerina's user avatar
  • 203
5 votes
1 answer
282 views

All-set-homogeneous spaces

This is a follow-up to the question of Joseph O'Rourke Which metric spaces have this superposition property? A metric space $X$ will be called all-set-homogeneous if for any subset $A\subset X$ any ...
Anton Petrunin's user avatar
2 votes
0 answers
273 views

What are examples of "perfect tensors"?

A "perfect tensor" is defined on the nLab very abstractly as "its tensor/hom-adjuncts $V^{\otimes k} \to V^{\otimes n - k}$ for $k \le n/2$ are isometries". The only example I'm ...
unknown's user avatar
  • 451
4 votes
2 answers
276 views

A space isometric to $\ell_\infty^2$

Consider a norm on $\mathbb C^2$ as $\|(z_1,z_2)\|:=\max\{|z_1|,|z_2|,\frac{1}{\sqrt{2}}|z_1+iz_2|\}.$ Question. Is $(\mathbb C^2,\|.\|)$ linearly isometric to $(\mathbb C^2,\|.\|_{\infty})$ where $\|(...
A beginner mathmatician's user avatar
3 votes
0 answers
110 views

Isometric embeddings of $c_0$ into metric spaces

Are there any nice and useful criteria or theorems which assert when a given metric space $M$ contains an isometric (not necessarily linear) copy of the Banach space $c_0$ or its unit ball $B_{c_0}$? (...
Damian Sobota's user avatar
7 votes
2 answers
244 views

Are polyhedra with equilateral triangular faces rigid?

Convex polyhedra are rigid by Cauchy’s theorem. Steffen’s polyhedron is an example of a non-convex polyhedron that is flexible (i.e., non-rigid). However, it appears to have edges of different lengths....
Hussein's user avatar
  • 264
-1 votes
1 answer
220 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, ...
amilton moreira's user avatar
4 votes
2 answers
263 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 ...
LSpice's user avatar
  • 11.6k
10 votes
4 answers
650 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 ...
Chris Wendl's user avatar
2 votes
0 answers
133 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 ...
ralphS16's user avatar
11 votes
1 answer
314 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 ...
TopologicalDynamitard's user avatar
1 vote
1 answer
484 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$ ...
freshst4r's user avatar
1 vote
0 answers
130 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} $...
user178149's user avatar
1 vote
0 answers
173 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\...
Talmsmen's user avatar
  • 547
4 votes
0 answers
92 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 ...
Dinisaur's user avatar
  • 213
8 votes
3 answers
600 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,...
user101010's user avatar
  • 5,319
3 votes
0 answers
98 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 ...
James's user avatar
  • 31
5 votes
2 answers
311 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] ...
Ruy's user avatar
  • 2,233
9 votes
1 answer
327 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 ...
Christian Bueno's user avatar
2 votes
1 answer
301 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 \...
Goulifet's user avatar
  • 2,216
1 vote
1 answer
78 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)\...
solus0684's user avatar
-1 votes
1 answer
109 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 ...
ABIM's user avatar
  • 4,775
2 votes
1 answer
516 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 ...
Anupam's user avatar
  • 479
2 votes
1 answer
96 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 ...
Learning math's user avatar
1 vote
1 answer
128 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)$ ...
trisct's user avatar
  • 273
-2 votes
1 answer
460 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 ...
Eduardo Longa's user avatar
14 votes
1 answer
848 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, ...
Pietro Majer's user avatar
  • 56.8k
2 votes
0 answers
143 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 ...
annie marie cœur's user avatar
4 votes
0 answers
77 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 ...
user470881's user avatar
3 votes
1 answer
407 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 (...
asv's user avatar
  • 21.2k
6 votes
1 answer
179 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 ...
asv's user avatar
  • 21.2k
15 votes
1 answer
1k 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 ...
José Navarro's user avatar
1 vote
0 answers
65 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 ...
Narasimham's user avatar
2 votes
0 answers
197 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 ...
Soennecken's user avatar
2 votes
0 answers
181 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)$ ...
wonderich's user avatar
  • 10.4k
8 votes
2 answers
600 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\...
Idonknow's user avatar
  • 603
2 votes
0 answers
41 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)...
Eduardo Longa's user avatar
6 votes
1 answer
1k 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 ...
AccidentalFourierTransform's user avatar
6 votes
2 answers
204 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: $...
Asaf Shachar's user avatar
  • 6,621