Möbius disjointness conjecture on the product of a circle and the Heisenberg nilmanifold (Q6187127)

\textit{P. Sarnak} [Not. South Afr. Math. Soc. 43, No. 2, 89--97 (2012; Zbl 1473.11147)] formulated a (conjectural) dynamical interpretation of an expected randomness in the behaviour of the classical Möbius function in the form of the following question. For a topological dynamical system \(T\colon X\to X\), where \(X\) is a compact metric space and \(T\) is a homeomorphism, does zero topological entropy for \(T\) imply that for any function \(f\in C(X)\) and point \(x\in X\), we have \[\frac{1}{N}\sum_{n=1}^{N}f(T^nx)\mu(n)\to0\] as \(N\to\infty\)? In other words, does zero topological entropy imply orthogonality on average to the number-theoretic Möbius function? Here the work of \textit{W. Huang} et al. [Discrete Contin. Dyn. Syst. 41, No. 8, 3531--3553 (2021; Zbl 1470.37012)] is generalized to prove the conjecture for a class of distal skew products on the product of the circle and the \(3\)-dimensional Heisenberg manifold.