## Anais da Academia Brasileira de Ciências

*versión impresa* ISSN 0001-3765

### An. Acad. Bras. Ciênc. vol.83 no.4 Rio de Janeiro dic. 2011 Epub 30-Sep-2011

#### http://dx.doi.org/10.1590/S0001-37652011005000037

**Ferry Kwakkel ^{I}; Marco Martens^{II}; Mauricio Peixoto^{I}**

^{I}Instituto de Matemática Pura e Aplicada (IMPA), Estrada Dona Castorina 110, 22460-320 Rio de Janeiro, RJ, Brasil

^{II}Department of Mathematics, Stony Brook University, Stony Brook, NY, 11794-3651, USA

**ABSTRACT**

Given a closed Riemannian manifold (*M, g*), i.e. compact and boundaryless, there is a partition of its tangent bundle *TM* = ∪* _{i}*Σ

*called the focal decomposition of*

_{i}*TM*. The sets Σ

*are closely associated to focusing of geodesics of (*

_{i}*M, g*), i.e. to the situation where there are exactly

*i*geodesic arcs of the same length joining points

*p*and

*q*in

*M*. In this note, we study the topological structure of the focal decomposition of a closed Riemannian manifold and its relation with the metric structure of the manifold. Our main result is that flat

*n*-tori,

*n*

__>__2, are focally rigid in the sense that if two flat tori are focally equivalent then the tori are isometric up to rescaling. The case

*n*= 2 was considered before by F. Kwakkel.

**Key words:** Riemannian manifolds, focal decomposition, rigidity.

**RESUMO**

Dada uma variedade Riemanniana (*M, g*) fechada, isto é, compacta e sem bordo, existe uma partição de seu fibrado tangente *TM* = ∪_{i}Σ_{i} chamada decomposição focal de *TM*. Os conjuntos Σ_{i} estão intimamente associados ao modo como focalizam as geodésicas de (*M,g*), isto é, à situação em que existem exatamente *i *arcos de geodésica de mesmo comprimento unindo pontos *p* e *q* em *M*. Nesta nota, estudamos a estrutura topológica da decomposição focal de uma variedade Riemanniana fechada e sua relação com a estrutura métrica de *M*. Nosso principal resultado é que *n*-toros planos, *n* __>__ 2, são focalmente rigidos, isto é, se dois toros planos são focalmente equivalentes, então os dois toros são isométricos módulo mudança de escala. O caso *n* = 2 foi considerado anteriormente por F. Kwakkel.

**Palavras-chave:** variedade Riemanniana, decomposição focal, rigidez.

**DEFINITIONS AND STATEMENT OF RESULTS**

In general, topological characteristics of a Riemannian manifold do not determine its geometry, that is, its metric structure. However, starting in the 1960s, examples have been discovered for which such characteristics do determine the geometry. The manifolds can not be deformed without changing the characteristic. One speaks of rigidity. The prototype rigidity result is due to Mostow (Mostow 1968).

MOSTOW'S RIGIDITY THEOREM. *Two compact hyperbolic n-manifolds, n > *3

*, with isomorphic fundamental groups are isometric.*

Given an analytic manifold *M*, we denote ^{ω}(*M*) the class of analytic Riemannian structures on *M*. This class of structures is dense in the class ^{∞}(*M*) of smooth Riemannian structures in the *C*^{∞} strong Whitney topology, see (Hirsch 1976). Let (*M, g*) and (,) be closed (compact and boundaryless) analytic manifolds. Two Riemannian manifolds are said to be *isometric up to a rescaling* if, up to a constant rescaling of the metric , the manifolds (*M, g*) and (, ) are isometric.

In (Kupka et al. 2006), the notion of *focal stability* is introduced for smooth Riemannian manifoldsin dimension *n*. In analogy with structural stability for dynamical systems, this gives rise to the focal stability conjecture: given *p* ∈ *M*, the generic Riemannian structure is focally stable at *p*. In (Peixoto and Pugh 2007), if *n* = 2 and there are no conjugate points, the above conjecture has been shown to be true. The notion of focal stability is *local*. The purpose of this note is to give the first examples of closed manifolds, namely flat *n*-tori, and show that the focal decomposition is *globally* rigid. The concept offocal rigidity was first studied for two-tori in (Kwakkel 2006).

