The first cohomology of affine \(\mathbb{Z}^p\)-actions on tori and applications to rigidity (Q1416085): Difference between revisions

An affine action of \(\mathbb{Z}^p\) on the torus \(T^q\) is a homomorphism \(\varphi\) of \(\mathbb{Z}^p\) into the group of affine transformations of \(T^q\). Such an action induces a linear action \(\varphi_\ast\) of \(\mathbb{Z}^p\) on the first homology group \(H_1 (T^q, \mathbb{Z}) \cong \mathbb Z^q\) which is called the linear part of \(\varphi\). Under the assumption \(p \geq 2\) and that the set \(G (\varphi_\ast)\) of all eigenvalues of all \(\varphi_\ast (l \in \mathbb{Z}^p)\) is trivial, the author shows that the action is ergodic with respect to the Haar measure if and only if it is uniquely ergodic, and this is equivalent to minimality of \(\varphi\). The main result of the paper states that the first cohomology group \(H_1\) \((\mathbb{Z}^p, C_{\varphi} ^{\infty} (T^q))\) for a minimal \(\mathbb{Z}^p\)-action \(\varphi\) with \(G (\varphi_\ast) = \{1\}\) with values in the additive group of smooth functions \(T^q \to \mathbb{R}\) is isomorphic to \(\mathbb{R}^q\) if and only if this group is Hausdorff, and this is the case if and only if \(\varphi\) satisfies a Diophantine condition.