Sufficient conditions for smoothing codimension one foliations
Author:
Christopher Ennis
Journal:
Trans. Amer. Math. Soc. 276 (1983), 311322
MSC:
Primary 57R30; Secondary 57R10, 58F18
DOI:
https://doi.org/10.1090/S00029947198306845114
MathSciNet review:
684511
Fulltext PDF Free Access
Abstract  References  Similar Articles  Additional Information
Abstract: Let $M$ be a compact ${C^\infty }$ manifold. Let $X$ be a ${C^0}$ nonsingular vector field on $M$, having unique integral curves $(p,t)$ through $p \in M$. For $f: M \to {\mathbf {R}}$ continuous, call $\left . Xf(p) = df(p,t)/dt\right _{t = 0}$ whenever defined. Similarly, call ${X^k}f(p)=X(X^{k1}f)(p)$. For $0 \leqslant r < k$, a ${C^r}$ foliation $\mathcal {F}$ of $M$ is said to be ${C^k}$ smoothable if there exist a ${C^k}$ foliation $\mathcal {G}$, which ${C^r}$ approximates $\mathcal {F}$, and a homeomorphism $h:M \to M$ such that $h$ takes leaves of $\mathcal {F}$ onto leaves of $\mathcal {G}$. Definition. A transversely oriented Lyapunov foliation is a pair $(\mathcal {F},X)$ consisting of a ${C^0}$ codimension one foliation $\mathcal {F}$ of $M$ and a ${C^0}$ nonsingular, uniquely integrable vector field $X$ on $M$, such that there is a covering of $M$ by neighborhoods $\{{W_i}\}$, $0 \leqslant i \leqslant N$, on which $\mathcal {F}$ is described as level sets of continuous functions ${f_i}:{W_i} \to {\mathbf {R}}$ for which $X{f_i}(p)$ is continuous and strictly positive. We prove the following theorems. Theorem 1. Every ${C^0}$ transversely oriented Lyapunov foliation $(\mathcal {F},X)$ is ${C^1}$ smoothable to a ${C^1}$ transversely oriented Lyapunov foliation $(\mathcal {G},X)$. Theorem 2. If $(\mathcal {F},X)$ is a ${C^0}$ transversely oriented Lyapunov foliation, with $X \in {C^{k  1}}$ and ${X^j}{f_i}(p)$ continuous for $1 \leqslant j \leqslant k$ and $0 \leqslant i \leqslant N$, then $(\mathcal {F},X)$ is ${C^k}$ smoothable to a ${C^k}$ transversely oriented Lyapunov foliation $(\mathcal {G},X)$. The proofs of the above theorems depend on a fairly deep result in analysis due to F. Wesley Wilson, Jr. With only elementary arguments we obtain the ${C^k}$ version of Theorem 1. Theorem 3. If $(\mathcal {F},X)$ is a ${C^{k  1}}\;(k \geqslant 2)$ transversely oriented Lyapunov foliation, with $X \in {C^{k  1}}$ and ${X^k}{f_i}(p)$ is continuous, then $(\mathcal {F},X)$ is ${C^k}$ smoothable to a ${C^k}$ transversely oriented Lyapunov foliation $(\mathcal {G},X)$.

A. Denjoy, Sur les courbes définies par les équations differentielles à la surface du tore, J. Math. Pures Appl. 11 (1932), 333375.
C. Ennis, M. Hirsch and C. Pugh, Foliations that are not approximable by smoother ones, Report PAM63, Center for Pure and Appl. Math., University of California, Berkeley, Calif., 1981.
 Jenny Harrison, Unsmoothable diffeomorphisms, Ann. of Math. (2) 102 (1975), no. 1, 85–94. MR 388458, DOI https://doi.org/10.2307/1970975 D. Hart, On the smoothness of generators for flows and foliations, Ph.D. Thesis, University of California, Berkeley, Calif., 1980.
 Arthur J. Schwartz, A generalization of a PoincaréBendixson theorem to closed twodimensional manifolds, Amer. J. Math. 85 (1963), 453458; errata, ibid 85 (1963), 753. MR 0155061
 Dennis Sullivan, Hyperbolic geometry and homeomorphisms, Geometric topology (Proc. Georgia Topology Conf., Athens, Ga., 1977), Academic Press, New YorkLondon, 1979, pp. 543–555. MR 537749
 F. Wesley Wilson Jr., Smoothing derivatives of functions and applications, Trans. Amer. Math. Soc. 139 (1969), 413–428. MR 251747, DOI https://doi.org/10.1090/S00029947196902517479
 F. Wesley Wilson Jr., Implicit submanifolds, J. Math. Mech. 18 (1968/1969), 229–236. MR 0229252, DOI https://doi.org/10.1512/iumj.1969.18.18022
Retrieve articles in Transactions of the American Mathematical Society with MSC: 57R30, 57R10, 58F18
Retrieve articles in all journals with MSC: 57R30, 57R10, 58F18
Additional Information
Article copyright:
© Copyright 1983
American Mathematical Society