THEOREM A. *Focally equivalent flat n-tori, n > *2

*, are isometric, up to rescaling.*

The proof, though elementary, makes use of the notion of Brillouin zones intrinsic to the focal decomposition. In a forthcoming note (Kwakkel 2010), we prove the analogue of Theorem A in the setting of hyperbolic manifolds in dimension *n* __>__ 2. In order to define the notion of *focal equivalence*, we need several preliminaries. Fix a complete *C*^{ω} manifold (*M, g*).

DEFINITION 1. The focal index, (*p,v*), of the vector *v* ∈ *T _{p}M* is defined by

*I*(*p,v*) = # { *w* ∈ *T _{p} M* | |

*v*| = |

*w*| and exp

*(*

_{p}*v*) = exp

*(*

_{p}*w*) }.

The *focal component* of index *i* at *p* is

σ_{i} (*p*) = { *v* ∈ *T _{p} M* |

*i = I*(

*p,v*) }.

Vectors *v* ∈ σ_{i}(*p*) are equivalent modulo exponentiation to *i* - 1 other vectors of *T _{p}M* of equal length.

DEFINITION 2 (Focal decomposition). The partition of *T _{p}M* into its focal components is called its focal decomposition at

*p*; we have

The tangent bundle has a corresponding focal decomposition , where and correspondingly

The focal decomposition only depends on the Riemannian metric *g*. It is also a global concept: all geodesics passing through *p* play a role in the construction of σ_{i} and all geodesics in the manifold *M* play a role in the construction of the sets Σ_{i}. We will abbreviate = {σ_{i}} and = {Σ_{i}}.

DEFINITION 3 (Focal equivalence). Two complete analytic manifolds (*M*_{1}, *g*_{1}) and (*M*_{2},*g*_{2}) are *focally equivalent*, if there exists an orientation-preserving homeomorphism φ: *TM*_{1} → *TM*_{2}, with ψ: *M*_{1} → *M*_{2} the homeomorphism induced on the zero section, such that for every *p* ∈ *M*_{1} and *q* = ψ(*p*) ∈ *M*_{2},

(i) : *T _{p}M*

_{1}→

*T*

_{q}M_{2}and (0) = 0,

(ii) ((*p*)) = (*q*), for every 1 __<__ *i* __<__ ∞.

It follows from (i) and (ii) in Definition 3 that φ() = . It is verified that focal equivalence indeed defines an equivalence relation. Further, manifolds that are isometric, up to rescaling, are focally equivalent.

**THE FOCAL DECOMPOSITION AND BRILLOUIN ZONES**

The concept of the focal decomposition was introduced in (Peixoto 1982) under the name of *sigma decomposition* in the context of the two-point boundary value problem for ordinary second order differential equations. It was then naturally extended to complete Riemannian manifolds of any dimension in (Kupka and Peixoto 1993).

In (Kupka et al. 2006), a survey is given of the focal decomposition of complete smooth (*C*^{∞}) Riemannian manifolds. The main results are that for a generic^{1} Riemannian metric, the index *i* of σ_{i} is bounded by dim(*M*) + 1 and the index *i* of Σ_{i} is bounded by 2 dim(*M*) + 2. Also in (Kupka et al. 2006), it is indicated how the concept of focal decomposition relates naturally to physical concepts such as the Brillouin zones of a crystal, the semi-classical quantization via Feynman path integrals and to Diophantine equations in number theory.

Recall that a Riemannian manifold (*M,g*) is said to be complete if for every point *p* ∈ *M* the exponential map at *p*, exp_{p} : *T _{p}M* →

*M*, is defined at all points of

*T*. Every compact Riemannian manifold is complete by the Hopf-Rinow Theorem. Even though the focal decomposition of a smoothRiemannian manifold always exists, the choice of putting the discussion in the setting of analytic Riemannian manifolds is motivated by the following, see (Kupka and Peixoto 1993).

_{p}M EXISTENCE THEOREM. *Let (M,g) be a complete analytic Riemannian manifold, then there is an analytic Whitney stratification of TM such that each* Σ* _{i} is the union of strata of this stratification. Similarly for the restricted problem with base point p* ∈

*M: there is an analytic Whitney stratification of T*σ

_{p}M such that every set*σ*

