Elliptic, parabolic and hyperbolic operators. Laplace, Laplace-Beltrami, Schrödinger, Dirac. Exterior derivative and Lie derivative operators.

learn more… | top users | synonyms

21
votes
1answer
640 views

Idempotents in Rings of Differential Operators

Differential Operators on General Commutative Rings Let k be an algebraically closed field of characteristic zero, and let R be a commutative k-algebra. Then a (Grothendieck) differential operator ...
20
votes
3answers
1k views

When are the eigenspaces of the Laplacian on a compact homogeneous space irreducible representations?

I was writing up some notes on harmonic analysis and I thought of a question that I felt I should know the answer to but didn't, and I hope someone here can help me. Suppose I have a compact ...
19
votes
1answer
773 views

What are some geometric reasons why a Dirac operator would have a gap in its spectrum?

My question is motivated by the following well-known computation. Let $M$ be an even dimensional Riemannian spin manifold and let $D$ be the spinor Dirac operator on $M$. Lichnerowicz showed that ...
18
votes
4answers
2k views

Have people successfully worked with the full ring of diferential operators in characteristic p?

This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
13
votes
5answers
901 views

Book Recommendation - PDE's for geometricians / topologists

I am looking for recommendations for a book on partial differential equations, which is not written for applied mathematicians but rather focused on geometry and applications in topology, as well as ...
13
votes
1answer
398 views

Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ . Is there a ...
11
votes
2answers
1k views

The algebraic Version of Riemann Hilbert Correspondence

It is well known that if I have a differentialable manifold (holomorphic maniford) $M$, then I have a functor from the categroy of vector bundles on $M$ with flat connections to the categroy of local ...
11
votes
1answer
1k views

Essential self-adjointness of differential operators on compact manifolds

