Thanks for drawing my attention to the long exact sequence*; if I'm interpreting it correctly, the injection at πΌ and projection at π½ split, so we have a direct sum: H(X,β ) β H(X,A) β H(A,β )?
(never mind the function analogy, I was trying to handwave a quotient in the other direction but that would fall immediately out of the direct sum if I understand correctly: A β (AβB)/B and B β (AβB)/A?)
* which forms a MΓΆbius band in its own way, because at H(A,β ) we feed it into πΌ as β β Cycles(A) but get it out of πΎ as Cycles(A) β β , leading to a "twist"?
The direct sum decomposition you mention doesn't always happen, as you can see in some of the examples in the calculator. It is closer to happening when \gamma is zero, and if \gamma is zero and we switch from integer coefficient to field coefficients, then it always happens!
obviously I need to play with the calculator more (and probably work the exercises) ... hope you don't mind if I get back to you with more Q's once I have them.
well, I love the subject, so I'm glad to discuss whatever! And let me know if all of the exercises are too hard. There should always be a couple of easy ones, but I don't know this audience very well.