\section{Acknowledgements}
The authors thank Hendrik Sch\"{u}tz and Ehsan Mansouri for valuable contributions during the initial phase of the experiment.  This work was supported by the EU Horizon 2020 Research and Innovation Program under grant agreement No. 732894 (FET Proactive HOT) and the SNF Cavity Quantum Optomechanics project (grant no. 163387). M.J.B. is supported by MSCA ETN-OMT (grant no. 722923). T.J.K  acknowledges support from ERC AdG (QuREM, grant no. 320966). All samples were fabricated at the Center for MicroNanoTechnology (CMi) at EPFL.
\color{black}
\vspace{-2mm}


\section{Introduction}\label{intro}
Let $X $ be a smooth connected quasiprojective complex  variety, $j: X\hookrightarrow \bar X$ be a {\it good compactification}, that is a  smooth compactification such that $D=\bar X\setminus X$ is a  normal crossings divisor.
An irreducible complex local system
 ${\mathcal V}$   is said to be {\it cohomologically rigid} if  $\H^1(\bar X, j_{!*}{\mathcal E} nd^0({\mathcal V}))=0.$
The finite dimensional complex vector space $\H^1(\bar X, j_{!*}{\mathcal E} nd^0({\mathcal V}))$
 is the Zariski tangent space at the moduli point of ${\mathcal V}$  of the Betti moduli stack of complex local systems of rank $r$ with prescribed determinant and  prescribed local monodromies along the components of $D$ (see Section~\ref{sec:mod}).  So a cohomologically rigid  complex local system is {\it rigid}, that is its moduli point is isolated, and in addition it is smooth.

Simpson conjectures that {\it rigid irreducible  complex local systems with torsion determinant and quasi-unipotent monodromies  around the components of $D$  are of geometric origin}. In particular, they should be {\it integral},
where a complex local system is said to be integral if it is coming by extension of scalars from a local system of projective  ${\mathcal O}_L$-modules of finite type, where  ${\mathcal O}_L$ is the ring of integers of
 a number field $L\subset {\mathbb C}$.
 See  \cite[Conj.~0.1, ~0.2]{LS16} for the formulation of the conjectures  in the projective case.
 We prove:

\begin{thm} \label{thm:int}
 Let $X$ be a smooth connected   quasiprojective  complex variety.  Then irreducible cohomologically rigid complex  local systems with finite determinant and  quasi-unipotent  local monodromies around the components at infinity of a good compactification   are integral.

\end{thm}

When $X$ is projective, a first proof of Theorem~\ref{thm:int} using $F$-isocrystals and $p$ to $\ell$-companions  (\cite{AE16}) has been given in \cite{EG17}.
The short proof presented in this note  only uses  the $\ell$ to $\ell'$ companions, the existence of which has been proved by Drinfeld (\cite[Thm.~1.1]{Dri12}).
We outline it in the projective case.

We use the following criterion for integrality. Let ${\mathcal V}$ be  rigid complex local system   which comes
 by extension of scalars from a local system ${\mathcal V}_{{\mathcal O}_{K,\Sigma}}$ of projective ${\mathcal O}_{K,\Sigma}$-modules where
 $K\subset {\mathbb C}$ is a number field, $\Sigma$ is a finite set of places of $K$ and ${\mathcal O}_{K,\Sigma}$ is the ring of $\Sigma$-integers of $K$.
  For any place $\lambda$ of $K$, let $K_\lambda$ be the completion of $K$ at $\lambda$,  $K_\lambda \subset \bar K_{\lambda}$ be an algebraic closure, ${\mathcal O}_{K_\lambda}\subset \bar {\mathcal O}_{K_\lambda}$ be the underlying extension of rings of integers. Then ${\mathcal V}$ is integral if and only if for any $\lambda$ in $\Sigma$, ${\mathcal V}_{\bar K_\lambda}={\mathcal V}_K\otimes_K \bar K_\lambda$ comes by extension of scalars from a local system
${\mathcal V}_{\bar {\mathcal O}_{K_\lambda}}$ of free $\bar {\mathcal O}_{K_\lambda}$-modules.  The local system of projective ${\mathcal O}_K$-modules is  defined as the inverse image of  $\prod_{\lambda \in \Sigma} {\mathcal V}_{\bar {\mathcal O}_{K_\lambda}} \subset
\prod_{\lambda \in \Sigma} {\mathcal V}_{\bar K_\lambda}$ via the localization map
 ${\mathcal V}_{{\mathcal O}_{K, \Sigma}}\to \prod_{\lambda \in \Sigma} {\mathcal V}_{\bar K_\lambda} .$
(See \cite[Cor.~2.3, Cor.~2.5]{Bas80} for the same criterion expressed in term of  traces of representations).

  We fix natural numbers $r$  and $d$.  The moduli stack of  irreducible complex local systems of rank $r$ and determinant of order $d$ is of finite type. Thus
  the set of
   isomorphism classes of  such local systems which are cohomologically rigid has finite cardinality  $N(r,d)$.
   For any algebraic closed field $C$ of characteristic $0$,  $N(r,d)$ is also the number of  isomorphism classes of  irreducible $C$-local systems of rank $r$ and determinant of order $d$.

  The $N(r,d)$ complex local systems come by extension of scalars of local systems ${\mathcal V}_K$ defined  over a number field $K\subset {\mathbb C}$.  As the topological fundamental group is finitely generated, the $N(r,d)$ local systems  ${\mathcal V}_K$  come by extension of scalars from  local systems
${\mathcal V}_{{\mathcal O}_{K,\Sigma}}$ of free ${\mathcal O}_{K,\Sigma}$-modules, where $\Sigma$ is a finite set of places of $K$ and ${\mathcal O}_{K,\Sigma}$ is the ring of $\Sigma$-integers of $K$.  We want to show that ${\mathcal V}_{\bar K_\lambda} = {\mathcal V}_{ K_\lambda} \otimes_{ K_\lambda  } \bar K_{\lambda}$  comes from a local system defined over ${\mathcal O}_{\bar K_\lambda}$ for all $\lambda$ in $\Sigma$.

   One chooses a place $\lambda$ of $K$ which is not  in $\Sigma$.  It divides a prime number $\ell$.
We complete the finitely many  $
{\mathcal V}_{ {\mathcal O}_{K,\Sigma} }$ considered at $\lambda$ so as to obtain  $\lambda$-adic lisse sheaves on $X$.
  We take a model $X_S$ of $X$ over  a scheme  $S$ of finite type over ${\mathbb Z}$ such that $X_S/S$ is smooth, and take a closed point $s$ of $S$ of characteristic $p$
   prime to the order of the residual representations, to $\ell$,
   to $d$, and to the residual characteristics of the places in $\Sigma$.
   Then
 the $\lambda$-adic sheaves descend to  lisse sheaves on $X_{\bar s}$, where $ k(s)\hookrightarrow k(\bar s)\simeq \bar {\mathbb F}_p$ is  an algebraic closure of the residue field of $s$.

  By a variant of an argument of Simpson (see Proposition~\ref{prop:simpson}), after finite base change on $s$, the lisse sheaves descend to  arithmetic lisse sheaves. They are   irreducible on $X_{\bar s}$ and can be taken to have finite determinant.
  By Drinfeld's existence theorem, for all places $\lambda'$ of $K$ not dividing $p$, in particular for all $\lambda'$ in $\Sigma$, they have $\lambda'$-companions, which are $\bar K_{\lambda'}$-lisse sheaves, thus by definition,
   come from $\bar {\mathcal O}_{K_{\lambda'}}$-lisse sheaves.
 Using purity, the $L$-function of the trace $0$ endomorphisms of the companions, base change, local acyclicity, and Betti to \'etale comparison, one shows that viewed back as  representations of the topological fundamental group with values in $GL(r, \bar {\mathcal O}_{K_{\lambda'}})$, the $\lambda'$-companions
 define on $X$ the required number $N(r,d)$ of cohomologically rigid non-isomorphic $\bar K_{\lambda'}$-local systems of the type we want, all coming from $\bar {\mathcal O}_{K_{\lambda'}}$-local systems.

To generalize the argument to the quasiprojective case and quasi-unipotent monodromies around the components at infinity,
one needs that specializiation,  purity,
 base change, local acyclicity are applicable in the non-proper case.
 This being acquired,
 we bound the problem by  bounding the rank $r$, and fixing two natural numbers $d$ and $h$ such that the order of the determinant divides $d$ and the order of the eigenvalues of the monodromies around the components at infinity divides $h$.  There are finitely many isomorphism classes of cohomologically rigid local systems with those invariants, say $N(r,d,h)$.
 Deligne's theorem on compatible systems on curves \cite[Thm.~9.8]{Del73b}  implies that those data are preserved by passing to companions, which enables us to make the counting argument with $N(r,d)$ replaced  by $N(r,d,h)$.

\medskip
{\it Acknowledgements:}  Theorem~\ref{thm:int}
was initially written only in the projective case. We thank Pierre Deligne for suggesting to us the generalization   presented here, allowing quasi-unipotent monodromies  along the components at infinity.   Even if most of  the arguments presented in this new version are variants of the ones contained in our initial version,  Proposition~\ref{prop:coh} and Remark~\ref{rmk:IC} are due to him,  and  are crucial for applying the ideas developed in the projective case to the case of quasi-unipotent monodromies at infinity.
Furthermore, for clarification,
 he sent us his version
 of Simpson's crucial theorem \cite[Thm.~4]{Sim92},  together with his version of Proposition~\ref{prop:coh}, which we need to later develop our weight argument. Beyond the mathematics, we thank him for his commitment
 to our article.
  We thank Carlos Simpson for exchanges on his general conjecture and Luc Illusie for kindly giving us the reference  for local acyclicity.

\section{Cohomologically rigid local systems with prescribed monodromy around the components of the divisor at infinity} \label{sec:mod}
Let $X$ be a smooth connected  quasiprojective  complex variety, $j: X\hookrightarrow \bar X$ be a good compactification, $D=\bar X\setminus X$ be the  normal crossings divisor at infinity. We write $D=\cup_{i=1}^N D_i$ where the $D_i$ are the irreducible components.
In this section we clarify the notion of {\it rigid irreducible  complex local systems with torsion determinant and quasi-unipotent monodromies  around the components of $D$.}

Let $U=\bar X\setminus D_{\rm sing}$, where $D_{\rm sing}$ is the singular locus of $D$, and $j: X\xrightarrow{a}U \xrightarrow{b} \bar X$ be the open embeddings.   We choose
a complex point $x\in X$ and  $r \in {\mathbb N}_{\ge 1}$.  For each $i=1,\ldots, N$, we fix a conjugacy class ${\mathcal K}_i \subset GL(r,  {\mathbb C})$.  It is the  set of complex points of a subvariety of $GL(r)$  which we denote by the same letter ${\mathcal K}_i$.
 If $\Delta_i\subset U$ is a ball around $y_i\in D_i \cap U$ and    $x_i \in \Delta^\times_i$ with
$ \Delta_i^\times =\Delta_i\setminus D_i\cap \Delta_i$, the fundamental group
$\pi_1(\Delta_i^\times, x_i) $ is freely generated  by the local monodromy  $T_i$, determined uniquely up to sign,  around $D_i \cap \Delta_i$, so
$\pi_1(\Delta_i^\times, x_i) ={\mathbb Z}\cdot T_i$.
Any  complex linear local system ${\mathcal V}$ defines by restriction a complex  linear local system ${\mathcal V}|_{\Delta^\times_i}$ on $\Delta_i^\times$.  We say  that  ${\mathcal V}|_{\Delta_i^\times}$ {\it  is defined by} ${\mathcal K}_i$  if  the image of $T_i$ lies in ${\mathcal K}_i$  in its monodromy representation.   We say   that  ${\mathcal V}$ {\it  is defined by} ${\mathcal K}_i$  {\it along} $ D_i$  if ${\mathcal V}|_{\Delta^\times_i}$ is
{\it for all points} $y_i\in D_i\cap U$.
As $D_i$ is irreducible, $D_i\cap U$ is smooth and connected, so the condition that ${\mathcal V}$ be  defined by ${\mathcal K}_i$
along $D_i$ is equivalent to the condition that ${\mathcal V}|_{\Delta_i^\times}$ is defined by ${\mathcal K}_i$ for the choice of one single $y_i  \in D_i\cap U$.   For each $i=1,\ldots, N$, we fix one such $y_i\in D_i\cap U$, $\Delta_i$ and $x_i\in \Delta_i^\times$ as above.
 We also fix a rank $1$ local system ${\mathcal L}$ of  order $d$ defined by a character $ \chi_{{\mathcal L}}: \pi_1^{\rm top}(X,x)\to \mu_d({\mathbb C})\subset {\mathbb C}^\times$.

 Let $T={\rm Spec}(B)$ be a  complex connected affine variety of finite type. A  $T$-{\it local system}  ${\mathcal V}_T$  over $X$  is a local system of locally free $T$-modules, or equivalently a locally free $T$-sheaf $W$ together with a representation $\rho: \pi_1^{\rm top}(X,x)\to {\rm Aut}(W)$.  The {\it rank } of ${\mathcal V}_T$ is the rank of $W$. A {\it geometrically  irreducible} $T$-{\it local system} is a $T$-local system  ${\mathcal V}_T$ such that ${\mathcal V}\times_T \bar \eta$ is an irreducible local system over $\bar \eta$ for all geometric generic points $\bar \eta$ of $T$.
   We define a stack  from  the category of affine varieties  of finite type  over $K$
  to the category of groupoids, sending $T$ to  the groupoid of isomorphism classes of geometrically irreducible  $T$-local systems ${\mathcal V}_T$ of rank $r$ together with an isomorphism $\wedge^r {\mathcal V}_T\cong {\mathcal L}\otimes_{{\mathbb C}} T$.
  We denote it by ${\sf IrrLoc}(X,r, {\mathcal L})$.
For each $i=1,\ldots, N$, we choose  a basis of $({\mathcal V}_T)_{x_{i}}$.
  We then define the  substack  $\underline{M}$ of ${\sf IrrLoc}(X,r, {\mathcal L})$ by the condition that the image of $T_{i}$ by the monodromy representation of ${\mathcal V}_T|_{ \Delta^\times_{i}  }$ is a section of ${\mathcal K}_i\times_K T\subset GL(r)\times_K T$.  As ${\mathcal K}_i\subset GL(r)$ is locally closed, $\underline{M}\subset {\sf IrrLoc}(X,r, {\mathcal L})$ is a locally closed substack.

If  for any $i=1,\ldots, N$, the ${\mathcal K}_i$ is the  conjugacy class of a quasi-unipotent matrix, we say that a point $[{\mathcal V}]\in \underline{M}(K)$  has {\it quasi-unipotent monodromies along the components of $D$}.  This implies in particular that the varieties ${\mathcal K}_i$  are defined over a number field $K$, and consequently $\underline{M}$ is defined over the same number field.
 We shall need two properties of $\underline{M}$.
\begin{proposition} \label{prop:stack}  Assume that  for any $i=1,\ldots, N$, the ${\mathcal K}_i$ is the  conjugacy class of a quasi-unipotent matrix. Then
$\underline{M}$ is an algebraic stack of finite type defined over the number field $K$. In particular,  it  has finitely many $0$-dimensional irreducible components.
\end{proposition}
\begin{proof}
As $\underline{M}$  is a locally closed substack of $ {\sf IrrLoc}(X,r, {\mathcal L}),$
it suffices to show that the stack  ${\sf IrrLoc}(X,r,{\mathcal L})$ is an algebraic stack of finite type.

