ну, я нашел один косяк
лемма 3.5
более-менее о том что если группа двумя способами разваливается в прямую сумму, и первые слагаемые изоморфны, то и вторые тоже изоморфны
правда, применяется это к достаточно специфической группе - экстам между двумя хомами
так что если все над полем (где эксты нулевые), или не над полем, но в конечнопорожденном случае, то пока что все работает
написал автору, ответил

Yes, I'm about to post some fixes. My interest in it was really just the k-linear case. In fact, that example is not a counterexample to the main result because the map omega_* cannot be an injection (as the spectral sequence implies that the kernel and cokernel must either both not vanish or both vanish). However,in replacing Lemma 3.5 I need an assumption on the enrichment. This means that the result is still open for the general case. It seems to work for k-linear, divisible, finitely generated and, as it were, co-finitely generated (ie the duals of finitely generated groups). The assumptions are not likely to be necessary though and I would expect that someone better equipped to deal with the infinite group case might be able to fix it.

There are a couple of of other blunders at the end. In particular, there is some mistake in the uniqueness result. I've removed it in the meantime.

I'll post the fixes on arxiv in a day or so. Antony Maciocia

сегодня собирались и разбирались, в первых страницах 9 это вроде единственный серьезный косяк