Acyclicity of Complexes of Flat Modules

Abstract: Let

R

be a noetherian commutative ring, and [ mathbb F: ... ightarrow F_2 ightarrow F_1 ightarrow F_0 ightarrow 0 ] a complex of flat

R

-modules. We prove that if

k a p p a (m a t h f r a k p) o t i m e s_{R} m a t h b b F

is acyclic for every

m a t h f r a k p i n S p e c R

, then

m a t h b b F

is acyclic, and

H_{0} (m a t h b b F)

is

R

-flat. It follows that if

m a t h b b F

is a (possibly unbounded) complex of flat

R

-modules and

k a p p a (m a t h f r a k p) o t i m e s_{R} m a t h b b F

is exact for every

m a t h f r a k p i n S p e c R

, then

is exact for every

R

-complex

m a t h b b G

. If, moreover,

m a t h b b F

is a complex of projective

R

-modules, then it is null-homotopic (follows from Neeman's theorem).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Acyclicity of Complexes of Flat Modules