We recall the classical argument for this fact. First the automorphism group of any ${\mathcal V}_T$ is $\mu_r(T)$,  which defines the finite constant group scheme $\mu_r$. Since the topological fundamental group of $X$ is a finitely presented group, we equivalently consider a finitely presented group $\Gamma$ and the stack ${\sf IrrRep}(\Gamma, {\mathcal L})$ of geometrically irreducible families of $\Gamma$-representations of rank $r$ given with an isomorphism of its determinant  to a fixed  ${\mathcal L}$. At first we remark that this stack admits a fully faithful morphism to the stack of rank $r$ $\Gamma$-representations ${\sf Rep}(\Gamma, {\mathcal L})$ with an isomorphism of its $r$-th exterior power with ${\mathcal L}:={\mathcal O}_T$ on which $\Gamma$ acts by $\chi_{{\mathcal L}}$.
 We claim that this morphism is an open immersion. To see this we have to prove that for a $T$-family of $\Gamma$-representations, that is, a rank $r$-representation $\rho\colon\Gamma \to {\rm Aut}(W)$, where $W$ is a locally free $B$-module of rank $r$, together with the determinant condition, there exists an open subset $T_0 \subset T$, such that the $\Gamma$-representation over a geometric point $x$ of $T$ is irreducible, if and only if $x$ is a geometric point of $T_0$.

The $\Gamma$-representation $\rho$ induces an action of $\Gamma$ on the fibre bundle $\pi\colon \bigsqcup_{k = 0}^r\mathsf{Gr}(W,k) \to T$, where $\mathsf{Gr}(W,k)$ is the Grassmann bundle of $k$-planes in  $W$. We define $T_0$ as the complement of $\pi(\bigsqcup_{k = 0}^r\mathsf{Gr}(W,k)^{\Gamma})$. Since $\pi$ is proper, and the fixed point set is closed, we see that $T_0$ is an open subscheme of $T$. It is clear that for a geometric point $x$ of $T$, the induced representation $\rho_x$ is irreducible if and only if there does not exist an integer $k$, and a $k$-dimensional subspace fixed by $\Gamma$.

Since an open substack of a stack of finite type is also of finite type, we are now reduced to proving that ${\sf Rep}(\Gamma, {\mathcal L})$ is an algebraic stack of finite type. To see this we choose a presentation $\Gamma \simeq \langle r_1,\dots, r_e|s_1,\dots,s_f \rangle$ and $L_1, \ldots, L_e \in \mu_r(K)$, where $K$ is a number field,  such that $r_i\mapsto L_i$ defines the character $\chi_{\mathcal L}$.
Let $\mathcal{R}(\Gamma, {\mathcal L})$ be the affine $K$-variety of finite type, which represents the functor
$$T \mapsto  (A_1,\dots, A_e) \in GL(r)_K^e $$  such that the relations
${\rm det} (A_j)=L_i$ for $ j=1,\ldots, e$ and
$ s_i(A_1,\dots, A_e) = 1$ for $ i=1,\dots,f$ hold.
This is by definition an affine variety of finite type over $K$.
To such a tuple $(A_1,\dots, A_e) $ one attaches the representation of $\Gamma$ on ${\mathcal O}_T^{\oplus r}$ given by the $A_i$, and the isomorphism $e_1\wedge \ldots \wedge e_r \xrightarrow{} 1$ of the determinant of this representation with ${\mathcal L}$. This construction induces an equivalence of the quotient stack $[\mathcal{R}(\Gamma, {\mathcal L})/SL(r)]$ with
 ${\sf Rep}(\Gamma, {\mathcal L})$.
Hence
 ${\sf Rep}(\Gamma, {\mathcal L})$  is an algebraic stack of finite type over $K$.
\end{proof}

\begin{remark}
It follows from general theory that the stack $\underline{M}$ has a coarse moduli space. Indeed, according to \cite[Thm.~5.1.5]{ACV03}, there exists an algebraic stack $\underline{M}^{\mu_r}$, such that for any $z \in \underline{M}^{\mu_r}(T)$ we have $\mathsf{Aut}(z) = \{1\}$, and a morphism $\underline{M} \to \underline{M}^{\mu_r}$ which is the universal morphism to an algebraic stack with this property. This implies that for a $K$-scheme $T$,   the groupoid $\underline{M}^{\mu_r}(T)$ is equivalent to a set. Hence the algebraic stack $\underline{M}^{\mu_r}$ is actually (equivalent to) an algebraic space. The universal property of the morphism $\underline{M} \to \underline{M}^{\mu_r}$ shows that $\underline{M}^{\mu_r}$ is a coarse moduli space.
\end{remark}

The ${\mathbb C}$-points corresponding to $0$-dimensional components  are isolated points of the moduli space (so-called {\it rigid local systems}).  Thus they are all defined over a finite extension of $\mathbb{Q}$.

\begin{proposition} \label{prop:coh}
The Zariski tangent space  $T_{[{\mathcal V}]}$ at a point $[{\mathcal V}]\in \underline{M}$  associated to ${\mathcal V}$  defined over $K$ is  the finite dimensional $K$-vector space
$H^1(U, a_* {\mathcal E} nd^0({\mathcal V}))$.  In particular, if $H^1(U, a_* {\mathcal E} nd^0({\mathcal V}))=0$, the geometrically irreducible $K$-local system is rigid, and there are finitely many such.
\end{proposition}
\begin{proof} We follow Deligne's line of  proof.  Set $K[e]=K[e]/(e^2)$. By definition $T_{[{\mathcal V}]} = \underline{M}( {\rm Spec}(K[e])$ where $[{\mathcal V}]= \underline{M}( {\rm Spec}(K[e]\otimes_{K[e]} K)).$  So we want to identify $H^1(U, a_* {\mathcal E} nd^0({\mathcal V}))$ with the set of isomorphism classes of $K[e]$-local systems ${\mathcal V}_{K[e]}$ of rank $r$,
with an isomorphism $\wedge^r {\mathcal V}_T\cong \wedge^r {\mathcal V}\otimes_K T$ and
with the following conditions:
 \begin{itemize}
 \item[0)] ${\mathcal V}_{K[e]} \otimes_{K[e]} K\cong {\mathcal V}$;
 \item[1)]   for any complex point $y_i\in D_i\cap U$, and $\Delta_i$ a ball around $y_i$,
 ${\mathcal V}_{K[e]}|_{\Delta^\times_i} \cong {\mathcal V}|_{\Delta^\times_i} \otimes_K K[e]$.
\end{itemize}
We have to show that the $K[e]$-local systems with a fixed isomorphism $\wedge^r {\mathcal V}_T\cong \wedge^r {\mathcal V}\otimes_K T$ and fulfilling the conditions
0), 1) form a non-empty  torsor under $a_*{\mathcal E} nd^0({\mathcal V})$.
So we choose a cover $X=\cup_\alpha {\mathcal X}_\alpha$ by balls ${\mathcal X}_\alpha$. On each ${\mathcal X}_\alpha$, ${\mathcal V}_{K[e]}|_{{\mathcal X}_\alpha}$ and
${\mathcal V}|_{{\mathcal X}_\alpha}$ are trivialized, thus one has an isomorphism ${\mathcal V}_{K[e]}|_{{\mathcal X}_\alpha} \cong {\mathcal V}|_{{\mathcal X}_\alpha}\otimes_K K[e]$. The constraint 0)   implies  that on ${\mathcal V}|_{{\mathcal X}_\alpha \cap {\mathcal X}_\beta}$ the composition of one such isomorphism by the inverse of the other one yields an isomorphism  in
$({\mathcal E} nd^0({\mathcal X}_\alpha\cap {\mathcal X}_\beta, {\mathcal V}), +) =(1+  {\mathcal E} nd^0({\mathcal X}_\alpha\cap {\mathcal X}_\beta, {\mathcal V}), \times)  \subset  {\rm Aut}_{K[e]} ({\mathcal X}_\alpha\cap {\mathcal X}_\beta, {\mathcal V}\otimes_K K[e])$. This defines a cocycle, thus a cohomology class  in $
H^1(X, {\mathcal E} nd^0({\mathcal V}))$. The constraint 1)  implies that on ${\mathcal X}_\alpha\cap {\mathcal X}_\beta \cap \Delta^\times_i$ the cohomology class defined by the cocycle is trivial. This shows that the cohomology class has values in
\ga{}{ H^1(U, a_* {\mathcal E} nd^0({\mathcal V}))= {\rm Ker}\big( H^1(X, {\mathcal E} nd^0({\mathcal V})) \to \oplus_{i=1}^N  \oplus_{j=1}^{j_i} H^1(\Delta_{ij}^\times, {\mathcal E} nd^0({\mathcal V}))\big),\notag}
where for each $i=1,\ldots, N$, we covered $D_i$ by   $\cup_{j=1}^{j_i} \Delta_{ij}\supset D_i$ with $\Delta_{ij}\subset U$.
 One trivially checks that the change of
isomorphisms ${\mathcal V}_{K[e]}|_{{\mathcal X}_\alpha} \cong {\mathcal V}|_{{\mathcal X}_\alpha}\otimes_K K[e]$ changes the cocycle with values in $a_*{\mathcal E} nd^0({\mathcal V})$ by a coboundary. This finishes the proof of the cohomological part.  The rest follows directly from Proposition~\ref{prop:stack}.

\begin{remark} \label{rmk:IC}
Let $j_{!*} {\mathcal V}$ be the {\it intermediate} extension on $\bar X$ of a $K$-local system ${\mathcal V}$ on $X$.  From \cite[Prop.~2.1.11]{BBD82} one derives that  there is an exact triangle   $j_{!*} {\mathcal V}\to Rb_* a_* {\mathcal V} \to {\mathcal C}$  in the bounded derived category of $\bar X$ such that ${\mathcal C}$ is supported on $D_{\rm sing}$ and  is concentrated in degrees $\ge 2$. Thus it induces an isomorphism on $\H^1$.
So Proposition~\ref{prop:coh} says $T_{[{\mathcal V}]}=\H^1(\bar X, j_{!*} {\mathcal E} nd^0({\mathcal V}))$.
 We also remark that if the  local monodromies of ${\mathcal V}$ along the components of $D$ are finite, then
 $j_{!*} {\mathcal V}= j_* {\mathcal V}, \ j_{!*}{\mathcal E} nd^0 {\mathcal V}= j_* {\mathcal E} nd^0 {\mathcal V}$.
\end{remark}

\end{proof}

\section{ Proof of Theorem~\ref{thm:int} } \label{sec:proof}

 Let $X $ be a smooth connected quasiprojective complex  variety, $x\in X$ be a geometric point, $j: X\hookrightarrow \bar X$ be a  good compactification,  thus $D=\bar X\setminus X$ is a strict normal crossings divisor. We write $j: X\xrightarrow{a} U=\bar X\setminus D_{\rm sing} \xrightarrow{b} \bar X$.  Let $\rho: \pi^{\rm top}_1(X,x)\to GL(r, {\mathbb C})$ be a  complex linear representation, defining the local system ${\mathcal V}$.

We fix a natural number $h$ and
define the set ${\mathcal S}(r,d, h)$ consisting of isomorphism classes of rank $r$   irreducible cohomologically rigid complex local systems  ${\mathcal V}$ on $X$ with determinant of order dividing $d$,  such that the local monodromies at infinity, which are quasi-unipotent,
have eigenvalues of order dividing $h$.
 There are finitely many local systems of rank $1$ of order dividing $d$ and once the Jordan type of the
 unipotent part of the
monodromy representation along  $D_i$ is fixed, there are finitely many possibilities  for ${\mathcal K}_i\subset GL(r, {\mathbb C})$ (see notations of Section~\ref{sec:mod}).  As there are finitely many such Jordan types,  Proposition~\ref{prop:coh} implies that ${\mathcal S}(r,d, h)$ is finite,
of cardinality $\frak{N}=N(r,d,h)$. In addition, one has finitely many possibilities for ${\mathcal K}_i$ and the determinant ${\mathcal L}$, defining finitely many stacks  $\underline{M}_m$.
 Let $K_0$ be a number field over which they are all defined are defined.
 The disjoint union $\underline{N}=\sqcup_m \underline{M}_m$  is a stack of finite type defined over $K_0$.

There is a connected regular scheme $S$ of finite type over ${\mathbb Z}$  with a complex generic point ${\rm Spec} ( {\mathbb C})\to S$ such that $( j: X \hookrightarrow \bar X, x,  D, D_J)$  is the base change from $S$ to ${\rm Spec}( {\mathbb C})$
of  $(j_S: X_S \hookrightarrow \bar X_S,
x_S,  D_S=\bar X_S\setminus X_S,  D_{J,S} =\cap_{j\in J} D_{j,S})$  with the following properties.  The scheme $\bar X_S$ is smooth projective over $S$, $D_S$ is a relative normal crossings divisor with strata $D_{J,S}$,  $X_S=\bar X_S\setminus D_S$,    $x_S$ is a $S$-point of $X_S$.
This also defines $X_S\xrightarrow{a_S} U_S\xrightarrow{b_S} \bar X_S$.
We say for short that the objects with lower index $S$ are {\it models} over $S$ of the objects without lower index $S$ (which means that the latter ones are defined over ${\mathbb C}$).
\medskip

As the ${\mathcal V}_i \in {\mathcal S}(r,d, h)$ are cohomologically rigid,  they are in particular rigid.  As in addition the local monodromies at infinity are quasi-unipotent,  there is a number field $K \subset {\mathbb C}$  containing $K_0$ such that up to conjugacy  the underlying complex linear representations  factor as  $\rho_i: \pi^{\rm top}_1(X,x) \to GL(r, K) \to  GL(r, {\mathbb C})$,   and such that the rank $1$  local systems ${\rm det}(\rho_i)$  factor through
$ \pi^{\rm top}_1(X,x) \to \mu_d(K)$.  As $\pi_1^{\rm top}(X,x)$ is finitely generated, there is a finite set $\Sigma$ of places of $K$ such that one has a factorization
\ga{}{\rho_i: \pi^{\rm top}_1(X,x) \xrightarrow{\rho_i^0} GL(r, {\mathcal O}_{K,\Sigma} )  \to GL(r, K) \to  GL(r, {\mathbb C}), \notag} where ${\mathcal O}_{K,\Sigma} \subset K$ is the ring of $\Sigma$-integers of $K$.

\medskip

