Questions tagged [banach-manifold]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
56 views

Dual of isometric copies into dual Banach spaces

Let $X$ be a Banach space and $X_1\xrightarrow{}X$ isometrically. Under some assumption can we guarantee that $X^*$ contains an isometric copy of $X_1^*$. I am also interested to know if this happens ...
4
votes
0answers
68 views

Sobolev space of maps between manifolds with boundary

Let $(M,g)$ and $(N,h)$ be compact Riemannian manifolds with non-empty smooth boundary. If we consider the Sobolev space $W^{1,p}(M,N)$, is there a reference on how to model this as a manifold? If ...
15
votes
2answers
552 views

Examples of Banach manifolds with function spaces as tangent spaces

I have recently been learning the theory of Banach manifolds through Serge Lang's book on Differential Manifolds. So far the objects seem rather interesting but my intuition always comes from the ...
2
votes
0answers
82 views

Regularity of the dependence of the flow on the vector field definining it

Let $M$ be a smooth compact manifold and $k \geqslant 1$. Define $\mathfrak{X}^k(M,TM)$ to be the set of vector fields $M \rightarrow TM$ of class $C^k$. As $M$ is compact, endowing $\mathfrak{X}^k(M,...
5
votes
1answer
145 views

Does the continuous mapping space between topological manifolds always admit a Banach manifold structure?

Let $M$ and $N$ be smooth, i.e. $C^\infty$, manifolds. Suppose that $M$ is compact. Then for every $k \geq 0$ it is well known that $$C^k(M,N)$$ admits the structure of a smooth Banach manifold. I am ...
4
votes
0answers
103 views

Global analysis on punctured surfaces

Global analysis on open manifolds seems pretty hard. For one, the space of $C^{n,\alpha}$ functions on an open manifold need not be a tame Fréchet space (see the post Are smooth functions tame? for ...
4
votes
3answers
389 views

Intersection modulo 2 theory for infinite dimensional manifolds?

For finite dimensional manifolds, there is a lot of theory about when the number of intersections (modulo $2$) of certain objects are preserved under homotopy. I'll give two quick examples: Let $f:X \...
4
votes
0answers
118 views

Fredholm transversality

Let $M,N$ be two Banach or Hilbert manifolds. Assume that $P\subset N$ is a smooth submanifold of $N$. We say that a smooth map $f:M \to N$ is Fredholm transversal to $P$ if for every $x\in M$ with $f(...
1
vote
0answers
78 views

Infinite dimensional smooth projective geometry

Are there two infinite dimensional (Banach or Hilbert) manifolds $(P,L)$ which satisfy the axioms of a smooth projective geometry desribed in this page: Smooth Projectove Geometry
6
votes
1answer
159 views

A smooth map on a Banach manifold whose pointwise rank is finite but its rank is not globally bounded

Is there a connected Banach manifold $M$ and a smooth map $f:M \to M$ such that the rank of $Df_x$ is finite for every $x\in M$ but this rank is not uniformly bounded
2
votes
0answers
80 views

Smooth derivations of a Banach space

Let $E$ be a real (or complex) Banach space. By $C^\infty(E) $ we mean the space of all functions $f:E\to \mathbb{R}(f:E\to \mathbb{C})$ which are smooth in the sense of Frechet diffetentiability. A ...
2
votes
1answer
46 views

Descending central extensions to homogeneous spaces

Let $G$ be a Lie group (finite dimensional or Banach), and let $H$ be a Lie subgroup (in the Banach case we assume that $H$ is a submanifold which is also a Lie group). Let $\text{U}(1) \rightarrow \...
4
votes
1answer
238 views

null-bordant vs null-homologous sub-manifolds of $\infty$-d spaces/CW complexes

$\require{AMScd}$ Preliminaries: Let $\Sigma$ be a closed manifold, $X$ be a CW complex and $f:\Sigma \to X$ be a map. We say that the pair $(\Sigma,f)$ is null-homologous (over $\mathbb{Z}_2$) if $...
4
votes
0answers
216 views

The structure of Banach manifolds in symplectic geometry

Let $M$ be a symplectic manifold, and let $L_0$ and $L_1$ be Lagrangian submanifolds which transverse to each other. In Floer theory, we need to consider a Banach manifold $\mathcal B$ of maps $u:\...
5
votes
1answer
497 views

What would be the cotangent bundle of a Banach manifold?

Reference: Lang - Differential manifolds p.123 Quick question: Lang defines the cotangent bundle as the dual vector bundle of the tangent bundle, but shouldn't there be additionally a somewhat ...
2
votes
1answer
292 views

the tangent space $T_J\mathcal J^k$ of the space of $\omega$-compatible almost complex structure

Let $(M,\omega)$ is a symplectic manifold, and you can assume it is compact if necessary. Denote by $\mathcal J^k = \mathcal J^k(M, \omega)$ the set of all $\omega$-compatible almost complex ...
2
votes
3answers
363 views

why is $W^{k,p}(\Sigma, u^*TM)$ the tangent space of $W^{k,p}(\Sigma,M)$ at $u$

Let $\Sigma$ and $M$ be two smooth manifolds with $\Sigma$ compact. It is a well-known fact that $W^{k,p}(\Sigma, u^*TM)$ is the tangent space of $W^{k,p}(\Sigma,M)$ at $u$. (You can replace these ...
2
votes
0answers
81 views

Second Countability hypothesis for a Banach manifold

Is the second countability hypothesis necessary to rigoruosly define a Banach Manifold (say in infinite dimension)? In the finite-dimensional theory of manifolds, that request is included in the ...
4
votes
0answers
390 views

Intuition: Smooth functions on Banach Spaces

On finite-dimensional vector spaces, we all have a reasonable idea of which functions are likely to be $C^1$ or smooth. When it comes to differentiation on Banach spaces, I find that my `intuition' ...
1
vote
0answers
107 views

Projective tensor product continuous?

For $V$, $W$ Banach spaces, is the canonical morphism $B(V) \times_\pi B(W) \to B(V \hat{\otimes}_\pi W)$ continuous, where $B(V)$ denotes the set of all linear bounded endomorphisms with operator ...
2
votes
0answers
295 views

Structure of $C^k$ ($k<\infty$)Riemannian metrics on a manifold

$M$ is a smooth manifold. It's known that if $M$ is compact, then the space of smooth Riemannian metrics has a Frechet manifold structure. For the space of $C^k$($k<\infty$) Riemannian metrics, ...
2
votes
2answers
363 views

Geodesic on Banach Manifold [closed]

Is there a way of defining a geodesic on a Banach Manifold $M$ which is not itself a Hilbert Manifold?
8
votes
2answers
275 views

Banach manifold of paths with endpoints on submanifolds

Fix a Riemannian metric on a manifold $M$. Suppose that we fix two points $x,y \in M$. We start with the space $C^{\infty}_{\searrow}(x,y) = \left\{\gamma: \mathbb{R}\to M:\,\lim_{t\to-\infty}\...
0
votes
1answer
83 views

Embedding Riemmanian Manifold Linearly

Given a Hilbert Manifold $M$ does there exist a smooth map into some very large Hilbert space taking geodesics to straight lines?
6
votes
0answers
359 views

Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following: Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set $C^...
4
votes
0answers
214 views

Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts: Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean space....
3
votes
1answer
1k views

Is $C^\nu(X,Y)$ a Banach manifold and a Lindelöf space?

Suppose that $X$ is a compact, finite dimensional manifold and $Y$ is an infinite dimensional, second countable ($C^\infty$-)Banach manifold. Let $\nu \in \mathbb{N}$. Question: Is the space $C^\nu(...
2
votes
1answer
271 views

Manifold structure for the set of solutions to a first order elliptic system?

Consider a bounded domain $S\subset R^2$ and an elliptic system of two first order PDEs, namely a generalization of the Cauchy-Riemann system allowing nonconstant coefficients and lower order terms. ...
33
votes
4answers
3k views

How are infinite-dimensional manifolds most commonly treated?

I originally posted this question on StackExchange, where it was suggested I post here. It was also suggested I read about Hilbert manifolds and Fréchet manifolds. Nevertheless, I am still looking for ...
5
votes
1answer
451 views

Banach Manifold

Let $M$ and $N$ be closed manifolds. Is it true that $C^{k}(N,M)$, which is the space of functions $f: N\to M$ such that $f\in C^{k}$, is a $C^{\infty}$ Banach manifold? If so, can you help me to ...
20
votes
1answer
2k views

Does this Banach manifold admit a Riemannian metric?

First, the question; after, the motivation. Consider 27.6 (pdf pp. 262-263) in The convenient setting of global analysis (AMS, 1997), and, in particular, the example given at the end of it, which ...
22
votes
1answer
1k views

Non-regular Connected Hausdorff Banach Manifold

After reading this MO post, I am wondering: Is every (connected) Hausdorff Banach manifold a regular space? Though unjustified, page 53 of this paper nonchalantly states: "Note that a Hausdorff ...
21
votes
2answers
2k views

Does it make sense to talk about smooth bundles of Hilbert spaces?

Is there a notion of "smooth bundle of Hilbert spaces" (the base is a smooth finite dimensional manifold, and the fibers are Hilbert spaces) such that: 1• A smooth bundle of Hilbert spaces ...
20
votes
2answers
4k views

Are Banach Manifolds intrinsically interesting?

In the introduction to 'A convenient setting for Global Analysis', Michor & Kriegl make this claim: "The study of Banach manifolds per se is not very interesting, since they turnout to be open ...
1
vote
1answer
835 views

Is there an Error on pg. 17 of Tromba's “Teichmuller Theory in Riemannian Geometry”?

I'm pretty sure that this is a minor error, but I could use some help here. So the book I'm referring to in the title is this book (MR1164870). On pg. 16-17, he is proving that the space of almost ...
6
votes
3answers
566 views

Two notions of tangent vector for a Fréchet manifold

Let $X$ be a Frechet or Banach manifold. We can define tangent vectors by equivalence classes of smooth curves. But, we could also define them as derivations of germs of smooth functions. Do these two ...