On components of stable connectivity of gradient-like diffeomorphisms of the 2-torus

D.A. Baranov; E.V. Nozdrinova; O.V. Pochinka

arxiv: 2605.17130 · v1 · pith:MNN5VDJGnew · submitted 2026-05-16 · 🧮 math.DS

On components of stable connectivity of gradient-like diffeomorphisms of the 2-torus

D.A. Baranov , E.V. Nozdrinova , O.V. Pochinka This is my paper

Pith reviewed 2026-05-20 14:37 UTC · model grok-4.3

classification 🧮 math.DS

keywords gradient-like diffeomorphisms2-torusstable connectivity componentsperiodic dataisotopy classeshyperbolic limit setsdynamical systems on surfaces

0 comments

The pith

Gradient-like diffeomorphisms of the 2-torus not isotopic to the identity split into a finite number of stable connectivity components, each fixed by periodic data.

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

The paper studies gradient-like diffeomorphisms on the 2-torus that are not isotopic to the identity. These maps have finite hyperbolic limit sets with no crossings between manifolds of different saddles. Within each isotopy class the authors prove that only finitely many stable connectivity components exist, in contrast to the countable components known for the 2-sphere. They introduce periodic data for each isotopy class that completely determines which component contains a given map. A reader would care because the result gives a discrete classification of these systems under stable perturbations.

Core claim

For gradient-like diffeomorphisms of the 2-torus that are not isotopic to the identity, the set of all such maps splits into a finite number of stable connectivity components; for each isotopy class the periodic data of the diffeomorphism uniquely determines membership in one of these components.

What carries the argument

Stable connectivity components, the equivalence classes formed by connecting isotopic maps through stable arcs in the space of diffeomorphisms along which every map keeps a finite limit set.

If this is right

Two maps in the same isotopy class belong to the same stable connectivity component precisely when they share the same periodic data.
The space of all such diffeomorphisms on the torus is partitioned into finitely many classes per isotopy type.
Small perturbations along a stable arc preserve both the finite hyperbolic limit set and the absence of manifold intersections.
The classification replaces an a priori infinite-dimensional family with a finite discrete set labeled by periodic data.

Where Pith is reading between the lines

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

The finite partition may permit an effective algorithm that decides stable connectivity from the periodic orbits alone.
Similar finiteness statements could hold for gradient-like maps on other closed surfaces whose fundamental group is non-trivial.
Explicit constructions such as affine maps on the torus could be checked directly to confirm that periodic data separate the components.

Load-bearing premise

Any arc connecting two isotopic diffeomorphisms can be chosen so that every map on the arc has a finite limit set and the arc stays stable under small perturbations.

What would settle it

Exhibit an isotopy class of gradient-like diffeomorphisms on the 2-torus, not isotopic to the identity, that contains infinitely many distinct stable connectivity components.

Figures

Figures reproduced from arXiv: 2605.17130 by D.A. Baranov, E.V. Nozdrinova, O.V. Pochinka.

**Figure 1.** Figure 1: Phase portrait of a diffeomorphism in G1 The existence of four stable connectivity components G0 2 = ⟨10, 10, 10⟩, G1 2 = ⟨10, 10, 12⟩, G2 2 = ⟨10, 12, 12⟩, G3 2 = ⟨12, 12, 12⟩ in G2 is established in [2]. Examples of phase portraits of diffeomorphisms gi ∈ Gi 2 , i ∈ {0, 1, 2, 3} to which all other diffeomorphisms in Gi 2 are connected by a stable arc are shown in [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

**Figure 2.** Figure 2: Phase portraits of diffeomorphisms: (a) g0 ∈ G0 2 , (b) g1 ∈ G1 2 , (c) g2 ∈ G2 2 , (d) g3 ∈ G3 2 Thus, it remains to prove items 3) and 4) of Theorem 1. The proofs in both cases consist of three parts: I) description of the dynamics of the simplest diffeomorphism in Gi j , j ∈ {3, 4}, i ∈ {0, . . . , rj − 1} denoted by gi , defined by the condition (3.1) |Ωgi | = min g∈Gi j |Ωg|; II) proof of the absence … view at source ↗

