# Questions tagged [frechet-manifold]

The frechet-manifold tag has no usage guidance.

32
questions

**5**

votes

**0**answers

63 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 ...

**1**

vote

**1**answer

111 views

### Metrizability of topology of compact convergence

Let $X$ be a separable metric space and $Y$ be a second-countable $\sigma$-compact Hausdorff space. Then the compact-convergence (compact-open) topology on $C(Y,X)$ is metrizable with metric
$$
d(f,g)...

**3**

votes

**1**answer

73 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 ...

**5**

votes

**1**answer

146 views

### What is the connection between Frechet Lie groups and Lie algebras?

An ordinary Lie group has a differentiable manifold structure, i.e. it is locally isomorphic to a finite-dimensional Euclidean space. A Frechet Lie group, on the other hand, has a Frechet manifold ...

**1**

vote

**0**answers

35 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 ...

**1**

vote

**0**answers

50 views

### Tangent space and a subset of a tame Lie group

I am curious if the set of all orientation-preserving diffeomorphisms with a given rotation number is a tame Lie subgroup or a tame submanifold of all orientation-preserving diffeomorphisms on the ...

**7**

votes

**1**answer

370 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. ...

**6**

votes

**1**answer

378 views

### Submersion theorem for smooth tame Frechet manifolds

If $M$ and $N$ are Banach manifolds, $f:M\rightarrow N$ is a smooth map, and $q\in N$ is a regular value, so $f$ is a submersion on $f^{-1}(q)$, it is well known that the level set $f^{-1}(q)$ is a ...

**11**

votes

**1**answer

361 views

### How many Fréchet manifolds are there?

Clearly the title needs clarifying. Allow me to let "how many" to mean a set larger than a skeleton of the category of Fréchet manifolds and smooth maps, if this category is indeed essentially small.
...

**1**

vote

**1**answer

226 views

### Smooth curves in a Frechet space

Is the space $C^{\infty}([0,1];C^{\infty}(S^1))$ equal with the space $C^{\infty}([0,1]\times S^1)$ ? I am interested in characterizing the smooth curves in the space $C^{\infty}(S^1)$ where $S^1$ is ...

**7**

votes

**2**answers

389 views

### Inverse of partial differential operator as a smooth tame map

Tameness for maps is one of the main ingredients for the Nash-Moser inverse function theorem. A linear map $f: X \to Y$ between Fŕechet spaces with fixed seminorms is called tame if we have an ...

**4**

votes

**0**answers

93 views

### Convex subsets of infinite dimensional spaces up homeomorphism

Let $C$ be a convex, infinite-dimensional, non-locally-compact subset of a separable Frechet space.
If $C$ is a closed subset (or more generally, if $C$ is completely metrizable), then it is known ...

**2**

votes

**2**answers

265 views

### evaluation map $ev_t$ on loop space

Considering parameter of $S^1$ as $t$, we define.
$$ev_t: C^\infty(S^1, \mathbb R^n)\to \mathbb R^n$$
$$ev_t(\gamma):=\gamma(t)$$
I am looking for a possible topology on $C^\infty(S^1,\mathbb R^n)$ ...

**0**

votes

**1**answer

117 views

### Constant symplectic structure

Let $E$ be a Frechet space and $\mathcal{F}$ be a non-degenerate bounded skew symmetric bilinear map $\mathcal{F}: E\times E\to \mathbb R$ on $E$. We can identify $TE$ with $E\times E$, with this ...

**3**

votes

**2**answers

178 views

### Space of differential operators

Let $A$, $B$ be two smooth vector bundles of finite rank over a smooth manifold $M$. Let $Diff(A,B)$ be the space of differential operators from $A$ to $B$. Can I talk about "the space of smooth maps ...

**14**

votes

**2**answers

1k views

### Are smooth functions tame?

I know the article of Hamilton on the inverse function theorem of Nash and Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with ...

**26**

votes

**7**answers

3k views

### Intuition for failure of Implicit Function theorem on Frechet Manifolds

When dealing with moduli spaces of, say connections or metrics, I am using the notions of Frechet spaces/manifolds/groups. I have become familiar with Banach manifolds (I think), but Frechet manifolds ...

**32**

votes

**4**answers

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

**4**

votes

**2**answers

254 views

### On the definition of ‘smooth vectors’ in Rieffel's “Deformation Quantization for Actions of $ \mathbb{R}^{d} $”.

On the first page of Chapter 1 of Rieffel's Deformation Quantization for Actions of $ \mathbb{R}^{d} $, Rieffel defines a family of seminorms on the space $ A^{\infty} $ of smooth vectors of a Fréchet ...

**2**

votes

**0**answers

277 views

### What are the current possibilities for infinite-dimensional manifolds? [closed]

According to wikipedia, by a theorem of Henderson '69, infinite-dimensional Frechet Manifolds embed as open subspaces of Hilbert Space. They need to be seperable & metric. They are generalisations ...

**4**

votes

**1**answer

361 views

### Smooth functions tangent to the leaves of a foliation

Given two smooth manifolds $M$ and $N$, it is known that if $M$ is compact, then $C^\infty(M,N)$ is a Fréchet manifold whose tangent space at $f \in C^\infty(M,N)$ is the space
$$T_f C^\infty(M,N) = \...

**20**

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

**8**

votes

**3**answers

1k views

### Loop space: De Rham cohomology

How to calculate the DeRham cohomology of the free loop space $LM= C^\infty(S^1,M)$ as a Frechet manifold?.
Edit: It will be enough for me to know:
When $H^1_{DR}(LM)$ is not $\{0\}$.
Bounty ...

**5**

votes

**1**answer

488 views

### A fact about finite-dimensional manifolds I fear does not hold for Frechet manifolds (what's new?)

Let $M$ be a manifold equipped with a pair of surjective submersions $N_1 \stackrel{p_1}{\leftarrow} M \stackrel{p_2}{\rightarrow} N_2$ where $dim N_1 = dim N_2 = n$. Then we can find, for any point $...

**3**

votes

**0**answers

455 views

### Loop space: various manifold structure.

While reading articles, Sometimes i see collection of all smooth loops as hilbert manifold(pre). Sometime i see this space as banach manifold. Sometime i see this sapce as nuclear frechet space.
Can ...

**4**

votes

**0**answers

294 views

### Regular maps between Frechet manifolds and pullbacks

An oft-used example of a regular map of finite-dimensional smooth manifolds is a submersion. We have the well-known result that the pullback of a submersion exists and is a submersion. For Frechet ...

**6**

votes

**3**answers

702 views

### Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...

**11**

votes

**2**answers

1k views

### Induced map on path manifolds: is it a submersion?

Consider the following claim:
Let $p:M \to N$ be a (surjective) submersion of finite-dimensional smooth
manifolds. Let $J$ denote one of $[0,1],\ [0,1),\ (0,1]$. Then $p_*:M^J \to
N^J$ is a ...

**3**

votes

**1**answer

375 views

### Ind-Frechet manifolds?

Short version: has anyone done geometry on something that is the formal filtered colimit of Frechet manifolds?
Longer version: A colleague and I came up with a concept today that seems like we ...

**7**

votes

**2**answers

706 views

### frechet manifolds book

hi, does anyone know a good book or some lecture notes on the theory of frechet manifolds ?

**2**

votes

**1**answer

222 views

### Complement of a closed star-shaped subset in a Frechet space

Let $U$ be the complement of a closed star-shaped subset in a separable
infinite-dimensional Frechet space. Since every
separable Frechet space is homeomorphic to $l_2$,
one knows that $U$ is a ...

**6**

votes

**3**answers

539 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 ...