Slope-Stability of Reflexive Twisted Sheaves

• The paper establishes that slope-stability of reflexive twisted sheaves extends classical sheaf stability definitions, enabling refined stratification of moduli spaces.
• Methodologies include pullback under finite covers and canonical quasi-étale covers to detect stability and control destabilizing factors.
• Elementary transformations yield concrete constructions of Lazarsfeld-Mukai sheaves, offering practical tools for producing stable reflexive sheaves.

A reflexive twisted sheaf combines the structure of a reflexive coherent sheaf with an additional “twisting” by a fixed vector bundle and an endomorphism, central for moduli problems in complex and algebraic geometry. Slope-stability of reflexive twisted sheaves underlies the construction and stratification of moduli spaces of Higgs bundles and the study of the Hitchin morphism, with significant consequences for the geometry of moduli, especially under field extensions and morphisms of projective varieties. Techniques regarding slope-stability also generalize to key constructions such as the Lazarsfeld-Mukai sheaves via elementary transforms, ensuring large classes of stable, reflexive, and twisted sheaves.

1. Reflexive Twisted Sheaves and Slope-Stability

Let $X$ be a normal projective variety of dimension $n$, $H$ an ample divisor, and $F$ a fixed vector bundle on $X$. An $F$-twisted sheaf is a pair $(\V,\theta)$ with $\V$ a coherent sheaf on $X$ and $\theta: \V\to\V\otimes F$ an $\O_X$-linear map. Such a pair is reflexive if $\V$ is reflexive as a sheaf. The (Mumford) slope of a torsion-free sheaf $\E$ of rank $r$ is

$\mu_H(\E)=\frac{c_1(\E)\cdot H^{n-1}}{r}.$

A reflexive $F$-twisted sheaf $(\V,\theta)$ is slope-stable (resp. semi-stable) if for every nonzero proper $F$-invariant reflexive subsheaf $0\subsetneq\W\subsetneq\V$,

$\mu_H(\W)<\mu_H(\V)\qquad(\text{resp. }\le).$

This definition extends the usual notion of stability for sheaves to the twisted, reflexive context. Such sheaves naturally arise in the classification of Higgs bundles and play a central role in the structure and geometry of moduli spaces (Patel et al., 13 Jan 2026).

2. Behavior of Slope-Stability Under Covers

The preservation of slope-stability under pullback is subtle. Let $\pi: Y\to X$ be a finite separable morphism of normal projective varieties. Slope-stability of a twisted bundle or reflexive twisted sheaf is preserved under pullback if and only if $\pi$ does not factor through a nontrivial quasi-étale cover—equivalently, if it is genuinely ramified in codimension $1$, i.e., $Y\times_XY$ is connected in codimension $1$ and $\pi_1^\et(Y_{\mathrm{sm}})\to \pi_1^\et(X_{\mathrm{sm}})$ is surjective. Under these conditions,

• $(\V,\theta)$ is slope-stable if and only if $(\pi^*\V, \pi^*\theta)$ is slope-stable,
• a reflexive $F$-twisted sheaf $(\V,\theta)$ is slope-stable if and only if its reflexive pullback $(\pi^{[*]}\V,\pi^{[*]}\theta)$ is slope-stable as an $F_{|Y}$-twisted reflexive sheaf.

Hom-vanishing results show that, for genuinely ramified Galois covers, the homomorphism spaces between semistable twisted sheaves of the same slope are preserved, endomorphisms remain one-dimensional, and thus polystable pullbacks of stable sheaves remain stable (Patel et al., 13 Jan 2026).

3. Detection of Stability via a Canonical Quasi-Étale Cover

Slope-stability of a reflexive $F$-twisted sheaf of rank $r\ge2$ on $X$ with respect to all finite Galois covers is determined by its behavior on a single canonical quasi-étale Galois cover $\pi_r: X_r\to X$ of degree prime to $\chr(k)$. This "good cover" has the property that a reflexive $F$-twisted sheaf is stable on all such covers if and only if it is stable after pullback to $X_r$.

The construction of $X_r$ proceeds by exploiting the fact that the prime-to-$p$ portion of the étale fundamental group of the smooth locus is topologically finitely generated, so only finitely many relevant covers of degree $\le r$ exist. A Galois cover dominating them all provides the desired $X_r$. A Jordan-type theorem (prime to $p$, in the sense of Brauer–Feit) bounds the size of decomposition groups and ensures that destabilizing factorizations occur already over covers of bounded degree. The universal detection property of the good cover underpins the stratification of the moduli of stable twisted sheaves (Patel et al., 13 Jan 2026).