**Figure 3.** Figure 3: Phase portrait of g2 ∈ G 2 4 [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗

**Figure 4.** Figure 4: Tricolor graph of g2 ∈ G 2 4 edge colors and conjugating the permutations. The equivalence class of the graph is a complete invariant of topological conjugacy of the corresponding gradient-like diffeomorphism. Moreover, for any such graphs there exists an isomorphism commuting with the rotation, which completes the proof. □ [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗

**Figure 5.** Figure 5: Phase portraits of diffeomorphisms: (a) g0 ∈ G0 4 , (b) g1 ∈ G1 4 , (c) g2 ∈ G2 4 , (d) g3 ∈ G3 4 [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗

**Figure 6.** Figure 6: shows the phase portraits of the simplest diffeomorphisms gi ∈ Gi 3 . (a) (b) (с) [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗

**Figure 7.** Figure 7: Illustration for case 1) 2) Assume that g has a sink ω˜ of period 3 (the proof for a source is analogous). We show that in this case g is connected by a stable arc to a diffeomorphism satisfying case 1). By Proposition 3, the set Ω 0 g ∪ Wu Ω1 g is connected; hence there exists a saddle point σ˜ such that cl Wu σ˜ \Wu σ˜ = ˜ω⊔ωˆ, where ωˆ is either the fixed sink ω or a sink of period 6. Since the period o… view at source ↗

**Figure 8.** Figure 8: Illustration for case 2) [10] Nozdrinova E., Pochinka O. Solution of the 33rd Palis-Pugh problem for gradient-like diffeomorphisms of a two-dimensional sphere // Discrete and Continuous Dynamical Systems. 41:3, 1101–1131 (2021). [11] Nozdrinov A., Nozdrinova E., Pochinka O. Stable isotopy connectivity of gradient-like diffeomorphisms of 2-torus // Journal of Geometry and Physics. 1–20 (2024). [12] Rolfse… view at source ↗

read the original abstract

Gradient-like diffeomorphisms of a closed surface $M^2$ are characterized by a finite hyperbolic limit set and the absence of intersections of invariant manifolds of distinct saddle points. In the case where such diffeomorphisms $f_0, f_1:M^2\to M^2$ are isotopic, they are connected by some arc $\{f_t:M^2\to M^2, t\in [0,1]\}$ in the space of diffeomorphisms. If every diffeomorphism of the arc has a finite limit set and the arc is stable (does not change its qualitative properties under small perturbations) in the space of diffeomorphisms, then $f_0,f_1$ are said to be {\it stably connected}. Thus, the set of isotopic diffeomorphisms splits into components of stable connectivity, of which there may, in general, be infinitely many. For instance, it is known that gradient-like diffeomorphisms of the 2-sphere (both orientation-preserving and orientation-reversing) consist of a countable number of stable connectivity components. Moreover, belonging to a particular component is uniquely determined by the periodic data of the diffeomorphism. In the present paper, we consider gradient-like diffeomorphisms of the 2-torus that are not isotopic to the identity. We establish that the set of such diffeomorphisms splits into a finite number of stable connectivity components. For each isotopy class, we define the periodic data of the diffeomorphism, which uniquely determine membership in a given component.

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

The paper shows gradient-like diffeos on the torus outside the identity class split into finitely many stable connectivity components labeled by periodic data, but the argument rests on restricting to the few isotopy classes that actually admit finite limit sets.

read the letter

