Thermostats without conjugate points

James Marshall Reber; Javier Echevarr\'ia Cuesta

arxiv: 2501.01923 · v2 · submitted 2025-01-03 · 🧮 math.DS

Thermostats without conjugate points

Javier Echevarr\'ia Cuesta , James Marshall Reber This is my paper

Pith reviewed 2026-05-23 05:51 UTC · model grok-4.3

classification 🧮 math.DS

keywords thermostatsconjugate pointsthermostat curvatureGreen bundlesprojectively AnosovHopf theoremdynamical systems on surfaces

0 comments

The pith

The total thermostat curvature of a thermostat without conjugate points is non-positive and vanishes only if the curvature is identically zero.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper generalizes Hopf's classical theorem from geodesic flows to thermostats, which are flows on the unit tangent bundle of a closed oriented surface. It establishes that the integrated thermostat curvature cannot be positive when there are no conjugate points, and must be identically zero or never zero. The work further characterizes when Green bundles become transverse and supplies an explicit counterexample to rigidity results that hold for geodesic flows on the torus.

Core claim

We generalize Hopf's theorem to thermostats: the total thermostat curvature of a thermostat without conjugate points is non-positive and vanishes only if the thermostat curvature is identically zero. We further show that, if the thermostat curvature is zero, then the flow has no conjugate points and the Green bundles collapse almost everywhere. Given a thermostat without conjugate points, we prove that the Green bundles are transverse everywhere if and only if it is projectively Anosov. Finally, we provide an example showing that Hopf's rigidity theorem on the 2-torus cannot be extended to thermostats.

What carries the argument

Thermostat curvature, the quantity whose integral is controlled by the absence of conjugate points and whose vanishing forces collapse of the Green bundles.

If this is right

If the thermostat curvature vanishes identically then the flow has no conjugate points.
When the thermostat curvature is zero the Green bundles collapse almost everywhere.
For any thermostat without conjugate points the Green bundles are transverse everywhere precisely when the flow is projectively Anosov.
There exist projectively Anosov thermostats that fail to be Anosov.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The projective Anosov condition is strictly weaker than the Anosov condition once one leaves the geodesic-flow setting.
The torus counterexample indicates that any rigidity statement for thermostats will require an extra global assumption beyond the mere absence of conjugate points.
Similar integral-curvature obstructions may exist for other classes of flows that admit a well-defined curvature notion on surfaces.

Load-bearing premise

The thermostat is a sufficiently smooth flow on the unit tangent bundle of a closed oriented surface for which conjugate points and Green bundles are well-defined and obey the usual structural properties.

What would settle it

An explicit smooth thermostat on a closed surface with no conjugate points whose integrated thermostat curvature is strictly positive.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends Hopf's theorem to thermostats with a torus counterexample to rigidity.

read the letter

The main things to know are the generalization of Hopf's theorem to thermostats and the explicit counterexample on the 2-torus. The paper shows that the total thermostat curvature is non-positive when there are no conjugate points and vanishes only if the curvature is identically zero. It also proves that zero curvature implies no conjugate points with Green bundles collapsing almost everywhere, and that transverse Green bundles are equivalent to the flow being projectively Anosov. The torus example separates projective Anosov from Anosov and shows that the classical rigidity statement does not carry over. These results adapt the Green bundle argument from the geodesic case to the thermostat setting using the same structural properties for the flow. The claims line up internally with no evident circularity or unjustified steps. The construction is presented as explicit, which helps with verifiability. A soft spot is that the details of how the thermostat curvature is defined and how the comparison argument avoids extra terms would need checking in the proofs, though the abstract and stress test give no sign of a problem there. This is for people working on rigidity and hyperbolicity questions for flows on surfaces. It deserves a serious referee because the extension and the separating example are new within the subfield. I would send it out for peer review.

Referee Report

0 major / 2 minor

Summary. The paper generalizes Hopf's theorem to thermostats on closed oriented surfaces. It proves that the total (integrated) thermostat curvature of a thermostat without conjugate points is non-positive, vanishing if and only if the curvature is identically zero. Additional results establish that zero thermostat curvature implies the absence of conjugate points together with almost-everywhere collapse of the Green bundles, that the Green bundles are transverse everywhere if and only if the thermostat is projectively Anosov, and that Hopf rigidity fails on the 2-torus; the manuscript also supplies the first explicit example of a projectively Anosov thermostat that is not Anosov.

Significance. If the central claims hold, the work extends a classical rigidity result from geodesic flows to a strictly larger class of flows while clarifying the distinction between projective Anosov and Anosov properties. The explicit counterexample on the torus is a concrete contribution that demonstrates the necessity of the geodesic assumption in the original Hopf rigidity theorem. The arguments rely on the existence and invariance of Green bundles together with an index-type comparison that forces the sign of the curvature integral; these steps appear internally consistent with the stated structural hypotheses on the flow.

minor comments (2)

The introduction would benefit from a short paragraph recalling the precise definition of thermostat curvature and its relation to the classical Gaussian curvature before stating the main theorems.
In the section presenting the example, include a brief verification that the constructed flow satisfies the smoothness and closed-surface hypotheses required for the Green-bundle theory used elsewhere in the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the assessment of its significance, and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; self-contained generalization

full rationale

The manuscript generalizes Hopf's theorem by replacing geodesic curvature with thermostat curvature and deriving the sign of its integral from the existence and invariance of Green bundles under the no-conjugate-points assumption, together with standard comparison/index arguments. These steps rely on the stated structural properties of the flow rather than any self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The additional results on bundle collapse, projective Anosov equivalence, and the explicit counter-example on the torus are constructed independently and do not reduce to the input data by construction. No quoted equation or step exhibits the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work extends classical results in Riemannian geometry and dynamical systems. It introduces no new free parameters, no invented entities, and relies only on standard mathematical axioms such as the existence and basic properties of flows, curvature, and conjugate points on closed surfaces.

axioms (1)

standard math Standard structural properties of geodesic flows, conjugate points, and curvature on closed oriented surfaces as used in Hopf's theorem
The generalization presupposes these background facts from classical differential geometry.

pith-pipeline@v0.9.0 · 5634 in / 1274 out tokens · 34065 ms · 2026-05-23T05:51:38.482354+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Finiteness of Totally Magnetic Hypersurfaces
math.DG 2026-01 unverdicted novelty 6.0

Real-analytic negatively s-curved magnetic systems on closed manifolds have only finitely many closed totally s-magnetic hypersurfaces unless the magnetic form is trivial and the metric is hyperbolic.