arXiv research

Regulated curves on Banach manifolds with continuous projections and regulated derivatives are studied.

Formalizes integral curves on Banach manifolds in Lean.

Integrability criterion for projective limits of Banach distributions on Fréchet manifolds.

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 anc…

The paper studies symplectic forms on projective limits of Banach bundles and their Darboux Theorem.

Examines different approaches to Poisson structures in Banach spaces.

The study integrates Banach manifolds into H-manifolds, integrating Lie algebras into H-groups.

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. T…

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 …

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.

Banach fibrations and Nijenhuis operators studied for vanishing torsion.

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…

Generalized Stacey-Roberts lemma for Banach manifolds.

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 man…

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 existen…

We study a few basic properties of Banach-Lie groupoids and algebroids, adapting some classical results on finite dimensional Lie groupoids. As an illustration of the general theory, we show that the notion of locally transitive Banach-Lie groupoid sheds fresh light on earlier research on some infinite-dimensional mani…

Study spectral and index properties of Hodge-Dirac operator on compact manifolds.

The main goal of this paper is to extend the so-called Dirac-Frenkel Variational Principle in the framework of tensor Banach spaces. To this end we observe that a tensor product of normed spaces can be described as a union of disjoint connected components. Then we show that each of these connected components, composed …

The famous Banach-Tarski paradox claims that the three dimensional rotation group acts on the two dimensional sphere paradoxically. In this paper, we generalize their result to show that the classical group acts on the flag manifold paradoxically.

We prove that for every $n>2$, the Banach-Mazur compactum Q(n) is the compactification of a Hilbert cube manifold by the Euclidean point. For $n=2$ this result was proved earlier.

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…

Extends geometrical description of tensor manifolds in tree-based formats.

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.

Develops a mathematical framework for causal fermion systems in infinite dimensions.

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…

The study defines divergence for multivector fields on infinite-dimensional manifolds.

We give a method to construct Poisson brackets $\{\cdot,\cdot\}$ on Banach manifolds~$M$, for which the value of $\{f,g\}$ at some point $m\in M$ may depend on higher order derivatives of the smooth functions $f,g\colon M\to{\mathbb R}$, and not only on the first-order derivatives, as it is the case on all finite-dimen…

Develops an L^p theory for Dolbeault-Dirac operators on compact Kähler manifolds.

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…

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.

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 s…

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 uni…

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 det…

The abstract extends deformation and tangent groupoid constructions to infinite-dimensional manifolds.

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 …

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 structu…

In this note we show that for any proper action of a Banach--Lie group $G$ on a Banach manifold $M$, the corresponding tangent maps $\g \to T_x(M)$ have closed range for each $x \in M$, i.e., the tangent spaces of the orbits are closed. As a consequence, for each free proper action on a Hilbert manifold, the quotient $…

Improved bounds on curve filling areas in Banach spaces, leading to rigidity of Pu's inequality.

Study on Banach half-Lie groups and their properties.

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 wi…

Some recent work in Frechet geometry is briefly reviewed. In particular an earlier result on the structure of second tangent bundles in the finite dimensional case was extended to infinite dimensional Banach manifolds and Frechet manifolds that could be represented as projective limits of Banach manifolds. This led to …

Proves critical points of ADM mass correspond to specific initial data sets.

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 ob…

Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold $\mathcal{I}(X)$ of $\mathcal{L}(X)$ is a locally trivial analytic affine-Banach bundle o…

We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between …

We establish a local function version of a classical result claiming that a bivector field on a manifold $M$ is Poisson if and only if cotangent paths form a coisotropic set of the infinite dimensional symplectic manifold of paths valued in $T^*M$. Our purpose here is to prove this result without using the Banach manif…

Extends Dirac structures to infinite dimensions for mechanical systems.

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 connecti…