Uniquely \(D\)-colourable digraphs with large girth. II: Simplification via generalization (Q2656903)

Summary: We prove that for every digraph \(D\) and every choice of positive integers \(k, \ell\) there exists a digraph \(D^\ast\) with girth at least \(\ell\) together with a surjective acyclic homomorphism \(\psi\colon D^\ast\to D\) such that: (i) for every digraph \(C\) of order at most \(k\), there exists an acyclic homomorphism \(D^\ast\to C\) if and only if there exists an acyclic homomorphism \(D\to C\); and (ii) for every \(D\)-pointed digraph \(C\) of order at most \(k\) and every acyclic homomorphism \(\varphi\colon D^\ast\to C\) there exists a unique acyclic homomorphism \(f\colon D\to C\) such that \(\varphi=f\circ\psi \). This implies the main results in [\textit{A. Harutyunyan} et al., Can. J. Math. 64, No. 6, 1310--1328 (2012; Zbl 1254.05057)] analogously with how the work [\textit{J. Nešetřil} and \textit{X. Zhu}, J. Comb. Theory, Ser. B 90, No. 1, 161--172 (2004; Zbl 1033.05044)] generalizes and extends [\textit{X. Zhu}, J. Graph Theory 23, No. 1, 33--41 (1996; Zbl 0864.05037)].