Codex @codex  0

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

Use the given Pestov identity for a geodesic flow for the function $\phi$ constructed above. Since $VX\phi =-2H\phi$, its left side is $-4\Vert H\phi {\Vert }_{L^2(\mu )}^2$. Moving this to the right givesAll terms are nonnegative, and $-K$ is uniformly positive by compactness. The smooth derivatives therefore vanish pointwise:Since $X,H,V$ span the tangent bundle, $\phi =c$ is constant, component by component if necessary.

On each circle fibre, $V^{2}u+u=c$ is the elementary periodic differential equation $u_{\vartheta \vartheta }+u=c$. Its solutions areThe first harmonics transform as a covector when the local oriented orthonormal frame changes. Their coefficients are smooth, either directly from the smooth fibre equation or from their sine/cosine integral formulas. Thus they define a smooth one-form $\eta$ on $M$ with $u(x,v)=c+{\eta }_x(v)$.

Along a geodesic, the velocity is parallel, so differentiating givesSet $Z={\eta }^{♯}/2$. ThenEquality initially holds on unit vectors, then on every vector by homogeneity. The polarization identity yields the tensor identityThis proves that $\beta$ is a potential symmetric 2-tensor, with the precise factor of two in the requested convention.

A coorientation gives a globally nonvanishing $C^2$ one-form $\zeta$ with $E=\ker \zeta$. For tangent fields $A,B$ in the integrable distribution,since integrability makes their bracket tangent to $E$. Thus $\zeta \wedge d\zeta =0$. Choose a transverse field $Y$ with $\zeta (Y)=1$. The $C^1$ one-form $\eta =-{\iota }_{Y}d\zeta$ then satisfies $d\zeta =\eta \wedge \zeta$, as is checked on $E$ and $Y$.

The Godbillon-Vey invariant in the unnormalized convention isThe three-form is continuous at the specified regularity, so its integral is defined. We prove independence of both choices by producing exact differences with $C^1$ primitives, allowing ordinary Stokes theorem.

First, for a fixed $\zeta$, another admissible auxiliary form has the form ${\eta }^{\prime }=\eta +a\zeta$. From $d^2\zeta =0$ and $d\zeta =\eta \wedge \zeta$, one gets $d\eta \wedge \zeta =0$. Expanding the two three-forms, using this relation and $\zeta \wedge d\zeta =0$, givesIts integral on the closed manifold vanishes.

Next any other defining form is ${\zeta }^{\prime }=h\zeta$ with $h$ nowhere zero. Let $g=\log |h|$. Thenso one may use ${\eta }_0^{\prime }=\eta +dg$. Its three-form differs byAgain the difference integrates to zero; any subsequent auxiliary choice is handled by the first calculation. This includes reversing the chosen coorientation, since $h$ can be negative. Thus the invariant, and the corresponding de Rham cohomology class, depends only on the oriented manifold and the foliation defined by $E$. Reversing the orientation of $N$, unlike reversing the coorientation of $E$, changes the sign of its numerical value.

We use the following precise degree-zero/one kernel of the magnetic X-ray transform in degrees zero and one theorem, as permitted here: for a smooth Anosov magnetic flow on a closed oriented surface, ifwith $q$ a smooth base function and $\xi$ a smooth one-form, then $q=0$ and $\xi$ is exact. Exact one-forms give the converse, because $F(w\circ \pi )=dw(v)$. No assumption of pointwise negative Gaussian curvature is needed for this theorem. We now derive the contact obstruction from it rather than assume the desired rigidity conclusion.

Use the usual connected-surface convention. Since ${\int }_{M}f{\Omega }_a=0$, the top-degree de Rham cohomology class of $f{\Omega }_a$ vanishes: integration identifies $H_{\mathrm{dR}}^2(M)$ with $\mathbb{R}$. Choose a smooth one-form $\eta$ on $M$ satisfying $d\eta =f{\Omega }_a$, and setThe structure equations and the previous volume calculation giveThis primitive exists because of the zero-flux hypothesis, and need not itself be contact.

