Математическое, разное
Nov. 16th, 2012 11:12 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posic1. Редко какой из моих тестов, по нынешним временам, обходится без ссылки на книжку про квадратичные алгебры. Не обошелся и текст про контрагерентные копучки. При чем тут, казалось бы? А при том, что вялые пучки (скажем, на нетеровых аффинных схемах) -- это такие дистрибутивные решетки подмодулей. Ковялые копучки, тем более.
2. Открыл следующий паттерн рассуждения. Докажем сначала утверждение для полуотделимых (или полуотделимых квазикомпактных) схем, пользуясь аффинными покрытиями и аффинностью пересечений. Потом тем же способом докажем то же утверждение для произвольных (или квазиотделимых квазикомпактных) схем, пользуясь полуотделимыми покрытиями и полуотделимостью пересечений.
2. Открыл следующий паттерн рассуждения. Докажем сначала утверждение для полуотделимых (или полуотделимых квазикомпактных) схем, пользуясь аффинными покрытиями и аффинностью пересечений. Потом тем же способом докажем то же утверждение для произвольных (или квазиотделимых квазикомпактных) схем, пользуясь полуотделимыми покрытиями и полуотделимостью пересечений.
