Fibred Rotation Number

• Fibred rotation number is a dynamical invariant that generalizes Poincaré's rotation number to fibered systems, incorporating ergodic, topological, and cohomological dynamics.
• It quantifies the average fiber displacement in cocycles, group actions, and tiling spaces, directly impacting spectral theory and the analysis of integrated density of states.
• Explicit increment formulas and structural properties enable practical applications in analyzing Schrödinger operators, foliations, and aperiodic order in various dynamical settings.

A fibred rotation number is a dynamical invariant that generalizes the classical Poincaré rotation number from orientation-preserving homeomorphisms of the circle to higher-rank fibered dynamical systems, including cocycles over group actions, tiling spaces, and group extensions. Its rigorous formulation depends on ergodic, topological, and cohomological properties of the underlying dynamics, and it plays a central role in the spectral theory of Schrödinger operators, group actions on the circle, foliation theory, and the study of aperiodic order.

1. Classical and Fibered Rotation Numbers

The Poincaré rotation number for $\phi\in \mathrm{Homeo}^+(S^1)$ is given by lifting $\phi$ to $\widetilde \phi:\mathbb{R}\to\mathbb{R}$ with $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$, and defining

$$\rho(\phi) = \lim_{n\to\infty}\frac{\widetilde \phi^n(0) - 0}{n}\ \ \mathrm{mod}\ 1.$$

In the context of fibered dynamical systems—such as cocycles or skew-products $F:X\times S^1\to X\times S^1$ of the form $F(x, y) = (T(x), f_x(y))$—the analogous invariant is the fibered rotation number. For ergodic invariant measure $\mu$, it is defined by

$$\rho(F) = \lim_{n\to\infty}\frac{1}{n} \left( \widetilde f_{T^{n-1} x} \circ \dots \circ \widetilde f_{x}(y) - y \right),$$

where $\widetilde f_{x}$ are real-valued lifts of $\phi$0 and the limit exists for $\phi$1-almost every $\phi$2 and any $\phi$3 (Duarte et al., 28 Nov 2025). This concept extends to group actions on $\phi$4 (Calegari et al., 2011), multi-dimensional cocycles (Li et al., 25 Mar 2025), and spaces of tilings (Rand et al., 2017).

2. Well-posedness and Characterizations

In general fibered settings, the existence and well-definedness of rotation numbers require structural hypotheses beyond those needed in the classical situation. For skew-products or cocycles, ergodicity and minimality of the base are essential. In one-dimensional tiling spaces, minimality, unique ergodicity, and finite local complexity ensure that the averaged displacement cocycle yields a rotation number independent of initial data (Rand et al., 2017). The following equivalences hold under appropriate hypotheses:

• Existence and independence of the fibred rotation number is equivalent to the displacement cocycle being a measurable coboundary, i.e., $\phi$5, for some transfer function $\phi$6.
• The mean class of the displacement cocycle in pattern-equivariant cohomology $\phi$7 is well-defined if and only if the rotation number exists and is independent of initial conditions.

Obstructions arise when the cocycle exhibits non-uniformity, non-minimality, or lack of unique ergodicity, resulting in the Birkhoff averages differing by ergodic component or failing to converge (Rand et al., 2017).

3. Fibered Rotation Number for Cocycles and Higher Dimensions

In the setting of $\phi$8 or $\phi$9 cocycles over ergodic systems $\widetilde \phi:\mathbb{R}\to\mathbb{R}$0, the definition is based on lifting the cocycle action to a universal cover and averaging the fiber displacement (Li et al., 25 Mar 2025). For $\widetilde \phi:\mathbb{R}\to\mathbb{R}$1-cocycles, the fibered rotation number reduces to averaging the angular increment in projective space $\widetilde \phi:\mathbb{R}\to\mathbb{R}$2. For hermitian-symplectic cocycles, the framework generalizes using the Cayley transform and the $\widetilde \phi:\mathbb{R}\to\mathbb{R}$3-fold cover $\widetilde \phi:\mathbb{R}\to\mathbb{R}$4, extracting phase data from the action on the Lagrangian Grassmannian. Existence and ergodicity arguments guarantee that the resulting rotation number is almost surely independent of the fiber and well-defined modulo a discrete group determined by the topology of the cocycle.

4. Explicit Increment Formulas and Invariant Measures