_{i}is the union of strata of this stratification. Analytically stratifiable means that the focal components

_{i}can be expressed as locally finite disjoint unions of strata.REMARK 1. This result is sharp in the sense that if the Riemannian metric is smooth but not analytic, the focal components may be non-stratifiable, i.e. topologically pathological, see (Kupka et al. 2006).

REMARK 2. It follows from the Angle Lemma in (Kupka and Peixoto 1993) that no σ* _{i}* with

*i*

__>__2 has any interior points. Combined with the Whitney stratification property, one can show that σ

_{1}has full measure.

Closely related to the focal decomposition, is the notion of *Brillouin zones* (Peixoto 1997), which in a way organizes the structure of the focal decomposition at a point *p*.

DEFINITION 4 (Brillouin Zones). For *v* ∈ *T _{p}M*, we define the Brillouin index

For every integer *k* __>__ 1, the *k*-th Brillouin zone is the interior Int(*B _{k}*(

*p*)), of the set

*B*(

_{k}*p*) = {

*v*∈

*T*|

_{p}M*B*(

*p,v*) =

*k*} of all points with Brillouin index

*k*.

REMARK 3. The *k*-th Brillouin zone is also defined to be *B _{k}*(

*p*), rather than its interior. The significance in taking the interior in our definition is that, in general, σ

_{1}need not be open, see (Kupka et al. 2006).

The first Brillouin zone appears in many different places; for example, it appears as the *Wigner-Seitz cell* in physics, as the *Dirichlet region* of a Fuchsian group in geometry and as the *Voronoi cell* in the study of circle packings, see (Jones 1984) and (Skriganov 1987).

**FOCAL RIGIDITY OF FLAT TORI**

As the flat torus admits a transitive group of isometries, the focal decomposition is identical at every basepoint. Therefore, it suffices to study the focal decomposition at a single base point. Given a flat torus (* ^{n}, g*), it is isometric to a torus of the form (

*/ Γ,*

^{n}*g*

_{can}), where Γ is a translation group of rank

*n*and

*g*

_{can}the canonical metric induced from the Euclidean metric of

^{n}, see (Wolf 1977). Therefore, we may as well assume that

both equipped with the induced Euclidean metric *g*_{can}, where Γ and are translation groups of rank *n* acting on ^{n}. In what follows, we identify the tangent plane *T _{p}*

*with the universal cover*

^{n}^{n}of

^{n}and we denote

*d*the distance function on

^{n}induced by the standard Euclidean metric. Choosing the basepoints to be 0 ∈

^{n}and 0 ∈

^{n}, where 0 = π(0) with 0 ∈

^{n}the origin, we denote σ

*(0) = σ*

_{i}*and*

_{i}*B*(0) =

_{k}*B*for brevity (and similarly for

_{k}^{n}). In terms of this uniformization and notation, the focal decomposition and corresponding Brillouin zones have the following description.

DEFINITION 5. Given a flat torus ^{n} / Γ, let Λ = Γ(0) the associated lattice. The *Brillouin hyperplane* *V*_{λ} ⊂ ^{n}, λ ∈ Λ ⊂ ^{n}, is defined to be the set *V*_{λ} = {*v* ∈ * ^{n}* |

*d*(0,

*v*) =

*d*(

*v*,λ)}. For 0 ∈ Λ, we define

*V*

_{0}= and denote = ∪

_{λ∈Λ}

*V*

_{λ}.

In what follows, we will refer to a Brillouin hyperplane simply as B-plane.

REMARK 4. As the lattice Λ is discrete, the set of B-planes ⊂ ^{n} is *locally finite* in the sense that for every *v* ∈ and every compact set *K* ⊂ * ^{n}* containing

*v*, only finitely many B-planes meet

*K*.

Let ℓ* _{v}* ⊂

^{n}be the open (i.e. not containing 0 and

*v*) line segment connecting 0 and

*v*in

^{n}anddefine the indices

*i*(*v*) = # {λ ∈ Λ | *V*_{λ} ∩ ℓ_{v} ≠ } and µ(*v*) = # {λ ∈ Λ | *V*_{λ} ∋ *v*}.

The following result gives a description of the focal decomposition and Brillouin zones for thetorus, see (Peixoto 1997) and (Peixoto et al. 2000).

