A Frobenius Theorem on Fréchet Manifolds
Abstract
We investigate the integrability of Fréchet tangent distributions on Fréchet manifolds. We introduce the local well-posedness Condition W for split tangent subbundles, which reduces the local integrability problem to solving initial value problems with parameters whose solutions define curves tangent to the distribution. By applying a variational approach to establish the existence and uniqueness of these solutions, we prove a Frobenius theorem stating that involutivity and Condition W are sufficient for integrability. This yields the existence of a unique maximal foliation of the manifold. Furthermore, we provide a dual formulation of the theorem using differential forms, which characterizes the algebraic conditions for integrability via the exterior derivative of the subbundle's local annihilator.
2020 Mathematics Subject Classification:
58A30, 58B10, 58E05, 57R30Keywords
Frobenius theorem, foliations, Palais–Smale condition, Fréchet manifolds, Keller's \(C_{c}^{k}\)-calculus, involutive distributions
Author Details
Kaveh Eftekharinasab
Algebra and Topology Department
Institute of Mathematics of the National Academy of Sciences of Ukraine
Tereshchenkivska st. – 3, 01024, Kyiv, Ukraine
e-mail: kaveh@imath.kiev.ua
References
- R. Abraham, J. Marsden, T. Ratiu. Manifolds, Tensor Analysis, and Applications. New York, Springer-Verlag, 1988.
- P. Cabau, F. Pelletier. Integrability on direct limits of Banach manifolds. Ann. Fac. Sci. Toulouse Math. (6) 28, 5 (2019), 909–956. https://doi.org/10.5802/afst.1617.
- K. Eftekharinasab. A generalized Palais-Smale condition in the Fréchet space setting. Proc. Int. Geom. Cent. 11, 1 (2018), 1–11. https://doi.org/10.15673/tmgc.v11i1.915.
- K. Eftekharinasab. A global diffeomorphism theorem for Fr´echet Spaces. J. Math. Sci. 247, 2 (2020), 276–290.
- K. Eftekharinasab. Global implicit function theorems and critical point theory in Fr´echet spaces. Aust. J. Math. Anal. Appl. 22, 1 (2025), Art. 2, 18 pp, https://ajmaa.org/cgi-n/paper.pl?string=v22n1/V22I1P2.tex.
- K. Eftekharinasab. A Class of functionals on the sequence space a satisfying the Palais-Smale condition, arXiv:2510.10146 [math.FA], 2025, https://doi.org/10.48550/arXiv.2510.10146.
- K. Eftekharinasab. Spray-Invariant Sets in Infinite-Dimensional Manifolds. Bol. Soc. Paran. Mat. 44 (2026), 26 pp, https://doi.org/10.5269/bspm.77114.
- J. M. Eyni. The Frobenius theorem for Banach distributions on infinite-dimensional manifolds and applications in infinite-dimensional Lie theory. arXiv:1407.3166 [math.GR], 2014, https://doi.org/10.48550/arXiv.1407.3166.
- H. Keller. Differential calculus in locally convex spaces. Lecture Notes in Math., vol. 417. Berlin-New York, Springer-Verlag, 1974, https://doi.org/10.1007/BFb0070564
- S. Lang. Fundamentals of Differential Geometry. Grad. Texts in Math., vol. 191. New York, Springer, 1999.
- K.-H. Neeb. Towards a Lie theory of locally convex groups. Jpn. J. Math. 1, 2 (2006), 291–468, https://doi.org/10.1007/s11537-006-0606-y
- F. Pelletier. An integrability criterion for a projective limit of Banach distributions. J. Geom. Phys. 174 (2022), Paper No. 104453, 18 pp, https://doi.org/10.1016/j.geomphys.2022.104453
- J. Teichmann. A Frobenius theorem on convenient manifolds. Monatsh. Math. 134, 2 (2001), 159–167, https://doi.org/10.1007/s006050170005.