Гомотопически плоские DG-модули Мы знаем как описываются
- плоские модули (направленные прямые пределы конечно порожденных проективных)
- гомотопически проективные и гомотопически инъективные DG-модули (все, что получается из DG-модуля A или Hom
Z(A,
Q/
Z) с помощью сдвигов, конусов, прямых сумм или произведений, и переходов к гомотопически эквивалентному DG-модулю).
Класс гомотопически плоских DG-модулей над A содержит DG-модуль A и замкнут относительно сдвигов, конусов, направленных прямых пределов, и переходов к гомотопически эквивалентному DG-модулю. Получаются ли все гомотопически плоские DG-модули таким образом?
Update:
http://mathoverflow.net/questions/40036/homotopy-flat-dg-modules