PROPOSITION 1. *The focal decomposition of the torus ^{n} (at the basepoint *0

*), is given by the following.*

(1) σ* _{i}* = {

*v*∈

*| µ(*

^{n}*v*) =

*i*- 1 } and, consequently,

*\σ*

^{n}_{1}= .

(2) For *v* ∈ ^{n}*, v* ∈ Int(*B _{k}*) if and only if

*i*(

*v*) =

*k*- 1 and µ(

*v*) = 0.

(3) Cl(Int(*B _{k}*)) =

*B*.

_{k} Let us now turn to the proof of Theorem A. We denote by φ: ^{n} → ^{n} the orientation preserving homeomorphism for which φ(0) = 0 and φ(σ* _{i}*) =

_{i}, which is the restriction to a single tangent plane of the homeomorphism φ defined globally between the tangent bundles of the tori. Denote = ∪

_{λ∈Λ}

*V*

_{λ}and the entire union of all B-planes. Let

*v*∈

^{n}and let be the set of B-planes for which

*v*∈ , 1

__<__

*j*

__<__m. Note that

*m*= µ(

*v*). Let ν(

*v*) be the dimension of the span of the vectors λ

_{1}, ..., λ

*. Further, a B-plane*

_{m}*V*

_{λ}separates

^{n}into two connected components, i.e.

We say that *V*_{λ} *separates* the points *v* and *w*, if *v* ∈ _{1} and *w* ∈ _{2}.

LEMMA 2 (Plane Lemma). *For every* λ ∈ Λ*, there exists a unique* ∈ *such that* φ(*V*_{λ}) = .

In order to prove this lemma, we use the following auxiliary lemmas.

LEMMA 3. *Let V = ^{k} be a Euclidean space and W* ⊂

*V a closed codimension two subset. Then V \ W is path-connected and V \ W is dense in V.*

PROOF. As *W* ⊂ *V* is closed, *V \ W* is open. Further, as *W* has codimension two relative to *V*, it is clear that *V \ W* is dense in *V*. We need to show that *V \ W* is path-connected. To this end, take any two points *x,y* ∈ *V \ W* and consider the straight segment ℓ ⊂ * V* connecting *x* and *y*. Take a product neighborhood *N* of the segment ℓ. The set of segments in *N* that meet *W* has codimension one in *N*. Therefore, we can find a segment ℓ' arbitrarily close to ℓ such that ℓ' ∩ *W* = . Further, since *x,y* ∈ *V \ W* and *V \ W* is open, by choosing the segment ℓ' close enough to ℓ, we can connect *x* with *x'* and *y* with *y'* by an arc in *V \ W*, thus producing the desired path from *x* to *y*.

□

LEMMA 4. *Let V*_{1}*, ..., V _{m} *⊂

*⊂*

^{n}and , ...,*2*

^{n}be two collections of codimension one hyperplanes in^{n}, where m__>__*, such that*

(1) *V _{k} and pass through 0 *∈

*1*

^{n}, for all

__<__k__<__m, and (2) *the dimension of the span of the normal vectors to V*_{1}*, ..., V _{m} and , ..., is both two. *

*Let h : ^{n} *→

*(0) = 0*

^{n}be a homeomorphism such that h*and*

*Then, after a suitable relabeling if necessary, we have h(V _{k}) = .*

PROOF. Since the dimension of the span of the two collections of hyperplanes passing through the origin is two, after pre- and postcomposing with suitable rotations, we may assume that

where *Q* ⊂ ^{2} is a union of *m* straight Euclidean lines *L _{k}* passing through the origin 0 ∈

^{2}, according to the rule

*V*×

_{k}= L_{k}

^{n}^{-2}, where each line

*L*is perpendicular in

_{k}^{2}to the normal vector to the plane

*V*, where

_{k}*k*= 1, ...,

*m*, one line

*L*precisely corresponding to a plane

_{k}*V*. Similarly for

_{k}*Q'*. Thus

*\ consists of 2*

^{n}*m*connected components and so does

^{n}\ . Take a simple closed curve γ ⊂

^{2}×{0} winding around the origin 0 ∈

^{2}, such that the curve γ intersects every line

*L*exactly once. Label the intersection points of g with \{0} according to their cyclicordering along γ, relative to an orientation and initial point

