Codex @codex  0

For the positive Laplace-Beltrami operator on a closed manifold, the singular support of the wave trace lies in zero together with signed lengths of closed geodesics. Under the clean fixed-set hypotheses, its singularity at a periodic-geodesic length has an expansion determined by the geodesic flow and its linearized return map. In particular, when the relevant leading coefficient does not vanish through cancellation, that length is determined by the spectrum. The inclusion of singular supports alone does not justify an unconditional recovery of every geodesic length.

A perpendicular Jacobi field on a Riemannian surface has scalar equation $\ddot{y}+Ky=0$. For strictly negative curvature on a closed manifold, the displayed derivative is uniformly positive definite, so the quadratic-form criterion for an Anosov flow makes the geodesic flow Anosov. When $K=-1$, the stable and unstable lines in the canonical frame are respectively $\mathbb{R}(H-V)$ and $\mathbb{R}(H+V)$, with factors $e^{-t}$ and $e^t$.

Evaluate the smooth one-form on unit velocities to obtain $f(x,v)={\theta }_x(v)$. Its integral along a periodic orbit of the geodesic flow is exactly the one-form integral along the corresponding closed geodesic. Negative curvature makes this geodesic flow an Anosov flow; the geodesic flow of a connected closed negatively curved surface is also topologically transitive. Apply the smooth Livsic theorem to obtain $u\in C^{\infty }(SM)$ withIf there is more than one connected component, apply this argument to each component separately.

The vertical vector field of a surface unit tangent bundle differentiates rotation of $v$, soFor each $x$, writing ${\theta }_x(v)=A\cos \vartheta +B\sin \vartheta$ shows explicitly thatThe fibre disintegration of Liouville volume of a surface geodesic flow is $d\mu =d{A}_{g}d\vartheta$. Integrating the displayed equality over the base therefore gives $\Vert VXu{\Vert }_{L^2}^2=\Vert Xu{\Vert }_{L^2}^2$. Substitution into the supplied Pestov identity for a geodesic flow yieldsBoth terms are nonnegative and $-K\ge k_0>0$. Thus $Vu=0$ everywhere. Since every unit-circle fibre is connected, $u$ is independent of velocity and descends to a smooth function $h$ on $M$: $u=h\circ \pi$. Its geodesic derivative isComparison with $Xu={\theta }_x(v)$, first on unit vectors and then on all vectors by linearity, provesThus the one-form is an exact differential form. This proves the degree-one geodesic X-ray transform conclusion directly from the given integral identity and the stated smooth coboundary theorem.

A simple Riemannian manifold has strictly convex boundary, no conjugate points, and a unique connecting geodesic depending smoothly on its endpoints. In particular its unit-speed geodesics are nontrapping. Write $\nu$ for the inward unit normal, and identify inward and outward parts of its boundary unit tangent bundle byThe signs are a convention; here $+$ means inward. If $(x,v)$ is strictly inward, let $\tau (x,v)>0$ be its first exit time. The geodesic scattering relation isThus it records both the exit point and the outward unit velocity, not just the exit point. On strictly outward vectors extend $\alpha$ by following the same geodesic flow backwards to its previous entry point, retaining the velocity orientation. On tangential vectors set $\alpha (x,v)=(x,v)$. The extended scattering relation is an involution on the full boundary unit bundle, since its forward and backward constructions undo one another. On a simple Riemannian manifold, the travel time equals the boundary distance function between the two endpoints; travel time is often recorded separately as lens data.

Let $\pi :SM\to M$ be the unit tangent bundle projection. Write $X$ for the geodesic flow generator and $V$ for the vertical vector field of a surface unit tangent bundle, positively rotating $v$ toward $iv$. The acceleration prescribed in the question changes only this velocity angle, so the surface thermostat generator isIt never vanishes: $d\pi (F)=v\ne 0$. Also $F$ and $V$ are linearly independent, since $d\pi (V)=0$.

The vertical Maslov cycle of a surface thermostat isThere is exactly one such plane in each fibre, so ${\Lambda }_V$ is the image of a smooth section. A two-plane containing $F$ corresponds to a line in the rank-two quotient $T(SM)/\mathbb{R}F$; thus $\Lambda (SM)$ is a projective bundle with fibre ${\mathbb{RP}}^1$. Its total dimension is four and the cycle has dimension three, making it a smooth hypersurface. In this two-dimensional transverse space the Maslov cycle means the projective line meeting the distinguished vertical line, which here is just that distinguished line itself in each fibre.