We fix a finite place $\lambda \in {\rm Spec}({\mathcal O}_{K,\Sigma})$, dividing  $ \ell \in {\rm Spec}({\mathbb Z})$.  We denote by  $K_\lambda$ the completion of $K$ at $\lambda$ and by
${\mathcal O}_{K_\lambda}$  its ring of integers. This defines the representations
\ga{}{\rho^{\rm top}_{i, \lambda}:  \pi^{\rm top}_1(X,x) \xrightarrow{\rho_i^{0, {\rm top}}} GL(r, {\mathcal O}_{K,\Sigma} ) \to GL(r, {\mathcal O}_{K_\lambda}) \notag}
with factorization
\ga{}{ \rho_{i, \lambda}:  \pi^{\rm \acute{e}t}_1(X,x)  \xrightarrow{\rho_{i,\lambda}^0}  GL(r, {\mathcal O}_{K_\lambda}) \to GL(r, K_\lambda). \notag}
By extension of the ring of coefficients for  Betti cohomology, one has
\ga{}{ 0=H^1(U,  a_*{\mathcal E} nd^0(\rho_i))=H^1(U, a_*{\mathcal E} nd^0(\rho^{0, {\rm top}}_i))\otimes_{{\mathcal O}_{K,\Sigma}} {\mathbb C}, \notag}
thus $H^1(U, a_*{\mathcal E} nd^0(\rho^{0, {\rm top}}_i))$ is torsion,
while by comparison between Betti and \'etale cohomology one has
\ga{}{0= H^1(U, a_*{\mathcal E} nd^0(\rho^{0, {\rm top}}_i)) \otimes_{{\mathcal O}_{K,\Sigma}} K_\lambda = H^1(U, a_*{\mathcal E} nd^0(\rho_{i,\lambda})). \notag}
Let $\frak{m}_{K_\lambda} \subset {\mathcal O}_{K_\lambda}$ be the maximal ideal, and
\ga{}{ \overline{  \rho_{i, \lambda}^0}:  \pi^{\rm \acute{e}t}_1(X,x)  \to GL(r, {\mathcal O}_{K_\lambda}/\frak{m}_{K_\lambda}) \notag}
be the residual representations.

\medskip
We choose a closed point  $s\in S$ such that its  characteristic $p$  is prime to
\begin{itemize}
\item[]the cardinality of the residual monodromy groups
$   \overline{ \rho_{i, \lambda}^0}(\pi^{\rm \acute{e}t}_1(X,x) ),$
\item[]
to  $d$,
\item[] to $\ell$,
\item[] to the residual characteristics of the places in $\Sigma$,
\item[] and to $h$.

\end{itemize}

 There is a {\it specialization homomorphism}
