1: \begin{abstract}
2: Let $f: Y\to X$ be a morphism between smooth complex quasi-projective varieties and $Z$ be the closure of $f(Y)$ with $\iota: Z\to X$ the inclusion map. We prove that:
3: \begin{itemize}
4: \item for any field $\K$, there exist finitely many semisimple representations $\{\tau_i:\pi_1(Z)\to {\rm GL}_N(\overline{k})\}_{i=1,\ldots,\ell}$ with $k\subset \K$ the minimal field contained in $\K$ such that if $\varrho:\pi_1(X)\to \GL_{N}(\K)$ is any representation satisfying $[f^*\varrho]=1$, then $[\iota^*\varrho]=[\tau_i]$ for some $i$.
5: \item The induced morphism between $\GL_{N}$-character varieties (of any characteristic) of $\pi_1(X)$ and $\pi_1(Y)$ is quasi-finite if ${\rm Im}[\pi_1(Z)\to \pi_1(X)]$ is a finite index subgroup of $\pi_1(X)$.
6: \end{itemize} These results extend the main results by Lasell \cite{Lasell1995} and Lasell-Ramachandran \cite{LR1996} from smooth complex projective varieties to quasi-projective cases with richer structures.
7: %Our proof is quite different and it gives a relatively simpler proof in the projective cases. Specifically, we avoid the use of the complex variation of Hodge structures, harmonic bundles, and moduli spaces of semistable Higgs bundles as constructed by Simpson. Our main techniques are non-abelian Hodge theories in the non-archimedean case over the quasi-projective varieties.% recently developed by Brotbek-Daskalopoulos-Deng-Mese and Cadorel-Deng-Yamanoi.
8: \end{abstract}
9: