Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The Mazur-Ulam theorem says that any surjective isometry of normed vector spaces is affine. This argument doesn't seem to apply to Minkowski space (of special relativity) since the metric is degenerate. How would one show that the Poincaré group consists of affine maps? This seems really standard but I can't seem to find it anywhere.

share|improve this question
2  
There are a lot of ways to prove these kinds of theorems. One strategy is to argue isometries carry geodesics to geodesics -- i.e. geodesics in the differential-geometric sense are rectifiable curves that locally minimize length. –  Ryan Budney Dec 30 '11 at 0:31
    
Off-topic question: what are some applications of the Mazur-Ulam theorem? –  Tom LaGatta Dec 30 '11 at 4:59
1  
I guess what is confusing me is that usually isometries are defined to be smooth maps, but a priori they could just be continuous. Apparently the Myers-Steenrod theorem says that all isometries of Riemannian manifolds are smooth, however this theorem requires the isometry to be surjective. –  Boaz Haberman Dec 30 '11 at 18:10
    
@Boaz: by definition isometries are continuous. –  Ryan Budney Dec 30 '11 at 18:32
1  
@Boaz what's your definiton of an isometry of a Pseudo-Riemannian manifold? There is no notion of a distance or of arc-length of a continuous curve here. –  Vitali Kapovitch Dec 30 '11 at 22:02
show 6 more comments

3 Answers

up vote 7 down vote accepted

Let's fix notation and define the bilinear form $\eta: \mathbb{R}^4 \times \mathbb{R}^4 \to \mathbb{R}$ by:

$\eta((x,y,z,t),(x',y',z',t')) = xx'+yy'+zz'- tt'$

Given a map $T:\mathbb{R}^4 \to \mathbb{R}^4$ which fixes $0$ and preserves $\nu$ we want to show that $T$ is linear.

Let $e_1,e_2,e_3,e_4$ be the canonical basis of $\mathbb{R}^4$. The first observation is that for any four vectors $v_1,v_2,v_3,v_4$ such that $\eta(v_i,v_j) = \eta(e_i,e_j)$ for all $i,j$ the linear map sending each $v_i$ to $e_i$ is invertible and preserves $\nu$.

Hence by composing $T$ with a linear invertible $\nu$ preserving map we may assume that $Te_i = e_i$ for $i = 1,2,3,4$.

Now we have for any $v \in \mathbb{R}^4$ that $\eta(v,e_i) = \eta(Tv,Te_i) = \eta(Tv, e_i)$ this implies that $T$ is the identity (since we can get each coordinate of $Tv$).

share|improve this answer
    
What if we only know that $T$ preserves lengths? How do you polarize? –  Boaz Haberman Dec 30 '11 at 18:25
2  
@Boaz preserves lengths of what? please state your definition of an isometry. One reasonable definition for the Minkowski space is a map that preserves Minkowski norm, i.e. $||f(x)-f(y)||_{3,1}=||x-y||_{3,1}$ for all $x,y\in\mathbb R^{3,1}$. this polarizes trivially so Pablo's answer is complete with that definition. Another reasonable definition is if you assume that $f$ is smooth and preserves the metric infinitesimally. Then the result is also elementary but judging by your other comment this is not the definition you want. –  Vitali Kapovitch Dec 30 '11 at 21:59
    
Is the polarization trivial? The usual polarization formula is $4(x,y) = \|x-y\|^2 + \|x+y\|^2$. How do we know that $\|f(x)+f(y)\|=\|x+y\|$? –  Boaz Haberman Jan 1 '12 at 2:31
1  
yes, the polarization is trivial. we are assuming $f(0)=0$ and $||f(x)-f(y)||^2=||x-y||^2$ for all $x,y$. Then the formula $2\langle x, y\rangle=||x|^2+||y||^2-||x-y||^2$ immediately implies that $\langle f(x), f(y)\rangle=\langle x, y\rangle $. –  Vitali Kapovitch Jan 1 '12 at 3:49
add comment

The following paper shows that if chronological order on $\mathbb R^n$ is defined by cone (i.e., $x\in \mathbb R^n$ chronologically precedes $y\in \mathbb R^n$ iff $y − x$ belongs to some fixed cone) then any bijection which preserve the chronological order has to be linear.

This statement is much stronger than you need. After Alexandrov, it was reproved independently 5 times or so.

share|improve this answer
add comment

I haven't worked out the details, so I might have this all wrong, but couldn't you proceed as follows:

  1. Prove that an isometry is differentiable.

  2. Prove that an isometry is an infinitesimal isometry. In other words, the pull back of the metric tensor is equal to the metric tensor.

  3. Prove that the composition of any linear co-ordinate function with the infinitesimal isometry has vanishing Hessian (this requires both metrics be flat) and therefore is also a linear co-ordinate function.

  4. Conclude that the map is linear, since it maps linear co-ordinate functions to linear co-ordinate functions.

It seems to me that the proof that an isometry is linear should be very similar to the proof that any flat metric is locally isometric to the standard one.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.