Albanese map of special manifolds: a correction (Q6073543)

The following statement is given in [\textit{F. Campana}, Ann. Inst. Fourier 54, No. 3, 499--630 (2004; Zbl 1062.14014), Proposition 5.3]: Theorem 1. Let \(a_X : X \to A_X\) be the Albanese map of \(X\), assumed to be special. Then \(a_X\) is onto, has connected fibers, and no multiple fibre in codimension one. Recall ([\textit{F. Campana}, Ann. Inst. Fourier 54, No. 3, 499--630 (2004; Zbl 1062.14014), Definition 2.1 and Theorem 2.27]) that \(X\) is special if \(\kappa(X,L) < p\) for any \(p > 0\), and any rank-one coherent subsheaf of \(\Omega^pX\). This implies that \(X\) has no surjective meromorphic \(g: X \rightarrow Z\) map onto a manifold \(Z\) of general type and positive dimension \(p\), and more generally exactly means that the ``orbifold base'' \((Z, D_g)\) of such a \(g\), constructed out of its multiple fibers is never of ``general type''. While the proofs are given there for the first two properties (which generalize earlier results by Y. Kawamata and Kawamata-Viehweg in the case when \(\kappa(X) = 0\)) are complete, the proof of the third property, even in the projective case is not (as pointed out to me by K. Yamanoi and E. Rousseau). This note aims to correct it in the projective case (but only partially in the compact Kähler case) by using the main result of [\textit{F. Campana} and \textit{B. Claudon}, Math. Z. 283, No. 1--2, 581--599 (2016; Zbl 1351.14026)], itself based on [\textit{C. Birkar} and \textit{J. A. Chen}, Adv. Math. 270, 206--222 (2015; Zbl 1308.14014)] (or [\textit{J. Cao} and \textit{M. Păun}, Invent. Math. 207, No. 1, 345--387 (2017; Zbl 1360.14050)]). Theorem 2. Let \(f : X \to A\) be a holomorphic map from the connected, compact, Kähler manifold to a compact complex torus \(A\). If \(X\) is special, then: \begin{itemize} \item[1.] \(f\) is surjective, \item[2.] If \(f\) is the Albanese map of \(X\), then \(f\) has connected fibres, \item[3.] \(f\) has no multiple fibers in codimension one if the fibers of \(f\) are connected, and if \(A\) is an abelian variety (equivalently: \(D_f = 0\) if \((A, D_f )\) is the ``orbifold base'' of \(f\)). \end{itemize}