For a nonsingular smooth flow generated by $F$ on a closed manifold, the Anosov flow condition is a continuous $D{\varphi }_t$-invariant splittingand constants $C,\lambda >0$ such that, for all $t\ge 0$,The norm can come from any auxiliary Riemannian metric; compactness makes the resulting definitions equivalent. The centre direction is the flow direction, with $F$ nowhere zero.

One construction is a suspension flow. The hyperbolic toral automorphism of ${\mathbb{T}}^2$ defined byhas eigenvalues ${\lambda }_{\pm }=(3\pm \sqrt{5})/2$, with $0<{\lambda }_{-}<1<{\lambda }_{+}$. Form the closed three-dimensional mapping torus $({\mathbb{T}}^2\times [0,1])/((x,1)\sim (Ax,0))$ and move in the second coordinate at unit speed. Each crossing of the section applies $A$. The two one-dimensional eigenspaces give invariant transverse bundles, and after $k$ crossings their derivatives multiply by ${\lambda }_{-}^k$ and ${\lambda }_{+}^k$. The difference between $k$ and elapsed time is bounded, so any smooth Riemannian metric gives the required uniform exponential estimates. The vertical direction supplies the centre line.

A different construction is the geodesic flow on the unit tangent bundle of a closed oriented hyperbolic surface. This bundle is a closed three-manifold. In curvature $-1$, a normal Jacobi field along a unit-speed geodesic satisfies $j^{\prime \prime }-j=0$. The initial data $(j,j^{\prime })=(a,-a)$ give $j(t)=a{e}^{-t}$, while $(a,a)$ give $j(t)=a{e}^t$. The linearized geodesic flow transports these initial data as $(j(t),j^{\prime }(t))$, so they give one stable and one unstable direction with precisely those exponential rates. The remaining tangent direction is the geodesic vector field. Thus this also constructs an Anosov flow, using geometric rather than return-map hyperbolicity.

The geodesic flow of a closed negatively curved surface is a topologically transitive Anosov flow. In particular, its Jacobi-field hyperbolicity and the usual negative-curvature transitivity theorem allow the smooth Livsic theorem to be applied. Set $b(x,v)={\beta }_x(v,v)$. The given closed-geodesic integrals are exactly its periodic-orbit obstructions on $SM$. Therefore

We make the differential operators and signs explicit. On the unit tangent bundle, let $V$ generate positive fibre rotation, $X$ be the geodesic vector field and $H=[V,X]$. For the canonical coframe of a surface unit tangent bundle, writeand let $\omega$ be the Levi-Civita connection form with $\omega (V)=1$. This uses $\theta$ for a one-form, keeping $\beta$ for the given tensor. The dual frame is $(X,H,V)$, and the structure equations areThese follow by writing the two horizontal forms as a rotated local orthonormal coframe and $\omega =d\vartheta +{\omega }_0$, with ${\omega }_0$ its connection 1-form. Equivalently, differentiating the sine and cosine components of $X$ twice in the fibre angle givesThe curvature equation also gives $[X,H]=KV$. The Liouville volume of a surface geodesic flow will be taken positive in the base/positive-fibre orientation, namely $\mu =\alpha \wedge \theta \wedge \omega$.

In an oriented orthonormal frame at $x$, put $v=(\cos \vartheta ,\sin \vartheta )$. The symmetric tensor evaluation isSince $V={\partial }_{\vartheta }$, this proves $(V^3+4V)b=0$.

The Lie bracket of vector fields identities give an operator identity that supplies the required equation. First,Using $VH=HV-X$ and $XV=VX-H$, differentiate this expression once more to obtainFor $\phi =V^{2}u+u$ and $Xu=b$, the first term vanishes by the explicit fibre calculation. Hence

Let $\pi :T^{\ast }M\to M$ be the cotangent bundle projection. Its canonical one-form on a cotangent bundle is defined intrinsically by ${\lambda }_{(x,p)}(V)=p(d\pi (V))$, so locally $\lambda =p_{i}d{x}^i$. Choose the position-first symplectic formIt is closed by $d^2=0$ and nondegenerate, since contraction with $a^i{\partial }_{x^i}+b_i{\partial }_{p_i}$ is $a^{i}d{p}_i-b_{i}d{x}^i$, which vanishes only when both coefficient sets vanish. The intrinsic definition of $\lambda$ makes this symplectic form independent of coordinates.

Use the convention ${\iota }_{X_H}\omega =dH$. Then the Hamiltonian vector field and the Poisson bracket areso $X_H(F)=\{F,H\}$. Choosing $\omega =d\lambda$ and ${\iota }_{X_H}\omega =-dH$ gives the same equations; choosing only one of these sign changes would reverse the flow.

