Questions tagged [isometries]
The isometries tag has no usage guidance.
106 questions
4
votes
1
answer
255
views
Isometry group of a left-invariant Riemannian metric on $\mathrm{SU}(2)$
Recall that
\begin{equation}
\mathbb{S}^3=\operatorname{SU}(2)=\left\{
\begin{pmatrix}
z&w\\
-\bar{w}&\bar{z}
\end{pmatrix}
,|z|^2+|w|^2=1
\right\}
\end{...
- 1,441
4
votes
2
answers
537
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 ...
- 10.5k
4
votes
1
answer
380
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
4
votes
1
answer
292
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 ...
- 10.6k
4
votes
2
answers
341
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 $\|(...
- 1,879
4
votes
2
answers
284
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 ...
- 12.9k
4
votes
1
answer
194
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....
- 1,100
4
votes
0
answers
101
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 ...
- 223
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 ...
- 445
3
votes
1
answer
454
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 (...
- 21.8k
3
votes
1
answer
221
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 \...
- 16.2k
3
votes
1
answer
1k
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 ...
- 5,891
3
votes
1
answer
132
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, ...
- 825
3
votes
0
answers
115
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}$? (...
- 1,151
3
votes
0
answers
104
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 ...
- 31
2
votes
1
answer
139
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, ...
- 825
2
votes
1
answer
176
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 ...
- 5,529
2
votes
1
answer
259
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 ...
- 825
2
votes
1
answer
602
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 ...
- 585
2
votes
1
answer
187
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 ...
- 2,513
2
votes
1
answer
304
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 \...
- 2,306
2
votes
1
answer
261
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 ...
- 501
2
votes
1
answer
101
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,467
2
votes
1
answer
172
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) = \{\, ...
- 123
2
votes
0
answers
320
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 ...
- 451
2
votes
0
answers
135
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 ...
- 93
2
votes
0
answers
150
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 ...
- 2,147
2
votes
0
answers
207
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 ...
- 21
2
votes
0
answers
188
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)$ ...
- 10.5k
2
votes
0
answers
42
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)...
- 2,095
1
vote
2
answers
383
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$, ...
- 6,741
1
vote
1
answer
285
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$ ...
- 685
1
vote
2
answers
414
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 \...
- 10.5k
1
vote
1
answer
300
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 ...
- 1,361
1
vote
1
answer
142
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)$ ...
- 283
1
vote
1
answer
523
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$ ...
- 43
1
vote
1
answer
177
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 ...
- 1,547
1
vote
1
answer
129
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=\...
- 195
1
vote
0
answers
92
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 \...
- 245
1
vote
0
answers
143
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}
$...
- 33
1
vote
0
answers
187
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\...
- 547
1
vote
1
answer
79
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)\...
- 13
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 ...
- 917
1
vote
0
answers
561
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-...
- 917
1
vote
0
answers
82
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 ...
- 201
1
vote
1
answer
207
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 ...
- 303
1
vote
0
answers
393
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) ...
- 10.5k
1
vote
1
answer
345
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 ...
- 1,155
0
votes
1
answer
190
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}...
- 139
0
votes
0
answers
34
views
Proving that Euclidean Jordan algebra automorphisms are orthogonal symmetric cone automorphisms
Recall the setting of,
Jacques Faraut and Adam Korányi. Analysis on Symmetric Cones. Clarendon Press, Oxford, 1994. ISBN 9780198534778.
Namely, suppose that,
$\left(V,\circ,\left<\cdot,\cdot\...
- 111