4. Moduli Stratification and the Hitchin Morphism

Given a Hilbert polynomial $P$ of rank $r$, the moduli space $M_X^{P,F\text{-}s}$ of slope-stable $F$-twisted Higgs bundles decomposes into strata indexed by the decomposition type: $$M_X^{P,F\text{-}s} = \bigsqcup_{m\mid r} Z^{P,F\text{-}s}(m)$$ where $Z(m)$ is the locus of bundles whose decomposition type (the common rank $m$ of direct summands of the pullback) divides $r$. The decomposition type is stable under passage to dominating covers factoring through the good cover.

The Hitchin morphism on the smallest closed stratum $Z^{P_0,F}(1)$, corresponding to completely split bundles, sends this locus onto a closed subset of the Hitchin base characterized by the property that its restriction to $X_r$ splits as a product of $r$ linear factors. In the case $X$ is hyperelliptic or abelian, with an étale Galois cover $Y\to X$ and $Y$ abelian, the image of the Dolbeault-Hitchin map is explicitly

$(H^0(Y,\Omega^1_Y)^r\sslash S_r)^G \subset A_Y^{r,\Omega^1_Y}\cong (1)^{\oplus r}$

and for abelian $X$, exactly $H^0(X,\Omega^1_X)^r\sslash S_r$ (Patel et al., 13 Jan 2026).

5. Construction and Stability of Reflexive Twisted Sheaves

A central technique for constructing stable reflexive sheaves is the elementary transformation along divisors. For example, Lazarsfeld-Mukai reflexive sheaves are constructed as follows: if $X$ is smooth of dimension $N\ge2$ and $L$ is an ample, globally generated line bundle, then for a general smooth divisor $D\in|L|$ and general subspace $V \subset H^0(D,A)$ (with $A$ ample, globally generated on $D$), the kernel $E$ of the evaluation map $V\otimes \O_X \to F$ (for $F=i_*(A\otimes I_{Z(V)})$) gives a reflexive sheaf with rank $r=\dim V$, $\det E \cong L^\vee$, and $c_1(E) = -c_1(L)$.

Slope-stability results for such sheaves include:

• For $X$ with cyclic Picard group and $L=H$ ample, $E$ is $\mu_H$-stable.
• For $X = \PP^N$, $d=1$, $E$ is $\mu_{\O(1)}$-stable for all $A$, $r\ge2$; further results describe (semi)stability for other choices of $A$ and $d$.
• For arbitrary $X$, $E$ constructed via sufficiently general data is $\mu_L$-semistable if $2$A=(L|_D)^{\otimes m}$ (Narayanan, 2017).

A key criterion: any reflexive sheaf $F$ with $\det F \cong \O_X(-H)$, admitting a generically surjective map $\O_X^{\oplus r} \twoheadrightarrow F$ and $H^0(X,F)=0$, is $\mu_H$-stable. This applies broadly to elementary transforms along divisors and underpins the flexibility of constructing slope-stable reflexive (and twisted) sheaves (Narayanan, 2017).

6. Descent, Hom-Vanishing, and Further Technical Principles

The descent of $F$-invariant saturated reflexive subsheaves through Galois covers is ensured: if $Y\to X$ is Galois, any such subsheaf of $\pi^{[*]}\V$ descends uniquely to a twisted subsheaf of $\V$, which adapts Langton’s argument to the reflexive context. Hom-vanishing for Galois covers genuinely ramified in codimension one ensures that

$\Hom_{F\text{-}TS}(\V_1,\V_2)\cong\Hom_{F_{|Y}\text{-}TS}(\pi^{[*]}\V_1,\pi^{[*]}\V_2)$

for semistable sheaves of equal slope, maintaining the indecomposability of stable objects. The Jordan bound and connectedness criteria provide the group-theoretic and geometric tools used in proofs (Patel et al., 13 Jan 2026).

7. Applications and Implications

Slope-stability criteria for reflexive twisted sheaves yield stratified structures on the moduli spaces of Higgs bundles, control the behavior of the Hitchin morphism, and validate conjectures such as Chen-Ngô's for hyperelliptic varieties in characteristic zero. The construction of Lazarsfeld-Mukai and related reflexive twisted sheaves via elementary transforms provides concrete classes of stable objects relevant for moduli theory and birational geometry. The methods and results on covers ensure the transfer of stability properties and facilitate reduction to manageable geometric situations, with broad consequences for moduli, birational geometry, and arithmetic applications (Patel et al., 13 Jan 2026, Narayanan, 2017).