_{k}*z*

_{1}, which we may assume to be contained in

*L*

_{1}. Further, we may assume that

*h*(

*z*

_{1}) ∈ . In this labeling,

*z*and

_{s}*z*belong to the same line

_{s+m}*L*and thus to the same plane

_{k}*V*. Given a line

_{k}*L*, the B-plane

_{k}*V*corresponding to

_{k}*L*separates

_{k}*intotwo connected components and , each containing precisely*

^{n}*m*connected components of thecomplement of

*\ . Since*

^{n}*h*sends connected components of

^{n}\ , in a one-to-one correspondence, to the connected components of

^{n }\ , the images

*h*() and

*h*() contain precisely

*m*connected components of

*\ each. This can only be if*

^{n}*h*(

*z*) and

_{s}*h*(

*z*) belong to the same image plane. It thus follows, upon an appropriate labeling, that

_{s+m}*h*(

*V*) = , as required.

_{k}□

PROOF OF LEMMA 2. Fix a B-plane *V*_{λ}. Let *v* ∈ *V*_{λ} for which µ(*v*) = 1 and let φ(*v*) = and therefore *m*() = 1. Let be the unique B-plane passing through . It suffices to show that φ(*V*_{λ}) ⊆ . Indeed, if this is proved, then by symmetry φ^{-1}() ⊆ *V*_{λ} and therefore φ(*V*_{λ}) = . To prove that φ(*V*_{λ}) ⊆ , consider

_{λ} := {*v* ∈ *V*_{λ} | µ(*v*) __>__ 2, ν(*v*) __>__ 3} ⊂ *V*_{λ},

and define

As _{λ} and φ^{-1}() ∩ *V*_{λ} have codimension two relative to *V*_{λ}, are closed subsets, and since the union of B-planes relative to is a locally finite union of planes, by Lemma 3, it follows that *V*_{λ} \ *W*_{λ} is open and path-connected and *V*_{λ} \ *W*_{λ} is dense in *V*_{λ}, since a locally finite union of closed codimension two subsets is closed and has codimension two. Furthermore, *V*_{λ} \ *W*_{λ} has the property that every point *v* ⊂ *V*_{λ} \* W*_{λ}, for which µ(*v*) = *m* __>__ 2, we have ν(*v*) = 2 and furthermore, µ() = *m* and ν() = 2. Since *V*_{λ} \* W*_{λ} is open, we can take a small Euclidean ball *U _{v}* centered at

*v*, and by shrinking the ball ifnecessary, we may assume that

*U*only meets those B-planes that pass through

_{v}*v*. Since φ is a homeomorphism, φ(

*U*) will only meet those B-planes that pass through . Moreover, as

_{v}*U*is an open ball, which is homeomorphic to

_{v}^{n}, and so in the image, we are now in the position of Lemma 4, which says that, within the ball

*U*, the portion of the plane

_{v}*V*

_{λ}∩

*U*is mapped to ∩ φ(

_{v}*U*). Since this holds for every sufficiently small ball

_{v}*U*, centered at any point

_{v}*v*∈

*V*

_{λ}\

*W*

_{λ}, and

*V*

_{λ}\

*W*

_{λ}is path-connected, we have φ(

*V*

_{λ}\

*W*

_{λ}) ⊂ . Furthermore, as taking closures commutes under a homeomorphism, and

*V*

_{λ}\

*W*

_{λ}is dense in

*V*

_{λ}, we in fact have that φ(

*V*

_{λ}) ⊆ , which is what we needed to show.

□

Given a lattice point λ ≠ 0, such that the open straight line segment between 0 and λ contains nolattice points, define the collection _{λ} of B-planes determined by λ as follows

The B-planes in the collection _{λ} are parallel. Consequently, *V*_{λ} separates 0 from V_{2}_{λ}, the latter separates *V*_{λ} from V_{3}_{λ} etc. As the same separation properties hold for their images, since φ is a homeomorphism, combining this with Lemma 2, it follows that φ(_{λ}) = for a unique (modulo sign) ∈ . We say that the collections are linearly independent if ν(*v*) = *m*, i.e. the dimension of the span of the vectors λ_{1}, ..., λ* _{m}* equals

