Особое ограничение на замкнутую подсхему - 3
Продолжение http://posic.livejournal.com/839838.html и http://posic.livejournal.com/839999.html .

Лемма 1. Пусть R → S -- конечный морфизм нетеровых коммутативных колец, и пусть P -- плоский модуль кокручения над кольцом R. Тогда S⊗_RP -- плоский модуль кокручения над кольцом S.

Доказательство: согласно основной теореме статьи Енокс-84 R-модуль P можно представить (например) как прямое слагаемое бесконечного произведения пополнений локальных колец точек спектра кольца R. Достаточно рассмотреть случай одного такого пополнения R_p. Тогда S⊗_R R_p есть пополнение кольца S по идеалу Sp. Если q_i -- простые идеалы в S, лежащие над p, то они образуют конечное множество (Мацумура Commutative ring theory упр. 9.3), пополнение S по Sp совпадает с пополнением S по произведению всех q_i (поскольку системы степеней этих идеалов конфинальны, по крайней мере, после локализации по R \ p), последнее пополнение есть произведение пополнений по отдельным q_i (loc. cit. теорема 8.15). По той же теореме Енокса, такие пополнения являются плоскими S-модулями кокручения.

Лемма 2. Пусть R → S -- конечный морфизм нетеровых коммутативных колец конечной размерности Крулля. Тогда S-модуль Q является S-модулем кокручения титтк он является R-модулем кокручения.

Доказательство: часть "только тогда" -- частный случай общего результата о сохранении свойства кокручения при ограничении скаляров по любому морфизму ассоциативных колец. Чтобы доказать "тогда", отметим, что согласно Рейно-Грюзону всякий плоский S-модуль имеет конечную правую резольвенту из плоских S-модулей кокручения. Поэтому достаточно проверить, что Ext_S^>0(G,Q) = 0 для любого плоского S-модуля кокручения G. Из доказательства леммы 1 ясно, что G является прямым слагаемым S-модуля вида S⊗_RF для некоторого плоского R-модуля кокручения F. Теперь Ext_S^>0(S⊗_RF, Q) = Ext_R^>0(F,Q) = 0.

Лемма 3. Пусть R → S -- морфизм из когерентного кольца R в кольцо S, являющееся конечно представимым R-модулем в индуцированной структуре. Пусть F -- плоский R-модуль кокручения и P -- плоский R-модуль кокручения. Тогда естественный гомоморфизм S-модулей S ⊗_R Hom_R(F,P) → Hom_S(S⊗_RF, S⊗_RP) является изоморфизмом.

Доказательство: отображение S ⊗_R Hom_R(F,P) → Hom_R(F, S⊗_RP) является изоморфизмом согласно следствию 1.6.3(с) из 1209.2995.