Return to Question

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{R}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

By this I mean that $M$ is a complex manifold, $E$ and $F$ are holomorphic vector bundles and $D$ is $\mathbb{C}$-linear. We then also restrict to sheaves of holomorphic sections. I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of rank $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of rank $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of rank $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite rank.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{R}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

By this I mean that $M$ is a complex manifold, $E$ and $F$ are holomorphic vector bundles and $D$ is $\mathbb{C}$-linear. We then also restrict to sheaves of holomorphic sections. I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of order $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of order $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of order $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite order.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{C}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of rank $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of rank $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of rank $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite rank.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{R}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

By this I mean that $M$ is a complex manifold, $E$ and $F$ are holomorphic vector bundles and $D$ is $\mathbb{C}$-linear. We then also restrict to sheaves of holomorphic sections. I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of rank $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of rank $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of rank $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite rank.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{C}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of rank $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of rank $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of rank $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite rank.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?

Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{C}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and $F$ is a differential operator, i.e. there exist trivializing charts $U_i$ such that on $D|_{U_i}$ is a differential operator in the sense of real analysis.

Question 1: Does this result also hold for complex manifolds?

I don't think the proof of the real version can be adapted directly, since it relies on bump functions.

This is related to my m.SE question in which I showed that the result does not hold for the sheaf of rational functions on $\mathbb{C}$.

However, on any locally ringed space $(X, \mathcal{O})$ one can define differential operators of rank $0$ as multiplication with a global section of $\mathcal{O}$ and differential operators of rank $n$ inductively as $\mathbb{C}$-linear morphisms of sheaves $D: \mathcal{E} \to \mathcal{F}$ satisfying that $f D - D f$ is a differential operator of rank $n-1$. General differential operators can then be defined as $\mathbb{C}$-linear morphisms of sheaves which locally are differential operators of finite rank.
This gives the expected result for the differential operators on a Scheme (EGA IV Prop 16.8.8) (i. e. on $n$-dimensional affine space they are polynomials in the $n$ partial derivatives). By Peetre's theorem this definition also coincides with the classical notion of differential operators on a smooth manifold.

Question 2: If $\mathcal{E}$ and $\mathcal{F}$ are sheaves of sections of holomorphic vector bundles over a complex manifold, does the above definition of differential operators produce the classical differential operators between holomorphic vector bundles?