5
$\begingroup$

I was reading the paper A Generalization of a Poincaré-Bendixson Theorem to Closed Two-Dimensional Manifolds by Arthur J. Schwartz which proves the following theorem:

THEOREM. Let $M$ be a compact, connected, two-dimensional manifold of class $C^2$. Let $\alpha: \mathbb R \times M \to M$ be a $C^2$ action of the reals on $M$. Let $\Omega \subset M$ be an $\alpha$-minimal set. Then $\Omega$ must be one of the following:
$a)$ a singleton consisting of a fixed point
$b)$ a single, closed orbit homeomorphic to $S^1$
$c)$ all of $M$ which is homeomorphic to a torus $T^2$

For the proof, the author considers three cases for $\Omega$:
$1)$ $\Omega$ is a single fixed point
$2)$ $\Omega$ is a closed orbit which is homeomorphic to $S^1$, i.e. a periodic orbit
$3)$ $\Omega$ is a set which contains neither fixed points nor closed orbits.
The cases $1)$ and $2)$ are trivial and for the case $3)$, the author considers two cases:
$3)'$ $\Omega$ has non-empty interior
$3)''$ $\Omega$ has empty interior and, being closed, is nowhere dense.
For the case $3)'$ the author claims that:

In this case, since the set of interior points is invariant and $\Omega$ is minimal, the set of boundary points must be empty. Thus $\Omega$ is open and closed and must be all of $M$. It follows from a result of Kneser $[4, p. 153]$ that since $M$ contains neither fixed points nor closed orbits it must be homeomorphic to $T^2$.

I have a big problem with this part of proof since the reference that the author mentioned, is a paper written by H. Kneser by the title "Regulare Kurvenscharen auf den Ringfiachen" published in "Mathematische Annalen, vol. 91 (1924), pp. 135-154" which is written in German.
I am trying to find an article or a book that contains the results of this paper in English language.

$\endgroup$

1 Answer 1

5
$\begingroup$

I suggest to look at a more recent reference, e.g. Katok-Hasselblatt, "Modern theory of dynamical Systems", Theorem 14.3.1. where I think the exposition of A. Schwartz result is self-contained.

In case 3', the fact that $M$ is the torus follows from the Poincare-Hopf theorem and the classification of surfaces. Note that Denjoy estimates are needed in order to get rid of Cantor-type minimal sets on the torus, which can occur in the $C^1$ setting.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .