Principal parts bundles on projective spaces and quiver representations (Q1758638)

The sheaf of principal parts \(J^k(E)\) has been studied by many authors (DiRocco, Grothendieck, Laksov, Maakestad, Perkinson, Piene, Sommese etc). The sheaf \(J^k(E)\) of an \(O_X\)-module \(E\) where \(X\) is a scheme has a left and right structure as \(O_X\)-module and the left structure of \(J^k(E)\) has been studied by several authors in the case where \(X\) is projective \(n\)-space over an algebraically closed field of characteristic zero. The aim of the paper under review is to complete this study and to relate it to the theory of representations of quivers. The projective space \(\mathbb{P}(V^*)\) may be realized as a quotient \(\mathrm{SL}(V)/P\) where \(P\) is a parabolic subgroup of \(\mathrm{SL}(V)\) and there is an equivalence of categories between the category of \(P\)-modules and the category of \(\mathrm{SL}(V)\)-linearized vector bundles on \(\mathbb{P}=\mathbb{P}(V^*)\). The category \(C\) of vector bundles on \(P\) with an \(\mathrm{SL}(V)\)-linearization is an abelian category, hence by Freyd's full embedding theorem it follows the category \(C\) is equivalent to a full subcategory of the category \(mod(A)\) of left modules on an associative ring \(A\). One aim of the paper is to describe the associative ring \(A\) associated to projective space \(P\) and to construct the \(A\)-module corresponding to the sheaf of principal parts \(J^k(E)\). In section one of the paper the author gives the motivation for the writing of the paper and the main results of the paper. In section two of the paper the author gives the definition of the sheaf of principal parts \(J^k(E)\) of any \(O_X\)-module \(E\) on any scheme \(X\) following the standard construction using the infinitesimal neighborhood of the diagonal and mentions some properties of this construction: He gives a description of the fiber of the principal parts, the fundamental exact sequences and the relationship with sheaves of differential operators. In section three the author introduce the concepts of algebraic groups, homogeneous spaces and homogeneous vector bundles and mention the fact that if \(E\) is a \(G\)-linearized homogeneous vector bundle on a homogeneous space \(G/H\) it follows \(J^*(E)\) has a canonical \(G\)-linearization. The author mentions the notions of a Cartan decomposition of a parabolic Lie algebra, the notion of a maximal weight vector of a \(p\)-module where \(p\) is a parabolic Lie algebra and the notion of an irreducible homogeneous vector bundle. The author ends section three with an introduction to the notion of quiver representations. He also constructs the quiver \(Q_V\) associated to projective space \(\mathbb{P}=\mathbb{P}(V^*)\). He moreover gives an explicit construction of the equivalence between the category of representations of \(Q_V\) and the category of homogeneous vector bundles on \(P\). In section four the author mentions known results on \(J^k(O(d))\) on \(P\) and introduces some notions defined in [\textit{D. Perkinson}, Compos. Math. 104, 27--39 (1996; Zbl 0895.14016)]. He uses these notions and some explicit formulas to prove the existence of a decomposition \(J^k(O(d))\cong Q_{k,d}\oplus J^d(O(d))\) where \(Q_{k,d}\) is an explicitly defined vector bundles on \(P\). The author defines a map \[ n^{k-d}:S^k(V)\otimes O(d-k) \rightarrow S^k(V) \otimes O_P \] and an isomorphism \(Q_{k,d}\cong \ker(n^{k-d})\). He proves that the map \(n^{k-d}\) is an \(\mathrm{SL}(V)\)-invariant differential operator. The author moreover proves some properties of the bundles \(Q_{k,d}\) and use these properties to give an explicit construction of the \(Q_V\)-representation of \(J^k(O(d))\). The paper ends with a proof of the fact that the Taylor truncation map has maximal rank in the cases where \(h \leq k\). Note: In Proposition 4.6 the author states the existence of an \(\mathrm{SL}(V)\)-equivariant isomorphism \[ J^k(O(d)) \cong S^k(V) \otimes O(d-k) \] In other papers [the reviewer, Proc. Am. Math. Soc. 133, No. 2, 349--355 (2005; Zbl 1061.14040)] it was proved that \(J^k(O(d))\cong S^k(V^*)\otimes O(d-k)\). One may suspect there is an error in the paper since \(S^k(V)\) and \(S(V^*)\) are different as \(\mathrm{SL}(V)\)-modules. The difference between the author's paper and the reviewer's paper is that Re is considering \(\mathbb{P}(V)\) -- projective space parametrizing lines in \(V^* \) where Maakestad is considering \(\mathbb{P}(V^*)\) -- projective space parametrizing lines in \(V\).