AbstractLet k be the reproducing kernel for a Hilbert space H(k) of analytic functions on Bd, the open unit ball in Cd, d⩾1. k is called a complete NP kernel if k0≡1 and if 1−1/kλ(z) is positive definite on Bd×Bd. Let D be a separable Hilbert space, and consider H(k)⊗D≅H(k,D), and think of it as a space of D-valued H(k)-functions. A theorem of McCullough and Trent (J. Funct. Anal.178 (2000), 226–249) partially extends the Beurling–Lax–Halmos theorem for the invariant subspaces of the Hardy space H2(D). They show that if k is a complete NP kernel and if D is a separable Hilbert space, then for any scalar multiplier invariant subspace M of H(k,D) there exists an auxiliary Hilbert space E and a multiplication operator φ: H(k,E)→H(k,D) such tha...