I think your problem is not constrained enough to have an interesting answer. Notice that your intertwining condition can be rephrased by saying that g:BtoAg:BtoA is a homomorphism of RR-algebras, where AA is given the structure of RR-algebra given by ff. In these terms, what you are looking for is the comma category mathcalC=(mathbfAlgRdownarrowA)mathcalC=(mathbfAlgRdownarrowA), whose objects are precisely the pairs (B,g)(B,g) as above, and whose morphisms operatornameHommathcalC((B,g),(B′,g′)) are the R-algebra homomorphisms h:BtoB′ such that g=g′circh. 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 A-module I, you can look at R-algebras B such that you have a short exact sequence 0toItoBtoAto0; the name square-zero comes from the fact that I is an ideal of B with I2=0. You can read about them in the first chapter of Sernesi's Deformations of Algebraic Schemes.
No comments:
Post a Comment