A Bounded Below, Noncontractible, Acyclic Complex Of Projective Modules

We construct examples of bounded below, noncontractible, acycliccomplexes of finitely generated projective modules over some rings S,as well as bounded above, noncontractible, acyclic complexes ofinjective modules. The rings S are certain rings of infinite matrices with entries inthe rings of commutative polynomials or formal power series ininfinitely many variables. In the world of comodules or contramodules over coalgebras overfields, similar examples exist over the cocommutative symmetriccoalgebra of an infinite-dimensional vector space. A simpler, universal example of a bounded below, noncontractible,acyclic complex of free modules with one generator, communicated tothe author by Canonaco, is included at the end of the paper.