Title: Tensor algebras of product systems and their C*-envelopes

Abstract: Let $(G,P)$ be a directed, quasi-lattice ordered, amenable group and let $X$ be a compactly aligned, $\tilde{\phi}$-injective product system over P. We show that the C*-envelope of the Nica tensor algebra $\mathcal{N}\mathcal{T}^+_X$ is the Cuntz-Nica-Pimsner algebra $\mathcal{N} \mathcal{O}_X$ as defined by Sims and Yeend. We give several applications of this result. First we resolve a problem posed by Skalski and Zacharias on dilating isometric representations of product systems to unitary representations. As a second application we characterize the C*-envelope of the tensor algebra of a finitely aligned higher-rank graph; this generalizes earlier results of Katsoulis and Kribs and of Davidson, Power and Yang. An analogous result holds for the C*-envelope of the tensor algebra of a compactly aligned topological $k$-graph. As a final application we show that the Hao-Ng isomorphism problem for generalized gauge actions of discrete groups on C*-algebras of product systems has an affirmative answer in many cases thus generalizing recent results of Bedos, Quigg, Kaliszewski and Robertson and of the second author.