# Tagged Questions

**11**

votes

**3**answers

729 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**5**

votes

**1**answer

162 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**9**

votes

**0**answers

125 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
...

**1**

vote

**0**answers

80 views

### Homological properties with discontinuity

I am trying to find information about modeling discontinuous fields over a manifold.
In particular, I have a manifold that may change its homology class, for instance I can have a growing circular ...

**0**

votes

**0**answers

103 views

### Existence of the Dirichlet heat kernel for arbitrary open subsets?

consider first of all an open and bounded subset $\Omega\subset\mathbb{R}^n$, s.t. the boundary $\partial \Omega$ is a manifold of class $C^2$. Then I know that there exists a Dirichlet heat kernel, ...

**4**

votes

**1**answer

233 views

### Spectral multipliers vis-a-vis Differential geometry

Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...

**11**

votes

**0**answers

336 views

### Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...

**0**

votes

**1**answer

146 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**7**

votes

**0**answers

94 views

### Bundles over Function Spaces

Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable ...

**2**

votes

**0**answers

106 views

### Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...

**2**

votes

**1**answer

159 views

### When do curves exist in infinite-dimensional submanifolds?

Let me explain the motivation for my question by talking about the finite-dimensional situation. Let's say we have a $d$-dimensional $C^\infty$ manifold $M$ embedded smoothly in $\mathbb R^n$. We fix ...

**3**

votes

**1**answer

145 views

### Extension of pseudodifferential operators