The headline result is that gradient-like diffeomorphisms of the 2-torus not isotopic to the identity fall into a finite number of stable connectivity components, with periodic data serving as a complete invariant for each isotopy class. This tightens the sphere case, where the number is countable, to a finite count on the torus. The authors define the periodic data explicitly and argue it determines membership in a given component without depending on the choice of connecting arc. That step looks like the main technical contribution and extends the earlier sphere literature in a direct way. They also keep the setup standard: finite hyperbolic limit sets and no intersections between manifolds of distinct saddles. The work is careful about staying inside one isotopy class along any stable arc, which is the right framing. The soft spot is the global finiteness claim. The mapping class group is infinite, and most classes produce exponentially many periodic points, so gradient-like maps can exist in only a handful of them. The abstract does not list those classes, but the paper must characterize them to reach the finite total. If that characterization is clean and the periodic data is shown to be independent of arc choice, the argument holds. Otherwise the finiteness could be an artifact of an incomplete list. This is for readers working on classification of Morse-Smale or gradient-like maps on surfaces. Someone tracking invariants for low-dimensional dynamics would get concrete value from the periodic data construction. The result is specific enough and grounded in the existing literature that it deserves a serious referee rather than a desk rejection. I would send it out for review and ask the referees to check the enumeration of admissible isotopy classes and the independence of the periodic data.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that gradient-like diffeomorphisms of the 2-torus not isotopic to the identity split into a finite number of stable connectivity components. For each isotopy class, the periodic data of the diffeomorphism uniquely determines membership in a given stable connectivity component.

Significance. If the result holds, it establishes a finite classification of stable connectivity components for these maps on T^2, in contrast to the countable components known for the 2-sphere. The construction of periodic data as a complete invariant within each isotopy class would provide a concrete, falsifiable way to distinguish components.

major comments (2)

[Introduction / Main Theorem] The finiteness claim for the set of all such diffeomorphisms (across all isotopy classes) requires that gradient-like maps exist in only finitely many isotopy classes, since any stable arc remains within a single class and the mapping class group GL(2,ℤ) is infinite. The abstract and introduction do not indicate a proof that only finitely many classes with |tr(A)| ≤ 2 admit finite hyperbolic limit sets; this must be established explicitly, e.g., via Lefschetz number growth or homology constraints, to support the global finiteness statement.
[Definition of periodic data] The claim that periodic data uniquely determine component membership requires a proof that these data are independent of the choice of connecting arc and invariant under small stable perturbations. The abstract states the uniqueness but supplies no verification that the invariants remain constant along a stable arc; this is load-bearing for the classification and should be shown in the section defining periodic data.

minor comments (2)

[Preliminaries] Clarify the precise definition of 'stable arc' (finite limit set for all maps on the arc and stability under perturbations) with an explicit reference to the topology on Diff(T^2).
[Introduction] Add a remark comparing the finite components on T^2 to the countable components on S^2, including why the torus case terminates at finitely many.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments, which highlight important points for clarification and strengthening of the results. We address each major comment below.

read point-by-point responses

Referee: [Introduction / Main Theorem] The finiteness claim for the set of all such diffeomorphisms (across all isotopy classes) requires that gradient-like maps exist in only finitely many isotopy classes, since any stable arc remains within a single class and the mapping class group GL(2,ℤ) is infinite. The abstract and introduction do not indicate a proof that only finitely many classes with |tr(A)| ≤ 2 admit finite hyperbolic limit sets; this must be established explicitly, e.g., via Lefschetz number growth or homology constraints, to support the global finiteness statement.

