On the homology of ultraproducts (Q1086300): Difference between revisions

The author defines in an unusual way ultraproducts of \(A\)-modules over a countable index set: Assume \(A\) to be a noetherian local ring with maximal ideal \(J\). In the ultrapower \(A^N/D\) of \(A\) with respect to a non-principal ultrafilter \(D\) define \(V(J)=\{f/D\mid f/D\in J^{*n}\text{ for all } n\in N\}\) where \(J^*\) is the maximal ideal \(\{f/D\mid \{n\mid f(n)\in J\}\in D\}\) (all notations in the usual form of ultraproducts). Then \(A^+=A^N/D/V(J)\) is called the strong ultrapower of \(A\). The author shows that the completion \(\hat A\) of \(A\) can be embedded in \(A^+\) and that \(A^+\) depends only on \(\hat A\). Using homology theory one shows that \(A\) is quasi-excellent if the homology functor \(H_1(A,\prod_{n\in N} A,\cdot)\) is zero. This is a part of the conjecture that the \(A\)-algebra \(\prod A\) has a derived module which is flat and an acyclic cochain complex iff \(A\) is quasi-excellent.