A useful elementary fact is that every smooth invariant function of an Anosov flow is constant on a connected manifold. If $Fh=0$, then $d{h}_x(v_s)=d{h}_{{\varphi }_{t}x}(D{\varphi }_t{v}_s)$, and boundedness of $dh$ with exponential contraction makes this zero as $t\to \infty$. Negative time does the same for an unstable vector. Also $dh(F)=0$. The Anosov splitting spans the tangent space, so $dh=0$. This avoids any extra ergodicity assumption.

Suppose a smooth contact form $\tau$ is preserved. Invariance and contraction imply $\tau (v_s)=\tau (D{\varphi }_t{v}_s)=0$ in the limit; negative time gives the same on unstable vectors. Thus $\tau$ annihilates both transverse bundles. Its value $\tau (F)$ cannot vanish anywhere, since otherwise $\tau$ would be zero at that point, contradicting the contact condition. It is a smooth invariant function and therefore a nonzero constant. Divide $\tau$ by that constant to arrange $\tau (F)=1$.

The Cartan formula for the Lie derivative now gives ${\iota }_{F}d\tau =0$. In dimension three, all two-forms annihilating $F$ are scalar multiples of ${\iota }_F\mu$, soThe scalar $k$ is smooth and nowhere zero by the contact condition. Both sides without $k$ are flow-invariant; hence $Fk=0$ and the preceding Anosov argument makes $k$ constant. It follows thatis a closed differential one-form.

We require the Liouville mean of such a closed differential form, and derive it explicitly. Let $R_s$ be fibre rotation and average $\zeta$ over $0\le s\le 2\pi$. Since $d\zeta =0$, the Cartan formula for the Lie derivative givesConsequently its rotational average differs from $\zeta$ by an exact form. For a closed rotationally invariant one-form $\overline{\zeta }$, the identity $d(\overline{\zeta }(V))={\mathcal{L}}_V\overline{\zeta }-{\iota }_{V}d\overline{\zeta }=0$ makes its vertical value a constant $a$. Subtracting $a\omega$ leaves a rotationally invariant horizontal form, which descends to a base form $\xi$. We have therefore proved the averaging closed one-forms on a surface unit tangent bundle decompositionThe last relation follows from closedness and $d\omega =-K{\pi }^{\ast }{\Omega }_a$.

Evaluation at $F$ gives $\zeta (F)={\xi }_x(v)+af+Fh$. The average of the linear expression ${\xi }_x(v)$ around each unit circle is zero. The second term has total integral $2\pi a{\int }_{M}f{\Omega }_a=0$. Finally ${\int }_{SM}Fhd\mu =0$ by volume preservation and Stokes theorem. Thusfor every closed differential one-form $\zeta$ in this zero-flux system. Apply this to $\tau +k\sigma$: the directional average of ${\eta }_x(v)$ also vanishes, so its integral is $(1+k){\mathrm{Vol}}_{\mu }(SM)$. Positivity of the volume forces $k=-1$. Hence $d\tau =d\sigma$ and $\zeta =\tau -\sigma$ is closed.

Using its proved decomposition and $\tau (F)=1$, we obtainThe stated magnetic transform kernel theorem gives $af=0$ and exactness of $\eta -\xi$, hence $d\eta =d\xi$. If $a=0$, then $d\xi =0$ and $f{\Omega }_a=d\eta =0$, so $f=0$. If $a\ne 0$, the equation $af=0$ already gives $f=0$. Necessity is proved.

Conversely, if $f=0$, then $F=X$. The canonical form $\alpha$ is contact because $\alpha \wedge d\alpha =-\mu$ never vanishes, andThus the flow preserves $\alpha$, provingIf disconnected surfaces are admitted, the flux condition must hold on each component for the exactness step; a single cancelling total flux does not imply componentwise exactness. The result above uses the standard connected interpretation of a surface.

The divergence of a Riemannian vector field $X$ is the trace of the covariant derivative map $Y\mapsto {\nabla }_{Y}X$:It is characterized by ${\mathcal{L}}_X{\omega }_g=(\mathrm{div}X){\omega }_g$ in the oriented case. The metric-dual vector field $X_{\theta }={\theta }^{♯}$ is defined by $g(X_{\theta },Y)=\theta (Y)$ for every $Y$, using the musical isomorphism.

