All Questions
13 questions with no upvoted or accepted answers
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
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
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
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
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
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
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
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
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
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
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