All Questions
Tagged with fa.functional-analysis dg.differential-geometry
313 questions
2
votes
0
answers
100
views
Regularity for Laplacian operator on non-compact manifold
Let $(M,g)$ be a complete non-compact Riemannian manifold .
Thanks to @EveryLT, we know that the Poisson equation
$$\Delta u=f,$$
is solvable
for some $f\in L^2_k(M)$.
Q Suppose that $(M,g)$ is ...
- 1,915
4
votes
1
answer
229
views
Orientability of moduli space and determinant bundle of ASD operator
Setting
In instanton gauge theory, given a $G$-principal bundle $P\to X^4$, the orientability of the moduli space of ASD connections
$$\mathcal{M}_k = \{A \in L^{2}_{k}(X, \Lambda^1 \otimes\mathrm{...
- 2,533
1
vote
0
answers
123
views
Is this integral zero?
I'd like to know if one integral expression I have can be shown to be zero for all possible cases. Let me introduce some notation.
Consider $\mathfrak{g}=C^{\infty}(M)$ and the dual $\mathfrak{g}^*=\...
- 327
2
votes
0
answers
551
views
Euler-Lagrange equations on a differentiable manifold
I am following the conventions of https://arxiv.org/abs/math-ph/9902027
Let $M$ be a differentiable manifold, $E \to M$ a vector bundle over $M$ with fibre $F$, $J^1(E)$ the rank-one jet bundle over $...
- 651
1
vote
0
answers
75
views
Derivation of the vortex filament equation from Euler equation
How can the vortex filament equation
$$\partial_t \chi = \partial_s \chi \wedge \partial_{ss} \chi,$$
where $\chi(t,s)$ is a curve in $\mathbb R^3$,
be derived from the Euler equation
$$\partial_t \...
- 277
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
- 1,903
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 ...
- 21
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....
- 1,207
2
votes
1
answer
210
views
$L^{2}$ Betti number
Let $\tilde{X}$ be a non-compact oriented, Riemannian manifold adimits a smooth metric $\tilde{g}$ on which a discrete group $\Gamma$ of orientation-preserving isometrics acts freely so that the ...
- 61
1
vote
0
answers
184
views
One question about Schrodinger Semigroups-(B. Simon)
This question comes from the paper: B. Simon, Schrodinger Semigroups, Bull. A.M.S., (1982) Vol. 7 (3).
On the Theorem C.3.4(subsolution estimate) of the paper, it says that: Let $Hu=Eu$ and $u\in L^...
- 1,915
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^{\...
- 156
2
votes
0
answers
255
views
Sobolev Multiplication on non-compact manifold
We know that for a compact Riemannian $n$-dim manifold $(M,g)$(the boundary could be nonempty), the Sobolev Multiplication Theorem states that $L^p_k\times L^q_l⟶L^r_m$, where $1/r−m/n>1/p−k/m+1/...
- 1,915
2
votes
1
answer
352
views
Poisson equation on noncompact manifold
Let $(M,g)$ be a complete non-compact manifold with bounded geometry, such that the Sobolev embeddings hold and $C^\infty_c$-functions are dense in $L^p_k$ space.
For the equation
$$\Delta u=f,$$
...
- 1,915
5
votes
1
answer
710
views
Smooth structure on the space of sections of a fiber bundle and gauge group
Let $\xi$ be a fiber bundle $F\hookrightarrow E\to B$ (where every space is smooth, T2 and second countable), let $\Gamma(\xi)$ be the space of smooth sections. We can complete $\Gamma(\xi)$ with ...
- 2,533
3
votes
2
answers
782
views
Relation between optimal transport cost and difference between topological invariants?
I was working on some mathematics of Wasserstein GAN and found out a seemingly interesting research problem but I am not quite sure whether it has already been studied in some recent literature of ...
3
votes
1
answer
243
views
Prescribing a gradient direction
Let $\Omega= \{(x,y) : \frac{1}{2} \leq x^2+y^2 \leq 1\}$ and $S = \{(x,y) : x^2+y^2 = 1\}$ the unit circle, and $X=w^{1.\infty}(\Omega;\mathbb{R})$ the space of Lipschitz valued functions. We denote ...
- 2,494
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 ...
- 187
13
votes
1
answer
465
views
One question about the $\eta$ invariant
This question is from the paper, The Analysis of Elliptic Families
II. Dirac Operators, Eta Invariants, and the Holonomy Theorem, Commun. Math. Phys. 107, 103-163 (1986) --- Proposition 2.8.
Suppose ...
- 1,915
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
4
votes
0
answers
120
views
Representation on square integrable sections of a principal bundle
Let $X\rightarrow Y$ be a smooth principal $G$-bundle for some Lie group $G$. Then $L^2(X)$ has a natural $G$-action determined by fibrewise action of $G$ on $X$.
We have an abstract isomorphism of ...
- 1,903
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. ...
- 779
5
votes
2
answers
350
views
Reference Request: Finite dimensional submanifolds of the space of smooth mappings
I apologize for my ignorance, but hope that someone would provide some pointers to what I am sure is a reasonably well-developed body of theory. Consider $C^\infty(U,V)$ where $U \subset R^k$ and $V \...
5
votes
1
answer
361
views
Is this a pseudodifferential operator?
Let $M$ be a non-compact manifold and $D$ a first-order self-adjoint elliptic differential operator on $M$. Then is the bounded operator
$$A:=\sqrt{(D^2+1)^{-1}}:L^2(M)\rightarrow H^1(M)$$
a ...
- 1,903
3
votes
0
answers
180
views
When is a minimal immersion holomorphic?
Let $(X,g_X)$ be a Riemann surface and $(Y,g_Y)$ a Kahler manifold. Let:
$\phi\colon X\to Y$
be a minimal immersion, that is, a conformal harmonic smooth map with respect to $g_X$ and $g_Y$. If I am ...
- 2,816
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^{\...
- 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(\...
- 1,245
0
votes
1
answer
175
views
Accessible reference for (scattering) $\Psi DO$'s on manifolds
I am currently trying to understand Hassell, Tao, and Wunsch's paper on Strichartz estimates on non-trapping asymptotically conic manifolds, however, my understanding of pseudodifferential operators ...
- 1,247
3
votes
0
answers
108
views
Radial Poincare inequality for Gaussian measures
Let $\mu$ be a zero mean Gaussian probability measure on $\mathbb{R}^n$ whose covariance is less than the identity. If $f$ is a $1$-Lipschitz real function on $\mathbb{R}^n$ such that there exists a ...
- 2,772
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 ...
- 1,247
2
votes
0
answers
103
views
Bounded adjoint of Dirac operator and essential self-adjointness
Suppose $D$ is a Dirac operator acting on sections of a bundle $E$ over a manifold $M$, and define the Sobolev spaces $H^i(E)$ via the inner products $$\langle e_1,e_2\rangle_{H^i}:=\sum_{k=0}^i\...
- 1,903
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)...
- 1,245
1
vote
1
answer
311
views
The space of $\mathcal A$-Hilbert Schmidt Operators.
Let $\mathcal A$ be a finite von Neumann algebra with finite trace $\tau$ and let $l^2(\mathcal A)$ be the Hilbert space completion of $\mathcal A$ with respect to the inner product induced by $\tau$, ...
- 1,255
2
votes
0
answers
286
views
Open problems in the theory of manifolds relating to construction [closed]
A while ago I stumbled across a paper of Thurston: Some Simple Examples of Symplectic Manifolds, where Thurston constructs closed symplectic manifolds with no Kaehler structure. My question is: What ...
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 ...
- 914
1
vote
1
answer
488
views
Motivation behind the parabolic metric
I've been reading some papers about parabolic evolution problems between manifolds. We want to study the behaviour of maps from the domain $(0,T)\times \Omega$, where $\Omega\subset \Bbb R^m$, to some ...
- 1,245
1
vote
0
answers
179
views
Positive square roots of inverse operators on different Sobolev spaces
Let $D$ be a self-adjoint (in the $H^0$-inner product) first-order differential operator on a manifold $M$, where $H^i$ stands for the $i$-th Sobolev space on $M$. Then $D$ extends to a bounded ...
- 1,903
13
votes
0
answers
372
views
Finite dimensional approximation of Donaldson theory
In addition to the Seiberg-Witten invariant there has been further success with "finite dimensional approximations" of the Seiberg-Witten theory: Bauer-Furuta's stable (co)homotopy invariants, and ...
- 17.5k
1
vote
1
answer
161
views
Continuity of image of resolvent operator with respect to resolvent parameter
Suppose $D$ is a first-order differential operator on a manifold $M$ and that the inverse $(D+t)^{-1}:H^0(M)\rightarrow H^1(M)$ exists for all $t > 0$, where $H^i(M)$ is the $i^\text{th}$ Sobolev ...
- 1,903
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:
...
- 356
1
vote
1
answer
728
views
Elliptic regularity of Laplace-Beltrami operator on a manifold
I am currently trying to prove an elliptic regularity type result for the Laplace Beltrami operator $\Delta_g$ on a Riemannian manifold $(M^n,g)$. As a matter of convention, I will assume $\Delta_g$ ...
- 1,247
5
votes
1
answer
335
views
Reference request: Higson compactification
It seems that the idea of the Higson compactification first arose in the context of non-compact manifolds in a 1992 preprint of Higson called "The relative $K$-homology of Baum and Douglas".
It seems ...
- 1,903
5
votes
1
answer
243
views
Deformation of the Plücker coordinates
Let $M_{2,4}(\mathbb{R})$ be the set of real $2\times4$-matrices of rank $2$. For any $A\in M_{2,4}(\mathbb{R})$ and $1\leq i<j\leq 4$, let $p_{ij}$ be the corresponding $2\times 2$-minors of $A$. ...
- 93
4
votes
1
answer
222
views
Choice of parametrix on a non-compact manifold
Let $X$ be a non-compact complete Riemannian manifold and $P$ a first-order elliptic pseudodifferential operator on $X$. Let $Q$ be a parametrix for $P$, so that $PQ - 1 = T$ and $QP - 1 = R$ are ...
- 1,903
7
votes
2
answers
460
views
Gaussian Surface Area of Positive Semidefinite Cone
Let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e.g., one that has smooth boundary or is convex. We define the $\epsilon$-neighbor of $A$ in the ...
- 1,127
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 ...
- 1,991
5
votes
0
answers
104
views
On the embedding of manifolds into infinite-dimensional spaces
Let $X$ be a (connected, finitely dimensional) topological/smooth/complex manifold and let $i$ be a weakly continuous/continuous/smooth/holomorphic map from $X$ into the dual $F^{*}$ of a real or ...
- 5,529
2
votes
1
answer
146
views
Prove a consequence of Poincare inequality and volume doubling
The question is Lemma 5.3 in [1] (with-out detailed proof). But I don't know how to prove.
Let $M$ be a (finite dim) manifold satisfying the following two assumptions:
(1) for any $x\in M$, and any ...
- 169
3
votes
0
answers
280
views
Helmholtz-Hodge decomposition
I have a question regarding a decomposition of a vector field. So fix $ 1<p<\infty$ and let $ \Omega$ denote a smooth bounded domain in $ R^N$. Now let $ F $ denote a smooth vector field $F:\...
- 1,385
2
votes
0
answers
194
views
A question regarding mollifiers on Sobolev spaces on closed manifolds
Let $M$ be a closed Riemannian manifold and denote by $H^s(M), \, s\in \mathbb{R} $ the standard Sobolev spaces on $M$ defined using powers of $1+\triangle$. Let $J_n: \mathcal{D}'(M)\rightarrow \...
- 505
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)$...
- 143