Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free OX -bimodule of rank 2, A is the non-commutative symmetric algebra generated by E and ProjA is the corresponding non-commutative P -bundle. We use the properties of the internal Hom functor HomGrA(−,−) to prove versions of Serre finiteness and Serre vanishing for… (More)