Non-linear Differential Cocycle

• Non-linear differential cocycles are measurable maps from a base dynamical system into groups of diffeomorphism germs, extending classical linear cocycle theory with richer geometric structures.
• They allow the derivation of normal forms and resonance relations through measurable conjugacies and Lyapunov splitting under contraction conditions.
• These cocycles facilitate cohomological triviality via Livšic theorems and offer applications in classifying invariant geometric structures and rigidity phenomena under hyperbolic dynamics.

A non-linear differential cocycle is a measurable, continuous, or Hölder-continuous map from a base dynamical system into a group of differentiable diffeomorphism germs, most commonly $\operatorname{Diff}^q(\mathbb{R}^n, 0)$ or $\operatorname{Diff}^r(N)$ for a smooth manifold $N$. These cocycles naturally generalize linear cocycles by replacing the acting group $\mathrm{GL}(n)$ with a diffeomorphism group, thereby capturing the non-linear geometric structure of the dynamics on fibers over a base system. Recent advances characterize normal forms, cohomological triviality, normal-form rigidity, and invariant geometric structures for contracting (i.e., uniformly non-uniformly contracting in Oseledets sense) measurable cocycles, most notably when the base system possesses hyperbolic or ergodic properties (Melnick, 2016, Kocsard et al., 2014, 1711.02135). The nonlinear context enables rich geometric and rigidity phenomena distinct from linear theory.

1. Formal Definition and Measurability

Given a metric probability space $(M, \mu, f)$ with $f$ an invertible measurable transformation, the group $\operatorname{Diff}^q(\mathbb{R}^n, 0)$ is the set of $C^q$ diffeomorphism germs at $0$ fixing the origin. A measurable $\operatorname{Diff}^q$-valued cocycle is a measurable assignment

$$\varphi: \mathbb{Z} \times M \rightarrow \operatorname{Diff}^q(\mathbb{R}^n, 0)$$

satisfying the cocycle identity:

$$\varphi^{m+n}(x) = \varphi^{m}(f^n x) \circ \varphi^{n}(x), \qquad \forall m, n \in \mathbb{Z}, \ x \in M.$$

Alternatively, $$\varphi^n(x) = \varphi(f^{n-1} x) \circ \cdots \circ \varphi(x)$$.

For compact manifolds $N$ and homeomorphisms $f: M \to M$, an analogous definition applies for cocycles $\Phi: M \to \operatorname{Diff}^r(N)$, typically with additional regularity such as continuity or Hölder-continuity in the fiberwise $C^r$ topology. These cocycles induce skew-product dynamical systems on $M \times N$: $F(x, y) = (f(x), \Phi(x) y)$, connecting the theory to fiber bundle dynamics (Kocsard et al., 2014, 1711.02135).

2. Contracting Hypotheses and Normal Forms

A measurable cocycle $\varphi$ is a contraction if all Lyapunov exponents of its derivative cocycle $T^n(x) = D_0 \varphi^n(x)$ are negative:

$$-\infty < \lambda^{(1)} < \cdots < \lambda^{(s)} < 0.$$

This negative-exponents regime allows the application of the Multiplicative Ergodic Theorem (Oseledets) to $T^n$. Under $L^1$-integrability of the $q$-jets and the spectrum condition, one obtains normal forms via measurable $C^q$ conjugacies: For almost every $x \in M$, there exists a measurable $C^q$ coordinate chart $\mathscr{A}_x$ in which the cocycle acts by resonance polynomial models, i.e., elements of a finite-dimensional subgroup $$\mathscr{G}^{(r),0}\subset\operatorname{Diff}^q(\mathbb{R}^n,0)$$, with $r = \lfloor \lambda^{(1)}/\lambda^{(s)} \rfloor$ and $r \leq q-1$ (Melnick, 2016). In these charts, $\varphi^t(x)$ preserves a canonical flag of subspaces with flat connections on the quotient bundles.

3. Resonance Relations and Polynomial Normal Forms

The Lyapunov splitting yields a decomposition $\mathbb{R}^n = W^1 \oplus \cdots \oplus W^s$ compatible with the linear cocycle. Resonant and subresonant monomials are defined by weight equations:

