All Questions
Tagged with dg.differential-geometry fa.functional-analysis
313 questions
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
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$, ...
- 5,005
3
votes
2
answers
721
views
Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology
Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...
- 2,388
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 ...
- 5,407
18
votes
3
answers
4k
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 ...
- 13.6k
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
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
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 ...
- 19.3k
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$ ...
- 156
17
votes
1
answer
2k
views
Which Fréchet manifolds have a smooth partition of unity?
A classical theorem is saying that every smooth, finite-dimensional manifold has a smooth partition of unity. My question is:
Which Fréchet manifolds have a smooth partition of unity?
How is the ...
- 39k
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
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 ...
- 21.5k
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$. ...
- 2,784
2
votes
2
answers
332
views
Heat kernel upper bounds on a complete Riemannian manifold
Let $M$ be a complete Riemannian manifold, and $p(t, x, y)$ denotes its heat kernel. I am trying to find sufficient conditions for when the following holds:
$$ p(t, x, y) \leq Ct^{-n/2}, \forall x, y, ...
- 658
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 ...
- 25.3k
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
3
votes
1
answer
605
views
how to use the sobolev inequality to obtain the embedding theorem
I am reading Luca Capogna's article An Embedding theorem and the Harnack inequalitiy for nonlinear subelliptic equations. In this article, the authors proved the following theorem
(Theorem 2.3) Let ...
- 8,071
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
21
votes
1
answer
1k
views
Is Dependent Choice all we really need?
http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Is DC sufficient for the understanding of objects that are countable in some suitable sense?
For example, is DC sufficient for the full ...
CommunityBot
- 1
1
vote
1
answer
241
views
Is the trace of the heat kernel always finite?
consider any smooth Riemannian manifold $(N,g)$, an open subset $U\subset N$ and the Dirichlet heat kernel $p(t;x,y)$ for $U$. I am wondering, if it is true that
$\int_U p(t;x,x)dx <\infty$ for any ...
CommunityBot
- 1
1
vote
0
answers
136
views
heat kernel for powers of some degenerate elliptic operators
Let $\Omega$ be a bounded open domain in $R^{n}$ with smooth boundary and $X=(X_{1},X_{2},\cdots,X_{m})$ be a system of real smooth vector fields defined on $\Omega\subset \mathbb{R}^{n}$. If $X$ ...
- 287
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 $\...
- 26.3k
5
votes
4
answers
2k
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,027
4
votes
0
answers
322
views
Cauchy-Riemann Operators and Selberg Zeta Function
The determinant of hyperbolic Maaß-Laplacian operator on arbitrary tensors and spinors can be written in terms of Selberg zeta function. Is there a corresponding formula for the determinant of the ...
- 989
2
votes
1
answer
219
views
Right inverse of the Seiberg-Witten functional
For closed 4 manifold X, we consider the derivative of the Seiberg-Witten functional, i.e.
$$\Omega^1_2(X;\sqrt{-1}\mathbb R)\oplus\Gamma_2(S^+)\overset{D}{\to}\Omega^2_{+,1}(X;\sqrt{-1}\mathbb R)\...
- 17.5k
0
votes
0
answers
119
views
Gauge Fixing Problem on Cylindrical
For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...
- 1,915
12
votes
0
answers
478
views
What is known about the Yang-Mills stratification over 3-manifolds?
Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
- 8,803
1
vote
0
answers
152
views
Covering rough boundaries of closed sets in manifolds by charts
This question is a little vague, I'm afraid, because I'm not sure I expect there to be a complete answer; but there should be some sort of situations where it is possible.
Consider a Riemannian ...
- 35.5k
4
votes
0
answers
172
views
Donnelly-Fefferman growth of eigenfunctions
Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
- 41
7
votes
0
answers
501
views
intuitive connection between The KdV equations and the Virasoro bott group
I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....
- 979
4
votes
1
answer
497
views
Eigenfunction basis of Laplacian on a manifold
It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...
- 329
1
vote
1
answer
534
views
Unique symplectic form in an adapted complex structure
I have the following question: Due to Stenzel, Lempert, Szöke etc. we know that a Riemannian manifold $(M,g)$ admits a complex structure on a neighbourhood of the zero section of the cotangent bundle. ...
- 26.3k
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 ...
- 26.3k
2
votes
0
answers
156
views
The minimum value of a energy integral
Let $D \subset {\mathbb{R}^3}$ a simple connected open domain with volume $\int_{\bar D} {dV = 1} $. $\varphi :{\mathbb{R}^3} \to \mathbb{R}$ is ${C^1}$, $\varphi (\infty ) = 0
$ and
$${\nabla ^2}\...
- 39k
2
votes
0
answers
184
views
Modify the jump set of $BV$ function
Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...
- 679
10
votes
1
answer
494
views
Optimal exponent in the Lojasiewicz-Simon gradient inequality
Lojasiewicz's theorem asserts that if $F: \mathbb{R}^n\to \mathbb{R}$ is a real-analytic function in a neighborhood of its critical point $0$, then there exist constants $\theta\in (0,1/2]$, $\gamma\...
- 96
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{\...
- 41
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
3
votes
0
answers
406
views
Smooth perturbation of a positive self-adjoint operator with compact resolvent
Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...
- 31
4
votes
1
answer
345
views
Differential Operators On A Curve And On Osculating Circle
Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...
CommunityBot
- 1
7
votes
1
answer
907
views
Lebesgue differentiation theorem holds on locally doubling space?
It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
- 133
4
votes
0
answers
315
views
Osculating ellipsoids
Let $K$ be a given smooth, origin-symmetric, strictly convex body in $n$ dimensional euclidean space. At every point $x$ on the boundary of $K$ there exists an origin-symmetric ellipsoid $E_x$ that ...
- 4,899
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(...
- 123