I think your problem is not constrained enough to have an interesting answer. Notice that your intertwining condition can be rephrased by saying that is a homomorphism of -algebras, where is given the structure of -algebra given by . In these terms, what you are looking for is the comma category , whose objects are precisely the pairs as above, and whose morphisms are the -algebra homomorphisms such that . I am not sure it is possible to capture this beast with a cohomology group of any sort.
What you can do is restrict the class of objects that you are looking at. For example, you can classify square-zero extensions: fixing an -module , you can look at -algebras such that you have a short exact sequence ; the name square-zero comes from the fact that is an ideal of with . You can read about them in the first chapter of Sernesi's Deformations of Algebraic Schemes.
No comments:
Post a Comment