Berezin transforms on noncommutative varieties in polydomains

Let QQ be a set of polynomials in noncommutative indeterminates Zi,jZi,j, i∈{1,…,k}i∈{1,…,k}, j∈{1,…,ni}j∈{1,…,ni}. In this paper, we study noncommutative varietiesVQ(H):={X={Xi,j}∈D(H):g(X)=0 for all g∈Q},VQ(H):={X={Xi,j}∈D(H):g(X)=0 for all g∈Q}, where D(H)D(H) is a regular polydomain   in B(H)n1+⋯+nkB(H)n1+⋯+nk and B(H)B(H) is the algebra of bounded linear operators on a Hilbert space HH. Under natural conditions on QQ, we show that there is a universal model  S={Si,j}S={Si,j} such that g(S)=0g(S)=0, g∈Qg∈Q, acting on a subspace of a tensor product of full Fock spaces. We characterize the variety VQ(H)VQ(H) and its pure part in terms of the universal model and a class of completely positive linear maps. We obtain a characterization of those elements in VQ(H)VQ(H) which admit characteristic functions and prove that the characteristic function is a complete unitary invariant for the class of completely non-coisometric elements. We study the universal model S, its joint invariant subspaces and the representations of the universal operator algebras it generates: the variety algebra  A(VQ)A(VQ), the Hardy algebra F∞(VQ)F∞(VQ), and the C⁎C⁎-algebra C⁎(VQ)C⁎(VQ). Using noncommutative Berezin transforms associated with each variety, we develop an operator model theory and dilation theory for large classes of varieties in noncommutative polydomains. This includes various commutative cases which are closely connected to the theory of holomorphic functions in several complex variables and algebraic geometry.