• Resonant: $$\lambda^{(i)} = \lambda^{(p_1)} + \cdots + \lambda^{(p_l)}$$
• Subresonant: $$\lambda^{(i)} \leq \lambda^{(p_1)} + \cdots + \lambda^{(p_l)}$$

These relations determine the structure of the polynomial group $\mathscr{G}^{(r)}$, which consists of $r$-jets with subresonant monomials only. The corresponding normal form theorem asserts existence of measurable $\{H_x\}$ such that

$H_{f(x)} \circ \varphi(x) \circ H_x^{-1} = P(x)$

with $P(x)$ a germ of an $H^{(r),0}$-valued polynomial of degree at most $r$, reducing the cocycle to a non-stationary, explicitly computable polynomial system (Melnick, 2016).

4. Centralizer Structure and Invariant Geometric Reductions

The centralizer $\mathscr{Z}(\varphi)$ comprises all cocycles $G^t$ commuting with $\varphi$. In the polynomial normal form coordinates, both $\varphi$ and $G \in \mathscr{Z}(\varphi)$ act by resonance polynomials. The geometry of the associated frame bundles enables reductions to subgroups such as $H^{(r),0}$, which are invariant under the whole centralizer. There exist measurable reductions $$R^{(r)} \subset M \times \operatorname{GL}^{(r)}(n)$$ defining $H^{(r),0}$-structure and yielding a full flag of $\varphi$-invariant subbundles and $C^{q-2}$-flat connections (Melnick, 2016).

5. Extension to Contracted Foliations and Homogeneous Structures

When $M$ is a compact manifold equipped with a $C^0$ foliation by $n$-dimensional leaves, and the cocycle acts strongly contracting and bi-Lipschitz along the leaves, the reduction process generalizes. One obtains canonical leafwise charts, reductions of the leafwise frame bundle to the subresonant group, and an invariant family of $C^{q-r}$ subbundles. Upon further reduction, leaves acquire measurable (and for spectrum pinching, affine) homogeneous structures, with all relevant objects varying measurably in $x$ (Melnick, 2016).

A central implication is that under spectral half-pinching ($\lambda^{(1)}/|\lambda^{(s)}| < 2$), $r = 1$ and the leafwise structures are reduced further to affine ones, recovering the classical non-uniform affine-structure theorem.

6. Cohomology and Livšic Theorems for Nonlinear Cocycles

A fundamental question is the cohomological triviality of non-linear differential cocycles: when do there exist transfer maps $u: M \to \operatorname{Diff}^r(N)$ such that

$\Phi(x) = u(f(x)) \circ u(x)^{-1}?$

The periodic orbit obstruction (POO)—that all periodic data is trivial—is always necessary. Recent global Livšic theorems establish sufficiency for broad classes: If $\Phi: M \to \operatorname{Diff}^{1+\beta}(N)$ is $C^\alpha$-Hölder and satisfies the POO, then it is a coboundary, i.e., cohomologically trivial, with a $C^\alpha$ transfer map (1711.02135, Kocsard et al., 2014). This holds without localization, in arbitrary dimension, and extends previous results for linear cocycles and low-dimensional cases.

A more general criterion is that a cocycle is a coboundary if and only if it is dominated (i.e., admits a fiberwise exponential contraction bound) if and only if all fiber Lyapunov exponents vanish (Kocsard et al., 2014). Proof techniques rely on constructing Pesin-like charts, stable/unstable holonomy foliations, controlling Lyapunov exponents, and establishing explicit trivializations in the total space.

7. Applications and Broader Mathematical Context

Non-linear differential cocycle theory provides a framework for normal forms, rigidity, and geometric structure theorems in non-uniformly contracting settings, applicable to non-stationary geometric structures and classification of bundles and group actions under hyperbolic dynamics (Melnick, 2016, Kocsard et al., 2014, 1711.02135). It extends linear cocycle theory to nonlinear, infinite-dimensional group actions, links to geometric rigidity and classification results, and has consequences for the study of nonstationary invariant structures and their deformations under dynamics. The unified approach to contraction, polynomial normal forms, and Livšic-type rigidity under periodic-triviality sets the foundation for future developments in smooth and measurable rigidity in geometric dynamics.