2
votes
1answer
38 views

Homogenous Polynomial Functions and the Symbol of a Differential Operator

I have a trivial question concerning Lawson/Michelsohn's "Spin Geometry", Chapter III.ยง1. There, the symbol of a differential operator $P$ is defined to be a section $\sigma(P)$ in the bundle ...
3
votes
1answer
129 views

Subset of differential operators is a finitely generated module?

I was reading about differential operators, and there is a small claim I don't understand. First, let $A$ be a commutative algebra over $k$, a field. We have the recursive definition for the algebra ...