Cherry Vector Fields

• Cherry vector fields are smooth flows on the torus T² defined by a hyperbolic sink and a saddle, resulting in no closed trajectories.
• They induce global Poincaré sections that reduce the dynamics to degree-one circle maps with flat intervals and critical scaling behavior.
• The study of these fields reveals phase transitions in return-map geometry and links to bi-Lagrangian structures through Hess connections.

Searching arXiv for recent and foundational papers on Cherry vector fields, Cherry flows, and Cherry maps. Cherry vector fields, also called Cherry fields, are $C^\infty$ vector fields on the torus $T^2$ without closed trajectories and with exactly two singularities, a sink and a saddle, both hyperbolic (Palmisano, 2012). The flow generated by such a field is a Cherry flow. In the modern literature, Cherry vector fields are studied primarily through the structure of their trajectories on $T^2$, the existence of global Poincaré sections, and the induced one-dimensional circle maps with a flat interval known as Cherry maps (Palmisano, 2012, Ndawa, 17 Aug 2025).

1. Definition and basic dynamical model

The standard setting is the two-dimensional torus,

$$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$

Within this setting, a Cherry field is characterized by three phase-portrait properties: the ambient manifold is $T^2$, there are no periodic orbits, and the singular set consists of exactly one hyperbolic sink and one hyperbolic saddle (Palmisano, 2012). The 2025 treatment denotes the set of such vector fields by

$\mathfrak X_c(\mathbb T^2)$

and uses the same toral definition (Ndawa, 17 Aug 2025).

A standard structural fact recalled in the literature is that every Cherry flow admits a Poincaré global section, defined as a transversal, simple, closed $C^\infty$ curve $\Sigma$ intersecting every one-dimensional trajectory of the flow (Palmisano, 2012). Another recalled fact is that every Cherry field has a quasi-minimal set, namely the closure of a non-trivial recurrent trajectory, and that this set is locally homeomorphic to the Cartesian product of a Cantor set and a segment (Palmisano, 2012). This makes Cherry dynamics a canonical example of singular torus dynamics in which recurrence persists despite the absence of periodic orbits.

The singular configuration is essential. In the cited treatments, the sink and saddle are not incidental defects of an otherwise regular foliation; they are the mechanism by which the torus flow acquires a nontrivial return map with a flat interval and irrational rotation behavior (Palmisano, 2012). A plausible implication is that Cherry vector fields occupy a boundary regime between smooth circle-like dynamics and singular surface flows with recurrent invariant sets.

2. Global sections and induced Cherry maps

The first-return construction is the basic reduction from a Cherry vector field to one-dimensional dynamics. Let $X$ be a Cherry field and let $\Sigma$ be a global Poincaré section. After identifying the complement of $T^2$0 with an annulus, one considers points on a transversal circle whose positive orbit reaches the opposite boundary circle. If $T^2$1 denotes the set of such points and $T^2$2 the first positive return time, the induced map is

$T^2$3

or, in equivalent flow notation,

$T^2$4

on the domain of definition (Palmisano, 2012, Ndawa, 17 Aug 2025). On the complementary interval $T^2$5, the map is extended by collapsing $T^2$6 to a single point. Thus the return map is continuous on the circle, $T^2$7 outside the boundary points of $T^2$8, and constant on $T^2$9 (Palmisano, 2012).

This places the return map in the class denoted $T^2$0 or $T^2$1, consisting of order-preserving degree-one circle maps with a flat interval. The defining local model is an interval $T^2$2 such that $T^2$3 is one point, $T^2$4 restricts to a diffeomorphism off $T^2$5, and near the endpoints there are power-law forms

$T^2$6

with $T^2$7 local diffeomorphisms (Ndawa, 2022, Ndawa, 17 Aug 2025). In the Cherry-flow setting, the first return map is symmetric, and the critical exponent is determined by the saddle eigenvalues $T^2$8: $T^2$9 More precisely, on a right-sided neighborhood of $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$0,

$$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$1

and analogously on a left-sided neighborhood of $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$2 (Palmisano, 2012).