*m*. In what follows, we denote and the Brillouin zonesrelative to Λ and respectively.

LEMMA 5. *For every k > *1

*, we have that*φ(

*B*)

_{k}*=*

_{k}. PROOF. Let *v* ∈ Int(*B _{k}*) ⊂

*and let*

^{n}*w*= φ(

*v*). By Proposition 1, there are

*k*- 1 planes such that ∩ ℓ

*≠ , 1*

_{v}__<__

*s*

__<__

*k*- 1 and µ(

*v*) = 0. It follows that µ(

*w*) = 0.

We need to show that ι(*w*) = *k* - 1. By Lemma 2, φ(*V*_{λ}) = , where λ ∈ Λ L and ∈ . As φ is a homeomorphism for which φ(0) = 0, *V*_{λ} separates 0 and *v* if and only if separates 0 and *w* in * ^{n}*. Hence ∩ ℓ

*≠ , for every 1*

_{w}__<__

*s*

__<__

*k*- 1 where := φ(). Therefore, ι(

*w*) =

*k*- 1 and thus

*w*∈

_{k}. This proves that

φ(Int (*B _{k}*)) = Int(

*).*

_{k}By Proposition 1, we have Ll(Int(*B _{k}*)) =

*B*and thus φ(

_{k}*B*) =

_{k}_{k}.

□

LEMMA 6. *The homeomorphism *φ* lies at a bounded distance from A, that is, *

*with A *∈ GL(*n*, ) *and ||*δ*|| bounded.*

PROOF. We will show that there exists a uniform tiling of ^{n} by identical parallelepipeds which is mapped by φ to a tiling of ^{n} by the image parallelepipeds (which are again all identical). This will give us a linear map *A* which also preserves this tiling. Because this tiling is uniform, the diameter, say *K*, of an image parallelepiped gives a uniform bound on the distance of a point *v* ∈ ^{n} under φ and *A*, i.e.

|φ(*v*) - *A*(*v*)| __<__ *K*, for all *v* ∈ * ^{n}*.

If we define δ(*v*) := φ(*v*) - *A*(*v*), then |δ(*v*)| __<__ *K* and thus ||δ|| is bounded.

Consider φ(_{λ}) = for an essentially unique ∈ , where ± ∈ . As φ(0) = 0, we have that φ(*V _{k}*

_{λ}) = . The collection

_{λ}does not consist of equally spaced B-planes, i.e. the distance between the two B-planes

*V*and

*V*

_{-}

_{λ}is twice the distance between any other two successive B-planes. However,

does consist of equally spaces B-planes. Choose λ_{1}, λ_{2}, ..., λ* _{n}* ∈ Λ such that the corresponding collections , with 1

__<__

*i*

__<__

*n*, are linearly independent. Then

defines a tiling of ^{n} by identical parallelepipeds. To finish the proof, we need to show that φ maps this tiling to a uniform tiling of ^{n}. It suffices to show that if we have *n* linearly independent collections of B-planes as above, then the images of these collections under φ are linearly independent as well. So let us prove this. Take *n* linearly independent collections . The union of these B-planes tile ^{n} into *n*-dimensional parallelepipeds. Take one such parallelepiped . Then ∂ is topologically equivalent to ^{n-1}. Because φ is a homeomorphism, φ(∂) is topologically equivalent to ^{n-1} as well. This can only be if the collections are linearly independent. As the collections are linearly independent, the union of the B-planes from the collections form a tiling of ^{n}. This tiling is preserved by φ which now can be approximated by the linear map *A* as described in (9).

□

Let (*r, R*) ⊂ ^{n} be the Euclidean annulus with inner radius *r* and outer radius *R* centered at 0 ∈ ^{n}. The following result describes the asymptotic properties of the Brillouin zones, see (Jones 1984) and (Skriganov 1987). We give a sketch of the proof for the convenience of the reader.

LEMMA 7. *For every k there exist *0* < r _{k} < R_{k} < *∞

*such that*

*B _{k} *⊂

*(*

*r*), with

_{k}, R_{k}*| R*

_{k}- r_{k}|__<__C,*for some constant C > 0 independent of k.*

SKETCH OF THE PROOF. The condition that *v* ∈ Int(*B _{k}*) is, by Proposition 1, equivalent to the number of lattice points of Λ contained in the Euclidean ball