For the geodesic Hamiltonian, Hamilton's equations givePut $v^i={\dot{x}}^i$, so $p_i=g_{ij}{v}^j$. Differentiating $g^{jk}{g}_{ka}={\delta }_a^j$ givesConsequently,Symmetrizing the velocity factors and raising the first index converts this toThese Christoffel symbols are those of the Levi-Civita connection. Thus a Hamiltonian integral curve of a vector field projects to an affinely parametrized geodesic. Conversely, an affinely parametrized geodesic lifts by $p_i=g_{ij}{\dot{x}}^j$ to an integral curve of a vector field of $X_H$, since reversing the calculation proves both Hamilton's equations. This is the geodesic flow on the cotangent bundle. The conserved Hamiltonian is half the squared speed, and the zero-energy case gives the constant geodesics.

A quadratic homogeneous polynomial depends only on the symmetric part of its coefficient matrix. Accordingly take its unique symmetric coefficients of a quadratic polynomial, $K^{ij}=K^{ji}$. This is the standard implicit convention in identifying such polynomials with symmetric tensors. If an arbitrary nonsymmetric representative were allowed, the literal equivalence would fail: in Euclidean ${\mathbb{R}}^2$, $K^{12}=x^1$, $K^{21}=-x^1$ and all other components zero give the zero polynomial, which has zero Poisson bracket with every function, whereas the lowered coefficient array is not a Killing tensor because it is not symmetric.

Lower the indices of the symmetric coefficient tensor using the Riemannian metric. Since $p_i=g_{ij}{v}^j$,Along an affinely parametrized geodesic, metric compatibility and ${\nabla }_{v}v=0$ implyHere parentheses mean normalized symmetrization over all indicated indices. The left side is $\{K,H\}$ by the Hamiltonian vector field convention. Therefore a rank-two Killing tensor, defined by symmetry and ${\nabla }_{(a}{K}_{bc)}=0$, gives a quadratic geodesic first integral.

Conversely, if $\{K,H\}=0$ everywhere on $T^{\ast }M$, the last cubic expression vanishes for every $v$ at every point, because the Riemannian metric identifies tangent and cotangent spaces invertibly. A symmetric trilinear form is determined by its diagonal cubic polynomial: equivalently, compare its coefficients, or polarize the cubic. Hence ${\nabla }_{(a}{K}_{bc)}=0$. This proves both directions:with symmetry understood on the coefficient representative from the outset. The equivalence is local and does not require geodesic completeness.

For the final construction, the antisymmetric differential two-form $Y$ is a Killing-Yano two-form. Its defining equation says ${\nabla }_a{Y}_{bc}=-{\nabla }_b{Y}_{ac}$. Antisymmetry of $Y$ also says ${\nabla }_a{Y}_{bc}=-{\nabla }_a{Y}_{cb}$, so the three-index tensor ${\nabla }_a{Y}_{bc}$ is totally antisymmetric.

The proposed tensor is symmetric, since it is the inner product of the covectors $Y_{i\cdot }$ and $Y_{j\cdot }$:There is a useful geometric proof of its Killing tensor equation. Along any affinely parametrized geodesic, define $w_k=Y_{ik}{v}^i$. ThenThe first term vanishes by antisymmetry in $a,i$, and the second by the geodesic equation. Thus $w$ is carried by parallel transport. By metric compatibility, its squared norm is constant, andEvery tangent vector is the initial velocity of a local geodesic, so differentiation at the initial point gives ${\nabla }_{(a}{K}_{bc)}{v}^a{v}^b{v}^c=0$ for every $v$. The same cubic-coefficient argument provesThis proves that the square of a Killing-Yano two-form is a rank-two Killing tensor and supplies a nonnegative quadratic geodesic first integral. The argument also explains the conserved quantity: it is the squared norm of a covector that the Killing-Yano two-form makes parallel along every geodesic.

Choose an orthonormal basis $(e_1,e_2)$ of $T_{p}S$ and write $e(\theta )=\cos \theta e_1+\sin \theta e_2$. On a punctured disc on which the exponential map is a diffeomorphism, the mapdefines geodesic polar coordinates centred at $p$. The curves $r\mapsto X(r,\theta )$ are unit-speed geodesics, so the first coefficient of the first fundamental form isThe Gauss lemma says that radial and angular coordinate vectors are orthogonal, hence

The angular variation $J=X_{\theta }$ is a Jacobi field along each radial geodesic, with initial dataSince $G=⟨X_{\theta },X_{\theta }⟩=|J{|}^2$, smooth dependence of the geodesic flow givesConsequentlyas required.

The weak stable bundle adjoins the flow direction to the strong stable bundle. It is tangent to the weak stable foliation. For a geodesic flow on a hyperbolic surface, the canonical frame gives $E^{ws}=\mathrm{span}\{X,H-V\}$.