Causal Holography in Application to the Inverse Scattering Problems

For a given smooth compact manifold $M$, we introduce an open class $\mathcal G(M)$ of Riemannian metrics, which we call \emph{metrics of the gradient type}. For such metrics $g$, the geodesic flow $v^g$ on the spherical tangent bundle $SM \to M$ admits a Lyapunov function (so the $v^g$-flow is traversing). It turns out, that metrics of the gradient type are exactly the non-trapping metrics. For every $g \in \mathcal G(M)$, the geodesic scattering along the boundary $\partial M$ can be expressed in terms of the \emph{scattering map} $C_{v^g}: \partial_1^+(SM) \to \partial_1^-(SM)$. It acts from a domain $\partial_1^+(SM)$ in the boundary $\partial(SM)$ to the complementary domain $\partial_1^-(SM)$, both domains being diffeomorphic. We prove that, for a \emph{boundary generic} metric $g \in \mathcal G(M)$ the map $C_{v^g}$ allows for a reconstruction of $SM$ and of the geodesic foliation $\mathcal F(v^g)$ on it, up to a homeomorphism (often a diffeomorphism). Also, for such $g$, the knowledge of the scattering map $C_{v^g}$ makes it possible to recover the homology of $M$, the Gromov simplicial semi-norm on it, and the fundamental group of $M$. Additionally, $C_{v^g}$ allows to reconstruct the naturally stratified topological type of the space of geodesics on $M$.


Introduction
Let M be a compact connected and smooth Riemannian n-manifold with boundary. In this paper, we apply the Holographic Causality Principle ( [K4], Theorem 3.1) to the geodesic flow on the space SM of unit tangent vectors on M .
Our main observation is that the holographic causality is intimately linked to the classical inverse scattering problems. So the geodesic scattering is the focus of our present investigation.
Let us briefly explain what we mean by the scattering data on a given compact connected Riemannian manifold M with boundary ∂M . For each geodesic curve γ ⊂ M which "enters" M through a point m ∈ ∂M in the direction of an unitary tangent vector u ∈ T m (M ), we register the first along γ "exit point" m ′ ∈ ∂M and the exit direction, given by a unitary tangent vector u ′ ∈ T m ′ (M ) at m ′ . Of course, not for any geodesic γ on M , this construction makes sense: γ \ m may belong to the interior of M . In such case, the geodesic γ through m ∈ ∂M never reaches the boundary again.
We strive to restore the metric g on M , up to the action of M -diffeomorphisms that are the identity maps on ∂M , from the scattering data 1 . This restoration seems harder when (M, g) has closed geodesics or geodesics that originate at a boundary point, but never reach the boundary ∂M again.
In special cases, the restoration of g is possible. This conclusion is very much inline with the results from [Cr], [Cr1], [We], as well as with [SU] - [SU4] and [SUV] - [SUV3]. The recent paper [SUV3], which reflects the modern state of the art, contains the strongest results.
Recall that there are examples of two analytic Riemannian manifolds with isometric boundaries and identical scattering (even lens) data, but with different C ∞ -jets of the metric tensors at the boundaries (see [Zh], Theorem 4.3)! However, these examples have trapped geodesics; the metrics there are fundamentally different from the ones we study here.
Moving towards the goal of g-reconstruction from the scattering data, we introduce a class of metrics g which we call metrics of the gradient type (see Definition 2.1). By Lemma 2.2, the the gradient type metrics are exactly the nontrapping metrics. In Theorem 2.1, we prove that, given any compact connected Riemannian n-manifold (N, g) with boundary that admits a ǫ-flat triangulation, where ǫ > 0 is a universal constant that depends only on dim(N ) (see Definition 2.3), it is possible to delete several smooth n-balls {B α } from N , so that M = N \ α B α is diffeomorphic to N , and the restriction g| M is of the gradient type. In particular, any connected M with boundary admits a gradient type Riemannian metric g, provided that M admits a ǫ-flat triangulation for a sufficiently small ǫ > 0 and a different metricg. The gradient type metrics form an open nonempty set G(M ) in the space R(M ) of all Riemannian metrics on M (Corollary 2.2).
Then we introduce another class of Riemannian metrics g on M such that the boundary ∂M is "generically curved" in g (see Definition 2.4). We call such g geodesically boundary generic, or boundary generic for short. We denote by G † (M ) the space of geodesically boundary generic metrics of the gradient type. We speculate (see Conjecture 2.2) that, for any M , the space G † (M ) is open and dense in G(M ) and prove that it is indeed open (see Theorem 2.2).
We also consider a subspace G ‡ (M ) ⊂ G † (M ), formed by metrics g for which the geodesic vector field v g on SM is traversally generic in the sense of Definition 3.2 from [K2]. Again, In Theorem 3.3, the main result of this paper, we prove that, for a metric g ∈ G † (M ), the geodesic flow v g on SM is topologically rigid for given scattering data. This means that, when two scattering maps, C v g 1 and C v g 2 , are conjugated with the help of a smooth diffeomorphism Φ ∂ : ∂(SM 1 ) → ∂(SM 2 ), then the un-parametrized geodesic flows on SM 1 and SM 2 are conjugated with the help of an appropriate homeomorphism (often a diffeomorphism) Φ : SM 1 → SM 2 which extends Φ ∂ .
In fact, for all metrics of the gradient type, the geodesic field v g on SM allows for an arbitrary accurate C ∞ -approximations by boundary generic and traversing (or even traversally generic) fields w on SM . For such w, the topological restoration of the winduced 1-dimensional oriented foliation F(w) on SM from the new "scattering data" C w : ∂ + 1 SM (w) → ∂ − 1 SM (w) becomes possible. However, the difficulty is to find the approximating field w in the form vg for some metricg on M .
Let T (v g ) denote the space of geodesics in M . In Theorem 3.4, we prove that, for any metric g ∈ G † (M ), the scattering data are sufficient for a reconstruction of the stratified topological type of T (v g ). In general, T (v g ) is not a smooth manifold, but for g ∈ G ‡ (M ), it is a compact CW -complex [K4]. For g ∈ G † (M ), the space T (v g ) carries some "surrogate smooth structure" [K4]. This structure is also captured by the scattering data.
In Theorem 3.5, we prove that, for any g ∈ G † (M ), the geodesic scattering map C v g allows for a reconstruction of the homology spaces H * (M ; R) and H * (M, ∂M ; R), equipped with the Gromov simplicial semi-norms (see [G] for the definition). In particular, the simplicial volume of the relative fundamental cycle [M, ∂M ] can be recovered from the scattering map.
If dim M ≥ 3, the geodesic scattering map C v g also allows for a reconstruction of the fundamental group π 1 (M ), together with all the homotopy groups {π i (M )} i<dim M . Moreover, if the tangent bundle of M is trivial, C v g allows for a reconstruction of the stable topological type of the manifold M .
Let (N, g) be a closed smooth locally symmetric Riemannian n-manifold, n ≥ 3, of negative sectional curvature. In Theorem 3.7, we prove that, if and M is obtained from N by removing the interior of a smooth n-ball so thatg = def g| M is of the gradient type and boundary generic, then the knowledge of the scattering map C vg : S n−1 × D n−1 → S n−1 × D n−1 makes it possible to reconstruct N and the metric g, up to a positive scalar factor. However, this result does not imply the possibility of reconstructingg from C vg .
In Section 4, we study the inverse scattering problem in the presence of additional information about the lengths of geodesic curves that connect each point (m, v) ∈ ∂ + 1 (SM ) to the "scattered" point C v g (m, v) ∈ ∂ − 1 (SM ). This information is commonly called "the lens data". Our main result here, Theorem 4.1, claims the strong topological rigidity (see Definition 3.1) of the geodesic flow for given lens data. The proof of the theorem requires additional hypotheses about the metric g, which we call "ballanced" (see Definition 4.1). We apply Theorem 4.1 to the case of manifolds M , obtained from closed Riemannian manifolds (N, g) by removing special domains U ⊂ N . Then the scattering problem on (M, g| M ) is intimately linked to the geodesic flow on SN (see the "Cut and Scatter" Theorem 4.2). By combining Theorem 4.2 with some classical results from [CK], [BCG], we are able to reconstruct (N, g) from the scattering and lens data on M , provided that either N is locally symmetric and of a negative sectional curvature, or admits a non-vanishing parallel vector field (see Corollary 4.2 and Corollary 4.3).
In general, our approach to the inverse scattering problem relies more on the methods of Differential Topology and Singularity Theory, and less on the more analytical methods of Differential Geometry and Operator Theory. Of course, this topological approach has its limitations: by itself it allows only for a reconstruction of the geodesic flow from the scattering and lens data.
The assumption that the Riemannian manifolds in this study are smooth seems to be crucial for the effectiveness of our methods. Perhaps, similar results are valid under the weaker assumption that the n-manifolds we investigate have a C 2n -differentiable structure.