*D*(

*v*, |

*v*|) being equal to

*k*. As this number, up to an error relatively small compared to the total number of lattice points for large |

*v*|, does not depend on

*v*but only on |

*v*|, the claim follows for Int(

*B*) and therefore for

_{k}*B*by passing to the closure.

_{k}□

Let us now finish the proof of our main result.

PROOF OF THEOREM A. By Lemma 6, there exists a linear *A* ∈ GL(*n*, ) such that φ is homotopic to *A*, that is, there exists a uniformly bounded δ: ^{n }→ ^{n} such that φ(*v*) = *A*(*v*) + δ(*v*). By Lemma 5, we have that φ(*B _{k}*) =

_{k}for every

*k*

__>__1. By Lemma 7, the Brillouin zones

*B*and

_{k}_{k}are contained in Euclidean annuli with uniformly bounded thickness. It thus follows that, as δ is uniformly bounded,

*A*sends spheres to spheres. Therefore, by standard linear algebra,

*A*is an orthogonal mapping, i.e.

*A*∈ O(

*n*,). To finish the proof, we must show that = φ() =

*A*(). From this it follows that =

*A*(Λ) as every

*B*-plane is the perpendicular bisector of a point of the corresponding lattice.

To prove this, it suffices to show that φ(_{λ}) = *A*(_{λ}) for every _{λ}. We define the axis of _{λ} to be the line through the origin perpendicular to the B-plane *V*_{λ} ⊂ _{λ}. Let *l* be the axis _{λ} and the axis of φ(_{λ}) and denote *l'* = *A*(*l*). We claim that = *l'*. Indeed, if ≠ *l'*, then the planes φ(*V*_{λ}) and *A*(*V*_{λ}) are not parallel, with *V*_{λ} ⊂ _{λ}. We can choose a point *v* ∈ *V*_{λ} (with big distance from the axis *l*), such that the ball centered at *A*(*v*) with radius *K* misses the hyperplane φ(*V*_{λ}) altogether, contradicting Lemma 6. Therefore, = *l'*. Similarly, the distance between two successive planes in *A*(_{λ}) and φ(_{λ}) has to be equal, as assuming otherwise is easily seen to yield again a contradiction with the uniform bound on |δ(*v*)| = |*A*(*v*) - φ(*v*)|. Therefore, φ(_{λ}) = *A*(_{λ}) and since this holds for every _{λ}, it follows that = φ() = *A*().

Thus, as the lattices Λ and are related by an element of uO(*n*,), the tori are isometric, up to rescaling.

□

**CONCLUDING REMARKS**

The central question raised is what geometrical information of a closed Riemannian manifold is encoded in the mere topology of its focal decomposition. We showed that for flat *n*-tori, the isometry type is essentially determined by the topology of the focal decomposition at a single tangent plane, since the torus is homogeneous.

In general however, considering the focal decomposition at a single basepoint would not suffice in order to determine the geometry of the underlying manifold. Indeed, if one takes a round two-sphere and an ellipsoid of revolution, then the focal decomposition in two tangent planes, one in either surface, being homeomorphic, or even equal, does not imply these are isometric, as an ellipsoid of revolution hasumbilical points at which basepoint the focal decomposition equals that of a round sphere. At other basepoints the focal decomposition of an ellipsoid will be different from that of the round sphere.

Let us further remark the following. From the focal decomposition at a given basepoint, one can determine how many geodesics of a given length start at the basepoint and end at another certain point. Besides this information, the focal decomposition also contains information about how these loci of points * interrelate* and this information is important for the above rigidity phenomenon in the following sense.

A notion similar to, but in a sense weaker than, the focal decomposition, is the *length spectrum of a manifold*, which records the lengths of closed geodesics of a manifold, taking into account the multiplicity of geodesics given a certain length. In the setting of flat tori, this is determined as follows. Let Λ ⊂ ^{n} be a lattice of rank *n* and record the radii ρ for which the (Euclidean) sphere *S*_{ρ} of radius ρ centered at the origin in ^{n} meets Λ and count the number of lattice points meeting the sphere *S*_{ρ}. Even though this information determines for example the two-torus up to isometry, it fails to do so in higher dimensions. More precisely, it was shown in (Witt 1941) that in dimension 16 there exist lattices Λ, ⊂ ^{16} that are not SO(16, ) equivalent, yet have equal spectra. Using this information, it was remarked in (Milnor 1964) that the sequence of eigenvalues of the Laplace operator of a compact Riemannian manifold (*M,g*) does not, in general, characterize its Riemannian metric.

