This paper concerns the problem of integrability of non closed distributions on Banach manifolds. We introduce the notion of weak distribution and we look for conditions under which these distributions admit weak integral submanifolds. We give some applications to Banach Lie algebroid and Banach Lie-Poisson manifold. The main results of this paper generalize the works presented in [ChSt], [Nu] and [Gl].
This paper is devoted to the framework of direct limit of anchored Banach bundles over a convenient manifold which is a direct limit of Banach manifold. In particular we give a criterion of integrability for distributions on such convenient manifolds which are locally direct limits of particular sequences of Banach anchor ranges.
We give an integrability criterion for a projective limit of Banach distributions on a Fréchet manifold which is a projective limit of Banach manifolds. This leads to a result of integrability of projective limit of involutive bundles on a projective sequence of Banach manifolds. This can be seen as a version of Frobenius Theorem in Fréchet setting. As consequence, we obtain a version of the third Lie theorem for a Fréchet-Lie group which is a submersive projective limit of Banach Lie groups. We also give an application to a sequence of prolongations of a Banach Lie algebroid.
To give a criterion for the integrability of Banach-Lie triple systems, we follow the construction of the period group of a Lie algebra and define the period group of a Lie triple system as an analogous concept. We show that a Lie triple system is integrable if and only if its period group is discrete. Along the way, we see how to turn the path and the loop space of a pointed symmetric space into pointed symmetric spaces.
We prove that the classical integrability condition for almost complex structures on finite-dimensional smooth manifolds also works in infinite dimensions in the case of almost complex structures that are real analytic on real analytic Banach manifolds. As an application, we extend some known results concerning existence of invariant complex structures on homogeneous spaces of Banach-Lie groups.
In this paper, we define and study sub-Riemannian structures on Banach manifolds. We obtain extensions of the Chow-Rashevski theorem for exact controllability, and give conditions for the existence of a Hamiltonian geodesic flow despite the lack of a Pontryagin Maximum Principle in the infinite dimensional setting.
Let $M$ be a closed manifold and let $N$ be a connected manifold without boundary. For each $k\in\mathbb{N}$ the set of $k$ times continuously differentiable maps between $M$ and $N$ has the structure of a smooth Banach manifold where the underlying manifold topology is the compact-open $C^k$ topology. We provide a detailed and rigorous proof for this important statement which is already partially covered by existing literature.
We survey some recent results and constructions of almost-Kähler manifolds whose curvature tensors have certain algebraic symmetries. This is an updated and corrected version of the (to be) published manuscript.
We classify, up to a local isometry, all non-Kahler almost Kahler 4-manifolds for which the fundamental 2-form is an eigenform of the Weyl tensor, and whose Ricci tensor is invariant with respect to the almost complex structure. Equivalently, such almost Kahler 4-manifolds satisfy the third curvature condition of A. Gray. We use our local classification to show that, in the compact case, the third curvature condition of Gray is equivalent to the integrability of the corresponding almost complex structure.
Among other results, a compact almost Kähler manifold is proved to be Kähler if the Ricci tensor is semi-negative and its length coincides with that of the star Ricci tensor or if the Ricci tensor is semi-positive and its first order covariant derivatives are Hermitian. Moreover, it is shown that there are no compact almost Kähler manifolds with harmonic Weyl tensor and non-parallel semi-positive Ricci tensor. Stronger results are obtained in dimension 4.
In this paper we develope, in a geometric framework, a Hamilton-Jacobi Theory for general dynamical systems. Such a theory contains the classical theory for Hamiltonian systems on a cotangent bundle and recent developments in the framework of general symplectic, Poisson and almost-Poisson manifolds (including some approaches to a Hamilton-Jacobi theory for nonholonomic systems). Given a dynamical system, we show that every complete solution of its related Hamilton-Jacobi Equation (HJE) gives rise to a set of first integrals, and vice versa. From that, and in the context of symplectic and Poiss…
This paper completes the foundations of neatly integrable normal distribution theory on manifolds with boundary. Normal distributions are those which contain vectors transverse to the boundary along its entirety. The theory is observed to be entirely analogous with the theory of integrable distributions on manifolds due to Stefan and Sussmann. The main result is a one-to-one correspondence between so-called neatly integrable normal distributions and neat foliations by manifolds with boundary. Neat foliations are allowed to have non-constant dimension and the leaves have boundary contained in t…
We provide a general criteria for the integrability of the almost para-quaternionic structure of an almost para-quaternionic manifold (M,P) of dimension bigger or equal to eight, in terms of the integrability of two or three sections of the defining rank three vector bundle P. We relate it with the integrability of the canonical almost complex structure of the twistor space and to the integrability of the canonical almost para-complex structure of the reflector space of (M,P). We show that (M, P) has plenty of locally defined, compatible, complex and para-complex structures, provided that P is…
A Banach symmetric space in the sense of O. Loos is a smooth Banach manifold $M$ endowed with a multiplication map $μ\colon M \times M \to M$ such that each left multiplication map $μ_x := μ(x,\cdot)$ (with $x \in M$) is an involutive automorphism of $(M,μ)$ with the isolated fixed point $x$. We show that morphisms of Lie triple systems of symmetric spaces can be uniquely integrated provided the first manifold is 1-connected. The problem is attacked by showing that a continuous linear map between tangent spaces of affine Banach manifolds with parallel torsion and curvature is integrable to an …
We study conditions for the integrability of the distribution defined on a regular Poisson manifold as the orthogonal complement (with respect to some (pseudo)-Riemannian metric) to the tangent spaces of the leaves of a symplectic foliation. Examples of integrability and non-integrability of this distribution are provided.
If $W_+$ denotes the self dual part of the Weyl tensor of any Kähler 4-manifold and $S$ its scalar curvature, then the relation $|W_+|^2 = S^2/6$ is well-known. For any almost Kähler 4-manifold with $S \ge 0$, this condition forces the Kähler property. A compact almost Kähler 4-manifold is already Kähler if it satisfies the conditions $| W_+ |^2 = S^2/6$ and $δW_+=0$ and also if it is Einstein and $| W_+|$ is constant. Some further results of this type are proved. An almost Hermitian 4-manifold $(M,g,J)$ with $\mathrm{supp} (W_+)=M$ is already Kähler if it satisfies the condition $| W_+ |^2 = …
An n-dimensional complex manifold is a manifold by biholomorphic mappings between open sets of the finite direct product of the complex number field. On the other hand, when A is a commutative Banach algebra, Lorch gave a definition that an A-valued function on an open set of A is holomorphic. The definition of a holomorphic function by Lorch can be straightforwardly generalized to an A-valued function on an open set of the finite direct product of A. Therefore, a manifold modeled on the finite direct product of A (an n-dimensional A-manifold) is easily defined. However, in my opinion, it seem…
We construct a pair of compact, eight-dimensional, two-step Riemannian nilmanifolds $M$ and $M'$ which are isospectral for the Laplace operator on functions and such that $M$ has completely integrable geodesic flow in the sense of Liouville, while $M'$ has not. Moreover, for both manifolds we analyze the structure of the submanifolds of the unit tangent bundle given by to maximal continuous families of closed geodesics with generic velocity fields. The structure of these submanifolds turns out to reflect the above (non)integrability properties. On the other hand, their dimension is larger than…
We characterise the integrability of any co-CR quaternionic structure in terms of the curvature and a generalized torsion of the connection. Also, we apply this result to obtain, for example, the following. (1) New co-CR quaternionic structures built on vector bundles over a quaternionic manifold M, whose twistor spaces are holomorphic vector bundles over the twistor space Z of M. Moreover, all the holomorphic vector bundles over Z, which are positive and isotypic when restricted to the twistor lines, are obtained this way. (2) Under generic dimensional conditions, any manifold endowed with an…
We introduce a notion of p-rough integrator on any Banach manifolds, for any $p\geq 1$, which plays the role of weak geometric Holder p-rough paths in the usual Banach space setting. The awaited results on rough differential equations driven by such objects are proved, and a canonical representation is given if the manifold is equipped with a connection.
Ambrose, Palais and Singer \cite{Ambrose} introduced the concept of second order structures on finite dimensional manifolds. Kumar and Viswanath \cite{Kumar} extended these results to the category of Banach manifolds. In the present paper all of these results are generalized to a large class of Frechet manifolds. It is proved that the existence of Christoffel and Hessian structures, connections, sprays and dissections are equivalent on those Frechet manifolds which can be considered as projective limits of Banach manifolds. These concepts provide also an alternative way for the study of ordina…
We develop various properties of symmetric generalized complex structures (in connection with their holomorphic space and B-field transformations), which are analogous to the well-known results of Gualtieri on skew-symmetric generalized complex structures. Given a symmetric or skew-symmetric generalized complex structure \mathcal J and a connection D on a manifold M, we construct an almost complex structure J^{\mathcal J,D} on the cotangent manifold T^{*}M and we study its integrability. For \mathcal J skew-symmetric, we relate the Courant integrability of \mathcal J with the integrability of …
For a Hamiltonian, proper and free action of a Lie group $G$ on a Dirac manifold $(M,L)$, with a regular moment map $μ:M\to \mathfrak{g}^*$, the manifolds $M/G$, $μ^{-1}(0)$ and $μ^{-1}(0)/G$ all have natural induced Dirac structures. If $(M,L)$ is an integrable Dirac structure, we show that $M/G$ is always integrable, but $μ^{-1}(0)$ and $μ^{-1}(0)/G$ may fail to be integrable, and we describe the obstructions to their integrability.
A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach-Lie group acting smoothly on P provided the Lie algebra of infinitesimal automorphisms consists of complete vector fields. As a consequence we show that the automorphism group of a connected geodesically complete affine Banach manifold M can be turned into a Banach-Lie group acting smoothly on M.
This paper presents the theory of non-smooth Lie group actions on chains of Banach manifolds. The rigorous functional analytic spaces are given to deal with quotients of such actions. A hydrodynamical example is studied in detail.
First, we extend the notion of second order differential equations (SODE) on a smooth manifold to anchored Banach vector bundles. Then we define the Banach Lie algebroids as Lie algebroids structures modeled on anchored Banach vector bundles and prove that they form a category.
The various scalar curvatures on an almost Hermitian manifold are studied, in particular with respect to conformal variations. We show several integrability theorems, which state that two of these can only agree in the Kähler case. Our main question is the existence of almost Kähler metrics with conformally constant Chern scalar curvature. This problem is completely solved for ruled manifolds and in a complementary case where methods from the Chern-Yamabe problem are adapted to the non-integrable case. Also a moment map interpretation of the problem is given, leading to a Futaki invariant and …
An analogue of the Stefan-Sussmann Theorem on manifolds with boundary is proven for normal distributions. These distributions contain vectors transverse to the boundary along its entirety. Plain integral manifolds are not enough to "integrate" a normal distribution; the next best "integrals" are so-called neat integral manifolds with boundary. The conditions on the distribution for this integrability is expressed in terms of adapted collars and integrability of a pulled-back distribution on the interior and on the boundary.
In this paper we introduce, in the Riemannian setting, the notion of conformal Ricci soliton, which includes as particular cases Einstein manifolds, conformal Einstein manifolds and (generic and gradient) Ricci solitons. We provide here some necessary integrability conditions for the existence of these structures that also recover, in the corresponding contexts, those already known in the literature for conformally Einstein manifolds and for gradient Ricci solitons. A crucial tool in our analysis is the construction of some appropriate and highly nontrivial $(0,3)$-tensors related to the geome…
For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the tangent orbibundle.
On a manifold $(\mathbb{R}^n, e^{2u} |dx|^2)$, we say $u$ is normal if the $Q$-curvature equation that $u$ satisfies $(-Δ)^{\frac{n}{2}} u = Q_g e^{nu}$ can be written as the integral form $u(x)=\frac{1}{c_n}\int_{\mathbb R^n}\log\frac{|y|}{|x-y|}Q_g(y)e^{nu(y)}dy+C$. In this paper, we show that the integrability assumption on the negative part of the scalar curvature implies the metric is normal. As an application, we prove a bi-Lipschitz equivalence theorem for conformally flat metrics.
An almost Golden Riemannian structure $(φ,g)$ on a manifold is given by a tensor field $φ$ of type (1,1) satisfying the Golden section relation $φ^{2}=φ+1$, and a pure Riemannian metric $g$, i.e., a metric satisfying $g(φX,Y)=g(X,φY)$. We study connections adapted to such a structure, finding two of them, the first canonical and the well adapted, which measure the integrability of $φ$ and the integrability of the $G$-structure corresponding to $(φ,g)$.
We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie subalgebra of the Lie algebra of a Lie group that is modelled over a locally convex space that admits an exponential map, the Lie subalgebra is integrable if it is complemented as a topological vector space and a Banach space with the induced topology.
Given a projective sequence of Banach bundles, each one provided with a of weak symplectic form, we look for conditions under which, the corresponding sequence of weak symplectic forms gives rise to weak symplectic form on the projective limit bundle. Then we apply this results to the tangent bundle of a projective limit of Banach manifolds. This naturally leads to ask about conditions under which the Darboux Theorem is also true on the projective limit of Banach manifolds. We will give some necessary and some sufficient conditions so that such a result is true. Then we discuss why, in general…
We study $GL(2)$-structures on differential manifolds. The structures play a fundamental role in the geometric theory of ordinary differential equations. We prove that any $GL(2)$-structure on an even dimensional manifold give rise to a certain almost-complex structure on a bundle over the original manifold. Further, we exploit a natural notion of integrability for the $GL(2)$-structures, which is a counterpart of the self-duality for the 4-dimensional conformal structures. We relate the integrability of the $GL(2)$-structures to the integrability of the almost-complex structures. This allows …
Let $A$ be a commutative Banach algebra. Let $M$ be a complex manifold on $A$ (an $A$-manifold). Then, we define an $A$-holomorphic vector bundle $(\wedge^kT^*)(M)$ on $M$. For an open set $U$ of $M$, $ω$ is said to be an $A$-holomorphic differential $k$-form on $U$, if $ω$ is an $A$-holomorphic section of $(\wedge^kT^*)(M)$ on $U$. So, if the set of all $A$-holomorphic differential $k$-forms on $U$ is denoted by $Ω_{M}^k(U)$, then $\{Ω_{M}^k(U)\}_{U}$ is a sheaf of modules on the structure sheaf $O_M$ of the $A$-manifold $M$ and the cohomology group $H^l(M,Ω_{M}^k)$ with the coefficient sheaf…
The second order tangent bundle $T^{2}M$ of a smooth manifold $M$ consists of the equivalent classes of curves on $M$ that agree up to their acceleration. It is known that in the case of a finite $n$-dimensional manifold $M$, $T^{2}M$ becomes a vector bundle over $M$ if and only if $M$ is endowed with a linear connection. Here we extend this result to $M$ modeled on an arbitrarily chosen Banach space and more generally to those Fréchet manifolds which can be obtained as projective limits of Banach manifolds. The result may have application in the study of infinite-dimensional dynamical systems…
Let $S$ be a compact Hausdorff space and $X$ a complex manifold. We consider the space $C(S,X)$ of continuous maps $S\to X$, and prove that any bounded holomorphic function on this space can be continued to a holomorphic function, possibly multivalued, on a larger space $B(S,X)$ of Borel maps. As an application we prove two theorems about bounded holomorphic functions on $C(S,X)$, one reminiscent of the Monodromy Theorem, the other of Liouville's Theorem.
We establish a new criterion for a compatible almost complex structure on a symplectic four-manifold to be integrable and hence Kähler. Our main theorem shows that the existence of three linearly independent closed J-anti-invariant two-forms implies the integrability of the almost complex structure. This proves the conjecture of Draghici-Li-Zhang in the almost-Kähler case
A Hamilton-Jacobi theory for general dynamical systems, defined on fibered phase spaces, has been recently developed. In this paper we shall apply such a theory to contact Hamiltonian systems, as those appearing in thermodynamics and on geodesic flows in fluid mechanics. We first study the partial and complete solutions of the Hamilton-Jacobi Equation (HJE) related to these systems. Then we show that, for a given contact system, the knowledge of what we have called a complete pseudo-isotropic solution ensures the integrability by quadratures of its equations of motion. This extends to contact …
We use an isomorphism between the space of valence two Killing tensors on an n-dimensional constant sectional curvature manifold and the irreducible GL(n+1)-representation space of algebraic curvature tensors in order to translate the Nijenhuis integrability conditions for a Killing tensor into purely algebraic integrability conditions for the corresponding algebraic curvature tensor, resulting in two simple algebraic equations of degree two and three. As a first application of this we construct a new family of integrable Killing tensors.
The concept of subdifferentiability is studied in the context of $C^1$ Finsler manifolds (modeled on a Banach space with a Lipschitz $C^1$ bump function). A class of Hamilton-Jacobi equations defined on $C^1$ Finsler manifolds is studied and several results related to the existence and uniqueness of viscosity solutions are obtained.
We show that various notions of integrability for Poisson brackets are all equivalent, and we give the precise obstructions to integrating Poisson manifolds. We describe the integration as a symplectic quotient, in the spirit of the Poisson sigma-model of Cattaneo and Felder. For regular Poisson manifolds we express the obstructions in terms of variations of symplectic areas. As an application of these results, we show that a Poisson manifold admits a complete symplectic realization if, and only if, it is integrable. We discuss also the integration of submanifolds and Morita equivalence of Poi…
Jacobi-Haantjes manifolds, integrability and dissipative mechanical systems
Universidad Autónoma Metropolitana Unidad Iztapalapa（墨西哥自治大学伊斯塔帕拉帕分校）；Universidad Complutense de Madrid（马德里康普顿斯大学）；Instituto de Ciencias Matemáticas（数学科学研究所）
Let us consider a Riemannian manifold $M$ (either separable or non-separable). We prove that, for every $ε>0$, every Lipschitz function $f:M\rightarrow\mathbb R$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le \Lip(f)+ε$. As a consequence, every Riemannian manifold is uniformly bumpable. The results are presented in the context of $C^\ell$ Finsler manifolds modeled on Banach spaces. Sufficient conditions are given on the Finsler manifold $M$ (and the Banach space $X$ where $M$ is modeled), so that every Lipschitz function $f:M\rightarrow \mathbb R$ can …
Suppose M be the projective limit of weak symplectic Banach manifolds \{(M_i,ϕ_{ij})\}_{i,j\in\mathbb N}, where M_i are modeled over reflexive Banach space and σis compatible with the inverse system(defined in the article). We associate to each point x\in M, a Fréchet space H_x(defined in section 3). We prove that if H_x are locally constant, then with certain smoothness and boundedness condition, there exists Darboux chart for the weak symplectic structure.
We construct a cut-off version of nonpertubative closed Bosonic string field theory in the light-cone gauge with imaginary string coupling constant. We show that the partition function is a continuous function of the string coupling constant, and conjecture a relation between the formal power series expansion of this partition function and Riemann Surfaces.
We describe a new approach to the problem of constructing gluing parameterizations for open neighborhoods of boundary points of moduli spaces of anti-self-dual connections over closed four-dimensional manifolds. Our approach employs general results from differential topology for $C^1$ maps of smooth Banach manifolds with corners, providing a method that should apply to other problems in geometric analysis involving the gluing construction of solutions to nonlinear partial differential equations.
In this note we give sufficient conditions to ensure that the weak Finsler structure of a complete $C^k$ Finsler manifold $M$ is determined by the normed algebra $C_b^k(M)$ of all real-valued, bounded and $C^k$ smooth functions with bounded derivative defined on $M$. As a consequence, we obtain: (i) the Finsler structure of a finite-dimensional and complete $C^k$ Finsler manifold $M$ is determined by the algebra $C_b^k(M)$; (ii) the weak Finsler structure of a separable and complete $C^k$ Finsler manifold $M$ modeled on a Banach space with a Lipschitz and $C^k$ smooth bump function is determin…
We present a compensated compactness theorem in Banach spaces established recently, whose formulation is originally motivated by the weak rigidity problem for isometric immersions of manifolds with lower regularity. As a corollary, a geometrically intrinsic div-curl lemma for tensor fields on Riemannian manifolds is obtained. Then we show how this intrinsic div-curl lemma can be employed to establish the global weak rigidity of the Gauss-Codazzi-Ricci equations, the Cartan formalism, and the corresponding isometric immersions of Riemannian submanifolds.
In this paper we show that space of spatial polygons in semi riemann space gives a Kahler manifold. We describe the tangent space and almost complex structure which has many computational advantages.
The notion of nonpositive curvature in Alexandrov's sense is extended to include p-uniformly convex Banach spaces. Infinite dimensional manifolds of semi-negative curvature with a p-uniformly convex tangent norm fall in this class on nonpositively curved spaces, and several well-known results, such as existence and uniqueness of best approximations from convex closed sets, or the Bruhat-Tits fixed point theorem, are shown to hold in this setting, without dimension restrictions. Homogeneous spaces G/K of Banach-Lie groups of semi-negative curvature are also studied, explicit estimates on the ge…
