The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
57 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
2answers
211 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
1answer
87 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
2answers
129 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 ...
12
votes
2answers
348 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 ...
21
votes
7answers
914 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 ...
21
votes
4answers
980 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 ...
2
votes
2answers
179 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
0answers
185 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 ...
3
votes
1answer
250 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) = ...
18
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 ...
8
votes
3answers
900 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
1answer
418 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 ...
2
votes
0answers
221 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 ...
3
votes
0answers
185 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 ...
5
votes
2answers
439 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
2answers
922 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
1answer
289 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 ...
4
votes
2answers
487 views

frechet manifolds book

hi, does anyone know a good book or some lecture notes on the theory of frechet manifolds ?
1
vote
1answer
189 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 ...
4
votes
3answers
358 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 ...