Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
141 views

The tensor product of two Fredholm operators

What can be said about the tensor product $T\otimes S$ of two Fredholm operators $T:X_1\to Y_1$ and $S:X_2 \to Y_2$ where $X_1,X_2,Y_1, Y_2$ are Banach spaces and tensor product of ...
Ali Taghavi's user avatar
2 votes
0 answers
92 views

Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries

For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$ \begin{...
Arghya kundu's user avatar
2 votes
0 answers
56 views

Convergence of conformal metrics with prescribed curvature

We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
AMHG's user avatar
  • 63
2 votes
0 answers
107 views

Finite dimensional manifolds as subspace of $\mathbb{R}^\mathbb{N}$

For embedded submanifold, specifically with ambient space being $\mathbb{R}^{n}$, there are many nice properties and results. Specifically there are many examples of matrix manifolds such as the ...
patchouli's user avatar
  • 275
1 vote
0 answers
54 views

Isoperimetric Inequalities in Annular Regions

Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that $$ \left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
MathLearner's user avatar
1 vote
0 answers
135 views

Conformal laplacian on asymptotically flat manifolds with boundary

Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies $$\...
Laithy's user avatar
  • 969
3 votes
1 answer
214 views

Convergence of spectrum

Let $M$ be a compact manifold and $g_k$ be a sequence of Riemannain metrics smoothly converging to another Riemannian metric $g$. Let $\{\lambda^k_j\}$ be the spectrum of the Laplacian of the ...
Hammerhead's user avatar
  • 1,211
4 votes
0 answers
334 views

Hodge decomposition on non-compact manifolds

Let $(\mathcal{M},g)$ be a compact Riemannian manifold without boundary. Then we have the well-known Hodge decomposition $$\Omega^{k}(\mathcal{M})\cong\mathcal{H}^{k}(\mathcal{M})\oplus\mathrm{ran}(\...
B.Hueber's user avatar
  • 1,171
3 votes
0 answers
130 views

Is the range of the exterior covariant derivative closed in $L^{2}$?

Let $(M,g)$ be a compact Riemannian manifold. Given a tensor bundle $\mathbb{E}$, let $\nabla:\Gamma(\mathbb{E}) \rightarrow \Gamma(T^{*}M\otimes \mathbb{E})$ be the canonical connection induced by ...
MyShepherd's user avatar
14 votes
1 answer
668 views

Why are we interested in spectral gaps for Laplacian operators

Let $M$ be a Riemannian manifold and let $\Delta$ be its Laplacian operator. There is a large literature on a spectral gap for such a $\Delta$, that is, finding an interval $(0,c)$ which does not ...
Sven Mortenson's user avatar
1 vote
0 answers
100 views

Question about Dirac operator

Let $D$ be a generalized Dirac operator on a complete Riemannian manifold. I'm a little confused to prove that there exists a constant $c>0$ such that $$\|D\sigma\|^2\geq c^2\|\sigma\|^2$$ for $\...
Radeha Longa's user avatar
3 votes
0 answers
289 views

Are smooth functions with compact support a core for the Laplacian on compact manifolds with boundary?

If $M$ is a complete Riemannian manifold and $L$ is the Friedrichs extension of the Laplacian $-\Delta$, then it is known (first proven by Gaffney in the '50) that $C_0 ^\infty (M)$ is a core for $L$. ...
Alex M.'s user avatar
  • 5,407
2 votes
0 answers
53 views

A question about the choice of a special harmonc spinor

Let $X$ be a complete Riemannian manifold and $H$ be the kernel of generalized Dirac operator $D$ on $L(S)$, where $S$ is the Dirac bundle. Let $K$ be a compact subset of $X$ and $K\subset \Omega$ be ...
Radeha Longa's user avatar
3 votes
2 answers
247 views

Morse approximation with bounded number of critical points

Let $(M^3,g)$ be a compact Riemannian 3-manifold and let $f\in C^{\infty}(M)$ be a smooth function. Does there exist a constant $k>0$ (possibly depending on $M$ and $g$) such that $f$ can be $C^2$-...
cork_twist's user avatar
1 vote
0 answers
78 views

Asymptotics of eigenvalues of first-order self-adjoint elliptic operators

Let $D$ be a first-order self-adjoint elliptic operator on a closed Riemannian manifold $M$. Then $D$ has discrete spectrum in $\mathbb{R}$, and there is an orthonormal basis for $L^2(M)$ consisting ...
geometricK's user avatar
  • 1,903
1 vote
0 answers
38 views

Extending the Dirac operator on an open subset of a manifold and preserving positivity

Let $M$ be a spin manifold and $U\subseteq M$ an open ball. Let $D$ be the Dirac operator on $M$ with respect to some Riemannian metric $g$, acting on sections of the spinor bundle $S\to M$. Suppose ...
geometricK's user avatar
  • 1,903
0 votes
1 answer
147 views

The relationship between the first eigenfuntions and the second eigenfuntions on sphere [closed]

Recently I considered the following question: If we give a second eigenfuntions $g$ on sphere, then can we construct a first eigenfuntions $f$ by $g$? Is there any relationship between the first ...
管山林's user avatar
7 votes
1 answer
266 views

Visualizing the wave operator in two dimensions

For $n\geq 1$, let $D_n$ be the Dirac operator on the spinor bundle on the $n$-dimensional sphere $S^n$. For example, $D_1$ acts on the trivial bundle $S^1\times\mathbb{C}\to S^1$, and can be ...
geometricK's user avatar
  • 1,903
4 votes
0 answers
143 views

Sobolev space of maps between manifolds with boundary

Let $(M,g)$ and $(N,h)$ be compact Riemannian manifolds with non-empty smooth boundary. If we consider the Sobolev space $W^{1,p}(M,N)$, is there a reference on how to model this as a manifold? If ...
Somnath Basu's user avatar
  • 3,423
2 votes
1 answer
1k views

Weak derivatives and Sobolev spaces on Riemannian manifolds

I am decently experienced on Sobolev spaces on Euclidean spaces, but I just know basic ideas on Riemannian manifolds and want to understand something on Sobolev spaces on them. Let $(M,g)$ be smooth ...
Marko Rajkovic's user avatar
3 votes
0 answers
73 views

The diversity of Riemannian metrics adapted to a given foliation، A Krein Millman view point(2)

Inspired by this answer to the linked question we add a more bounded conditions to this post. This question is asked seperately because the previous one had a complete answer so we did not revise ...
Ali Taghavi's user avatar
5 votes
1 answer
204 views

The diversity of Riemannian metrics adapted to a given (1 dimensional) foliation, A Krein Millman view point

Let $X$ be a Kronecker vector field on the two dimensional torus $\mathbb{T}^2$. Let $K$ be the space of all 1- forms $\alpha$ of class $C^1$ on $\mathbb{T}^2$ which satisfy $d\alpha=0,\;\alpha(X)=1$...
Ali Taghavi's user avatar
2 votes
0 answers
382 views

Poincaré inequality holds on Riemannian manifolds (min max principle)

In YuChang Xia's book "Eigenvalues on Riemannian Manifolds" Page 4 equation (1.16)Poincaré inequality: I want to know which manifold(s)/function(s) can make the inequality hold. What if we ...
Grantsome's user avatar
6 votes
1 answer
338 views

Atiyah-Singer for Riemannian and Kaehler manifolds

I am trying to understand the proof of the Atiyah--Singer index theorem, and would like to see how it works for two "simple" examples. Could somebody direct me to a proof for the special ...
Dick Johnson's user avatar
7 votes
0 answers
237 views

Understanding the odd-dimensional index

Given a Dirac operator $D$ on a closed odd-dimensional manifold $M$, I've sometimes heard it said that the Fredholm index of $D$ vanishes because it is an ungraded self-adjoint operator, so that $\dim\...
geometricK's user avatar
  • 1,903
3 votes
0 answers
91 views

Pseudodifferential operator associated to a self-adjoint extension of a symmetric operator on an incomplete manifold

Let $D$ be the Dirac operator acting on a spinor bundle $S$ over a complete Riemannian manifold $M$. Then $D$ is an essentially self-adjoint operator on $L^2(S)$. Suppose there is a compact subset $K\...
geometricK's user avatar
  • 1,903
0 votes
0 answers
149 views

Compact embedding of the $\mathcal{C}^k$ norm on a compact Kahler manifold

Given a smooth complex valued function $f$ on a Kahler manifold $X$, we can define its $\mathcal{C}^k$ norm to be $\sum_{p+q \leq k, 0 \leq p \leq q} sup_{X}|\nabla^{p} \overline{\nabla^q} f|_g$, ...
archer's user avatar
  • 1
2 votes
0 answers
119 views

Covariant derivative of the Monge-Ampere equation on Kähler manifolds

I am reading D. Joyce book "Compact manifolds with special holonomy" and I have some problems of understanding some computation on page 111, the first line in the proof of Proposition 5.4.6. More ...
BenjaminRaj's user avatar
8 votes
1 answer
311 views

Laplacian spectrum asymptotics in neck stretching

Let $M$ be a compact Riemannian manifold. Let $S \subset M$ be a smooth hypersurface separating $M$ into two components. Let $g_T$ be a family of Riemannian metric obtained by stretching along $S$, i....
Guangbo Xu's user avatar
  • 1,207
1 vote
1 answer
396 views

Equivalence of Sobolev spaces for different metrics

Consider $M$ a manifold and $g_1, g_2$ two different Riemannian metrics. I want to know how the condition $|\nabla^{g_1,k}(g_1-g_2)|_{g_1}\leq C$ implies that the norms of $|\nabla^{g_1,i}u|_{T^{\...
Δημήτρης Ο's user avatar
2 votes
0 answers
333 views

The determinant curvature

Let $(M,g)$ be a riemannian manifold and $R(X,Y)$ the riemannian curvature as a two form with values in the endomorphisms of the tangent bundle. I define: $$ D_g(X,Y)=det(R)(X,Y) $$ with $det$ the ...
A.Balan's user avatar
  • 187
17 votes
3 answers
770 views

Does a spectral gap lift to covering spaces?

Let $M$ be a complete Riemannian manifold. Denote $\Delta_M\ge0$ the unique self-adjoint extension of the Laplace-Beltrami operator in $L^2(M)$ and $\sigma(\Delta_M)\subset [0,\infty)$ its spectrum. ...
Jan Bohr's user avatar
  • 779
4 votes
1 answer
398 views

Proving the inequality $|\nabla |\nabla^r \psi|| \le |\nabla^{r+1} \psi|$

Following Aubin's book "Some nonlinear problems in Riemannian geometry", we use the notation $$ |\nabla^r \psi|^2 = \nabla_{\alpha_1}\cdots \nabla_{\alpha_r}\psi \nabla^{\alpha_1}\cdots \nabla^{\...
BigbearZzz's user avatar
  • 1,245
1 vote
1 answer
633 views

Existence of solution to heat equation on a compact manifold

Let $M$ be a compact Riemannian manifold (without boundary), I would like to know under which regularity conditions can we solve the heat equation $$\begin{align} \partial_tu-\Delta u &= f \\ u(\...
BigbearZzz's user avatar
  • 1,245
7 votes
1 answer
281 views

Harmonic functions on $(M,g)$ closed, induce an embedding in Euclidean space

In Hajime Urakawa's monograph The Spectral Geometry of the Laplacian on page 41, we make an assumption that I can't quite justify on my own. The following is our setup: Let $(M^n,g)$ be a closed ...
Dominic Wynter's user avatar
3 votes
2 answers
262 views

The gradient $\nabla u$ of $u\in W^{1,p}(M;N)$ is tangent to $N$ almost everywhere

Let $M,N$ be (compact) Riemannian manifolds. $N$ is viewed as an embedded submanifold of $\Bbb R^K$. The Sobolev space $W^{1,p}(M;N)$ is defined as $$ W^{1,p}(M;N):=\{ u\in W^{1,p}(M;\Bbb R^K)\ |\ u(x)...
BigbearZzz's user avatar
  • 1,245
1 vote
0 answers
304 views

Harmonic coordinates on asymptotically flat manifold

I am studying the existence of harmonic coordinates at infinity on an asymptotically flat manifold. My Reference papers are, The Mass of Asymptotically Flat Manifold, by Bartnik [B] and The Yamabe ...
Paul's user avatar
  • 914
2 votes
0 answers
210 views

A Riemannian metric on the plane such that the intersection of every two discs is a disc, again

Is there a Riemannian metric on $\mathbb{R}^2$ (or a $2$ dimensional manifold) such that the intersection of every two open discs is an open disc, again? As linear version of this question we ask: ...
Ali Taghavi's user avatar
1 vote
1 answer
275 views

Weak convergence and bounded sequence on a Riemannian manifold

Consider a Riemannian manifold $\mathcal{M}$ modeled on a (possibly infinitely dimensional) Hilbert space. Suppose that $\{p_i\} \subset \mathcal{M}$ and $p_i \to p$ . We say that a sequence of ...
Mahdi - Free Palestine's user avatar
2 votes
0 answers
127 views

Functional inequality under mean curvature flow

Let $\Sigma$ be a hypersurface in $\mathbb R^n$ and $\Sigma_t$ be a variation of $\Sigma$ under the mean curvature flow under an extra condition that ${\rm vol}_{n-1}(\Sigma)={\rm vol}_{n-1}(\Sigma_t)$...
Math101's user avatar
  • 143
5 votes
1 answer
328 views

Is a space with p-norm a Finsler manifold?

Suppose $\mathbb{R}^n$ is equipped with the p-norm $\left\Vert x \right\Vert_p$. Let $x\in \mathbb{R}^n$ and let $y$ be in a neighborhood of $x$. The distance between $x$ and $y$ can be defined as $\...
Klock's user avatar
  • 51
2 votes
2 answers
162 views

Finding a specific Global Smooth Function

Any help with this problem would be appreciated. Thanks Suppose $(M^3,g)$ is a smooth compact Riemannian manifold with smooth boundary and $\gamma$ is a simple smooth orientable curve in $M$. Does ...
Ali's user avatar
  • 4,135
4 votes
2 answers
281 views

Heat kernel asymptotics for small distances

I heard a talk where the speaker said that on a Riemannian manifold, for small values of $\text{dist }(x, y)$, the heat kernel $p_t(x, y)$ satisfies $$p_t(x, y) = \frac{1}{(4\pi t)^{n/2}}e^{-\frac{\...
user85970's user avatar
3 votes
0 answers
153 views

Gaussian heat kernel bounds on Riemannian manifolds [duplicate]

I wish to know if we have Gaussian lower and upper bounds for the heat kernel,i.e. $$ t^{-n/2}e^{-\frac{\rho(x,y)^2}{C_1t}} \lesssim p_t(x,y) \lesssim t^{-n/2}e^{-\frac{\rho(x,y)^2}{C_2t}}, $$ on a ...
user84944's user avatar
2 votes
1 answer
262 views

A clarification regarding analytic perturbation of metrics and Laplacian

This question is in reference to the following Mathoverflow question and the accepted answer to it. It seems to me that it is taken for granted that if the metric $g_t$ perturbs real analytically in ...
Guest's user avatar
  • 123
3 votes
1 answer
255 views

Norm on space of metrics

I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space $BC(...
student's user avatar
  • 51
9 votes
1 answer
2k views

Is a manifold generically real analytic (with generic real analytic metric)?

I have heard it said in some differential geometry talks that "the generic situation in such and such case is real analytic". My question is, is the generic smooth manifold also real analytic in some ...
Guest's user avatar
  • 123
8 votes
1 answer
421 views

$C^k$ one-parameter family of metrics

Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
SMS's user avatar
  • 1,407
1 vote
0 answers
360 views

Comparing Dirichlet energy and area of a Surface-immersion

Let $(F,g)$ be a closed Surface, $(M,h)$ a Riemannian 3-Manifold and $f: F \to M$ a smooth immersion. Denote by $f^*(h)$ the pullback metric on $TF$ induced by $f$ and let $dV_g$ and $dV_{f^*(h)}$ be ...
H1ghfiv3's user avatar
  • 1,255
6 votes
2 answers
1k views

Vector Fields in a Riemannian Manifold

Suppose $(M,g)$ is a Riemannian manifold. Is there a way to classify manifolds where there exists a vector field that commutes with the laplace beltrami operator? Thanks
Ali's user avatar
  • 4,135