Boundary Generic Metrics of the Gradient Type
Let M be a compact n-dimensional smooth Riemannian manifold with boundary, and g a smooth Riemannian metric on M . Let SM → M denote the tangent spherical bundle. With the help of g, we may interpret the bundle SM is a subbundle of the tangent bundle T M .
The metric g on M induces a partially-defined one-parameter family of diffeomorphisms {ψ t g : SM → SM }, the geodesic flow. Each unit tangent vector u at a point m ∈ M \ ∂M determines a unique geodesic curve γ (m,u) ⊂ M trough m in the direction of u. When m ∈ ∂M , the geodesic curve γ (m,u) is uniquely-defined for unit vectors u ∈ T m M that point inside of M .
By definition, ψ t g (m, u) is the point (m ′ , u ′ ) ∈ SM such that the distance along γ (m,u) from m ′ ∈ γ (m,u) to m is t, and u ′ is the tangent vector to γ (m,u) at m ′ . We stress that ψ t g (m, u) may not be well-defined for all t ∈ R and all u ∈ T M : some geodesic curves γ may reach the boundary ∂M in finite time, and some tangent vectors u ∈ T M | ∂M may point outside of M . However, such constraints are common to our enterprise ( [K], [K1] - [K5]), which deals with such boundary-induced complications.
In the local coordinates (x 1 , . . . , x n , p 1 , . . . p n ) on the tangent space T M , the equations of the geodesic flow are:ẋ where g αβ (x) is the metric tensor.
This system can be rewritten in terms of the Hamiltonian function -the kinetic energy-in the familiar Hamiltonian form: The projections of the trajectories of (2.1) (or of (2.2)) on M are the geodesic curves.
Let v g ∈ T (T M ) be the field on the manifold T M , tangent to the trajectories of the geodesic flow Ψ g t on T M . Note that v g -flow is tangent to SM ⊂ T M , so v g | SM = 0. In fact, the integral trajectories of v g are geodesic curves in the Sasaki metric g = g(g) on T (T M ) ( [Be], Prop. 1.106).
Let X be a compact smooth (m + 1)-manifold with boundary. Any smooth vector field v on X, which does not vanish along the boundary ∂X, gives rise to a partition where it is directed outwards or is tangent to ∂X. We assume that v| ∂X , viewed as a section of the quotient line bundle T (X)/T (∂X) over ∂X, is transversal to its zero section. This assumption implies that both sets ∂ ± 1 X(v) are compact manifolds which share a common boundary Morse has noticed (see [Mo]) that, for a generic vector field v, the tangent locus ∂ 2 X(v) inherits a similar structure in connection to ∂ + 1 X(v), as ∂X has in connection to X. That is, v gives rise to a partition ∂ + 2 X(v) ∪ ∂ − 2 X(v) of ∂ 2 X(v) into two sets: the locus ∂ + 2 X(v), where the field is directed inward of ∂ + 1 X(v) or is tangent to ∂ 2 X(v), and ∂ − 2 X(v), where it is directed outward of ∂ + 1 X(v) or is tangent to ∂ 2 X(v). Again, we assume that v| ∂ 2 X(v) , viewed as a section of the quotient line bundle T (∂X)/T (∂ 2 X(v)) over ∂ 2 X(v), is transversal to its zero section.
For, so called, boundary generic vector fields (see [K1] for a formal definition), this structure replicates itself: the cuspidal locus ∂ 3 X(v) is defined as the locus where v is tangent to v) or is tangent to its boundary. We can repeat this construction until we reach . To achieve some uniformity in the notations, put ∂ + 0 X = def X and ∂ 1 X = def ∂X. Thus a boundary generic vector field v on X gives rise to two stratifications: the first one by closed smooth submanifolds, the second one-by compact ones. Here dim(X) = m + 1, and dim(∂ j X(v)) = dim(∂ + j X(v)) = m + 1 − j. We will use often the notation "∂ ± j X" instead of "∂ ± j X(v)" when the vector field v is fixed or its choice is obvious.
As any non-vanishing vector field, the geodesic field v g ∈ T (SM ) divides the boundary ∂(SM ) into two portions: ∂ + 1 (SM ), where v g points inside of SM or is tangent to its boundary, and ∂ − 1 (SM ), where it points outside of SM or is tangent to its boundary. In fact, ∂ + 1 (SM ) and ∂ − 1 (SM ) do not depend on g: the first locus is formed by the pairs (m, v), where m ∈ ∂M and v ∈ T m M points inside of M or is tangent to ∂M . Therefore, both ∂ + 1 (SM ) and ∂ − 1 (SM ) are homeomorphic to the tangent (n − 1)-disk bundle of the manifold ∂M . The locus ∂ 2 (SM ) = ∂(∂ + 1 (SM )) = ∂(∂ − 1 (SM )) is also g-independent; it is the space of the sphere bundle, associated with the tangent (n − 1)-bundle T (∂M ).
Definition 2.1. Let (M, g) be a compact connected smooth Riemannian manifold with boundary.
We say that a metric g on M is of the gradient type if the vector field v g ∈ T (SM ) that governs the geodesic flow is of the gradient type: that is, there exists a smooth function This condition is equivalent to the property {F , H g } > 0, whereF : T M \ M → R is a smooth extension of F , the Hamiltonian H g is defined by equations (2.1) and (2.2), and {, } stands for the Poisson bracket of functions on T M .
We denote by G(M ) the space of the gradient-type Riemannian metrics on M . ♦ Figure 1. The flat metric on torus becomes of the gradient type on the complement to a curvy disk (whose "center" is at the corners of the square fundamental domain).
Example 2.1. Consider a flat metric g on the torus T 2 = R 2 /Z 2 and form a punctured torus M by removing an open disk D 2 from T 2 . If D 2 is convex in the fundamental square domain Q 2 ⊂ R 2 , then there exist closed geodesics (with a rational slope with respect to the lattice Z 2 ) that miss D 2 . For such M ⊂ T 2 , the flat metric is not of the gradient type.
However, it is possible to position D 2 ⊂ T 2 so that its liftD 2 to R 2 will have intersections with any line that passes through Q 2 (see Figure 1). We restrict the flat metric g to M = T 2 \ D 2 . For such a choice of (M, g| M ), thanks to Lemma 2.2 below, the metric g| M is of the gradient type. Moreover, by Theorem 2.2, any metric g ′ on M , sufficiently close to this flat metric g| M , is also of the gradient type. Proof. Let σ : In this neighborhood, dF (v g ′ )| U > 0 for all metrics g ′ , sufficiently close to g. For such metrics g ′ , the space of unit spheres S ′ M ⊂ T M is fiberwise close to SM ⊂ T M ; in particular, we may assume that In other words, the non-trapping metrics and the metrics of the gradient type are the same.
Proof. If, for a smooth function F , dF (v g ) > 0, then each v g -trajectory is singleton residing in ∂(SM ) or a closed segment with its both ends residing in ∂(SM ) (we call such vector fields traversing).
Evidently, F prevents v g from having a closed trajectory. Letγ be a trajectory that starts at a point w ∈ SM and is homeomorphic to a semi-open interval. Soγ extends beyond any point onγ that can be reached from w (γ cannot "exit" SM in a finite time). Consider the closure K ofγ. It is a compact and v g -invariant set. So F attends its maximum at a point w ⋆ ∈ K. However, dF (v g ) > 0 at w ⋆ and a germ of a v g -trajectory through w ⋆ belongs to K, a contradiction to the assumption that F attends its maximum at w ⋆ .
A similar argument rules out the (−v g )-trajectories that are homeomorphic to a semiopen interval.
Conversely, by Lemma 5.6 from [K1], any traversing field is of the gradient type. So v g admits a Lyapunov function F .
Thus g is of the gradient type if and only if the image of any v g -trajectoryγ under the map SM → M is either a singleton in ∂M or a compact geodesic curve γ whose ends reside in ∂M (by our convention, γ does not extends beyond its two ends). In particular, any g ∈ G(M ) has no closed geodesics in M and no geodesics that originate at the boundary ∂M and are trapped in int(M ) for all positive times.
Corollary 2.1. Let (N, g) be an open Riemannian manifold such that no geodesic curve in N is closed or has an end that is contained in a compact set. Let M ⊂ N be a smooth compact codimension zero submanifold. Then the restriction g| M is a metric of the gradient type, and so are all the metricsg on M that are sufficiently close to g| M .
In particular, for any compact domain M with a smooth boundary in the Euclidean space E n or in the hyperbolic space H n , the Euclidean metric g E or the hyperbolic metric g H on M are of the gradient type, and so are all the metricsg that are sufficiently close to g E or g H , respectively.
Proof. Using the hypotheses, no positive time geodesic γ ⊂ M in the metric g| M is an image of a semi-open interval or a closed loop. By Lemma 2.2, the pair (M, g| M ) is of the gradient type.
By Lemma 2.1, any metricg on M , which is sufficiently close to g| M , is of the gradient type as well.
In order to prove Theorem 2.1 below, we will need few lemmas, dealing with smooth triangulations of compact smooth Riemannian manifolds, triangulations that are specially adjusted to the given metric.
Let N be a smooth compact n-manifold. A smooth triangulation T : K → N is a homeomorphism from a finite simplicial complex K to N . The triangulation is assembled out of several homeomorphisms {T j : ∆ → N } j , where ∆ denotes of the standard nsimplex ∆ ⊂ R n+1 , the restriction of T j to the interior of each subsimplex ∆ ′ ⊂ ∆ being a smooth diffeomorphism. The homeomorphisms {T j : ∆ → N } j commute with affine maps of subsimplicies ∆ ′ ⊂ ∆, the maps that assemble K out of several copies of ∆.
Definition 2.3. Consider a smooth triangulation T : K → N of a smooth compact nmanifold N with a Riemannian metric g.
Let γ ⊂ T j (∆) be a geodesic arc, andγ j = def (T j ) −1 (γ) ⊂ ∆ its preimage in the standard n-simplex ∆. We denote by l E (γ j ) its length in the Euclidean metric on ∆ ⊂ R n+1 . Let λ(γ j ) ⊂ ∆ be a line segment that shares its ends withγ j . We denote by l E (λ(γ j )) its length.
Pick a number ǫ > 0. We say that a smooth triangulation T : K → N is ǫ-flat with respect to g if, for each index j and any geodesic arc γ ⊂ T j (∆), the inequality is valid: ♦ Note that the inequality in this definition remains valid under the conformal scaling of the simplex ∆.
Lemma 2.3. Let N be a compact smooth n-manifold, equipped with a Riemannian metric g, and U a convex domain in R n , equipped with the Euclidean metric g E . Consider a diffeomorphism S : U → S(U ) ⊂ N . Let γ ⊂ S(U ) be a geodesic arc, andγ its S-preimage. We denote by λ(γ) the segment in U that shares its ends with the arcγ.
Take a typical point x ∈γ. By the hypotheses, l E (λ(γ)) < (1 + ǫ)ℓ. Thus . Therefore x ∈ E. As a result,γ is contained in the neighborhood of λ of the radius δ. Let ∆ be the standard n-simplex, residing in R n+1 and equipped with the Euclidean metric. We denote by β∆ and β 2 ∆ the first and the second barycentric subdivisions of ∆. For any vertex a ∈ β∆, we form its star St(a) in β 2 ∆. For any 0 < θ ≤ 1, we denote by St(a, θ) ⊂ ∆ the θ-homothetic image of St(a), the center of homothety being at a ∈ β∆. Consider the set By a line in ∆ we mean an intersection of an affine line in R n ⊂ R n+1 with ∆.
Lemma 2.4. There exists a number θ ⋆ (n) ∈ (0, 1) such that every line L ⊂ ∆ has a point a that belongs to the interior of St(θ ⋆ (n)). 2 Proof. Let ∆ ′ be a typical simplex of β∆. It will suffice to show that there exists an universal θ ⋆ (n) ∈ (0, 1), such that any line L ⊂ ∆ ′ has a point b that belongs to the interior of some set St(a, θ ⋆ (n)) ∩ ∆ ′ , for a vertex a ∈ β∆.
For each θ ∈ (0, 1], consider the polyhedron P (θ) = def ∆ \ int(St(θ)). For each simplex The space of lines L in ∆ ′ is compact; in fact, it is a continuous image of a compact subset K of the Grassmanian Gr(n + 1, 2). K consists of the 2-planes through the point (1, 0, . . . , 0) ∈ R n+1 that have a nonempty intersections with ∆ ′ ⊂ R n . Here the hyperplane R n ⊂ R n+1 is defined by equating the first coordinate with zero. This construction gives rise to a continuous map π : K → L. Any line whose intersection with ∆ ′ ⊂ R n is not a singleton (equivalently whose intersection with ∆ ′ is not a vertex of ∆ ′ ), defines a unique point in Gr(n + 1, 2).
Consider an increasing sequence {θ i ∈ (0, 1)} i that converges to 1. Contrarily to the claim of the lemma, assume that for each i, there exists a line L i that is contained in the polyhedron P ∆ ′ (θ i ).
Using compactness of L, there exists a subsequence {L i k } k that converges to a limiting line L ⊂ ∆ ′ . Then L ⊂ k P ∆ ′ (θ i k ) = P ∆ ′ (1). Note that L is missing the verticies of ∆ ′ . On the other hand, by the construction of β∆ ′ , if a line L ⊂ ∆ ′ has a pair of distinct points b, c such that the segment [a, b] ⊂ P ∆ ′ (1), then L ∩ int(St(1)) = ∅.
• Let (N, g) be a closed connected smooth Riemannian n-manifold that admits a ǫ ⋆ (n)flat smooth triangulation 3 . Then there exists a smooth n-ball B ⊂ int(N ) such that the restriction of the metric g to M = N \ int(B) is of the gradient type.
• If (N, g) is a compact connected Riemannian n-manifold with boundary that admits a ǫ ⋆ (n)-flat smooth triangulation. Then, for each connected component ∂ α N of the boundary ∂N , there exists a relative n-ball (B α , δB α ) ⊂ (N, ∂ α N ), where δ α B = def B ∩ ∂ α N is the (n − 1)-ball, so that all the balls are disjointed and the restriction of the metric g to the manifold M = N \ α int(B α ) is of the gradient type. The manifolds M and N are diffeomorphic.
Proof. The idea is first to construct a number of disjointed balls in N so that each geodesic curve will hit some ball. Thus deleting such balls from N will produce a "geodesically traversing swiss cheese". When N is closed, we will incorporate all the balls into a single smooth one. When N has a boundary, then the balls will be incorporated in a domain, whose removal from N does not change the smooth topology of N .
Let βT and β 2 T denote the first and second barycentric subdivisions of a given smooth triangulation T : K → N . As before, T is assembled from a collection of singular simplicies Then, for any geodesic curve . So, by Definition 2.3, the curveγ j must intersect the neighborhood U j . As a result, γ has a non-empty inter- We can smoothen their boundaries by encapsulating each ball When N is closed, we place the disjoint union A = def v∈βTB v inside of a single smooth ball B ⊂ N . This may be accomplished by attaching 1-handles to A so that the cores of the handles form a tree. Any geodesic in N hits B since it hits A.
In the case of a non-empty boundary ∂N , by attaching first some relative 1-handles {H i ≈ D n−1 + × [0, 1]}, whose cores {0 × [0, 1]} reside in ∂N , transforms A ∩ ∂N into a disjoint union of several (n − 1)-balls, each ball residing in its connected component of ∂N . Again, in each component ∂ α N of ∂N , the attaching the handles is guided by a tree.
In the process, we incapsulate A into a disjoint union of several smooth balls that reside in the interior of N and several relative balls, each of which is touching the corresponding boundary component ∂ α N . These relative balls are in 1-to-1 correspondence with the boundary components. Then connecting the balls in the interior on N to the balls that touch the boundary ∂N by 1-handles (which reside in N ) produces the desired relative pairs {(B α , B α ∩ ∂N )} α , one pair per component of ∂N . Again, any geodesic in N hits the disjoint union of these pairs. The removal of the union from N results in a smooth manifold M , which is diffeomorphic to N .
Corollary 2.2. If a compact connected smooth Riemannian n-manifold (M, g) with boundary admits a ǫ ⋆ (n)-flat triangulation, then M admits a Riemannian metricg of the gradient type.
In Note that the smooth balls, whose removal from N (the "geodesic Swiss cheese") delivers, by Theorem 2.1, a metric of the gradient type on M , are not necessarily convex in the original metric g.
Conjecture 2.2. For any compact smooth Riemannian manifold (N, g), there exists a finite disjoint union of smooth convex balls whose removal from N delivers the metric g M of the gradient type on their complement M . ♦ Definition 2.4. Let (M, g) be a compact connected Riemannian manifold with boundary.
• We say that a metric g on M is geodesically boundary generic if the geodesic vector field v g ∈ T (SM ) is boundary generic 4 with respect to the boundary ∂(SM ) = SM | ∂M .
• We say that a metric g on M is geodesically traversally generic if the vector field v g ∈ T (SM ) is of the gradient type and is traversally generic 5 with respect to ∂(SM ) = SM | ∂M .
We denote the space of all gradient type metrics on M by the symbol G(M ), the space of all geodesically boundary generic metrics of the gradient type on M by the symbol G † (M ), and the space of all geodesically traversally generic metrics on M by the symbol G ‡ (M ).
is such that there exists a geodesic curve γ ⊂ M whose arc is contained in ∂M , then the metric g is not geodesically boundary generic. For example, the Euclidean metric on R 3 is not geodesically boundary generic with respect to the ruled surface S = {z = x 2 − y 2 }: indeed, S is comprised of lines (geodesics). ♦ Example 2.2. Let M be a domain in the Euclidean plane R 2 , bounded by simple smooth closed curves. Then the flat metric g E is boundary generic on M if and only if ∂M is comprised of strictly concave and convex loops or arcs that are separated by the cubic inflection points. In particular, no line, tangent to the boundary, has the order of tangency that exceed 3 (see Example 3.1 for the details). ♦ Question 2.1. How to formulate the property of the geodesic vector field v g being boundary generic/traversally generic with respect to ∂(SM ) in terms of the geodesic curves and Jacobi fields in M and their interactions with ∂M ? ♦ Remark 2.3. Of course, not any metric g on M is of the gradient type. At the same time, thanks to Theorem 2.1, the gradient-type metrics form a massive set. Examples of geodesically boundary generic metrics are also not so hard to exhibit. They require only a localized control of the geometry of ∂M in terms of g (see Lemmas 3.2 and 3.3). For instance, if all the components of ∂M are either strictly convex or strictly concave in g, then g is geodesically boundary generic.
In contrast, to manufacture a geodesicly traversally generic metric is a more delicate task. In fact, we know only few examples, where gradient type metrics are proven to be of the traversally generic type: these examples have gradient-type metrics in which the boundary ∂M is strictly convex (see Corollary 3.7). However, we suspect that traversally generic metrics are abundant (see Conjecture 2.3). In any case, by Theorem 2.2 below, the property of a metric g to be traversally generic is stable under small smooth perturbations of g. ♦ So we have only a weak evidence for the validity of following conjecture; however, the world in which it is valid seems to be a pleasing place... If a metric g on M is of the gradient type, then the geodesic field v g on SM can be approximated arbitrary well in the C ∞ -topology by a traversally generic fieldṽ ∈ V ‡ (SM ).
Proof. The construction of the geodesic flow g ⇒ v g defines a continuous map where V(SM ) denotes the space of all vector fields on SM . By Theorem 6.7 and Corollary 6.4 from [K2], the subspace V ‡ (SM ), formed by traversally generic (and thus gradient-like) vector fields, is open in V(SM ). Similarly, the boundary generic and traversing fields form Since the germ of the geodesic γ through a point m ∈ M in the direction of a given unit tangent vector u depends smoothly on metric g, we conclude that F is a continuous map. Therefore, are open sets in R(M ).
By definition, for any g ∈ G(M ), the geodesic field v g on SM is of the gradient type (and thus traversing). Again, by Theorem 6.7 from [K2], v g can be approximated by a traversally generic fieldṽ ∈ V ‡ (SM ). Note however that the projections ofṽ-trajectories under the map SM → M may not stay C ∞ -close to the geodesic lines in the original metric g due to the concave boundary effects.
By Remark 2.4. Let M be a codimension 0 compact submanifold of a compact Riemannian manifold N such that M ⊂ int(N ). If a metric g on the ambient N is of the gradient type, then, by Corollary 2.2, its restriction g| M is of the gradient type on M .
Of course, if g is geodesically traversally generic on a compact manifold N , it may not be geodesically traversally generic on M . ♦ Example 2.3. Consider the hyperbolic space H n with its virtual spherical boundary ∂H n and hyperbolic metric g. The space H n is modeled by the open unit ball in the Euclidean space E n . Each geodesic line hits ∂H n at a pair of points, where it is orthogonal (in the Euclidean metric) to ∂H n . For each oriented geodesic line γ trough a given point x ∈ H n in the direction of a given vector w, consider the distance d H (x, w) between x and the unique point y ∈γ ∩ ∂H n that can be reached from x by moving along γ in the direction of −w, that is, d H (x, w) is the length of the circular arc (y, x) ⊂γ in E n . Evidently, d H (x, w) is strictly increasing, as one moves along the oriented γ.
Let M ⊂ H n be a compact codimension 0 smooth submanifold, equipped with the induced hyperbolic metric. Then the geodesic field v g on the space SM is of the gradient type, since d H (x, w) is strictly increasing along the oriented trajectories of v g .
Again, by Theorem 2.2, any metric g ′ on M , sufficiently close to the hyperbolic metric g| M , is also of the gradient type. ♦