Authors: We agree that establishing global finiteness of the stable connectivity components requires showing that gradient-like diffeomorphisms with finite hyperbolic limit sets exist in only finitely many isotopy classes of the 2-torus. While the manuscript focuses on maps not isotopic to the identity and notes the constraint |tr(A)| ≤ 2 on the induced homology automorphism for finite limit sets to be possible, we acknowledge that an explicit argument is needed to rule out infinitely many such classes. We will add a preliminary lemma in the introduction (or a new subsection on isotopy classes) proving this finiteness using Lefschetz number considerations: for |tr(A)| > 2 the map is Anosov-like with infinite orbits, while for |tr(A)| ≤ 2 only finitely many conjugacy classes in GL(2,ℤ) admit the required finite hyperbolic limit sets and gradient-like structure without contradicting homology or fixed-point index constraints. This will support the global claim without altering the main theorem. revision: yes
Referee: [Definition of periodic data] The claim that periodic data uniquely determine component membership requires a proof that these data are independent of the choice of connecting arc and invariant under small stable perturbations. The abstract states the uniqueness but supplies no verification that the invariants remain constant along a stable arc; this is load-bearing for the classification and should be shown in the section defining periodic data.

Authors: We agree that verifying the invariance of the periodic data is essential to the uniqueness statement. The periodic data is defined in terms of the periodic orbits, their indices, and connection types within each isotopy class. While the manuscript establishes uniqueness within components, we have not explicitly shown constancy along stable arcs in the defining section. We will add a short proposition immediately following the definition of periodic data, proving that these invariants are independent of the choice of connecting arc (by homotopy invariance of the data along the arc) and remain unchanged under small stable perturbations (by the stability condition preserving the finite hyperbolic limit set and manifold intersections). This will be included in the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity: result derived from topological properties of isotopy classes and limit sets

full rationale

The paper claims that gradient-like diffeomorphisms of the 2-torus not isotopic to the identity split into finitely many stable connectivity components, with periodic data uniquely labeling membership within each isotopy class. The abstract and description present this as following from the definition of gradient-like maps (finite hyperbolic limit set, no manifold intersections) together with stability of connecting arcs in Diff(T^2). No self-definitional reduction, fitted parameter renamed as prediction, or load-bearing self-citation chain appears; the finiteness statement is positioned as a theorem proved from the given assumptions on the dynamics and the structure of isotopy classes, remaining independent of the conclusion itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard domain assumptions of hyperbolic dynamics and isotopy theory rather than new postulates or fitted quantities.

axioms (2)

domain assumption Gradient-like diffeomorphisms of a closed surface have a finite hyperbolic limit set and their invariant manifolds of distinct saddles do not intersect.
This is the explicit characterization used to define the class of maps under study.
domain assumption Stable arcs in the space of diffeomorphisms preserve the qualitative properties (finite limit set, no manifold intersections) under small perturbations.
Invoked when defining stable connectivity components.

pith-pipeline@v0.9.0 · 5814 in / 1347 out tokens · 46584 ms · 2026-05-20T14:37:24.051156+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish that the set of such diffeomorphisms splits into a finite number of stable connectivity components. For each isotopy class, we define the periodic data of the diffeomorphism, which uniquely determine membership in a given component.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Baranov D., Chilina E., Grines V., Pochinka O.On a Classification of Periodic Maps on the 2-Torus// Russian Journal of Nonlinear Dynamics.19:1, 91–110 (2023)

work page 2023
[2]

arxiv.org

Baranov D., Pochinka O.Stable components for gradient-like diffeomorphisms of torus in- ducing matrix −1−1 1 0 // Working papers by Cornell University. Series math “arxiv.org”. 1—22 (2025)

work page 2025
[3]

R.Invariants of the isotopy classes of Morse-Smale diffeomorphisms of surfaces // Duke Mathematical Journal.47:1, 33–46 (1980)

Blanchard P. R.Invariants of the isotopy classes of Morse-Smale diffeomorphisms of surfaces // Duke Mathematical Journal.47:1, 33–46 (1980)

work page 1980
[4]

Z., Kapkaeva S

Grines V. Z., Kapkaeva S. Kh., Pochinka O. V.Tricolor graph as a complete topological invariant for gradient-like diffeomorphisms of surfaces// Sbornik Mathematics.205:10, 19– 46 (2014)

work page 2014
[5]

Z., Medvedev T

Grines V. Z., Medvedev T. V., Pochinka O. V.Dynamical systems on 2-and 3-manifolds// Cham: Springer.46(2016)