I'm very sorry if this is the wrong place to ask this question, but I've asked it on StackExchange and received no answers. ( ...

**1**

vote

**1**answer

152 views

### de Rahm Laplace operator on forms bounded

Let $M$ be a closed differentiable manifold. Let $E^{p}(M)$ be the vector space of $p$-forms on $M$ equipped with the $L^{2}$-inner product $(\alpha, \beta) = \int_{M}\alpha \wedge \star \beta$. The ...

**3**

votes

**0**answers

167 views

### Can we obtain topology results using analysis in metric measures spaces?

Let $M$ be a smooth compact manifold. It is known that a lower bound on the Ricci curvature is equivalent to the convexity of the entropy on $\mathcal{P}^2(M)$ (Von Rennesse and Sturm '05), but I ...

**0**

votes

**1**answer

107 views

### both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M ...

**4**

votes

**1**answer

497 views

### The space of diffeomorphisms on a manifold

It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions ...

**1**

vote

**0**answers

162 views

### Cotangent bundle of symmetric space is symmetric space?

Let $G$ be a connected Lie group. Then a symmetric space for $G$ is a homogeneous space $G/H$ where the stabilizer $H$ of a typical point is an open subgroup of the fixed point set of an involution ...

**3**

votes

**1**answer

152 views

### Fréchet-Kolmogorov compactness Theorem for Lp spaces on manifolds

Suppose I have a family of functions $\mathcal{F} \subseteq L^2(\mathcal{M}, P)$ where $\mathcal{M}$ is a compact manifold, and $P$ is a probability distribution on $\mathcal{M}$. Is there an ...

**11**

votes

**3**answers

730 views

### Sobolev spaces and geometry

This is a very naive question, is there a way to geometrically understand Sobolev spaces without going through analysis and PDE's? To my knowledge, Sobolev spaces where created precisely to study ...

**0**

votes

**0**answers

116 views

### Does the Laplace-Beltrami/surface gradient commute with orthogonal projection? (related to Galerkin method)

Let $\Gamma$ be a $C^k$ $(n-1)$-dimensional hypersurface embedded in $\mathbb{R}^n$. Let $H=L^2(\Gamma)$ and $V=H^1(\Gamma)$.
Suppose that $\{v_j\}$ is a basis for $H$ and $V$ (not necessarily ...

**4**

votes

**1**answer

125 views

### Practical way to check whether a distribution is conormal

Let $X$ be a $C^\infty$-manifold, $Y$ be its $C^\infty$-submanifold. Hörmander defines the set $I^m(X,Y)$ of conormal distributions as the set of all $u \in \mathscr D'(X)$ such that
$$
L_1 ...

**8**

votes

**0**answers

234 views

### Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...

**1**

vote

**2**answers

148 views

### How to show this integral on boundary of Lipschitz domain is finite?

Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} ...

**2**

votes

**1**answer

144 views

### If $f \in H^{\frac 12}$ and $\varphi$ is Lipschitz, is $f\varphi \in H^{\frac 12}$ (on a Lipschitz hypersurface)?

Let $M$ be a bounded hypersurface. Let $f \in H^{\frac 12}(M)$ and let $\varphi\colon M \to \mathbb{R}$ be a Lipschitz function.
When $M=\Omega \subset \mathbb{R}^n$ an open domain, we know that the ...

**4**

votes

**0**answers

112 views

### construction of heat kernels for non-compact manifolds with boundary

Recently, I am studying heat semigroup for noncompact manifolds with boundary.
In Issac Chavel's book "eigenvalues in Riemannian geometry". "Given a noncompact Riemannian manifold, it need not be ...

**4**

votes

**1**answer

463 views

### A question on Grassmannian

Let $V$ be the space of $4$ by $4$ Hermitian matrices, that
is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform
measure of
$$
\left\{ W\in Gr\left(5,V\right):W \text{contains no ...

**5**

votes

**3**answers

300 views

### When does heat kernel have both Gaussian upper and lower bounds?

Recently, I am reading Sturm's paper "Analysis on local Dirichlet form III: X is a locally compact separable Hausdorff space and m is a positive Radon measure with supp[m]=X.
$\varepsilon$ is a ...

**1**

vote

**1**answer

139 views

### heat kernel $p_t(x_0,y) \in D(\Delta) \cap L^\infty$ for a manifold with Ricci curvature bounded below?

X is an n-dim Riemannian manifold with the Dirichlet form
$$
\varepsilon (u,v) =-\int_X \langle \nabla u,\nabla v \rangle
$$
for $u,v \in W^{1,2}(X)$.
Let $P_t$ and $p_t(x,y)$ be the associate ...

**-3**

votes

**2**answers

381 views

### Are there examples of compact infinite dimensional manifolds? [closed]

Are there known examples of compact infinite dimensional manifolds?
The word "manifold" is important.

**4**

votes

**2**answers

274 views

### Can we define smooth diffeomorphisms on the Hilbert cube $[0,1]^\mathbb{N}$ ? Has it been done in the literature?

Can we define smooth diffeomorphisms on the Hilbert cube$[0,1]^\mathbb{N}$ ? Has it been done in the literature?
For example, let $E$ be the set of bijections $f$ of the Hilbert cube, such that ...

**10**

votes

**1**answer

545 views

### Formal adjoint of the covariant derivative

Let $E \to M$ be a vector bundle over some Riemannian metric $(M, g)$ and endow it with some fibre metric. Assume that covariant derivative $\nabla$ is compatible with the metric.
It is essentially ...

**5**

votes

**1**answer

293 views

### Pseudo-differential operators with compactly supported symbols

If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO ...

**2**

votes

**1**answer

305 views

### Mellin transform between heat kernel and zeta-function

For some notion of a "positive operator" $D$ of "Laplacian type" one seems to be able to define a notion of a zeta-function as $\xi(s,f,D) = Tr_{L^2}(f D^{-s})$ where $f \in L^2$ (the space of ...

**2**

votes

**0**answers

89 views

### A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation

Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential ...

**22**

votes

**7**answers

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

**8**

votes

**1**answer

217 views

### Dimension of eigenspaces of Laplacian on a compact Riemannian manifold

Let $M$ be a compact smooth manifold, let $g$ a riemannian metric and let $\Delta_{g}$ the Laplacian operator on functions induced by $g$. Is there a (topological?) bound on the dimension of $n$-th ...

**3**

votes

**1**answer

199 views

### Delta-convex functions and inner products

A delta-convex (d.c.) function is one which can be written as the difference of two convex functions.
The space of d.c. functions includes all C2 functions, and is interesting because it allows many ...

**3**

votes

**0**answers

211 views

### Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold

I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...

**2**

votes

**1**answer

253 views

### Laplacian on coset spaces

Edited after @J. Martel's comment: Let us consider the sphere $S^n$ (embedded in $\mathbb{R}^{n+1}$). We know that if $X_i$ represent the vector fields on $S^2$ giving the rotation about the ...

**3**

votes

**1**answer

241 views

### What is visualization of gradient flow of a functional?

I don't work on functional analysis but during my study, I faced gradient of a functional. I read its definition, but I can not understand why it is a useful tool? Why if a flow can be written as a ...

**2**

votes

**1**answer

239 views

### Trace theorem for manifolds with boundary

Can I get a reference to a trace theorem for a manifold $M$ with boundary $\partial M$, and I am hoping the inequality
$$\lVert Tu \rVert_{L^2(\partial M)} \leq c\lVert u \rVert_{H^1(M)}$$
will hold.
...

**0**

votes

**0**answers

211 views

### Functional Analysis and Differential Manifold incompatibility

From the mathematical point of view, where is the idea of the incompatibility between functional analysis, at the basis of quantum mechanics, and differential geometry, at the basis of general ...

**1**

vote

**0**answers

220 views

### Question about the deformation of de Rham-Hodge operator

Let $M$ be an n-dimensional closed oriented Riemannian manifold.
For any $e\in\Gamma(TM)$, let $e^{*}\in\Gamma(T^{\ast}M)$ corresponds to e via $g^{TM}$.
Let $\hat{c}(e)$ be the Clifford operator ...

**10**

votes

**1**answer

508 views

### Do eigenfunctions of elliptic operator form basis of $H^k(M)$?

We know that the eigenfunctions of the Laplacian on a compact manifold $M$ form a countable basis of $H^1(M)$ and $L^2(M)$.
If $L$ is a $2k$-order elliptic operator, do the eigenfunctions of $L$ ...

**0**

votes

**1**answer

155 views

### Flat connection, finite-dimensional space of covariant constant one forms

hallo,
I have the following question: Let $U\subset \mathbb{R}^{n}$ be an open subset. Furthermore, let $\nabla$ be a flat connection on $U$ (not necessary Levi-Civita). How can one show that the ...

**1**

vote

**1**answer

137 views

### Cotangent bundle in the category of locally convex spaces

I'm trying to understand the definition of a differential form on $M$ in the context of Fréchet spaces or, more generally, locally convex spaces. The standard procedure defines a k-form as a map ...

**4**

votes

**1**answer

296 views

### Banach Manifold

Let $M$ and $N$ be closed manifolds. Is it true that
$C^{k}(N,M)$, which is the space of functions $f: N\to M$ such that $f\in C^{k}$, is a $C^{\infty}$ Banach manifold? If so, can you help me to ...

**6**

votes

**0**answers

123 views

### Central Extension of Continuous Loop Group

For the group $LG$ of smooth loops into a simple compact 1-connected Lie group $G$ there is a well-known universal central extension. My qustion is basically whether this extension also exists for the ...

**1**

vote

**2**answers

232 views

### Are $\lVert \Delta u \rVert_{L^2(S)}$ and $\lVert u \rVert_{H^2(S)}$ equivalent norms on a compact manifold?

Hi,
I am looking for the result:
$$\text{The norm} \quad \lVert \Delta u \rVert_{L^2(S)} \quad \text{is equivalent to} \quad \lVert u \rVert_{H^2(S)}$$
for scalar functions $u \in H^2(S)$, where $S$ ...

**9**

votes

**3**answers

516 views

### Space of sections of a fibre bundle with non-compact base space

Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$.
For compact $M$ it is well known (Hamilton 1982, Part II Corollary ...