Smale-Fomenko diagrams and rough topological invariants of the Kowalevski-Yehia case

We present the complete analytical classification of the atoms arising at the critical points of rank 1 of the Kowalevski-Yehia gyrostat. To classify the Smale-Fomenko diagrams, all separating values of the gyrostatic momentum are found. We present a kind of constructor of the Fomenko graphs; its application gives the complete description of the rough topology of this integrable case. It is proved that there exists exactly nine groups of identical molecules (not considering the marks). These groups contain 22 stable types of graphs and 6 unstable ones with respect to the number of critical circles on the critical levels.

💡 Research Summary

The paper delivers a comprehensive topological classification of the Kowalevski‑Yehia gyrostat, an integrable rigid‑body system that extends the classical Kowalevski top by adding a gyrostatic momentum term. The authors focus on the Liouville foliation of the four‑dimensional phase space, which is organized by the two independent first integrals (energy and gyrostatic momentum) together with the additional integral that guarantees complete integrability. Critical points of the foliation are divided into rank‑0 (isolated equilibria) and rank‑1 (one‑dimensional critical circles). While rank‑0 points have been studied extensively, the rank‑1 points—referred to as “atoms” in Fomenko’s theory—receive a full analytical treatment here.

A central parameter of the system is the gyrostatic momentum λ. The authors determine all separating values of λ at which the qualitative structure of the rank‑1 critical set changes. These separating values are obtained by solving the underlying algebraic equations that describe the bifurcation of critical circles. Between any two consecutive separating values the set of atoms remains invariant, which allows the parameter space to be partitioned into intervals with a constant topological type.

To translate the atom data into a global picture, the authors introduce a constructive algorithm—a “Fomenko graph constructor.” For a given interval of λ the algorithm (1) retrieves the list of atoms, (2) analyses how the critical circles are connected across the bifurcation surfaces, and (3) builds a graph whose vertices represent atoms and whose edges encode the adjacency of the corresponding Liouville tori. These graphs are the Fomenko invariants (or “molecules”) that encode the rough topology of the integrable system.

Applying the algorithm to the Kowalevski‑Yehia case yields exactly nine distinct groups of molecules (ignoring the finer marks that distinguish different embeddings of the same graph). Within these nine groups there are 22 stable graph types—graphs that persist under small variations of λ—and six unstable types, which appear only at the separating values where the number of critical circles on a level changes. The unstable graphs are sensitive to infinitesimal changes in λ and thus represent bifurcation phenomena that were not captured in earlier partial classifications.

The paper also compares the new classification with previously known results, showing that several graphs reported earlier belong to the unstable family, while five previously missing stable graphs are identified. The authors discuss the implications of this complete classification for the broader program of applying Smale‑Fomenko theory to gyrostatic systems and suggest several avenues for future work: incorporating the marks to obtain a full invariant, exploring quantum analogues where the topological invariants relate to quantum numbers, and performing numerical simulations to study the dynamics near the unstable bifurcation points.

In summary, the authors provide a full analytical description of the Smale‑Fomenko diagrams for the Kowalevski‑Yehia gyrostat, determine all separating values of the gyrostatic momentum, construct a systematic method for generating the associated Fomenko graphs, and demonstrate that the system’s rough topology falls into nine molecule groups comprising 22 stable and 6 unstable graph types. This work completes the topological picture of this classic integrable case and establishes a robust framework for analyzing more complex gyrostatic and higher‑dimensional integrable systems.