Questions tagged [banach-manifold]
The banach-manifold tag has no usage guidance.
43
questions
1
vote
0
answers
64
views
Banach tori: classification up to Fréchet homeomorphisms
Consider the set $T$ in $l_p$ defined as closure of
\begin{equation}
T = \{ (x_1,\dotsc,x_n,\dotsc): x_j = \frac{1}{2^{(j/p)}} e^{it_j}, t_j \in \mathbb{R}/\mathbb{Z} \}.
\end{equation}
This seems to ...
- 343
4
votes
0
answers
82
views
Are U(H) and PU(H) locally uniform topological groups with the norm topology? Towards an instance of infinite-dimensional Hilbert's Fifth Problem
In looking at the work of Enflo generalising Hilbert's Fifth Problem from the Euclidean to the Banach case, there are the following conditions:
the multiplication in the topological group is locally ...
- 32.9k
0
votes
0
answers
109
views
Subspaces of inductive limit of Banach spaces
Let $(E_n)_{n\geq 1}$ be a sequence of Banach spaces such that $E_n\subseteq E_{n+1}.$ Assume that $\text{dim}E_n=n.$ Assume that $E$ is a Banach space such that $E_n\subseteq E$ and $\cup_{n\geq 1}...
- 1,781
1
vote
0
answers
72
views
Banach manifold structure on the moduli space of hybrid trajectories
I am reading the paper "On the Floer homology of cotangent bundles", (arXiv link) , by Abbondandolo and Schwarz and in page $35$ to define the isomorphism between the Morse complex and the ...
- 721
5
votes
1
answer
143
views
Transversality and $C^l$, $C^{\infty}$ spaces of almost complex structures
Recently I have been trying to get a grip on transversality results in Floer homology. That is suppose we the section $\partial_{J,H}: W^{1,p}(u^*(TM))\rightarrow L^{p}(u^*(TM))$ and we want to prove ...
- 721
2
votes
0
answers
72
views
Leray-Schauder degree in Banach manifolds
The so called Leray-Schauder degree is usually defined for maps of the form $I - f$, where $f: X \to X$ is a compact map defined on a Banach space. Is there an extended definition for the setting of ...
- 2,023
4
votes
1
answer
262
views
Banach space with dual not a GT space
Let $X$ be a Banach space. A bounded linear map $u:X\to\ell_2$ is said to be $1$-summing if for all finite sequence $(x_i)\subseteq X$ there is a constant $C>0$ such that $\sum\|ux_i\|\leq C\sup\...
- 1,781
0
votes
0
answers
64
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 ...
- 1,781
4
votes
0
answers
123
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 ...
- 3,403
16
votes
2
answers
1k
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 ...
- 161
3
votes
0
answers
179
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,...
9
votes
1
answer
499
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 ...
- 518
4
votes
0
answers
163
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 ...
- 153
4
votes
3
answers
501
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 \...
- 837
4
votes
0
answers
184
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(...
- 200
1
vote
0
answers
89
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
- 200
6
votes
1
answer
181
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
- 200
2
votes
0
answers
112
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 ...
- 200
2
votes
1
answer
50
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 \...
- 546
4
votes
1
answer
362
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 $...
- 1,151
5
votes
0
answers
283
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:\...
- 2,671
6
votes
1
answer
560
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 ...
- 327
3
votes
1
answer
365
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,671
2
votes
3
answers
488
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,671
2
votes
0
answers
139
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 ...
- 21
4
votes
0
answers
474
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' ...
- 49
1
vote
0
answers
113
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 ...
- 1,527
2
votes
0
answers
335
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, ...
- 81
2
votes
2
answers
451
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?
- 4,971
8
votes
2
answers
332
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}\...
- 464
0
votes
1
answer
85
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?
- 4,971
6
votes
0
answers
447
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^...
- 71
4
votes
0
answers
228
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....
- 139
3
votes
1
answer
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(...
- 281
4
votes
1
answer
342
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. ...
- 41
35
votes
4
answers
5k
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 ...
- 645
5
votes
1
answer
582
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 ...
- 195
19
votes
1
answer
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 ...
- 7,596
24
votes
1
answer
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 ...
- 7,596
22
votes
2
answers
3k
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 ...
- 41.7k
21
votes
2
answers
5k
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 ...
- 2,023
1
vote
1
answer
856
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 ...
- 235
6
votes
3
answers
755
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 ...
- 15.2k