All Questions
27 questions
8
votes
1
answer
230
views
The closure of the space of Riemannian metrics with a fixed isometry class
Let $M$ be a closed manifold, and let $\mathscr{M}$ be the space of all Riemannian metrics over $M$. It is known that this is a Fréchet manifold. Consider also $\mathscr{D}$ the diffeomorphisms group ...
- 808
5
votes
1
answer
343
views
Clarifying a result of Klingenberg
I am looking for some clarification on a result of Klingenberg. For context, I have a complete Riemannian manifold for which I would like to compute a lower bound on the injectivity radius at each ...
- 163
2
votes
0
answers
132
views
Elliptic equations and Fredholms alternative in the non-compact case
Let $M$ be a smooth Riemannian manifold and $E$ be a finite-rank vector bundle over $M$ equipped with a bundle metric $\langle\cdot,\cdot\rangle\in\Gamma^{\infty}(E^{\ast}\otimes E^{\ast})$, i.e. $\...
- 1,429
6
votes
1
answer
423
views
Difference between parallel transport and ambient projection
Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
- 125
3
votes
0
answers
109
views
"Practical" references on mapping spaces as infinite-dimensional manifolds
I am studying spaces of the form $C^{k}(\mathcal{M},\mathcal{N})$ between manifolds ($k=\infty$ allowed) and I am looking for extensive references, especially analysing their topology and smooth ...
- 1,171
7
votes
0
answers
496
views
Finite atlas on a smooth manifold
If a smooth manifold admits a finite atlas, then for many technical purposes it is as good as compact. I was surprised to learn that every connected smooth manifold actually has a finite atlas. This ...
- 1,959
2
votes
0
answers
230
views
Reference request: the UEA of the LR-algebra of tangent vector fields on a smooth manifold coincides with the derivation ring and the ring of diff ops
Let $\mathcal{M}$ be a smooth real manifold and let $A:= \mathcal{C}\left(\mathcal{M}\right)$ be the real algebra of smooth functions on $\mathcal{M}$.
Recall from McConnell, Robson, Noncommutative ...
- 718
1
vote
0
answers
170
views
Uniqueness of collar neighborhoods for non-compact boundary case in smooth setting
Let $M$ be a smooth manifold and let $f_0, f_1 \colon [0, 1] \times
\partial M \to M$ be two smooth embeddings that are the identity map
on $\partial M \times\{0\} = \partial M$ . If $\partial M$ is
...
- 265
0
votes
1
answer
108
views
Intersection Grassmanian planes
I am reading a paper that used Grassmanian planes properties. In particular, they studied the intersection of Grassmanian planes; they check the intersection Grassmanian of $n-k$-planes and ...
- 1,043
4
votes
0
answers
236
views
Fréchet subdifferentiation on riemannian manifolds
Context. I'm looking for a "natural" definition of subdifferentials on riemannian manifolds.
Given a function $F:\mathbb R^m \to \mathbb R$, its Fréchet-subdifferential at a point $w \in \...
- 6,853
2
votes
2
answers
452
views
Reference for the divergence theorem for embedded $C^1$-submanifolds of $\mathbb R^d$ with boundary
I'm aware of Gauss's theorem (aka the divergence theorem) for compact subsets $K$ of $\mathbb R^d$ with "$C^1$-boundary"$^1$.
I know that there are several generalizations of this theorem, ...
- 167
14
votes
4
answers
2k
views
Book on manifolds from a sheaf-theoretic/locally ringed space PoV
I'm looking for an introductory (or rather, non-advanced) book on manifolds as locally ringed spaces, i.e., from the algebraic geometric viewpoint. Most introductory texts only introduce manifolds ...
6
votes
1
answer
1k
views
Fubini's theorem on arbitrary foliations
In what follows $ \mathbb{R}^{n+m} = \{(x,y): x \in \mathbb{R}^n, \ y \in \mathbb{R}^m \} \ .$
Suppose $G: U \to V $ is a $C^1$-diffeomorphism from an open subset of a manifold to an open subset of $...
- 622
5
votes
1
answer
329
views
Reference for the rectifiablity of the boundary hypersurface of convex open set
The boundary of any convex open set $X$ is $\mathbb R^n$ is a rectifiable hypersurface.
To see this, intuitively, simply take a sphere $S_d$ with diameter $d\in(0,+\infty]$ that contains $X$. The ...
- 263
2
votes
0
answers
269
views
Extending Green's theorem from very special regions to more general regions
Green's theorem
Let $C$ be a positively oriented and consists of a finite union of disjoint,piecewise smooth simple closed curve in a plane, and let $D$ be the region bounded by $C$. If $P$ and $Q$ ...
- 151
2
votes
0
answers
126
views
The complex Clifford algebra
If $(E,g,w)$ is a vector space $E$ with a metric $g$ and a symplectic form $w$; then we can define the complex parts $(1,0)$ and $(0,1)$, so that the complex Clifford algebra is: $$e_1 . f_1 + f_1 . ...
- 21
4
votes
0
answers
116
views
$\ell_p$ geodesic distance on smooth Riemannian manifold and Logarithmic Sobolev Inequalities
Bear with me, I'm not a professional geometer. Recently, I've been studying Logarithmic Sobolev Inequalities (LSI) for probability distributions on manifolds (e.g as done in works of Bobkvo et al. ...
- 6,853
4
votes
0
answers
343
views
Diffeomorphism group action on the space of embeddings
Let $S$ and $M$ be two finite-dimensional smooth manifolds with $\dim S\le \dim M$. Then it is known (e.g.Kriegl-Michor's book) that the set $\mathrm{Emb}(S, M)$ of all smooth embeddings $S\to M$ is ...
- 2,789
5
votes
1
answer
577
views
Isomorphic algebras determine diffeomorphic manifolds
It is a kind of folklore but I would like to see the proof of the following fact: given two smooth manifolds $M$ and $N$ if we assume that the algebras $C^{\infty}_0(M)$ and $C^{\infty}_0(N)$ are ...
- 243
3
votes
0
answers
71
views
Transverse intersection in the $G$-orbit of paths
I know how to prove the following lemma but I assume that it is well-known. Can someone provide a reference for it?
Let $d>1$ and let $M$ be a $d$-dimensional connected smooth manifold with a ...
- 5,382
4
votes
1
answer
733
views
Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets
Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...
- 191
15
votes
2
answers
1k
views
Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?
A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n.
Is there a citeable reference for a proof of this result?
For the sake of being definite, let's say that
“citeable” ...
- 37.8k
3
votes
0
answers
159
views
Strictly Convex Smoothing of a function defined on an affine manifold
A function defined on an interval is strongly convex if it has positive definite second derivative. A function on an affine manifold is strongly convex
if its restriction to each line is. An affine ...
- 700
34
votes
1
answer
4k
views
Strong Whitney embedding theorem for non-compact manifolds
$\newcommand{\RR}{\mathbb{R}}$The present question arises from some confusion on my part regarding the precise statement of the strong Whitney embedding theorem for non-compact manifolds.
The strong ...
- 6,210
7
votes
1
answer
723
views
Complex manifolds with corner?
I was reading Dominic Joycee article on Manifold with corner. He talk about manifold with corner modeled over $[0,\infty)^k\times \mathbb R^{n-k}$ for some $k\leq n$. From here I moved to Melrose ...
- 227
5
votes
2
answers
1k
views
On the smooth structure of the spaces of $k$-jets
I was asking myself, if the following list of conditions is sufficient to determine the usual smooth structure on the spaces of $k$-jets.
the map $j^k f:M\ni x\to j_x^k f\in J^k(M,N)$ is smooth, for ...
- 4,306
2
votes
0
answers
536
views
Space of derivations of holomorphic (analytic) functions
Let $M$ be a (real) smooth manifold, and $p \in M$.
The space of (linear) derivations $D:C^{\infty}(p) \to \mathbb{R}$ (i.e., maps satisfying $D(f+g) = D(f)+ D(g)$ and $D(fg)=D(f)g(p) + f(p)D(g)$) ...
- 1,058