(Читать комментарии) - (Добавить комментарий)

	tiphareth 2015-06-06 20:14 (ссылка)
	Да нет вроде автор мне знаком он известный пофигист, так что ошибка не исключена но вообще-то, кажется, все люди ожидали, что аксиома октаэдра выводится, так что неудивительно (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2015-06-07 02:39 (ссылка)
	>все люди ожидали, что аксиома октаэдра Никто не ожидал; более того, это неверно, потому что не может быть верно. Где именно у него ошибка, даже лень искать. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2015-06-07 06:55 (ссылка)
	ну ок мне кто-то рассказывал, что вообще умеет рассказывать триангулированные категории без октаэдра (малость заменив аксиомы) (Ответить) (Уровень выше) (Ветвь дискуссии)

(Комментарий удалён)

	tiphareth 2015-06-07 14:12 (ссылка)
	гельфанда-манина надо читать в генлибрусеке есть (Ответить) (Уровень выше)

	ende_neu 2015-06-07 21:20 (ссылка)
	http://lj.rossia.org/users/dmitri_pavlov/9543.html?thread=362567#t362567 (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2015-06-08 03:31 (ссылка)
	Экий я злобный тогда был. Но по сути все правильно, вроде бы. (Ответить) (Уровень выше)

monroth 2015-06-09 02:05 (ссылка)

ну, я нашел один косяк лемма 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 это вроде единственный серьезный косяк (Ответить) (Уровень выше)

(Читать комментарии) -