# Tagged Questions

The tag has no usage guidance.

138 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 ...
261 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. ...
203 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 ...
217 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 Fŕechet spaces with fixed seminorms is called tame if we have an ...
81 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 ...
227 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)$ ...
94 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 ...
158 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 ...
599 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 ...
2k 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 ...
1k 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 ...
208 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 ...
221 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 ...
305 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) = \...
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 ...
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 ...