work page 2016
[6]

Z., Zhuzhoma E

Grines V. Z., Zhuzhoma E. V., Medvedev V. S., Pochinka O. V.Global attractor and repeller of Morse–Smale diffeomorphisms// Proceedings of the Steklov Mathematical Institute.271 111–133 (2010)

work page 2010
[7]

V., Nozdrinova E

Medvedev T. V., Nozdrinova E. V., Pochinka O. V.Components of Stable Isotopy Connect- edness of Morse–Smale Diffeomorphisms// Regular and Chaotic Dynamics.27:1, 77–97 (2022)

work page 2022
[8]

Newhouse S., Palis J., Takens F.Stable arcs of diffeomorphisms(1976)

work page 1976
[9]

Nielsen J.Die struktur periodischer transformationen von flachen// Math.-fys. Medd. Danske Vid. Selsk.15(1937). ON COMPONENTS OF STABLE CONNECTIVITY. . . 13 ~ ~ ~ 2 3 4 5 2~~ ~ ~ ~ 3 4 5 5 2 3 4 ~~ ~ ~ ~ ~ 3 4 5 2 ~ ~ ~ ~~ ~ ~ ~ ~ ~ ~ ~ ~ Figure 8.Illustration for case 2)

work page 1937
[10]

41:3, 1101–1131 (2021)

Nozdrinova E., Pochinka O.Solution of the 33rd Palis-Pugh problem for gradient-like dif- feomorphisms of a two-dimensional sphere// Discrete and Continuous Dynamical Systems. 41:3, 1101–1131 (2021)

work page 2021
[11]

1–20 (2024)

Nozdrinov A., Nozdrinova E., Pochinka O.Stable isotopy connectivity of gradient-like diffeo- morphisms of 2-torus// Journal of Geometry and Physics. 1–20 (2024)

work page 2024
[12]

Rolfsen D.Knots and links// American Mathematical Soc.346(2003)

work page 2003
[13]

Shub M.Homology theory and dynamical systems// Dynamical Systems. Warwick. 1974: Proceedings of a Symposium Held at the University of Warwick 1973/74. Berlin, Heidelberg: Springer Berlin Heidelberg. 36–39 (2006)

work page 1974
[14]

SmaleS.Morse inequalities for a dynamical system//BulletinoftheAmericanMathematical Society.66:1, 43–49 (1960)

work page 1960
[15]

Yokoyama K.Complete classification of periodic maps on compact surfaces// Tokyo journal of mathematics.15:2, 247–279 (1992)

work page 1992
[16]

Yokoyama K.Classification of periodic maps on compact surfaces: I// Tokyo Journal of Mathematics.6:1, 75–94 (1983)

work page 1983
[17]

Yokoyama K.Classification of periodic maps on compact surfaces: II// Tokyo Journal of Mathematics.7:1, 249–285 (1984). Denis Alekseevich Baranov, HSE University, Bolshaya Pecherskaya str., 25/12 603155, Nizhny Novgorod, Russia Email address:denbaranov0066@gmail.com Elena Vyachesla vovna Nozdrinov a, HSE University, Bolshaya Pecherskaya str., 25/12 603155,...

work page 1984

[1] [1]

Baranov D., Chilina E., Grines V., Pochinka O.On a Classification of Periodic Maps on the 2-Torus// Russian Journal of Nonlinear Dynamics.19:1, 91–110 (2023)

work page 2023

[2] [2]

arxiv.org

Baranov D., Pochinka O.Stable components for gradient-like diffeomorphisms of torus in- ducing matrix −1−1 1 0 // Working papers by Cornell University. Series math “arxiv.org”. 1—22 (2025)

work page 2025

[3] [3]

R.Invariants of the isotopy classes of Morse-Smale diffeomorphisms of surfaces // Duke Mathematical Journal.47:1, 33–46 (1980)

