A Characterization of Finite Quotients of Abelian Varieties

A Characterization of Finite Quotients of Abelian Varieties Abstract We provide a characterization of quotients of Abelian varieties by finite groups actions that are free in codimension-one via vanishing conditions on the orbifold Chern classes. The characterization is given among a class of varieties with singularities that are more general than quotient singularities, namely among the class of klt varieties. Furthermore, for a semistable (respectively stable) reflexive $${\mathcal O}_{X}$$-module $${\mathscr{E}}$$ with zero first and second orbifold Chern classes over such a variety $$X$$, we show that $${\mathscr{E}}|_{X_\mathrm{reg}^\mathrm{an}}$$ is locally-free and flat, given by a linear (irreducible unitary) representation of $$\pi_1(X_\mathrm{reg})$$, and that it extends over a finite Galois cover $$\widetilde X$$ of $$X$$ étale over $$X_\mathrm{reg}$$ to a locally-free and flat sheaf given by an equivariant linear (irreducible unitary) representation of $$\pi_1(\widetilde X)$$. These are generalizations to the singular setting that is more general than any orbifold strengthenings of the classical correspondences of Donaldson-Uhlenbeck-Yau-Simpson. 1 Introduction We provide sufficient conditions for a (semi)stable reflexive sheaf over a normal projective varietiy $$X$$ to be locally-free and flat on the smooth locus of $$X$$ and also across the singular locus up to a finite cover of $$X$$. The latter result depends for this article crucially on a recent result of [10] on the existence of a suitable finite cover (in the case $$X$$ is klt). A characterization of quotients of Abelian varieties by finite groups acting freely in codimension-one follows. This is achieved by tracing a correspondence between polystable (respectively stable) reflexive sheaves with zero Chern classes and (irreducible) unitary representations of the fundamental group (see (3.1.6) and Theorem 1.1) that goes back to the celebrated results of Narasimhan-Seshadri [29], Donaldson [5], and Uhlenbeck-Yau [33] on stable holomorphic vector bundles: 1.0.1. On a compact Kähler manifold $$X$$ of dimension$$n$$with a Kähler form$$w$$, a vector bundle$${\mathscr{E}}$$is stable with vanishing first and second Chern classes, that is  c1(E)R=0   and  ∫Xc2(E)∧[w]n−2=0,if and only if it comes from an irreducible unitary representation of$$\pi_1(X)$$. We recall that the notion of stability (in the sense of Mumford-Takemato) of a torsion-free coherent sheaf $${\mathscr{F}}$$ on such a manifold requires the slope of $${\mathscr{F}}$$ with respect to $$w$$:   μw(F):=∫Xc1(F)∧[w]n−1rank(F). We say that a torsion-free coherent sheaf $${\mathscr{E}}$$ is $$[w]$$-(semi)stable if the inequality   μw(G)<μw(E)    (respectively μw(G)≤μw(E)), (1.0.2) holds for every (torsion-free) coherent subsheaf $${\mathscr{G}}$$ of $${\mathscr{E}}$$ with $$0<\mathrm{rank}({\mathscr{G}})<\mathrm{rank}({\mathscr{E}})$$. This notion generalizes in the projective category to the case when $$X$$ is an $$n$$-dimensional normal projective variety with $$n-1$$ ample divisors $$H_1,\dots,H_{n-1}$$. In this case, a torsion-free coherent sheaf $${\mathscr{E}}$$ is said to be (semi)stable with respect to the polarization $$\hbar :=(H_1,\ldots,H_{n-1})$$ if (1.0.2) holds with the slope of a subsheaf $${\mathscr{F}}$$ above replaced by   μℏ(F):=c1(F)⋅H1⋅…⋅Hn−1/rank(F). Note that this is well defined since $${c}_1({\mathscr{F}})={c}_1(\det {\mathscr{F}})$$ and $$\det {\mathscr{F}}$$ is invertible outside the singular locus of $$X$$, which is of codimension 2 or more. We say that a reflexive (or torsion-free) coherent sheaf $${\mathscr{E}}$$ on $$X$$ is generically semi-positive if all its torsion-free quotients $${\mathscr{F}}$$ have semipositive slopes $$\mu_{\hbar}({\mathscr{F}})$$ with respect to every polarization $$\hbar :=(H_1,\ldots,H_{n-1})$$ with all $$H_i$$ ample. We note that if $$\det {\mathscr{E}}$$ is numerically trivial, then this condition is equivalent to the semistability of $${\mathscr{E}}$$ (or of the dual of $${\mathscr{E}}$$) with respect to all such polarizations. Also, in the case $${\mathscr{E}}$$ is generically semi-positive or generically semi-negative and $$\det {\mathscr{E}}$$ is $$\mathbb{Q}$$-Cartier, then $$\det {\mathscr{E}}$$ (or equivalently $${c}_1 ({\mathscr{E}})$$) is numerically trivial if and only if $${c}_1({\mathscr{E}})\cdot H_1\cdot \ldots\cdot H_{n-1}=0$$ for some $$(n-1)$$-tuple of ample divisors $$(H_1\cdot \ldots\cdot H_{n-1})$$, see Lemma 2.4. An important example of a generically semi-positive sheaf is the cotangent sheaf of a non-uniruled normal projective variety [26]. Throughout this article, we work with a normal complex projective variety $$X$$ having an orbifold structure (i.e., having only quotient singularities) in codimension-$$2$$ (see Section 2.2). This means that, if we cut down $$X$$ by $$(n-2)$$ very ample divisors, the general resulting surface has only isolated quotient singularities, and hence inherits an orbifold structure (or $$\mathbb{Q}$$-structure). Hence, there is a well-defined intersection pairing between $$\mathbb{Q}$$-Chern classes $$\widehat {c}_2({\mathscr{F}})$$, $$\widehat {c}_1^2({\mathscr{F}})$$ and $$(n-2)$$-tuples of ample divisors on $$X$$ and similarly for the second $$\mathbb{Q}$$-Chern character $${\widehat{ch}_2}({\mathscr{F}}):= (\widehat {c}_1^2({\mathscr{F}}) - 2\widehat {c}_2)/2$$, see Section 2. The same holds for the intersection pairing between the first $$\mathbb{Q}$$-Chern class ($$\mathbb{Q}$$-Chern character) $$\widehat {c}_1({\mathscr{F}})(={\widehat{ch}_1}({\mathscr{F}}))$$ and $$(n-1)$$-tuples of ample divisors. In this context, we have the following analog of (1.0.1) for a normal projective variety $$X$$ (see Section 3 for its proof). Theorem 1.1. Let $$X$$ be an $$n$$-dimensional klt projective variety, $$X_\mathrm{reg}$$ its nonsingular locus and $${\mathscr{F}}$$ a reflexive coherent sheaf on $$X$$. Then (the analytification of) $${\mathscr{F}}|_{X_\mathrm{reg}}$$ comes from an irreducible unitary representation (respectively, an unitary representation) of $$\pi_1(X_\mathrm{reg})$$ if and only if, for some (and in fact for all) ample divisors $$H_1,\ldots,H_{n-1}$$ on $$X$$, we have: (1.1.1) The reflexive sheaf $${\mathscr{F}}$$ is stable (respectively, polystable) with respect to the polarization $$\hbar:=(H_1,\ldots,H_{n-1})$$. (1.1.2) The first and second $$\mathbb{Q}$$-Chern characters of $${\mathscr{F}}$$ verify the vanishing conditions:   ch^1(F)⋅H1⋅…⋅Hn−1=0,ch^2(F)⋅H1⋅…⋅Hn−2=0. In particular, $${\mathscr{F}}$$ is locally free on $$X_\mathrm{reg}$$ and is generically semi-positive in this case. □ Our main theorem below gives a characterization for finite quotients of Abelian varieties that are étale in codimension-$$1$$. We recall that a klt space is a normal $$\mathbb{Q}$$-Gorenstein space $$X$$ with at worst klt singularities ([19]), i.e. $$X$$ admits a desingularization $$\pi:\widetilde X \to X$$ that satisfies $$a_i>-1$$ for every $$i$$ in the ramification formula (we use $$\simeq_{_{\mathbb{Q}}}$$ to denote $$\mathbb{Q}$$-linear equivalence)   KX~≃Qπ∗(KX)+∑aiEi, (1.1.1) where the $$E_i$$’s are the prime components of the exceptional divisor and $$K_X$$ is the canonical divisor of $$X$$ (up to linear equivalence) given by a $$\mathbb{Q}$$-Cartier divisor defined by the sheaf isomorphism $$\omega_X\cong {\mathscr{O}}_X(K_X)$$ with $$\omega_X$$ the dualizing sheaf of $$X$$. And we say that $$X$$ has at worst canonical singularities, if we replace the inequality $$a_i>-1$$ above by $$a_i\geq 0$$. We also recall that klt spaces have only quotient singularities in codimension-$$2$$ and that varieties with only quotient singularities are klt, see Remark 2.1. Theorem 1.2. Let $$X$$ be an $$n$$-dimensional normal projective variety. Then $$X$$ is a quotient of an Abelian variety by a finite action free in codimension-$$1$$ if and only if $$X$$ is klt and (1.2.1) $$K_X\equiv 0$$. (1.2.2) The second $$\mathbb{Q}$$-Chern class of $${\mathscr{T}}_X:=(\Omega^1_{ X})^*$$ respects the vanishing condition   c^2(TX)⋅A1⋅…⋅An−2=0, for some $$(n-2)$$-tuple of ample divisors $$(A_1,\ldots, A_{n-2})$$. □ Remark 1.3. We remark that the two conditions (1.2.1) and (1.2.2) may be replaced by the following set of assumptions for some and hence for all polarization $$\hbar=(H_1,\ldots,H_{n-1})$$, with each $$H_i$$ ample (see Explanation 4.4): (1.3.1) The tangent sheaf $${\mathscr{T}}_X$$ is semistable with respect to $$\hbar$$ (automatically satisfied if the singularities of $$X$$ are canonical and Condition (1.3.2) is satisfied). (1.3.2) The first and second $$Q$$-Chern characters of $${\mathscr{T}}_X$$ verify the vanishing conditions   ch^1(TX)⋅H1⋅…⋅Hn−1=0,ch^2(TX)⋅H1⋅…⋅Hn−2=0. □ Theorem 1.2 is a generalization of the classical uniformization theorem of Yau [35] which states that a compact Kähler manifold $$X$$ of dimension $$n$$ with Kähler class $$[w]$$ that satisfies $${c}_1(X)_{\mathbb{R}}=0$$ and $$\int_X {c}_2(X)\wedge [w]^{n-2}=0$$ is uniformized by $$\mathbb{C}^n$$ – a consequence of Yau’s solution to Calabi’s conjecture, showing that a compact Kähler manifold with vanishing real first Chern class admits a Ricci-flat metric. The problem of extending this result to the singular setting was proposed in a paper of Shepherd-Barron and Wilson [31]. There, they show that threefolds with at most canonical singularities with numerically trivial first and second $$\mathbb{Q}$$-Chern classes are finite quotient of Abelian threefolds (unramified in codimension-$$1$$). Our basic strategies follow those of [31] and [10]. We take the natural classical approaches whenever possible. Theorem 1.2 for terminal varieties ($$a_i>0$$ in (1.1.1)) and more generally for klt varieties that are smooth in codimension-$$2$$ have been established by Greb et al. [10] and sets the stage for this paper. We give two different proofs of the above theorem, the first via a result on the polystability of the tangent sheaf and the second via Miyaoka’s theorem on the generic semipositivity of the cotangent sheaf of a non-uniruled variety by working out the following orbifold generalization of Simpson’s correspondence between coherent sheaves with flat connections and semistable bundles with zero first and second $$\mathbb Q$$-Chern characters. Both of these generalize to the case of other classical quotients, such as orbifold quotients of the ball, that we will treat elsewhere. Theorem 1.4. Let $$X$$ be a klt projective variety, $$\hbar:=(H_1,\ldots,H_{n-1})$$ a polarization on $$X$$ and $${\mathscr{E}}$$ a coherent reflexive sheaf on $$X$$. Then $${\mathscr{E}}|_{X_\mathrm{reg}}$$ is locally free and flat, i.e. given by a representation of $$\pi_1(X_\mathrm{reg})$$, if $${\mathscr{E}}$$ is semistable with respect to $$\hbar$$ and verifies   ch^1(E)⋅H1⋅…⋅Hn−1=0,ch^2(E)⋅H1⋅…⋅Hn−2=0. Furthermore, there exists a finite, Galois morphism $$f:Y\to X$$ étale over $$X_\mathrm{reg}$$, independent of $${\mathscr{E}}$$, such that $$(f^*{\mathscr{E}})^{**}$$ is locally-free, equivariantly flat and with numerically trivial determinant over $$Y$$. □ It goes without saying that Yau’s resolution of the Calabi conjecture and the Donaldson-Uhlenbeck-Yau theorem are basic ingredients in our proof of Theorem 1.2. Key to our proof also include the resolution of the Zariski-Lipman conjecture for klt spaces due to Greb et al. [8, Thm. 6.1] and the result in [10, Thm. 1.13] of Greb et al. regarding the extension of flat vector bundles across the singular locus of a klt variety up to a finite cover obtained via Chenyang Xu’s [34] result on the finiteness of the local algebraic fundamental groups of klt varieties. These latter recent results are used only to show that the singularities arising in Theorem 1.2 are quotient singularities and are not used for Theorem 1.1 and the first part of Theorem 1.4, which are results of independent interests even in dimension 2. Compared to past approaches, crucial new ingredients include the use, for a finite group $$G$$ acting on a normal projective variety $$X$$, of the $$G$$-equivariant version of the Donaldson-Uhlenbeck-Yau correspondance coupled with an equivariant resolution of $$X$$, of Langer’s restriction theorems for (semi)stable sheaves, of Jordan-Hölder filtrations for $$G$$-semistable sheaves by $$G$$-equivariant subsheaves. Remark 1.5 (Comparing $$\mathbb{Q}$$-Chern classes of $$X$$ to Chern classes of smooth models of $$X$$). Let $$X$$ be a minimal, projective klt variety and $$\pi:\widetilde X\to X$$ a resolution of $$X$$. The Chern class calculations in [31, Prop. 1.1], together with the fact that the exceptional locus of a resolution of surface klt singularities is given by a tree of $$\mathbb{P}^1$$’s, show that the inequality   c^2(TX)⋅Hn−2≤c2(TX~)⋅π∗Hn−2, holds for all ample divisor $$H$$ on $$X$$ and that the inequality is strict as long as $$X$$ is not smooth in codimension-2. In particular if   KX≡0   ,   c2(TX~)⋅π∗Hn−2=0, (1.5.1) then from Theorem 1.2 we find that $$X$$ is a finite quotient of an Abelian variety (notice that, by Proposition 2.9, $${\mathscr{T}}_X$$ is semistable in this case so that the Bogomolov inequality (2.3.1) gives $$\widehat {c}_2({\mathscr{T}}_X)\cdot H^{n-2}\geq 0$$). This uniformization result via the Chern class conditions (1.5.1) in the case $$X$$ has at most canonical singularities has been established in [11, Thm. 1.4] using a stability theory for sheaves with respect to movable classes. □ 2 Preliminaries on $$Q$$-structures and $$Q$$-Chern classes In this section, we first give a very brief overview of the theory of $$\mathbb{Q}$$-vector bundles on an orbifold $$X$$ (or Satake’s $$V$$-bundles on a $$V$$-manifold [30]). Then we provide, via the Bogomolov inequality for the $$\mathbb{Q}$$-Chern classes of semistable $$\mathbb{Q}$$-vector bundles, a numerical criterion for $$\mathbb{Q}$$-Chern classes of generically semi-positive reflexive sheaves to vanish (Section 2.2.5). Finally we collect some basic facts on the behaviour of reflexive sheaves under a natural class of finite surjective maps between normal varieties. 2.1 Reflexive operations In this article, all objects are defined over $$\mathbb{C}$$, all coherent sheaf on an algebraic (or analytic) variety $$X$$ are $${\mathscr{O}}_X$$-modules as well as all torsion-free or reflexive sheaves on $$X$$. We denote the reflexive hull of a coherent sheaf $${\mathscr{F}}$$ of rank $$r$$ by $${\mathscr{F}}^{**}$$ and define the reflexive exterior power by $$\wedge^{[i]}{\mathscr{F}}:=(\wedge^{i}{\mathscr{F}})^{**}$$. In particular, $$\det {\mathscr{F}}$$ is the reflexive hull $$(\wedge^r{\mathscr{F}})^{**}$$ of $$\wedge^r{\mathscr{F}}$$. For a morphism $$f:Y\to X$$, the reflexive pull-back of a coherent sheaf $${\mathscr{F}}$$ on $$X$$ is denoted by $$f^{[*]}{\mathscr{F}}:=(f^*{\mathscr{F}})^{**}$$. A useful fact about a reflexive sheave $${\mathscr{E}}$$ on a normal variety $$X$$ is that it is locally free on an open subsets $$X_0$$ of $$X_\mathrm{reg}$$ with codimension $$\geq 2$$ complement in $$X$$ and that, for any such open subset, $${\mathscr{E}}=i_*({\mathscr{E}}|_{X_0})$$ where $$i: X_0\hookrightarrow X$$ is the inclusion. In particular, reflexive pullbacks behave well under composition of finite morphisms between normal varieties. For an in-depth discussion we invite the reader to consult Hartshorne [14] and [8]. 2.2 Local constructions For a reflexive sheaf over a complex analytic variety $$X$$ with only quotient singularities in codimension-$$2$$, we define the $$\mathbb{Q}$$-Chern classes via metric Chern-forms analytically locally. We then define the $$\mathbb{Q}$$-Chern classes for an algebraic reflexive sheaf as those of its analytification. We also discuss conditions that guarantee their vanishing considered as multilinear forms on the Néron-Severi space when $$X$$ is projective. 2.2.1 $${\mathbb{Q}}$$-vector bundles and $${\mathbb{Q}}$$-Chern classes Let $$X$$ be a complex analytic variety with only quotient singularities, i.e., locally analytically $$X$$ is a quotient of complex manifold by a finite group, acting freely in codimension-$$1$$. Let $$\{U_{\alpha}\}$$ be a finite cover of $$X$$ with local uniformizations, that is, for each $$\alpha$$ there exists a complex manifold $$X_{\alpha}$$ and a finite, proper, holomorphic map $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$ such that $$U_{\alpha}=X_{\alpha} / G_{\alpha}$$, where $$G_{\alpha}=\mathrm{Gal}(X_{\alpha}/U_{\alpha})$$. We call the $$G_{\alpha}$$-equivariant coherent sheaves on $$X_{\alpha}$$$$G_{\alpha}$$-sheaves and their $$G_{\alpha}$$-equivariant subsheaves the $$G_{\alpha}$$-subsheaves (see [27] or [8]). We call a coherent sheaf $${\mathscr{E}}$$ on $$X$$ a $$\mathbb{Q}$$-vector bundle, if for each $$\alpha$$, there exists a $$G_{\alpha}$$-locally-free sheaf $${\mathscr{E}}_{\alpha}$$ on $$X_{\alpha}$$ such that its sheaf of $$G_{\alpha}$$-invariants $${\mathscr{E}}_{\alpha}^{G_{\alpha}}$$ descends to $${\mathscr{E}}|_{U_{\alpha}}$$, i.e. $${\mathscr{E}}_{\alpha}^{G_{\alpha}}={\mathscr{E}}|_{U_{\alpha}}$$. Now, let $$h_{\alpha}$$ be a collection of hermitian $$G_{\alpha}$$-invariant metrics on $${\mathscr{E}}_{\alpha}$$ verifying the natural compatibility conditions on overlaps. Such a collection exists by a partition of unity argument (subordinate to $$\{U_{\alpha}\}$$) since the $$X_\alpha$$’s are locally isomorphic over the $$U_{\alpha}$$ overlaps. Denote the $$i$$-th Chern form of $$h_\alpha$$ by $$\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$. These forms are $$G_{\alpha}$$-invariant by construction and naturally gives rise to $$\mathbb{Q}$$-Chern forms $$\Theta_i$$ of $${\mathscr{E}}$$ (over $$X_\mathrm{reg}$$) defined by the local data $$p_{\alpha}^*(\Theta_i|_{U_{\alpha}})=\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$. These define natural cohomology classes $$\widehat {c}_i({\mathscr{E}}):=[\Theta_i({\mathscr{E}},h_{\alpha})]\in H^{2i}(X,\mathbb{Q})$$ independent of the choice of the metrics $$h_{\alpha}$$ and are called the $$\mathbb{Q}$$-Chern classes (or orbifold-Chern classes) of the $$\mathbb{Q}$$-bundle $${\mathscr{E}}$$, noticing that $$V$$-manifolds satisfy Poincaré duality with coefficients $$\mathbb{Q}$$, cf. [30, Thm. 3]. We refer to the original paper of Satake [30] (see also [16, Sect. 2]) for an in-depth discussion of these notions. 2.2.2 Reflexive sheaves as $$\mathbb{Q}$$-vector bundles A reflexive sheaf $${\mathscr{E}}$$ on a complex analytic normal surface with at worst quotient singularities has a natural $$\mathbb{Q}$$-vector bundle structure defined by the locally free sheaves $${\mathscr{E}}_{\alpha}:=p_{\alpha}^{[*]}({\mathscr{E}}|_{U_{\alpha}})$$. More generally, let $$X$$ be any normal complex analytic variety with only quotient singularities in codimension-$$2$$, that is, the maximal subvariety $$X_1$$ of $$X$$ with an orbifold structure, defined by removing the non-orbifold locus from $$X$$ has $$\mathrm{codim}_X (X\setminus X_1)\geq 3$$. Then any reflexive sheaf on $$X$$ has a $$\mathbb{Q}$$-vector bundle structure on an open subset $$X_2\hookrightarrow X_1$$ with codimension-$$3$$ complement. In particular, we may define $$\mathbb{Q}$$-Chern classes of a reflexive sheaf by restricting to $$X_2$$. Assume further that $$X$$ is projective. We define the $$\mathbb{Q}$$-Chern classes of an algebraic reflexive sheaf $${\mathscr{E}}$$ restricted to $$X_2$$ to be those of the analytification $${\mathscr{E}}^\mathrm{an}$$ of $${\mathscr{E}}$$. Since $$\mathrm{codim}_X (X\setminus X_2)\geq 3$$, there are well defined intersection pairings between $$\widehat {c}_1({\mathscr{E}})$$ and $$(n-1)$$-tuples of ample divisors $$(H_1,\ldots,H_{n-1})$$ and between any linear combination $$\Delta:=a\cdot \widehat {c}_2({\mathscr{E}})+b\cdot \widehat {c}_1^{\,2}({\mathscr{E}})$$ and the $$(n-2)$$-tuples $$(H_1,\ldots,H_{n-2})$$, the latter pairing via   Δ⋅H1⋅…⋅Hn−2:=Δ|X2⋅H1⋅…⋅Hn−2. (2.0.2) Remark 2.1. We recall that klt spaces have only quotient singularities in codimension-$$2$$, cf. [8, Prop. 9.4]. Therefore our discussion above is valid for any reflexive sheaf over a projective klt variety. Also varieties with only quotient singularities are klt from the fact that a finite morphism $$f:Y\to X$$ étale in codimension-$$1$$ between normal varieties preserve the klt condition by [19, Prop. 5.20]. In particular, if $$X$$ as given in this previous sentence has only quotient singularities in codimension-$$1$$, then so does $$Y$$ (since $$X_1$$ is klt in this case). □ Remark 2.2. Let $$X$$ and $${\mathscr{E}}$$ be as before. Define $$S:=D_1\cap \cdots \cap D_{n-2}$$ to be the orbifold projective surface in $$X_2$$ cut out by general members $$D_i$$ of basepoint-free linear system $$|m\cdot H_i|$$ for $$m$$ being a sufficiently large positive integer. We recall that $$S$$ may be chosen such that $${\mathscr{E}}|_S$$ is reflexive, see [15, Cor. 1.1.15] for the smooth case and [4, Thm. 12.2.1] for the general setting. Therefore $${\mathscr{E}}|_S$$ has a natural $$\mathbb{Q}$$-vector bundle structure (one can also see this by simply restricting the $$\mathbb{Q}$$-vector bundle structure that is already enjoyed by $${\mathscr{E}}|_{X_2}$$ to the general surface $$S\hookrightarrow X_2$$). We may interpret the intersection number in (2.0.2) as the rational number $$(1/{m^{n-1}})\cdot \Delta({\mathscr{E}}|_S)$$ (we note that this number is obtained by integrating over the fundamental class of $$S$$ and is independent of the choice of $$S$$ for fixed $$H_1,\dots H_{n-2}$$ and $$m$$. Thus, we may and will understand $$\widehat {c}_2({\mathscr{E}})$$ (and similarly $$\widehat {c}^{\,2}_1({\mathscr{E}})$$), following [31], as multilinear forms on the Néron-Severi space $$\mathrm{NS}(X)_{\mathbb{Q}}$$ (see below). □ 2.2.3 Numerical triviality of $$\mathbb{Q}$$-Chern classes on the Picard group. Definition 2.3. (Numerical Triviality of $$\mathbb{Q}$$-Chern Classes of Reflexive Sheaves). Let $$X$$ be a normal projective variety with only quotient singularities in codimension-$$2$$. For a reflexive sheaf $${\mathscr{E}}$$ on $$X$$, we say that the first and second $$\mathbb{Q}$$-Chern classes of $${\mathscr{E}}$$ are numerically trivial on the Picard group (or simply trivial on $$X$$), and we write $$\widehat {c}_i({\mathscr{E}})\equiv_{_{ns}} 0$$, $$i=1,2$$, if $$\widehat {c}_i({\mathscr{E}})$$ defines a vanishing multilinear form on $$\mathrm{NS}(X)_{\mathbb{Q}}$$. Since the $$\mathbb{R}$$-span of the ample classes is open in $$\mathrm{NS}(X)_{\mathbb{R}}$$, we have   c^1(E)≡ns0⟺c^1(E)⋅H1⋅…⋅Hn−1=0  ∀ (H1,…,Hn−1),c^2(E)≡ns0⟺c^2(E)⋅H1⋅…⋅Hn−2=0  ∀ (H1,…,Hn−2), where $$H_1,\ldots,H_{n-1}$$ are ample divisor on $$X$$. □ In the case $$\det {\mathscr{E}}$$ is $$\mathbb{Q}$$-Cartier, it is an elementary exercise to show that $$\widehat {c}_1({\mathscr{E}})\equiv_{_{ns}} 0$$ if and only if $$\widehat {c}_1({\mathscr{E}})\equiv 0$$. One can also appeal directly to the numerical triviality criterion of Kleiman given in [17] to see this. When it is not $$\mathbb{Q}$$-Cartier however, it makes little sense to talk about numerical triviality in the usual sense since intersection with arbitrary curves has no sense and, even if it does, this notion would be different from the numerical triviality on the Picard group in general. 2.2.4 Bogomolov inequality for $$\mathbb{Q}$$-bundles With the setup as above and $$\mathrm{rank}({\mathscr{E}})= r$$, a natural combination of $$\mathbb{Q}$$-Chern classes as defined in (2.0.2) is   ΔB(E):=2r⋅c^2(E)−(r−1)⋅c^12(E). According to [16, Lem. 2.5], any semistable reflexive sheaf $${\mathscr{F}}$$ on a projective normal surface $$S$$ with only quotient singularities verifies the Bogomolov inequality  ΔB(F)≥0. (2.3.1) Now assume that $${\mathscr{E}}$$ is semistable with respect to a polarization $$(H_1,\ldots,H_{n-1})$$. Then, by the classical result of Mehta-Ramanthan [23] generalized by Flenner [6], the restriction $${\mathscr{E}}|_S$$ is also semistable, where $$S:=D_1\cap \ldots \cap\widehat D_i \cap \ldots \cap D_{n-1}$$ is the complete intersection surface cut out by general members $$D_i\in |m\cdot H_i|$$, $$m\gg0$$ and $$i\in\{1,\ldots,n-1\}$$, after removing an ample divisor $$H_i$$ from the $$(n-1)$$-tuple $$(H_1,\ldots, H_{n-1})$$. Therefore, thanks to the Bogomolov inequality (2.3.1), we have   ΔB(E)⋅H1⋅…⋅H^i…⋅Hn−1≥0  ∀i, (2.3.2) where $$(H_1,\ldots,\widehat H_i,\ldots,H_{n-1})$$ is the $$(n-2)$$-tuple of ample divisors defined by removing the ample divisor $$H_i$$ from $$(H_1,\ldots, H_{n-1})$$ (see Remark 2.2 for the definition of the intersection in inequality (2.3.2).) 2.2.5 Numerical triviality criterion for $$\mathbb{Q}$$-Chern classes Generically semi-positive reflexive sheaves (over normal varieties with only quotient singularities in codimension-$$2$$) are central objects of this article. In the next lemma, we show that the $$\mathbb{Q}$$-Chern classes of such sheaves verify a natural numerical triviality criterion (on the Picard group). We note that for minimal varieties, the tangent sheaf is, thanks to Miyaoka’s result, an example of a generically semi-positive sheaf and in this context the vanishing of $$c_2$$ in the following Lemma has already been proved in [10, Prop. 4.8]. Lemma 2.4. Let $$X$$ be a normal projective variety $$X$$ with only quotient singularities in codimension-$$2$$ and $${\mathscr{E}}$$ a generically semi-positive reflexive sheaf on $$X$$. Assume that   c^1(E)⋅H1⋅…⋅Hn−1=0 (2.4.1) holds for some $$(n-1)$$-tuple of ample divisors $$(H_1,\ldots,H_{n-1})$$, then $$\widehat {c}_1({\mathscr{E}}) \equiv_{_{ns}} 0$$. If we assume furthermore that   c^2(E)⋅H1′⋅…⋅Hn−2′=0 for an $$(n-2)$$-tuple of ample divisors $$(H_1',\ldots,H_{n-2}')$$, then $$\widehat {c}_2({\mathscr{E}})\equiv_{_{ns}} 0$$. □ Proof Aiming for a contradiction, suppose there exists a polarization $$(A_1,\ldots,A_{n-1})$$ such that $$\widehat {c}_1({\mathscr{E}})\cdot A_1\cdot \ldots\cdot A_{n-1}\neq 0$$. Then, by the generic semi-positivity assumption, we have   c^1(E)⋅A1⋅…⋅An−1>0. (2.4.2) Now let $$m\in \mathbb{N}^+$$ be a sufficiently large integer such that $$(mH_i-A_i)$$ is ample for all $$i\in\{1,\ldots,n-1\}$$ and consider the equality   mn−1⋅c^1(E)⋅H1⋅…⋅Hn−1=c^1(E)⋅((mH1−A1)+A1)⋅⋅…⋅((mHn−1−An−1)+An−1). (2.4.3) The right-hand side of (2.4.3) is strictly positive by (2.4.2) (and by the generic semi-positivity of $${\mathscr{E}}$$). But the left hand-side is equal to zero by the assumption, a contradiction. To prove the numerical triviality of $$\widehat {c}_2({\mathscr{E}})$$, we argue similarly by using the Bogomolov inequality (2.3.2): First we observe that the generic semi-positivity of $${\mathscr{E}}$$ together with $$\widehat {c}_1({\mathscr{E}}) \equiv_{_{ns}} 0$$ implies that $${\mathscr{E}}$$ is semistable independent of the choice of a polarization. Therefore the second $$\mathbb{Q}$$-Chern class of $${\mathscr{E}}$$ is "pseudo-effective" by (2.3.2), that is   c^2(E)⋅H1⋅…⋅Hn−2≥0, (2.4.4) holds for all $$(n-2)$$-tuples of ample divisors $$(H_1,\ldots, H_{n-2})$$. Suppose to the contrary that there exists ample divisors $$A_1',\ldots,A_{n-2}'$$ such that $$\widehat {c}_2({\mathscr{E}})\cdot A_1'\cdot \ldots\cdot A_{n-2}'\neq 0$$, i.e.,   c^2(E)⋅A1′⋅…⋅An−2′>0. (2.4.5) Set $$m'\in \mathbb{N}^+$$ to be a sufficiently large positive integer such that $$(m'H_i'-A_i')$$ is ample for all $$i\in \{1,\ldots,n-2\}$$. Then   0=m′n−2⋅c^2(E)⋅H1′⋅…⋅Hn−2′=c^2(E)⋅((mH1′−A1′)+A1′)⋅⋅…⋅((mHn−2′−An−2′)+An−2′), which is a contradiction as the right-hand side is strictly positive by the Bogomolov inequality 2.3.2 and the inequality 2.4.5. ■ Remark 2.5. Lemma 2.4 (see also the discussion after Definition 2.3) in particular shows that for generically semipositive reflexive sheaves $${\mathscr{E}}$$ whose determinant $$(\det {\mathscr{E}})$$ is a $$\mathbb{Q}$$-Cartier divisor, the two sets of vanishing conditions [$$\det ({\mathscr{E}})\equiv 0$$, $$\widehat {c}_2({\mathscr{E}})\equiv_{_{ns}}0$$] and [$$\widehat {c}_1({\mathscr{E}})\cdot A_1\cdot \ldots \cdot A_{n-1}=0$$, $$\widehat {ch}_2({\mathscr{E}})\cdot H_1\ldots \cdot H_{n-2}=0$$], where $$(A_1,\ldots, A_{n-1})$$ and $$(H_1,\ldots, H_{n-2})$$ are any $$(n-1)$$ and $$(n-2)$$-tuples of ample divisors in $$X$$, are equivalent. So for example in the case of a non-uniruled $$\mathbb{Q}$$-Gorenstein variety $$X$$, the vanishing conditions in (1.1.2) when $${\mathscr{F}}={\mathscr{T}}_X$$ is the same as $$K_X\equiv 0$$ and $$\widehat {c}_2({\mathscr{T}}_X)\equiv_{_{ns}}0$$. □ 2.3 $$\mathbb{Q}$$-sheaves and global constructions The theory of $$\mathbb{Q}$$-sheaves was introduced by Mumford [27] as an algebraic generalization of $$\mathbb{Q}$$-vector bundles to a much larger class of coherent sheaves for which a meaningful notion of Chern classes can be defined. In this section, we briefly recall some elementary facts that are needed for our results and we refer to Mumford [27] (see also [22]) for a detailed account of this theory. A concise but detailed account of all the notions and results needed in this article can also be found in [12, Sect. 3]. Let $$X$$ be a normal projective variety with only quotient singularities. Then according to Mumford ([27, Chapt. 2]), there exists a $$\mathbb{Q}$$-structure given by the collection of charts $$(U_{\alpha},p_{\alpha}:X_{\alpha}\to U_{\alpha})$$, where $$U_{\alpha}$$ are quasi-projective, $$p_{\alpha}$$ are étale in codimension-$$1$$ and $$X_{\alpha}$$ are smooth. Let $$G_{\alpha}:=\mathrm{Gal}(X_{\alpha}/U_{\alpha})$$. We call a coherent sheaf $${\mathscr{E}}$$ on $$X$$ a $$\mathbb{Q}$$-sheaf, if there exists coherent $$G_{\alpha}$$-sheaves $${\mathscr{E}}_{\alpha}$$ on $$X_{\alpha}$$ such that $${\mathscr{E}}_{\alpha}^{G_{\alpha}}={\mathscr{E}}|_{U_{\alpha}}$$. Now, let $$K$$ be a Galois extension of the function field $$k(X)$$ containing all the function fields $$k(X_{\alpha})$$ and let $$\widehat X$$ be the normalization of $$X$$ in $$K$$. Let $$G$$ be the Galois group. By construction, the corresponding finite morphism $$p:\widehat X\to X$$ factors though each $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$, i.e. there exists a collection of finite morphisms $$q_{\alpha}:\widehat X_{\alpha}\to X_{\alpha}$$ giving a commutative diagram   $$\ $$ For a $$\mathbb{Q}$$-sheaf (or a $$\mathbb{Q}$$-vector bundle) $${\mathscr{E}}$$ on $$X$$, we can define a coherent sheaf $$\widehat{\mathscr{E}}$$ on $$\widehat X$$ by gluing together the local data given by $$\bigl(\widehat X_{\alpha},\widehat{\mathscr{E}}_{\alpha}:=q_{\alpha}^*({\mathscr{E}}_{\alpha})\bigr)$$. A result of Mumford ([27, Prop. 2.1]) shows that when the global cover $$\widehat X$$ is Cohen-Macaulay, any coherent sheaf $$\widehat {\mathscr{E}}$$ on $$\widehat X$$ admits finite resolutions by locally-free sheaves and hence admits well-defined Chern classes. In our situation, we define the i-th $$\mathbb{Q}$$-Chern class of $${\mathscr{E}}$$ as a ($$G$$-invariant) cohomology class on $$\widehat X$$ by $$\widehat {c}_i({\mathscr{E}}):=(1\big{/} |G|){c}_i(\widehat{\mathscr{E}})$$. Following [27], the $$G$$-invariant cohomology classes on $$\widehat X$$ identifies with homology cycles of complementary dimension on $$X$$ and we define the intersection of $$\widehat {c}_i({\mathscr{E}})$$ with cycles on $$X$$ by its intersection with the pullback cycle on $$\widehat X$$. This definition agrees with the analytic one in Section 2.2 via the projection formula. We refer the reader to [27] for the intersection theory of $$\mathbb{Q}$$-sheaves and note in particular that, as any normal surface is Cohen-Macaulay, we can always define $$\mathbb{Q}$$-Chern classes of $$\mathbb{Q}$$-sheaves on a normal irreducible surface $$S$$ with only quotient singularities. Finally, we note that the algebraic Hodge-Index theorem holds for $$\widehat{c}_1$$ by considering it on a desingularization of $$\widehat S$$. Remark 2.6. (An Equivalent Definition for $$\widehat {c}_1\equiv 0$$). Let $$S$$ be a normal surface with only quotient singularities. Let $$p:\widehat S\to S$$ be the global cover that was constructed above and $$\widehat{\mathscr{E}}$$ the $$G$$-locally-free sheaf on $$\widehat S$$. It is not difficult to see that   c^1(E)≡0⟺c1(E^)≡0. (2.6.1) The reason is that the $$\mathbb{Q}$$-factoriality of $$S$$ (recall that any normal variety with quotient singularities is $$\mathbb{Q}$$-factorial [19, Prop. 5.15]), together with $$\widehat {c}_1({\mathscr{E}})\equiv 0$$, implies that $$\det({\mathscr{E}})$$ is numerically trivial as a $$\mathbb{Q}$$-Cartier divisor. Notice that by construction we have $$\widehat{\mathscr{E}}=p^{[*]}({\mathscr{E}})$$. Therefore, the projection formula for Chern classes of pull-back bundles implies that $${c}_1(\widehat{\mathscr{E}})\cdot A=0$$, for every ample divisor $$A$$ in $$\widehat S$$. The equivalence (2.6.1) now follows from Kleiman’s numerical triviality criterion for $$\mathbb{Q}$$-Cartier divisors [17, Prop. 3] which gives the elementary (linear algebra) fact that over a normal projective variety a $$\mathbb{Q}$$-Cartier divisor is numerically trivial if it has zero intersection with all polarizations. □ 2.4 Behaviour of reflexive sheaves under finite quasi-étale morphisms We offer some elementary facts on the behaviour of reflexive sheaves under finite morphisms that are étale in codimension-$$1$$, i.e. finite quasi-étale morphisms, ending with an observation regarding the stability of the tangent sheaf of klt varieties. Lemma 2.7. Let $$X$$ be a normal projective variety with only quotient singularities in codimension-$$2$$. Let $$f:Y\to X$$ be a finite Galois morphism that is étale in codimension-$$1$$ (with $$Y$$ normal). Then $$Y$$ has only quotient singularities in codimension-$$2$$ and, for $$\Delta$$ a linear combination of $$\widehat {c}_2$$ and $$\widehat {c}_1^2$$, a reflexive sheaf $${\mathscr{E}}$$ on $$X$$ satisfies $$\Delta({\mathscr{E}})\cdot H_1\cdot \ldots \cdot H_{n-2}=0$$ for some $$(n-2)$$-tuple of ample divisors $$(H_1,\ldots,H_{n-2})$$ if and only if   Δ(f[∗](E))⋅f∗H1⋅…⋅f∗Hn−2=0. □ Proof The first claim follows from Remark 2.1. Now, define $${\mathscr{G}}:=f^{[*]}({\mathscr{E}})$$ and let $$(U_{\alpha},p_{\alpha}:X_{\alpha}\to U_{\alpha};U_{\alpha}=X_{\alpha}/G_{\alpha})$$ be the local $$\mathbb{Q}$$-structure (see Section 2.2) for $$X_1$$, where $$X_1$$ is equal to $$X$$ minus its non-orbifold locus. Let $$\{{\mathscr{E}}_{\alpha}\}$$ be the collection of $$G_{\alpha}$$-sheaves on $$X_{\alpha}$$. Define $$V_{\alpha}:=f^{-1}U_{\alpha}$$ and let $$Y_{\alpha}:=X_{\alpha}\times_{U_{\alpha}}V_{\alpha}$$ be the fibre product given by the base change $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$ with the corresponding commutative diagram   $$\ $$ Since $$X_{\alpha}$$ is smooth and $$f_{\alpha}:V_{\alpha}\to U_{\alpha}$$ is étale in codimension-$$1$$, so is $$g_{\alpha}$$. The purity of the branch locus says that $$g_{\alpha}$$ is étale and $$Y_{\alpha}$$ is smooth. Therefore $${\mathscr{G}}_{\alpha}=g_{\alpha}^*({\mathscr{E}}_{\alpha})$$, $${\mathscr{G}}_{\alpha}$$ being the locally-free sheaf on $$Y_{\alpha}$$ invariant under the action of $$H_{\alpha}:=\mathrm{Gal}(Y_{\alpha}/ V_{\alpha})$$ such that $${\mathscr{G}}_{\alpha}^{H_{\alpha}}={\mathscr{G}}|_{V_\alpha}$$. A collection of $$G_{\alpha}$$-invariant metrics $$h_{\alpha}$$ on $$X_{\alpha}$$ and corresponding Chern forms $$\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$ (see Section 2.2) thus induces $$H_{\alpha}$$-invariant Chern forms $$\widehat\Theta_{\alpha,i}({\mathscr{G}},g_{\alpha}^*h_{\alpha})$$ on $$Y_{\alpha}$$ given by $$g_{\alpha}^*(\Theta_{\alpha,i})$$. Hence $$\widehat {c}_i({\mathscr{G}}|_{Y_1})=(f|_{X_1})^*\widehat {c}_i({\mathscr{E}}|_{X_1})\in H^{2i}(Y_1,\mathbb{Q})$$, where $$Y_1:=f^{-1}(X_1)$$. The lemma now follows from the projection formula. ■ Lemma 2.8. Let $$f:Y\to X$$ be a finite Galois morphism between normal varieties that is étale in codimenions-$$1$$, $${\mathscr{E}}$$ a reflexive sheaf on $$X$$ and $$\hbar:=(H_1,\ldots,H_{n-1})$$ a fixed polarization on $$X$$ with $$H_i$$ ample. Then $${\mathscr{E}}$$ is semistable with respect to $$\hbar$$ if and only if $$f^{[*]}{\mathscr{E}}$$ is semistable with respect to $$f^*\hbar:=(f^*H_1,\ldots,f^*H_{n-1})$$. □ Proof The direction where $$f^{[*]}{\mathscr{E}}$$ is assumed to be semistable is clear. For the other direction, the proof follows from the fact that the subsheaf $$\widehat {\mathscr{F}}$$ of $$f^{[*]}{\mathscr{E}}$$ with maximal $$(f^*\hbar$$)-slope is unique and thus invariant under the action of the group $$\mathrm{Gal}(Y/X)$$. As $$f$$ is étale in codimension-$$1$$, this implies that $$\widehat {\mathscr{F}}$$ is a pull-back of a locally-free sheaf $${\mathscr{F}}^\circ$$ away from the branch locus $$X_1$$ of $$f$$. Let $${\mathscr{F}}:=i_*({\mathscr{F}}^\circ)$$, where $$i$$ is the inclusion $$i: X\backslash X_1 \to X$$, be the natural extension of $${\mathscr{F}}^\circ$$ onto $$X$$. As $${\mathscr{E}}$$ is reflexive, and since $${\mathscr{F}}^\circ \subset {\mathscr{E}}|_{X\backslash X_1}$$, we have $${\mathscr{F}}\subset {\mathscr{E}}$$. The claim now follows from the projection formula. ■ Let $$X$$ be any non-uniruled normal projective variety. The generic semi-positivity result of Miyaoka [26] says that the tangent sheaf of $$X$$ is generically semipositive. This is the case when a variety $$X$$ has numerically-trivial canonical divisor $$K_X$$ and $$X$$ has only canonical singularities. To see this, take $$\pi:\widetilde X\to X$$ to be a resolution of $$X$$ with the ramification formula $$K_{\widetilde X}=\pi^*K_X+E$$, where $$E$$ is, by definition, an effective exceptional divisor. Clearly, the numerical triviality of $$K_X$$ implies that $$K_{\widetilde X}$$ is pseudo-effective. Therefore $$\widetilde X$$ is non-uniruled and thus so is $$X$$. More generally, we have the following proposition. Proposition 2.9 Let $$X$$ be klt projective. If $$K_X\equiv 0$$, then $$\Omega^{[1]}_X$$ is generically semipositive. □ Proof According to the abundance result of for klt varieties with numerically trivial canonical divisor [28], we know that $$K_X$$ is a torsion, $$\mathbb{Q}$$-Cartier divisor. Let $$f:Z \to X$$ be the associated index one cover, where $$f^*(K_X)$$ is trivial. By construction, $$f$$ is unramified in codimension 1. Therefore $$K_Z$$ is also trivial. But $$Z$$ has at worst klt singularities by Remark 2.1. Hence $$Z$$ has at most canonical singularities. From our discussion above, $$Z$$ is not uniruled. Thus $$\Omega^{[1]}_Z=f^{[*]}\Omega^{[1]}_X$$ is generically semipositive or equivalently $${\mathscr{T}}_Z$$ is generically seminegative. As $$K_Z=0$$, this implies that $${\mathscr{T}}_Z$$ is semistable with respect to $$(f^*H_1, \ldots , f^*H_{n-1})$$, for any $$(n-1)$$-tuple of ample divisors in $$X$$. Therefore by Lemma 2.8, we find that $${\mathscr{T}}_X$$ is semistable with respect to any $$(H_1, \ldots, H_{n-1})$$. Again, as $$K_X\equiv 0$$, this latter assertion is equivalent to $$\Omega_X$$ being generically semipositive. (Notice that in the argument above, it is possible to avoid using abundance results, once we have established Theorem 1.4. The reason is that Theorem 1.4 implies that there exists a finite Galois cover $$f:Z\to X$$ étale over $$X_\mathrm{reg}$$ which pulls back numerically trivial $$\mathbb{Q}$$-Cartier divisors on $$X$$ to Cartier ones on $$Z$$, i.e. a simultaneous index one cover for such divisors. This impies that $$K_Z\simeq_{\mathbb{Q}}f^*K_X$$ is Cartier and this is all we need in to prove Proposition 2.9.) ■ 3 Stable reflexive sheaves with vanishing $$\mathbb{Q}$$-Chern classes We recall that a hermitian metric $$h$$ on a holomorphic vector bundle $${\mathscr{E}}$$ over a compact Kähler manifold with Kähler form $$w$$ is said to satisfy the Einstein condition if   iΛwF=λidE, (3.0.1) for some $$\lambda\in \mathbb{R}$$ where $$F$$ is the curvature of the unitary connection compatible with the holomorphic structure. From the classical result of Donaldson, Uhlenbeck and Yau, we know that given a compact Kähler manifold $$X$$ of dimension $$n$$ and a Kähler class $$[w]$$, every $$[w]$$-stable holomorphic vector bundle $${\mathscr{E}}$$ admits a hermitian metric $$h$$ whose associated unitary connections is Hermitian-Einstein. Moreover if $${c}_1({\mathscr{E}})_{\mathbb{R}}=0$$ and   ∫Xc2(E)∧[w]n−2=0, then $$({\mathscr{E}},h)$$ is flat. Our aim in this section is to prove a generalization of this result to the case of reflexive sheaves over normal projective varieties with only quotient singularities in codimension-$$2$$, namely Theorem 1.1. For this, we first examine as did [31] the question of how stability of a $$\mathbb{Q}$$-vector bundle $${\mathscr{E}}$$ over a complex projective surface $$S$$ with only quotient singularities behaves under blowing-ups: Let $$(U_{\alpha},\ p_{\alpha}\colon X_{\alpha}\to U_{\alpha})$$ be the local $$\mathbb{Q}$$-structure of $$S$$ (Section 2.2). Let $$p:\widehat S\to S$$ be the global finite cover with Galois group $$G$$ and let $$\widehat{\mathscr{E}}$$ be the locally-free sheaf on $$\widehat S$$ such that $$\widehat{\mathscr{E}}^G={\mathscr{E}}$$ (Section 2.3). We study the stability of $$\pi^*(\widehat{\mathscr{E}})$$ on a $$G$$-equivariant desingularization $$\pi:\widetilde S\to \widehat S$$ (whose existence is guaranteed classically or by [1] for example). Note that the actions of $$G$$ on $$\widehat S$$ and on $$\widehat{\mathscr{E}}$$ lift uniquely to actions of $$G$$ on $$\widetilde S$$ and on $$\pi^*(\widehat{\mathscr{E}})$$ respectively. For expediency, we now allow all of our polarization divisors to be $$Q$$-Cartier. Proposition 3.1. Let $${\mathscr{E}}$$ be a reflexive coherent sheaf on a normal projective surface $$S$$ with only quotient singularities. Fix an ample divisor $$H$$ on $$S$$. With the setup as above, if $${\mathscr{E}}$$ is stable with respect to $$H$$, then there exists a $$G$$-invariant polarization $$\widetilde H$$ on $$\widetilde S$$ such that $$\mu_{\widetilde H}(\widetilde {\mathscr{E}})=\mu_{H}({\mathscr{E}})$$, where $$\widetilde {\mathscr{E}}:=\pi^*\widehat{\mathscr{E}}$$, and that $$\widetilde {\mathscr{E}}$$ is $$G$$-stable with respect to $$\widetilde H$$, that is, for every proper, $$G$$-equivariant subsheaf $$\ \widetilde {\mathscr{G}}\subset \widetilde {\mathscr{E}}$$, we have the strict inequality   μH~(G~)<μH~(E~). (3.1.1) □ Proof First note that $$\widehat{\mathscr{E}}$$ is semistable with respect to $$\widehat H:=p^*(H)$$. For otherwise the maximal destabilizing subsheaf of $$\widehat{\mathscr{E}}$$ would descend to a proper $$H$$-destablizing subsheaf of $${\mathscr{E}}$$. This is because the maximal destablizing subsheaf is, thanks to its uniqueness, a $$G$$-sheaf and moreover as it is saturated inside $$\widehat{\mathscr{E}}$$, it is given by a pull-back bundle outside codimension-$$2$$ (see [12, Prop. 2.16] for a proof of this fact). It is also $$G$$-stable; otherwise there would exist a saturated $$G$$-equivariant semistable subsheaf $$\widehat{\mathscr{G}}\subset \widehat{\mathscr{E}}$$ of strictly smaller rank with $$\mu_{\widehat H}(\widehat{\mathscr{G}})= \mu_{\widehat H}(\widehat{\mathscr{E}}),$$ which would descend to a saturated semistable subsheaf $${\mathscr{G}}\subsetneq {\mathscr{E}}$$ with $$\mu_{H}({\mathscr{G}})= \mu_{H}({\mathscr{E}})$$ and contradict the stability of $${\mathscr{E}}$$. Note also that one can arrange $$\bigl(\pi^*(\widehat H)- E'\bigr)$$ to be ample by a suitable choice of an effective and $$\pi$$-exceptional $$\mathbb{Q}$$-divisor $$E'$$ and, by averaging over $$G$$ if necessary, $$G$$-invariant. Set $$\widetilde H^\circ=\bigl(\pi^*(\widehat H)- E'\bigr)$$ for this choice. Since $$\widehat{\mathscr{E}}$$ is locally free, $$\widetilde {\mathscr{E}}=\pi^*\widehat{\mathscr{E}}$$ is trivial along the (reduced) exceptional divisor $$E$$ of $$\pi$$ and hence $$\mu_{\widetilde H^\circ}(\widetilde {\mathscr{E}})=\mu_{\widehat H}(\widehat{\mathscr{E}})$$. Now, let $$\widetilde {\mathscr{F}}$$ be any $$G$$-subsheaf of $$\widetilde {\mathscr{E}}$$. Let $$U$$ be a Zariski-open subset of $$\widehat S$$ with $$\mathrm{codim}_{\widehat S}(\widehat S\backslash U)=2$$ such that $$\pi|_{\pi^{-1}(U)}: \pi^{-1}(U)\to U$$ is an isomorphism. Let $$\widehat{\mathscr{F}}^\circ:=(\pi^{-1}|_{\pi^{-1}U})^*\widetilde {\mathscr{F}}$$ be the $$G$$-subsheaf of $$\widehat{\mathscr{E}}|_U$$ induced by $$\widetilde {\mathscr{F}}$$. Define $$\widehat{\mathscr{F}}:={i_U}_*(\widehat{\mathscr{F}}^\circ)$$ to be the coherent extension of $$\widehat{\mathscr{F}}^\circ$$ across $$\widehat S\backslash U$$ and notice that $$\widehat{\mathscr{F}}$$ defines a $$G$$-equivariant coherent subsheaf of $$\widehat{\mathscr{E}}$$. Now from the $$G$$-stability of $$\widehat{\mathscr{E}}$$ with respect to $$\widehat H$$, we infer that the inequality   μπ∗H^(F~)<μπ∗H^(E~) (3.1.2) holds. On the other hand it is easy to see that the set   {μH~∘(G~):G~ coherent subsheaf of E~} (3.1.3) admits an upper-bound. Therefore for all sufficiently small $$\delta \in \mathbb{Q}^+$$, we can always exploit the $$G$$-stability of $$\widehat{\mathscr{E}}$$ (3.1.2) to ensure that the inequality (3.1.2) holds by choosing $$\widetilde H:=\pi^*\widehat H+\delta \widetilde H^\circ$$, i.e. $$\widetilde {\mathscr{E}}$$ is $$G$$-stable with respect to $$\widetilde H$$. ■ It is well known from the celebrated theorems of Donaldson and Uhlenbeck-Yau and from their proofs, see for example [7, Thm. 5] and the remarks given therein, that given a compact Käbler manifold equipped with the holomorphic action of a compact Lie group $$G$$ and a $$G$$-invariant Kähler form $$w$$, any holomorphic vector bundle that is $$G$$-stable with respect to $$w$$ admits a $$G$$-invariant Hermitian-Einstein connection. Therefore, as our choice of polarization $$\widetilde H$$ in the above proposition is $$G$$-invariant, the locally-free sheaf $$\widetilde {\mathscr{E}}=\pi^*{\widehat{\mathscr{E}}}$$ carries a Hermitian-Einstein connection $$\widetilde D: {\widetilde {\mathscr{E}}} \to\widetilde {\mathscr{E}} \otimes \Omega^1_{{\widetilde S}}$$ that is $$G$$-invariant. If we further assume that $$\widehat {ch}_2({\mathscr{E}})=0$$ and $$\mu_H({\mathscr{E}})=0$$, then $${ch}_2(\widetilde {\mathscr{E}})=0$$ and, with a Kähler form $$w$$ representing $${c}_1(\widetilde H)$$,   −12π∫S~tr(ΛwFD~)dvol(w)=∫S~Ric(D~)∧[w]=c1(E~)⋅H~=0. (3.1.4) In particular the unitary connection $$\widetilde D$$ is flat, i.e., $$\widetilde D^2=0$$. The flatness of $$\widetilde D$$ follows from the fact that $$\widetilde D$$ is Hermitian-Einstein (3.1.4), so that the vanishing condition (3.1.4) implies the vanishing of $$\Lambda_{w} F_{\widetilde D}$$, and from the well-known Riemann bilinear identity, c.f. page 16 of [32] or equations 4.2 and 4.3 in Chapter IV of [18], which takes the form   ∫S~ch2(E~)=C(||ΛwFD~||L22−||FD~||L22), (3.1.5) for some positive constant $$C$$. Now, let   D^:E^|S^reg→E^|S^reg⊗(ΩS^reg1)G, be the induced, $$G$$-invariant connection. Furthermore, as $$\widetilde D$$ is compatible with the holomorphic structure of $$\widetilde {\mathscr{E}}$$, its $$(1,0)$$ part defines an equivariant, holomorphically flat connection. Here $$(\Omega^1_{\widehat S_\mathrm{reg}})^G$$ denotes the sheaf of $$G$$-invariant forms on $$\widehat S_\mathrm{reg}$$. After taking $$G$$-invariant sections, $$\widehat D$$ induces a unitary, flat connection $$D: {\mathscr{E}}|_{S^\circ} \to {\mathscr{E}}|_{S^\circ}\otimes \Omega^1_{S^\circ}$$, where $$S^\circ$$ is $$S_\mathrm{reg}$$ minus a finite number of smooth points–-the subset of $$S_\mathrm{reg}$$ over which we have $$\widehat {\mathscr{E}}|_{p^{-1}(S^\circ)}=p^*({\mathscr{E}}|_{S^\circ})$$. Since removing smooth points from $$S_\mathrm{reg}$$ does not change its fundamental group, we find that $${\mathscr{E}}|_{S_\mathrm{reg}}$$ is given by a unitary representation $$\rho_{S}:\pi_1(S_\mathrm{reg})\to U(r,\mathbb{C})\subset GL(r,\mathbb{C})$$ with $$r$$ the rank of $${\mathscr{E}}$$, cf. [18, Chapt. I]. This representation is irreducible for otherwise we can extract a contradiction as follows: Let $$C$$ be a sufficiently general member of the basepoint-free linear system $$|m\cdot H|$$, $$m\gg 0$$, for which we have $$C\subset S_\mathrm{reg}$$ as a smooth projective curve and $${\mathscr{E}}|_C$$ is stable. To see this, let $$\mu: T \to S$$ be a resolution and notice that $$\mu^{[*]}({\mathscr{E}})$$ is stable with respect to $$\mu^*H$$. If $${\mathscr{E}}|_C$$ is not stable, then $$\mu^{[*]}({\mathscr{E}})|_{\pi^{-1}C}$$ is not stable, contradicting the Bogomolov Restriction Theorem, cf. [3]. Now, if the connection in $${\mathscr{E}}|_{S_\mathrm{reg}}$$ defined by $$\rho_S$$ is not irreducible, it restricts to a unitary but not irreducible connection in $${\mathscr{E}}|_C$$. By the theorem of Narasimhan-Seshadri, this implies that $${\mathscr{E}}|_C$$ is polystable, but not stable, contradicting the stability of $${\mathscr{E}}|_C$$. For future references, we summarize this discussion as follows. 3.1.6. Given a normal irreducible surface$$S$$with only quotient singularities, let$${\mathscr{E}}$$be a stable (respectively polystable) reflexive sheaf over$$S$$. If$$\widehat {c}_1({\mathscr{E}})\cdot A=0$$for some ample divisor$$A$$on$$S$$and$$\widehat {ch}_2({\mathscr{E}})=0$$, then the analytification of$${\mathscr{E}}|_{S_{\text{reg}}}$$is given by a unitary, irreducible (respectively possibly reducible) representation  ρS:π1(Sreg)→GL(r,C). 3.1 General setup Since there is a significant overlap between the results and methods needed for the proof of Theorems 1.1 and 1.4, to avoid unnecessary repetitions, we collect some common ingredients in the following set-up. Setup 3.2. Let $$X$$ be a normal projective variety and $${\mathscr{F}}$$ any reflexive sheaf on $$X$$, stable with respect to $$(H_1, \ldots, H_{n-1})$$, with $$H_i\subset X$$ being ample. Let $$\widetilde \pi: \widetilde X\to X$$ be a resolution. According to [20, Thm. 5.2], the reflexive pull-back sheaf $$\pi^{[*]}({\mathscr{F}})$$ satisfies a restriction Theorem, that is $$\pi^{[*]}({\mathscr{F}})|_{D_1}$$ is stable, for every normal member $$D_1$$ of the linear system $$|\pi^*(m\cdot H_1)|$$, $$m\gg 0$$. It thus follows that $${\mathscr{F}}$$ also satisfies a restriction theorem. When $${\mathscr{F}}$$ is semistable, the semistability of the restriction (to general members of a linear system of very ample divisors) is due to Flenner, cf. [6]. Now with the additional assumption that $$X$$ is klt, let $$\mathcal V^\circ$$ be the family of flat, locally-free, analytic sheaves on $$X_\mathrm{reg}$$. Define $$\mathcal V_X^\circ=\{ {\mathscr{F}}^\circ \}$$ to be the family of locally-free, flat, analytic sheaves on $$X_\mathrm{reg}$$. Let $$f: Y\to X$$ be the quasi-étale cover in [10, Thm. 1.5], where $$\widehat \pi_1(Y)\cong \widehat \pi_1(Y_\mathrm{reg})$$. As $$(f|_{X_\mathrm{reg}})^*({\mathscr{F}}^\circ)$$ is flat, according to [10, Thm. 1.14] there exists a unique, locally-free, flat, algebraic sheaf $$\widetilde {\mathscr{F}}$$ on $$Y$$ such that $$(\widetilde {\mathscr{F}}|_{Y_\mathrm{reg}})^{an}\cong (f|_{X_\mathrm{reg}})^*({\mathscr{F}}^\circ)$$. Let $$\mathcal V_Y=\{ \widetilde {\mathscr{F}} \}$$ denote the family of flat, locally-free, algebraic sheaves on $$Y$$ constructed as extensions of sheaves of form $$(f|_{X_\mathrm{reg}})^*{\mathscr{F}}^\circ$$, where $${\mathscr{F}}^\circ\in \mathcal V^\circ$$. Define $$\mathcal V_X:= \{ (f_*(\widetilde {\mathscr{F}}))^{**} \ \big| \ \widetilde {\mathscr{F}}\in \mathcal V_Y \}$$. As the family of locally-free, flat, algebraic sheaves on $$Y$$ is bounded, cf. [10, Prop. 9.1], $$\mathcal V_X$$ forms a bounded family of reflexive, algebraic sheaves on $$X$$. Following the setup of the proof of [10, Thm. 1.20], we consider the increasing sequence of integers $$m_1 \leq \ldots \leq m_{n-2}$$ such that the complete intersection surface $$S:=D_1\cap \ldots \cap D_{n-2}$$, where $$D_i$$ is a general member of the basepoint-free linear system $$|m_i\cdot H_i|$$, verify the following properties. (3.2.1) The projective surface $$S$$ is normal, irreducible and klt, cf. [19, Lem. 5.17]. (3.2.2) The restriction $${\mathscr{F}}|_S$$ is reflexive and (semi)stable with respect to $$H_{n-1}|_S$$, if $${\mathscr{F}}$$ is (semi)stable with respect to $$(H_1, \ldots, H_{n-1})$$. This is guaranteed by the results of Flenner and Langer (see the discussion in the beginning of the current setup). (3.2.3) We have the isomorphism $$\pi_1(S_\mathrm{reg})\cong \pi_1(X_\mathrm{reg})$$, which follows from Lefschetz-hyperplane theorem [13] for quasi-projective varieties. (3.2.4) For any member $${\mathscr{G}}\in \mathcal V_X$$, the isomorphism $${\mathscr{F}}\cong {\mathscr{G}}$$ holds, if and only if $${\mathscr{F}}|_S \cong {\mathscr{G}}|_S$$, cf. [10, Cor. 5.3]. □ 3.2 Proof of Theorem 1.1 Observe that we only need to treat the stable case. This is because if $${\mathscr{F}}=\oplus_i{\mathscr{F}}_i$$ is polystable, then, for each $$i$$, as $$\mu_{\hbar}{\mathscr{F}}_i=0$$, the Hodge-index theorem implies that $$\widehat {c}_1^2({\mathscr{F}}_i)\cdot H_1\cdot \ldots \cdot H_{n-2} \leq 0$$ and so the Bogomolov inequality (2.3.2)   −2⋅ch^2(Fi)⋅H1⋅…⋅Hn−2≥−1ri⋅c^12(Fi)⋅H1⋅…⋅Hn−2  (ri:=rank(Fi)), gives $$\widehat {ch}_2({\mathscr{F}}_i) \cdot H_1\cdot \ldots \cdot H_{n-2} \leq 0$$ for all $$i$$. Hence, the additivity of the second $$\mathbb{Q}$$-Chern character implies that every $$\hbar$$-stable component $${\mathscr{F}}_i$$ verifies $$\widehat {ch}_2({\mathscr{F}}_i)\cdot H_1\cdot \ldots \cdot H_{n-2}=0$$. We first assume that $$({\mathscr{F}}|_{X_\mathrm{reg}})^\mathrm{an}$$ is given by an irreducible unitary representation of $$\pi_1(X_\mathrm{reg})$$. Then, for every smooth irreducible curve $$C$$ cut out by general hyperplane sections corresponding to high enough multiples of a polarization $$\hbar$$, the restriction $$({\mathscr{F}}|_C)^\mathrm{an}$$ also comes from an irreducible unitary representation of $$\pi_1(C)$$ via the surjectivity (by the Lefschez theorem) of the push-forward of the fundamental group induced by the inclusion $$C\hookrightarrow X_\mathrm{reg}$$. Now, according to the classical result of Narasimhan and Seshadri, the bundle $$({\mathscr{F}}|_C)^\mathrm{an}$$ is stable with degree zero. Therefore $${\mathscr{F}}$$ is stable of degree zero with respect to any polarization $$\hbar$$ (and hence is generically semi-positive). This gives one direction of the theorem. To prove the reverse direction, let $$S$$ be the klt surface defined in Setup 3.2. As $${\mathscr{F}}|_SS$$ is a reflexive stable sheaf (Property 3.2.2). Hence by (3.1.6), we find that $$({\mathscr{F}}|_S)^\mathrm{an}|_{S_\mathrm{reg}}$$ is defined by an irreducible unitary representation $$\rho_{S}:\pi_1(S_\mathrm{reg})\to GL(r,\mathbb{C})$$. On the other hand, the isomorphism $$\pi_1(S_\mathrm{reg})\cong \pi_1(X_\mathrm{reg})$$ (Property 3.2.3) gives rise to an irreducible unitary representation $$\rho:\pi_1(X_\mathrm{reg})\to GL(r,\mathbb{C})$$. That is, there exists a locally-free, flat, analytic sheaf $${\mathscr{G}}^\circ$$ on $$X_\mathrm{reg}$$ (coming from an irreducible unitary representation) whose restriction to $$S$$ is isomorphic to $${\mathscr{F}}_S^\mathrm{an}$$:   G∘|Sreg≅F|Sreg. (3.2.1) Now let $${\mathscr{G}}\in \mathcal V_X$$ be the extension of $${\mathscr{G}}^\circ$$ in the sense of Setup 3.2. As $${\mathscr{G}}$$ and $${\mathscr{F}}$$ are both reflexive, the isomorphism 3.2.1 implies that $${\mathscr{G}}|_S \cong {\mathscr{F}}|_S$$. Theorem 1.1 now follows from Property 3.2.4. ■ The next corollary is now an immediate consequence of Theorem 1.1 and the result on extending flat sheaves across the singular locus of a klt variety after going to a suitable cover (where the contributions of the singularities to the algebraic fundamental group of the smooth locus disappear), cf. [10, Thm. 1.14]. Corollary 3.3. (Desingularization of (Poly)Stable Reflexive Sheaves with Vanishing $$\mathbb{Q}$$-Chern Classes Up to a Finite Quasi-étale Cover). Let $$X$$ be a klt projective variety. There exists a finite Galois morphism $$f:Y\to X$$ étale over $$X_\mathrm{reg}$$ with Galois group $$G$$ such that $$f^{[*]}{\mathscr{F}}$$ is a locally-free sheaf given by a $$G$$-equivariantly irreducible unitary representation of $$\pi_1(Y)$$ (respectively, a direct sum of such sheaves) for every reflexive sheaf $${\mathscr{F}}$$ on $$X$$ verifying the conditions (1.1.1) and (1.1.2) in Theorem 1.1. This holds in particular for rank-one reflexive sheaves associated to $$\mathbb Q$$-Cartier divisors that are numerically equivalent to zero. □ 3.3 A proof of Theorem 1.2 via polystability Let $$g:Z \to X$$ be the global index-$$1$$ cover provided in the last part of Corollary 3.3 (see also the proof of Proposition 2.9). Then $$K_Z=g^{[*]}K_X$$ is a numerically trivial Cartier divisor and $$Z$$ has only canonical singularities. According to the main result of [9], there exists a quasi-étale cover $$h:\widehat Z\to Z$$ where $${\mathscr{T}}_{\widehat Z}$$ is polystable with respect to the polarization $$h'^*(\hbar):=(h'^*(H_1),\ldots, h'^*(H_{n-1}))$$ with $$h':=h\circ g$$. Since both $$g$$ and $$h$$ are unramified in codimension-$$1$$, we have the sheaf isomorphism $$\det {\mathscr{T}}_{\widehat Z}\cong \det(h'^{[*]}{\mathscr{T}}_X)$$ by the ramification formula. As a result, the natural inclusion of reflexive sheaves $${\mathscr{T}}_{\widehat Z}\to h'^{[*]}{\mathscr{T}}_X$$ is an isomorphism. On the other hand, as the $$\mathbb{Q}$$-Chern classes behave well under quasi-étale morphisms (see Lemma 2.7), the assumption $$\widehat {c}_2({\mathscr{T}}_X)\cdot H_1\cdot \ldots\cdot H_{n-2}=0$$ implies that   c^2(TZ^)⋅h′∗(H1)⋅…⋅h′∗(Hn−2)=0. Therefore by Corollary 3.3, we have a morphism $$f:Y\to \widehat Z$$ that is étale in codimension-$$1$$ such that $${\mathscr{T}}_Y=f^{[*]}{\mathscr{T}}_{\widehat Z}$$ is locally-free (and flat). According to the resolution of Zariski-Lipman conjecture for klt spaces [8, Thm. 6.1], this implies that $$Y$$ is smooth. In particular $$X$$ has only quotient singularities. But again, as $$f$$ is étale in codimension-$$1$$, we have $$K_Y\equiv 0$$ and $${c}_2({\mathscr{T}}_Y)\cdot f^*(h'^*(H_1))\cdot \ldots \cdot f^*(h'^*(H_{n-2}))=0$$. The “if” direction of Theorem 1.2 now follows from the classical uniformization result due to the fundamental work of Yau in [35] on the existence of a Ricci-flat metric in this case. See for example [18, §IV.Cor. 4.15] or argue directly that the Ricci flat metric is actually flat using the Riemann bilinear relations (3.1.5) so that $$\pi_1(Y)$$ must act by isometry on the flat universal cover $$\mathbb{C}^n$$ and must hence be an extension of a lattice in $$\mathbb{C}^n$$ by a finite group. To prove the “only if” direction of Theorem 1.2, notice that if $$X$$ is a finite quotient of an Abelian variety by a finite group acting freely in codimension-$$1$$, then it follows from the definition that $$\widehat {c}_1({\mathscr{T}}_X)=\widehat {c}_2({\mathscr{T}}_X)=0$$. We observe easily that $$X$$ is normal in this case and thus according to [19, Prop. 5.20] that $$X$$ has at most klt singularities. ■ 4 Semistable $$\mathbb Q$$-sheaves and their correspondence with flat sheaves We give a proof of Theorem 1.4 following the classical approach via the Jordan-Hölder filtration of a semistable sheaf, which also explicit a natural and necessary part of Simpson’s proof of his celebrated correspondence. Theorem 1.2 is then a corollary of the local freeness result (up to a finite cover) of Theorem 1.4 and the generic semipositivity theorem of the cotangent sheaf due to Miyaoka [25, 26]. We remark that our orbifold generalizations in Theorem 1.4 of this important result of Simpson seem not to be previously known even in dimension $$2$$, when $$X$$ is an orbifold (for which the orbifold fundamental group is given by $$\pi_1(X_\mathrm{reg})$$). 4.1 Preparation for the Proof of Theorem 1.4 If $${\mathscr{E}}$$ is $$\hbar$$-stable, then the result follows from Theorem 1.1 and Corollary 3.3. In the semistable case, we need to construct a Jordan-Hölder filtration for $$\mathbb{Q}$$-sheaves over $$\mathbb{Q}$$-surfaces. Proposition 4.1 ($$\mathbb{Q}$$-Jordan Hölder filtration). Let $$S$$ be a normal projective surface with only quotient singularities and $$A\subset S$$ an ample divisor. Let $${\mathscr{G}}$$ be a $$A$$-semistable, reflexive sheaf on $$S$$. Then there exists a (non-canonical) increasing filtration   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G, (4.1.1) where every $${\mathscr{Q}}_i:= {\mathscr{G}}_i / {\mathscr{G}}_{i-1}$$ is a torsion-free $$\mathbb{Q}$$-sheaf, $$A$$-stable, verifying the equality $$\mu_A({\mathscr{Q}}_i)=\mu_A({\mathscr{G}})$$. □ Proof Let $$p: \widehat S\to S$$ be the global, Galois, finite morphism in Subsection 2.3, constructed from the natural $$\mathbb{Q}$$-structure associated to $$S$$, with $$L:=\mathrm{Gal}(\widehat S/S)$$. Denote $$\widehat {\mathscr{G}}:=p^{[*]}({\mathscr{G}})$$. Notice that the locally-free, $$L$$-sheaf $$\widehat {\mathscr{G}}$$ is, with respect to $$\widehat A:=p^*(A)$$, semistable (see [15, Lem 3.2.2]) but not $$L$$-stable, as the reflexive pull-back of the saturated, destablizing subsheaf of $${\mathscr{G}}$$ destablizes $$\widehat {\mathscr{G}}$$ as a $$L$$-subsheaf. Claim 4.1.2. (First term of $$\mathbb{Q}$$-$$\rm{JH}_{\bullet}$$). In the above setting, there exists a $$L$$-stable, saturated, $$L$$-subsheaf $$\widehat {\mathscr{G}}_1$$ of $$\widehat {\mathscr{G}}$$ with $$\mu_{\widehat A}(\widehat {\mathscr{G}}_1)= \mu_{\widehat A}(\widehat {\mathscr{G}})$$. □ Proof of Claim 4.1.2. Aiming for a contradiction, assume that there is no saturated, destabilizing $$L$$-subsheaf of $$\widehat {\mathscr{G}}$$ that is $$L$$-stable. Let $$\widehat {\mathscr{F}}$$ be a saturated, destabilizing $$L$$-subsheaf. Notice that $$\widehat {\mathscr{F}}$$ is, away from some finite number of isolated points, pull-back of a locally-free sheaf on $$S$$ (see [12, Prop. 2.16]). More precisely the sheaf $${\mathscr{F}}:=p_*(\widehat {\mathscr{F}})^L$$ on $$S$$, formed by taking the $$L$$-invariant sections of $$\widehat {\mathscr{F}}$$ , is reflexive and we have $$\widehat {\mathscr{F}}:=p^{[*]}({\mathscr{F}})$$. It follows that $${\mathscr{F}}$$ is semistable subsheaf of $${\mathscr{G}}$$ with $$\mu_A({\mathscr{F}})= \mu_A({\mathscr{G}})$$. By repeating this argument, we can thus construct a decreasing sequence of chain of sheaves with strictly smaller ranks and with equal slope which has to stablize (as a chain), contradicting the assumption that $$\widehat {\mathscr{G}}$$ does not have a saturated, $$L$$-stable, destabilizing, $$L$$-subsheaf. This proves Claim 4.1.2. By using Claim 4.1.2 repeatedly, we now obtain an increasing filtration of $$\widehat {\mathscr{G}}$$  0=G^0⊂G^1⊂G^2⊂…⊂G^t−1⊂G^t=G^, (4.1.3) where $$\widehat {\mathscr{Q}}_i:= \widehat {\mathscr{G}}_i / \widehat {\mathscr{G}}_{i-1}$$ is a torsion-free, $$L$$-stable, $$L$$-sheaf with $$\mu_{\widehat A}(\widehat {\mathscr{Q}}_i)=\mu_{\widehat A}({\mathscr{G}})$$. Noticing that $$p_*(\cdot)^L$$ is an exact functor, the required filtration 4.1.1 can be constructed by taking the $$L$$-invariant sections of the filtration 4.1.3. ■ The next two lemma will allow us to detect when a filtration by torsion-free sheaves defines an extension by locally-free sheaves. These are technical tools that we shall need in the course of the proof of Theorem 1.4. Lemma 4.2. (Reflexivity of quotients). Let $$T$$ be a normal projective surface with only quotient singularities, $$H$$ an ample divisor and $${\mathscr{G}}$$ a reflexive, $${\mathscr{O}}_T$$-module sheaf on $$T$$. Assume $$\widehat {ch}_1({\mathscr{G}})\cdot H=0$$ and $$\widehat {ch}_2({\mathscr{G}})=0$$. Let   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G (4.2.1) be an extension of $${\mathscr{G}}$$ by $$H$$-semistable, torsion-free, $$\mathbb{Q}$$-sheaves $${\mathscr{Q}}_i:={\mathscr{G}}_i/{\mathscr{G}}_{i-1}$$ with $$\mu_H({\mathscr{Q}}_i)=0$$. Then $${\mathscr{Q}}_i$$ is reflexive and that $$\widehat {ch}_2({\mathscr{Q}}_i)=0$$, for all $$i$$. □ Proof The torsion-freeness of $${\mathscr{Q}}_i$$ implies that it differs from $$\overline{{\mathscr{Q}}_i}:=({\mathscr{Q}}_i)^{**}$$ at most on a codimension two subset of $$T$$ so that $$\overline{{\mathscr{Q}}_i}$$ inherits the stability conditions of $${\mathscr{Q}}_i$$. By [22, Lem. 10.9], we have $$\widehat {c}_2(\overline{{\mathscr{Q}}_i})\leq \widehat {c}_2({\mathscr{Q}}_i)$$ with equality if and only if $$\overline{{\mathscr{Q}}_i}= {\mathscr{Q}}_i$$. As $$\widehat {c}_1(\overline{{\mathscr{Q}}_i})=\widehat {c}_1({\mathscr{Q}}_i)$$, this is the same as $$\widehat {ch}_2({\mathscr{Q}}_i)\leq \widehat {ch}_2(\overline{{\mathscr{Q}}_i})$$. Since $$\widehat {c}_1(\overline{{\mathscr{Q}}_i})\cdot H=0$$, the Hodge-index theorem implies that   c^12(Qi¯)≤0. (4.2.2) But as $$\overline{{\mathscr{Q}}_i}$$ is $$H$$-semistable, we have, thanks to the Bogomolov inequality (2.3.2), that   −2⋅ch^2(Qi¯)=2⋅c^2(Qi¯)−c^12(Qi¯)≥−1ri⋅c^12(Qi¯)       (ri=rank(Qi¯))≥0,  by the inequality (4.2.2). That is, $$\widehat {ch}_2(\overline{{\mathscr{Q}}_i})\leq 0$$ for all $$i$$. Together, by the additivity of the second $$\mathbb{Q}$$-Chern character for direct sums, we have   0=ch^2(G)=∑ich^2(Qi)≤∑ich^2(Qi¯)≤0, (4.2.3) and thus $$\widehat {ch}_2(\overline{{\mathscr{Q}}_i})=\widehat {ch}_2({\mathscr{Q}}_i)=0$$. It follows that $$\overline{{\mathscr{Q}}_i}={\mathscr{Q}}^i$$, that is $${\mathscr{Q}}_i$$ is reflexive, for all $$i$$. ■ Lemma 4.3. (Locally-freeness of semistable $$\mathbb{Q}$$-sheaves). Let $$T$$ be a projective surface with only quotient singularities and $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$. Let $$H$$ be an ample divisor. Any $$H$$-semistable reflexive sheaf $${\mathscr{G}}$$ with $$\widehat {ch}_1({\mathscr{E}})\cdot H=0$$ and $$\widehat {ch}_2({\mathscr{G}})=0$$ is locally-free. □ Proof If $${\mathscr{G}}$$ is $$H$$-stable, then the $${\mathscr{G}}|_{T_\mathrm{reg}}$$ is flat by the assertion 3.1.6 and therefore is locally-free thanks to the assumption $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$, cf. [10, Thm. 1.14]. For the case where $${\mathscr{E}}$$ is strictly semistable, we consider a $$\mathbb{Q}$$-Jordan-Hölder filtration of $${\mathscr{E}}$$:   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G. (4.3.1) Denote the torsion-free quotients $${\mathscr{G}}_i/{\mathscr{G}}_{i-1}$$ by $${\mathscr{Q}}_i$$. As each $${\mathscr{Q}}_i$$ is stable with respect to $$H$$ and verifies the equality $$\widehat {ch}_1({\mathscr{Q}}_i)\cdot H=0$$, Lemma 4.2 applies and we find that $${\mathscr{Q}}_i$$ is reflexive and $$\widehat {ch}_2({\mathscr{Q}}_i)=0$$, for all $$i$$, that is each $${\mathscr{Q}}_i$$ is an $$H$$-stable, reflexive sheaf with vanishing Chern classes. According to the assertion 3.1.6, it follows that each $${\mathscr{Q}}_i|_{T_\mathrm{reg}}$$ is flat. The assumption $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$ now implies that every $${\mathscr{Q}}_i$$ is locally-free and therefore so is $${\mathscr{G}}$$. ■ 4.2 Proof of Theorem 1.4 We first consider the case when $$X=S$$ is a surface. Let $$f:T \to S$$ be the Galois, étale in codimension-$$1$$ cover given in Theorem [10, Thm. 1.4], with Galois group $$G$$, over which locally-free flat sheaves on $$\widehat T_\mathrm{reg}$$ extend ([10, Thm. 1.14]). Denote the reflexive $$G$$-sheaf $$f^{[*]}{\mathscr{E}}$$ by $$\widehat {\mathscr{E}}$$, and notice that $$\widehat {\mathscr{E}}$$ is semistable, cf. [15, Lem. 3.2.2]. Let   0=E^0⊂E^1⊂E^2⊂…⊂E^t−1⊂E^t=E^ (4.3.2) be the $$G$$-equivariant, $$\mathbb{Q}$$-Jordan-Hölder filtration of $$\widehat {\mathscr{E}}$$ constructed in Proposition 4.1, that is each quotient $$\widehat {\mathscr{Q}}_i:=\widehat {\mathscr{E}}_i / \widehat {\mathscr{E}}_{i-1}$$ is a torsion-free, $$G$$-stable, $$\mathbb{Q}$$-sheaf with the same slope, equal to $$\mu(\widehat {\mathscr{E}})$$. According to Lemma 4.2, we find that each $$\widehat {\mathscr{Q}}_i$$ is reflexive and therefore, by Lemma 4.3, is locally-free. This in turn implies that $$\widehat {\mathscr{E}}$$, as an extension locally-free sheaves, is also locally-free, as an analytic sheaf. Let $$\pi: \widetilde T \to T$$ be a $$G$$-equivariant resolution. The local freeness of the terms in the filtration of $$\widehat {\mathscr{E}}$$ as well as in its grading and the $$G$$-equivariance implies that the filtration lifts to a locally free filtration of $$\pi^*(\widehat {\mathscr{E}})$$ with terms $$\pi^*(\widehat {\mathscr{E}}_i)$$. By Proposition 3.1, the locally free sheaves $$\pi^*(\widehat {\mathscr{Q}}_i)$$ are all $$G$$-stable with respect to a fixed $$G$$-invariant polarization. As before, every $$G$$-stable grading $$\pi^*(\widehat {\mathscr{Q}}_i)$$ of the filtration of $$\pi^*(\widehat {\mathscr{E}})$$ induced by that of $$\widehat {\mathscr{E}}$$ admits a $$G$$-invariant unitarily flat connection. Hence, $$\pi^*(\widehat {\mathscr{E}})$$ is an iterated extension by unitarily flat and locally free sheaves which is therefore, by Simpson’s correspondence [32, Cor. 3.10] (and the remarks immediately after that corollary), endowed with a unique holomorphic flat connection. Since the filtration is $$G$$-equivariant, the uniqueness of this flat connection implies that it is $$G$$-invariant. This yields a $$G$$-invariant flat connection on $${\widehat {\mathscr{E}}}|_{T_\mathrm{reg}}$$ (see the arguments right before the assertion 3.1.6). As a result the restriction $${{\mathscr{E}}}|_{S_\mathrm{reg}}$$ comes from a representation of $$\pi_1(S_\mathrm{reg})$$. This proves Theorem 1.4 when $$\dim(X)=2$$. For higher dimensional $$X$$, exactly the same argument as that of Section 3 gives the semistable analog of Theorem 1.1 and Corollary 3.3. More precisely, given a reflexive sheaf, semistable with respect to $$(H_1, \ldots, H_{n-1})$$ and with zero Chern characters, let $$S$$ be the complete intersection surface defined in Setup 3.2. According to Property 3.2.2, the restriction $${\mathscr{E}}|_S$$ is reflexive and semistable. As $$S$$ is klt (Property 3.2.1), the above arguments for the case $$\dim(X)=2$$ imply that $${\mathscr{E}}|_{S_\mathrm{reg}}$$ is flat. Property 3.2.3 now implies that there exists a reflexive sheaf $${\mathscr{G}}\in \mathcal V_X$$, where $$\mathcal V_X$$ is the family defined in Setup 3.2, such that $${\mathscr{G}}|_S \cong {\mathscr{E}}|_S$$. According to Property 3.2.4, it thus follows that $${\mathscr{G}}\cong {\mathscr{E}}$$, i.e. $${\mathscr{E}}|_{X_\mathrm{reg}}$$ is flat. Theorem 1.4 now follows from [10, Thm. 1.14]. 4.3 A proof of Theorem 1.2 via semistability According to Proposition 2.9, the tangent sheaf $${\mathscr{T}}_X$$ is generically semi-positive, that is, as $$K_X\equiv 0$$, $${\mathscr{T}}_X$$ is semistable independent of the choice of polarization. Therefore, Theorem 1.4 says that there exits a finite quasi-étale cover $$f:Y \to X$$ such that $$f^{[*]}{\mathscr{T}}_X$$ is locally-free. But since $$f$$ is unramified in codimension-$$1$$, we have the sheaf isomorphism $$\det {\mathscr{T}}_Y\cong \det(f^{[*]}{\mathscr{T}}_X)$$ by the ramification formula. As a result, the natural inclusion of reflexive sheaves $${\mathscr{T}}_Y\to f^{[*]}{\mathscr{T}}_X$$ is an isomorphism and $${\mathscr{T}}_Y$$ is locally-free. The rest of the proof is identical to that of the polystable case in Section 3.3. ■ We now briefly explain the equivalence of the two sets of conditions (1.2.1), (1.2.2) and (1.3.1), (1.3.2). Explanation 4.4. Assume that $$X$$ is a klt projective variety verifying condition (1.2.1), i.e. $$K_X\equiv 0$$. Then by Lemma. 2.9, we know that there exists a finite quasi-étale morphism $$f:Y\to X$$ such that $${\mathscr{T}}_Y$$ is generically semipositive. But $$f$$ being étale in codimension-$$1$$ implies that $${\mathscr{T}}_Y=f^{[*]}{\mathscr{T}}_X$$ and thus $${\mathscr{T}}_X$$ is also generically semipositive by Lemma 2.8, establishing condition (1.3.1). As $$\widehat {c}_1({\mathscr{T}}_X)$$ agrees with $${c}_1({\mathscr{T}}_X)={c}_1(K_X)$$ in codimension-$$1$$ by construction, we have $$\widehat {c}_1({\mathscr{T}}_X)|_S\equiv 0$$ for a general surface $$S$$ cut out by $$n-2$$ very ample divisors and thus $$\widehat {c}_1^2({\mathscr{T}}_X)\cdot S= 0$$. Hence (1.3.2) follows from (1.2.2). Conversely, assume that the conditions (1.3.1) and (1.3.2) hold. Then, by Theorem 1.4 we know that there exists a finite quasi-étale morphism $$f:Y\to X$$ such that $${\mathscr{T}}_Y=f^*({\mathscr{T}}_X)$$ is flat and locally free so that it has vanishing (orbifold) Chern classes and, in particular, $$K_Y$$ is numerically trivial. The ramification formula $$K_Y=f^*(K_X)$$ (together with the projection formula) implies that $$K_X\equiv 0$$ and condition (1.2.2) follows by Lemma 2.7. □ Funding S. L. was supported by NSERC and TIMS during the write-up of this paper. B.T. was partially supported by the DFG-Graduiertenkolleg GK1821; “Cohomological Methods in Geometry” at Freiburg. Acknowledgment The authors owe a debt of gratitude to Stefan Kebekus for fruitful conversations leading to a strengthening of results in the first draft of this paper and for his kind invitation of and hospitality during the first author’s short visit to Freiburg where these took place. We also thank Chenyang Xu for an answer to a pertinent question related to the paper. A special thanks is owed to the anonymous referee for pointing out some mistakes in an earlier draft of this paper and for the helpful suggestions with regards to the presentation. References [1] Bierstone E. and Milman. P. “Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant.” Inventiones mathematicae  128, no. 2 ( 1997): 207– 302. Google Scholar CrossRef Search ADS   [2] Birkar C. Cascini P. Hacon C. D. and McKernan. J. “Existence of minimal models for varieties of log general type.” Journal of the American Mathematical Society  23 ( 2010): 405– 68. Google Scholar CrossRef Search ADS   [3] Bogomolov F. “Holomorphic tensors and vector bundles on projective varieties.” Mathematics of the USSR-Izvestiya  13 ( 1979): 499– 555. Google Scholar CrossRef Search ADS   [4] Dieudonné J. and Alexandre. G. Éléments de géométrie algébrique IV, Étude locale des schémas et des morphismes de schémas (Seconde Partie)} , Institut des Hautes Études Scientifiques publications mathématiques, no. 24, 1965. [5] Donaldson S. K. “Infinite determinant, stable bundles and curvature.” Duke Mathematical Journal  54 ( 1987): 231– 47. Google Scholar CrossRef Search ADS   [6] Flenner H. “Restrictions of semistable bundles on projective varieties.” Commentarii Mathematici Helvetici  59, no. 4 ( 1984): 635– 50. Google Scholar CrossRef Search ADS   [7] Garcia-Prada O. “Invariant connections and vortices.” Communications in Mathematical Physics  156, no. 3 ( 1993): 527– 46. Google Scholar CrossRef Search ADS   [8] Greb D. Kebekus S. Kovács S. and Peternell. T. “Differential forms on log canonical spaces.” Publications mathématiques de l’IHÉS  114, no. 1 ( 2011): 87– 169. Google Scholar CrossRef Search ADS   [9] Greb D. Kebekus S. and Peternell. T. “Singulr spaces with trivial canonical class.” To appear in Minimal models and extremal rays–proceedings of the conference in honour of Shigefumi Mori’s 60th birthday, Advanced Studies in Pure Mathematics, Tokyo: Kinokuniya Publishing House. [10] Greb D. Kebekus S. and Peternell. T. “Étale fundamental group of Kawamata log terminal spaces, flat sheaves, and quotients of Abelain varieties.” Duke Mathematical Journal  165, no. 10 ( 2016): 1965– 2004. Google Scholar CrossRef Search ADS   [11] Greb D. Kebekus S. Kovács S. and Peternell. T. “Movable Curves and Semistable Sheaves.” International Mathematics Research Notices  2016, no. 2 ( 2016): 536– 70. [12] Greb D. Kebekus S. Peternell T. and Taji. B. “The Miyaoka-Yau inequality and uniformisation of canonical models.” 2015. http://arxiv.org/abs/1511.08822. [13] Hamn H. A and Dùng. Tráng Lê “Lefschetz Theorems on quasi-projective varieties.” Bulletin de la Société Mathématique de France  113 ( 1985): 123– 42. [14] Hartshorne R. “Stable reflexive sheaves.” Mathematische Annalen  254, no. 2 ( 1980): 121– 76. Google Scholar CrossRef Search ADS   [15] Huybrechts D. and Lehn. M. The geometry of moduli spaces of sheaves , 2nd ed. Cambridge University: Cambridge Mathematical Library, 2010. Google Scholar CrossRef Search ADS   [16] Kawamata Y. “Abundance theorem for minimal threefolds.” Inventiones mathematicae  108, no. 2 ( 1992): 229– 46. Google Scholar CrossRef Search ADS   [17] Kleiman S. L. “Toward a numerical theory of ampleness.” Annals of Mathematics (2)  84 ( 1966): 293– 344. Google Scholar CrossRef Search ADS   [18] Kobayashi S. Differential geometry of complex vector bundles.  Publications of the Mathematical Society of Japan, vol. 15, Princeton, NJ: Iwanami Shoten and Princeton University Press, 1987, Kanô Memorial Lectures, 5. [19] Kollár J. and Mori S. Birational geometry of algebraic varieties.  Cambridge Tracts in Mathematics, vol. 134, Cambridge: Cambridge University Press, 1998, With the collaborations of C. H. Clemens and Corti. A. Translated from the 1998 Japanese original. [20] Langer A. “Semistable sheaves in positive characteristic.” Annals of Mathematics (2)  159, no. 1 ( 2004): 251– 76. Google Scholar CrossRef Search ADS   [21] Le Potier J. Lecture on Vector Bundles , Cambridge University Press, Cambridge Studies in Advanced Mathematics (Book 54), 1997. [22] Megyesi G. Chern classes of $$\mathbb{Q}$$-Sheaves. Flips and Abundance for Algebraic $$3$$-folds, Ch. 10, Astérsque, vol. 211, 1993. [23] Mehta V. D., and Ramanathan. A. “Semistable sheaves on projective varieties and their restriction to curves.” Mathematische Annalen  258 ( 1982): 213– 24. Google Scholar CrossRef Search ADS   [24] Mehta V. D., and Ramanathan. A. “Restriction of stable sheaves and representations of the fundamental group.” Inventiones mathematicae  77, no. 1 ( 1984): 163– 72. Google Scholar CrossRef Search ADS   [25] Miyaoka Y. The Chern classes and Kodaira dimension of a minimal variety , Algebraic geometry, Sendai, 1985, Advanced Studies in Pure Mathematics, vol. 10, North-Holland, Amsterdam, 1987, pp. 449– 76. MR89k:14022 [26] Miyaoka Y. Deformations of a morphism along a foliation and applications , Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), Proceedings of Symposia in Pure Mathematics, vol. 46, Providence, RI: Amer. Math. Soc., 1987, pp. 245– 68. MR927960 (89e:14011) [27] Mumford D. Towards an enumerative geometry of the moduli space of curves . Arithmetic and Geometry, papers dedicated ti I.R. Shafarevich, vol. II, Geometry, edited by Artin M. and Tate J. Progr. Math., vol. 36, Boston: Birkhäuser, 1983, 271– 326. [28] Nakayama N. Zariski decomposition and abundance . MSJ Memoirs, 14, Tokyo: Mathematical Society of Japan, 2004. [29] Narasimhan M. S., and Seshadri. C. S. “Stable and unitary vector bundles on compact Riemann surface.” Annals of Mathematics  82 ( 1965): 540– 67. Google Scholar CrossRef Search ADS   [30] Satake I. “On a generalization of the notion of manifold.” Proceeding of the national academy of sciences of the USA  42, no. 6 ( 1956): 359– 63. Google Scholar CrossRef Search ADS   [31] Shepherd-Barron N. I., and Wilson. P. M. H. “Singular threefolds and numerically trivial first and second Chern classes.” Journal of Algebraic Geometry  3, no. 2 ( 1994): 265– 81. [32] Simpson C. T. “Higgs bundles and local systems.” Publications mathématiques de l’IHÉS  75 ( 1992): 5– 95. Google Scholar CrossRef Search ADS   [33] Uhlenbeck K. Yau S.-T On the existence of Hermitian Yang-Mills connections on stable vector bundles.  Communications on Pure and Applied Mathematics, 39 ( 1986), 257– 93; A note on our previous paper: On the existence of Hermitian Yang-Mills connections on stable vector bundles. Communications on Pure and Applied Mathematics 42 (1989): 703–7. [34] Xu C. “Finiteness of algebraic fundamental groups.” Compositio Mathematica  150, no. 3 ( 2014): 409– 14. Google Scholar CrossRef Search ADS   [35] Yau S.-T. “On the Ricci curvature of compact Kähler manifold and the complex Monge-Ampère equation, I.” Communications on Pure and Applied Mathematics  31, no. 3 ( 1978): 339– 411. Google Scholar CrossRef Search ADS   Communicated by Prof. Jun-Muk Hwang © The Author(s) 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png International Mathematics Research Notices Oxford University Press

A Characterization of Finite Quotients of Abelian Varieties

Loading next page...
 
/lp/ou_press/a-characterization-of-finite-quotients-of-abelian-varieties-8YSw21F0bK
Publisher
Oxford University Press
Copyright
© The Author(s) 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.
ISSN
1073-7928
eISSN
1687-0247
D.O.I.
10.1093/imrn/rnw251
Publisher site
See Article on Publisher Site

Abstract

Abstract We provide a characterization of quotients of Abelian varieties by finite groups actions that are free in codimension-one via vanishing conditions on the orbifold Chern classes. The characterization is given among a class of varieties with singularities that are more general than quotient singularities, namely among the class of klt varieties. Furthermore, for a semistable (respectively stable) reflexive $${\mathcal O}_{X}$$-module $${\mathscr{E}}$$ with zero first and second orbifold Chern classes over such a variety $$X$$, we show that $${\mathscr{E}}|_{X_\mathrm{reg}^\mathrm{an}}$$ is locally-free and flat, given by a linear (irreducible unitary) representation of $$\pi_1(X_\mathrm{reg})$$, and that it extends over a finite Galois cover $$\widetilde X$$ of $$X$$ étale over $$X_\mathrm{reg}$$ to a locally-free and flat sheaf given by an equivariant linear (irreducible unitary) representation of $$\pi_1(\widetilde X)$$. These are generalizations to the singular setting that is more general than any orbifold strengthenings of the classical correspondences of Donaldson-Uhlenbeck-Yau-Simpson. 1 Introduction We provide sufficient conditions for a (semi)stable reflexive sheaf over a normal projective varietiy $$X$$ to be locally-free and flat on the smooth locus of $$X$$ and also across the singular locus up to a finite cover of $$X$$. The latter result depends for this article crucially on a recent result of [10] on the existence of a suitable finite cover (in the case $$X$$ is klt). A characterization of quotients of Abelian varieties by finite groups acting freely in codimension-one follows. This is achieved by tracing a correspondence between polystable (respectively stable) reflexive sheaves with zero Chern classes and (irreducible) unitary representations of the fundamental group (see (3.1.6) and Theorem 1.1) that goes back to the celebrated results of Narasimhan-Seshadri [29], Donaldson [5], and Uhlenbeck-Yau [33] on stable holomorphic vector bundles: 1.0.1. On a compact Kähler manifold $$X$$ of dimension$$n$$with a Kähler form$$w$$, a vector bundle$${\mathscr{E}}$$is stable with vanishing first and second Chern classes, that is  c1(E)R=0   and  ∫Xc2(E)∧[w]n−2=0,if and only if it comes from an irreducible unitary representation of$$\pi_1(X)$$. We recall that the notion of stability (in the sense of Mumford-Takemato) of a torsion-free coherent sheaf $${\mathscr{F}}$$ on such a manifold requires the slope of $${\mathscr{F}}$$ with respect to $$w$$:   μw(F):=∫Xc1(F)∧[w]n−1rank(F). We say that a torsion-free coherent sheaf $${\mathscr{E}}$$ is $$[w]$$-(semi)stable if the inequality   μw(G)<μw(E)    (respectively μw(G)≤μw(E)), (1.0.2) holds for every (torsion-free) coherent subsheaf $${\mathscr{G}}$$ of $${\mathscr{E}}$$ with $$0<\mathrm{rank}({\mathscr{G}})<\mathrm{rank}({\mathscr{E}})$$. This notion generalizes in the projective category to the case when $$X$$ is an $$n$$-dimensional normal projective variety with $$n-1$$ ample divisors $$H_1,\dots,H_{n-1}$$. In this case, a torsion-free coherent sheaf $${\mathscr{E}}$$ is said to be (semi)stable with respect to the polarization $$\hbar :=(H_1,\ldots,H_{n-1})$$ if (1.0.2) holds with the slope of a subsheaf $${\mathscr{F}}$$ above replaced by   μℏ(F):=c1(F)⋅H1⋅…⋅Hn−1/rank(F). Note that this is well defined since $${c}_1({\mathscr{F}})={c}_1(\det {\mathscr{F}})$$ and $$\det {\mathscr{F}}$$ is invertible outside the singular locus of $$X$$, which is of codimension 2 or more. We say that a reflexive (or torsion-free) coherent sheaf $${\mathscr{E}}$$ on $$X$$ is generically semi-positive if all its torsion-free quotients $${\mathscr{F}}$$ have semipositive slopes $$\mu_{\hbar}({\mathscr{F}})$$ with respect to every polarization $$\hbar :=(H_1,\ldots,H_{n-1})$$ with all $$H_i$$ ample. We note that if $$\det {\mathscr{E}}$$ is numerically trivial, then this condition is equivalent to the semistability of $${\mathscr{E}}$$ (or of the dual of $${\mathscr{E}}$$) with respect to all such polarizations. Also, in the case $${\mathscr{E}}$$ is generically semi-positive or generically semi-negative and $$\det {\mathscr{E}}$$ is $$\mathbb{Q}$$-Cartier, then $$\det {\mathscr{E}}$$ (or equivalently $${c}_1 ({\mathscr{E}})$$) is numerically trivial if and only if $${c}_1({\mathscr{E}})\cdot H_1\cdot \ldots\cdot H_{n-1}=0$$ for some $$(n-1)$$-tuple of ample divisors $$(H_1\cdot \ldots\cdot H_{n-1})$$, see Lemma 2.4. An important example of a generically semi-positive sheaf is the cotangent sheaf of a non-uniruled normal projective variety [26]. Throughout this article, we work with a normal complex projective variety $$X$$ having an orbifold structure (i.e., having only quotient singularities) in codimension-$$2$$ (see Section 2.2). This means that, if we cut down $$X$$ by $$(n-2)$$ very ample divisors, the general resulting surface has only isolated quotient singularities, and hence inherits an orbifold structure (or $$\mathbb{Q}$$-structure). Hence, there is a well-defined intersection pairing between $$\mathbb{Q}$$-Chern classes $$\widehat {c}_2({\mathscr{F}})$$, $$\widehat {c}_1^2({\mathscr{F}})$$ and $$(n-2)$$-tuples of ample divisors on $$X$$ and similarly for the second $$\mathbb{Q}$$-Chern character $${\widehat{ch}_2}({\mathscr{F}}):= (\widehat {c}_1^2({\mathscr{F}}) - 2\widehat {c}_2)/2$$, see Section 2. The same holds for the intersection pairing between the first $$\mathbb{Q}$$-Chern class ($$\mathbb{Q}$$-Chern character) $$\widehat {c}_1({\mathscr{F}})(={\widehat{ch}_1}({\mathscr{F}}))$$ and $$(n-1)$$-tuples of ample divisors. In this context, we have the following analog of (1.0.1) for a normal projective variety $$X$$ (see Section 3 for its proof). Theorem 1.1. Let $$X$$ be an $$n$$-dimensional klt projective variety, $$X_\mathrm{reg}$$ its nonsingular locus and $${\mathscr{F}}$$ a reflexive coherent sheaf on $$X$$. Then (the analytification of) $${\mathscr{F}}|_{X_\mathrm{reg}}$$ comes from an irreducible unitary representation (respectively, an unitary representation) of $$\pi_1(X_\mathrm{reg})$$ if and only if, for some (and in fact for all) ample divisors $$H_1,\ldots,H_{n-1}$$ on $$X$$, we have: (1.1.1) The reflexive sheaf $${\mathscr{F}}$$ is stable (respectively, polystable) with respect to the polarization $$\hbar:=(H_1,\ldots,H_{n-1})$$. (1.1.2) The first and second $$\mathbb{Q}$$-Chern characters of $${\mathscr{F}}$$ verify the vanishing conditions:   ch^1(F)⋅H1⋅…⋅Hn−1=0,ch^2(F)⋅H1⋅…⋅Hn−2=0. In particular, $${\mathscr{F}}$$ is locally free on $$X_\mathrm{reg}$$ and is generically semi-positive in this case. □ Our main theorem below gives a characterization for finite quotients of Abelian varieties that are étale in codimension-$$1$$. We recall that a klt space is a normal $$\mathbb{Q}$$-Gorenstein space $$X$$ with at worst klt singularities ([19]), i.e. $$X$$ admits a desingularization $$\pi:\widetilde X \to X$$ that satisfies $$a_i>-1$$ for every $$i$$ in the ramification formula (we use $$\simeq_{_{\mathbb{Q}}}$$ to denote $$\mathbb{Q}$$-linear equivalence)   KX~≃Qπ∗(KX)+∑aiEi, (1.1.1) where the $$E_i$$’s are the prime components of the exceptional divisor and $$K_X$$ is the canonical divisor of $$X$$ (up to linear equivalence) given by a $$\mathbb{Q}$$-Cartier divisor defined by the sheaf isomorphism $$\omega_X\cong {\mathscr{O}}_X(K_X)$$ with $$\omega_X$$ the dualizing sheaf of $$X$$. And we say that $$X$$ has at worst canonical singularities, if we replace the inequality $$a_i>-1$$ above by $$a_i\geq 0$$. We also recall that klt spaces have only quotient singularities in codimension-$$2$$ and that varieties with only quotient singularities are klt, see Remark 2.1. Theorem 1.2. Let $$X$$ be an $$n$$-dimensional normal projective variety. Then $$X$$ is a quotient of an Abelian variety by a finite action free in codimension-$$1$$ if and only if $$X$$ is klt and (1.2.1) $$K_X\equiv 0$$. (1.2.2) The second $$\mathbb{Q}$$-Chern class of $${\mathscr{T}}_X:=(\Omega^1_{ X})^*$$ respects the vanishing condition   c^2(TX)⋅A1⋅…⋅An−2=0, for some $$(n-2)$$-tuple of ample divisors $$(A_1,\ldots, A_{n-2})$$. □ Remark 1.3. We remark that the two conditions (1.2.1) and (1.2.2) may be replaced by the following set of assumptions for some and hence for all polarization $$\hbar=(H_1,\ldots,H_{n-1})$$, with each $$H_i$$ ample (see Explanation 4.4): (1.3.1) The tangent sheaf $${\mathscr{T}}_X$$ is semistable with respect to $$\hbar$$ (automatically satisfied if the singularities of $$X$$ are canonical and Condition (1.3.2) is satisfied). (1.3.2) The first and second $$Q$$-Chern characters of $${\mathscr{T}}_X$$ verify the vanishing conditions   ch^1(TX)⋅H1⋅…⋅Hn−1=0,ch^2(TX)⋅H1⋅…⋅Hn−2=0. □ Theorem 1.2 is a generalization of the classical uniformization theorem of Yau [35] which states that a compact Kähler manifold $$X$$ of dimension $$n$$ with Kähler class $$[w]$$ that satisfies $${c}_1(X)_{\mathbb{R}}=0$$ and $$\int_X {c}_2(X)\wedge [w]^{n-2}=0$$ is uniformized by $$\mathbb{C}^n$$ – a consequence of Yau’s solution to Calabi’s conjecture, showing that a compact Kähler manifold with vanishing real first Chern class admits a Ricci-flat metric. The problem of extending this result to the singular setting was proposed in a paper of Shepherd-Barron and Wilson [31]. There, they show that threefolds with at most canonical singularities with numerically trivial first and second $$\mathbb{Q}$$-Chern classes are finite quotient of Abelian threefolds (unramified in codimension-$$1$$). Our basic strategies follow those of [31] and [10]. We take the natural classical approaches whenever possible. Theorem 1.2 for terminal varieties ($$a_i>0$$ in (1.1.1)) and more generally for klt varieties that are smooth in codimension-$$2$$ have been established by Greb et al. [10] and sets the stage for this paper. We give two different proofs of the above theorem, the first via a result on the polystability of the tangent sheaf and the second via Miyaoka’s theorem on the generic semipositivity of the cotangent sheaf of a non-uniruled variety by working out the following orbifold generalization of Simpson’s correspondence between coherent sheaves with flat connections and semistable bundles with zero first and second $$\mathbb Q$$-Chern characters. Both of these generalize to the case of other classical quotients, such as orbifold quotients of the ball, that we will treat elsewhere. Theorem 1.4. Let $$X$$ be a klt projective variety, $$\hbar:=(H_1,\ldots,H_{n-1})$$ a polarization on $$X$$ and $${\mathscr{E}}$$ a coherent reflexive sheaf on $$X$$. Then $${\mathscr{E}}|_{X_\mathrm{reg}}$$ is locally free and flat, i.e. given by a representation of $$\pi_1(X_\mathrm{reg})$$, if $${\mathscr{E}}$$ is semistable with respect to $$\hbar$$ and verifies   ch^1(E)⋅H1⋅…⋅Hn−1=0,ch^2(E)⋅H1⋅…⋅Hn−2=0. Furthermore, there exists a finite, Galois morphism $$f:Y\to X$$ étale over $$X_\mathrm{reg}$$, independent of $${\mathscr{E}}$$, such that $$(f^*{\mathscr{E}})^{**}$$ is locally-free, equivariantly flat and with numerically trivial determinant over $$Y$$. □ It goes without saying that Yau’s resolution of the Calabi conjecture and the Donaldson-Uhlenbeck-Yau theorem are basic ingredients in our proof of Theorem 1.2. Key to our proof also include the resolution of the Zariski-Lipman conjecture for klt spaces due to Greb et al. [8, Thm. 6.1] and the result in [10, Thm. 1.13] of Greb et al. regarding the extension of flat vector bundles across the singular locus of a klt variety up to a finite cover obtained via Chenyang Xu’s [34] result on the finiteness of the local algebraic fundamental groups of klt varieties. These latter recent results are used only to show that the singularities arising in Theorem 1.2 are quotient singularities and are not used for Theorem 1.1 and the first part of Theorem 1.4, which are results of independent interests even in dimension 2. Compared to past approaches, crucial new ingredients include the use, for a finite group $$G$$ acting on a normal projective variety $$X$$, of the $$G$$-equivariant version of the Donaldson-Uhlenbeck-Yau correspondance coupled with an equivariant resolution of $$X$$, of Langer’s restriction theorems for (semi)stable sheaves, of Jordan-Hölder filtrations for $$G$$-semistable sheaves by $$G$$-equivariant subsheaves. Remark 1.5 (Comparing $$\mathbb{Q}$$-Chern classes of $$X$$ to Chern classes of smooth models of $$X$$). Let $$X$$ be a minimal, projective klt variety and $$\pi:\widetilde X\to X$$ a resolution of $$X$$. The Chern class calculations in [31, Prop. 1.1], together with the fact that the exceptional locus of a resolution of surface klt singularities is given by a tree of $$\mathbb{P}^1$$’s, show that the inequality   c^2(TX)⋅Hn−2≤c2(TX~)⋅π∗Hn−2, holds for all ample divisor $$H$$ on $$X$$ and that the inequality is strict as long as $$X$$ is not smooth in codimension-2. In particular if   KX≡0   ,   c2(TX~)⋅π∗Hn−2=0, (1.5.1) then from Theorem 1.2 we find that $$X$$ is a finite quotient of an Abelian variety (notice that, by Proposition 2.9, $${\mathscr{T}}_X$$ is semistable in this case so that the Bogomolov inequality (2.3.1) gives $$\widehat {c}_2({\mathscr{T}}_X)\cdot H^{n-2}\geq 0$$). This uniformization result via the Chern class conditions (1.5.1) in the case $$X$$ has at most canonical singularities has been established in [11, Thm. 1.4] using a stability theory for sheaves with respect to movable classes. □ 2 Preliminaries on $$Q$$-structures and $$Q$$-Chern classes In this section, we first give a very brief overview of the theory of $$\mathbb{Q}$$-vector bundles on an orbifold $$X$$ (or Satake’s $$V$$-bundles on a $$V$$-manifold [30]). Then we provide, via the Bogomolov inequality for the $$\mathbb{Q}$$-Chern classes of semistable $$\mathbb{Q}$$-vector bundles, a numerical criterion for $$\mathbb{Q}$$-Chern classes of generically semi-positive reflexive sheaves to vanish (Section 2.2.5). Finally we collect some basic facts on the behaviour of reflexive sheaves under a natural class of finite surjective maps between normal varieties. 2.1 Reflexive operations In this article, all objects are defined over $$\mathbb{C}$$, all coherent sheaf on an algebraic (or analytic) variety $$X$$ are $${\mathscr{O}}_X$$-modules as well as all torsion-free or reflexive sheaves on $$X$$. We denote the reflexive hull of a coherent sheaf $${\mathscr{F}}$$ of rank $$r$$ by $${\mathscr{F}}^{**}$$ and define the reflexive exterior power by $$\wedge^{[i]}{\mathscr{F}}:=(\wedge^{i}{\mathscr{F}})^{**}$$. In particular, $$\det {\mathscr{F}}$$ is the reflexive hull $$(\wedge^r{\mathscr{F}})^{**}$$ of $$\wedge^r{\mathscr{F}}$$. For a morphism $$f:Y\to X$$, the reflexive pull-back of a coherent sheaf $${\mathscr{F}}$$ on $$X$$ is denoted by $$f^{[*]}{\mathscr{F}}:=(f^*{\mathscr{F}})^{**}$$. A useful fact about a reflexive sheave $${\mathscr{E}}$$ on a normal variety $$X$$ is that it is locally free on an open subsets $$X_0$$ of $$X_\mathrm{reg}$$ with codimension $$\geq 2$$ complement in $$X$$ and that, for any such open subset, $${\mathscr{E}}=i_*({\mathscr{E}}|_{X_0})$$ where $$i: X_0\hookrightarrow X$$ is the inclusion. In particular, reflexive pullbacks behave well under composition of finite morphisms between normal varieties. For an in-depth discussion we invite the reader to consult Hartshorne [14] and [8]. 2.2 Local constructions For a reflexive sheaf over a complex analytic variety $$X$$ with only quotient singularities in codimension-$$2$$, we define the $$\mathbb{Q}$$-Chern classes via metric Chern-forms analytically locally. We then define the $$\mathbb{Q}$$-Chern classes for an algebraic reflexive sheaf as those of its analytification. We also discuss conditions that guarantee their vanishing considered as multilinear forms on the Néron-Severi space when $$X$$ is projective. 2.2.1 $${\mathbb{Q}}$$-vector bundles and $${\mathbb{Q}}$$-Chern classes Let $$X$$ be a complex analytic variety with only quotient singularities, i.e., locally analytically $$X$$ is a quotient of complex manifold by a finite group, acting freely in codimension-$$1$$. Let $$\{U_{\alpha}\}$$ be a finite cover of $$X$$ with local uniformizations, that is, for each $$\alpha$$ there exists a complex manifold $$X_{\alpha}$$ and a finite, proper, holomorphic map $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$ such that $$U_{\alpha}=X_{\alpha} / G_{\alpha}$$, where $$G_{\alpha}=\mathrm{Gal}(X_{\alpha}/U_{\alpha})$$. We call the $$G_{\alpha}$$-equivariant coherent sheaves on $$X_{\alpha}$$$$G_{\alpha}$$-sheaves and their $$G_{\alpha}$$-equivariant subsheaves the $$G_{\alpha}$$-subsheaves (see [27] or [8]). We call a coherent sheaf $${\mathscr{E}}$$ on $$X$$ a $$\mathbb{Q}$$-vector bundle, if for each $$\alpha$$, there exists a $$G_{\alpha}$$-locally-free sheaf $${\mathscr{E}}_{\alpha}$$ on $$X_{\alpha}$$ such that its sheaf of $$G_{\alpha}$$-invariants $${\mathscr{E}}_{\alpha}^{G_{\alpha}}$$ descends to $${\mathscr{E}}|_{U_{\alpha}}$$, i.e. $${\mathscr{E}}_{\alpha}^{G_{\alpha}}={\mathscr{E}}|_{U_{\alpha}}$$. Now, let $$h_{\alpha}$$ be a collection of hermitian $$G_{\alpha}$$-invariant metrics on $${\mathscr{E}}_{\alpha}$$ verifying the natural compatibility conditions on overlaps. Such a collection exists by a partition of unity argument (subordinate to $$\{U_{\alpha}\}$$) since the $$X_\alpha$$’s are locally isomorphic over the $$U_{\alpha}$$ overlaps. Denote the $$i$$-th Chern form of $$h_\alpha$$ by $$\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$. These forms are $$G_{\alpha}$$-invariant by construction and naturally gives rise to $$\mathbb{Q}$$-Chern forms $$\Theta_i$$ of $${\mathscr{E}}$$ (over $$X_\mathrm{reg}$$) defined by the local data $$p_{\alpha}^*(\Theta_i|_{U_{\alpha}})=\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$. These define natural cohomology classes $$\widehat {c}_i({\mathscr{E}}):=[\Theta_i({\mathscr{E}},h_{\alpha})]\in H^{2i}(X,\mathbb{Q})$$ independent of the choice of the metrics $$h_{\alpha}$$ and are called the $$\mathbb{Q}$$-Chern classes (or orbifold-Chern classes) of the $$\mathbb{Q}$$-bundle $${\mathscr{E}}$$, noticing that $$V$$-manifolds satisfy Poincaré duality with coefficients $$\mathbb{Q}$$, cf. [30, Thm. 3]. We refer to the original paper of Satake [30] (see also [16, Sect. 2]) for an in-depth discussion of these notions. 2.2.2 Reflexive sheaves as $$\mathbb{Q}$$-vector bundles A reflexive sheaf $${\mathscr{E}}$$ on a complex analytic normal surface with at worst quotient singularities has a natural $$\mathbb{Q}$$-vector bundle structure defined by the locally free sheaves $${\mathscr{E}}_{\alpha}:=p_{\alpha}^{[*]}({\mathscr{E}}|_{U_{\alpha}})$$. More generally, let $$X$$ be any normal complex analytic variety with only quotient singularities in codimension-$$2$$, that is, the maximal subvariety $$X_1$$ of $$X$$ with an orbifold structure, defined by removing the non-orbifold locus from $$X$$ has $$\mathrm{codim}_X (X\setminus X_1)\geq 3$$. Then any reflexive sheaf on $$X$$ has a $$\mathbb{Q}$$-vector bundle structure on an open subset $$X_2\hookrightarrow X_1$$ with codimension-$$3$$ complement. In particular, we may define $$\mathbb{Q}$$-Chern classes of a reflexive sheaf by restricting to $$X_2$$. Assume further that $$X$$ is projective. We define the $$\mathbb{Q}$$-Chern classes of an algebraic reflexive sheaf $${\mathscr{E}}$$ restricted to $$X_2$$ to be those of the analytification $${\mathscr{E}}^\mathrm{an}$$ of $${\mathscr{E}}$$. Since $$\mathrm{codim}_X (X\setminus X_2)\geq 3$$, there are well defined intersection pairings between $$\widehat {c}_1({\mathscr{E}})$$ and $$(n-1)$$-tuples of ample divisors $$(H_1,\ldots,H_{n-1})$$ and between any linear combination $$\Delta:=a\cdot \widehat {c}_2({\mathscr{E}})+b\cdot \widehat {c}_1^{\,2}({\mathscr{E}})$$ and the $$(n-2)$$-tuples $$(H_1,\ldots,H_{n-2})$$, the latter pairing via   Δ⋅H1⋅…⋅Hn−2:=Δ|X2⋅H1⋅…⋅Hn−2. (2.0.2) Remark 2.1. We recall that klt spaces have only quotient singularities in codimension-$$2$$, cf. [8, Prop. 9.4]. Therefore our discussion above is valid for any reflexive sheaf over a projective klt variety. Also varieties with only quotient singularities are klt from the fact that a finite morphism $$f:Y\to X$$ étale in codimension-$$1$$ between normal varieties preserve the klt condition by [19, Prop. 5.20]. In particular, if $$X$$ as given in this previous sentence has only quotient singularities in codimension-$$1$$, then so does $$Y$$ (since $$X_1$$ is klt in this case). □ Remark 2.2. Let $$X$$ and $${\mathscr{E}}$$ be as before. Define $$S:=D_1\cap \cdots \cap D_{n-2}$$ to be the orbifold projective surface in $$X_2$$ cut out by general members $$D_i$$ of basepoint-free linear system $$|m\cdot H_i|$$ for $$m$$ being a sufficiently large positive integer. We recall that $$S$$ may be chosen such that $${\mathscr{E}}|_S$$ is reflexive, see [15, Cor. 1.1.15] for the smooth case and [4, Thm. 12.2.1] for the general setting. Therefore $${\mathscr{E}}|_S$$ has a natural $$\mathbb{Q}$$-vector bundle structure (one can also see this by simply restricting the $$\mathbb{Q}$$-vector bundle structure that is already enjoyed by $${\mathscr{E}}|_{X_2}$$ to the general surface $$S\hookrightarrow X_2$$). We may interpret the intersection number in (2.0.2) as the rational number $$(1/{m^{n-1}})\cdot \Delta({\mathscr{E}}|_S)$$ (we note that this number is obtained by integrating over the fundamental class of $$S$$ and is independent of the choice of $$S$$ for fixed $$H_1,\dots H_{n-2}$$ and $$m$$. Thus, we may and will understand $$\widehat {c}_2({\mathscr{E}})$$ (and similarly $$\widehat {c}^{\,2}_1({\mathscr{E}})$$), following [31], as multilinear forms on the Néron-Severi space $$\mathrm{NS}(X)_{\mathbb{Q}}$$ (see below). □ 2.2.3 Numerical triviality of $$\mathbb{Q}$$-Chern classes on the Picard group. Definition 2.3. (Numerical Triviality of $$\mathbb{Q}$$-Chern Classes of Reflexive Sheaves). Let $$X$$ be a normal projective variety with only quotient singularities in codimension-$$2$$. For a reflexive sheaf $${\mathscr{E}}$$ on $$X$$, we say that the first and second $$\mathbb{Q}$$-Chern classes of $${\mathscr{E}}$$ are numerically trivial on the Picard group (or simply trivial on $$X$$), and we write $$\widehat {c}_i({\mathscr{E}})\equiv_{_{ns}} 0$$, $$i=1,2$$, if $$\widehat {c}_i({\mathscr{E}})$$ defines a vanishing multilinear form on $$\mathrm{NS}(X)_{\mathbb{Q}}$$. Since the $$\mathbb{R}$$-span of the ample classes is open in $$\mathrm{NS}(X)_{\mathbb{R}}$$, we have   c^1(E)≡ns0⟺c^1(E)⋅H1⋅…⋅Hn−1=0  ∀ (H1,…,Hn−1),c^2(E)≡ns0⟺c^2(E)⋅H1⋅…⋅Hn−2=0  ∀ (H1,…,Hn−2), where $$H_1,\ldots,H_{n-1}$$ are ample divisor on $$X$$. □ In the case $$\det {\mathscr{E}}$$ is $$\mathbb{Q}$$-Cartier, it is an elementary exercise to show that $$\widehat {c}_1({\mathscr{E}})\equiv_{_{ns}} 0$$ if and only if $$\widehat {c}_1({\mathscr{E}})\equiv 0$$. One can also appeal directly to the numerical triviality criterion of Kleiman given in [17] to see this. When it is not $$\mathbb{Q}$$-Cartier however, it makes little sense to talk about numerical triviality in the usual sense since intersection with arbitrary curves has no sense and, even if it does, this notion would be different from the numerical triviality on the Picard group in general. 2.2.4 Bogomolov inequality for $$\mathbb{Q}$$-bundles With the setup as above and $$\mathrm{rank}({\mathscr{E}})= r$$, a natural combination of $$\mathbb{Q}$$-Chern classes as defined in (2.0.2) is   ΔB(E):=2r⋅c^2(E)−(r−1)⋅c^12(E). According to [16, Lem. 2.5], any semistable reflexive sheaf $${\mathscr{F}}$$ on a projective normal surface $$S$$ with only quotient singularities verifies the Bogomolov inequality  ΔB(F)≥0. (2.3.1) Now assume that $${\mathscr{E}}$$ is semistable with respect to a polarization $$(H_1,\ldots,H_{n-1})$$. Then, by the classical result of Mehta-Ramanthan [23] generalized by Flenner [6], the restriction $${\mathscr{E}}|_S$$ is also semistable, where $$S:=D_1\cap \ldots \cap\widehat D_i \cap \ldots \cap D_{n-1}$$ is the complete intersection surface cut out by general members $$D_i\in |m\cdot H_i|$$, $$m\gg0$$ and $$i\in\{1,\ldots,n-1\}$$, after removing an ample divisor $$H_i$$ from the $$(n-1)$$-tuple $$(H_1,\ldots, H_{n-1})$$. Therefore, thanks to the Bogomolov inequality (2.3.1), we have   ΔB(E)⋅H1⋅…⋅H^i…⋅Hn−1≥0  ∀i, (2.3.2) where $$(H_1,\ldots,\widehat H_i,\ldots,H_{n-1})$$ is the $$(n-2)$$-tuple of ample divisors defined by removing the ample divisor $$H_i$$ from $$(H_1,\ldots, H_{n-1})$$ (see Remark 2.2 for the definition of the intersection in inequality (2.3.2).) 2.2.5 Numerical triviality criterion for $$\mathbb{Q}$$-Chern classes Generically semi-positive reflexive sheaves (over normal varieties with only quotient singularities in codimension-$$2$$) are central objects of this article. In the next lemma, we show that the $$\mathbb{Q}$$-Chern classes of such sheaves verify a natural numerical triviality criterion (on the Picard group). We note that for minimal varieties, the tangent sheaf is, thanks to Miyaoka’s result, an example of a generically semi-positive sheaf and in this context the vanishing of $$c_2$$ in the following Lemma has already been proved in [10, Prop. 4.8]. Lemma 2.4. Let $$X$$ be a normal projective variety $$X$$ with only quotient singularities in codimension-$$2$$ and $${\mathscr{E}}$$ a generically semi-positive reflexive sheaf on $$X$$. Assume that   c^1(E)⋅H1⋅…⋅Hn−1=0 (2.4.1) holds for some $$(n-1)$$-tuple of ample divisors $$(H_1,\ldots,H_{n-1})$$, then $$\widehat {c}_1({\mathscr{E}}) \equiv_{_{ns}} 0$$. If we assume furthermore that   c^2(E)⋅H1′⋅…⋅Hn−2′=0 for an $$(n-2)$$-tuple of ample divisors $$(H_1',\ldots,H_{n-2}')$$, then $$\widehat {c}_2({\mathscr{E}})\equiv_{_{ns}} 0$$. □ Proof Aiming for a contradiction, suppose there exists a polarization $$(A_1,\ldots,A_{n-1})$$ such that $$\widehat {c}_1({\mathscr{E}})\cdot A_1\cdot \ldots\cdot A_{n-1}\neq 0$$. Then, by the generic semi-positivity assumption, we have   c^1(E)⋅A1⋅…⋅An−1>0. (2.4.2) Now let $$m\in \mathbb{N}^+$$ be a sufficiently large integer such that $$(mH_i-A_i)$$ is ample for all $$i\in\{1,\ldots,n-1\}$$ and consider the equality   mn−1⋅c^1(E)⋅H1⋅…⋅Hn−1=c^1(E)⋅((mH1−A1)+A1)⋅⋅…⋅((mHn−1−An−1)+An−1). (2.4.3) The right-hand side of (2.4.3) is strictly positive by (2.4.2) (and by the generic semi-positivity of $${\mathscr{E}}$$). But the left hand-side is equal to zero by the assumption, a contradiction. To prove the numerical triviality of $$\widehat {c}_2({\mathscr{E}})$$, we argue similarly by using the Bogomolov inequality (2.3.2): First we observe that the generic semi-positivity of $${\mathscr{E}}$$ together with $$\widehat {c}_1({\mathscr{E}}) \equiv_{_{ns}} 0$$ implies that $${\mathscr{E}}$$ is semistable independent of the choice of a polarization. Therefore the second $$\mathbb{Q}$$-Chern class of $${\mathscr{E}}$$ is "pseudo-effective" by (2.3.2), that is   c^2(E)⋅H1⋅…⋅Hn−2≥0, (2.4.4) holds for all $$(n-2)$$-tuples of ample divisors $$(H_1,\ldots, H_{n-2})$$. Suppose to the contrary that there exists ample divisors $$A_1',\ldots,A_{n-2}'$$ such that $$\widehat {c}_2({\mathscr{E}})\cdot A_1'\cdot \ldots\cdot A_{n-2}'\neq 0$$, i.e.,   c^2(E)⋅A1′⋅…⋅An−2′>0. (2.4.5) Set $$m'\in \mathbb{N}^+$$ to be a sufficiently large positive integer such that $$(m'H_i'-A_i')$$ is ample for all $$i\in \{1,\ldots,n-2\}$$. Then   0=m′n−2⋅c^2(E)⋅H1′⋅…⋅Hn−2′=c^2(E)⋅((mH1′−A1′)+A1′)⋅⋅…⋅((mHn−2′−An−2′)+An−2′), which is a contradiction as the right-hand side is strictly positive by the Bogomolov inequality 2.3.2 and the inequality 2.4.5. ■ Remark 2.5. Lemma 2.4 (see also the discussion after Definition 2.3) in particular shows that for generically semipositive reflexive sheaves $${\mathscr{E}}$$ whose determinant $$(\det {\mathscr{E}})$$ is a $$\mathbb{Q}$$-Cartier divisor, the two sets of vanishing conditions [$$\det ({\mathscr{E}})\equiv 0$$, $$\widehat {c}_2({\mathscr{E}})\equiv_{_{ns}}0$$] and [$$\widehat {c}_1({\mathscr{E}})\cdot A_1\cdot \ldots \cdot A_{n-1}=0$$, $$\widehat {ch}_2({\mathscr{E}})\cdot H_1\ldots \cdot H_{n-2}=0$$], where $$(A_1,\ldots, A_{n-1})$$ and $$(H_1,\ldots, H_{n-2})$$ are any $$(n-1)$$ and $$(n-2)$$-tuples of ample divisors in $$X$$, are equivalent. So for example in the case of a non-uniruled $$\mathbb{Q}$$-Gorenstein variety $$X$$, the vanishing conditions in (1.1.2) when $${\mathscr{F}}={\mathscr{T}}_X$$ is the same as $$K_X\equiv 0$$ and $$\widehat {c}_2({\mathscr{T}}_X)\equiv_{_{ns}}0$$. □ 2.3 $$\mathbb{Q}$$-sheaves and global constructions The theory of $$\mathbb{Q}$$-sheaves was introduced by Mumford [27] as an algebraic generalization of $$\mathbb{Q}$$-vector bundles to a much larger class of coherent sheaves for which a meaningful notion of Chern classes can be defined. In this section, we briefly recall some elementary facts that are needed for our results and we refer to Mumford [27] (see also [22]) for a detailed account of this theory. A concise but detailed account of all the notions and results needed in this article can also be found in [12, Sect. 3]. Let $$X$$ be a normal projective variety with only quotient singularities. Then according to Mumford ([27, Chapt. 2]), there exists a $$\mathbb{Q}$$-structure given by the collection of charts $$(U_{\alpha},p_{\alpha}:X_{\alpha}\to U_{\alpha})$$, where $$U_{\alpha}$$ are quasi-projective, $$p_{\alpha}$$ are étale in codimension-$$1$$ and $$X_{\alpha}$$ are smooth. Let $$G_{\alpha}:=\mathrm{Gal}(X_{\alpha}/U_{\alpha})$$. We call a coherent sheaf $${\mathscr{E}}$$ on $$X$$ a $$\mathbb{Q}$$-sheaf, if there exists coherent $$G_{\alpha}$$-sheaves $${\mathscr{E}}_{\alpha}$$ on $$X_{\alpha}$$ such that $${\mathscr{E}}_{\alpha}^{G_{\alpha}}={\mathscr{E}}|_{U_{\alpha}}$$. Now, let $$K$$ be a Galois extension of the function field $$k(X)$$ containing all the function fields $$k(X_{\alpha})$$ and let $$\widehat X$$ be the normalization of $$X$$ in $$K$$. Let $$G$$ be the Galois group. By construction, the corresponding finite morphism $$p:\widehat X\to X$$ factors though each $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$, i.e. there exists a collection of finite morphisms $$q_{\alpha}:\widehat X_{\alpha}\to X_{\alpha}$$ giving a commutative diagram   $$\ $$ For a $$\mathbb{Q}$$-sheaf (or a $$\mathbb{Q}$$-vector bundle) $${\mathscr{E}}$$ on $$X$$, we can define a coherent sheaf $$\widehat{\mathscr{E}}$$ on $$\widehat X$$ by gluing together the local data given by $$\bigl(\widehat X_{\alpha},\widehat{\mathscr{E}}_{\alpha}:=q_{\alpha}^*({\mathscr{E}}_{\alpha})\bigr)$$. A result of Mumford ([27, Prop. 2.1]) shows that when the global cover $$\widehat X$$ is Cohen-Macaulay, any coherent sheaf $$\widehat {\mathscr{E}}$$ on $$\widehat X$$ admits finite resolutions by locally-free sheaves and hence admits well-defined Chern classes. In our situation, we define the i-th $$\mathbb{Q}$$-Chern class of $${\mathscr{E}}$$ as a ($$G$$-invariant) cohomology class on $$\widehat X$$ by $$\widehat {c}_i({\mathscr{E}}):=(1\big{/} |G|){c}_i(\widehat{\mathscr{E}})$$. Following [27], the $$G$$-invariant cohomology classes on $$\widehat X$$ identifies with homology cycles of complementary dimension on $$X$$ and we define the intersection of $$\widehat {c}_i({\mathscr{E}})$$ with cycles on $$X$$ by its intersection with the pullback cycle on $$\widehat X$$. This definition agrees with the analytic one in Section 2.2 via the projection formula. We refer the reader to [27] for the intersection theory of $$\mathbb{Q}$$-sheaves and note in particular that, as any normal surface is Cohen-Macaulay, we can always define $$\mathbb{Q}$$-Chern classes of $$\mathbb{Q}$$-sheaves on a normal irreducible surface $$S$$ with only quotient singularities. Finally, we note that the algebraic Hodge-Index theorem holds for $$\widehat{c}_1$$ by considering it on a desingularization of $$\widehat S$$. Remark 2.6. (An Equivalent Definition for $$\widehat {c}_1\equiv 0$$). Let $$S$$ be a normal surface with only quotient singularities. Let $$p:\widehat S\to S$$ be the global cover that was constructed above and $$\widehat{\mathscr{E}}$$ the $$G$$-locally-free sheaf on $$\widehat S$$. It is not difficult to see that   c^1(E)≡0⟺c1(E^)≡0. (2.6.1) The reason is that the $$\mathbb{Q}$$-factoriality of $$S$$ (recall that any normal variety with quotient singularities is $$\mathbb{Q}$$-factorial [19, Prop. 5.15]), together with $$\widehat {c}_1({\mathscr{E}})\equiv 0$$, implies that $$\det({\mathscr{E}})$$ is numerically trivial as a $$\mathbb{Q}$$-Cartier divisor. Notice that by construction we have $$\widehat{\mathscr{E}}=p^{[*]}({\mathscr{E}})$$. Therefore, the projection formula for Chern classes of pull-back bundles implies that $${c}_1(\widehat{\mathscr{E}})\cdot A=0$$, for every ample divisor $$A$$ in $$\widehat S$$. The equivalence (2.6.1) now follows from Kleiman’s numerical triviality criterion for $$\mathbb{Q}$$-Cartier divisors [17, Prop. 3] which gives the elementary (linear algebra) fact that over a normal projective variety a $$\mathbb{Q}$$-Cartier divisor is numerically trivial if it has zero intersection with all polarizations. □ 2.4 Behaviour of reflexive sheaves under finite quasi-étale morphisms We offer some elementary facts on the behaviour of reflexive sheaves under finite morphisms that are étale in codimension-$$1$$, i.e. finite quasi-étale morphisms, ending with an observation regarding the stability of the tangent sheaf of klt varieties. Lemma 2.7. Let $$X$$ be a normal projective variety with only quotient singularities in codimension-$$2$$. Let $$f:Y\to X$$ be a finite Galois morphism that is étale in codimension-$$1$$ (with $$Y$$ normal). Then $$Y$$ has only quotient singularities in codimension-$$2$$ and, for $$\Delta$$ a linear combination of $$\widehat {c}_2$$ and $$\widehat {c}_1^2$$, a reflexive sheaf $${\mathscr{E}}$$ on $$X$$ satisfies $$\Delta({\mathscr{E}})\cdot H_1\cdot \ldots \cdot H_{n-2}=0$$ for some $$(n-2)$$-tuple of ample divisors $$(H_1,\ldots,H_{n-2})$$ if and only if   Δ(f[∗](E))⋅f∗H1⋅…⋅f∗Hn−2=0. □ Proof The first claim follows from Remark 2.1. Now, define $${\mathscr{G}}:=f^{[*]}({\mathscr{E}})$$ and let $$(U_{\alpha},p_{\alpha}:X_{\alpha}\to U_{\alpha};U_{\alpha}=X_{\alpha}/G_{\alpha})$$ be the local $$\mathbb{Q}$$-structure (see Section 2.2) for $$X_1$$, where $$X_1$$ is equal to $$X$$ minus its non-orbifold locus. Let $$\{{\mathscr{E}}_{\alpha}\}$$ be the collection of $$G_{\alpha}$$-sheaves on $$X_{\alpha}$$. Define $$V_{\alpha}:=f^{-1}U_{\alpha}$$ and let $$Y_{\alpha}:=X_{\alpha}\times_{U_{\alpha}}V_{\alpha}$$ be the fibre product given by the base change $$p_{\alpha}:X_{\alpha}\to U_{\alpha}$$ with the corresponding commutative diagram   $$\ $$ Since $$X_{\alpha}$$ is smooth and $$f_{\alpha}:V_{\alpha}\to U_{\alpha}$$ is étale in codimension-$$1$$, so is $$g_{\alpha}$$. The purity of the branch locus says that $$g_{\alpha}$$ is étale and $$Y_{\alpha}$$ is smooth. Therefore $${\mathscr{G}}_{\alpha}=g_{\alpha}^*({\mathscr{E}}_{\alpha})$$, $${\mathscr{G}}_{\alpha}$$ being the locally-free sheaf on $$Y_{\alpha}$$ invariant under the action of $$H_{\alpha}:=\mathrm{Gal}(Y_{\alpha}/ V_{\alpha})$$ such that $${\mathscr{G}}_{\alpha}^{H_{\alpha}}={\mathscr{G}}|_{V_\alpha}$$. A collection of $$G_{\alpha}$$-invariant metrics $$h_{\alpha}$$ on $$X_{\alpha}$$ and corresponding Chern forms $$\Theta_{\alpha,i}({\mathscr{E}},h_{\alpha})$$ (see Section 2.2) thus induces $$H_{\alpha}$$-invariant Chern forms $$\widehat\Theta_{\alpha,i}({\mathscr{G}},g_{\alpha}^*h_{\alpha})$$ on $$Y_{\alpha}$$ given by $$g_{\alpha}^*(\Theta_{\alpha,i})$$. Hence $$\widehat {c}_i({\mathscr{G}}|_{Y_1})=(f|_{X_1})^*\widehat {c}_i({\mathscr{E}}|_{X_1})\in H^{2i}(Y_1,\mathbb{Q})$$, where $$Y_1:=f^{-1}(X_1)$$. The lemma now follows from the projection formula. ■ Lemma 2.8. Let $$f:Y\to X$$ be a finite Galois morphism between normal varieties that is étale in codimenions-$$1$$, $${\mathscr{E}}$$ a reflexive sheaf on $$X$$ and $$\hbar:=(H_1,\ldots,H_{n-1})$$ a fixed polarization on $$X$$ with $$H_i$$ ample. Then $${\mathscr{E}}$$ is semistable with respect to $$\hbar$$ if and only if $$f^{[*]}{\mathscr{E}}$$ is semistable with respect to $$f^*\hbar:=(f^*H_1,\ldots,f^*H_{n-1})$$. □ Proof The direction where $$f^{[*]}{\mathscr{E}}$$ is assumed to be semistable is clear. For the other direction, the proof follows from the fact that the subsheaf $$\widehat {\mathscr{F}}$$ of $$f^{[*]}{\mathscr{E}}$$ with maximal $$(f^*\hbar$$)-slope is unique and thus invariant under the action of the group $$\mathrm{Gal}(Y/X)$$. As $$f$$ is étale in codimension-$$1$$, this implies that $$\widehat {\mathscr{F}}$$ is a pull-back of a locally-free sheaf $${\mathscr{F}}^\circ$$ away from the branch locus $$X_1$$ of $$f$$. Let $${\mathscr{F}}:=i_*({\mathscr{F}}^\circ)$$, where $$i$$ is the inclusion $$i: X\backslash X_1 \to X$$, be the natural extension of $${\mathscr{F}}^\circ$$ onto $$X$$. As $${\mathscr{E}}$$ is reflexive, and since $${\mathscr{F}}^\circ \subset {\mathscr{E}}|_{X\backslash X_1}$$, we have $${\mathscr{F}}\subset {\mathscr{E}}$$. The claim now follows from the projection formula. ■ Let $$X$$ be any non-uniruled normal projective variety. The generic semi-positivity result of Miyaoka [26] says that the tangent sheaf of $$X$$ is generically semipositive. This is the case when a variety $$X$$ has numerically-trivial canonical divisor $$K_X$$ and $$X$$ has only canonical singularities. To see this, take $$\pi:\widetilde X\to X$$ to be a resolution of $$X$$ with the ramification formula $$K_{\widetilde X}=\pi^*K_X+E$$, where $$E$$ is, by definition, an effective exceptional divisor. Clearly, the numerical triviality of $$K_X$$ implies that $$K_{\widetilde X}$$ is pseudo-effective. Therefore $$\widetilde X$$ is non-uniruled and thus so is $$X$$. More generally, we have the following proposition. Proposition 2.9 Let $$X$$ be klt projective. If $$K_X\equiv 0$$, then $$\Omega^{[1]}_X$$ is generically semipositive. □ Proof According to the abundance result of for klt varieties with numerically trivial canonical divisor [28], we know that $$K_X$$ is a torsion, $$\mathbb{Q}$$-Cartier divisor. Let $$f:Z \to X$$ be the associated index one cover, where $$f^*(K_X)$$ is trivial. By construction, $$f$$ is unramified in codimension 1. Therefore $$K_Z$$ is also trivial. But $$Z$$ has at worst klt singularities by Remark 2.1. Hence $$Z$$ has at most canonical singularities. From our discussion above, $$Z$$ is not uniruled. Thus $$\Omega^{[1]}_Z=f^{[*]}\Omega^{[1]}_X$$ is generically semipositive or equivalently $${\mathscr{T}}_Z$$ is generically seminegative. As $$K_Z=0$$, this implies that $${\mathscr{T}}_Z$$ is semistable with respect to $$(f^*H_1, \ldots , f^*H_{n-1})$$, for any $$(n-1)$$-tuple of ample divisors in $$X$$. Therefore by Lemma 2.8, we find that $${\mathscr{T}}_X$$ is semistable with respect to any $$(H_1, \ldots, H_{n-1})$$. Again, as $$K_X\equiv 0$$, this latter assertion is equivalent to $$\Omega_X$$ being generically semipositive. (Notice that in the argument above, it is possible to avoid using abundance results, once we have established Theorem 1.4. The reason is that Theorem 1.4 implies that there exists a finite Galois cover $$f:Z\to X$$ étale over $$X_\mathrm{reg}$$ which pulls back numerically trivial $$\mathbb{Q}$$-Cartier divisors on $$X$$ to Cartier ones on $$Z$$, i.e. a simultaneous index one cover for such divisors. This impies that $$K_Z\simeq_{\mathbb{Q}}f^*K_X$$ is Cartier and this is all we need in to prove Proposition 2.9.) ■ 3 Stable reflexive sheaves with vanishing $$\mathbb{Q}$$-Chern classes We recall that a hermitian metric $$h$$ on a holomorphic vector bundle $${\mathscr{E}}$$ over a compact Kähler manifold with Kähler form $$w$$ is said to satisfy the Einstein condition if   iΛwF=λidE, (3.0.1) for some $$\lambda\in \mathbb{R}$$ where $$F$$ is the curvature of the unitary connection compatible with the holomorphic structure. From the classical result of Donaldson, Uhlenbeck and Yau, we know that given a compact Kähler manifold $$X$$ of dimension $$n$$ and a Kähler class $$[w]$$, every $$[w]$$-stable holomorphic vector bundle $${\mathscr{E}}$$ admits a hermitian metric $$h$$ whose associated unitary connections is Hermitian-Einstein. Moreover if $${c}_1({\mathscr{E}})_{\mathbb{R}}=0$$ and   ∫Xc2(E)∧[w]n−2=0, then $$({\mathscr{E}},h)$$ is flat. Our aim in this section is to prove a generalization of this result to the case of reflexive sheaves over normal projective varieties with only quotient singularities in codimension-$$2$$, namely Theorem 1.1. For this, we first examine as did [31] the question of how stability of a $$\mathbb{Q}$$-vector bundle $${\mathscr{E}}$$ over a complex projective surface $$S$$ with only quotient singularities behaves under blowing-ups: Let $$(U_{\alpha},\ p_{\alpha}\colon X_{\alpha}\to U_{\alpha})$$ be the local $$\mathbb{Q}$$-structure of $$S$$ (Section 2.2). Let $$p:\widehat S\to S$$ be the global finite cover with Galois group $$G$$ and let $$\widehat{\mathscr{E}}$$ be the locally-free sheaf on $$\widehat S$$ such that $$\widehat{\mathscr{E}}^G={\mathscr{E}}$$ (Section 2.3). We study the stability of $$\pi^*(\widehat{\mathscr{E}})$$ on a $$G$$-equivariant desingularization $$\pi:\widetilde S\to \widehat S$$ (whose existence is guaranteed classically or by [1] for example). Note that the actions of $$G$$ on $$\widehat S$$ and on $$\widehat{\mathscr{E}}$$ lift uniquely to actions of $$G$$ on $$\widetilde S$$ and on $$\pi^*(\widehat{\mathscr{E}})$$ respectively. For expediency, we now allow all of our polarization divisors to be $$Q$$-Cartier. Proposition 3.1. Let $${\mathscr{E}}$$ be a reflexive coherent sheaf on a normal projective surface $$S$$ with only quotient singularities. Fix an ample divisor $$H$$ on $$S$$. With the setup as above, if $${\mathscr{E}}$$ is stable with respect to $$H$$, then there exists a $$G$$-invariant polarization $$\widetilde H$$ on $$\widetilde S$$ such that $$\mu_{\widetilde H}(\widetilde {\mathscr{E}})=\mu_{H}({\mathscr{E}})$$, where $$\widetilde {\mathscr{E}}:=\pi^*\widehat{\mathscr{E}}$$, and that $$\widetilde {\mathscr{E}}$$ is $$G$$-stable with respect to $$\widetilde H$$, that is, for every proper, $$G$$-equivariant subsheaf $$\ \widetilde {\mathscr{G}}\subset \widetilde {\mathscr{E}}$$, we have the strict inequality   μH~(G~)<μH~(E~). (3.1.1) □ Proof First note that $$\widehat{\mathscr{E}}$$ is semistable with respect to $$\widehat H:=p^*(H)$$. For otherwise the maximal destabilizing subsheaf of $$\widehat{\mathscr{E}}$$ would descend to a proper $$H$$-destablizing subsheaf of $${\mathscr{E}}$$. This is because the maximal destablizing subsheaf is, thanks to its uniqueness, a $$G$$-sheaf and moreover as it is saturated inside $$\widehat{\mathscr{E}}$$, it is given by a pull-back bundle outside codimension-$$2$$ (see [12, Prop. 2.16] for a proof of this fact). It is also $$G$$-stable; otherwise there would exist a saturated $$G$$-equivariant semistable subsheaf $$\widehat{\mathscr{G}}\subset \widehat{\mathscr{E}}$$ of strictly smaller rank with $$\mu_{\widehat H}(\widehat{\mathscr{G}})= \mu_{\widehat H}(\widehat{\mathscr{E}}),$$ which would descend to a saturated semistable subsheaf $${\mathscr{G}}\subsetneq {\mathscr{E}}$$ with $$\mu_{H}({\mathscr{G}})= \mu_{H}({\mathscr{E}})$$ and contradict the stability of $${\mathscr{E}}$$. Note also that one can arrange $$\bigl(\pi^*(\widehat H)- E'\bigr)$$ to be ample by a suitable choice of an effective and $$\pi$$-exceptional $$\mathbb{Q}$$-divisor $$E'$$ and, by averaging over $$G$$ if necessary, $$G$$-invariant. Set $$\widetilde H^\circ=\bigl(\pi^*(\widehat H)- E'\bigr)$$ for this choice. Since $$\widehat{\mathscr{E}}$$ is locally free, $$\widetilde {\mathscr{E}}=\pi^*\widehat{\mathscr{E}}$$ is trivial along the (reduced) exceptional divisor $$E$$ of $$\pi$$ and hence $$\mu_{\widetilde H^\circ}(\widetilde {\mathscr{E}})=\mu_{\widehat H}(\widehat{\mathscr{E}})$$. Now, let $$\widetilde {\mathscr{F}}$$ be any $$G$$-subsheaf of $$\widetilde {\mathscr{E}}$$. Let $$U$$ be a Zariski-open subset of $$\widehat S$$ with $$\mathrm{codim}_{\widehat S}(\widehat S\backslash U)=2$$ such that $$\pi|_{\pi^{-1}(U)}: \pi^{-1}(U)\to U$$ is an isomorphism. Let $$\widehat{\mathscr{F}}^\circ:=(\pi^{-1}|_{\pi^{-1}U})^*\widetilde {\mathscr{F}}$$ be the $$G$$-subsheaf of $$\widehat{\mathscr{E}}|_U$$ induced by $$\widetilde {\mathscr{F}}$$. Define $$\widehat{\mathscr{F}}:={i_U}_*(\widehat{\mathscr{F}}^\circ)$$ to be the coherent extension of $$\widehat{\mathscr{F}}^\circ$$ across $$\widehat S\backslash U$$ and notice that $$\widehat{\mathscr{F}}$$ defines a $$G$$-equivariant coherent subsheaf of $$\widehat{\mathscr{E}}$$. Now from the $$G$$-stability of $$\widehat{\mathscr{E}}$$ with respect to $$\widehat H$$, we infer that the inequality   μπ∗H^(F~)<μπ∗H^(E~) (3.1.2) holds. On the other hand it is easy to see that the set   {μH~∘(G~):G~ coherent subsheaf of E~} (3.1.3) admits an upper-bound. Therefore for all sufficiently small $$\delta \in \mathbb{Q}^+$$, we can always exploit the $$G$$-stability of $$\widehat{\mathscr{E}}$$ (3.1.2) to ensure that the inequality (3.1.2) holds by choosing $$\widetilde H:=\pi^*\widehat H+\delta \widetilde H^\circ$$, i.e. $$\widetilde {\mathscr{E}}$$ is $$G$$-stable with respect to $$\widetilde H$$. ■ It is well known from the celebrated theorems of Donaldson and Uhlenbeck-Yau and from their proofs, see for example [7, Thm. 5] and the remarks given therein, that given a compact Käbler manifold equipped with the holomorphic action of a compact Lie group $$G$$ and a $$G$$-invariant Kähler form $$w$$, any holomorphic vector bundle that is $$G$$-stable with respect to $$w$$ admits a $$G$$-invariant Hermitian-Einstein connection. Therefore, as our choice of polarization $$\widetilde H$$ in the above proposition is $$G$$-invariant, the locally-free sheaf $$\widetilde {\mathscr{E}}=\pi^*{\widehat{\mathscr{E}}}$$ carries a Hermitian-Einstein connection $$\widetilde D: {\widetilde {\mathscr{E}}} \to\widetilde {\mathscr{E}} \otimes \Omega^1_{{\widetilde S}}$$ that is $$G$$-invariant. If we further assume that $$\widehat {ch}_2({\mathscr{E}})=0$$ and $$\mu_H({\mathscr{E}})=0$$, then $${ch}_2(\widetilde {\mathscr{E}})=0$$ and, with a Kähler form $$w$$ representing $${c}_1(\widetilde H)$$,   −12π∫S~tr(ΛwFD~)dvol(w)=∫S~Ric(D~)∧[w]=c1(E~)⋅H~=0. (3.1.4) In particular the unitary connection $$\widetilde D$$ is flat, i.e., $$\widetilde D^2=0$$. The flatness of $$\widetilde D$$ follows from the fact that $$\widetilde D$$ is Hermitian-Einstein (3.1.4), so that the vanishing condition (3.1.4) implies the vanishing of $$\Lambda_{w} F_{\widetilde D}$$, and from the well-known Riemann bilinear identity, c.f. page 16 of [32] or equations 4.2 and 4.3 in Chapter IV of [18], which takes the form   ∫S~ch2(E~)=C(||ΛwFD~||L22−||FD~||L22), (3.1.5) for some positive constant $$C$$. Now, let   D^:E^|S^reg→E^|S^reg⊗(ΩS^reg1)G, be the induced, $$G$$-invariant connection. Furthermore, as $$\widetilde D$$ is compatible with the holomorphic structure of $$\widetilde {\mathscr{E}}$$, its $$(1,0)$$ part defines an equivariant, holomorphically flat connection. Here $$(\Omega^1_{\widehat S_\mathrm{reg}})^G$$ denotes the sheaf of $$G$$-invariant forms on $$\widehat S_\mathrm{reg}$$. After taking $$G$$-invariant sections, $$\widehat D$$ induces a unitary, flat connection $$D: {\mathscr{E}}|_{S^\circ} \to {\mathscr{E}}|_{S^\circ}\otimes \Omega^1_{S^\circ}$$, where $$S^\circ$$ is $$S_\mathrm{reg}$$ minus a finite number of smooth points–-the subset of $$S_\mathrm{reg}$$ over which we have $$\widehat {\mathscr{E}}|_{p^{-1}(S^\circ)}=p^*({\mathscr{E}}|_{S^\circ})$$. Since removing smooth points from $$S_\mathrm{reg}$$ does not change its fundamental group, we find that $${\mathscr{E}}|_{S_\mathrm{reg}}$$ is given by a unitary representation $$\rho_{S}:\pi_1(S_\mathrm{reg})\to U(r,\mathbb{C})\subset GL(r,\mathbb{C})$$ with $$r$$ the rank of $${\mathscr{E}}$$, cf. [18, Chapt. I]. This representation is irreducible for otherwise we can extract a contradiction as follows: Let $$C$$ be a sufficiently general member of the basepoint-free linear system $$|m\cdot H|$$, $$m\gg 0$$, for which we have $$C\subset S_\mathrm{reg}$$ as a smooth projective curve and $${\mathscr{E}}|_C$$ is stable. To see this, let $$\mu: T \to S$$ be a resolution and notice that $$\mu^{[*]}({\mathscr{E}})$$ is stable with respect to $$\mu^*H$$. If $${\mathscr{E}}|_C$$ is not stable, then $$\mu^{[*]}({\mathscr{E}})|_{\pi^{-1}C}$$ is not stable, contradicting the Bogomolov Restriction Theorem, cf. [3]. Now, if the connection in $${\mathscr{E}}|_{S_\mathrm{reg}}$$ defined by $$\rho_S$$ is not irreducible, it restricts to a unitary but not irreducible connection in $${\mathscr{E}}|_C$$. By the theorem of Narasimhan-Seshadri, this implies that $${\mathscr{E}}|_C$$ is polystable, but not stable, contradicting the stability of $${\mathscr{E}}|_C$$. For future references, we summarize this discussion as follows. 3.1.6. Given a normal irreducible surface$$S$$with only quotient singularities, let$${\mathscr{E}}$$be a stable (respectively polystable) reflexive sheaf over$$S$$. If$$\widehat {c}_1({\mathscr{E}})\cdot A=0$$for some ample divisor$$A$$on$$S$$and$$\widehat {ch}_2({\mathscr{E}})=0$$, then the analytification of$${\mathscr{E}}|_{S_{\text{reg}}}$$is given by a unitary, irreducible (respectively possibly reducible) representation  ρS:π1(Sreg)→GL(r,C). 3.1 General setup Since there is a significant overlap between the results and methods needed for the proof of Theorems 1.1 and 1.4, to avoid unnecessary repetitions, we collect some common ingredients in the following set-up. Setup 3.2. Let $$X$$ be a normal projective variety and $${\mathscr{F}}$$ any reflexive sheaf on $$X$$, stable with respect to $$(H_1, \ldots, H_{n-1})$$, with $$H_i\subset X$$ being ample. Let $$\widetilde \pi: \widetilde X\to X$$ be a resolution. According to [20, Thm. 5.2], the reflexive pull-back sheaf $$\pi^{[*]}({\mathscr{F}})$$ satisfies a restriction Theorem, that is $$\pi^{[*]}({\mathscr{F}})|_{D_1}$$ is stable, for every normal member $$D_1$$ of the linear system $$|\pi^*(m\cdot H_1)|$$, $$m\gg 0$$. It thus follows that $${\mathscr{F}}$$ also satisfies a restriction theorem. When $${\mathscr{F}}$$ is semistable, the semistability of the restriction (to general members of a linear system of very ample divisors) is due to Flenner, cf. [6]. Now with the additional assumption that $$X$$ is klt, let $$\mathcal V^\circ$$ be the family of flat, locally-free, analytic sheaves on $$X_\mathrm{reg}$$. Define $$\mathcal V_X^\circ=\{ {\mathscr{F}}^\circ \}$$ to be the family of locally-free, flat, analytic sheaves on $$X_\mathrm{reg}$$. Let $$f: Y\to X$$ be the quasi-étale cover in [10, Thm. 1.5], where $$\widehat \pi_1(Y)\cong \widehat \pi_1(Y_\mathrm{reg})$$. As $$(f|_{X_\mathrm{reg}})^*({\mathscr{F}}^\circ)$$ is flat, according to [10, Thm. 1.14] there exists a unique, locally-free, flat, algebraic sheaf $$\widetilde {\mathscr{F}}$$ on $$Y$$ such that $$(\widetilde {\mathscr{F}}|_{Y_\mathrm{reg}})^{an}\cong (f|_{X_\mathrm{reg}})^*({\mathscr{F}}^\circ)$$. Let $$\mathcal V_Y=\{ \widetilde {\mathscr{F}} \}$$ denote the family of flat, locally-free, algebraic sheaves on $$Y$$ constructed as extensions of sheaves of form $$(f|_{X_\mathrm{reg}})^*{\mathscr{F}}^\circ$$, where $${\mathscr{F}}^\circ\in \mathcal V^\circ$$. Define $$\mathcal V_X:= \{ (f_*(\widetilde {\mathscr{F}}))^{**} \ \big| \ \widetilde {\mathscr{F}}\in \mathcal V_Y \}$$. As the family of locally-free, flat, algebraic sheaves on $$Y$$ is bounded, cf. [10, Prop. 9.1], $$\mathcal V_X$$ forms a bounded family of reflexive, algebraic sheaves on $$X$$. Following the setup of the proof of [10, Thm. 1.20], we consider the increasing sequence of integers $$m_1 \leq \ldots \leq m_{n-2}$$ such that the complete intersection surface $$S:=D_1\cap \ldots \cap D_{n-2}$$, where $$D_i$$ is a general member of the basepoint-free linear system $$|m_i\cdot H_i|$$, verify the following properties. (3.2.1) The projective surface $$S$$ is normal, irreducible and klt, cf. [19, Lem. 5.17]. (3.2.2) The restriction $${\mathscr{F}}|_S$$ is reflexive and (semi)stable with respect to $$H_{n-1}|_S$$, if $${\mathscr{F}}$$ is (semi)stable with respect to $$(H_1, \ldots, H_{n-1})$$. This is guaranteed by the results of Flenner and Langer (see the discussion in the beginning of the current setup). (3.2.3) We have the isomorphism $$\pi_1(S_\mathrm{reg})\cong \pi_1(X_\mathrm{reg})$$, which follows from Lefschetz-hyperplane theorem [13] for quasi-projective varieties. (3.2.4) For any member $${\mathscr{G}}\in \mathcal V_X$$, the isomorphism $${\mathscr{F}}\cong {\mathscr{G}}$$ holds, if and only if $${\mathscr{F}}|_S \cong {\mathscr{G}}|_S$$, cf. [10, Cor. 5.3]. □ 3.2 Proof of Theorem 1.1 Observe that we only need to treat the stable case. This is because if $${\mathscr{F}}=\oplus_i{\mathscr{F}}_i$$ is polystable, then, for each $$i$$, as $$\mu_{\hbar}{\mathscr{F}}_i=0$$, the Hodge-index theorem implies that $$\widehat {c}_1^2({\mathscr{F}}_i)\cdot H_1\cdot \ldots \cdot H_{n-2} \leq 0$$ and so the Bogomolov inequality (2.3.2)   −2⋅ch^2(Fi)⋅H1⋅…⋅Hn−2≥−1ri⋅c^12(Fi)⋅H1⋅…⋅Hn−2  (ri:=rank(Fi)), gives $$\widehat {ch}_2({\mathscr{F}}_i) \cdot H_1\cdot \ldots \cdot H_{n-2} \leq 0$$ for all $$i$$. Hence, the additivity of the second $$\mathbb{Q}$$-Chern character implies that every $$\hbar$$-stable component $${\mathscr{F}}_i$$ verifies $$\widehat {ch}_2({\mathscr{F}}_i)\cdot H_1\cdot \ldots \cdot H_{n-2}=0$$. We first assume that $$({\mathscr{F}}|_{X_\mathrm{reg}})^\mathrm{an}$$ is given by an irreducible unitary representation of $$\pi_1(X_\mathrm{reg})$$. Then, for every smooth irreducible curve $$C$$ cut out by general hyperplane sections corresponding to high enough multiples of a polarization $$\hbar$$, the restriction $$({\mathscr{F}}|_C)^\mathrm{an}$$ also comes from an irreducible unitary representation of $$\pi_1(C)$$ via the surjectivity (by the Lefschez theorem) of the push-forward of the fundamental group induced by the inclusion $$C\hookrightarrow X_\mathrm{reg}$$. Now, according to the classical result of Narasimhan and Seshadri, the bundle $$({\mathscr{F}}|_C)^\mathrm{an}$$ is stable with degree zero. Therefore $${\mathscr{F}}$$ is stable of degree zero with respect to any polarization $$\hbar$$ (and hence is generically semi-positive). This gives one direction of the theorem. To prove the reverse direction, let $$S$$ be the klt surface defined in Setup 3.2. As $${\mathscr{F}}|_SS$$ is a reflexive stable sheaf (Property 3.2.2). Hence by (3.1.6), we find that $$({\mathscr{F}}|_S)^\mathrm{an}|_{S_\mathrm{reg}}$$ is defined by an irreducible unitary representation $$\rho_{S}:\pi_1(S_\mathrm{reg})\to GL(r,\mathbb{C})$$. On the other hand, the isomorphism $$\pi_1(S_\mathrm{reg})\cong \pi_1(X_\mathrm{reg})$$ (Property 3.2.3) gives rise to an irreducible unitary representation $$\rho:\pi_1(X_\mathrm{reg})\to GL(r,\mathbb{C})$$. That is, there exists a locally-free, flat, analytic sheaf $${\mathscr{G}}^\circ$$ on $$X_\mathrm{reg}$$ (coming from an irreducible unitary representation) whose restriction to $$S$$ is isomorphic to $${\mathscr{F}}_S^\mathrm{an}$$:   G∘|Sreg≅F|Sreg. (3.2.1) Now let $${\mathscr{G}}\in \mathcal V_X$$ be the extension of $${\mathscr{G}}^\circ$$ in the sense of Setup 3.2. As $${\mathscr{G}}$$ and $${\mathscr{F}}$$ are both reflexive, the isomorphism 3.2.1 implies that $${\mathscr{G}}|_S \cong {\mathscr{F}}|_S$$. Theorem 1.1 now follows from Property 3.2.4. ■ The next corollary is now an immediate consequence of Theorem 1.1 and the result on extending flat sheaves across the singular locus of a klt variety after going to a suitable cover (where the contributions of the singularities to the algebraic fundamental group of the smooth locus disappear), cf. [10, Thm. 1.14]. Corollary 3.3. (Desingularization of (Poly)Stable Reflexive Sheaves with Vanishing $$\mathbb{Q}$$-Chern Classes Up to a Finite Quasi-étale Cover). Let $$X$$ be a klt projective variety. There exists a finite Galois morphism $$f:Y\to X$$ étale over $$X_\mathrm{reg}$$ with Galois group $$G$$ such that $$f^{[*]}{\mathscr{F}}$$ is a locally-free sheaf given by a $$G$$-equivariantly irreducible unitary representation of $$\pi_1(Y)$$ (respectively, a direct sum of such sheaves) for every reflexive sheaf $${\mathscr{F}}$$ on $$X$$ verifying the conditions (1.1.1) and (1.1.2) in Theorem 1.1. This holds in particular for rank-one reflexive sheaves associated to $$\mathbb Q$$-Cartier divisors that are numerically equivalent to zero. □ 3.3 A proof of Theorem 1.2 via polystability Let $$g:Z \to X$$ be the global index-$$1$$ cover provided in the last part of Corollary 3.3 (see also the proof of Proposition 2.9). Then $$K_Z=g^{[*]}K_X$$ is a numerically trivial Cartier divisor and $$Z$$ has only canonical singularities. According to the main result of [9], there exists a quasi-étale cover $$h:\widehat Z\to Z$$ where $${\mathscr{T}}_{\widehat Z}$$ is polystable with respect to the polarization $$h'^*(\hbar):=(h'^*(H_1),\ldots, h'^*(H_{n-1}))$$ with $$h':=h\circ g$$. Since both $$g$$ and $$h$$ are unramified in codimension-$$1$$, we have the sheaf isomorphism $$\det {\mathscr{T}}_{\widehat Z}\cong \det(h'^{[*]}{\mathscr{T}}_X)$$ by the ramification formula. As a result, the natural inclusion of reflexive sheaves $${\mathscr{T}}_{\widehat Z}\to h'^{[*]}{\mathscr{T}}_X$$ is an isomorphism. On the other hand, as the $$\mathbb{Q}$$-Chern classes behave well under quasi-étale morphisms (see Lemma 2.7), the assumption $$\widehat {c}_2({\mathscr{T}}_X)\cdot H_1\cdot \ldots\cdot H_{n-2}=0$$ implies that   c^2(TZ^)⋅h′∗(H1)⋅…⋅h′∗(Hn−2)=0. Therefore by Corollary 3.3, we have a morphism $$f:Y\to \widehat Z$$ that is étale in codimension-$$1$$ such that $${\mathscr{T}}_Y=f^{[*]}{\mathscr{T}}_{\widehat Z}$$ is locally-free (and flat). According to the resolution of Zariski-Lipman conjecture for klt spaces [8, Thm. 6.1], this implies that $$Y$$ is smooth. In particular $$X$$ has only quotient singularities. But again, as $$f$$ is étale in codimension-$$1$$, we have $$K_Y\equiv 0$$ and $${c}_2({\mathscr{T}}_Y)\cdot f^*(h'^*(H_1))\cdot \ldots \cdot f^*(h'^*(H_{n-2}))=0$$. The “if” direction of Theorem 1.2 now follows from the classical uniformization result due to the fundamental work of Yau in [35] on the existence of a Ricci-flat metric in this case. See for example [18, §IV.Cor. 4.15] or argue directly that the Ricci flat metric is actually flat using the Riemann bilinear relations (3.1.5) so that $$\pi_1(Y)$$ must act by isometry on the flat universal cover $$\mathbb{C}^n$$ and must hence be an extension of a lattice in $$\mathbb{C}^n$$ by a finite group. To prove the “only if” direction of Theorem 1.2, notice that if $$X$$ is a finite quotient of an Abelian variety by a finite group acting freely in codimension-$$1$$, then it follows from the definition that $$\widehat {c}_1({\mathscr{T}}_X)=\widehat {c}_2({\mathscr{T}}_X)=0$$. We observe easily that $$X$$ is normal in this case and thus according to [19, Prop. 5.20] that $$X$$ has at most klt singularities. ■ 4 Semistable $$\mathbb Q$$-sheaves and their correspondence with flat sheaves We give a proof of Theorem 1.4 following the classical approach via the Jordan-Hölder filtration of a semistable sheaf, which also explicit a natural and necessary part of Simpson’s proof of his celebrated correspondence. Theorem 1.2 is then a corollary of the local freeness result (up to a finite cover) of Theorem 1.4 and the generic semipositivity theorem of the cotangent sheaf due to Miyaoka [25, 26]. We remark that our orbifold generalizations in Theorem 1.4 of this important result of Simpson seem not to be previously known even in dimension $$2$$, when $$X$$ is an orbifold (for which the orbifold fundamental group is given by $$\pi_1(X_\mathrm{reg})$$). 4.1 Preparation for the Proof of Theorem 1.4 If $${\mathscr{E}}$$ is $$\hbar$$-stable, then the result follows from Theorem 1.1 and Corollary 3.3. In the semistable case, we need to construct a Jordan-Hölder filtration for $$\mathbb{Q}$$-sheaves over $$\mathbb{Q}$$-surfaces. Proposition 4.1 ($$\mathbb{Q}$$-Jordan Hölder filtration). Let $$S$$ be a normal projective surface with only quotient singularities and $$A\subset S$$ an ample divisor. Let $${\mathscr{G}}$$ be a $$A$$-semistable, reflexive sheaf on $$S$$. Then there exists a (non-canonical) increasing filtration   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G, (4.1.1) where every $${\mathscr{Q}}_i:= {\mathscr{G}}_i / {\mathscr{G}}_{i-1}$$ is a torsion-free $$\mathbb{Q}$$-sheaf, $$A$$-stable, verifying the equality $$\mu_A({\mathscr{Q}}_i)=\mu_A({\mathscr{G}})$$. □ Proof Let $$p: \widehat S\to S$$ be the global, Galois, finite morphism in Subsection 2.3, constructed from the natural $$\mathbb{Q}$$-structure associated to $$S$$, with $$L:=\mathrm{Gal}(\widehat S/S)$$. Denote $$\widehat {\mathscr{G}}:=p^{[*]}({\mathscr{G}})$$. Notice that the locally-free, $$L$$-sheaf $$\widehat {\mathscr{G}}$$ is, with respect to $$\widehat A:=p^*(A)$$, semistable (see [15, Lem 3.2.2]) but not $$L$$-stable, as the reflexive pull-back of the saturated, destablizing subsheaf of $${\mathscr{G}}$$ destablizes $$\widehat {\mathscr{G}}$$ as a $$L$$-subsheaf. Claim 4.1.2. (First term of $$\mathbb{Q}$$-$$\rm{JH}_{\bullet}$$). In the above setting, there exists a $$L$$-stable, saturated, $$L$$-subsheaf $$\widehat {\mathscr{G}}_1$$ of $$\widehat {\mathscr{G}}$$ with $$\mu_{\widehat A}(\widehat {\mathscr{G}}_1)= \mu_{\widehat A}(\widehat {\mathscr{G}})$$. □ Proof of Claim 4.1.2. Aiming for a contradiction, assume that there is no saturated, destabilizing $$L$$-subsheaf of $$\widehat {\mathscr{G}}$$ that is $$L$$-stable. Let $$\widehat {\mathscr{F}}$$ be a saturated, destabilizing $$L$$-subsheaf. Notice that $$\widehat {\mathscr{F}}$$ is, away from some finite number of isolated points, pull-back of a locally-free sheaf on $$S$$ (see [12, Prop. 2.16]). More precisely the sheaf $${\mathscr{F}}:=p_*(\widehat {\mathscr{F}})^L$$ on $$S$$, formed by taking the $$L$$-invariant sections of $$\widehat {\mathscr{F}}$$ , is reflexive and we have $$\widehat {\mathscr{F}}:=p^{[*]}({\mathscr{F}})$$. It follows that $${\mathscr{F}}$$ is semistable subsheaf of $${\mathscr{G}}$$ with $$\mu_A({\mathscr{F}})= \mu_A({\mathscr{G}})$$. By repeating this argument, we can thus construct a decreasing sequence of chain of sheaves with strictly smaller ranks and with equal slope which has to stablize (as a chain), contradicting the assumption that $$\widehat {\mathscr{G}}$$ does not have a saturated, $$L$$-stable, destabilizing, $$L$$-subsheaf. This proves Claim 4.1.2. By using Claim 4.1.2 repeatedly, we now obtain an increasing filtration of $$\widehat {\mathscr{G}}$$  0=G^0⊂G^1⊂G^2⊂…⊂G^t−1⊂G^t=G^, (4.1.3) where $$\widehat {\mathscr{Q}}_i:= \widehat {\mathscr{G}}_i / \widehat {\mathscr{G}}_{i-1}$$ is a torsion-free, $$L$$-stable, $$L$$-sheaf with $$\mu_{\widehat A}(\widehat {\mathscr{Q}}_i)=\mu_{\widehat A}({\mathscr{G}})$$. Noticing that $$p_*(\cdot)^L$$ is an exact functor, the required filtration 4.1.1 can be constructed by taking the $$L$$-invariant sections of the filtration 4.1.3. ■ The next two lemma will allow us to detect when a filtration by torsion-free sheaves defines an extension by locally-free sheaves. These are technical tools that we shall need in the course of the proof of Theorem 1.4. Lemma 4.2. (Reflexivity of quotients). Let $$T$$ be a normal projective surface with only quotient singularities, $$H$$ an ample divisor and $${\mathscr{G}}$$ a reflexive, $${\mathscr{O}}_T$$-module sheaf on $$T$$. Assume $$\widehat {ch}_1({\mathscr{G}})\cdot H=0$$ and $$\widehat {ch}_2({\mathscr{G}})=0$$. Let   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G (4.2.1) be an extension of $${\mathscr{G}}$$ by $$H$$-semistable, torsion-free, $$\mathbb{Q}$$-sheaves $${\mathscr{Q}}_i:={\mathscr{G}}_i/{\mathscr{G}}_{i-1}$$ with $$\mu_H({\mathscr{Q}}_i)=0$$. Then $${\mathscr{Q}}_i$$ is reflexive and that $$\widehat {ch}_2({\mathscr{Q}}_i)=0$$, for all $$i$$. □ Proof The torsion-freeness of $${\mathscr{Q}}_i$$ implies that it differs from $$\overline{{\mathscr{Q}}_i}:=({\mathscr{Q}}_i)^{**}$$ at most on a codimension two subset of $$T$$ so that $$\overline{{\mathscr{Q}}_i}$$ inherits the stability conditions of $${\mathscr{Q}}_i$$. By [22, Lem. 10.9], we have $$\widehat {c}_2(\overline{{\mathscr{Q}}_i})\leq \widehat {c}_2({\mathscr{Q}}_i)$$ with equality if and only if $$\overline{{\mathscr{Q}}_i}= {\mathscr{Q}}_i$$. As $$\widehat {c}_1(\overline{{\mathscr{Q}}_i})=\widehat {c}_1({\mathscr{Q}}_i)$$, this is the same as $$\widehat {ch}_2({\mathscr{Q}}_i)\leq \widehat {ch}_2(\overline{{\mathscr{Q}}_i})$$. Since $$\widehat {c}_1(\overline{{\mathscr{Q}}_i})\cdot H=0$$, the Hodge-index theorem implies that   c^12(Qi¯)≤0. (4.2.2) But as $$\overline{{\mathscr{Q}}_i}$$ is $$H$$-semistable, we have, thanks to the Bogomolov inequality (2.3.2), that   −2⋅ch^2(Qi¯)=2⋅c^2(Qi¯)−c^12(Qi¯)≥−1ri⋅c^12(Qi¯)       (ri=rank(Qi¯))≥0,  by the inequality (4.2.2). That is, $$\widehat {ch}_2(\overline{{\mathscr{Q}}_i})\leq 0$$ for all $$i$$. Together, by the additivity of the second $$\mathbb{Q}$$-Chern character for direct sums, we have   0=ch^2(G)=∑ich^2(Qi)≤∑ich^2(Qi¯)≤0, (4.2.3) and thus $$\widehat {ch}_2(\overline{{\mathscr{Q}}_i})=\widehat {ch}_2({\mathscr{Q}}_i)=0$$. It follows that $$\overline{{\mathscr{Q}}_i}={\mathscr{Q}}^i$$, that is $${\mathscr{Q}}_i$$ is reflexive, for all $$i$$. ■ Lemma 4.3. (Locally-freeness of semistable $$\mathbb{Q}$$-sheaves). Let $$T$$ be a projective surface with only quotient singularities and $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$. Let $$H$$ be an ample divisor. Any $$H$$-semistable reflexive sheaf $${\mathscr{G}}$$ with $$\widehat {ch}_1({\mathscr{E}})\cdot H=0$$ and $$\widehat {ch}_2({\mathscr{G}})=0$$ is locally-free. □ Proof If $${\mathscr{G}}$$ is $$H$$-stable, then the $${\mathscr{G}}|_{T_\mathrm{reg}}$$ is flat by the assertion 3.1.6 and therefore is locally-free thanks to the assumption $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$, cf. [10, Thm. 1.14]. For the case where $${\mathscr{E}}$$ is strictly semistable, we consider a $$\mathbb{Q}$$-Jordan-Hölder filtration of $${\mathscr{E}}$$:   0=G0⊂G1⊂G2⊂…⊂Gt−1⊂Gt=G. (4.3.1) Denote the torsion-free quotients $${\mathscr{G}}_i/{\mathscr{G}}_{i-1}$$ by $${\mathscr{Q}}_i$$. As each $${\mathscr{Q}}_i$$ is stable with respect to $$H$$ and verifies the equality $$\widehat {ch}_1({\mathscr{Q}}_i)\cdot H=0$$, Lemma 4.2 applies and we find that $${\mathscr{Q}}_i$$ is reflexive and $$\widehat {ch}_2({\mathscr{Q}}_i)=0$$, for all $$i$$, that is each $${\mathscr{Q}}_i$$ is an $$H$$-stable, reflexive sheaf with vanishing Chern classes. According to the assertion 3.1.6, it follows that each $${\mathscr{Q}}_i|_{T_\mathrm{reg}}$$ is flat. The assumption $$\widehat \pi_1(T_\mathrm{reg})\cong \widehat \pi_1(T)$$ now implies that every $${\mathscr{Q}}_i$$ is locally-free and therefore so is $${\mathscr{G}}$$. ■ 4.2 Proof of Theorem 1.4 We first consider the case when $$X=S$$ is a surface. Let $$f:T \to S$$ be the Galois, étale in codimension-$$1$$ cover given in Theorem [10, Thm. 1.4], with Galois group $$G$$, over which locally-free flat sheaves on $$\widehat T_\mathrm{reg}$$ extend ([10, Thm. 1.14]). Denote the reflexive $$G$$-sheaf $$f^{[*]}{\mathscr{E}}$$ by $$\widehat {\mathscr{E}}$$, and notice that $$\widehat {\mathscr{E}}$$ is semistable, cf. [15, Lem. 3.2.2]. Let   0=E^0⊂E^1⊂E^2⊂…⊂E^t−1⊂E^t=E^ (4.3.2) be the $$G$$-equivariant, $$\mathbb{Q}$$-Jordan-Hölder filtration of $$\widehat {\mathscr{E}}$$ constructed in Proposition 4.1, that is each quotient $$\widehat {\mathscr{Q}}_i:=\widehat {\mathscr{E}}_i / \widehat {\mathscr{E}}_{i-1}$$ is a torsion-free, $$G$$-stable, $$\mathbb{Q}$$-sheaf with the same slope, equal to $$\mu(\widehat {\mathscr{E}})$$. According to Lemma 4.2, we find that each $$\widehat {\mathscr{Q}}_i$$ is reflexive and therefore, by Lemma 4.3, is locally-free. This in turn implies that $$\widehat {\mathscr{E}}$$, as an extension locally-free sheaves, is also locally-free, as an analytic sheaf. Let $$\pi: \widetilde T \to T$$ be a $$G$$-equivariant resolution. The local freeness of the terms in the filtration of $$\widehat {\mathscr{E}}$$ as well as in its grading and the $$G$$-equivariance implies that the filtration lifts to a locally free filtration of $$\pi^*(\widehat {\mathscr{E}})$$ with terms $$\pi^*(\widehat {\mathscr{E}}_i)$$. By Proposition 3.1, the locally free sheaves $$\pi^*(\widehat {\mathscr{Q}}_i)$$ are all $$G$$-stable with respect to a fixed $$G$$-invariant polarization. As before, every $$G$$-stable grading $$\pi^*(\widehat {\mathscr{Q}}_i)$$ of the filtration of $$\pi^*(\widehat {\mathscr{E}})$$ induced by that of $$\widehat {\mathscr{E}}$$ admits a $$G$$-invariant unitarily flat connection. Hence, $$\pi^*(\widehat {\mathscr{E}})$$ is an iterated extension by unitarily flat and locally free sheaves which is therefore, by Simpson’s correspondence [32, Cor. 3.10] (and the remarks immediately after that corollary), endowed with a unique holomorphic flat connection. Since the filtration is $$G$$-equivariant, the uniqueness of this flat connection implies that it is $$G$$-invariant. This yields a $$G$$-invariant flat connection on $${\widehat {\mathscr{E}}}|_{T_\mathrm{reg}}$$ (see the arguments right before the assertion 3.1.6). As a result the restriction $${{\mathscr{E}}}|_{S_\mathrm{reg}}$$ comes from a representation of $$\pi_1(S_\mathrm{reg})$$. This proves Theorem 1.4 when $$\dim(X)=2$$. For higher dimensional $$X$$, exactly the same argument as that of Section 3 gives the semistable analog of Theorem 1.1 and Corollary 3.3. More precisely, given a reflexive sheaf, semistable with respect to $$(H_1, \ldots, H_{n-1})$$ and with zero Chern characters, let $$S$$ be the complete intersection surface defined in Setup 3.2. According to Property 3.2.2, the restriction $${\mathscr{E}}|_S$$ is reflexive and semistable. As $$S$$ is klt (Property 3.2.1), the above arguments for the case $$\dim(X)=2$$ imply that $${\mathscr{E}}|_{S_\mathrm{reg}}$$ is flat. Property 3.2.3 now implies that there exists a reflexive sheaf $${\mathscr{G}}\in \mathcal V_X$$, where $$\mathcal V_X$$ is the family defined in Setup 3.2, such that $${\mathscr{G}}|_S \cong {\mathscr{E}}|_S$$. According to Property 3.2.4, it thus follows that $${\mathscr{G}}\cong {\mathscr{E}}$$, i.e. $${\mathscr{E}}|_{X_\mathrm{reg}}$$ is flat. Theorem 1.4 now follows from [10, Thm. 1.14]. 4.3 A proof of Theorem 1.2 via semistability According to Proposition 2.9, the tangent sheaf $${\mathscr{T}}_X$$ is generically semi-positive, that is, as $$K_X\equiv 0$$, $${\mathscr{T}}_X$$ is semistable independent of the choice of polarization. Therefore, Theorem 1.4 says that there exits a finite quasi-étale cover $$f:Y \to X$$ such that $$f^{[*]}{\mathscr{T}}_X$$ is locally-free. But since $$f$$ is unramified in codimension-$$1$$, we have the sheaf isomorphism $$\det {\mathscr{T}}_Y\cong \det(f^{[*]}{\mathscr{T}}_X)$$ by the ramification formula. As a result, the natural inclusion of reflexive sheaves $${\mathscr{T}}_Y\to f^{[*]}{\mathscr{T}}_X$$ is an isomorphism and $${\mathscr{T}}_Y$$ is locally-free. The rest of the proof is identical to that of the polystable case in Section 3.3. ■ We now briefly explain the equivalence of the two sets of conditions (1.2.1), (1.2.2) and (1.3.1), (1.3.2). Explanation 4.4. Assume that $$X$$ is a klt projective variety verifying condition (1.2.1), i.e. $$K_X\equiv 0$$. Then by Lemma. 2.9, we know that there exists a finite quasi-étale morphism $$f:Y\to X$$ such that $${\mathscr{T}}_Y$$ is generically semipositive. But $$f$$ being étale in codimension-$$1$$ implies that $${\mathscr{T}}_Y=f^{[*]}{\mathscr{T}}_X$$ and thus $${\mathscr{T}}_X$$ is also generically semipositive by Lemma 2.8, establishing condition (1.3.1). As $$\widehat {c}_1({\mathscr{T}}_X)$$ agrees with $${c}_1({\mathscr{T}}_X)={c}_1(K_X)$$ in codimension-$$1$$ by construction, we have $$\widehat {c}_1({\mathscr{T}}_X)|_S\equiv 0$$ for a general surface $$S$$ cut out by $$n-2$$ very ample divisors and thus $$\widehat {c}_1^2({\mathscr{T}}_X)\cdot S= 0$$. Hence (1.3.2) follows from (1.2.2). Conversely, assume that the conditions (1.3.1) and (1.3.2) hold. Then, by Theorem 1.4 we know that there exists a finite quasi-étale morphism $$f:Y\to X$$ such that $${\mathscr{T}}_Y=f^*({\mathscr{T}}_X)$$ is flat and locally free so that it has vanishing (orbifold) Chern classes and, in particular, $$K_Y$$ is numerically trivial. The ramification formula $$K_Y=f^*(K_X)$$ (together with the projection formula) implies that $$K_X\equiv 0$$ and condition (1.2.2) follows by Lemma 2.7. □ Funding S. L. was supported by NSERC and TIMS during the write-up of this paper. B.T. was partially supported by the DFG-Graduiertenkolleg GK1821; “Cohomological Methods in Geometry” at Freiburg. Acknowledgment The authors owe a debt of gratitude to Stefan Kebekus for fruitful conversations leading to a strengthening of results in the first draft of this paper and for his kind invitation of and hospitality during the first author’s short visit to Freiburg where these took place. We also thank Chenyang Xu for an answer to a pertinent question related to the paper. A special thanks is owed to the anonymous referee for pointing out some mistakes in an earlier draft of this paper and for the helpful suggestions with regards to the presentation. References [1] Bierstone E. and Milman. P. “Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant.” Inventiones mathematicae  128, no. 2 ( 1997): 207– 302. Google Scholar CrossRef Search ADS   [2] Birkar C. Cascini P. Hacon C. D. and McKernan. J. “Existence of minimal models for varieties of log general type.” Journal of the American Mathematical Society  23 ( 2010): 405– 68. Google Scholar CrossRef Search ADS   [3] Bogomolov F. “Holomorphic tensors and vector bundles on projective varieties.” Mathematics of the USSR-Izvestiya  13 ( 1979): 499– 555. Google Scholar CrossRef Search ADS   [4] Dieudonné J. and Alexandre. G. Éléments de géométrie algébrique IV, Étude locale des schémas et des morphismes de schémas (Seconde Partie)} , Institut des Hautes Études Scientifiques publications mathématiques, no. 24, 1965. [5] Donaldson S. K. “Infinite determinant, stable bundles and curvature.” Duke Mathematical Journal  54 ( 1987): 231– 47. Google Scholar CrossRef Search ADS   [6] Flenner H. “Restrictions of semistable bundles on projective varieties.” Commentarii Mathematici Helvetici  59, no. 4 ( 1984): 635– 50. Google Scholar CrossRef Search ADS   [7] Garcia-Prada O. “Invariant connections and vortices.” Communications in Mathematical Physics  156, no. 3 ( 1993): 527– 46. Google Scholar CrossRef Search ADS   [8] Greb D. Kebekus S. Kovács S. and Peternell. T. “Differential forms on log canonical spaces.” Publications mathématiques de l’IHÉS  114, no. 1 ( 2011): 87– 169. Google Scholar CrossRef Search ADS   [9] Greb D. Kebekus S. and Peternell. T. “Singulr spaces with trivial canonical class.” To appear in Minimal models and extremal rays–proceedings of the conference in honour of Shigefumi Mori’s 60th birthday, Advanced Studies in Pure Mathematics, Tokyo: Kinokuniya Publishing House. [10] Greb D. Kebekus S. and Peternell. T. “Étale fundamental group of Kawamata log terminal spaces, flat sheaves, and quotients of Abelain varieties.” Duke Mathematical Journal  165, no. 10 ( 2016): 1965– 2004. Google Scholar CrossRef Search ADS   [11] Greb D. Kebekus S. Kovács S. and Peternell. T. “Movable Curves and Semistable Sheaves.” International Mathematics Research Notices  2016, no. 2 ( 2016): 536– 70. [12] Greb D. Kebekus S. Peternell T. and Taji. B. “The Miyaoka-Yau inequality and uniformisation of canonical models.” 2015. http://arxiv.org/abs/1511.08822. [13] Hamn H. A and Dùng. Tráng Lê “Lefschetz Theorems on quasi-projective varieties.” Bulletin de la Société Mathématique de France  113 ( 1985): 123– 42. [14] Hartshorne R. “Stable reflexive sheaves.” Mathematische Annalen  254, no. 2 ( 1980): 121– 76. Google Scholar CrossRef Search ADS   [15] Huybrechts D. and Lehn. M. The geometry of moduli spaces of sheaves , 2nd ed. Cambridge University: Cambridge Mathematical Library, 2010. Google Scholar CrossRef Search ADS   [16] Kawamata Y. “Abundance theorem for minimal threefolds.” Inventiones mathematicae  108, no. 2 ( 1992): 229– 46. Google Scholar CrossRef Search ADS   [17] Kleiman S. L. “Toward a numerical theory of ampleness.” Annals of Mathematics (2)  84 ( 1966): 293– 344. Google Scholar CrossRef Search ADS   [18] Kobayashi S. Differential geometry of complex vector bundles.  Publications of the Mathematical Society of Japan, vol. 15, Princeton, NJ: Iwanami Shoten and Princeton University Press, 1987, Kanô Memorial Lectures, 5. [19] Kollár J. and Mori S. Birational geometry of algebraic varieties.  Cambridge Tracts in Mathematics, vol. 134, Cambridge: Cambridge University Press, 1998, With the collaborations of C. H. Clemens and Corti. A. Translated from the 1998 Japanese original. [20] Langer A. “Semistable sheaves in positive characteristic.” Annals of Mathematics (2)  159, no. 1 ( 2004): 251– 76. Google Scholar CrossRef Search ADS   [21] Le Potier J. Lecture on Vector Bundles , Cambridge University Press, Cambridge Studies in Advanced Mathematics (Book 54), 1997. [22] Megyesi G. Chern classes of $$\mathbb{Q}$$-Sheaves. Flips and Abundance for Algebraic $$3$$-folds, Ch. 10, Astérsque, vol. 211, 1993. [23] Mehta V. D., and Ramanathan. A. “Semistable sheaves on projective varieties and their restriction to curves.” Mathematische Annalen  258 ( 1982): 213– 24. Google Scholar CrossRef Search ADS   [24] Mehta V. D., and Ramanathan. A. “Restriction of stable sheaves and representations of the fundamental group.” Inventiones mathematicae  77, no. 1 ( 1984): 163– 72. Google Scholar CrossRef Search ADS   [25] Miyaoka Y. The Chern classes and Kodaira dimension of a minimal variety , Algebraic geometry, Sendai, 1985, Advanced Studies in Pure Mathematics, vol. 10, North-Holland, Amsterdam, 1987, pp. 449– 76. MR89k:14022 [26] Miyaoka Y. Deformations of a morphism along a foliation and applications , Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), Proceedings of Symposia in Pure Mathematics, vol. 46, Providence, RI: Amer. Math. Soc., 1987, pp. 245– 68. MR927960 (89e:14011) [27] Mumford D. Towards an enumerative geometry of the moduli space of curves . Arithmetic and Geometry, papers dedicated ti I.R. Shafarevich, vol. II, Geometry, edited by Artin M. and Tate J. Progr. Math., vol. 36, Boston: Birkhäuser, 1983, 271– 326. [28] Nakayama N. Zariski decomposition and abundance . MSJ Memoirs, 14, Tokyo: Mathematical Society of Japan, 2004. [29] Narasimhan M. S., and Seshadri. C. S. “Stable and unitary vector bundles on compact Riemann surface.” Annals of Mathematics  82 ( 1965): 540– 67. Google Scholar CrossRef Search ADS   [30] Satake I. “On a generalization of the notion of manifold.” Proceeding of the national academy of sciences of the USA  42, no. 6 ( 1956): 359– 63. Google Scholar CrossRef Search ADS   [31] Shepherd-Barron N. I., and Wilson. P. M. H. “Singular threefolds and numerically trivial first and second Chern classes.” Journal of Algebraic Geometry  3, no. 2 ( 1994): 265– 81. [32] Simpson C. T. “Higgs bundles and local systems.” Publications mathématiques de l’IHÉS  75 ( 1992): 5– 95. Google Scholar CrossRef Search ADS   [33] Uhlenbeck K. Yau S.-T On the existence of Hermitian Yang-Mills connections on stable vector bundles.  Communications on Pure and Applied Mathematics, 39 ( 1986), 257– 93; A note on our previous paper: On the existence of Hermitian Yang-Mills connections on stable vector bundles. Communications on Pure and Applied Mathematics 42 (1989): 703–7. [34] Xu C. “Finiteness of algebraic fundamental groups.” Compositio Mathematica  150, no. 3 ( 2014): 409– 14. Google Scholar CrossRef Search ADS   [35] Yau S.-T. “On the Ricci curvature of compact Kähler manifold and the complex Monge-Ampère equation, I.” Communications on Pure and Applied Mathematics  31, no. 3 ( 1978): 339– 411. Google Scholar CrossRef Search ADS   Communicated by Prof. Jun-Muk Hwang © The Author(s) 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.

Journal

International Mathematics Research NoticesOxford University Press

Published: Jan 1, 2018

There are no references for this article.

You’re reading a free preview. Subscribe to read the entire article.


DeepDyve is your
personal research library

It’s your single place to instantly
discover and read the research
that matters to you.

Enjoy affordable access to
over 12 million articles from more than
10,000 peer-reviewed journals.

All for just $49/month

Explore the DeepDyve Library

Unlimited reading

Read as many articles as you need. Full articles with original layout, charts and figures. Read online, from anywhere.

Stay up to date

Keep up with your field with Personalized Recommendations and Follow Journals to get automatic updates.

Organize your research

It’s easy to organize your research with our built-in tools.

Your journals are on DeepDyve

Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more.

All the latest content is available, no embargo periods.

See the journals in your area

Monthly Plan

  • Read unlimited articles
  • Personalized recommendations
  • No expiration
  • Print 20 pages per month
  • 20% off on PDF purchases
  • Organize your research
  • Get updates on your journals and topic searches

$49/month

Start Free Trial

14-day Free Trial

Best Deal — 39% off

Annual Plan

  • All the features of the Professional Plan, but for 39% off!
  • Billed annually
  • No expiration
  • For the normal price of 10 articles elsewhere, you get one full year of unlimited access to articles.

$588

$360/year

billed annually
Start Free Trial

14-day Free Trial