Let $L$ be a linear differential operator (with smooth coefficients) on a compact differentiable manifold $M$ (without boundary). Suppose $M$ is endowed with a smooth volume form (actually, a smooth ...
11
votes
1answer
377 views

Can a PDE constrain the degree of a $C^\infty$ map germ?

Let $\pi:E\to M$ be a smooth vector bundle over a smooth manifold, with $\text{rank}(E)=\text{dim}(M)$. For a section $\sigma$ of $E$ with a zero at $p\in M$, define the degree of the zero at $p$ to ...
10
votes
1answer
371 views

Does the image of a differential operator always contain an ideal?

Let $\delta$ denote a non-zero complex algebraic differential operator in a single variable x. That is, it can be written as a sum $$ \delta = \sum_i f_i\partial_x^i$$ where there $f_i$ are complex ...
10
votes
1answer
379 views

Hochschild (co)homology of differential operators

I googled the title on the internet, and arrived at the following result $$HH_k(D)\cong H_{DR}^{2n-k}(M).$$ Here $M$ is a smooth manifold of dimension $n$, and $D$ is the ring of differential ...
8
votes
1answer
299 views

Atiyah-Singer for pseudodifferential operators via heat kernel?

The Atiyah-Singer theorem for Dirac-type operators can be proved using the heat kernel and this proof has an advantage over the proof via K-theory, because the first is local but the latter is not. ...
8
votes
3answers
722 views

Is there a good account of D-affinity and localization theorem for partial flag varieties?

Recall that a topological space is called $A$-affine for a sheaf of algebras $A$ if taking global sections of coherent sheaves of $A$-modules is an equivalence of categories to finitely generated ...
7
votes
3answers
446 views

Is there any general index theorem for manifold with boundary?

My understanding is Atiyah-Patodi-Singer solved the index theorem for manifold with boundary only for certain types of Dirac operators, correct? There is still no (or no hope to get) uniform theorem ...
7
votes
2answers
717 views

What is the smallest $C^*$-algebra containing the “standard” pseudodifferential operators?

Is $\Psi^0(\mathbb{R})$ (pseudodifferential operators with symbols obeying $ |\partial^\alpha_x \partial^\beta_\xi a(x,\xi)| \leq C_{\alpha,\beta} (1+|\xi|)^{-|\beta|} $ ) a $C^*$-algebra? In other ...
7
votes
2answers
213 views

Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
7
votes
1answer
835 views

What is the “correct” generalization of operator norms for nonlinear operators?

I have been recently wondering what is a (or even the) "correct" generalization of the notion of an operator norm to nonlinear operators? Please excuse the naivete of my question; if you think that ...
7
votes
1answer
441 views

Is there a really big ring of differential operators in characteristic p?

$k$ is a field of characteristic $p$. $k[t]$ has canonical first-order differential operator $\partial$ As an endomorphism of $k[t]$, $\partial^p=0$. First way to fix it: Use the divided power ...
7
votes
0answers
313 views

Why should the Laplacian in $\mathbb{C}^n$ act on a specific line bundle over the quadric $x^2=0$ in $\mathbb{P}^{n-1}$?

I recently encountered the following nice fact, and I'm wondering if it's part of a more general story. Let $x\in \mathbb{C}^n$ satisfy $$x^2:=\sum_i x_i^2 = 0,$$ and consider functions $f(x)$ ...
7
votes
0answers
516 views

How hard is it to make a differential operator Hermitian?

Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
6
votes
1answer
434 views

For which algebras does \{Differential Operators\} satisfy a PBW-like theorem?

Let $k$ be a commutative ring, $A$ a commutative $k$-algebra, and for some other part of why I'm asking this question I only care about the case when $k \supseteq \mathbb Q$. Recall the following ...
5
votes
4answers
887 views

Symbol of pseudodiff operator

Hello, I am trying to understand the calculus of pseudodifferential operators on manifolds. All the textbooks I could put my hand on define the principal symbol of a pseudodifferential operator ...
5
votes
2answers
552 views

Relationship between double tangent bundle, exterior derivative and connection

I am totally new to the subject differential geometry, and that probably reflects itself in the naive question that I'm trying to formulate. I hope this question does not get closed because of this. ...
5
votes
2answers
486 views

index of a family of Dirac operators in $K^1$

Suppose I have a family of Dirac operators over a compact base space B. From the paper of Atiyah and Singer about skew adjoint Fredholm operators we know that it has an index in $K^1(B)$. Suppose ...
5
votes
3answers
274 views

Criteria for Positivity of Pseudoddifferential Operators on Manifolds

Let $(M,g)$ be a Riemannian Manifold and $L^2$ the Hilbert space given by the volume form associated to the metric. Let $L_0^2$ be the subspace which is orthogonal to the constant functions. When is ...
5
votes
1answer
557 views

Self-adjoint extension of locally defined differential operators

The following is well known. Given a symmetric differential operator, like $\partial_x^2$, defined on smooth functions of compact support on $\mathbb{R}$, $C_0^\infty(\mathbb{R})$, one can count the ...
5
votes
1answer
289 views

Index of a differential operator between trivial bundles.

Let $M$ be a closed parallelizable manifold and $D: \Gamma(E) \to \Gamma(F)$ an elliptic differential operator between trivial vector bundles $E,F \to M$. The Atiyah Singer index theorem implies that ...
5
votes
0answers
110 views

Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$ ?

Let $n\in\mathbb N$. Let $k$ be a commutative ring. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $x_n$ over $k$. (The multiplication in ...
4
votes
1answer
654 views

Growth of Laplacian eigenvalues on a compact domain?

Let $\mathcal{M}$ be a compact Riemannian manifold and let $\Delta$ be the (scalar) Laplace-Beltrami operator on $\\mathcal{M}$. Then $\Delta$ has a discrete spectrum and if we order its distinct ...
4
votes
2answers
355 views

Surface Laplace-Beltrami without coordinates, exterior calculus?

Let $f: M \rightarrow \mathbb{R}^3$ be an immersion of a surface $M$. For pedagogical purposes (i.e., I'm teaching a class!) I am looking for an expression for the scalar Laplace-Beltrami operator ...
4
votes
1answer
711 views

How “generalized eigenvalues” combine into producing the spectral measure?

Hi... I am wondering how 'eigenvalues' that don't lie in my Hilbert space combine into producing the spectral measure. I study probability and I am quite ignorant in the field of spectral analysis of ...
4
votes
2answers
405 views

Is there a generalization of Floquet theory to elliptic functions?

Hi, Consider a system of linear differential equations $$ {d f \over dz} = A(z) f, $$ where $A(z)$ is a matrix-function. If $z \in \mathbb{R}$ and the function is periodic $A(z) = A(z + T)$, ...
4
votes
1answer
154 views

Please recommend some literature on the systematical theory of the elliptic systems!

Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...
4
votes
1answer
423 views

Localizability of differential operators a la Grothendieck

Hello, Maybe this question is trivial, so sorry Let $A$ be a (comm. with 1) $k$-algebra, where $k$ is a ring (comm. with 1). Then we can define the module of differential operators $D^{\leq n} ...
4
votes
1answer
201 views

Question about a (relatively simple looking) differential operator and its eigenvalues

A colleague and I are interested in a specific differential operator on the reals. The differential operator L is of the form $L=-(1+x^{2})\frac{d^{2}}{dx^{2}}+c_{1}x\frac{d}{dx}+c_{2}x^{2}$ for ...
4
votes
1answer
248 views

Poisson structure on the cotangent bundle

Let $X$ be a smooth variety over $\mathbb{C}$ and $\mathscr{A}$ a sheaf of twisted differential operators on $X$. The latter comes equipped with a natural filtration and the associated graded algebra ...
4
votes
0answers
35 views

Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action. I am trying to understand the Hopf bundle ...
4
votes
0answers
153 views

Differential operators that preserve real-rootedness

Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of ...
4
votes
0answers
318 views

Monodromy of differential equations

Let $D$ an ordinary differential equation (let's assume $D$ only has regular singularities). Suppose $D$ = $D_0$$\partial$, where $\partial$ is $q\frac{d}{dq}$ My question is: Does there exist any ...
4
votes
0answers
253 views

Between Being a Connection and Being an Elliptic Operator

Let $E$ be a smooth complex vector bundle over a smooth compact manifold $M$ and let $H$ be the $Z_{2}$-graded (with the $Z_{2}$-grading given by even/odd forms) Hilbert space of $L_{2}$ (with respect ...
4
votes
0answers
271 views

Why should we consider D-module on flag variety of Lie algebra?

Why don't we stay at D-module on base affine space but go to study flag variety of Lie algebra? I remembered there are nice papers of Bernstein-Gelfand-Gelfand and Gelfand-Kirillov discussing the ...
3
votes
3answers
821 views

Can the adjoint of the exterior derivative in semi-Riemannian geometry be defined without the Hodge * operator?

The adjoint of the exterior derivarive is defined by $\delta:=(-1)^k\ast^{-1}d\ast$, but I need a way which avoids the Hodge $\ast$ operator. Is there another definition? For example, for ...
3
votes
1answer
439 views

A name for PDE systems which are neither under- nor overdetermined?

The concepts of overdetermined and underdetermined PDE systems are well known. However, all sources I have so far looked into appear to avoid giving any name to PDE systems which are neither ...
3
votes
1answer
1k views

is $\nabla \cdot ( c^2 \nabla)$ a Laplace-Beltrami operator?

Someone mentioned, in passing, to me that $u \mapsto \nabla \cdot ( c^2 \nabla u)$ is a Laplace-Beltrami operator. Does anyone have some insight into this? From my understanding, the Laplace-operator ...
3
votes
1answer
123 views

Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$. Is there an ...
3
votes
2answers
120 views

Space of differential operators

Let $A$, $B$ be two smooth vector bundles of finite rank over a smooth manifold $M$. Let $Diff(A,B)$ be the space of differential operators from $A$ to $B$. Can I talk about "the space of smooth maps ...
3
votes
1answer
326 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$ ...
3
votes
1answer
347 views

Algorithm to find exponential map of differential operators acting on function

I am trying to write a computer program which computes the action of the exponential of a differential operator on a function, for any given differential operator. Examples: $\exp(\varepsilon ...
3
votes
1answer
457 views

Pochhammer symbol of a differential, and hypergeometric polynomials

I have a minor result which I'm sure has come up somewhere before but I can't seem to find it. Consider a confluent hypergeometric function of the form $$\newcommand{\ff}{{}_1F_1} ...
3
votes
1answer
346 views

Are these operators defined on 2D surfaces self-adjoint?

My research group finds/proposes a fundamental operator in quantum mechanics, the Cartesian momentum as I called (I think for mathematician the ref. 2007 is sufficient). However, I do not know whether ...