Blanchard P. R.Invariants of the isotopy classes of Morse-Smale diffeomorphisms of surfaces // Duke Mathematical Journal.47:1, 33–46 (1980)

work page 1980

[4] [4]

Z., Kapkaeva S

Grines V. Z., Kapkaeva S. Kh., Pochinka O. V.Tricolor graph as a complete topological invariant for gradient-like diffeomorphisms of surfaces// Sbornik Mathematics.205:10, 19– 46 (2014)

work page 2014

[5] [5]

Z., Medvedev T

Grines V. Z., Medvedev T. V., Pochinka O. V.Dynamical systems on 2-and 3-manifolds// Cham: Springer.46(2016)

work page 2016

[6] [6]

Z., Zhuzhoma E

Grines V. Z., Zhuzhoma E. V., Medvedev V. S., Pochinka O. V.Global attractor and repeller of Morse–Smale diffeomorphisms// Proceedings of the Steklov Mathematical Institute.271 111–133 (2010)

work page 2010

[7] [7]

V., Nozdrinova E

Medvedev T. V., Nozdrinova E. V., Pochinka O. V.Components of Stable Isotopy Connect- edness of Morse–Smale Diffeomorphisms// Regular and Chaotic Dynamics.27:1, 77–97 (2022)

work page 2022

[8] [8]

Newhouse S., Palis J., Takens F.Stable arcs of diffeomorphisms(1976)

work page 1976

[9] [9]

Nielsen J.Die struktur periodischer transformationen von flachen// Math.-fys. Medd. Danske Vid. Selsk.15(1937). ON COMPONENTS OF STABLE CONNECTIVITY. . . 13 ~ ~ ~ 2 3 4 5 2~~ ~ ~ ~ 3 4 5 5 2 3 4 ~~ ~ ~ ~ ~ 3 4 5 2 ~ ~ ~ ~~ ~ ~ ~ ~ ~ ~ ~ ~ Figure 8.Illustration for case 2)

work page 1937

[10] [10]

41:3, 1101–1131 (2021)

Nozdrinova E., Pochinka O.Solution of the 33rd Palis-Pugh problem for gradient-like dif- feomorphisms of a two-dimensional sphere// Discrete and Continuous Dynamical Systems. 41:3, 1101–1131 (2021)

work page 2021

[11] [11]

1–20 (2024)

Nozdrinov A., Nozdrinova E., Pochinka O.Stable isotopy connectivity of gradient-like diffeo- morphisms of 2-torus// Journal of Geometry and Physics. 1–20 (2024)

work page 2024

[12] [12]

Rolfsen D.Knots and links// American Mathematical Soc.346(2003)

work page 2003

[13] [13]

Shub M.Homology theory and dynamical systems// Dynamical Systems. Warwick. 1974: Proceedings of a Symposium Held at the University of Warwick 1973/74. Berlin, Heidelberg: Springer Berlin Heidelberg. 36–39 (2006)

work page 1974

[14] [14]

SmaleS.Morse inequalities for a dynamical system//BulletinoftheAmericanMathematical Society.66:1, 43–49 (1960)

work page 1960

[15] [15]

Yokoyama K.Complete classification of periodic maps on compact surfaces// Tokyo journal of mathematics.15:2, 247–279 (1992)

work page 1992

[16] [16]

Yokoyama K.Classification of periodic maps on compact surfaces: I// Tokyo Journal of Mathematics.6:1, 75–94 (1983)

work page 1983

[17] [17]

Yokoyama K.Classification of periodic maps on compact surfaces: II// Tokyo Journal of Mathematics.7:1, 249–285 (1984). Denis Alekseevich Baranov, HSE University, Bolshaya Pecherskaya str., 25/12 603155, Nizhny Novgorod, Russia Email address:denbaranov0066@gmail.com Elena Vyachesla vovna Nozdrinov a, HSE University, Bolshaya Pecherskaya str., 25/12 603155,...

work page 1984