The rotation number of a lift $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$3 of the induced map is

$$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$4

and in the Cherry-flow case it is irrational because the underlying flow has no periodic trajectories (Palmisano, 2012, Ndawa, 2022). This semiconjugates Cherry dynamics to irrational rotation combinatorics while retaining a singular flat interval.

3. Phase transition in return-map geometry

The most detailed quantitative results presently cited for Cherry vector fields pass through the associated circle map with a flat interval. In the symmetric setting, the critical threshold is the exponent

$$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$5

The geometric scaling sequence

$$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$6

measures the geometry near the flat interval. When $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$7, the geometry is called degenerate; when $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$8 is bounded away from zero, the geometry is called bounded (Palmisano, 2012).

The sharp transition is summarized by the theorem that if the critical exponent $$T^2 \simeq S^1 \times [0,1]/\sim,\qquad (s,0)\sim (s,1).$$9, then the scalings $T^2$0 tend to zero at least exponentially fast, whereas for maps with rotation number of bounded type and critical exponent $T^2$1, the sequence $T^2$2 is bounded away from zero (Palmisano, 2012). The corresponding invariant set for the map is the non-wandering set

$T^2$3

For $T^2$4, its Hausdorff dimension is $T^2$5; for $T^2$6, its Hausdorff dimension is strictly greater than $T^2$7 (Palmisano, 2012).

Translated back to a Cherry flow, the threshold becomes

$T^2$8

If $T^2$9 is a Cherry vector field with saddle eigenvalues $\mathfrak X_c(\mathbb T^2)$0, and if

$\mathfrak X_c(\mathbb T^2)$1

and the first return map has rotation number of bounded type, then the quasi-minimal set has Hausdorff dimension strictly greater than $\mathfrak X_c(\mathbb T^2)$2 (Palmisano, 2012). The mechanism is the local product structure recalled in the same source: near a global section, the quasi-minimal set is $\mathfrak X_c(\mathbb T^2)$3-equivalent to

$\mathfrak X_c(\mathbb T^2)$4

This makes the return-map phase transition into a geometric phase transition for the flow itself.

4. Pairs of Cherry vector fields and bi-Lagrangian structures

A distinct line of work places Cherry vector fields in a symplectic and foliation-theoretic framework. On a symplectic surface, a pair of transversal one-dimensional foliations defines a bi-Lagrangian structure

$\mathfrak X_c(\mathbb T^2)$5

where $\mathfrak X_c(\mathbb T^2)$6 is closed and nondegenerate and $\mathfrak X_c(\mathbb T^2)$7 are transversal Lagrangian foliations (Ndawa, 2022). On $\mathfrak X_c(\mathbb T^2)$8, a pair of transversal vector fields without singularity therefore defines a bi-Lagrangian structure (Ndawa, 2022).

Cherry vector fields introduce an important complication: they necessarily have singularities. The cited torus papers therefore separate two stories. One story concerns nonsingular transverse fields and bi-Lagrangian geometry. The other concerns Cherry vector fields and Cherry maps. The distinction is explicit: the bi-Lagrangian setup uses nonsingular transverse fields, whereas Cherry vector fields necessarily have singularities (Ndawa, 2022).

Even so, pairs of Cherry vector fields enter the theory through return-map constructions. A single Cherry vector field generates a symmetric Cherry map. A pair of Cherry vector fields can generate a broader class of maps with asymmetric critical exponents (Ndawa, 2022, Ndawa, 17 Aug 2025). Concretely, if $\mathfrak X_c(\mathbb T^2)$9 generate $C^\infty$0 or $C^\infty$1, with flat pieces

$C^\infty$2

symmetric critical exponents $C^\infty$3 and $C^\infty$4, and if

$C^\infty$5

then the patched map has flat interval

$C^\infty$6

and critical exponents

$C^\infty$7

or, in the 2025 notation,

$C^\infty$8

(Ndawa, 2022, Ndawa, 17 Aug 2025). The proved statement is not that every Cherry map arises this way, but that some maps with different left and right exponents do.

5. Hess connections, prolongations, and induced conjugacy

