Abstract:We consider skew products $$T_\phi:X\times G\to X\times G,~~(x,g)\mapsto(F_1(x),g\;\!\phi(x)),$$ where $X$ is a compact manifold with probability measure, $G$ a compact Lie group with Lie algebra $\frak g$, $F_1:X\to X$ the time-one map of a measure-preserving flow, and $\phi\in C^1(X,G)$ a cocycle. Then, we define the degree of $\phi$ as a suitable function $P_\phi M_\phi:X\to\frak g$, we show that it transforms in a natural way under Lie group homomorphisms and under the relation of $C^1$-cohomology, and we explain how it generalises previous definitions of degree of a cocycle. For each finite-dimensional irreducible representation $\pi$ of $G$, and $\frak g_\pi$ the Lie algebra of $\pi(G)$, we define in an analogous way the degree of $\pi\circ\phi$ as a suitable function $P_{\pi\circ\phi}M_{\pi\circ\phi}:X\to\frak g_\pi$. If $F_1$ is uniquely ergodic and the functions $\pi\circ\phi$ diagonal, or if $T_\phi$ is uniquely ergodic, then the degree of $\phi$ reduces to a constant in $\frak g$ given by an integral over $X$. As a by-product, we obtain that there is no uniquely ergodic skew product $T_\phi$ with nonzero degree if $G$ is a connected semisimple compact Lie group. Next, we show that $T_\phi$ is mixing in the orthocomplement of the kernel of $P_{\pi\circ\phi}M_{\pi\circ\phi}$, and under some additional assumptions we show that $U_\phi$ has purely absolutely continuous spectrum in that orthocomplement if $(iP_{\pi\circ\phi}M_{\pi\circ\phi})^2$ is strictly positive. Summing up these results for each $\pi$, one obtains a global result for the mixing and the absolutely continuous spectrum of $T_\phi$. As an application, we present four explicit cases: when $G$ is a torus, $G=SU(2)$, $G=SO(3,\mathbb R)$, and $G=U(2)$. In each case, the results we obtain are new, or generalise previous results. Our proofs rely on new results on positive commutator methods for unitary operators.

Entropy, cocycles, and their diagrammatics

Degree, mixing, and absolutely continuous spectrum of cocycles with values in compact Lie groups

Eisenstein cocycles in motivic cohomology

Quantization of locally compact groups associated with essentially bijective $1$-cocycles

Cocycles in Lie Groups, Cochains and Regularity Problem

From projective representations to pentagonal cohomology via quantization

On regularity of conjugacy between linear cocycles over partially hyperbolic systems

On Categorical Entropy from the viewpoint of Symplectic Topology

Categorifications from planar diagrammatics

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems

Cocycle twisting of semidirect products and transmutation

A diagrammatic calculus for categorical quantum protocols

Lyapunov `Non-typical' Points of Matrix Cocycles and Topological Entropy

Cocycles for Kottwitz cohomology

Coherent confluence modulo relations and double groupoids

A salad of cocycles

Invariant Representative Cocycles of Cohomology Generators using Irregular Graph Pyramids