Questions tagged [infinite-dimensional-manifolds]

Filter by
Sorted by
Tagged with
1 vote
0 answers
82 views

What's the problem with the evaluation map not being continuous?

When introducing differentiable functions between locally convex spaces, many authors (e.g. Bastiani, Keller, Kriegl-Michor) notice that the evaluation map $$ E\times E^*\to\mathbb R,\qquad (x,L)\...
user avatar
2 votes
0 answers
45 views

Nonlinear automorphisms of projective spaces and the axiom of choice

Let $k$ be a field and $\mathbf{P}$ a projective space over $k$. If we accept the axiom of choice (AC), then $\mathbf{P}$ has a basis and a dimension $m$, and if $m$ is finite, the automorphism group ...
user avatar
  • 3,067
5 votes
0 answers
76 views

Is the Grassmannian of a Banach space an infinite dimensional manifold?

Grassmannian of complemented subspaces in a Banach space is a Banach manifold. This is explained for example in the thesis of Douady and is rather analogous to the finite-dimensional case. I would ...
user avatar
  • 484
1 vote
0 answers
100 views

Infinite-dimensional Lie group corresponding to $U\mathfrak{g}$?

Let $\mathfrak{g}$ be a Lie algebra. The universal enveloping algebra $U\mathfrak{g}$ is then an infinite-dimensional associative algebra which can be endowed with the structure of a Lie algebra. Is ...
user avatar
1 vote
1 answer
87 views

Charts for the Banach manifold of smooth almost complex structures $\mathcal{J}^{l}$

Consider the closure in the $C^l$-topology of the space of smooth almost complex structrues of a symplectic manifold $(M,\omega)$. We will denote this space by $\mathcal{J}^l$. It's a very used fact ...
user avatar
  • 433
8 votes
1 answer
350 views

Topological group locally homeomorphic to the Hilbert cube

Does there exist a topological group which is locally homeomorphic to the Hilbert cube $[0,1]^{\mathbb N}$? Let me note that Hilbert cube has the fixed point property and thus it is not homeomorphic ...
user avatar
10 votes
1 answer
233 views

Different smooth structures on the infinite jet bundle (for the purposes of calculus of variations)

Let $\pi:Y\rightarrow X$ be a (smooth, finite dimensional) fibred manifold. Since no other fibrations will be considered on $Y$, I will identify $(Y,\pi,X)$ with $Y$. The finite order jet bundles are ...
user avatar
31 votes
0 answers
950 views

Sequences with 0's in $\mathbb R ^\omega$

Let $\mathbb R ^\omega$ be the set of all sequences of real numbers in the product topology. Let $X$ be the set of all sequences in $\mathbb R ^\omega$ which have at least one 0. Let $Y$ be the set of ...
user avatar
  • 2,438
2 votes
1 answer
90 views

Smooth dependence in the fixed point theorem between complete Fréchet manifolds