On a compact oriented manifold without boundary, the permitted exactness assertion and Stokes theorem imply ${\int }_M\mathrm{div}Y{\omega }_g=0$ for every smooth vector field $Y$. For a smooth function $a$, the product rule givesSince $⟨da,\theta ⟩=X_{\theta }(a)$, the formal-adjoint identity yieldsThis holds for all $a$; taking $a=\delta \theta +\mathrm{div}{X}_{\theta }$ proves the pointwise formulaIt agrees with $\delta \theta =-\ast d\ast \theta$, since $\ast \theta ={\iota }_{X_{\theta }}{\omega }_g$ and $d{\iota }_{X_{\theta }}{\omega }_g={\mathcal{L}}_{X_{\theta }}{\omega }_g$.

The Bochner formula for one-forms, with the positive Hodge Laplacian, isHere $\Delta =d\delta +\delta d$ acts on one-forms. The covariant derivative $\nabla \theta$ is a section of $T^{\ast }M\otimes T^{\ast }M$, and its formal-adjoint composition, the rough Laplacian, isThis expression is independent of the local orthonormal frame. The Ricci term is the zero-order bundle endomorphism specified byThus the identity separates the differential energy of the form from the curvature contribution; the sign of the Ricci term matches positive sectional curvature on the sphere.

Let $\theta$ be a harmonic one-form on a compact connected manifold with nonnegative Ricci curvature. Pair the formula with $\theta$ and integrate:Both integrands are nonnegative and continuous, so each vanishes everywhere. In particular $\nabla \theta =0$, proving that harmonic one-forms are parallel under nonnegative Ricci curvature. This integration uses the Riemannian volume density and formal adjoints, so orientation is not necessary for the final conclusion.

Fix $p\in M$. The evaluation mapis injective: a parallel form with zero value at $p$ stays zero under parallel transport along every path, and connectedness makes every point reachable from $p$. ThereforeThis is the dimension bound for harmonic one-forms under nonnegative Ricci curvature. The bound is sharp: on a flat $n$-torus the $n$ constant coordinate one-forms are parallel and harmonic. If Ricci curvature is positive definite at even one point, the same integral and parallelism argument force every harmonic one-form to vanish.

Use the Wirtinger derivatives ${\partial }_z=({\partial }_x-i{\partial }_y)/2$ and ${\partial }_{\bar{z}}=({\partial }_x+i{\partial }_y)/2$, and area measure $dA=dxdy=(i/2)dz\wedge d\bar{z}$. The supplied boundary-integral identity is the planar Generalized Stokes theorem; the usual Poincaré lemma is a different local exactness result.

Let $f\in C^1(\overline{D})$ and $z\in D$. Remove a disk of radius $ϵ$ around $z$, and apply Generalized Stokes theorem to the one-form $f(\zeta )d\zeta /(\zeta -z)$ on the punctured domain. Away from the puncture,The outer boundary is counterclockwise and the small inner circle clockwise. Its counterclockwise integral tends to $2\pi if(z)$. Passing to the limit gives the Cauchy-Pompeiu formulaThe weak $1/|\zeta -z|$ singularity is locally integrable. If the boundary term vanishes on expanding $D$ to the whole plane, the formula becomes $f(z)={\pi }^{-1}{\int }_{\mathbb{C}}{f}_{\bar{\zeta }}(\zeta )/(z-\zeta )dA(\zeta )$. In particular it yields the distributional normalization ${\partial }_{\bar{z}}[1/(\pi z)]={\delta }_0$. For holomorphic functions the area term vanishes and one recovers the Cauchy integral formula.