\ga{}{sp: \pi_1^{\rm \acute{e}t}(X,x)\to \pi_1^{\rm \acute{e}t,p'}(X_{\bar s },x_{\bar s}) \notag}
defined by Grothendieck,
   with target the  prime to $p$ quotient  of  $\pi_1^{\rm{ \acute{e}t}}(X_{\bar s },x_{\bar s})$, which is surjective,  and is an isomorphism on the prime to $p$ quotient of $\pi_1^{\rm \acute{e}t}(X,x)$  (\cite[X, Cor.~2.4]{Gro71}),  \cite[XIII,4.7]{Gro71}).  The complex point ${\rm Spec}({\mathbb C})\to S$  factors through the choice of a complex point ${\rm Spec}({\mathbb C})\to  T$ where $T={\rm Spec}( \bar {\mathcal O}_{S,s})$  and  $\bar {\mathcal O}_{S,s} $ is the strict henselization of $S$ at $s$.
   The  tame \'etale coverings of $X_{\bar s}$  lift to  $X_T$, defining a faithful functor from
   the category of  tame lisse sheaves on $X_{\bar s}$  to lisse sheaves on $X({\mathbb C})$.  This functor is an equivalence when restricted to  ``monodromy prime to $p$'' part of the fundamental group. That is,
  omitting the base points,  $sp$  comes from
    the induced map
$X\to X_T$ and  base change $
\pi_1^{\rm{ \acute{e}t,p'}}(X_{\bar s }) \xrightarrow{\cong}
 \pi_1^{\rm{\acute{e}t,p'}}(X_{  T  })$.

   The
  push-out by $sp$ of the
  homotopy exact sequence \cite[IX, Thm.~6.1]{Gro71}
\ga{hom}{1\to \pi_1^{\rm \acute{e}t}(X_{\bar s}, x_{\bar s})\to  \pi_1^{\rm \acute{e}t}(X_ s, x_s) \to
\pi^{\rm \acute{e}t}_1(s,\bar s)\to 1\notag}
yields the ``prime to $p$ homotopy exact sequence''
\ga{hom}{1\to \pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, x_{\bar s})\to  \pi_1^{\rm \acute{e}t,p'}(X_ s, x_s) \to
\pi^{\rm \acute{e}t}_1(s,\bar s)\to 1\notag}
defining $\pi_1^{\rm \acute{e}t,p'}(X_ s, x_s)$.
As ${\rm Ker}(   \rho_{i, \lambda}^0( \pi^{\rm \acute{e}t}_1(X,x))  \to
\overline{ \rho_{i, \lambda}^0}(\pi^{\rm \acute{e}t}_1(X,x) ))$ is a pro-$\ell$-group, by the choice of $s$,  one has a factorization
\ga{sp}{
 \rho_{i, \lambda}^0:  \pi^{\rm \acute{e}t}_1(X,x)  \xrightarrow{ sp}  \pi^{\rm \acute{e}t, p'}_1(X_{\bar s},x_{\bar s})
\xrightarrow{\rho_{i, \lambda, \bar s}^0}
GL(r, {\mathcal O}_{K_\lambda}), \notag
}
where
and $\bar s$ is an $\bar {\mathbb F}_p$-point of $X_s$ above $x_s$.

   This defines the  diagram
   \ga{}{\xymatrix{
 \ar@/_2.0pc/@[][rr]^{j_s}   X_s \ar[r]^{a_s} &  U_s \ar[r]^{b_s} & \bar X_s
     } \notag}
     and above it the  diagram
     \ga{}{\xymatrix{
 \ar@/_2.0pc/@[][rr]^{j_{\bar s}}   X_{\bar s} \ar[r]^{a_{\bar s}} &  U_{\bar s} \ar[r]^{b_{\bar s}} & \bar X_{\bar s}
     } \notag}
     Finally, still by the choice of $s$, one has a factorization
   \ga{}{ {\rm det}(\rho_i): \pi_1^{\rm top}(X,x)\to \pi^{\rm \acute{e}t}_1(X,x) \xrightarrow{sp} \pi^{\rm \acute{e}t,p'}_1(X_{\bar s},x_{\bar s}) \to \mu_d(K).\notag}
  We define  the representation $\rho_{i,\lambda, \bar s}: \pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, x_{\bar s}) \xrightarrow{\rho^0_{i,\lambda, \bar s}} GL(r, {\mathcal O}_{K_\lambda})  \to
GL(r, K_\lambda).
$
The next proposition is a variant  Simpson's Theorem~\cite[Thm.~4]{Sim92}.
\begin{proposition} \label{prop:simpson} After replacing $s \in S$ by  any point $s' \in S(k')$, with $k(s)\subset k' \subset k(\bar s)$ with degree $s'/s$ sufficiently divisible,
one has a factorization
\ga{}{\xymatrix{
 \ar[d]_{\rho_{i, \lambda, \bar s}}     \pi^{\rm \acute{e}t,p'}_1(X_{\bar s},x_{\bar s})  \ar[r] & \pi^{\rm \acute{e}t,p'}_1(X_{s},x_{ s})
  \ar[dl]^{\rho_{i, \lambda, s}} \\
GL(r, {K_\lambda})
} \notag}
 such that ${\rm det}(\rho_{i,\lambda, s})$ is finite.
\end{proposition}
\begin{proof}
The representation $\rho_{i,\lambda}$, or equivalently the representation $\rho_{i,\lambda, \bar s}$,
  defines a $K_\lambda$-point  $[\rho_{i,\lambda}]\in \underline{M}(K_\lambda)$.
The point $x_s\in X_s$ is rational, thus splits the prime to $p$ homotopy exact sequence. We still denote by $g$ the lift to  $\pi_1^{\rm \acute{e}t}(X_s, x_s)$ of an element in $\pi_1^{\rm \acute{e}t}(s, \bar s)$.
For such a  $g$, we define the representation
\ga{}{ \rho^g_{i,\lambda}: \pi_1^{\rm \acute{e}t}(X,x)\to GL(r, K_\lambda) \notag \\
\gamma\mapsto \rho_{i,\lambda, \bar s}(g\cdot sp(\gamma) \cdot g^{-1}). \notag}
\begin{lemma} \label{lem:unip}
 $\rho_{i,\lambda}^g \in \underline{N}(K_\lambda)$.
 \end{lemma}
 \begin{proof}
 We have to prove that the determinant of $\rho_{i,\lambda}^g$
 has order  dividing $d$, and that the monodromies along the components of $D$ at infinity
 are quasi-unipotent with order of the eigenvalues dividing $h$.

We first show we may assume that $X$ is a curve.
We take in $\bar X$ a smooth projective  curve  $\bar C$  which is a complete intersection of ample divisors, all of which containing $x$ and all the $y_\iota$,  in good position with respect to $D$.
 In particular, the curve $C$ contains $x$ and  the points $y_\iota$.  One may assume that $\bar C$ is defined over $S$, and that $y_{\iota,S}$ is a $S$-point of $D_{\iota,S}$.  Let $C=\bar C\cap X$. Via the  surjections $\pi^{\rm top}_1(C,x)\to  \pi_1^{\rm top}(X,x)$, $\pi^{\rm \acute{e}t}_1(C,x)\to  \pi_1^{\rm \acute{e}t}(X,x)$ inducing via the specialization the surjection
$\pi^{\rm \acute{e}t}_1(C_{\bar s},x_{\bar s})\to  \pi_1^{\rm \acute{e}t}(X_{\bar s},x_{\bar s})$, one reduces  the statement to the case where $X$ has dimension $1$.

Let $k_{y_{\iota, s}}$  be the local field  which is
 the field of fractions of the complete ring ${\mathcal O}_{\bar X_s, y_{\iota,s}}$  of $\bar X_s$ at $y_{\iota, s}$.
 A uniformizer $t$ of ${\mathcal O}_{\bar X_s, y_{\iota,s}}$ yields an identification of the category of finite \'etale prime to $p$  extensions of
 $k_{y_{\iota, s}}$  with the category of finite \'etale prime to $p$ covers of ${\mathbb G}_m$
  (see
 \cite[Thm.~1.41]{Kat86} and \cite[Section~15]{Del89} for the theory of  tangential base points at infinity).  The rational point $1$ of ${\mathbb G}_m$ defines a fiber functor $1_t$, thus
  yields the prime to $p$ homotopy exact  exact sequence
\ga{}{ 1\to \pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t) \to \pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota,  s}}, 1_t) \to
\pi_1^{\rm \acute{e}t}(s, \bar s) \to 1 \notag}
for $k_{y_{\iota,  s}}$, together
with  a splitting of $\pi_1^{\rm \acute{e}t}(s, \bar s)$ in  $\pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota,  s}}, 1_t)$.
It maps to the prime to $p$ homotopy exact  exact sequence
\ga{}{ 1\to \pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, 1_t) \to \pi_1^{\rm \acute{e}t,p'}(X_s, 1_t) \to
\pi_1^{\rm \acute{e}t}(s, \bar s) \to 1 \notag}
for $X_s$ based at $1_t$,
where $1_t$ is viewed as  a tangential base point on $X_s$.  An equivalence $\theta_s$ of fiber functors between $1_t$ and $x_{\bar s}$ for the category of  finite \'etale prime to $p$ covers of $X_s$ yields a  isomorphism of exact sequences
from the  prime to $p$ homotopy exact  sequence  for $X_s$ based at $1_t$ with the one based at $x_{\bar s}$, compatibly with the section.  Thus conjugacy by $g$ stabilizes the image of
$\pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t) \to \pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, 1_t)
\xrightarrow{\theta_s} \pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, x_{\bar s}).$
Let ${\mathcal O}_{\bar X, y_{\iota}}$  be the complete ring ${\mathcal O}_{\bar X, y_{\iota}}$  of $\bar X$ at $y_{\iota}$, and  $k_{y_\iota}$ be its field of fractions. The specialization homomorphism for the fundamental groups based at $1_t$ sends
$\pi_1^{\rm \acute{e}t}(k_{y_{\iota}}, 1_t)$  to $\pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t)$, and the profinite completion of $\pi_1(\Delta^\times_\iota, 1_t)$ is  $\pi_1^{\rm \acute{e}t}(k_{y_{\iota}}, 1_t)$. Here we abused notations: ${\mathbb G}_m$ over $s$ lifts to ${\mathbb G}_m$ over $T$ then over ${\mathbb C}$, as well as the uniformizer $t$. We used the same notation $1_t$ for the base point on those lifts, and used that the category  of finite \'etale extensions  (resp. topological covers)
 of $k_{y_{\iota}}$  (resp. $\Delta^\times_\iota$) is equivalent to the corresponding one on ${\mathbb G}_m$.  Finally, identifying
 ${\mathbb G}_m({\mathbb C})$ with $\Delta_\iota^\times$ identifies $1_t$ and $x_\iota$ with two points in $\Delta_\iota^\times$. We choose a path $\theta_\iota$ between the two in
  $\Delta_\iota^\times$, and
  a path  $\theta$  between $1_t$ and $x$ on $X$. This defines isomorphisms $\pi_1(\Delta^\times_\iota, 1_t)\xrightarrow{\theta_\iota} \pi_1(\Delta^\times_\iota, x_\iota)$ and $\pi_1(X, 1_t)\xrightarrow{\theta} \pi_1(X, x)$. Set
  $U= \theta_\iota^{-1}(T_\iota)$.
  Then by assumption $\rho_i \circ \theta(U)\in {\mathcal K}_\iota$.
   Let $\hat U$ be its image  via the profinite completion  $\pi_1(\Delta_\iota^\times, 1_t)\to
  \pi_1^{\rm \acute{e}t}(k_{y_{\iota}}, 1_t) $.  Summarizing the information we have
  \ga{}{\rho_{i,\lambda}^g\circ \theta(\hat U)=  \rho_{i, \lambda,\bar s}  (g\cdot sp( \theta(\hat U)) \cdot g^{-1})=
  \rho_{i,\lambda, \bar s} \circ \theta_s (g\cdot sp(\hat U) \cdot g^{-1})\notag}
  and
  \ga{}{ g\cdot sp(\hat U) \cdot g^{-1} \in \pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t).
   \notag}
   As $sp(\hat U)$ is a topological generator of $\pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t)\cong \hat {\mathbb Z}^{(p')}$,
  there is an element $(c_n) \in \hat {\mathbb Z}^{(p')}$, with $c_n \in {\mathbb Z}/n$, such that
 $ g\cdot sp(\hat U) \cdot g^{-1} =sp (\hat U)^{c_n} \in \pi_1^{\rm \acute{e}t,p'}(k_{y_{\iota, \bar s}}, 1_t)\in {\mathbb Z}/n$.  As the subset  $A$ of matrices in $GL(r, K_\lambda)$ of quasi-unipotent matrices with order of the eigenvalues dividing $h$  and the order of the determinant dividing $d$ is closed, and
$ \rho_{i,\lambda, \bar s} \circ \theta_s (sp(\hat U)^{c_n} )\in A$, one has $\rho_{i,\lambda}^g\circ \theta(\hat U) \in A$.
Thus  the representation $\rho^{g}_{i,\lambda}$
defines a point $ [\rho^{g}_{i,\lambda}]\in \underline{N}(K_\lambda).$
\end{proof}
 The  map
\ga{}{\pi_1^{\rm \acute{e}t}(s,\bar s)\to \underline{N}(K_\lambda), \ g\mapsto  [\rho^{g}_{i,\lambda}]\ \notag}
 is continuous for the profinite topology on $\pi_1^{\rm \acute{e}t}(s,\bar s)$
  and the $\lambda$-adic topology on $ \underline{N}(K_\lambda)$.
 As
$[\rho_{i,\lambda}]\in \underline{N}(K_\lambda)$ is isolated, there is an open subgroup of $\pi^{\rm \acute{e}t}_1(s,\bar s)$  on which the map  is constant with image $[\rho_{i,\lambda}]$. This defines a point $s'$ with $\bar s\to s'\to s$ with  $\pi_1^{\rm \acute{e}t}(s', \bar s)$ being this open subgroup. We  abuse notations and set $s=s'$.

\medskip

 Let $K_\lambda \subset \bar K_\lambda$ be an algebraic closure.
The representation  $\rho_{i,\lambda} \otimes \bar K_\lambda$  is  irreducible as $\rho_i$ is irreducible over ${\mathbb C}$. Thus the equation  $[\rho^g_{i, \lambda}]= [\rho_{i, \lambda}] \in \underline{N}(K_\lambda)$
implies that there is a $T(g)\in GL(r, K_\lambda)$ such that   $\rho_{i, \lambda, \bar s}(g\gamma g^{-1})=T(g) \rho_{i,\lambda, \bar s}(\gamma) T(g)^{-1}  \in GL(r, K_\lambda)$ for all $\gamma \in
\pi_1^{\rm \acute{e}t}(X_{\bar s}, x_{\bar s})$, and  moreover $T(g)$ is uniquely defined up to multiplication by a scalar in $K_\lambda^\times$.  The so defined  map
$\pi_1^{\rm \acute{e}t}(s,\bar s)\to   PGL(r, K_\lambda), \ g \mapsto \bar T(g)$, where $\bar T(g)$ is the image of $T(g)$,  is continuous for the profinite topology on $\pi_1^{\rm \acute{e}t}(s,\bar s)$ and the $\lambda$-adic topology on $PGL(r, K_\lambda)$.
Writing $\pi_1^{\rm \acute{e}t, p'}(X_s,x_s)$   as a semi-direct product of $\pi_1^{\rm \acute{e}t}(s,\bar s)$
by $\pi_1^{\rm \acute{e}t, p'}(X_{\bar s},x_{\bar s})$,
we define $p\rho_{i,\lambda, s}: \pi_1(X_s, x_s)\to PGL(r, K_\lambda)$ by sending $(\gamma \cdot g)$ to
$\rho_{i,\lambda,\bar s}(\gamma)\cdot \bar T (g)$.  It remains to lift $p\rho_{i,\lambda, s}$ to $\rho_{i,\lambda, s}$
as in the proposition. Our initial argument consisted in saying that the Brauer obstruction to the lift dies as $k(s)$ is finite, and  in then  using class field theory \cite[Prop.~1.3.4]{Del80}
 to ensure that the so constructed representation has finite determinant after twist by a character of $k(s)$.  We present here Deligne's argument which has the advantage to work on all base fields, but necessitates a new change of $s$. The representation $\rho_{i,\lambda, \bar s}$ has values in the subgroup $G\subset GL(r, K_\lambda)$ consisting of the elements with order $d'$ determinant, where $d'$ is any divisor of $d$. The composite  homomorphism $G\to GL(r, K_{\lambda}) \to PGL(r, K_\lambda)$ is finite \'etale onto its image.  Thus again base changing $s$ to $s'\to s$ finite with $\bar s\to s'$, the pull-back $\Pi$ of $\pi_1^{\rm \acute{e}t}(s', \bar s)$ in $\pi_1^{\rm \acute{e}t}(X_s, x_s)$ is open and the restriction of $p\rho_{i,\lambda,s}$ to  $\Pi$  lifts to $G$
 in a unique way so that on $\pi_1^{\rm \acute{e}t}(X_{\bar s}, x_{\bar s})$, it  is precisely $\rho_{i,\lambda, \bar s}$.

\end{proof}
We denote the lisse sheaves associated to $\rho_{i,\lambda}$  resp. $\rho_{i,\lambda,\bar s}$ resp. $\rho_{i,\lambda,  s}$
 by  ${\mathcal V}_{i,\lambda}$  resp. ${\mathcal V}_{i,\lambda, \bar s}$ resp. ${\mathcal V}_{i,\lambda,  s}$.

 \begin{lemma} \label{lem:ext}
 The lisse sheaves $ {\mathcal V}_{i,\lambda, \bar s}$, resp. $ {\mathcal V}_{i,\lambda,  s}$
 are tame,
 have quasi-unipotent monodromies at infinity, and the order of the eigenvalues of the  local monodromies at infinity
 divides $h$.

  \end{lemma}

 \begin{proof}
 Since  $ {\mathcal V}_{i,\lambda, \bar s}$ is defined by  a  representation of $\pi_1^{\rm \acute{e}t,p'}(X_{\bar s}, x_{\bar s})$  it is tame, so so is $ {\mathcal V}_{i,\lambda,  s}$.
 We denote by  $\Gamma_{i,\lambda}\subset GL(r, {\mathcal O}_{K_\lambda})$ the monodromy group of ${\mathcal V}_{i,\lambda}$, which is  the one of ${\mathcal V}_{i,\lambda,\bar s}$.   The rest of the statement is proven in the proof of
Proposition~\ref{prop:simpson}.

 \end{proof}
 Fix any prime number $\ell'\neq p$ and denote by $n$ the dimension of $X$.
\begin{lemma} \label{lem:weights}  Let ${\mathcal A}$ be a pure tame $\bar {\mathbb Q}_{\ell'}$-lisse sheaf of weight $0$ on $X_s$.
Then
$$H^{1}(\bar X_{\bar s}, j_{ \bar s !*}{\mathcal A})=H^{1}(U_{\bar s}, a_{\bar s*}{\mathcal A})$$ and
 is the $\bar {\mathbb Q}_{\ell '}$-sub vector space of $\oplus_{j\in {\mathbb N}} H^j(X_{\bar s}, {\mathcal A})$ consisting of all the elements of weight precisely $1$.
\end{lemma}
\begin{proof}

 The proof of Remark~\ref{rmk:IC} yields over $X_s$ the relation $H^{1}(\bar X_{\bar s}, j_{\bar s !*}{\mathcal A})=H^{1}(U_{\bar s}, a_{\bar s*}{\mathcal A})$.
 The weight of $H^{0}(X_{\bar s}, {\mathcal A})$ is $0$,  and for any $j$,
 the weight of $H^j(X_{\bar s}, {\mathcal A})$ is $\ge j$ (see \cite[Thm.~3.3.1]{Del80}). Thus the weight $1$ part of
 $\oplus_{j\in {\mathbb N}} H^j(X_{\bar s}, {\mathcal A})$ lies in
 $H^{1}(X_{\bar s}, {\mathcal A})$.
One has a short   $\pi_1^{\rm \acute{e}t}(s, \bar s)$ equivariant exact sequence
\ga{}{ 0\to H^1(\bar X_{\bar s},  j_{\bar s !*} {\mathcal A})  \to H^1(X_{\bar s}, {\mathcal A})\to H^0(U_{\bar s}, R^1a_{\bar s *} {\mathcal A}).\notag}
The group  $H^1(\bar X_{\bar s},  j_{\bar s !*} {\mathcal A}) $ is pure of weight $1$ while $R^1a_{\bar s *} {\mathcal A}$ has weights $\ge 2$ at closed points,  which is seen on curves, and on them  ${\mathcal A}$ is tame (\cite[Thm.~1.1]{KS10}), thus  the local inertia ${\mathbb Z}_\ell(1)$ acts at the punctures at infinity.
Thus a fortiori the weight of $H^0(U_{\bar s}, R^1a_{\bar s *} {\mathcal A})$ is $\ge 2$.
 This finishes the proof.

\end{proof}

\begin{proof}[Proof of Theorem~\ref{thm:int}]
 We fix an embedding $K_{\lambda}\subset \bar {\mathbb Q}_{\ell}$.
 Let $\sigma: \bar {\mathbb Q}_\ell \to \bar {\mathbb Q}_{\ell'}$ be a field isomorphism, where $\ell'\neq p$. By Drinfeld's theorem \cite[Thm.~1.1]{Dri12}, there is a $\sigma$-companion ${\mathcal V}_{i,\lambda, s}^\sigma$ to $ {\mathcal V}_{i,\lambda,s}$.
 By definition of the indexing, for  $i\in \{1,\ldots, \frak{N}\}$, the  complex local systems ${\mathcal V}_i$   are irreducible and pairwise  non-isomorphic.   Thus  by definition, the $\bar {\mathbb Q}_\ell$ lisse sheaves ${\mathcal V}_{i,\lambda,  s}$
   are irreducible and pairwise non-isomorphic.   If  ${\mathcal V}_{i,\lambda, \bar s}^\sigma$ was not irreducible, it would split  after a finite base change  $s'\to s$ with $\bar s\to s'\to s$, thus on $X_{s'}$ , thus
 the $\sigma^{-1}$-companion of ${\mathcal V}^\sigma_{i,\lambda,  s'}$, which is ${\mathcal V}_{i,\lambda, s'}$,  would split as well, a contradiction.  Likewise, if ${\mathcal V}^{\sigma}_{i,\lambda, \bar s}$ is isomorphic to ${\mathcal V}^{\sigma}_{j,\lambda, \bar s}$, since $H^0(X_{\bar s}, ({\mathcal V}^{\sigma}_{i,\lambda, \bar s})^\vee \otimes {\mathcal V}^{\sigma}_{j,\lambda, \bar s})$ has weight $0$, the isomorphism is defined over $X_s$, thus $i=j$.  Thus the $\bar {\mathbb Q}_\ell$ lisse sheaves ${\mathcal V}_{i,\lambda,  \bar s}$ are irreducible and pairwise non-isomorphic.
  In addition, since ${\rm det}({\mathcal V}_{i,\lambda, \bar s})^\sigma= {\rm det}({\mathcal V}^\sigma_{i,\lambda,\bar s}) $ is constructed by post-composing the $K_\lambda^\times$ character by $\sigma$, it has order precisely $d$.

 \medskip

 As ${\mathcal V}_{i,\lambda, s}$ and $ {\mathcal V}_{i,\lambda,s}^\sigma$ are pure of weight $0$,
 so are ${\mathcal A}_{is}={\mathcal E} nd^0( {\mathcal V}_{i,\lambda, s})$ and ${\mathcal A}_{is}^\sigma={\mathcal E} nd^0( {\mathcal V}_{i,\lambda, s}^\sigma).$
 \medskip
 By local acyclicity  \cite[Lem.~3.14]{Sai17} applied to $X_T\to T$ used to define the specialization homomorphism,
 \ga{}{ H^1(U_{\bar s},  a_{{\bar s}*} {\mathcal A}_{i, {\bar s}} ) \to  H^1(U,  a_{*}{\mathcal A}_{i }) \notag}
  is an isomorphism. Thus   $H^1(\bar X_{\bar s}, j_{!*}{\mathcal A}_{i \bar s})=0.$

  The $L$- functions  $L(X_{\bar s},  {\mathcal A}_{i,s})$   and
$L(X_{\bar s},  {\mathcal A}_{i,s}^\sigma)$  defined by a product formula are equal  (\cite[5.2.3]{Del73}).
In particular,  for any natural number $w$,  the pure weight $w$ summand of  $\oplus_j H^{j}_c(X_{\bar s}, {\mathcal A}_{i,\bar s}) $ has the same dimension over $ \bar {\mathbb Q}_\ell$ as the pure weight $w$ summand of $\oplus_j H^{j}_c(X_{\bar s}, {\mathcal A}^\sigma_{i, \bar s}) $ over $ \bar {\mathbb Q}_{\ell'}$.  By duality,  the same it true replacing
the cohomologies $\oplus_j H^j_c(X_{\bar s}, {\mathcal A}_{i, \bar s})$  and $\oplus_j H^j_c(X_{\bar s}, {\mathcal A}^\sigma_{i, \bar s})$ by the cohomologies $\oplus_j H^j(X_{\bar s}, {\mathcal A}_{i,\bar s})$  and $\oplus_j H^j(X_{\bar s}, {\mathcal A}^\sigma_{i,\bar s})$.
Applying this for $w=1$, from Lemma~\ref{lem:weights}, we conclude
$H^1(\bar X_{\bar s}, j_{\bar s!*}{\mathcal A}^\sigma_{i \bar s})=  H^1(U_{\bar s}, a_{\bar s*}{\mathcal A}^\sigma_{i, \bar s})=0.$

\medskip

Pulling back  along the specialization homomorphism
 $sp: \pi_1^{\rm \acute{e}t}( X, x)\to  \pi_1^{\rm \acute{e}t, p'}( X_{\bar s}, x_{\bar s})$ defines
 the $\bar {\mathbb Q}_{\ell '}$-lisse sheaves ${\mathcal V}_{i \lambda}^\sigma$ and ${\mathcal A}_i^\sigma$ on $X$,
together with the  specialization homomorphism
 \ga{}{ H^1(U_{\bar s},  a_{{\bar s}*} {\mathcal A}^\sigma_{i, {\bar s}} ) \to  H^1(U,  a_{*}{\mathcal A}^\sigma_{i }) .\notag}
By local acyclicity again,  it is an isomorphism thus $H^1(U,  a_{*}{\mathcal A}^\sigma_{i })=0$.

\medskip

  We now define ${\mathcal V}_i^{ \sigma \ \rm top}$ to be the $\bar {\mathbb Q}_{\ell'}$-local system on $X$ which is defined by composing the representation with the homomorphism  $\pi_1^{\rm top}(X,x) \to \pi^{\rm \acute{e}t}_1(X,x)$. By the comparison between Betti and \'etale cohomology one has  $H^1(U, a_* {\mathcal E} nd({\mathcal V}_i^{ \sigma  \ \rm top}))=0$.
  Furthermore,   the ${\mathcal V}_i^{ \sigma \ \rm top}$ on $X$  are irreducible and  pairwise non-isomorphic, and  ${\rm det} ({\mathcal V}_i^{ \sigma \ \rm top})$ has order $d$.

\medskip
On the other hand, as ${\mathcal V}_{i,\lambda, s}$ is tame by Lemma~\ref{lem:ext},
it is tame in restriction to all curves (\cite[Thm.~1.1]{KS10}).
Taking a smooth curve $\bar C\subset \bar X$ which is a complete intersection of smooth ample divisors in good position with respect to $\bar X\setminus X,$ and denoting by $C$ its intersection with $X$,
 the restriction  ${\mathcal V}_{i, \lambda, \bar s}|_{C_{\bar s}}$ has the same monodromy group as the one of ${\mathcal V}_{i, \lambda, \bar s}$, thus has quasi-unipotent monodromies at the points $C_{\bar s}\cap D_{\bar s}$, and their eigenvalues have order bounded by $h$ . By  \cite[Thm.~9.8]{Del73b},  ${\mathcal V}^\sigma_{i, \lambda, \bar s}$  has the same property.  Thus $ {\mathcal V}_i^{ \sigma \ \rm top}$ has quasi-unipotent monodromies along the components of $\bar X\setminus X$, with order of the eigenvalues bounded by $h$.  (There is a slight abuse of notations here,  the curve $\bar C$ chosen is perhaps not defined over the same $S$, we just take a $s$ in the construction on which $C$ is defined).

\medskip

As $\pi_1^{\rm top}(X,x)$ is a finitely generated group, there is a subring $A\subset \bar {\mathbb Q}_{\ell' }$ of finite type such that the monodromy representations of the $ {\mathcal V}^{\sigma_i \ {\rm top}}$ factor through
$\pi_1^{\rm top} (X,x)\to GL(r, A)$. We fix a complex embedding $A\hookrightarrow {\mathbb C}$.  This defines the complex local systems ${\mathcal V}_i^{\sigma \ {\mathbb C}}$. By definition, there are irreducible, pairwise different, have determinant of order precisely $d$ and the eigenvalues of the monodromies at infinity have order at most $h$.
 By comparison between Betti and \'etale cohomology, they are cohomologically rigid.
Thus the set of isomorphism classes of the
${\mathcal V}_i^{\sigma \ {\mathbb C}}$ is precisely ${\mathcal S}(r,d,  h)$. On the other hand, they are integral at all places of number rings in $\bar {\mathbb Z}_{\ell '}$ which divide $\ell'$. We conclude the proof by doing the construction for all $\ell'$ divided by places in $\Sigma$.

\end{proof}

\begin{remark} \label{rmk:deligne}
This remark is due to Pierre Deligne.  If in Theorem~\ref{thm:int}, the irreducible complex local system ${\mathcal V}$ with quasi-unipotent monodromies along the components of $D$   is assumed to be
orthogonal, then it is integral under the assumption $\H^1(\bar X, j_{!*} \wedge^2 {\mathcal V})=0$. This assumption is weaker than the assumption $\H^1(\bar X, j_{!*} {\mathcal E} nd^0({\mathcal V}))=0$ of Theorem~\ref{thm:int}, as, as ${\mathcal V}$ is self-dual,
$\wedge^2 {\mathcal V}$ is a summand of ${\mathcal E} nd^0({\mathcal V})$, and thus
$\H^1(\bar X, j_{!*} \wedge^2 {\mathcal V})$ is a summand of $\H^1(\bar X, j_{!*} {\mathcal E} nd^0({\mathcal V}))$.
 Likewise, if
${\mathcal V}$ is assumed to be symplectic, then it is integral under the assumption $\H^1(\bar X, j_{!*}  Sym^2 {\mathcal V})=0$.
Again   $ Sym^2 {\mathcal V}$ is a summand   ${\mathcal E} nd^0({\mathcal V})$.
We do not detail the proof. One has to  perform the stack construction in Section~\ref{sec:mod} for the corresponding category of orthogonal, resp. symplectic local systems, and eventually see that the companion construction in Section~\ref{sec:proof} preserves this category.
\end{remark}


\section{Introduction}
In this paper, we recall some results in K\"{a}hler geometry  and study to what extend they can be generalized to the case of Hermitian manifolds.

Let $L$ be a holomorphic line bundle on a compact complex manifold $X$, one defines the volume of $L$ as
\begin{align*}
\mbox{vol}(L):=\limsup_{k\rightarrow +\infty}\frac{n!}{k^n}h^0(X,kL).
\end{align*}
It is well-known that if vol$(L)>0$, then $L$ is big. From \cite{DEL00}, one knows that if vol$(L)>0$, the limsup is in fact a limit, so that the volume vol$(L)$ can be seen as a measure of the bigness of $L$. From the definition, vol$(kL)=k^n\mbox{vol}(L)$. Thus one can also define the volume of a $\mathbb{Q}$-line bundle by setting vol$(L)=k^{-n}\mbox{vol}(kL)$ for some $k$ such that $kL$ is an actual line bundle.

 In \cite{Bou02}, Boucksom introduced a formula expressing the volume of $L$ in terms of $c_1(L)$:
\begin{align*}
\mbox{vol}(L)=\max_T\int_X T^n_{ac}
\end{align*}
for $T$ ranging among the closed positive $(1,1)$-currents in the cohomology class $c_1(L)$, if $L$ is not pseudo-effective, then we let vol$(L)=0$. Where $T_{ac}$ is the absolutely continuous part of the Lebesgue decomposition of $T$  on $X$. Furthermore, the volume of a line bundle is generalized for a cohomology class: for a cohomology class $\alpha\in H^{1,1}(X,\mathbb{R})$, we define
\begin{align*}
\mbox{vol}(\alpha):=\sup_T\int_XT^n_{ac}
\end{align*}
for $T$ ranging over the closed positive $(1,1)$-currents in $\alpha$, in case $\alpha$ is pseudo-effective, otherwise we let vol$(\alpha)=0$. The K\"{a}hler property plays an important role in the proof of  the finiteness  of the above volumes. Here we mention  a couple of results in \cite{Bou02}:
\begin{itemize}
\item [(a)] If $\alpha\in H^{1,1}(X,\mathbb{R})$ is nef, then vol$(\alpha)=\alpha^n$.
\item [(b)] A class $\alpha\in H^{1,1}(X,\mathbb{R})$ is big if and only if vol$(\alpha)>0$.
\end{itemize}
In fact, (b) is a  Grauert-Riemenschneider type criterion for bigness. Let us recall the Grauert-Riemenschneider conjecture (now it is a theorem) for the sake of completeness: a compact complex variety $Y$  is Moishezon if and only if there is a proper non singular modification  $X\rightarrow Y$ and a line bundle $L$ over $X$ such that the curvature is $>0$ on a dense open subset.  A compact complex manifold is said to be Moishezon if it is  birational to a projective manifold. Siu \cite{Siu84} first proved this conjecture by getting  a stronger result that $X$ is Moishezon as soon as $i\Theta_L\geq 0$ everywhere and $i\Theta_L>0$ in at least one point. Later Demailly \cite{Dem85, Dem91} gave another proof of a stronger result than the conjecture by using his holomorphic Morse inequalities. Also Berndtsson \cite{Ber02} gave another proof. It is proved in \cite{JiS93} that a compact complex manifold $X$ is Moishezon, if and only if $X$ admits  an integral K\"{a}hler current, i.e. there exits a big line bundle $L$ on $X$. Now  one can see that (b) is obviously a generalization of Grauert-Rimenschneider  criterion. In fact, it gave a criterion for a transcendental class to be big rather than an integral class.  To conclude, the Philosophy of the study of the  volumes defined above is to ask for the existence of a K\"{a}hler current in a class  $\alpha$ provided that vol$(\alpha)>0$. In \cite{Bou02}, the following conjecture was posed.
\begin{conj}\label{Boucksom conjecture}
If a compact complex manifold $X$ carries a closed positive $(1,1)$-current $T$ with $\int_X T^n_{ac}>0$, then $X$ is in the  \textit{Fujiki} class.
\end{conj}
A compact complex manifold $X$ is said to be in the  Fujiki class if it is bimeromorphic to a K\"{a}hler manifold. Demailly \cite{Dem12} proved that a compact complex manifold $X$ is in the Fujiki class if and only if it carries a K\"{a}hler current.

Throughout this paper, we say that a Hermitian metric $\omega$ satisfies the \textbf{assumption (*)}, if $\partial\overline{\partial}\omega^k=0$ for $k\in \{1,\cdots,n-1\}$.

Now let $(X,\omega)$ be a compact  Hermitian manifold, and $\alpha$ an arbitrary cohomology class $\alpha$ in $H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$, one defines the volume of $\alpha$ as
\begin{align}
\mbox{vol}(\alpha):=\sup_T\int_XT^n_{ac}\notag
\end{align}
for $T$ ranging over the closed positive $(1,1)$-currents in $\alpha$, in case $\alpha$ is pseudo-effective. If it is not, we set $\mbox{vol}(\alpha)=0$.  We will see  that, the supremum involved is always finite under our assumption (*). It is trivial that the volume $\mbox{vol}(\alpha)$ of a big class $\alpha$ is non-zero. Firstly, we will prove that (a) also holds when $(X,\omega)$ is a compact Hermitian manifold endowed with a Gauduchon metric $\omega$ satisfying the assumption (*). Furthermore, by adapting arguments from \cite{Bou02} and  \cite{Chi13}, we are able to prove the following partial solution to Conjecture \ref{Boucksom conjecture}.
\begin{thm}\label{Grauert-Riemenschneider}
Let $X$ be a compact complex manifold, and let  $\omega$ be a Gauduchon metric on $X$ satisfying the  assumption (*). If $X$ carries a pseudo-effective class $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ such that vol$(\alpha)>0$, then $X$ is K\"{a}hler.
\end{thm}

Thus for the same reason as in \cite{Bou02}, this  definition  is compatible with the previous one when $X$ is assumed to satisfy the assumption (*).

Since every compact complex surface always  carries  a Gauduchon metric satisfying the assumption (*), Theorem \ref{Grauert-Riemenschneider} states that the Grauert-Riemenschneider type  criterion always holds true on compact complex surface which was proved in \cite{Bou02} by a different argument.

In \cite{Chi13}, Chiose proved that if $X$ is a compact complex manifold, which admits a Gauduchon metric satisfying the assumption (*), a nef class $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ has positive volume, then $\alpha$ is a big class and $X$ is in the  \textit{Fujiki} class, and finally K\"{a}hler. The main difference between our Theorem \ref{Grauert-Riemenschneider} and Chiose's result is that we only assume that $\alpha$ is a pseudo-effective class. In general, the nef cone is only a subset of the pseudo-effective cone.

Recently, there has been important progress  on the study of   the structure of compact K\"{a}hler manifolds with nef anticanonical bundles. In \cite{Pau97, Pau98}, it is proved that if $X$ is a compact K\"{a}hler manifold with $K^{-1}_X$ nef, then $\pi_1(X)$ has polynomial growth and, as a consequence it possesses a nilpotent subgroup of finite index. In \cite{Cao13a, Cao13b}, it is proved that for a compact K\"{a}hler manifold $X$ with $K^{-1}_X$ nef, it is projective and rationally connected if and only if $H^0(X, (T^*_X)^{\otimes m})=0$ for all $m\geq 1$. This result is a partial solution to a conjecture attributed to  Mumford.  The following two properties are crucial to prove the above results.
\begin{itemize}
\item[(1)] Let $(X,\omega)$ be a compact K\"{a}hler manifold and $\{\omega\}$ is a K\"{a}hler class on $X$. Then $K^{-1}_X$ is nef if and only if for every $\varepsilon>0$, there exists a K\"{a}hler metric $\omega_\varepsilon=\omega+i\partial\overline{\partial}\phi_\varepsilon$ in the cohomology class $\{\omega\}$ such that Ricci$(\omega_\varepsilon)\geq -\varepsilon\omega_\varepsilon$.
\item[(2)]Let $(X,\omega)$ be a compact K\"{a}hler manifold and  $K^{-1}_X$ is nef. Let \begin{align*}
0=\mathcal{F}_0\subset\mathcal{F}_1\subset\cdots\subset\mathcal{F}_s=T_X
\end{align*}
be a Harder-Narasimhan filtration of $T_X$ with respect to $\omega$. Then
\begin{align*}
\mu_\omega(\mathcal{F}_i/\mathcal{F}_{i-1})\geq 0
\end{align*}
for all $i$.
\end{itemize}
Since $K^{-1}_X$  can be also defined and  there is also an analogue of the Harder-Narasimhan filtration on a compact Hermitian manifold, it is natural to ask whether we can get  similar characterizations of nef $K^{-1}_X$ and the Harder-Narasimhan filtration on a compact Hermitian manifold? In this paper, we get the following
\begin{thm}\label{characterization of nef}
Let $(X,\omega)$ be a compact Hermitian manifold. Then the following properties are equivalent:
\begin{itemize}
\item [(i)] $K_X^{-1}$ is nef.
\item [(ii)] For every $\varepsilon>0$, there exists a smooth  real function $\phi_\varepsilon$, such that $\omega_{\phi_\varepsilon}=\omega+i\partial\overline{\partial}\phi_\varepsilon>0$ and  Ricci$(\omega_{\phi_\varepsilon})\geq -\varepsilon \omega_{\phi_\varepsilon}$.
\end{itemize}
\end{thm}
\begin{thm}\label{semi-positivity}
Let  $(X,\omega)$ be a compact complex manifold with a Gauduchon metric $\omega$ satisfying the assumption (*). Assume that $K_X^{-1}$ is nef. Let
\begin{align*}
0=\mathcal{F}_0\subset\mathcal{F}_1\subset\cdots\subset\mathcal{F}_s=T_X
\end{align*}
be a Harder-Narasimhan filtration of $T_X$ with respect to $\omega$. Then
\begin{align*}
\mu_\omega(\mathcal{F}_i/\mathcal{F}_{i-1})\geq 0
\end{align*}
for all $i$.
\end{thm}

The structure of this paper is as follows. In Section \ref{technical preliminaries}, we prepare the technical preliminaries. In Section \ref{volume of pseudo-effective and nef class}, we  prove that for any nef class $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$, the volume satisfies $vol(\alpha)=\alpha^n$. It is a generalization of the Theorem 4.1 in \cite{Bou02}. In Section \ref{Grauert-Riemenschneider criterion}, we  prove  Theorem \ref{Grauert-Riemenschneider}. In Section \ref{nef}, we prove Theorem \ref{characterization of nef}. In section \ref{semipositive}, we prove Theorem \ref{semi-positivity}.

\section{Technical preliminaries}\label{technical preliminaries}
Let $X$ be a compact complex $n$-fold. We will use $dd^c$ to denote the operator $\frac{i}{\pi}\partial\overline{\partial}$.
\begin{defin}\label{APC}
A closed real $(1,1)$-current $T$ on $X$ is said to be almost positive if some smooth real $(1,1)$-form $\gamma$ can be found such that $T\geq \gamma$. A function $\varphi\in L^1_{loc}(X)$ is called almost plurisubharmonic if its complex Hessian $dd^c\varphi$ is an almost positive current.

We say that a function $\phi$ on $X$ has analytic singularities along a subscheme $V(\mathscr{I})$ (corresponding to a coherent ideal sheaf $\mathscr{I}$) if there exists $c>0$ such that $\phi$ is locally congruent to $\frac{c}{2}\log(\sum|f_i|^2)$ modulo smooth functions, where $f_1,\cdots, f_r$ are local generators of $\mathscr{I}$.  Note that a function with analytic singularities is automatically almost plurisubharmonic, and is smooth away from the support of $V(\mathscr{I})$.

We say an almost positive $(1,1)$-current  has analytic  singularities, if we can find a smooth form $\theta$ and a function  $\varphi$ on $X$ with analytic   singularities, such that $T=\theta+dd^c\varphi$. Note that one can always write $T=\theta+dd^c\varphi$ with $\theta$ smooth and $\varphi$ almost plurisubharmonic on a compact complex manifold.
\end{defin}

\subsection{$\partial\overline{\partial}$-cohomology}\label{BC-cohomology}
Let $X$ be an arbitrary compact complex manifold of complex dimension $n$. Since the $\partial\overline{\partial}$-lemma does not hold in general, it is better to work with $\partial\overline{\partial}$-cohomology which is defined as
\begin{align}
H^{p,q}_{\partial\overline{\partial}}(X,\mathbb{C})=\big (\mathcal{C}^\infty(X,\Lambda^{p,q}T^*_X)\cap \ker d)/\partial\overline{\partial}\mathcal{C}^\infty(X,\Lambda^{p-1,q-1}T^*_X).\notag
\end{align}

By means of the Fr\"{o}licher spectral sequence, one can see  that  $H^{p,q}_{\partial\overline{\partial}}(X,\mathbb{C})$ is finite dimensional and can be computed either with spaces of smooth forms or with currents. In both cases, the quotient topology of $H^{p,q}_{\partial\overline{\partial}}(X,\mathbb{C})$ induced by the Fr\'{e}chet topology of smooth forms or by the weak topology of currents is Hausdorff, and the quotient map under this Hausdorff topology is continuous and open.

In this paper, we will just need the $(1,1)$-cohomology space $H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{C})$.  The real structure on the space of $(1,1)$-smooth forms (or $(1,1)$-currents) induces a real structure on $H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{C})$, and we denote by $H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ the space of real points.  A class $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{C})$ can be seen as an affine space of closed $(1,1)$-currents. We denote by $\{T\}\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{C}) $ the class of the current $T$. Since $i\partial\overline{\partial}$ is a real operator (on forms of currents), if $T$ is a real closed $(1,1)$-current, its class $\{T\}$ lies in $H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ and consists of all the closed currents $T+i\partial\overline{\partial}\varphi$ where $\varphi$ is a real current of degree $0$.

\begin{defin}\label{pf-nef-kahler}
Let $(X,\omega$) be a compact Hermitian manifold. A cohomology class $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ is said to be \textbf{pseudo-effective} iff it contains a positive current; $\alpha$ is \textbf{nef} iff, for each $\varepsilon>0$, $\alpha$ contains a smooth form $\theta_\varepsilon$ with $\theta_\varepsilon\geq -\varepsilon\omega$; $\alpha$ is \textbf{big} iff it contains a K\"{a}hler current, i.e. a closed $(1,1)$-current $T$ such that $T\geq\varepsilon\omega$ for $\varepsilon>0$ small enough. Finally, $\alpha$ is a \textbf{K\"{a}hler class} iff it contains a K\"{a}hler form.
\end{defin}
Since any two Hermitian forms $\omega_1$ and $\omega_2$ are commensurable ( i.e. $C^{-1}\omega_2\leq \omega_1\leq C\omega_2$ for some $C>0$), these definitions do not depend on the choice of $\omega$.

\subsection{Lebesgue decomposition of a current}\label{Lebesgue decomposition} In this subsection, we refer to \cite{Bou02, MM07}.
For a measure $\mu$ on a manifold $M$ we denote by $\mu_{ac}$ and $\mu_{sing}$ the uniquely determined absolute continuous and singular measures (with respect to the Lebesgue measure on $M$) such that
\begin{align*}
\mu=\mu_{ac}+\mu_{sing}
\end{align*}
which is called the Lebesgue decomposition of $\mu$. If $T$ is a $(1,1)$-current of order $0$ on $X$, written locally $T=i\sum T_{ij}dz_i\wedge d\overline{z}_j$, we defines its absolute continuous and singular components by
\begin{align*}
T_{ac}&=i\sum (T_{ij})_{ac}dz_i\wedge d\overline{z}_j,\\
T_{sing}&=i\sum (T_{ij})_{sing}dz_i\wedge d\overline{z}_j.
\end{align*}
The Lebesgue decomposition of $T$ is then
\begin{align*}
T=T_{ac}+T_{sing}.
\end{align*}
If $T\geq 0$, it follows that $T_{ac}\geq 0$ and $T_{sing}\geq 0$. Moreover, if $T\geq \alpha$ for a continuous $(1,1)$-form $\alpha$, then $T_{ac}\geq \alpha$, $T_{sing}\geq 0$. The Radon-Nikodym theorem insures that $T_{ac}$ is (the current associated to) a $(1,1)$-form with $L^1_{loc}$ coefficients. The form $T_{ac}(x)^n$ exists for almost all $x\in X$ and is denoted $T^n_{ac}$.

Note that $T_{ac}$ in general is not closed, even when $T$ is, so that the decomposition doesn't induce a significant decomposition at the cohomological level. However, when $T$ is a closed positive $(1,1)$-current with analytic singularities along a subscheme $V$, the residual part $R$ in Siu decomposition (c.f.\cite{Siu74}) of $T$ is nothing but $T_{ac}$, and the divisorial part $\sum_k\nu(T,Y_k)[Y_k]$ is $T_{sing}$. The following facts are well-known.
\begin{lem}[c.f.\cite{Bou02}]\label{push-forward}
Let $f:Y\rightarrow X$ be a proper surjective holomorphic map. If $\alpha$ is a locally integrable form of bidimension $(k,k)$ on $Y$, then the push-forward current $f_*\alpha$ is absolutely continuous, hence a locally integrable form of bidimension $(k,k)$. In particular, when $T$ is a positive current on $Y$, the push-forward current $f_*(T_{ac})$ is absolutely continuous, and we have the formula $f_*(T_{ac})=(f_*T)_{ac}$.

\end{lem}

The absolutely continuous part $T_{ac}$ of a positive current $T$ does not depend continuously on $T$, but we have the following semi-continuity property:

\begin{lem}[c.f.\cite{Bou02}]\label{semi-continuity}
Let $T_k$ be a sequence of positive $(1,1)$-currents converging weakly to $T$. Then one has
\begin{align}
T_{ac}(x)^n\geq \limsup T_{k,ac}(x)^n\notag
\end{align}
 for almost every $x\in X$.
\end{lem}

\subsection{Regularization of currents}\label{regularization of currents}
There are two basic types of regularizations (inside a fixed cohomology class) for closed $(1,1)$-currents, both due to J.-P. Demailly.
\begin{thm}[c.f.\cite{Dem82, Dem92, Bou02}]\label{regularization}
Let $T$ be a closed almost positive $(1,1)$-current on a compact Hermitian manifold $(X,\omega)$. Suppose that $T\geq\gamma$ for some smooth $(1,1)$-form $\gamma$ on $X$. Then
\begin{itemize}
\item [(i)] There exists a sequence of smooth forms $\theta_k$ in $\{T\}$ which converges weakly to $T$, and $\theta_k(x)\rightarrow T_{ac}(x)$ a.e.,  and such that $\theta_k\geq \gamma-C\lambda_k\omega$ where $C>0$ is a constant depending on the curvature of $(T_X,\omega)$ only, and $\lambda_k$ is a decreasing sequence of continuous functions such that $\lambda_k(x)\rightarrow \nu(T,x)$ for every $x\in X$.
\item [(ii)] There exists a sequence $T_k$ of currents with analytic singularities in $\{T\}$ which converges weakly to $T$, and $T_{k,ac}(x)\rightarrow T_{ac}(x)$ a.e., such that $T_k\geq \gamma-\varepsilon_k\omega$ for some sequence $\varepsilon_k>0$ decreasing to $0$, and such that $\nu(T_k,x)$ increases to $\nu(T,x)$ uniformly with respect to $x\in X$.
\end{itemize}
\end{thm}

\subsection{Resolution of singularities}\label{resolution of singularities}
\begin{defin}\label{pull-back}
Let $f:Y\rightarrow X$ be a surjective holomorphic map between compact complex manifolds and $T$ be a closed almost positive $(1,1)$-current on $X$. Write $T=\theta+dd^c\varphi$ for some smooth form $\theta\in\{T\}$, and $\varphi$ an almost plurisubharmonic function on $X$.  We define its  pull back $f^*T$ by $f$ to be $f^*\theta+dd^cf^*\varphi$. Note that this definition is independent of the choices made, and we have $\{f^*T\}=f^*\{T\}$.
\end{defin}

We now use the notations in Definition \ref{APC}. From \cite{Hir64, BiM91, BiM97}, one can  blow-up $X$ along $V(\mathscr{I})$ and resolve the singularities, to get a smooth modification $\mu:\widetilde{X}\rightarrow X$, where $\widetilde{X}$ is a compact complex manifold, such that $\mu^{-1}{\mathscr{I}}$ is just $\mathcal{O}(-D)$ for some simple normal crossing divisor $D$ upstairs.   The pull back $\mu^*T$ clearly has analytic singularities along $V(\mu^{-1}(\mathscr{I}))=D$, thus its Siu decomposition  writes
\begin{align}
\mu^*T=\theta+cD,\notag
\end{align}
where $\theta$ is a smooth $(1,1)$-form.  If $T\geq \gamma$ for some smooth form $\gamma$, then $\mu^*T\geq \gamma$, and thus $\theta\geq \mu^*\gamma$. We call this operation a resolution of the singularities of $T$.

\subsection{Lamari's criterion}\label{lamari}
\begin{thm}
Let $X$ be an $n$-dimensional compact complex manifold and let $\Phi$ be a real $(k,k)$-form, then there exists a real $(k-1,k-1)$-current $\Psi$ such that $\Phi+dd^c\Psi$ is positive iff for any strictly positive $\partial\overline{\partial}$-closed $(n-k,n-k)$-forms $\Upsilon$, we have $\int_X\Phi\wedge\Upsilon\geq 0$.
\end{thm}

\subsection{Gauduchon metrics}\label{Gauduchon metric}
For any $n$-dimensional compact complex manifold $X$, Gauduchon's result \cite{Gau77} tells us there always exists a metric $\omega$ such that $\partial\overline{\partial}\omega^{n-1}=0$. These metrics   are called Gauduchon metrics. Actually, from \cite{Gau84} we know that in the conformal class of every Hermitian metric, there is a  Gauduchon metric.
As a consequence, if the Gauduchon metric $\omega$ satisfies the assumption (*), then for any closed $(1,1)$-current $T$, and $k\in\{1,\cdots,n\}$, the integral $\int_XT^k\wedge\omega^{n-k}$ only depends on the class of $T$ and the metric $\omega$, provided that $T^k$ is well-defined.

The following two  theorems, which we will state without proof,  will play  key roles in this paper.
\begin{thm}[\cite{Che87}]\label{Cherrier}
Let $(X,\omega)$ be a compact Hermitian manifold. The complex Monge-Amp\`{e}re equation
\begin{align}\label{MA2}
(\omega+i\partial\overline{\partial}\phi)^n=e^{\varepsilon\phi-F_\varepsilon}\omega^n
\end{align}
where $\varepsilon>0$ and $F_\varepsilon$ is a smooth function on $X$, has a smooth solution $\phi$ such that $\omega_\phi:=\omega+i\partial\overline{\partial}\phi>0$.
\end{thm}

\begin{thm}[\cite{TW10}]\label{Monge-Ampere equation}
Let $(X,\omega)$ be a compact Hermitian manifold. For any smooth real-valued function $F$ on $X$, there exist a unique real number $C>0$ and a unique smooth real-valued function $\phi$ on $X$ solving
\begin{align}
(\omega+i\partial\overline{\partial}\phi)^n=Ce^F\omega^n,\notag
\end{align}
with $\omega+i\partial\overline{\partial}\phi>0$ and $\sup_X\phi=0$.  Furthermore, if $\partial\overline{\partial}\omega^k=0$ for $1\leq k\leq n-1$, then we have
\begin{align}
C=\frac{\int_X\omega^n}{\int_Xe^F\omega^n}.\notag
\end{align}
\end{thm}
\begin{rem}
The assumption (*) is also used in \cite{GuL10} to solve the complex Monge-Amp\`{e}re equation.
\end{rem}
\begin{rem}

 One should be careful that if $\omega$ is Gauduchon, and $\phi $ is a smooth function on $X$ such that  $\omega_\phi:=\omega+i\partial\overline{\partial}\phi>0$, then $\omega_\phi$ is not Gauduchon in general.

\end{rem}
\begin{lem}\label{assumption lemma}
Suppose $\omega$ is a Hermitian form on $X$ satisfying  the assumption (*). Then for any smooth function $\phi$ on $M$, $\omega_\phi$ also satisfies the assumption (*).
\end{lem}
\begin{proof}
It is  a direct and easy computation.
\end{proof}

\subsection{Finiteness of the volume}
The following two lemmas are  small generalizations of those in \cite{Bou02}. The proof is similar with small modifications, we give the proof here for the sake of completeness.
\begin{lem}\label{Bouksom 1}
Let $T$ be any closed  $(1,1)$-current on a compact Hermitian manifold $(X,\omega)$ with $T\geq \gamma$, where $\omega$ is the Gauduchon metric satisfying the assumption (*) and $\gamma$ is a continuous  $(1,1)$-form on $X$. Then one can define the Lelong number $\nu(T,x)$ for $T$ at $x$ to be $\nu(T+\beta,x)$, where $\beta$ is a smooth closed $(1,1)$-form near $x$ such that $T+\beta\geq 0$ and   $\nu(T,x)$  can be bounded by a constant depending only on the $\partial\overline{\partial}$-cohomology class of $T$.
\end{lem}
\begin{proof}
By definition $\nu(T+\beta,x) $ is (up to a constant  depending on $\omega$ near $x$) the limit for $r\rightarrow 0_+$ of
\begin{align*}
\nu(T+\beta,x,r):=\frac{(n-1)!}{(\pi r^2)^{n-1}}\int_{B(x,r)}(T+\beta)\wedge\omega^{n-1},
\end{align*}
which is known to be an increasing function of $r$. Since $\beta$ is smooth, one can see that the limit is independent of $\beta$, which means that the definition of $\nu(T,x)$ is well-defined. Choose a constant $C$ such that $C\omega\geq -\gamma$, then $T+C\omega\geq 0$ on $X$. Thus if we choose $r_0$ small enough to ensure that each ball $B(x,r_0)$ is contained in a coordinate chart, we get $\nu(T,x)\leq \nu(T+C\omega,x,r_0)\leq \int_X(T+C\omega)\wedge \omega^{n-1}=\int_XT\wedge\omega^{n-1}+C\int_X\omega^n$. But the last term is  a quantity depending on the cohomology class $\{T\}$ since $\omega$ satisfies the assumption (*).
\end{proof}

\begin{lem}\label{Boucksom 2}
Under the same assumption as in Lemma \ref{Bouksom 1},
one sees that the integrals $\int_XT^k_{ac}\wedge\omega^{n-k}$ are finite for each $k=0,\cdots,n$ and can  be bounded in terms of $\omega$ and the $\partial\overline{\partial}$-cohomology class of $T$ only.
\end{lem}
\begin{proof}Since $\gamma$ is continuous and $X$ is compact, there exists a constant $C>0$, such that $T\geq -C\omega$, and thus $T_{ac}\geq -C\omega$. Let $-C\leq\lambda_1\leq\cdots\leq\lambda_n$ be the eigenvalues of $T_{ac}$. There is  a simple observation:
whenever $\lambda_k$ is negative or positive,  $|\lambda_k|\leq \lambda_k+2C$ always holds. Thus
\begin{align*}
\big|\int_XT^k_{ac}\wedge\omega^{n-k}\big|\leq \int_X(T_{ac}+2C\omega)^k\wedge\omega^{n-k}.
\end{align*}
It suffices to prove the right hand side of above inequality is uniformly bounded.  Choose a sequence $T_k$ of smooth forms approximating $T$ as in Theroem \ref{regularization}.  Since $T_k\geq -C\omega-C\lambda_k\omega=-C(1+\lambda_k)\omega$ for some constant $C>0$ depending only on $(X,\omega)$ only and continuous functions $\lambda_k(x)$ decreasing to $\nu(T,x)$, we find using Lemma \ref{Bouksom 1} a constant also denoted by $C$ and depending on $(X,\omega)$ and the cohomology class $\{T\}$ only such that $T_k+C\omega\geq 0$. But now
\begin{align*}
\int_X(T_k+C\omega)^l\wedge\omega^{n-l}=\int_X(\{T\}+C\omega)^l\omega^{n-l}
\end{align*}
does not depend on $k$ since our $\omega$ satisfies the assumption (*), so the result follows by Fatou's lemma, since $T_k+C\omega$ is a smooth form converging to $T_{ac}+C\omega$ a.e.
\end{proof}

\subsection{Harder-Narasimhan filtration on compact Hermitian manifold}
In this subsection, we refer  to Bruasse \cite{Bru01}.
Let $(X,\omega)$ be a compact Hermitian manifold endowed with a Gauduchon metric $\omega$. Let $L$ be a holomorphic line bundle on $X$ and $h$ be a Hermitian metric on $L$. Let $\Theta_{L,h}$ be the Chern curvature form of $L$ associated to $h$. Since it is independent of $h$ up to a $\partial\overline{\partial}$-exact term and $\omega$ is Gauduchon, the $\omega$-degree of $L$ given by
\begin{align*}
\deg_\omega(L)=\int_X\Theta_{L,h}\wedge \omega^{n-1}
\end{align*}
is a well-defined real number independent of $h$.

Now if $\mathcal{F}$ is a rank $p$ coherent sheaf of $\mathcal{O}_X$-modules, consider the holomorphic line bundle $\det\mathcal{F}=(\wedge^p\mathcal{F})^{**}$. Then we have
\begin{defin}
\begin{itemize}
\item [(i)]  The $\omega$-degree of $\mathcal{F}$ is
\begin{align*}
\deg_\omega(\mathcal{F}):=\deg_\omega(\det \mathcal{F}).
\end{align*}
\item [(ii)] If $\mathcal{F}$ is nontrivial and torsion-free, then we define its slope (or $\omega$-slope) by
    \begin{align*}
    \mu(\mathcal{F}):=\frac{\deg_\omega(\mathcal{F})}{\mbox{rank}(\mathcal{F})}.
    \end{align*}

\end{itemize}
\end{defin}

\begin{defin} A torsion-free coherent sheaf $\mathcal{E}$ is called $\omega$-(semi) stable if for every coherent subsheaf $\mathcal{F}\subset \mathcal{E}$ with $0<\mbox{rank} \mathcal{F}<\mbox{rank}\mathcal{E}$, one has $\mu(\mathcal{F})<(\leq )\mu(\mathcal{E})$.
\end{defin}

\begin{defin}
Let $(X,\omega)$ be a compact complex manifold of dimension $n$ endowed with a Gauduchon metric $\omega$. Let $\mathcal{F}$ be a torsion free coherent sheaf over $X$. A Harder-Narasimhan filtration for $\mathcal{F}$ is a flag:
\begin{align*}
0=\mathcal{F}_0\subset \mathcal{F}_1\subset \cdots\subset \mathcal{F}_{s-1}\subset \mathcal{F}_s=\mathcal{F}
\end{align*}
of subsheaves of $\mathcal{F}$ with the following two properties:
\begin{itemize}
\item[(1)] $\mathcal{F}_i/\mathcal{F}_{i-1}$ is $\omega$-semi-stable for $1\leq i\leq s-1$,
\item[(2)]$\mu(\mathcal{F}_{j+1}/\mathcal{F}_j)<\mu(\mathcal{F}_j/\mathcal{F}_{j-1})$ for $1\leq j\leq s-1$.
\end{itemize}
In fact, $\mathcal{F}_i/\mathcal{F}_{i-1}$ is the maximal $\omega$-semi-stable subsheaf of $\mathcal{F}/\mathcal{F}_{i-1}$ for $1\leq i\leq s-1$.
 \end{defin}

\begin{thm}[\cite{Bru01}]
Let $(X,\omega)$ be a compact complex manifold of dimension $n$ endowed with a Gauduchon metric $\omega$. Let $E$ be a holomorphic vector bundle of rank $r$ over $X$. It possesses a unique Harder-Narasimhan filtration.
\end{thm}

\section{Volume of a nef class}\label{volume of pseudo-effective and nef class}
\begin{thm}\label{volume of nef}Let $(X,\omega)$ be a compact Hermitian manifold endowed with a Gauduchon metric $\omega$ satisfying the assumption (*). If $\alpha\in H^{1,1}_{\partial\overline{\partial}}(X,\mathbb{R})$ is a  nef class, then one has $\mbox{vol}(\alpha)=\alpha^n$.
\end{thm}
\begin{proof}The proof is a small modification of that in \cite{Bou02}, for the sake of completeness we give the proof here. Firstly, we prove that  for every positive $T\in \alpha$, we have $\int_XT^n_{ac}\leq \alpha^n$, which will certainly imply $\mbox{vol}(\alpha)\leq \alpha^n$.  Write $T=\theta+dd^c\varphi$ with $\theta$ a smooth form. We consider a sequence $T^{(1)}_k=\theta+dd^c\varphi^{(1)}_k$ of smooth forms given by (i) of Theorem \ref{regularization}. Since $\alpha$ is nef, by definition, there exists a sequence of smooth functions $\varphi^{(2)}_k$ and a sequence of positive numbers $\varepsilon_k\rightarrow 0$, such that $T^{(2)}_k=\theta+dd^c\varphi^{(2)}_k$ satisfies $T^{(2)}_k\geq -\varepsilon_k\omega$. Set $\varphi^{(3)}_k:=\max_\eta(\varphi^{(2)}_k-C_k,\varphi^{(1)}_{j_k})$, where $C_k\rightarrow +\infty$ as $k\rightarrow +\infty$ and $\varphi_{j_k}^{(1)}$ is a properly chosen subsequence of $\varphi^{(1)}_k$ (c.f. \cite[Page 1050]{Bou02}), then $\varphi^{(3)}_k$ is a smooth function, and it is proved in \cite[Lemma 4.2]{Bou02} that, $T^{(3)}_k:=\theta+dd^c\varphi^{(3)}_k$ is a smooth form such that $T^{(3)}_k(x)\rightarrow T_{ac}(x)$ a.e., and $T^{(3)}_k\geq -\delta_k\omega$ for some sequence $\delta_k>0$ converging to $0$. Since $T^{(3)}_k+\delta_k\omega$ also converges to $T_{ac}$ a.e., Fatou's lemma gives us
\begin{align}
\int_XT^n_{ac}\leq \liminf\limits_{k\rightarrow \infty}\int_X(T^{(3)}_k+\delta_k\omega)^n,\notag
\end{align}
and the latter integral depends only on the class $\alpha$ and $\delta_k$, thus it converges to $\alpha^n$. That is $\int_XT^n_{ac}\leq \alpha^n$.

Secondly, we want to show $\mbox{vol}(\alpha)\geq \int\alpha^n$. Normalize our Gauduchon metric $\omega$ in the assumption (*), such that $\int_X\omega^n=1$. For $\varepsilon>0$, there exists a closed form $T\in \alpha$ such that $T+\varepsilon\omega>0$. Using Theorem \ref{Monge-Ampere equation}, one can solve the  equation
\begin{align}
\tau^n_\varepsilon=\big(\int_X(T+\varepsilon\omega)^n\big)\omega^n,\notag
\end{align}
where $\tau_\varepsilon=T+\varepsilon\omega+dd^c\varphi_\varepsilon>0$, and $\phi_\varepsilon$ is normalized so that   $\sup_X\varphi_\varepsilon=0$.  Since the family $\tau_\varepsilon-\varepsilon\omega\in\alpha$ represents a bounded set of cohomology classes, it is bounded in mass and we can thus extract some weak limit $T=\lim\limits_{\varepsilon\rightarrow 0}(\tau_\varepsilon-\varepsilon\omega)=\lim\limits_{\varepsilon\rightarrow 0}\tau_\varepsilon$, where the second equality holds  because $\lim\limits_{\varepsilon\rightarrow 0}\varepsilon\omega=0$ in the strong sense. By Lemma \ref{semi-continuity}, we get $T^n_{ac}\geq (\int\alpha^n)\omega^n$, by integrating, we get $\mbox{vol}(\alpha)\geq \alpha^n$.
\end{proof}

\section{The Grauert-Riemenschneider criterion: Proof of Theorem \ref{Grauert-Riemenschneider} }\label{Grauert-Riemenschneider criterion}

\begin{proof}[Proof of Theorem \ref{Grauert-Riemenschneider}]
From the definition of $\mbox{vol}(\alpha)$, one can find a positive closed current $S\in \alpha$ such that $\int_XS^n_{ac}>\frac{\mbox{vol}(\alpha)}{2}>0$.  Apply (ii) in Theorem \ref{regularization}, combined with Fatou's lemma, we can construct a sequence $T_k$ of closed currents with analytic singularities in $\alpha$ such that $T_k\geq -\varepsilon_k\omega$ and $\int_XT_{k,ac}^n\geq c$ for some uniform lower bound $c>0$. Where $\varepsilon_k\rightarrow 0$ as $k\rightarrow \infty$. In fact, one has $0<\int_XS^n_{ac}\leq \liminf_k\int_X(T_{k,ac}+\varepsilon_k\omega)^n$, thus one can subtract a subsequence which is  denoted by $T_{k,ac}+\varepsilon_k\omega$ such that $\int_X(T_{k,ac}+\varepsilon_k\omega)^n>C$ for some uniform constant $C$. But
\begin{align*}
\int_X(T_{k,ac}+\varepsilon_k\omega)^n=\int_XT^n_{k,ac}+\sum_{l=1}^n\varepsilon^l_k\binom{n}{l}\int_XT_{k,ac}^{n-l}\wedge\omega^l
\end{align*}
  where the second term is uniformly bounded for $k$ large enough (say $0<\varepsilon_k<<1$) by Lemma \ref{Boucksom 2}.
  For each $k$, we  choose a  smooth proper modification $\mu_k:X_k\rightarrow X$ such that $\mu_k^*T_k=\theta_k+D_k$, with $\theta_k$ ($\geq -\varepsilon_k\mu_k^*\omega$) a smooth closed form and $E_k$ an real effective divisor.
Set $\Omega_k=\varepsilon_k\mu^*_k\omega$. It is easy to see that $0<c\leq \int_XT^n_{k,ac}=\int_{X_k}(\mu^*_kT_k)^n_{ac}=\int_{X_k}\theta_k^n$. Select on each $X_k$ a Gauduchon metric  $\widetilde{\omega}_k$ which also satisfies the assumption (*) by the following

\begin{lem}[c.f. \cite{Dem12}]\label{blow-up}Suppose that $(X,\omega)$ is a compact complex manifold satisfying the assumption (*). Let $\mu:\widetilde{X}\rightarrow X$ is a smooth modification (a tower of blow-ups).  Then  there exists a Gauduchon metric $\Omega$ satisfying the assumption (*) on $\widetilde{X}$.
\end{lem}
\begin{proof}
Suppose that $\widetilde{X}$ is obtained as a tower of blow-ups
\begin{align}
\widetilde{X}=X_N\rightarrow X_{N-1}\rightarrow \cdots\rightarrow X_1\rightarrow X_0=X,
\end{align}
where $X_{j+1}$ is the blow-up of $X_j$ along a smooth center $Y_j\subset X_j$. Denote by $E_{j+1}\subset X_{j+1}$ the exceptional divisor, and let $\mu_j:X_{j+1}\rightarrow X_j$ be the blow-up map. The line bundle $\mathcal{O}(-E_{j+1})|_{E_{j+1}}$ is equal to $\mathcal{O}_{P(N_j)}(1)$ where $N_j$ is the normal bundle to $Y_j$ in $X_j$. Pick an arbitrary smooth Hermitian metric on $N_j$, use this metric to get an induced Fubini-Study metric on $\mathcal{O}_{P(N_j)}(1)$, and finally extend this metric as a smooth Hermitian metric on the line bundle $\mathcal{O}(-E_{j+1})$. Such a metric has positive curvature along tangent vectors of $X_{j+1}$ which are tangent to the fibers of $E_{j+1}=P(N_j)\rightarrow Y_j$. Assume further that $\omega_j$ is a Gauduchon metric satisfying assumption (*) on $X_j$. Then
\begin{align}
\Omega_{j+1}=\mu^*_j\omega_j-\varepsilon_{j+1}u_{j+1}
\end{align}
where $\mu^*_j\omega_j$ is  semi-positive on $X_{j+1}$, positive definite on $X_{j+1}\setminus E_{j+1}$, and also positive definite on tangent vectors of $T_{X_{j+1}}|_{E_{j+1}}$ which are not tangent to the fibers of $E_{j+1}\rightarrow Y_j$. It  is then easily to see that $\Omega_{j+1}>0$   by taking $\varepsilon_{j+1}\ll 1$. Thus our final candidate $\Omega$ on $\widetilde{X}$ has the form $\Omega=\mu^*\omega-\sum\varepsilon_j\widetilde{u}_j$, where $\widetilde{u}_j=(\mu_{N-1}\circ \cdots\circ \mu_{j})^*u_j$. Since every $u_j$ is a curvature term of a line bundle, the term $\sum\varepsilon_j\widetilde{u}_j$ is $d$-closed. Now from Lemma \ref{assumption lemma}  our $\Omega$ satisfies the assumption (*).
\end{proof}
Now we want to show that the class $\{\theta_k\}$ is big for $k$ large.  It suffices to show that there exists $\varepsilon_0>0$ and a distribution $\chi$ such that $\theta_k+dd^c\chi\geq \varepsilon_0 \widetilde{\omega}_k$. According to Lamari's criterion \cite{Lam99}, c.f. Section \ref{lamari}, this is equivalent to showing that
\begin{align}
\int_X\theta_k\wedge g^{n-1}\geq \varepsilon_0\int_X\widetilde{\omega}_k\wedge g^{n-1}\notag
\end{align}
for any Gauduchon metric $g$ on $X_k$. Here we use a theorem of Michelsohn \cite{Mic83} which states that every strictly positive $(n-1,n-1)$-form $\beta$ has a $(1,1)$ root  $g$ such that $\beta=g^{n-1}$. Suppose to the contrary that for any $m\in \mathbb{N}$, there exists $\omega_m$ a Gauduchon metric on $X_k$ such that
\begin{align}
\int_{X_k}\theta_k\wedge\omega_m^{n-1}\leq \frac{1}{m}\int_{X_k}\widetilde{\omega}_k\wedge\omega_m^{n-1}.\notag
\end{align}
We can assume that
\begin{align}
\int_{X_k}\widetilde{\omega}_k\wedge\omega^{n-1}_m=1\notag
\end{align}
and therefore
\begin{align}
\int_{X_k}\theta_k\wedge \omega^{n-1}_m\leq \frac{1}{m}.\notag
\end{align}

From Theorem \ref{Monge-Ampere equation}, we can solve the equation
\begin{align}\label{solution}
(\theta_k+\Omega_k+\frac{1}{m}\widetilde{\omega}_k+dd^c\varphi_m)^n=C_m\omega_m^{n-1}\wedge \widetilde{\omega}_k
\end{align}
for a function $\varphi_m\in\mathcal{C}^\infty(X_k,\mathbb{R}) $ such that if we set $$\alpha_m=\theta_k+\Omega_k+\frac{1}{m}\widetilde{\omega}_k+dd^c\varphi_m,$$ then $\alpha_m>0$. The constant $C_m$ is given by
\begin{align}\label{estimate of Cm}
C_m&=\int_{X_k}\big(\theta_k+\Omega_k+\frac{1}{m}\widetilde{\omega}_k\big)^n\geq \int_{X_k}(\theta+\Omega_k)^n\\
&=\int_{X_k}\theta^n_k+O(\varepsilon_k)\int_X\sum_{p\geq1}T^p_{k,ac}\wedge\omega^{n-p}\notag\\
&\geq C>0.\notag
\end{align}
The third inequality follows from Lemma \ref{Boucksom 2} and for $k$ sufficiently large. Where $C$ is a uniform constant depends only on the cohomology class $\alpha$ and $\omega$. Now
\begin{align}
\int_{X_k}\alpha_m^{n-1}\wedge\widetilde{\omega}_k=\int_{X_k}\widetilde{\omega}_k\wedge(\theta_k+\frac{1}{m}\widetilde{\omega}_k+\Omega_k)^{n-1}\leq \int_{X_k}\widetilde{\omega}_k\wedge(\theta_k+\widetilde{\omega}_k)^{n-1}\notag
\end{align}
But one have
\begin{align}
\int_{X_k}\widetilde{\omega}_k\wedge(\theta_k+\widetilde{\omega}_k)^{n-1}\leq C'\int_X\omega\wedge(T_{k,ac}+\omega)^{n-1}\leq M.\notag
\end{align}
The second inequality holds since $\widetilde{\omega}_k=\mu_k^*\omega+\sum \varepsilon_j\widetilde{u}_j$ and $\varepsilon_j$ can be chosen sufficiently small which can be easily seen from  Lemma \ref{blow-up} and similar argument as in (\ref{estimate of Cm}), $M$ is also a uniform constant which depends only on the cohomology class $\alpha$ and the metric $\omega$ on $X$, and the  last inequality is  due to  Lemma \ref{Boucksom 2}.

Set
\begin{align}
E=\Big\{\frac{\alpha_m^{n-1}\wedge \widetilde{\omega}_k}{\omega_m^{n-1}\wedge\widetilde{\omega}_k}>2M\Big\}\notag
\end{align}
then
\begin{align}\label{chio1}
\int_E\omega_m^{n-1}\wedge \widetilde{\omega}_k\leq \frac{1}{2}.
\end{align}
Therefore on $X_k\setminus E$, we have $\alpha_m^{n-1}\wedge \widetilde{\omega}_k\leq 2M\omega_m^{n-1}\wedge \widetilde{\omega}_k$. By looking at the eigenvalues of $\alpha_m$ with respect to $\omega$, from (\ref{solution}), it follows that on $X_k\setminus E$, we have
\begin{align}
\alpha_m\geq \frac{C_m}{2nM}\widetilde{\omega}_k.\notag
\end{align}
Therefore
\begin{align}\label{chio2}
\int_{X_k}\alpha_m\wedge\omega^{n-1}_m\geq \int_{X_k\setminus E}\alpha_m\wedge\omega^{n-1}_m\geq \frac{C_m}{2nM}\int_{X_k\setminus E}\widetilde{\omega}_k\wedge \omega^{n-1}_m=\\
=\frac{C_m}{2nM}\big(\int_{X_k}\widetilde{\omega}_k\wedge\omega_m^{n-1}-\int_E\widetilde{\omega}_k\wedge\omega^{n-1}_m\big)\geq \frac{C}{4nM}.\notag
\end{align}
On the other hand,
\begin{align}\label{chio3}
\int_{X_k}\alpha_m\wedge\omega^{n-1}_m\leq\int_{X_k}\theta_k\wedge\omega^{n-1}_m+\frac{2}{m}\int_{X_k}\widetilde{\omega}_k\wedge\omega_m^{n-1}\leq \frac{3}{m},
\end{align}
which is  a contradiction for $m>>0$. Here the first inequality in (\ref{chio3}) holds for $k$ sufficiently large such that $\Omega_k=\varepsilon_k\mu^*_k\omega\leq \frac{1}{m}\widetilde{\omega}_k$. Therefore $\theta_k$ is big. i.e. there exists a K\"{a}hler current $\Theta\in \{\theta_k\}$ on $X_k$, hence a K\"{a}hler current $(\mu_{k})_*(\Theta+D_k)$ (see Lemma \ref{push-forward}) on $X$. Thus it follows that $X$ is in the \textit{Fujiki} class. Theorem 2.2 in \cite{Chi} implies that a manifold in the \textit{Fujiki} class and which is strong K\"{a}hler with torsion (i.e. it supports a $\partial\overline{\partial}$-closed Hermitian metric), is in fact K\"{a}hler.

\end{proof}

\begin{rem}
It is a fact that in general the pseudo-effective cone (even the big cone) and the nef cone on a compact complex manifold are not the same. In general, the nef cone is contained in the pseudo-effective cone. But the converse is not true. For example, the  exceptional divisor of a blowing-up along one point in $\mathbb{C}P^2$ is pseudo-effective but not nef.  To characterize the pseudo-effective cone is an important question in the study of   complex geometry.
\end{rem}

\begin{rem}Recently, Tosatti \cite{Tos15} gave a proof of (b) using ideas very close to our proof of Theorem \ref{Grauert-Riemenschneider}.
\end{rem}

\begin{rem} In Demailly's book \cite{Dem12}, Demailly introduced the following  definition of vol$_D(\alpha)$ for a pseudo-effective class $\alpha$ on K\"{a}hler manifolds.
 \begin{defin}[c.f. \cite{Dem12}]
Let $X$ be a compact K\"{a}hler manifold. The volume, or mobile self-intersection of a class $\alpha\in H^{1,1}(X,\mathbb{R})$ is defined  to be
\begin{align*}
\mbox{vol}_D(\alpha)=\sup_{T\in \alpha}\int_{X\setminus \mbox{sing}(T)}T^n=\sup_{T\in \alpha}\int_{\widetilde{X}}\beta^n>0
\end{align*}
where the supremum is taken over all K\"{a}hler currents $T\in \alpha$ with logarithmic poles, and $\mu^*T=[E]+\beta$ with respect to some modification $\mu:\widetilde{X}\rightarrow X$. Correspondingly, we set $\mbox{vol}(\alpha)=0$ if $\alpha\not\in \mathcal{E}^o$.
\end{defin}

 It is almost trivial that vol$_D(\alpha)\leq \mbox{vol}(\alpha)$. From Theorem \ref{Grauert-Riemenschneider}, one can now see that if the compact Hermitian manifold $(X,\omega)$ satisfies the assumption (*) and  vol$(\alpha)>0$, then $\alpha$ is big and $X$ is K\"{a}hler. Thus it is natural to ask whether vol$_D(\alpha)=\mbox{vol}(\alpha)$ on a K\"{a}hler manifold.

Firstly, it is easy to see that $\mbox{vol}_D(\alpha)=\sup_{T\in \alpha}\int_{X}T_{ac}^n$, where the supremum is taken over all K\"{a}hler currents $T\in \alpha$ with logarithmic poles. In particular, one has $\mbox{vol}_D(\alpha)\leq \mbox{vol}(\alpha)$.

Secondly, one have $\mbox{vol}(\alpha)\leq \mbox{vol}_D(\alpha)$.
In fact, it is trivial that $\mbox{vol}(\alpha)=0\Leftrightarrow\mbox{vol}_D(\alpha)=0$. Otherwise it is a direct consequence of the following version of Fujita's theorem due to Boucksom.
\begin{thm}[c.f. \cite{Bou02}]Let $X$ be a compact K\"{a}hler manifold, and let $\alpha\in H^{1,1}(X,\mathbb{R})$ is a big class on $X$. Then for every $\varepsilon>0$, there exists a modification $\mu:\widetilde{X}\rightarrow X$, a K\"{a}hler class $\omega$ and an effective real divisor $D$ on $\widetilde{X}$ such that
\begin{itemize}
\item  $\mu^*\alpha=\omega+\{D\}$ as cohomology classes,
\item  $|\mbox{vol}(\alpha)-\mbox{vol}(\omega)|<\varepsilon$.
\end{itemize}
\end{thm}

To conclude, we prove the following
\begin{prop}
Let $X$ be a compact K\"{a}hler manifold, for any $\alpha$ in $H^{1,1}(X,\mathbb{R})$,  $\mbox{vol}(\alpha)=\mbox{vol}_D(\alpha)$.
\end{prop}

\end{rem}

\section{A characterization of the nef anti-canonical bundle on $X$: Proof of Theorem \ref{characterization of nef}}\label{nef}

Let $(X,\omega)$ be a compact complex manifold with a Hermitian  metric $\omega$. Denote by Ricci$(\omega)$ the Chern Ricci curvature of $(X,\omega)$, i.e. the Chern curvature of $K_X^{-1}$  corresponding to the  Hermitian metric induced by the Hermitian metric $\omega$ of $X$.

Firstly, we prove that (i) implies (ii). Suppose $L:=K_X^{-1}$ is nef, that is for any $\varepsilon>0$, there is a smooth hermitian metric $h_\varepsilon$ of $L$, such that $\Theta_{L,h_\varepsilon}\geq-\varepsilon\omega$. From the fact that $\Theta_{L,h_\varepsilon}$ is the Chern Ricci curvature of $X$ and thus a representative of the first Chern class of $X$. One asks for a $\phi$, such that $\omega_\varepsilon:=\omega+i\partial\overline{\partial}\phi>0$ and Ricci$(\omega_\varepsilon)\geq -\varepsilon\omega_\varepsilon$. Let us find out what equation should such $\phi$ satisfy. Now let $u_\varepsilon:=\Theta_{L,h_\varepsilon}\geq-\varepsilon\omega$. Then $u_\varepsilon=\mbox{Ricci}(\omega)+i\partial\overline{\partial}F_\varepsilon$. It thus suffices to  find a $\phi$ such that
\begin{align}\label{equivalent equation1}
\mbox{Ricci}(\omega_\varepsilon)=-\varepsilon\omega_\varepsilon+\varepsilon\omega+u_\varepsilon,
\end{align}
which is equivalent to  equation (\ref{MA2}). In fact,
\begin{align*}
i\partial\overline{\partial}\log\omega_\varepsilon^n-i\partial\overline{\partial}\log\omega^n&=\mbox{Ricci}(\omega)-\mbox{Ricci}(\omega_\varepsilon)\\
&=\varepsilon(\omega_\varepsilon-\omega)+\mbox{Ricci}(\omega)-u_\varepsilon\\
&=i\partial\overline{\partial}(\varepsilon\phi-F_\varepsilon).
\end{align*}
From Theorem \ref{Cherrier}, one concludes that for any $\varepsilon>0$, there is a smooth function $\phi_\varepsilon$, such that $\omega_\varepsilon:=\omega+i\partial\overline{\partial}\phi>0$ and $\mbox{Ricci}(\omega_\varepsilon)\geq-\varepsilon\omega_\varepsilon$.

Conversely, since $\mbox{Ricci}(\omega_\varepsilon)\geq-\varepsilon\omega_\varepsilon$ and $\omega_\varepsilon:=\omega+i\partial\overline{\partial}\phi>0$, one can easily conclude that $\mbox{Ricci}(\omega_\varepsilon)+i\partial\overline{\partial}(\varepsilon\phi)\geq-\varepsilon\omega$. But $\mbox{Ricci}(\omega_\varepsilon)+i\partial\overline{\partial}(\varepsilon\phi)$ is precisely a curvature form associated to a  Hermitian metric on $K_X^{-1}$. Thus one gets the nefness of $K_X^{-1}$.

\section{A semi-positive property of the Harder-Narasimhan filtration of $T_X$: Proof of Theorem \ref{semi-positivity}}\label{semipositive}

The  proof given here is along the line of the proof in Demailly \cite{Dem14}.
First consider the case where the filtration is regular, i.e. all sheaves $\mathcal{F}_i$ and their quotients $\mathcal{F}_i/\mathcal{F}_{i-1}$ are vector bundles. By the stability condition, it is sufficient to prove that
\begin{align*}
\int_Xc_1(T_X/\mathcal{F}_i)\wedge\omega^{n-1}\geq 0
\end{align*}
for all $i$.
From Theorem \ref{characterization of nef}, for each $\varepsilon>0$, there is a smooth function $\phi_\varepsilon$ such that $\omega_\varepsilon:=\omega+i\partial\overline{\partial}\phi_\varepsilon>0$, and Ricci$(\omega_\varepsilon)\geq-\varepsilon\omega_\varepsilon$. This is equivalent to the pointwise estimate
\begin{align*}
i\Theta_{T_X,\omega_\varepsilon}\wedge\omega_{\varepsilon}^{n-1}\geq-\varepsilon\cdot\mbox{Id}_{T_X}\omega^n_\varepsilon.
\end{align*}
Taking the induced metric on $T_X/\mathcal{F}_i$ (which we also denot by $\omega_\varepsilon$), the second fundamental form contributes  nonnegative terms on the quotient, hence the $\omega_\varepsilon$-trace yields
\begin{align*}
\mbox{Trace}(i\Theta_{T_X/\mathcal{F}_i,\omega_\varepsilon}\wedge\omega_{\varepsilon}^{n-1})\geq-\varepsilon\mbox{rank}(T_X/\mathcal{F}_i)\omega^n_\varepsilon.
\end{align*}
Therefore, putting $r_i=\mbox{rank}(T_X/\mathcal{F}_i)$, since for a line bundle, the curvature differs by $\partial\overline{\partial}$-exact terms from different choices of the Hermitian metric and both $\omega$ and $\omega_\varepsilon$ satisfy the assumption (*), we get
\begin{align*}
\int_Xc_1(T_X/\mathcal{F}_i)\wedge\omega^{n-1}&=\int_Xc_1(T_X/\mathcal{F}_i)\wedge\omega_\varepsilon^{n-1}\\
&\geq -\varepsilon r_i\int_X\omega_\varepsilon^n=-\varepsilon r_i\int_X\omega^n,
\end{align*}
and we are done. In case there are singularities, from the construction \cite{Bru01} they occur only on some analytic subset $S\subset X$ of codimension $2$. The first Chern forms calculated on $X\setminus S$ extend as locally integrable currents on $X$ and do not contribute any mass on $S$. The above calculations are still valid. Thus we complete the proof of Theorem \ref{semi-positivity}.

\subsection*{Acknowledgements}
The author would like to thank Professor Jean-Pierre Demailly for his talk about structures of K\"{a}hler manifolds given at Peking University, pointing out to him the key observations in the proof of Lemma \ref{Boucksom 2}, and many inspiring discussions from which the author benefited a lot. The author is grateful to  Professor Xiangyu Zhou and Kefeng Liu for their constant support,  encouragement, and  helpful discussions, to Professor Valentino Tosatti for many helpful discussions. Part of this research was done at the Department of Mathematics in University of California at Los Angeles under the support of Chinese Scholarship Council.