Combinatorial proofs of the Conley-Zehnder-Franks theorem on a fixed point for torus homeomorphisms (Q1261129): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587447 |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Jan Chrastina / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/aima.1993.1024 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2080145756 / rank | |||
Normal rank |
Latest revision as of 02:15, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Combinatorial proofs of the Conley-Zehnder-Franks theorem on a fixed point for torus homeomorphisms |
scientific article |
Statements
Combinatorial proofs of the Conley-Zehnder-Franks theorem on a fixed point for torus homeomorphisms (English)
0 references
13 February 1994
0 references
Let \(f\) be a homeomorphism of an annulus \(A\) or a torus \(T^ 2\) homotopic to identity, preserving a Borel probability measure \(\mu\), and a rotationless one (i.e., \(\int(f(x) - x)d\mu = 0\) where the linear structure is induced from the covering spaces). Theorem: If either \(\mu\) is positive on open sets, or \(\mu\) is ergodic for \(f\), then \(f\) has a fixed point. The author presents two beautiful combinatorial proofs of this result which is due to \textit{J. Franks} [Ergodic Theory Dyn. Syst. 8, 99-107 (1988; Zbl 0634.58023)]. The first one uses the Lax version of the Marriage Theorem, the second one Euler's theorem on circuits in graphs applied on the flow matrix \(r_{ij} = \mu(\sigma_ i \cap f^{- 1}\sigma_ j)\) where \(\sigma_ 1,\dots,\sigma_ n\) is a fine partition of the space. Moreover, a weakened version of the Poincaré-Birkhoff Theorem (with only one fixed point) is derived by using a result of Oxtoby and Ulam on homeomorphic measures.
0 references
Borel measure
0 references
recurrent point
0 references
mass-flow matrix
0 references
fixed point
0 references