The Geodesic Scattering and Holography
In this section, we will apply the Holographic Causality Principle [K4], to geodesic flows on the spaces SM of unit tangent vectors on compact smooth Riemannian manifolds M with boundary.
We will be guided by a single important observation: if a metric g on M is of the gradient type, then the causality map (for generic smooth traversing vector fields v on compact manifolds X with boundary), is available! To get a feel for the nature of the causality map from [K4], the reader may glance at Figure 3. It depicts the causality map C v for a traversing field v on a surface X with boundary.
The map C v g represents the g-induced geodesic scattering: indeed, with the help of C v g , each unit tangent vector u ∈ T + M | ∂M is mapped ("scattered") to a unit tangent vector u ′ ∈ T − M | ∂M . Here T ± M | ∂M ⊂ T M | ∂M denote the half-spaces, formed by vectors along ∂M that are tangent to M and point inside/outside of M . Figure 3. The vertical traversing vector field v on a surface X divides its boundary δ 1 X into two loci, δ + 1 X and δ − 1 X. The causality map C v : δ + 1 X → δ − 1 X is shown by the vertical arrows. The figure emphasizes the discontinuous nature of the map C v .
We will employ boundary generic or even traversally generic metrics g of the gradient type in order to control well the local structure of the causality map C v g .
For each tangent vector w ∈ T x M | ∂M , consider its orthogonal decomposition w = n ⊕ u with respect to the metric g, where n is the exterior normal to ∂M and u ∈ T x (∂M ). We Proof. Examining the definition of the strata ∂ ± 1 (SM )(v g ) and the construction of τ g , we see that τ g maps ∂ + 1 (SM )(v g ) to ∂ − 1 (SM )(v g ) by an orientation-reversing diffeomorphism. Given a compact Riemannian manifold (M, g), we denote by F(v g ) the oriented 1dimensional foliation on SM , produced by the geodesic field v g .
Let ψ t : SM → SM be the v g -flow generated local diffeomorphism; for each x ∈ SM , the image ψ t (x) is well-defined only for some values of t, a time interval in R.
Definition 3.1. Given two compact Riemannian n-manifolds, (M 1 , g 1 ) and (M 2 , g 2 ), consider the geodesic fields v g 1 on SM 1 and v g 2 on SM 2 .
• We say that the metrics g 1 and g 2 are geodesic flow topologically strongly conjugate if there is a homeomorphism Φ : The restriction of Φ to each v g 1 -trajectory is required to be an orientation-preserving diffeomorphism.
• We say that the metrics g 1 and g 2 are geodesic flow topologically conjugate if there is a homeomorphism Φ : SM 1 → SM 2 such that it maps each leaf of F(v g 1 ) to a leaf of F(v g 2 ), the map Φ on every leaf being an orientation-preserving diffeomorphism. ♦ Both notions of conjugacy come in different flavors by requiring that g i , Φ ∂ , and Φ belong to various classes of C k -smooth objects, where k = 0, 1, 2, . . . , ∞. For example, we may consider Φ ∂ , (Φ ∂ ) −1 of the class C ∞ , while Φ, (Φ) −1 may be just homeomorphisms (of the class C 0 ).
For complete (in particular, closed) manifolds, the investigation of geodesic flow topologically conjugate metrics 7 led to a variety of strong results [BCG], [Cr], [Cr1], [CK] [CEK], [Mat], [SUV], [SU4]. Let us describe their spirit: under certain conditions, imposed on metrics a priori, the geodesic flow topological conjugacy implies an isometry of the underlying metrics! In some cases, to establish the isometry, one needs to know also the lengths of geodesic lines (the, so called, the lens data). In particular, in [CEK], the following result has been established.
If there is a homeomorphism Φ :  Then any Riemannian manifold (N 1 , g 1 ) whose geodesic flow is C 1 -conjugate 8 to that of (N, g) is isometric to (N, g). ♦ Motivated by the spirit of these theorems (as far as we understand, they do not apply directly to the geodesic flows on manifolds with boundary), we move towards linking the geodesic flow topologically conjugate Riemannian manifolds with the problem of inverse geodesic scattering. In its more daring formulation, the problem of inverse geodesic scattering asks to reconstruct the metric g on M from the scattering map C v g : ∂ + 1 (SM ) → ∂ − 1 (SM ), the reconstruction is thought up to the natural action of Diff(M, ∂M ), the group of diffeomorphisms that are the identity maps on ∂M , on the Riemannian metrics (see Remark 3.2).
In the definition below, we assume that a given smooth compact Riemannian manifold M is embedded properly into a larger open manifoldM , and the metric g on M is extended smoothly to a metricĝ onM . However, the properties, described in the definition, do not depend on a particular extension (M ,ĝ) ⊃ (M, g).
Definition 3.2. We say that a boundary generic metric g of the gradient type on a compact manifold M has the property A, if one of the following statements holds: • Any geodesic curve γ ⊂ M , but a singleton, has at least one point of transversal intersection with the boundary ∂M . If the geodesicγ ⊂M is such thatγ ∩ M is a singleton m, thenγ is quadratically tangent to ∂M at m. • Any geodesic curveγ ⊂M that is tangent to ∂M , is quadratically tangent to it. ♦ Remark 3.1. We will see later that the first bullet in property A implies that any trajectory of the geodesic flow v g on SM , but a singleton, has at least one point of transversal intersection with the boundary ∂(SM ). The trajectories-singletons are quadratically tangent to ∂(SM ) in SM . In terms of [K2] and [K4], the combinatorial tangency types of such trajectories do not belong to the closed poset (33) ∪ (4) ⊂ Ω • .
Similarly, the second bullet in property A implies that, if a vĝ-trajectory is tangent to ∂(SM ) at a point, then it is quadratically tangent there. In other words, the combinatorial tangency types of such trajectories do not belong to the closed poset (3) ⊂ Ω • .
The property A reflects the shortcomings of our proof of the smooth version of The Holography Theorem 3.1 from [K4]. We suspect that it is a superfluous assumption, and the conjugating homeomorphism in The Holography Theorem is actually a diffeomorphism. Therefore, property A is likely a superfluous constraint, when the conjugating homeomorphism Φ : SM 1 → SM 2 is desired to be a diffeomorphism. Regrettably, we must include property A as a hypotheses in some theorems to follow. ♦ Remark 3.2. Note that the inverse scattering problems on Riemannian manifolds (M, g) have an unavoidable intrinsic ambiguity. It arises from the action of the M -diffeomorphisms that are the identity on ∂M and whose differentials are the identity on T M | ∂M . Let us denote by Diff(M, ∂M ) the group of such diffeomorphisms. Each diffeomorphism φ ∈ Diff(M, ∂M ) acts naturally on g, producing a new metric φ * (g). Since such φ maps geodesics in g to geodesics in φ * (g), (M, g) and (M, φ * (g)) share the same the scattering map. Therefore, for a given random M and C v g , the best we can hope for is to reconstruct g up to the Diff(M, ∂M )-action.
For any φ ∈ Diff(M, ∂M ), the geodesic flows v g and v φ * (g) on T M \ M are strongly conjugated with the help of the diffeomorphism Dφ. ♦ Our main result, Theorem 3.3 below, claims: For smooth boundary generic Riemannian metrics of the gradient type, the inverse geodesic scattering problem is topologically rigid, up to the geodesic flow topologically conjugate equivalence 9 among metrics. Let (M 1 , g 1 ) and (M 2 , g 2 ) be two smooth compact connected Riemannian n-manifolds with boundaries. Let the metrics g 1 , g 2 be geodesically boundary generic, and let g 2 be of the gradient type.
Assume that the scattering maps Then g 1 is also of the gradient type. Moreover, the metrics g 1 and g 2 are geodesic flow topologically conjugate.
If the metric g 2 possess property A from Definition 3.2, then so does g 1 , and the conjugating homeomorphism Φ : SM 1 → SM 2 is a diffeomorphism.
Proof. By the hypotheses, the geodesic field v g 2 is of the gradient type (equivalently, traversing) and boundary generic. If the causality map C v g 1 is not well-defined for some w ∈ ∂ + 1 (SM 1 ), then by the property of Φ ∂ , the map C v g 2 is not well-defined at Φ ∂ (w), a contradiction to the property of v g 2 being traversing. Therefore the v g 1 -trajectory that connects w with C v g 1 (w) is a closed segment or a singleton for any w ∈ ∂ + 1 (SM 1 ); in other words, v g 1 is a traversing field. By Lemma 4.1 from [K1], any traversing field is of the gradient type. So v g 1 is of the gradient type. Thus both causality maps C v g 1 and C v g 2 are well-defined.
By applying the Holography Theorem 3.1 and Corollary 3.3 from [K4], we conclude that the two geodesic flows are topologically conjugate (in the sense of Definition 3.1) by a homeomorphism Φ : SM 1 → SM 2 . When property A is valid for one of the two manifolds, by the proof of the Holography Theorem 3.1 from [K4], it is valid for the other one. So in this case, by the Holography Theorem, Φ is a diffeomorphism.
Corollary 3.1. Assume that a compact connected and smooth manifold M with boundary admits a boundary generic Riemannian metric g of the gradient type. Let F(v g ) denote the oriented 1-dimensional foliation, induced by the geodesic flow. 9 see the second bullet of Definition 3.1 Then the scattering map C v g : ∂ + 1 (SM ) → ∂ − 1 (SM ) allows for a reconstruction of the pair (SM, F(v g )), up to a homeomorphism of SM which is the identity on ∂(SM ) and an orientation-preserving diffeomorphism on each v g -trajectory.
If g possess property A from Definition 3.2, then it is possible to reconstruct the pair (SM, F(v g )), up to a diffeomorphism of SM which is the identity on ∂(SM ). ♦ Example 3.1. Consider a shell M , produced by removing a strictly convex domain from the interior of a strictly convex domain in the Euclidean space E (so topologically M is a shell). Any geodesic line γ in M that is tangent to the boundary of the interior convex domain is transversal to the boundary of the exterior convex domain. The intersection γ ∩ ∂M of any geodesic line γ ⊂ E that is tangent to the boundary of the exterior convex domain is a singleton. For such a pair (M, g E ), the geodesic field v g on SM is traversally generic; in particular, it is boundary generic and of the gradient type. Thus Theorem 3.4 is applicable to (M, g E ), as well as to any metric g in M , sufficiently close to g E . ♦ Under the hypotheses of Theorem 3.3, the scattering maps faithfully distinguish between manifolds whose spherical tangent bundles have distinct topological types: Corollary 3.2. Let (M 1 , g 1 ) and (M 2 , g 2 ) be two smooth compact connected Riemannian n-manifolds with boundaries. Let the metrics g 1 , g 2 be of the gradient type and geodesically boundary generic. Assume that the boundaries ∂M 1 and ∂M 2 are diffeomorphic 10 , but the spaces SM 1 and SM 2 are not homeomorphic.
Then no diffeomorphism Φ ∂ : ∂(SM 1 ) → ∂(SM 2 ) conjugates the two scattering maps C v g 1 and C v g 2 . ♦ Example 3.2. Recall that the classical knots are determined by the topological types of their complements in S 3 or R 3 (the Gordon-Luecke Theorem [GL]), while the links are not; in fact, there are infinitely many distinct links whose complements are all homeomorphic to the complement of the Whitehead link. Let us examine Corollary 3.2, while keeping these facts in mind. Let L 1 ⊂ D 3 1 ⊂ N 1 and L 2 ⊂ D 3 2 ⊂ N 2 be two links in closed 3-folds (N 1 , g 1 ) and (N 2 , g 2 ), respectively. We denote by U 1 and U 2 the regular tubular neighborhoods of L 1 ⊂ D 3 1 and L 2 ⊂ D 3 2 . Put M 1 = N 1 \ int(U 1 ), M 2 = N 2 \ int(U 2 ). We assume that L 1 and L 2 have the same number of components; thus there exists a diffeomorphism ψ : U 1 → U 2 If g 1 | M 1 and g 2 | M 2 are boundary generic and of the gradient type, and SM 1 and SM 2 are not homeomorphic, then the scattering maps C v g 1 and C v g 2 are not conjugated via any diffeomorphism Φ ∂ : ∂(SU 1 ) → ∂(SU 2 ).
So the scattering maps distinguish between the links L 1 and L 2 with non-homeomorphic stabilized complements SM 1 and SM 2 . When N i = S 3 , then SM i is homeomorphic to In particular, consider the sphere S 3 , equipped with the standard metric g S . Let D 3 • ⊂ S 3 be a smooth ball that properly contains a hemisphere S 3 + . Then any geodesic in S 3 hits D 3 • . Take a pair of links L i ⊂ S 3 , i = 1, 2, such that their tubular neighborhoods U i are formed by attaching solid 1-handles to D 3 • . Then any geodesic on S 3 hits D 3 • and thus each U i . Therefore the metric g S on M i = S 3 \ U i is of the gradient type. Assuming that the spherical metric is boundary generic on each M i (conjecturally, this property may be achieved by a smooth perturbation of ∂U i ), we conclude that if the two scattering maps on M 1 and M 2 are smoothly conjugated, then M 1 × S 2 must be homeomorphic to M 2 × S 2 . ♦ Note that a Riemannian manifold (M, g) produces a (2n − 2)-bundle ξ g over SM . It is a subbundle of T (SM ), transversal to the 1-foliation F(v g ). The isomorphism class of ξ g is well-defined by v g . In fact, for a gradient-like g, the distribution ξ g is integrable: the tangent bundle to the (2n − 2)-foliation On the other hand, employing any v g -invariant Riemannian metric g on SM ⊂ T M , we may consider the (2n − 2)-distribution (v g ) ⊥ , orthogonal in g to v g . That distribution is locally invariant under the v g -flow, and thus generates a (2n − 2)-bundle τ g over the space of un-parametrized geodesics T (v g ), such that Γ * (τ g ) = ξ g , where Γ : SM → T (v g ) is the obvious map.
Proof. By the proof of Holography Theorem 3.1 from [K4], the homeomorphism Φ has the property Φ * (F 2 ) = F 1 , where the function F i : SM i → R is such that dF i (v g i ) > 0 (i = 1, 2).
Remark 3.3. If a pair (M, g) is such that the geodesic field v g is traversing on SM , then the trajectory space T (v g )-the space of un-parametrized geodesics on M -is a separable compact space. It is given the quotient topology via the obvious map π : SM → T (v g ). For a geodesically boundary generic metric g of the gradient type, the map π| : ∂(SM ) → T (v g ) has finite fibers.
The space of geodesics T (v g ), although not a manifold in general, for traversing geodesic flows, inherits a surrogate smooth structure from SM (as in Definitions 2.2 and 2.3 from [K4]). This structure manifests itself in the form of the algebra C ∞ (T (v g )) of smooth functions f ∈ C ∞ (SM ) such that the directional derivatives L v g (f ) = 0.
The bundle τ g may be viewed as a surrogate tangent bundle of the stratified singular space T (v g ), since its restriction to the open and dense set T (v g , ω 0 ) of trajectories of the combinatorial tangency type ω 0 = (1, 1) may be identified with the "honest" tangent bundle of the open manifold T (v g , ω 0 ) ( [K3], [K4]). ♦ Recall that for any traversing boundary generic field v on a compact smooth manifold X, each v-trajectory γ produces an ordered finite sequence ω = (ω 1 , ω 2 , . . . ) of positive integral multiplicities, associated with the finite ordered set γ ∩ ∂X. These sequences ω can be organized in an universal poset Ω • [K3].
In view of Remark 3.2 and Corollary 3.2 from [K4], Theorem 3.3 has an instant, but philosophically important implication: Theorem 3.4. Assume that M admits a geodesically boundary generic Riemannian metric g of the gradient type. Then the scattering map C v g : ∂ + 1 (SM ) → ∂ − 1 (SM ) allows for a reconstruction of: • the Ω • -stratified topological type of the space T (v g ) of un-parametrized geodesics on M , • the isomorphism class of the "tangent" (2n − 2)-bundle τ g of the space T (v g ), • the smooth topological type of the space T (v g ), provided that the property A from Definition 3.2 is valid.
Proof. By definition, T (v g ) is the quotient space of SM under the obvious map Γ that takes each v g -trajectory to a singleton. Now just apply Theorem 3.3 and Corollary 3.1 to reconstruct the map Γ. By Corollary 3.2 from [K4], C v g allows for a reconstruction of the Ω • -stratified topological type of the space T (v g ). By combining Corollary 3.3 with Theorem 3.4, we get the second claim. When property A is valid, this application will lead to a reconstruction, up to an algebra isomorphism, of the algebra C ∞ (T (v g ), R) of smooth functions on T (v g ), the kernel of the directional derivative operator L v g : C ∞ (SM, R) → C ∞ (SM, R). The next two lemmas represent a step towards answering Question 3.1. The language, in which the answer is given, is reminiscent of the language in [Zh].
As before, we assume that a given smooth compact Riemannian manifold M is embedded properly into a larger open manifoldM , and the metric g on M is extended smoothly to a metricĝ onM .
Lemma 3.2. For a boundary generic metric g on M , the stratum ∂ j SM (v g ) consists of pairs (x, w) ∈ SM | ∂M such that the germ of the geodesic curve γ ⊂M through x in the direction of w is tangent to ∂M with the multiplicity m(x) = j − 1. Moreover, the stratum ∂ ± j SM (v g ) also has a similar description 12 in terms of the germ of γ ⊂ M .
11 like the curvature tensor of M and the normal curvature of ∂M 12 Its exact formulation is described in the proof.
Proof. Take a smooth function z :M → R + with the properties: (1) 0 is a regular value of z, Letz : SM → R + be the composition of the projection π : SM →M with z. Evidently, z : SM → R has the same three properties with respect to ∂(SM ) as z :M → R has with respect to ∂M .
For any pair (x, w) ∈ ∂(SM ), consider the germ of the geodesic curve γ ⊂M through x ∈ ∂M in the direction of w ∈ T x M and its liftγ ⊂ SM , the geodesic vĝ-flow curve through (x, w) ∈ ∂(SM ). Then π :γ → γ locally is an orientation preserving diffeomorphism of curves. Therefore the k-jet jet k (z|γ) = 0 if and only if k-jet jet k (z| γ ) = 0.
Let us rephrase the previous arguments in the proof of Lemma 3.2 in terms of the exponential maps.
For each point x ∈ ∂M , consider theĝ-induced exponential map expĝ x : T x M →M and its locally-defined inverse lnĝ x :M → T x M . We may assume that expĝ x is well-defined for all sufficiently small w ∈ T x M and lnĝ x for all y ∈M that are close to x. The local maps {expĝ x } x∈∂M can be organized into a single map expĝ : T M | ∂M →M , well-defined in a neighborhood of the zero section σ : ∂M → T M | ∂M .
We denote by H x : T x M → R the pull-back of the function z :M → R under the map expĝ x . Similarly, we denote by H : T M | ∂M → R the pull-back of z :M → R under the map expĝ.
Pick w ∈ T x M , where x ∈ ∂M . Then the order of tangency of the hypersuface ∂M = {z = 0} with the geodesic curve expĝ x (tw) ⊂M is equal to the order of tangency of the hypersurface {H x (w) = 0} ⊂ T x M with the line {tw} t∈R . Therefore the property (x, w) ∈ ∂ j (SM )(v g ) is equivalent to the property jet j−1 t=0 (H x (tw)) = 0, where jet j−1 t=0 denotes the (j − 1)-jet of the t-function H x (tw) at t = 0, and w is a unitary tangent vector at x.
Let π : T M → M denote the tangent bundle, and σ : M → T M its zero section. Let π * : T * M → M denote the cotangent bundle.
Definition 3.3. We say that two smooth functions f, h ∈ C ∞ (T M, R) share the same vertical k-jet field and write f ≡ k π h, if jet k 0 (f | π −1 (x) ) = jet k 0 (h| π −1 (x) ) for all x ∈ M . Here jet k 0 (F | π −1 (x) ) stands for the k-jet at the point σ(x) = 0 ∈ T x M of a smooth function F : T M → R, being restricted to the π-fiber T x M .
We denote by J k (π) 14 the quotient space of C ∞ (T X, R) by the equivalence relation " ≡ k π ". ♦ Consider the k-jet space Jet k (R n , R), jets being formed at the origin 0 ∈ R n . We may interpret Jet k (R n , R) as the space of real polynomials of degree k at most in n variables.
Let S j ((R n ) * ) denotes the space of homogeneous polynomials of degree j in n variables. Any jet τ ∈ Jet k (R n , R) has a unique representation as a sum τ 0 +· · ·+τ k , where the "homogeneous" summands τ j ∈ S j ((R n ) * ). So the k-jets can be decomposed: The group GL(n) acts on R n , and thus on Jet k (R n , R). Note that each subspace S j ((R n ) * ) is preserved by this action.
Let Π : P M → M be the principle GL(n)-bundle, associated with the bundle π : T M → M . We can form the bundle Jet k vert (π) → M , associated with the bundle Π : P M → M . Its total space is P M × GL(n) Jet k (R n , R) and its fiber is Jet k (R n , R).
By the definition of the space J et k (π), there is the obvious injection E : J et k (π) −→ Γ(J k vert (π)). We use it to form the composite map Therefore, for a fixed k, each function f ∈ C ∞ (T M, R) gives rise to a sequence of sections where d π stands for the differential along the π-fibers.
We call the sum T k (f ) = k j=0 T k j (f ) the vertical Taylor polynomial of f of degree k.
14 not to be confused with the standard notation "J k (π)" that refers to the equivalence classes of local sections of the bundle π, a "horizontal" construction! Each of the sections T k j (f ) can be evaluated at any point (x, w) ∈ T M by forming the symmetric contravariant tensor T k j (f )(x) ∈ S j (T * x M ) and evaluating it at the polyvector w ⊗ S j = def w ⊗ S w · · · ⊗ S w j , where "⊗ S " stands for the symmetrized tensor product of vectors. We denote by τ k j (f )(x, w) the result of this evaluation. Now let us choose k = 2n − 1 = dim(SM ). Consider the vertical Taylor expansion where x ∈M is in the vicinity of ∂M and T k j (H)(x, w * ) is a homogeneous polynomial in w * ∈ T * xM of degree j. As before, we denote by τ k j (x, w) = def τ k j (H)(x, w) the result of evaluation of the symmetric differential form T k j (H) at the vector w ⊗ S j ∈ S j (T xM ). Note that τ k 0 (x, w) = z(x). Using the homogeneity of τ k j (x, w) in w and in light of the arguments that precede Definition 3.3, we conclude that (x, w) ∈ ∂ j (SM )(v g ) is equivalent to the requirement {τ k l (x, w) = 0} 0<l<j , where w is a unit tangent vector and k ≥ j. Moreover, (x, w) belongs to the pure stratum ∂ • j (SM )(v g ) if and only if {τ k l (x, w) = 0} 0<l<j and τ k j (x, w) = 0. Although the function H depends on the choice of the auxiliary function z, the solution set {τ k l (x, w) = 0} 0<l<j does not. Indeed, replacing the function z with the new function z · q, where q| ∂M > 0, and using the multiplicative properties of the local Taylor expansions, leads to a new system of constraints {τ k l (x, w) = 0} 0<l<j which exhibit a "solvable triangular pattern", as compared with the original system {τ k l (x, w) = 0} 0<l<j . Remark 3.1. For each x ∈ ∂M , the degree l homogeneous in w equations {τ k l (x, w) = 0} l<j define a z-independent real algebraic subvariety V <j (x) of the unit sphere S These loci reflect the generalized concavity and convexity of ∂M (in the metric g) at x ∈ ∂M in the direction of a given unit vector w ∈ S(T x M ).
Note that, for given x and j, the sets V <j (x), V + <j (x), V − <j (x) may be empty. So, with ∂M and g being fixed, we may regard the requirements Let y 0 , . . . , y 2n−1 denote the coordinates in R 2n . Let L j be the subspace of R 2n , defined by the equations {y 0 = 0, . . . , y j = 0}. Consider the complete flag Let us focus on the interaction of the map τ 2n−1 (H) : SM → R 2n with the flag F(2n). The considerations above imply that ∂ j (SM )(v g ) = ( τ 2n−1 (H)) −1 (L j−1 ). In light of the considerations above, we get a "more constructive" version of Lemma 3.2.