Let $X,Y$ be complete metric spaces, and let $\Sigma:X\times Y\rightarrow Y$ be a continous mapping which satisfies the following property: there exists a $C<1$, such that for all $x\in X$ and $y_{...
user avatar
  • 336
5 votes
1 answer
380 views

Which completion of the configuration space of $n$ distinct points in $\mathbb{R}^d$ is better suited for numerical analysis?

(My original post starts here, and ends right before the Edit part. I am keeping it so that the comments and answer make sense, but what I am really interested in is what is in the Edit section.) My ...
user avatar
  • 3,594
6 votes
1 answer
162 views

On the orbit of a Fréchet Lie group action

Suppose that $G$ is a Fréchet Lie group acting on a Fréchet manifold $X$. Fix $x\in X$ and let $\alpha(t)$ be a smooth path in $X$ such that $$ \begin{cases} \alpha(0)=x\\ \alpha(t)\in G\cdot x. \end{...
user avatar
  • 211
3 votes
0 answers
66 views

Couniversality of Lie integration in different categories of manifolds/smooth spaces

A fairly reasonable interpretation of Lie II and Lie III seems to be that the category of Lie algebras is a coreflective subcategory of the category of Lie groups, so that the Lie group integrating a ...
user avatar
  • 1,213
4 votes
3 answers
441 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 \...
user avatar
  • 817
18 votes
2 answers
666 views

What is known about the "unitary group" of a rigged Hilbert space?

Suppose that $(E,H)$ is a rigged (infinite dimensional, separable) Hilbert space, i.e. $H$ is a Hilbert space, and $E$ is a Fréchet space, equipped with a continuous linear injection $E \rightarrow H$ ...
user avatar
  • 536
7 votes
0 answers
95 views

Is the symplectomorphism group of a compact manifold a tame Fréchet Lie subgroup of $\operatorname{Diff}(X)$?

In the famous paper Hamilton, Richard S. The inverse function theorem of Nash and Moser. Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 1, 65–222, Hamilton introduced the category of tame Fréchet Lie ...
user avatar
1 vote
0 answers
40 views

Continuous surjection from $X(D_n)$ onto $\operatorname{Homeo}_0(D_n)$

Let $n>1$ and let $\mathfrak{X}(D_n)$ denote the set of continuous vector fields on the closed disc $D_n\subseteq \mathbb{R}^n$. Let $\operatorname{Homeo}_0(D_n)$ be the set of homeomorphism of ...
user avatar
2 votes
2 answers
319 views

Reconciling some result about the exponential map, the Chow-Rashevskii theorem, and $\mathrm{Diff}_0(M)$

Let $M$ be a $C^{\infty}$ manifold $C^{\infty}$-diffeomorphic to $\mathbb{R}^d$. I've recently come across some results which I'm trying to reconcile. Let $\mathfrak{X}(M)$ denote the set of ...
user avatar
3 votes
0 answers
99 views

Diffeomorphisms fixing origin and boundary

Let $D^n$ be a disc in $\mathbb{R}^n$. Is there a known characterization of all the diffeomorphisms of $D^n$ fixing the origin and boundary of $D^n$?
user avatar
4 votes
0 answers
139 views

Generalizations of Sard-Smale Theorem

Sard-Smale theorem holds for Fredholm maps $f:M\rightarrow B$ between separable Banach manifolds $M,N$. There are some constrains relating the Fredholm index $\operatorname{ind}(f)$ of $f$ to its ...
user avatar
2 votes
0 answers
99 views

Open embedding of non-separable infinite dimensional manifolds

It is well-known (see here) that separable infinite-dimensional topological Hilbert manifolds can be embedded as open sets of the modeling separable Hilbert space. Using that separable Fréchet (in ...
user avatar
6 votes
1 answer
306 views

CW structure on infinite-dimensional manifolds

It is well-known (due to this work of Palais, I believe) that Banach manifolds are dominated by countable CW complexes. It then follows (due Whitehead, as indicated by Milnor in this work) that they ...
user avatar
4 votes
0 answers
132 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(...
user avatar
1 vote
0 answers
80 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
user avatar
6 votes
1 answer
167 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
user avatar
3 votes
1 answer
160 views

Finite-dimensional argument for Morse-Smale pairs?

Using the Sard-Smale theorem, it is relatively easy to show that Morse-Smale pairs on a manifold $M$ (i.e. pairs $(f,g)$ where $g$ is a metric on $M$, $f$ is a Morse function on $M$, and the stable/...
user avatar
2 votes
0 answers
89 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 ...
user avatar
1 vote
1 answer
125 views

What is the manifold structure of smooth path on infinite dimensional manifolds?

What is the manifold structure of smooth path on infinite dimensional manifolds? In the the paper "manifolds of smooth maps by Michor", it was mentioned that it is possible to put manifold structure ...
user avatar
2 votes
0 answers
96 views

Differential of the Rabinowitz Action Functional

On an exact Hamiltonian system $(M,d\alpha,H)$ define the Rabinowitz action functional $$\mathcal{A}^H \colon C^\infty(\mathbb{S}^1,M) \times (0,+\infty) \to \mathbb{R}$$ by $$\mathcal{A}^H(\gamma,\...
user avatar
18 votes
0 answers
482 views

A curious switch in infinite dimensions

Let $V$ be a finite dimensional real vector space. Let $GL(V)$ be the set of invertible linear transformations, and $\Phi(V)$ be the set of all linear transformations. We can also characterize $\Phi(V)...
user avatar
  • 6,610
3 votes
0 answers
153 views

Is there a family of Riemannian manifolds with explicitly solvable geodesics for manifold M?

By this paper https://www.mat.univie.ac.at/~michor/rie-met.pdf for any given manifold $M$, there is a Hilbert manifold (I believe its a Hilbert manifold, if not it is still an infinite dimensional ...
user avatar
3 votes
1 answer
94 views

Frechet Lie groups and their subgroups

1) Let $G$ be a Fréchet Lie group. Let $H$ be a closed subgroup. Is it always true that the centraliser of $H$ is a Fréchet subgroup of the lie group? 2) Is the closed subgroup theorem valid for ...
user avatar
  • 663
1 vote
0 answers
132 views

Definition of integrable representation of Kac-Moody algebra

I have seen several definitions of integrable representation $V$ of Kac-Moody algebra $\mathfrak{g}$ online. Which one is the standard one? Are they actually equivalent? First one is $e_i, f_i$ acts ...
user avatar
  • 637
10 votes
1 answer
344 views

Smooth vector fields on a surface modulo diffeomorphisms

Let $\Sigma$ be a two-dimensional connected smooth manifold without boundary. (Feel free to assume it is compact and orientable.) Let $\mathcal{X}(\Sigma)$ denote the smooth vector fields on $\Sigma$...
user avatar
1 vote
0 answers
36 views

Subspace of smooth Foliations inside smooth Distributions - Is it a Frechet submanifold or atleast a Retraction?

Assume M is a closed manifold. Does the set of smooth foliations on M form a Frechet submanifold inside the Frechet manifold consisting of smooth distributions? If not, can the set of smooth ...
user avatar
15 votes
1 answer
406 views

Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?

Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
user avatar
  • 2,611
3 votes
0 answers
163 views

Structure of a group acting on a Hilbert space

Assume a group $G$ acts faithfully by isometries on a separable infinite dimensional Hilbert space $H$ in such a way that the orbits are closed and the quotient $H/G$ is isometric to a finite ...
user avatar
5 votes
1 answer
434 views

Smooth structure on the space of sections of a fiber bundle and gauge group

Let $\xi$ be a fiber bundle $F\hookrightarrow E\to B$ (where every space is smooth, T2 and second countable), let $\Gamma(\xi)$ be the space of smooth sections. We can complete $\Gamma(\xi)$ with ...
user avatar
6 votes
0 answers
191 views

Infinite-dimensional manifold $ΩG$ of loops and the complex projective $n$-space

In a review seminar today, I heard the speaker takes the below for granted, but I have no enough background "Yang-Mills (YM) instantons in 4D can be naturally identified with (i.e. have the same ...
user avatar
  • 9,976
10 votes
0 answers
510 views

How to define (and compute) the Cartan-Killing form of the group of volume-preserving diffeomorphisms?

This question was raised a while ago in a blog post by Terry Tao on the Euler-Arnold equation and he called it "quite tricky". Has anyone in the meantime tried to formulate this question precisely, ...
user avatar
  • 1,655
1 vote
0 answers
78 views

"Barrier functions" in function spaces [closed]

In general the idea of a "barrier function" (as in the context of "interior point methods") can possibly be thought of as defining a function corresponding to an open subset of $\mathbb{R}^n$ such ...
user avatar
  • 2,016
3 votes
1 answer
97 views

Does their exist something like L^2 Mapping spaces to general manifolds?

Given a compact manifold $C$ and a n-manifold $M$ we mostly work on either $C^{\infty}(C,M)$ seen as a Frechet manifold. or $H^{k}(C,M)$ seen has a Hilbert manifold when $k > n/2$. Although both ...
user avatar
1 vote
1 answer
327 views

Cohomology of Infinite Dimensional Lie Algebra

I am looking for a explicit relation for adjoint cohomology of infinite dimensional Lie algebras (specifically smooth vector fields on a manifold), is it possible to apply Hochschild-Serre spectral ...
user avatar
6 votes
0 answers
289 views

K-theory of the infinite dimensional projective space

What is the $K$-theory of the category of coherent sheaves on the infinite (countable) dimensional projective space over a field? As far as I know, $K$-theory is oriented; hence this theory should be "...
user avatar
5 votes
1 answer
283 views

Manifolds of maps

Suppose $M$ is a compact $n$-dimensional manifold without boundary. Let $H^s(M,M)$ denote the Sobolev space on $M$, defined as all maps from $M$ to $M$ whose distributional derivatives up to order $s$ ...
user avatar
  • 883
16 votes
1 answer
886 views

Does the image of the exponential map generate the group?

Let $G$ be a connected Fréchet-Lie group and let $\mathfrak g$ be its Lie algebra. Does the image $\exp(\mathfrak g) \subset G$ of the exponential map generate $G$?
user avatar
  • 1,752
10 votes
0 answers
600 views

Differential Forms in Infinite Dimensions

In Kriegl/Michor's book "The convenient setting of global analysis", they define the space of differential $k$-forms on a possibly infinite-dimensional manifold $M$ as the space of smooth sections of ...
user avatar
20 votes
2 answers
1k views

Infinite dimensional symplectic geometry

Could anyone comment on possible references concerning infinite dimensionsal symplectic manifolds?. I am mainly concerned with hilbert spaces, so i am not interested in the convenient analysis ...
user avatar
  • 473
7 votes
1 answer
528 views

Tangent space of the space of smooth sections of a bundle

Let $E\to M$ be a real vector bundle of finite rank over a closed differentiable manifold $M$. Let $C^{\infty}(E)$ denote the space of smooth sections of $E$ and let $e\in C^{\infty}(E)$ be a section. ...
user avatar
  • 3,292
4 votes
0 answers
108 views

A criterion for a differential equation to be realized as an Euler-Lagrange equation on the infinite dimensional space

I study PDEs that arise in fluid dynamics in an infinite dimensional Riemannian geometric perspective. For example, Ebin-Marsden(1970) showed that the group of volume preserving diffeomorphisms has an ...
user avatar
5 votes
2 answers
345 views

Manifold of mappings between $M$ and $N$, with non-compact source $M$

EDIT: Let $M$ and $N$ are two smooth manifold and suppose $N$ is compact but $M$ is not necessarily compact. For my purpose, I just need to consider the case $M=\mathbb R \times S^1$ or $\mathbb R \...
user avatar
  • 2,611