The bi-Lagrangian viewpoint leads to a canonical connection. For a bi-Lagrangian structure, the Hess connection is the unique torsion-free connection preserving both foliations and parallelizing the symplectic form: $C^\infty$9 In the 2025 torus paper, if $\Sigma$0 is a pair of transversal Cherry vector fields with the same singularities, then after removing the singular set

$\Sigma$1

the pair determines foliations $\Sigma$2 and hence a bi-Lagrangian structure on the punctured torus, with Hess connection $\Sigma$3 (Ndawa, 17 Aug 2025). Under an additional compatibility condition on all pairs generating the same Cherry map, the restriction $\Sigma$4 is defined as a linear connection associated to the map (Ndawa, 17 Aug 2025).

The same paper proves that the push-forward action on pairs of Cherry vector fields induces conjugation on the associated subclass of Cherry maps. Writing

$\Sigma$5

the action

$\Sigma$6

induces

$\Sigma$7

on the subset $\Sigma$8 of Cherry maps generated by pairs of Cherry vector fields (Ndawa, 17 Aug 2025). The proof uses the standard flow identity

$\Sigma$9

so the first-hit map transforms by conjugacy (Ndawa, 17 Aug 2025).

These papers also develop prolongations of bi-Lagrangian structures to $X$0 and $X$1, including

$X$2

but their relevance to Cherry vector fields is indirect: the Cherry-map results are formulated mainly through push-forward dynamics and return maps rather than through the tangent- and cotangent-bundle liftings themselves (Ndawa, 2022, Ndawa, 17 Aug 2025).

6. Scope, limitations, and adjacent frameworks

Several misconceptions are addressed explicitly in the cited literature. First, Cherry vector fields should be distinguished from Cherry maps. A Cherry vector field is a singular torus vector field with no closed trajectories; a Cherry map is a degree-one circle map with a flat interval and endpoint critical exponents (Palmisano, 2012, Ndawa, 17 Aug 2025). The return map construction gives a one-way link from flow to map, but the cited papers do not prove that every Cherry map arises from a Cherry flow or from a pair of vector fields on $X$3 (Ndawa, 2022, Ndawa, 17 Aug 2025).

Second, bi-Lagrangian structures on $X$4 come from pairs of transversal nonsingular vector fields, whereas Cherry vector fields necessarily possess singularities. The relation between the two theories is therefore motivational and partial rather than a single unified theorem (Ndawa, 2022). The punctured-torus construction in (Ndawa, 17 Aug 2025) is one way of reconciling this tension.

Third, not every analytic framework for vector fields is directly applicable to Cherry dynamics. The inverse-problem paper "Ray Transforms and Vector Fields" studies reconstruction of a function from integrals over trajectories of planar vector fields by complexifying

$X$5

and imposing type-$X$6 or $X$7 conditions (Hoell, 2011). Cherry vector fields are not explicitly mentioned there, and the stated assessment is that direct applicability is generally no; partial or local applicability is possible only on a simply connected planar subdomain, away from singularities and recurrent obstructions, and only if the required complexification and foliation hypotheses can be verified (Hoell, 2011).

Finally, the phrase “vector field” may refer to entirely different frameworks. The scheme-theoretic paper "Vector fields and differential schemes" defines vector fields as derivations of the structure sheaf and develops leaves and trajectories for schemes (Bardavid, 2010). That theory is not about Cherry vector fields in the dynamical-systems sense. This distinction matters because Cherry dynamics is tied to $X$8 torus flows, Poincaré sections, return maps, quasi-minimal sets, and saddle-source singular geometry, none of which is the object of (Bardavid, 2010).

Taken together, the cited works present Cherry vector fields as a toral singular-flow class defined by a hyperbolic sink, a hyperbolic saddle, and absence of periodic orbits; reduced analytically to monotone circle maps with a flat interval; organized geometrically by a sharp threshold at $X$9; and, in recent work, embedded into a bi-Lagrangian and Hess-connection framework for pairs of Cherry vector fields (Palmisano, 2012, Ndawa, 2022, Ndawa, 17 Aug 2025).