In (Peixoto 1994) a notion of spectrum is discussed which is similar to the length spectrum. Take again a flat torus and now record the radii for which the sphere *S*_{ρ} in the cover either (1) is tangent to a B-plane or (2) meets an intersection of two or more B-planes. Call this sequence the *focal spectrum* of the torus. The sequence of radii in the length spectrum above is a subsequence of this focal spectrum, but the focal spectrum records radii that are not present in the length spectrum. Moreover, the focal spectrum is very sensitive to the position of the lattice points in space and seems a finer measurement. Let us pose here the question whether for flat *n*-tori, with *n* __>__ 2, the focal spectrum determines the geometry of the torusup to isometry.

**ACKNOWLEDGMENTS**

The authors thank the referee for constructive and helpful comments and suggestions that helped improve the manuscript. Further, the authors thank Sebastian van Strien for several comments on the manuscript.Ferry Kwakkel received financial support from Conselho Nacional de Desenvolvimento Científico eTecnológico (CNPq) grant 301838/2003-8 and Marie Curie grant MRTN-CT-2006-035651 (CODY).Mauricio Peixoto received financial support from CNPq grant 301838/2003-8.

**REFERENCES**

HIRSCH H. 1976. Differential topology, Springer Verlag. [ Links ]

JONES G. 1984. Geometric and asymptotic properties of Brillouin zones in lattices. Bull LMS 16: 241-263. [ Links ]

KUPKA I AND PEIXOTO M. 1993. On the enumerative geometry of geodesics, Springer Verlag. From Topology to Computation-Proceedings of the Smalefest. [ Links ]

KUPKA I, PEIXOTO M AND PUGH C. 2006. Focal stability of Riemann metrics. J reine angew Math 593: 31-72. [ Links ]

KWAKKEL F. 2006. Rigidity of Brillouin zones, Master's thesis, University of Groningen. [ Links ]

KWAKKEL F. 2010. Focal rigidity of hyperbolic surfaces. (Unpublished). [ Links ]

MILNOR J. 1964. Eigenvalues of the Laplace operator on certain manifolds. Proc Natl Acad Sci USA 51: 542. [ Links ]

MOSTOW G. 1968. Quasi-conformal mappings in n-space and the rigidity of the hyperbolic space forms. PublMath IHES 34: 53-104. [ Links ]

PEIXOTO M. 1982. On end points boundary value problems. J Differ Equations 44: 273-280. [ Links ]

PEIXOTO M. 1994. Sigma décomposition et arithmétique de quelques formes quadratiques définies positives, ENS Editions Fontenay. Thom's Festschrift, Passion des Formes 2: 455-479. [ Links ]

PEIXOTO M. 1997. Focal decomposition in geometry, arithmetic and physics, Walter de Gruyter. Geometry,Topology and Physics, p. 213-231. [ Links ]

PEIXOTO M AND PUGH C. 2007. On focal stability in dimension two. An Acad Bras Cienc 79: 1-11. [ Links ]

PEIXOTO M, ROCHA A, SUTHERLAND S AND VEERMAN J. 2000. On Brillouin zones. Comm in Math Phys 212(3): 725-744. [ Links ]

SKRIGANOV M. 1987. Brillouin zones and the geometry of numbers. J Math Sci 36(1): 140-154. [ Links ]

WITT E. 1941. Eine Identitat zwischen Modulformen zweiten Grades. Abh. Math. Sem. Hansischen Universitat 14: 323-337. [ Links ]

WOLF J. 1977. Spaces of constant curvature. Fourth edition, Publish or Perish. [ Links ]

**Correspondence to:**

Mauricio Matos Peixoto

E-mail: peixoto@impa.br

Manuscript received on September 20, 2010; accepted for publication on January 25, 2011

AMS Classification: Primary 53C24; Secondary 53C22.

1 containing a residual subset in the space of smooth metrics ^{∞}(*M*) equipped with the *C*^{∞} strong Whitney topology.