Плоские модули над квази-алгеброй (ответ на вчерашний вопрос) Пусть R -- коммутативное кольцо, A -- некоммутативное, и R → A -- гомоморфизм колец, удовлетворяющий нижеследующему условию (это называется, что A -- дифференциальный бимодуль или, в моей новой терминологии, "квази-алгебра" над R). Требуется, чтобы для любых элементов r из R и a из A существовало натуральное n, такое что последовательность элементов b
0 = a, b
i+1 = rb
i − b
ir обращается в ноль начиная с номера n, т.е., b
n = 0.
Следующее далее с большой вероятностью является слабеньким следствием результатов из работы Рено-Грюзон, но я туда пока еще по этому поводу не заглядывал, а повозился немножко сам, и вот что получилось.
Утверждение: пусть М -- левый R-модуль, такой что для любого простого идеала p из R локализация
(p)M модуля M в точке p является плоским модулем над некоммутативным кольцом
(p)A = A
(p), или, что все равно, над некоммутативным кольцом A. Тогда и сам модуль M является плоским A-модулем.
Доказательство: основным нашим инструментом является точная последовательность Чеха. Для разминки, докажем сначала, что если f
i -- (конечный) набор элементов кольца R, такой что спектр R является объединением спектров его локализаций по элементам f
i (т.е. попросту элементы f
i порождают единичный идеал в R), и локализация M по каждому из элементов f
i является плоским A-модулем, то и сам M является плоским A-модулем.
Точная последовательность Чеха имеет вид
0 → M → ⊕
i [f
i−1]M → ⊕
i < j [f
i−1,f
j−1]M → … → 0.
Очевидно, локализация сохраняет плоскость. Если все нетривиальные члены, кроме самого левого, плоские, то и самый левый член тоже плоский. С разминкой мы справились.
( А исходно заявленное утверждение не получается )