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
4 votes
0 answers
114 views

Mean-value type property for eigenfunctions of Casimir operator on $\operatorname{SL}(2,\mathbb{R})$

The purpose of this post is to ask for the community's opinion on a conjecture about a certain mean-value property for functions on $\operatorname{SL}(2,\mathbb{R})$. This conjecture appears at the ...
burtonpeterj's user avatar
  • 1,769
5 votes
0 answers
203 views

Differential equation involving Casimir operator on $\operatorname{SL}(2,\mathbb{R})$

Throughout this post, we let $G$ denote the Lie group $\mathrm{SL}(2,\mathbb{R})$. For $t,\theta \in \mathbb{R}$ we define the following elements of $G$: \begin{align*} A(t) &= \begin{bmatrix}e^t &...
burtonpeterj's user avatar
  • 1,769
2 votes
0 answers
71 views

Terminology: generalized Laplacian of arbitrary signature

Let $(M,g)$ be a Riemannian manifold and $E$ any real or complex vector bundle. A linear partial differential operator $D:\Gamma(E)\to\Gamma(E)$ is called generalized Laplace operator, if its ...
B.Hueber's user avatar
  • 1,171
0 votes
0 answers
246 views

A question about second fundamental form of Riemannian isometric embedding

I have got a question unsolved for some time. I do not know whether it is trivial or not: **I omit a very important fact: The metric at point p is second-order flat, i.e. $d_p \phi(-,v) = 0$ and $d_p^...
threeautumn'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
2 votes
1 answer
256 views

A question about Dirac operators

Let $D$ be a Dirac operator on spinor bundle $S$ over even-dimensional non-compact spin manifold $X$, $$ \left<s_1,s_2\right>_{L_2} = \int_X \left<s_1,s_2\right> \quad \forall s_1,s_2\in\...
Radeha Longa's user avatar
3 votes
1 answer
131 views

Positivity of an operator on a compact subset of a manifold

Let $E$ and $F$ be two vector bundles over manifold $X$. Let $P:\Gamma(E)\to \Gamma(F)$ be a self-adjoint differential operator over $X$. Define inner product on the spaces $\Gamma(E)$ of smooth ...
Radeha Longa's user avatar
1 vote
0 answers
86 views

Hypoellipticity of a heat-like parabolic operator on Riemannian manifolds - reference request

Let $(M,g)$ be a Riemannian manifold and $L$ be a differential operator on $M$, with smooth coefficients, such that its symbol be $g$ (a "generalized Laplacian"). Where can I find proved ...
Alex M.'s user avatar
  • 5,407
4 votes
0 answers
146 views

Range of divergence operator on the space of traceless symmetric $(0,2)$ tensors; conformal vector fields on an arbitrary metric on $S^2$

Let $\gamma$ be a metric on $S^2$. I am trying to solve the following PDE on a $(0,2)$ symmetric traceless tensor $A$: $$div_{\gamma} A = \omega$$ where $\omega$ is a 1-form. It is known that there ...
Laithy's user avatar
  • 969
6 votes
0 answers
124 views

An application of Leray-Schauder degree theory for Nirenberg problem on the 2-sphere

I'm studying the article "The scalar curvature equation on 2- and 3-spheres" by Chang, Gursky and Yang and I'm particulary interested in the 2-sphere case. They prove that if $K:S^2\...
Diego95's user avatar
  • 521
2 votes
0 answers
400 views

Spectrum of the Witten Laplacian on compact Riemannian manifolds

