For commuting linear operators we describe a range of conditions which are weaker than invertibility. When any of these conditions hold we may study the composition in terms of the component operators or combinations thereof. In particular the general inhomogeneous problem reduces to a system of simpler problems. These problems capture the structure of the solution and range spaces and, if the operators involved are differential, then this gives an effective way of lowering the differential...
From the text: The aim of this work is to advertise an algorithmic treatment of the computation of the cohomologies of semisimple Lie algebras. The base is Kostant’s result which describes the representation of the proper reductive subalgebra on the cohomologies space. We show how to (algorithmically) compute the highest weights of irreducible components of this representation using the Dynkin diagrams. The software package offers the data structures and corresponding procedures for computing...
A regular normal parabolic geometry of type on a manifold gives rise to sequences of invariant differential operators, known as the curved version of the BGG resolution. These sequences are constructed from the normal covariant derivative on the corresponding tractor bundle , where is the normal Cartan connection. The first operator in the sequence is overdetermined and it is well known that yields the prolongation of this operator in the homogeneous case . Our first main result...
Download Results (CSV)