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

From MaRDI portal
Import240304020342 (talk | contribs)
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
Normal 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references