Recovery of the C ∞ jet from the boundary distance function

For a compact Riemannian manifold with boundary, we want to find the metric structure from knowledge of distances between boundary points. This is called the ??boundary rigidity problem??. If the boundary is not concave, which means locally not all shortest paths lie entirely in the boundary, then we are able to find the Taylor series of the metric tensor (C ^?? jet) at the boundary (see Lassas et?al. (Math Ann 325:767?C793, 2003), Uhlmann et?al. (Adv Appl Math 31:379?C387, 2003)). In this paper we give a new reconstruction procedure for the C ^?? jet at non-concave points on the boundary using the localized boundary distance function. A closely related problem is the ??lens rigidity problem??, which asks whether the lens data determine metric structure uniquely. Lens data include information of boundary distance function, the lengths of all geodesics, and the locations and directions where geodesics hit the boundary. We give the first examples that show that lens data cannot uniquely determine the C ^?? jet. The example include two manifolds with the same boundary and the same lens data, but different C ^?? jets. With some additional careful work, we can find examples with different C ¹ jets, which means the boundaries in the two lens-equivalent manifolds have different second fundamental forms.     

Generic Local Uniqueness and Stability in Polarization Tomography

The problem of polarization tomography is considered on a Riemannian manifold. This problem comes from the physical problem of recovering the anisotropic part of the dielectric permittivity tensor of a quasi-isotropic medium from polarization measurements made around the boundary, but is more general. In greater than three dimensions local uniqueness and stability are established for generic background metrics, and near generic tensor fields through the study of a related linear inverse problem. The same results are established on a natural subspace of tensor fields in dimension three.     

Variations of Dirichlet-to-Neumann map and deformation boundary rigidity of simple 2-manifolds

The Dirichlet-to-Neumann (DN) map Λ_g: C^∞ (?M) → C^∞(?M) on a compact Riemannian manifold (M, g) with boundary is defined by Λ_gh = ?u/?v¦in{t6M}, where u is the solution to the Dirichlet problem Δu = 0, u¦?M = h and v is the unit normal to the boundary. If g^t = g + t? is a variation of the metric g by a symmetric tensor field ?, then Λ_g ^t = Λ_g + tΛ_? + o(t). We study the question: How do tensor fields ? look like for which Λ_? =0? A partial answer is obtained for a general manifold, and the complete answer is given in the two cases: For the Euclidean metric and in the 2D-case. The latter result is used for proving the deformation boundary rigidity of a simple 2-manifold.     

Killing tensor fields on the 2-torus

A symmetric tensor field on a Riemannian manifold is called a Killing field if the symmetric part of its covariant derivative equals zero. There is a one-to-one correspondence between Killing tensor fields and first integrals of the geodesic flow which depend polynomially on the velocity. Therefore Killing tensor fields relate closely to the problem of integrability of geodesic flows. In particular, the following question is still open: does there exist a Riemannian metric on the 2-torus which admits an irreducible Killing tensor field of rank ≥ 3? We obtain two necessary conditions on a Riemannian metric on the 2-torus for the existence of Killing tensor fields. The first condition is valid for Killing tensor fields of arbitrary rank and relates to closed geodesics. The second condition is obtained for rank 3 Killing tensor fields and pertains to isolines of the Gaussian curvature.     

The geometrical problem of electrical impedance tomography in the disk

The geometrical problem of electrical impedance tomography consists of recovering a Riemannian metric on a compact manifold with boundary from the Dirichlet-to-Neumann operator (DNoperator) given on the boundary. We present a new elementary proof of the uniqueness theorem: A Riemannian metric on the two-dimensional disk is determined by its DN-operator uniquely up to a conformal equivalence. We also prove an existence theorem that describes all operators on the circle that are DN-operators of Riemannian metrics on the disk.     

The boundary rigidity problem in the presence of a magnetic field