Below I have given what I am calling as the ${\rm Witten{-}Laplacian}_{s,p}$ on a Riemannian manifold $(M,g)$ for any constant $s >0$ and $p \in C^2(M,g)$ How generally is it true that this ${\rm ...
gradstudent's user avatar
  • 2,246
3 votes
1 answer
366 views

When is the exterior derivation $d$ a Lie algebra morphism?

In this question we search for some conditions under which the exterior derivation $d:\Omega^i(M)\to \Omega^{i+1}(M)$ on a differentiable manifold $M$ is a Lie algebra morphism in a certain sense. We ...
Ali Taghavi's user avatar
2 votes
0 answers
113 views

Is this $1$-form harmonic?

Let $(M^3,g)$ be a compact, connected and oriented Riemannian $3$-manifold with boundary. For a harmonic map $u : M \to \mathbb{S}^1$ satisfying Neumann condition along $\partial M$, let $h = u^*(d \...
Eduardo Longa's user avatar
6 votes
2 answers
2k views

The spectrum of the Hodge Laplacian on a Riemannian manifold

The Hodge Laplacian operator on differential forms on a (compact?) Riemannian manifold carries useful information about the topology of the manifold. In particular, the multiplicity of the zero ...
Asvin's user avatar
  • 7,746
18 votes
2 answers
2k views

Eigenvalues of the Laplace-Beltrami operator on a compact Riemannnian manifold

Let $(M,g)$ be a compact Riemannian manifold, and let $\Delta_g$ be its Laplace-Beltrami operator. A "well-known fact" is that the eigenvalues of $\Delta_g$ have finite multiplicity and tend to ...
Max Schattman's user avatar
5 votes
1 answer
457 views

An alternative representation of the principal symbol of the Laplace operator

Assume that $(M,g)$ is a $n$ dimensional Riemannian manifold. We denote by $\Delta$, the Laplacian associated to this Riemannian structure. Are the following two conditions equivalent? First condition ...
Ali Taghavi's user avatar
0 votes
2 answers
289 views

Derivations of $\chi^{\infty}(M)$ which are elliptic operator

What is an example of a manifold $M$ with $\dim(M)>1$ whose Lie algebra $\chi^{\infty}(M)$ of smooth vector fields admit an elliptic operator $D:\chi^{\infty}(M)\to \chi^{\infty}(M)$ such ...
Ali Taghavi's user avatar
2 votes
0 answers
91 views

A quantity associated to a compact Riemannian manifold with boundary(The pair of Laplacian)

Let $M$ be a Riemannian manifold with boundary $\partial M$. Are the following operators, Fredholm operators?Is there a geometric terminology and geometric interpretation for the fredholm index of ...
Ali Taghavi's user avatar
2 votes
0 answers
95 views

Vector bundle endomorphism diffeomorphism invariant?

Let's say we have a vector bundle $V$ on a compact Riemannian manifold $M$ (of dimension $m$, with metric $g$). Given a differential operator $P$, acting on the sections of $V$, of the form: $$P = \...
phydev's user avatar
  • 91
5 votes
0 answers
140 views

Family of Hodge decomposition

It is known that a metric $g$ gives a Hodge decomposition: $$ \Omega^*(M)=\mathcal H^*(M)\oplus d\Omega^*(M) \oplus \delta_g \Omega^*(M) $$ Note that the usual differential restricts to an isomorphism ...
Hang's user avatar
  • 2,789
2 votes
0 answers
197 views

Existence of a certain kind of compact spin manifold with boundary

For a compact spin Riemannian manifold $(M^n,g)$ without boundary, $n \not\equiv 3\mod 4$, it is well-known that the Dirac operator associated with a fixed spin structure $S\rightarrow M$ has real, ...
M. L. Nguyen's user avatar
3 votes
1 answer
177 views

Does the space of harmonic forms change continuously with the metric?

Let $(M,g_0)$ be a closed $n$-dimensional Riemannian manifold. Let $1<k<n$ be fixed, and let $\Delta_{g_0}:\Omega^k(M) \to \Omega^k(M)$ be the $g_0$-Laplacian. Let $H^k_{g_0}=\text{ker} \Delta_{...
Asaf Shachar's user avatar
  • 6,741
7 votes
1 answer
332 views

Atiyah-Patodi-Singer for manifolds with cusps

Dear Colleagues and Friends, Please let me know if you are aware of any references to the following question. The classical result of Atiyah, Patodi and Singer tells us that if $W$ is a compact ...
SashaKolpakov's user avatar
4 votes
0 answers
154 views

What is the generator of the heat semigroup on non-complete manifolds?

If $M$ is a complete Riemannian manifold, it possesses a unique self-adjoint positive operator $-\Delta$ on $L^2(M)$. If $M$ is not complete, though, it is known that the Laplace-Beltrami operator $-\...
Alex M.'s user avatar
  • 5,407
5 votes
1 answer
132 views

Gaussian bounds for the heat kernel of regular domains in Riemannian manifolds

In "Heat Kernels and Spectral Theory" Davies constructs upper and lower bounds for the kernels associated to Dirichlet elliptic operators on regular domains of $\mathbb R^n$. Has anybody done the same ...
Alex M.'s user avatar
  • 5,407
1 vote
0 answers
59 views

Ellipticity of certain differential operator associated to a pair of vector field via curvature tensor

What is a precise example of the following situation: A compact Riemanian manifold $M$ admits two vector field $X,Y$ such that the the operator $$Z\mapsto R(X,Y)Z$$ Would be an elliptic operator and ...
Ali Taghavi's user avatar
3 votes
0 answers
112 views

Is the square root of curl^2-1/2 a natural (Dirac-)operator?

In current computations on a particular $3$-dimensional Riemannian manifold, a first order differential operator $D:\Gamma^\infty(TM,M)\to \Gamma^\infty(TM,M)$ acting on vector fiels shows up, with ...
B K's user avatar
  • 1,942
8 votes
0 answers
483 views

Measuring the non-commutativity of the codifferential and pullbacks

$\newcommand{\id}{\operatorname{Id}}$ $\newcommand{\TM}{\operatorname{TM}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\M}{\mathcal{M}}$ $\newcommand{\R}{\mathbb{R}}$ $\newcommand{\N}{\...
Asaf Shachar's user avatar
  • 6,741
1 vote
1 answer
126 views

Invariance of the space of harmonic functions under derivation associated to a non-vanishing vector field

Let $X$ be a non-vanishing real analytic vector field on an open manifold $M$. What kind of obstructions would appear when we search for a Riemannian metric on $M$ such that the space of ...
Ali Taghavi's user avatar
10 votes
1 answer
848 views

Boundary terms of formal adjoints of differential operators

Let $M$ be a compact manifold with boundary. If we have two vector bundles $E, F \to M$ with inner products and a differential operator $D: C^{\infty}(E) \to C^{\infty}(F)$ then $D$ admits a formal ...
Rohil Prasad's user avatar
  • 1,601
28 votes
6 answers
3k views

Why is there no symplectic version of spectral geometry?

First, recall that on a Riemannian manifold $(M,g)$ the Laplace-Beltrami operator $\Delta_g:C^\infty(M)\to C^\infty(M)$ is defined as $$ \Delta_g=\mathrm{div}_g\circ\mathrm{grad}_g, $$ where the ...
B K's user avatar
  • 1,942
3 votes
1 answer
356 views

A second cohomology class associated to a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold of dimension at least $4$. We consider the differential operator $$D:\Gamma(TM)\to \Gamma (TM)$$ with $$D(X)=\nabla \circ Div(X)$$. The principal ...
Ali Taghavi's user avatar
1 vote
0 answers
308 views

A differential operator associated with a vector field on the torus

Assume that $X$ is a non vanishing vector field on the torus $\mathbb{T}^2$. We define two linear operators $T,S$ on the space of smooth functions on $\mathbb{T}^2$ as follows: $T(f)=...
Ali Taghavi's user avatar
5 votes
1 answer
227 views

Are all the mappings which satisfy this equation scaled isometries?

Let $M,N$ be smooth oriented $d$-dimensional Riemannian manifolds, $\, f:M \to N$ a smooth map. Let $\Omega^1(M,f^*TN)=\Gamma(T^*M \otimes f^*TN)$ be the space of $f^*TN$-valued one-forms. Let $d$ ...
Asaf Shachar's user avatar
  • 6,741
4 votes
2 answers
514 views

Is the kernel of the coderivative infinite-dimensional?

$\newcommand{\al}{\alpha}$ $\newcommand{\euc}{\mathcal{e}}$ $\newcommand{\Cof}{\operatorname{Cof}}$ $\newcommand{\Det}{\operatorname{Det}}$ Let $M,N$ be smooth $n$-dimensional Riemannian manifolds (...
Asaf Shachar's user avatar
  • 6,741
6 votes
1 answer
2k views

Relation between harmonic vector field and harmonic 1-form

Definition 1: A unit vector field $X$ side to be harmonic if it is critical point for the following energy function $$E(X)=\frac{1}{2}\int_M\|dX\|^2dvol_g=\frac{m}{2}vol(M,g)+\int_M\|\nabla X\|^...
C.F.G's user avatar
  • 4,195
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
2 votes
0 answers
123 views

Mean value operator on Riemannian manifold

Let $(M,g)$ a Riemannian manifold. Further $M$ should be a harmonic space, that is $M$ is a symmetric and simply connected space of rank 1. (Example: Spheres $S^n$) Consider the mean value operator, ...
Richard's user avatar
  • 21
3 votes
0 answers
615 views

Estimates of eigenvalues of elliptic operators on compact manifolds

The classical Weyl law says that if $\Delta$ is the Laplace operator on functions on a compact Riemannian manifold $(M^n,g)$, $n>2$, then its $k$th eigenvalue satisfies the asymptotic formula $$\...
asv's user avatar
  • 21.8k
19 votes
2 answers
4k views

Exact Definition of Dirac Operator

Many definitions of the Dirac operator in the tradition of the Physics literature are hard to grasp for a mathematician. I would like to ask for a precise, general, definition of the Dirac operator ...
Jjm's user avatar
  • 2,091
17 votes
4 answers
3k views

Green's operator of elliptic differential operator

Let $P:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial differential operator, with index $=0$ and closed image of codimension $=1$, between spaces $\Gamma(E)$ and $\Gamma(F)$ of smooth sections ...
mdg's user avatar
  • 376
4 votes
1 answer
685 views

Horizontal lift of differential operator

On a Riemannian manifold $M$, there is a canonical horizontal lift $X^{\mathrm{hor}}$ of vector fields $X$ to $TM$, which is characterized by the two properties that $X^{\mathrm{hor}}$ is a ...
Matthias Ludewig's user avatar
5 votes
1 answer
633 views

The "Rolle theorem" for sections of a vector bundle

1) Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
Ali Taghavi's user avatar
0 votes
1 answer
590 views

Yang-Mills equations are not elliptic [closed]

How does one prove that the Yang-Mills equations (from classical Yang-Mills theory) are not elliptic? Alternatively, how does one calculate the principal symbol of the Yang-Mills equations? Can ...
mdg's user avatar
  • 376
1 vote
1 answer
547 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 ...
Luigi's user avatar
  • 11
3 votes
1 answer
437 views

eigenspinors of Dirac operator

$M$ compact manifold. Let $\lambda$ be an eigenvalue for the Dirac operator of multiplicity greater than 2. I'm interested in showing the existence of two linearly independant eigenspinors $u$ and $v$ ...
user16436's user avatar
  • 119