The first cohomology of affine \(\mathbb{Z}^p\)-actions on tori and applications to rigidity (Q1416085): Difference between revisions
From MaRDI portal
Set profile property. |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s00574-003-0014-3 / rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00574-003-0014-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W216046745 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00574-003-0014-3 / rank | |||
Normal rank |
Latest revision as of 19:46, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The first cohomology of affine \(\mathbb{Z}^p\)-actions on tori and applications to rigidity |
scientific article |
Statements
The first cohomology of affine \(\mathbb{Z}^p\)-actions on tori and applications to rigidity (English)
0 references
25 February 2004
0 references
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.
0 references
affine abelian actions on tori
0 references
minimality
0 references
cocycles
0 references
cohomology
0 references