The definition of boundary generic geodesic field vĝ
The metricĝ onM is boundary generic with respect to ∂M = z −1 (0) if and only if the map τ k (H) : SM → R 2n is transversal to each space L j from the flag F(2n) 15 . Moreover, In other words,ĝ is boundary generic if and only if, for each j ∈ [1, 2n], the differential j-form does not vanish along the locus Example 3.1. Let M be a domain in R 2 , bounded by a smooth simple curve ∂M , given by an equation {z(x 1 , x 2 ) = 0}. We assume that 0 is a regular value of the smooth function z : R 2 → R and that z ≤ 0 defines M . Since R 2 carries the Eucledian metric g = g E , the exponential map is given by the formula exp For each point x = (x 1 , x 2 ), we consider the Taylor expansion T ( x, w) of the function H( x, w) = z( x + w) as a sum: where w = (w 1 , w 2 ) ∈ T x (R 2 ), and the summands are of the form: The manifold SM is diffeomorphic to the product M × S 1 . The boundary ∂(SM ) is a 2-torus, given by the equation {τ 0 ( x) = 0}.
The locus ∂ 2 SM (v g ) = S(∂M ) ⊂ ∂(SM ) is given by the homogeneous in w 1 , w 2 equations In ∂ + 1 (SM )(v g ), we get τ 1 1 ( x)w 1 + τ 1 2 ( x)w 2 ≥ 0. For a boundary generic relative to g E curve ∂M , the locus ∂ 2 SM (v g ) is represented by two smooth parallel loops. They separate ∂(SM ) into two annuli, ∂ + 1 (SM )(v g ) and For a boundary generic relative to g E curve ∂M , the locus ∂ 3 (SM )(v g ) is a collection of an even number of points.
The locus ∂ 4 (SM )(v g ) is given by adding the equation τ 3 ( x, w) = 0 to the previous homogeneous system of three equations. The resulting system must have only the trivial solution w 1 = 0, w 2 = 0, w 3 = 0 for all x ∈ ∂M .
For a boundary generic relative to g E curve ∂M , the differential 1-form dτ 0 ∈ T * (SM ) does not vanish at the points of the surface {τ 0 = 0}, the differential 2-form dτ 0 ∧ dτ 1 ∈ 2 T * (SM ) does not vanish at the points of the curve {τ 0 = 0, τ 1 = 0}, and the differential 3-form dτ 0 ∧ dτ 1 ∧ dτ 2 ∈ 3 T * (SM ) does not vanish at the points of the finite locus {τ 0 = 0, τ 1 = 0, τ 2 = 0}. So a boundary generic relative to g E curve ∂M may be either strictly convex, or the union of several arcs, along which the strict concavity and convexity of ∂M alternate. These arcs are bounded by finitely many points of cubic inflection. No tangent to ∂M line has tangency of an order that exceed 3. ♦ The validity of the next conjecture would imply the half of Conjecture 2.3, concerned with the space of boundary generic metrics being dense in the space of all metrics. Perhaps, Lemma 3.3 could be useful in validating the conjecture. The next proposition claims that these refined stratified convexity/concavity properties of the boundary ∂M with respect to the metric g on M can be recovered from the scattering data.
Corollary 3.5. Assume that a smooth compact and connected n-manifold M admits a geodesically boundary generic Riemannian metric g of the gradient type. Then the scattering map . As a result, for each j ∈ [2, 2n − 1], the locus {(x, w) ∈ SM | ∂M }, such that the germ of the geodesic curve γ ⊂ M through x in the direction of w is tangent to ∂M with the multiplicity j − 1, can be reconstructed from the scattering map.
Proof. By the proof of Holography Theorem 3.1 from [K4], the causality map (see [K2] for the properties of these quantities).
The following corollary describes the ways in which geodesic arcs can be inscribed in M , provided that the metric on M is traversally generic, that is, the geodesic field v g is traversally generic on SM (see Definition 3.2 from [K2] for the notion of traversally generic vector field). For example, if a metric on a surface M is traversally generic, then any geodesic curve may have two simple tangencies to ∂M at most. Similarly, any geodesic curve may have one cubic tangency to ∂M at most. No tangencies of multiplicity ≥ 4 are permitted.
16 That is, the geodesic flow v g on SM is boundary generic with respect to the submanifold ΣN that is produced by restricting the spherical bundle SM → M to A(N × {1}).
Corollary 3.6. Assume that a n-dimensional compact smooth manifold M admits a traversally generic Riemannian metric g. Then any geodesic curve in M has 2n − 2 simple points of tangency to the boundary ∂M at most.
In general, any geodesic curve γ ⊂ M interacts with the boundary ∂M so that the multiplicity and the reduced multiplicity of γ satisfy the inequalities: Moreover, these inequalities hold for any metric g ′ sufficiently close, in the C ∞ -topology, to g.
Proof. Since, by Lemma 3.2, the multiplicity of tangency of a geodesic curve γ to ∂M at a point x and the multiplicity of tangency of its liftγ ⊂ SM to ∂(SM ) at the point (x,γ(x)) are equal, the claim follows from the second bullet in Theorem 3.5 from [K2].
The last claim follows from two facts: (1) the field v g depends smoothly on g, and (2) In one special case of (M, g), the traversal genericity of the geodesic flow on SM comes "for free" at the expense of a very restricted topology of M . So a random manifold M does not admit a non-trapping metric g such that ∂M is convex! Corollary 3.7. Let M be a compact connected Riemannian n-manifold with boundary. Assume that the boundary ∂M is strictly convex with respect to a metric g of the gradient type on M .
Then geodesic field v g on SM is traversally generic. Moreover, the manifold SM is diffeomorphc to the product D(∂M ) × [0, 1], the corners in the product being rounded. Here D(∂M ) denotes the tangent (n − 1)-disk bundle of ∂M .
Proof. For such metric g, any geodesic curve γ ⊂ M , tangent to ∂M , is a singleton. Therefore ∂ 2 SM (v g ) = ∂ − 2 SM (v g ) -the field v g on SM is convex. Under these assumptions, the geodesic field v g on SM is traversally generic, since no strata {∂ j SM (v g )} j interact, with the help of the geodesic flow, trough the bulk SM . Also, for a strictly convex ∂M and g of the gradient type, fibers over ∂M with a fiber being the hemisphere D n−1 + ⊂ S n−1 of dimension n − 1 = dim(∂M ). This fibration is isomorphic to the unit disk tangent bundle of ∂M . Hence, by Lemma 4.2 from [K1], the manifold SM must be diffeomorphc to the product D(∂M ) × [0, 1], the corners in the products being rounded. As a result, SM fibers over ∂M with the fiber D n and over M with the fiber S n−1 . This property of SM puts severe restrictions on the topology of M : in particular, the space SM must be homotopy equivalent to ∂M .
Note that M = D n has the desired property: M × S n−1 ≈ ∂M × D n .
The next corollary should be compared with Theorem D from [Cr2], in a way, a stronger than Corollary 3.8 result, but using more data (the distance "across M " between points of ∂M ).
Corollary 3.8. Let M ⊂ H n be a codimension 0 compact smooth submanifold of the hyperbolic space, such that the metric g = (g H )| M is geodesically boundary generic.
Then the metric g is of the gradient type, and the scattering map C v g : ∂ + 1 (SM ) → ∂ − 1 (SM ) allows for a reconstruction of the pair (SM, F(v g )), up to a homeomorphism (a diffeomorphism when the property A is valid) of SM which is the identity on ∂(SM ).
Proof. In view of Corollary 3.1 and Example 2.3, the hyperbolic metric on M is of the gradient type. By Theorem 3.3, the corollary follows.
One might hope that, for a "random" (bumpy) metric g ∈ G † (M ) on M , the reconstruction C v g ⇒ (M, g) is possible, up to the action of diffeomorphisms that are the identity on ∂M (see [Cr], [Cr1], [We], and especially [SU4] and [SUV3] for special interesting cases of such reconstructions). At the moment, this is just a wishful thinking, weakly supported by [Mat]. Here is the main difficulty in reaching this conclusion, as we see it now from the holographic viewpoint. Although, by Theorem 3.3, C v g allows for a reconstruction of the pair (SM, F(v g )), the fibration map SM → M seems to resist a reconstruction. In other words, the scattering map C v g "does not know how to project the geodesic flow trajectories in SM to the geodesic curves in M ". Perhaps, some additional structure should be brought into the play.
So, in the absence of a faithful reconstruction of the geometry g on M from the scattering data C v g , with a mindset of a "humble topologist", we will settle for less: Theorem 3.5. Assume that a smooth compact connected n-manifold M with boundary admits a boundary generic Riemannian metric g of the gradient type. Then the following statements are valid: • • If, in addition, M has a trivial tangent bundle, then the stable topological (smooth when the property A from Definition 3.2 holds) type of M 17 is also reconstructable from the scattering map.
Proof. Since, by Theorem 3.3, the topological type of SM can be reconstructed from the scattering map C v g , so is the cohomology/homology of SM with arbitrary coefficients. Moreover, the Gromov simplicial semi-norms ∼ ∆ on H * (SM ; R) and on H * (SM ; R), being invariants of the homotopy type of the pair (SM, ∂(SM )), can be recovered form C v g .
Since H n (M ; Z) = 0 due to the property ∂M = ∅, the fibration π : SM → M admits a section σ. Thus M is a retract of SM .
The cohomology/homology spectral sequence of the spherical fiibration π : SM → M is trivial, again since H n (M ; Z) = 0. As a result, The simplicial semi-norm of a homology class does not increase under continuous maps of spaces [G]. Therefore, with the help of σ * , we get that the natural homomorphisms The long exact homotopy sequence of the fibration SM → M identifies π i (M ) with π i (SM ) for all i < n. As a result, the homotopy groups {π i (M )} i<n can be recovered from the scattering map C v g as well.
For a trivial tangent bundle T M , the "reconstructible" space SM is diffeomorphic to the product M ×S n−1 . Thus the stable smooth type of M (the stabilization being understood as the multiplication with a sphere) is "reconstructible" as well. In particular, the homotopy type of M can be reconstructed from the scattering data.
By Theorem 3.3, if two scattering maps are smoothly conjugated, then the two metrics are geodesic flow topologically conjugated, provided they are boundary generic and of the gradient type. In general, we do not know when two metrics, which are geodesic flow topologically/strongly conjugate in the sense of Definition 3.2, are isometric/proportional (see [Cr], [Cr1], [We] for the positive answers in special cases; for example, Croke proved that, for n ≥ 2, the flat product metric on D n × S 1 is scattering rigid). However, for one family of special cases, dealing with metrics of negative sectional curvature, we get a pleasing answer in Theorem 3.7. This theorem should be compared with more general results of a similar nature in [SUV1], [SUV2], [SUV3], obtained by powerful analytic techniques.
In order to illustrate a connection between the geodesic flow topological conjugacy and isometry of Riemannian manifolds, let us recall the famous Mostow Rigidity Theorem [Most]. Let X and Y be complete finite-volume hyperbolic n-manifolds with n ≥ 3. If there exists an isomorphism φ * : π 1 (X) → π 1 (Y ) of the fundamental groups, then the Mostow Theorem claims that φ * is induced by a unique isometry φ : X → Y .
Here is another formulation of the Mostow Rigidity Theorem, better suited for our goals: Theorem 3.6. (Mostow) Let (N 1 , g 1 ) and (N 2 , g 2 ) be two closed locally symmetric Riemannian manifolds with negative sectional curvatures and of dimension ≥ 3. Given an isomorphism φ : π 1 (N 1 ) → π 1 (N 2 ) of the fundamental groups, there exists a unique isometry Φ : (N 1 , c · g 1 ) → (N 2 , g 2 ), where c > 0 is a constant, so that the map Φ induces the isomorphism φ of the fundamental groups. ♦ In the spirit of Theorem 1.3 from [BCG] and [CEK], by combining Mostow Theorem 3.6 with Theorem 3.3, we get the following result. It and its Corollary 3.9 should be compared with Theorem D from [Cr2], which deals with domains in the hyperbolic space H n .
Theorem 3.7. Let n ≥ 3. Consider two closed locally symmetric Riemannian n-manifolds, (N 1 , g 1 ) and (N 2 , g 2 ), with negative sectional curvatures. Let a connected manifold M i (i = 1, 2) be obtained from N i by removing the interior of a smooth codimension zero submanifold U i ⊂ N i , such that the induced homomorphism π 1 (M i ) → π 1 (N i ) of the fundamental groups is an isomorphism 18 .
Assume that the restriction of the metric g i to M i is boundary generic and of the gradient type 19 . Assume also that the two geodesic scattering maps Then Φ ∂ determines a unique diffeomorphism φ : N 1 → N 2 such that φ * (g 2 ) = c · g 1 for a constant c > 0.
Remark 3.4. Under the hypotheses of Theorem 3.7, consider the case when the diffeomorphism Φ ∂ that conjugates the scattering maps is the identity. Let U 1 = U 2 be a n-ball, and M 1 = M 2 = def M . Then ∂(SM ) ≈ S n−1 × S n−1 and C v g is a map whose source and target are both canonically diffeomorphic to S n−1 × D n−1 (with the help of the involution that orthogonally reflects tangent vectors with respect to the boundary ∂M ). By Theorem 3.7, the scattering map C v g : S n−1 × D n−1 → S n−1 × D n−1 allows to reconstruct the pair (N, g), up to a positive scalar. In other words, the scattering maps distinguishes (up to a constant conformal factor) between different locally symmetric spaces of negative sectional curvature. ♦ The next immediate corollary of Theorem 3.7 is inspired by the image of geodesic motion of a bouncing particle in the complement M to a number of disjoint balls, placed in a closed hyperbolic manifold N of a dimension greater than two. The balls a placed so "dense" in N that every geodesic curve hits some ball. Under these assumptions, the collisions of a probe particle in M with the boundary ∂M "feel the shape of N ". Corollary 3.9. Let (N 1 , g 1 ) and (N 2 , g 2 ) be two closed hyperbolic manifolds of dimension n ≥ 3. Let M i be produced from N i by removing the interiors of k disjointed smooth n-balls, so that the geodesic flow on each M i is boundary generic 21 and of the gradient type.
If the scattering maps C v g 1 and C v g 2 are conjugated with the help of a smooth diffeomorphism Φ ∂ : ∂(SM 1 ) → ∂(SM 2 ), then (N 1 , g 1 ) is isometric to (N 2 , g 2 ). ♦ Let (N, g) be a closed locally symmetric Riemannian manifold with negative sectional curvature, and let U ⊂ N be a smooth codimension zero submanifold. Take M = N \int(U ) and assume that g| M is boundary generic and of the gradient type.
Recall that, by the Mostow Theorem, the isometry group Iso(N, g) is isomorphic to the group Aut(π 1 (N )) of automorphisms of the fundamental group π 1 (N ).
For an isometry ψ : N → N , put M ψ = def N \ int(ψ(U )). Evidently any isometry ψ : N → N induces a diffeomorphism Ψ : SN → SN which commutes with the geodesic flow on SN . Moreover, Φ = def Ψ| : SM → SM ψ strongly conjugates the geodesic flows, delivered by the metrics g M = g| M and g M ψ = g| M ψ . As a result, the scattering maps C v g M and C v g M ψ are conjugated with the help of the diffeomorphism Φ ∂ = Φ| : ∂(SM ) → ∂(SM ψ ).
Is this construction the only way in which the scattering maps on the complements of isometric domains in N can be conjugated? More accurately, we ask the following question.
Question 3.2. Let (N, g) be a closed locally symmetric Riemannian manifold with negative sectional curvature. Consider two smooth codimension zero submanifolds U, V ⊂ N . Let ψ : U → V be an isometry and denote by Ψ : SU → SV the diffeomorphism, induced by ψ. Form the submanifolds M = N \ int(U ) and L = N \ int(V ).
Assume that the metrics g M = def g| M and g L = def g| L are boundary generic and of the gradient type. Also assume that the scattering maps C v g M and C v g L are conjugated with the help of a diffeomorphism Ψ ∂ = def Ψ| ∂ (SU ) .
Can we conclude that there exists an isometryψ : N → N such thatψ| U = ψ? ♦