Recent advances provide explicit formulas for the increment of the fibered rotation number for parametrized families of cocycles, crucial in spectral theory and the regularity analysis of the integrated density of states (IDS) (Duarte et al., 28 Nov 2025). For a one-parameter family $\widetilde \phi:\mathbb{R}\to\mathbb{R}$5 of circle cocycles over an ergodic $\widetilde \phi:\mathbb{R}\to\mathbb{R}$6, and for any choice of $\widetilde \phi:\mathbb{R}\to\mathbb{R}$7-invariant probability measures $\widetilde \phi:\mathbb{R}\to\mathbb{R}$8 on $\widetilde \phi:\mathbb{R}\to\mathbb{R}$9 disintegrated as $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$0, the increment is

$\widetilde \phi(x+1) = \widetilde \phi(x) + 1$1

where $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$2 measures the difference in fiber mass between two lifts. In random dynamical systems, the increment is further decomposed using stationary forward and backward measures (Duarte et al., 28 Nov 2025).

5. Connections with Schrödinger Operators and Spectral Theory

Fibered rotation numbers are intimately related to the spectral theory of ergodic Schrödinger operators, where they encode the IDS—the frequency with which energy levels occur in the spectrum. For 1D models, $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$3 relates the IDS $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$4 to the rotation number of the corresponding projective cocycle (Duarte et al., 28 Nov 2025). For higher dimension hermitian-symplectic matrix cocycles, for $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$5-block operators, the general formula reads $\widetilde \phi(x+1) = \widetilde \phi(x) + 1$6 (Li et al., 25 Mar 2025). These relations are foundational in gap labeling theorems and in establishing regularity properties such as H\"older continuity of the IDS, e.g., in the Anderson model, using measure-theoretic and dynamical arguments (Duarte et al., 28 Nov 2025).

6. Applications: Group Actions, Foliations, and Tiling Spaces

Fibred rotation numbers classify group actions on the circle, analyze taut foliations on Seifert-fibered 3-manifolds, and characterize the “twist” of the central fiber in group extensions. The explicit combinatorics of fibred rotation numbers—for words in free groups acting on the circle—are encoded in the ziggurat algorithm, producing rational invariants tied to the dynamics of these systems (Calegari et al., 2011).

In one-dimensional aperiodic tilings, fibred rotation numbers quantify the average drift under self-homeomorphisms homotopic to identity, reflecting the lack of global product structure and leading to distinct new phenomena, such as multiplicity of independent rotation classes arising from higher rank pattern-equivariant cohomology (Rand et al., 2017).

7. Structural Properties, Regularity, and Computability

Fibred rotation numbers exhibit:

• Piecewise constant behavior and rationality for group actions determined by combinatorics of periodic orbits (Calegari et al., 2011).
• Regularity and continuity under perturbations, which underpins the analysis of spectral gaps and IDS regularity for random and quasi-periodic cocycles (Duarte et al., 28 Nov 2025, Li et al., 25 Mar 2025).
• Sensitivity to topological obstructions, with explicit counterexamples where the failure of minimality, unique ergodicity, or cocycle regularity leads to ill-posedness (Rand et al., 2017).

A table illustrating the settings and connections is below:

Setting	Structure	Rotation Number Interpretation
Circle homeomorphisms	$\widetilde \phi(x+1) = \widetilde \phi(x) + 1$7	Classical Poincaré–Ghys invariant
Group actions/$\widetilde \phi(x+1) = \widetilde \phi(x) + 1$8	Central extensions	Foliation “twist” invariant on Seifert spaces
Skew product cocycles	$\widetilde \phi(x+1) = \widetilde \phi(x) + 1$9	Average fiber displacement (dynamical)
Matrix cocycles	$$\rho(\phi) = \lim_{n\to\infty}\frac{\widetilde \phi^n(0) - 0}{n}\ \ \mathrm{mod}\ 1.$$0, $$\rho(\phi) = \lim_{n\to\infty}\frac{\widetilde \phi^n(0) - 0}{n}\ \ \mathrm{mod}\ 1.$$1	Projective/Fiber phase average
Tiling spaces	Aperiodic hulls	Average origin drift under homeomorphisms

These attributes render the fibred rotation number a central concept in the interplay between dynamical systems, aperiodic order, group theory, and mathematical physics.