Finite approximation properties of C*-modules III

We introduce and study a notion of module nuclear dimension for a C * \mathrm{C}^{*} -algebra A which is a C * \mathrm{C}^{*} -module over another C * \mathrm{C}^{*} -algebra 𝔄 {\mathfrak{A}} with compatible actions. We show that the module nuclear dimension of A is zero if A is 𝔄 {\mathfrak{A}} -NF. The converse is shown to hold when 𝔄 {\mathfrak{A}} is a C ⁢ ( X ) {C(X)} -algebra with simple fibers, with X compact and totally disconnected. We also introduce a notion of module decomposition rank, and show that when 𝔄 {\mathfrak{A}} is unital and simple, if the module decomposition rank of A is finite then A is 𝔄 {\mathfrak{A}} -QD. We study the set 𝒯 𝔄 ⁢ ( A ) {\mathcal{T}_{\mathfrak{A}}(A)} of 𝔄 {\mathfrak{A}} -valued module traces on A and relate the Cuntz semigroup of A with lower semicontinuous affine functions on the set 𝒯 𝔄 ⁢ ( A ) {\mathcal{T}_{\mathfrak{A}}(A)} . Along the way, we also prove a module Choi–Effros lifting theorem. We give estimates of the module nuclear dimension for a class of examples.