The Inverse Geodesic Scattering Problem in Presence of Length Data
Now we will enhance the scattering data C v g by adding information about the length (equivalently, travel time) along each v g -trajectory. This new combination of data is commonly called "lens data".
Definition 4.1. Let g be a smooth metric on a compact manifold M , and F : SM → R a smooth function such that dF (v g ) > 0. For each point w ∈ ∂ + 1 (SM ), letγ w be the segment of the v g -trajectory that connects w and C v g (w). We denote by γ w its image under the projection π : SM → M , and by l g (w) the length of the geodesic arc γ w .
We say that the function F is balanced if, for each point w ∈ ∂ + 1 (SM ), the variation F (C v g (w)) − F (w) is equal (up to an universal constant) to the arc length l g (w).
We call a gradient type Riemannian metric g balanced, if v g admits a balanced Lyapunov function F . ♦ Example 4.1. Let M be a compact smooth domain in the hyperbolic space (H n , g H ).
Using a modification F of the Lyapunov function d H from Example 2.3, we will see that the restriction of the hyperbolic metric to M is F -balanced. Let us sketch the argument, based on the Poincarè model of H n . Any geodesic in H n is orthogonal to the virtual boundary S n−1 ∞ of H n . Therefore, using the compactness of M , there exists a big Euclidean ball B ⊃ M , whose center is in M and such that any geodesic curve γ in H n , which intersects M , has two distinct transversal intersections with the boundary ∂B. The orientation of γ picks a single point a γ ∈ ∂B ∩ γ, where the velocity vector points inside of B. For any w = (m, v) ∈ SM , we consider the geodesic γ w through m in the direction of v and a point a γw ∈ ∂B. We introduce the smooth function F : SM → R by the formula F (w) = def dist H (a γw , m). Evidently, dF (v g H ) > 0 and the variation of F along any geodesic arc is the length of that arc.
By a very similar argument, any compact domain M in the Eucledian space E n inherits a flat balanced metric of the gradient type.
These observations can be generalized. Let M be a compact smooth codimension zero submanifold of a compact connected Riemannian manifold (N, g) with boundary. Assume that every geodesic γ in N , such that γ ∩ M = ∅, intersects ∂N transversally at a pair of points. Then, by a construction, similar to the previous one, the metric g| M is of the gradient type and balanced.
♦ For a traversing vector field v on compact manifold X, let I y x denote the segment of the v-trajectory γ that is bounded by a pair of points x, y ∈ γ. Given a 1-form θ on X, we use the notation " y x θ" for the integral I y x θ. Lemma 4.1. Let (X, g) be a compact smooth Riemannian manifold with boundary. Let v = 0 be a smooth traversing and boundary generic vector field, and let α be a smooth 1-form on X such that α(v) > 0.
Assume that for each x ∈ ∂ + 1 X(v), the integrals Cv(x) x α are equal. Then there exists a homeomorphism Θ : X → X with the following properties: • Θ| ∂X is the identity, (4.1) If v is such that any v-trajectory γ is either transversal to ∂X at some point from γ ∩ ∂X, or γ ∩ ∂X is a singleton of multiplicity 2, then the homeomorphism Θ is a smooth diffeomorphism.
Proof. Consider two strictly monotone smooth y-functions on the arc I Cv(x) x : Put Θ(y) = def (K −1 • L)(y). In other words, for each x ∈ ∂ + 1 X(v) and y ∈ I Cv(x) x , Θ(y) is well-defined by the identity y x α = Θ(y) x v g dg.
By the lemma hypotheses, Θ(x) = x and Θ(C v (x)) = C v (x) for all x ∈ ∂ + 1 X(v). Thus, . As a result, Θ is the identity on the boundary ∂X. For any y ′ ∈ I Cv(Cv (x)) x , put SinceK and K, as well asL and L ′ , differ by the same parallel shift L, we have (K −1 • L)(y ′ ) = (K −1 •L)(y ′ ). By the continuity of g and α, we get that the y ′ -functionK −1 •L is continuous in the vicinity of C v (x) ∈ γ x . Thus Θ(y) and Θ(y ′ ) are close for any two points y, y ′ ∈ γ x that are sufficiently close to the point C v (x). 22 Here Cv : ∂ + 1 X(v) → ∂ − 1 X(v) denotes the v-generated causality map, and dg denotes the measure on the trajectory γx induced by the metric g|γ x .
to (K −1 ‡ • L ‡ )(z). Since, by the lemma hypotheses, . As a result, Θ(x) and Θ(z) are close in V . Thus Θ : X → X is continuous. By the same token, Θ −1 : X → X is continuous as well.
The argument validating that Θ is a smooth diffeomorphism (under the Lemma 4.1 hypotheses, the last paragraph), is similar the the one in the proof of Theorem 3.1 [K4]. It employs that the boundary ∂X, at a point of transversal intersection γ ∩ ∂X, is a smooth section σ of the v-flow, together with the hypotheses that the metric g and the form α are smooth. This implies that the transformation Θ, defined by the formula γx∩σ v g dg, and the similarly defined transformation Θ −1 are smooth inX.
For i = 1, 2, let {ψ t i : SM i → SM i } t denote the geodesic flow transformations, partiallydefined for appropriate moments t ∈ R.
Theorem 4.1. (the strong topological rigidity of the geodesic flow for the inverse scattering problem in the presence of length data) Let (M 1 , g 1 ) and (M 2 , g 2 ) be two smooth compact connected Riemannian n-manifolds with boundaries. Let the metric g 1 be boundary generic, and g 2 be of the gradient type, boundary generic, and balanced.
• If g 2 is such that no geodesic curve γ ⊂ M 2 is cubically tangent to ∂M 2 at a pair of distinct points, and no geodesic curve is a singleton of multiplicity 4, then the conjugating homeomorphism Φ : SM 1 → SM 2 is a smooth diffeomorphism.
By the latter property, for any w ∈ ∂ + 1 (SM 1 ), we get the equality Let g i , i = 1, 2, denote the Sasaki metric on SM i , induced by the metric g i on M i . Let π i : SM i → M i be the obvious map. Since v g i is orthogonal in g i to the fibers π −1 i ( * ), we conclude that v g i g i = Dπ i (v g i ) g i = 1.
Since F 2 is balanced, we get the length of the geodesic arc γ Ψ(w) in M 2 .
On the other hand, by the hypotheses of the theorem, dg 2 = def l g 2 (Ψ(w)).
Theorem 4.1 leads to the following "Cut & Scatter Theorem": Theorem 4.2. Let (N 1 , g 1 ) and (N 2 , g 2 ) be two closed smooth Riemannian n-manifolds. For i = 1, 2, let U i be a codimension zero submanifold of N i with a smooth boundary ∂U i . Put M i = def N i \ int(U i ). Consider a compact neighborhood V i ⊂ N i of U i whose interior contains U i .
Assume that the metric g 2 | M 2 is boundary generic, of the gradient type, balanced, and satisfies property A 23 .
Let a bijection ψ : V 1 → V 2 be an isometry with respect to g 1 | V 1 and g 2 | V 2 . Consider the diffeomorphism Ψ : SV 1 → SV 2 , induced by ψ, and its restriction Ψ ∂ to ∂(SU 1 ). 23 If U2 is strictly concave in N2, then these hypotheses reduce to the requirement that g2|M 2 is of the gradient type and balanced.
Let us denote by Σ i the union of all segments of the v g i -trajectories in SM i ∩ SV i that have a nonempty intersection with ∂(SM i ). Thus, any point of Σ i is connected to a point of ∂(SM i ) by an arc δ ⊂ Σ i of a v g i -trajectory. Note thatΣ i , the closure of Σ i in SN i , is a compact set, containing ∂(SM i ). We denote by Σ • i the set SU i ∪Σ i . Since Ψ| ∂(SM 1 ) = Φ| ∂(SM 1 ) , and both diffeomorphisms, Φ and Ψ, preserve the natural parameterizations along the trajectories in the source and the target, we conclude that Φ| Σ 1 = Ψ| Σ 1 as maps. It is possible that Ψ and Φ may differ in SV 1 \ Σ • 1 . Consider the homeomorphism Ξ : SN 1 → SN 2 , defined by the formula By the properties of Φ an Ψ, the homeomorphism Ξ maps the v g 1 -trajectories in SN 1 to the v g 2 -trajectories in SN 2 .
Thus the metrics g 1 and g 2 are geodesic flow strongly conjugate by a diffeomorphism Ξ : SN 1 → SN 2 from the class C ∞ (SN 1 , SN 2 ).
In the next three corollaries, we combine Theorem 4.2 with a number of classical results that make it possible to reconstruct the metric on special closed manifolds from the corresponding geodesic flows.