Use a consistent number $n$ of vertices, with $z_{n+1}=z_1$, and set $m_j=(z_j+z_{j+1})/2$, $h_j=(z_{j+1}-z_j)/2$. Pull back the one-form to $z_j(s)=m_j+s{h}_j$. Since $dz=h_{j}ds$ and $d\bar{z}={\bar{h}}_{j}ds$, the side integrand isFor counterclockwise traversal, put ${\ell }_j=|h_j|$ and let $q_j={\partial }_{n}u$ be the outward normal derivative, while $g_j=u{|}_{S_j}$ is the Dirichlet boundary data. The outward unit normal is $-i{h}_j/{\ell }_j$ in complex notation. Therefore $h_j{u}_z-{\bar{h}}_j{u}_{\bar{z}}=i{\ell }_j{q}_j$, andThere is no tangential-derivative term: it cancels in this particular one-form. The Generalized Stokes theorem and $dW=0$ now give the polygonal global relationThe same zero identity holds with every side traversed clockwise, but then $h_j{u}_z-{\bar{h}}_j{u}_{\bar{z}}=-i{\ell }_j{q}_j$ for outward normals. One must change this sign consistently rather than mix the two orientations.

Use the standard meaning of static spacetime: a stationary spacetime chart whose time-space components also vanish. The printed static definition needs to inherit the timelike requirement $g_{00}<0$; without it, the requested timelike conclusion does not follow.

The preceding argument shows that $V={\partial }_0$ is a timelike Killing vector field. Its metric-dual one-form is $v=V_{\mu }d{x}^{\mu }=g_{00}d{x}^0$. Its exterior derivative satisfiesFor a torsion-free connection, antisymmetrizing the covariant derivative of a one-form gives its exterior derivative. Consequently the Killing vector has hypersurface orthogonality:Geometrically, the hypersurfaces $x^0=\mathrm{constant}$ are orthogonal to $V$.

The normalized Killing one-form $\eta =F^{-1}{V}_{\mu }d{x}^{\mu }$ is a closed differential form. The Poincaré lemma gives a local scalar potential $\varphi$ with $\eta =d\varphi$, hence $V_{\mu }=F{\partial }_{\mu }\varphi$. Choose the adapted chart of part (i), so $V={\partial }_0$. ThenThe closed differential form condition supplies the integrability of these spatial derivatives. For a fixed $g$ and $V$, $f$ is determined locally up to an additive constant; its derivatives cannot be chosen freely despite the wording in the paper.

Use ${\bar{x}}^0=\varphi$, ${\bar{x}}^i=x^i$. The Jacobian determinant is one, so this is a local coordinate change. Holding ${\bar{x}}^i$ fixed gives $V={\partial }_{\bar{0}}$, while its metric-dual one-form is $v=Fd{\bar{x}}^0$. Thus ${\bar{g}}_{00}=F<0$ and ${\bar{g}}_{0i}=0$. The Killing equation still holds, so ${\partial }_{\bar{0}}{\bar{g}}_{\mu \nu }=0$. The metric is locally static:A closed differential form need not be globally exact; neither a global potential nor a global static chart follows without additional topological assumptions.

A smooth map $\varphi :M\to N$ pulls a differential form on $N$ back to one on $M$ by applying its differential $d\varphi$ to each tangent vector argument. In particular, a parametrization of a curve pulls a one-form back to an ordinary integrand on an interval.

For $\alpha =xdy$ and the parabola $\varphi (t)=(t,t^2)$, $0\le t\le 1$, substitute $x=t$ and $dy=2tdt$ to obtainThe same endpoints gave $0$ and $1$ along the two square-edge paths in the introduction, so this third answer is consistent with path dependence. By contrast, ${\varphi }^{\ast }d(xy)=d(t^3)=3t^{2}dt$ gives integral $1$, the same endpoint difference as before.

The pullback of a differential form commutes with the wedge product of differential forms and the exterior derivative: ${\varphi }^{\ast }(\alpha \wedge \beta )={\varphi }^{\ast }\alpha \wedge {\varphi }^{\ast }\beta$ and ${\varphi }^{\ast }(d\alpha )=d({\varphi }^{\ast }\alpha )$. These identities make changes of coordinates and parametrizations compatible with differentiation and integration.

It is the alternating-tensor case of pullback.

A connection on a principal circle bundle has local real one-form representatives $A$ transforming by $A\mapsto A+d\chi$. Its curvature is the globally defined two-form $F=dA$. In unit-charge normalization its holonomy around a closed loop is $e^{i\oint A}$, and curvature periods are integer multiples of $2\pi$ on closed surfaces. A circulation representative is defined modulo $2\pi$ under large gauge transformations.