For a compact Riemannian manifold with boundary, endowed with a magnetic potential α, we consider the problem of restoring the metric g and the magnetic potential α from the values of the Mañé action potential between boundary points and the associated linearized problem. We study simple magnetic systems. In this case, knowledge of the Mañé action potential is equivalent to knowledge of the scattering relation on the boundary which maps a starting point and a direction of a magnetic geodesic into its end point and direction. This problem can only be solved up to an isometry and a gauge transformation of α.For the linearized problem, we show injectivity, up to the natural obstruction, under explicit bounds on the curvature and on α. We also show injectivity and stability for g and α in a generic class G including real analytic ones.For the nonlinear problem, we show rigidity for real analytic simple (g,α), rigidity for metrics in a given conformal class, and locally, near any (g,α)∈G. We also show that simple magnetic systems on two-dimensional manifolds are always rigid.     

Scattering Rigidity for Analytic Riemannian Manifolds with a Possible Magnetic Field

Consider a compact manifold M with boundary ∂ M endowed with a Riemannian metric g and a magnetic field Ω. Given a point and direction of entry at the boundary, the scattering relation Σ determines the point and direction of exit of a particle of unit charge, mass, and energy. In this paper we show that a magnetic system (M,∂ M,g,Ω) that is known to be real-analytic and that satisfies some mild restrictions on conjugate points is uniquely determined up to a natural equivalence by Σ. In the case that the magnetic field Ω is taken to be zero, this gives a new rigidity result in Riemannian geometry that is more general than related results in the literature.     

Conformal vector fields with respect to the Sasaki metric tensor

The purpose of this article is to characterize conformal vector fields with respect to the Sasaki metric tensor field on the tangent bundle of a Riemannian manifold of dimension at least three. In particular, if the manifold in question is compact, it is found that the only conformal vector fields are Killing vector fields.     

Cheeger-gromoll type metrics on the (1,1)-tensor bundles

Using a Riemannian metric on a differentiable manifold, a Cheeger-Gromoll type metric is introduced on the (1,1)-tensor bundle of the manifold. Then the Levi-Civita connection, Riemannian curvature tensor, Ricci tensor, scalar curvature and sectional curvature of this metric are calculated. Also, a para-Nordenian structure on the the (1,1)-tensor bundle with this metric is constructed and the geometric properties of this structure are studied.     

Stable projective planes with Riemannian metrics

We consider the question whether the system of lines of a two-dimensional stable plane can be described as the system of geodesics of a Riemannian metric and vice versa; we present two results: A complete two-dimensional Riemannian manifold with the property that every two points are joined by a unique geodesic and its family of geodesics form a stable plane. On the other hand every stable projective plane whose lines are geodesics of a Riemannian metric is isometric to the real projective plane. Combining both results it follows that it is impossible to realize the lines of a non-desarguesian projective plane using the geodesics of a complete Riemannian manifold.     

Inverting the local geodesic X-ray transform on tensors

We prove the local invertibility, up to potential fields, and stability of the geodesic X-ray transform on tensor fields of order 1 and 2 near a strictly convex boundary point, on manifolds with boundary of dimension n ≥ 3. We also present an inversion formula. Under the condition that the manifold can be foliated with a continuous family of strictly convex surfaces, we prove a global result which also implies a lens rigidity result near such a metric. The class of manifolds satisfying the foliation condition includes manifolds with no focal points, and does not exclude existence of conjugate points.     

A five-dimensional Riemannian manifold with an irreducible SO(3)-structure as a model of abstract statistical manifold

In the present paper, we consider a five-dimensional Riemannian manifold with an irreducible SO(3)-structure as an example of an abstract statistical manifold. We prove that if a five-dimensional Riemannian manifold with an irreducible SO(3)-structure is a statistical manifold of constant curvature, then the metric of the Riemannian manifold is an Einstein metric. In addition, we show that a five-dimensional Euclidean sphere with an irreducible SO(3)-structure cannot be a conjugate symmetric statistical manifold. Finally, we show some results for a five-dimensional Riemannian manifold with a nearly integrable SO(3)-structure. For example, we prove that the structure tensor of a nearly integrable SO(3)-structure on a five-dimensional Riemannian manifold is a harmonic symmetric tensor and it defines the first integral of third order of the equations of geodesics. Moreover, we consider some topological properties of five-dimensional compact and conformally flat Riemannian manifolds with irreducible SO(3)-structure.     

Optical Tomography for Variable Refractive Index with Angularly Averaged Measurements

In optical tomography one seeks to use near-infrared light to determine the optical absorption and scattering properties of a medium X ? ? ⁿ . If the refractive index is constant throughout the medium, the steady-state case is modeled by the stationary linear transport equation in terms of the Euclidean metric. In this work we consider the case of variable refractive index where the dynamics are modeled by writing the transport equation in terms of a Riemannian metric; in the absence of interaction, photons follow the geodesics of this metric. In particular we study the problem where our measurements allow the application of an in-going flux depending on both position and direction, but we allow only a weighted average measurement of the out-going flux. We show that making measurements on all of ? X determines the extinction coefficient and that once this is known, under additional assumptions, measurements at a single point on ? X determine the scattering kernel.     

Geodesics of Sasakian Metrics on Tensor Bundles

On the basis of the phase completion the notion of vertical and horizontal lifts of vector fields is defined in the tensor bundles over a Riemannian manifold. Such a tensor bundle is made into a manifold with a Riemannian structure of special type by endowing it with Sasakian metric. The components of the Levi-Civita and other metric connections with respect to Sasakian metrics on tensor bundles with respect to the adapted frame are presented. This having been done, it is shown that it is possible to study geodesics of Sasakian metrics dealing with geodesics of the base manifolds. Dedicated to the memory of Vladimir Vishnevskii (1929-2007)     

On infinitesimal conformal transformations of the tangent bundles with the synectic lift of a Riemannian metric

The purpose of the present article is to investigate some relations between the Lie algebra of the infinitesimal fibre-preserving conformal transformations of the tangent bundle of a Riemannian manifold with respect to the synectic lift of the metric tensor and the Lie algebra of infinitesimal projective transformations of the Riemannian manifold itself.     

Regularity of ghosts in tensor tomography

We study on a compact Riemannian manifold with boundary the ray transform I which integrates symmetric tensor fields over geodesics. A tensor field is said to be a nontrivial ghost if it is in the kernel of I and is L²-orthogonal to all potential fields. We prove that a nontrivial ghost is smooth in the case of a simple metric. This implies that the wave front set of the solenoidal part of a field f can be recovered from the ray transform If. We give an explicit procedure for recovering the wave front set.     

Eigenvalue problems on Riemannian manifolds with a modified Ricci tensor

In this paper, we study the eigenvalue problems on a Riemannian manifold with a modified Ricci tensor. We obtain some sharp lower bound estimates for the first eigenvalue of Laplacian. We also prove some rigidity theorems for the Riemannian manifold with some suitable conditions.     

An Equivalence of Scalar Curvatures on Hermitian Manifolds

For a Kähler metric, the Riemannian scalar curvature is equal to twice the Chern scalar curvature. The question we address here is whether this equivalence can hold for a non-Kähler Hermitian metric. For such metrics, if they exist, the Chern scalar curvature would have the same geometric meaning as the Riemannian scalar curvature. Recently, Liu–Yang showed that if this equivalence of scalar curvatures holds even in average over a compact Hermitian manifold, then the metric must in fact be Kähler. However, we prove that a certain class of non-compact complex manifolds do admit Hermitian metrics for which this equivalence holds. Subsequently, the question of to what extent the behavior of said metrics can be dictated is addressed and a classification theorem is proved.     

The Set of Pre-Ends and the Ideal Boundary of a Manifold without Boundary

Relations between prime pre-ends and elements of the ideal boundary of a manifold without boundary are studied. The cases of a manifold with Mazurkiewicz or Riemannian intrinsic metric and of a manifold with quasihyperbolic metric are considered.     

On the existence of almost contact structure and the contact magnetic field

We give a simple proof of the existence of an almost contact metric structure on any orientable 3-dimensional Riemannian manifold (M ³, g) with the prescribed metric g as the adapted metric of the almost contact metric structure. By using the key formula for the structure tensor obtained in the proof this theorem, we give an application which allows us to completely determine the magnetic flow of the contact magnetic field in any 3-dimensional Sasakian manifold.