**22**

votes

**1**answer

665 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

**3**answers

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

**4**answers

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 ...

**19**

votes

**1**answer

795 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 ...

**13**

votes

**5**answers

1k 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

**1**answer

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 ...

**13**

votes

**1**answer

433 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

**2**answers

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

**1**answer

356 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. ...

**11**

votes

**1**answer

400 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

**1**answer

388 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

**2**answers

406 views

### Codimension of the range of certain linear operators

Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the derivational operator correspond ...

**10**

votes

**1**answer

395 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

**3**answers

734 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 ...

**8**

votes

**0**answers

542 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 ...

**7**

votes

**3**answers

476 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

**3**answers

293 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 ...

**7**

votes

**2**answers

736 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

**2**answers

258 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

**1**answer

458 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 ...

**7**

votes

**1**answer

881 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

**1**answer

453 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

**0**answers

80 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 ...

**7**

votes

**0**answers

317 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)$ ...

**6**

votes

**4**answers

941 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 ...

**6**

votes

**3**answers

226 views

### On formal solutions to differential equations

Let $k$ be a field of characteristic zero. Put $K=k[\![ t]\!]$ and $W=k\langle t,\partial\rangle / ([\partial,t]=1)$. Then $W$ operates on $K$ in the obvious way ($\partial f = \frac{d f}{dt}$), and ...

**6**

votes

**1**answer

309 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 ...

**6**

votes

**0**answers

261 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 ...

**5**

votes

**2**answers

611 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

**2**answers

497 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

**1**answer

587 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

**0**answers

173 views

### Noncommutative geometry and line length

I would like to understand, in some formal sense, the relation between the Dirac operator and the line length introduced by Connes in noncommutative geometry. If $D$ is the Dirac operator, he sets $ds ...

**5**

votes

**0**answers

119 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

**1**answer

682 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

**1**answer

155 views

### Vector Laplace Beltrami operator of the Gauss map

Consider an abstract surface $(M,g)$ embedded into $\mathbb{R}^3$ via $f:M \to \mathbb{R}^3$. Denote by $N:M \to \mathbb{R}^3$ the Gauss map (normal field) of the surface. Write the Laplace Beltrami ...

**4**

votes

**2**answers

385 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

**1**answer

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 ...

**4**

votes

**1**answer

126 views

### Practical way to check whether a distribution is conormal

Let $X$ be a $C^\infty$-manifold, $Y$ be its $C^\infty$-submanifold. HÃ¶rmander defines the set $I^m(X,Y)$ of conormal distributions as the set of all $u \in \mathscr D'(X)$ such that
$$
L_1 ...

**4**

votes

**1**answer

771 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

**1**answer

96 views

### Euclidean Algorithm for differential operators

While perusing through the article "Algorithms for solving linear ordinary differential equations" by Winfried Fakler (a pdf can be found through a google search), I noticed Faker mentioning on page 2 ...

**4**

votes

**1**answer

120 views

### Differential Operator Simplification

Does anyone know the explicit formulation for the $q_k$'s in, $$(x+D)^n=\sum_{k=0}^n q_k(x)D^k\ \ \ \ ?$$
I know that $e^{-x^2/2+x}$ is a fixed point of $(x+D)$. I also, know that ...

**4**

votes

**2**answers

417 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

**1**answer

168 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

**1**answer

442 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 ...

**4**

votes

**1**answer

427 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

**1**answer

216 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

**1**answer

267 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

**0**answers

155 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

**0**answers

324 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

**0**answers

286 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 ...