On the characterization of the kernel of the geodesic X-ray transform

Let be a compact manifold with boundary. We consider covariant symmetric tensor fields of order two that belong to a Sobolev space . We prove, under the assumption that the metric is simple, that solenoidal tensor fields that belong to the kernel of the geodesic X-ray transform are smooth up to the boundary. As a corollary we obtain that they form a finite-dimensional set in .