039b46f5300245d1.tex
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: