E. I. Antonov,I. K. Kozlov
Abstract:A Liouville classification of a natural Hamiltonian system on the projective plane with a rotation metric and a linear integral is obtained. All Fomenko--Zieschang invariants (i.e., labeled molecules) of the system are calculated.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Liouville classification problem of natural Hamiltonian systems with rotation metrics and linear integrals on the projective plane. Specifically, the authors studied the topological properties of integrable geodesic flows on the projective plane \( \text{RP}^2 \) and calculated all Fomenko - Zieschang invariants (i.e., marked molecules) of these systems. These invariants are obtained by studying the geodesic flow of \( \text{RP}^2 \), which is derived from the geodesic flow on \( S^2 \) through an involution mapping.
### Main Contributions
1. **Liouville Classification**: The paper carried out the Liouville classification of natural Hamiltonian systems on \( \text{RP}^2 \) and obtained all Fomenko - Zieschang invariants.
2. **Invariant Calculation**: It calculated in detail the Fomenko - Zieschang invariants of these systems and provided specific mathematical expressions and geometric interpretations.
3. **Topological Properties**: It explored the topological properties of these systems, especially their topological structures at different energy levels.
### Key Results
- **Theorem 3**: For a natural Hamiltonian system on \( \text{RP}^2 \), if the molecule is in the form of \( A - A \), then the label \( \epsilon = 1 \), and the label \( r \) depends on the form of the projection \( \pi(Q^3) \):
- If \( \pi(Q^3)=\text{RP}^2 \), then \( r = \frac{1}{4} \).
- If \( \pi(Q^3)\approx D^2 \), then \( r = 0 \).
- In other cases (i.e., \( \pi(Q^3)\approx I^1\times S^1 \) or \( \pi(Q^3)\approx M^2 \)), then \( r=\infty \).
- **Theorem 4**: For molecules not in the form of \( A - A \), the labels are as follows:
- For an edge of type \( A - V_l \), the label \( \epsilon = 1 \). If the atom \( A \) is central, then the label \( r=\frac{1}{2} \), otherwise \( r = 0 \).
- For an edge between saddle - point atoms, the label \( r=\infty \). If the edge is non - central (i.e., \( k>0 \) or \( k < 0 \)), then the label \( \epsilon=+1 \); on a central edge, the label \( \epsilon = - 1 \).
- The label \( n \) depends on the form of the projection \( \pi(Q^3) \):
- If \( \pi(Q^3)=\text{RP}^2 \), then \( n=-2 \).
- If \( \pi(Q^3)\approx D^2 \) or \( \pi(Q^3)\approx M^2 \), then \( n = - 1 \).
- In the remaining cases (i.e., \( \pi(Q^3)\approx I^1\times S^1 \)), then \( n = 0 \).
### Methods
- **Constructing Allowed Bases**: The paper constructed in detail the allowed bases for elliptic atoms and saddle - point atoms and used these bases to calculate the labels.
- **Gluing Matrices**: By calculating gluing matrices to determine the relationships between different atoms, thus obtaining the specific values of the Fomenko - Zieschang invariants.
### Applications
These results are of great significance for understanding the topological structure and dynamic behavior of integrable geodesic flows on \( \text{RP}^2 \), especially in the fields of geometry and dynamical systems.