Abstract
Let \(f\,:\, X\, \longrightarrow \, Y\) be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is étale on an open subset of Y that contains both the singular locus of Y and the image, in Y, of the singular locus of X. We prove that the following statements are equivalent:
-
(1)
The homomorphism of étale fundamental groups
$$\begin{aligned} f_*\,:\, \pi _1^{\textrm{et}}(X) \,\longrightarrow \,\pi _1^{\textrm{et}}(Y) \end{aligned}$$induced by f is surjective.
-
(2)
There is no nontrivial étale covering \(\phi \,:\, Y'\, \longrightarrow \, Y\) admitting a morphism \(q:\, X\, \longrightarrow \, Y'\) such that \(\phi \circ q \,=\, f\).
-
(3)
The fiber product \(X\times _Y X\) is connected.
-
(4)
\(\dim H^0(X,\, f^*f_* \mathcal {O}_X)\,=\, 1\).
-
(5)
\(\mathcal {O}_Y\, \subset \, f_*\mathcal {O}_X\) is the maximal semistable subsheaf.
-
(6)
The pullback \(f^*E\) of every stable sheaf E on Y is also stable.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let k be an algebraically closed field. Let X and Y be irreducible smooth projective curves and \(f\,:\, X\, \longrightarrow \, Y\) a generically smooth nonconstant map. In [1] it was proved that the following six statements are equivalent:
-
(1)
The homomorphism between étale fundamental groups
$$\begin{aligned} f_*\,:\, \pi _1^\textrm{et}(X)\,\longrightarrow \, \pi _1^\textrm{et}(Y) \end{aligned}$$induced by f is surjective.
-
(2)
The map f does not factor through some nontrivial étale cover of Y (in particular, f is not nontrivial étale).
-
(3)
The fiber product \(X\times _Y X\) is connected.
-
(4)
\(\dim H^0(X,\, f^*f_*\mathcal {O}_X)\,=\,1\).
-
(5)
The maximal semistable subbundle of the direct image \(f_*\mathcal {O}_X\) is \(\mathcal {O}_Y\).
-
(6)
For every stable vector bundle E on Y, the pullback \(f^*E\) is also stable.
Our aim here is to extend this to the context of generically smooth morphisms between singular curves. Examples show that some conditions are needed in order to be able extend the above result to the context of generically smooth morphisms between singular curves; see Sect. 4. To address this, we consider maps that are étale over singular locus (EOSL for short).
Let X and Y be reduced irreducible projective curves over k, and let
be a generically smooth nonconstant morphism. The singular loci of X and Y are denoted by \(S_X\) and \(S_Y\) respectively. The map f is called EOSL if f is étale over a neighborhood of \(S_Y\cup f(S_X)\).
Let \(\widehat{X}\) and \(\widehat{Y}\) be the normalizations of X and Y respectively. A map \(f\,:\, X\, \longrightarrow \, Y\) produces a map \(f'\,:\, \widehat{X}\, \longrightarrow \, \widehat{Y}\).
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map. We prove that the following seven statements are equivalent (see Theorem 3.2 and Theorem 3.4):
-
(1)
f is genuinely ramified.
-
(2)
The map \(f'\,:\, \widehat{X}\, \longrightarrow \, \widehat{Y}\) is genuinely ramified.
-
(3)
The homomorphism of étale fundamental groups
$$\begin{aligned} f_*\,:\, \pi _1^\textrm{et}(X) \,\longrightarrow \,\pi _1^\textrm{et}(Y) \end{aligned}$$induced by f is surjective.
-
(4)
There is no nontrivial étale covering \(\phi \,:\, Y'\, \longrightarrow \, Y\) admitting a morphism \(q:\, X\, \longrightarrow \, Y'\) such that \(\phi \circ q \,=\, f\).
-
(5)
The fiber product \(X\times _Y X\) is connected.
-
(6)
\(\dim H^0(X,\, f^*f_* \mathcal {O}_X)\,=\, 1\).
-
(7)
The pullback \(f^*E\) of every stable sheaf E on Y is also stable.
2 EOSL maps and semistability
The base field k is assumed to be algebraically closed. There is no assumption on its characteristic.
Let X and Y be reduced irreducible projective curves over k, and let
be a generically smooth nonconstant morphism. Let \(B_f\, \subset \, Y\) be the branch locus of f, i.e., the finite subset of Y over which f fails to be étale. So the restriction
is étale. The singular locus of X (respectively, Y) will be denoted by \(S_X\) (respectively, \(S_Y\)). The map f will be called étale over singular locus (EOSL for short) if
Therefore, f is EOSL if f is étale at every point of \(S_X \cup f^{-1}(S_Y)\). Moreover, when f is EOSL, then \(S_X\,=\,f^{-1}(S_Y)\).
Lemma 2.1
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map. Then the following two hold:
-
(1)
The direct image \(f_*\mathcal {O}_X\) is locally free on Y.
-
(2)
For any torsionfree sheaf E on Y, the pullback \(f^*E\) is torsionfree.
Proof
The map f is flat and hence \(f_*\mathcal {O}_X\) is locally free. To see this another way, note that \(f_*\mathcal {O}_X\) is torsionfree and hence it is locally free on \(Y\setminus S_Y\), where \(S_Y\) is the singular locus of Y. Now since f is étale over neighborhoods of points of \(S_Y\) it follows immediately that \(f_*\mathcal {O}_X\) is locally free on a neighborhood of \(S_Y\). Hence \(f_*\mathcal {O}_X\) is locally free on entire Y.
The second statement is evident. \(\square \)
Take an EOSL map \(f\,:\, X\, \longrightarrow \, Y\). From Lemma 2.1 we know that \(f_*\mathcal {O}_X\) is locally free. Let
be the Harder–Narasimhan filtration of \(f_*\mathcal {O}_X\) (see [4]). Note that \(m\,=\,1\) if \(f_*\mathcal {O}_X\) is semistable. The subsheaf \(F_1\, \subset \, f_*\mathcal {O}_X\) in (2.2) is called the maximal semistable subsheaf of \(f_*\mathcal {O}_X\), and \(\frac{\text {degree}(F_1)}{\text {rank}(F_1)}\, \in \, {\mathbb Q}\) is denoted by \(\mu _\textrm{max}(f_*\mathcal {O}_X)\) [4]. In general, \(\frac{\text {degree}(V)}{\text {rank}(V)}\, \in \, {\mathbb Q}\) is denoted by \(\mu (V)\).
Since \(f_*\mathcal {O}_X\) is locally free, the pullback \(f^*f_*\mathcal {O}_X\) is locally free. In view of this, the proof of the following lemma is identical to the proof in the special case where both X and Y are smooth [1].
Lemma 2.2
For the subsheaf \(F_1\) in (2.2),
Proof
This is proved in [1, p. 12825, (2.7)] assuming that X and Y are smooth. Since this lemma turns out to be crucial here, we give the details of its proof.
Since \(f^*\mathcal {O}_Y\,=\, \mathcal {O}_X\), it follows from the adjunction formula (see [2, p. 110]) that
This implies that
On the other hand, a result on general vector bundles on X says the following: Since \(f^*V\) is torsionfree for any torsionfree sheaf V on Y For any vector bundle \(\mathcal {V}\) on X,
(see [1, p. 12824, Lemma 2.2]). Substituting \(\mathcal {O}_X\) in place of \(\mathcal V\) we conclude that
This and (2.3) together completes the proof. \(\square \)
Proposition 2.3
The subsheaf \(F_1\, \subset \, f_*\mathcal {O}_X\) in (2.2) is a subbundle, or in other words, the quotient \((f_*\mathcal {O}_X)/F_1\) is locally free.
Proof
Let \(\beta \,:\, \widehat{Y}\, \longrightarrow \, Y\) be the normalization of Y; so \(\widehat{Y}\) is an irreducible smooth projective curve. Consider the fiber product
The given condition that f is EOSL implies that \(\widehat{X}\) in (2.4) is smooth. Indeed, since f is étale at \(S_X\cup f^{-1}(S_Y)\), we have \(f(S_X)\,=\,S_Y\). By base change \(f'\) is étale over \(\beta ^{-1}(S_Y)\). Hence all points in \((\beta ')^{-1}(S_X)\,=\,(f')^{-1}(\beta ^{-1}(S_Y))\) are smooth points of \({\widehat{X}}\).
Since \(f_*\mathcal {O}_X\) is locally free, the pullback \(\beta ^*f_*\mathcal {O}_X\) is also locally free. We have
where \(f'\) is the map in (2.4). Let \(\widehat{F}\, \subset \, f'_* \mathcal {O}_{\widehat{X}}\) be the maximal semistable subsheaf (so it is the first nonzero term of the Harder–Narasimhan filtration of \(f'_* \mathcal {O}_{\widehat{X}}\)). We know that \(\textrm{degree}(\widehat{F})\,=\, 0\) [1, p. 12825, (2.7)]. Therefore, from Lemma 2.2 it follows that for the isomorphism in (2.5),
Note that the algebra structure of the sheaf \(\mathcal {O}_{\widehat{X}}\) makes \(f'_* \mathcal {O}_{\widehat{X}}\), where \(f'\) is as in (2.4), a sheaf of algebras over \({\widehat{Y}}\), and the corresponding spectrum is the (ramified) covering \(f'\). The subsheaf \(\widehat{F}\, \subset \, f'_* \mathcal {O}_{\widehat{X}}\) in (2.6) turns out to be a sheaf of subalgebras (see [1, p. 12826, Lemma 2.4]). Let
be the (possibly ramified) covering map given by the spectrum of the sheaf of algebras \(\widehat{F}\). Therefore, we have
The fact that \(\widehat{F}\) is a sheaf of subalgebras of \(f'_* \mathcal {O}_{\widehat{X}}\) implies that we have a morphism
such that \(\phi '\circ q\,=\, f'\) (see [1, p. 12828, (2.11)] and the line following it). Note that this implies that \(\phi '_*\mathcal {O}_{{\widehat{Y}'}}\, \subset \, f'_* \mathcal {O}_{\widehat{X}}\), and (2.7) implies that the two subsheaves \(\phi '_*\mathcal {O}_{{\widehat{Y}'}}\) and \(\widehat{F}\) of \(f'_* \mathcal {O}_{\widehat{X}}\) coincide. Since \(\text {degree}(\widehat{F})\,=\, 0\), using [1, p. 12825, Lemma 2.3] it follows that \(\phi '\) is actually étale (see the lines following [1, p. 12829, (2.12)]).
The above étale covering \(\phi '\) of \(\widehat{Y}\) produces an étale covering
To see this, first note that the restriction of \(\phi '\) to the complement \(\widehat{Y}'\setminus (\beta \circ \phi ')^{-1}(S_Y)\) produces an étale covering
because the restriction
is an isomorphism. The map q in (2.8) produces a map
(see (2.10)). Indeed, \(q_0\) is simply the restriction of q to \(\widehat{X}\setminus (\beta \circ f')^{-1}(S_Y)\) (note that \(X{\setminus } f^{-1}(S_Y)\,=\,\widehat{X}{\setminus } (\beta \circ f')^{-1}(S_Y)\)). Since \(\phi '\circ q\,=\, f'\), it follows that
where \(\phi _0\) is the map in (2.10). Now from (2.1) and (2.11) it follows that \(\phi _0\) extends to an étale covering \(\phi \) as in (2.9).
The identification of \(\widehat{Y}'{\setminus } (\beta \circ \phi ')^{-1}(S_Y)\) with \(Y'_0\) extends to a map
because \(\widehat{Y}'\) is smooth. Since the diagram
is Cartesian, we conclude that
We have \(\text {degree}(\phi _*\mathcal {O}_{Y'})\,=\, 0\) because \(\phi \) is étale (see [1, p. 13825, Lemma 2.3]). Hence from Lemma 2.2 it follows that
Consequently, (2.12) implies that \(\phi '_*\mathcal {O}_{\widehat{Y}'}\,\subset \, \beta ^*F_1 \). This and (2.7) together give that \(\widehat{F}\,\subset \, \beta ^*F_1\). From this and (2.6) we conclude that
as subsheaves of \(\beta ^*f_*\mathcal {O}_X\,=\, f'_* \mathcal {O}_{\widehat{X}}\) (see (2.5)). On the other hand, from (2.7) and (2.12) we have \(\widehat{F}\,=\, \beta ^* (\phi _*\mathcal {O}_{Y'})\). Combining this with (2.13) it is deduced that \(F_1\,=\, \phi _*\mathcal {O}_{Y'}\). Now observe that \(\phi _*\mathcal {O}_{Y'}\) is subbundle of \(f_*\mathcal {O}_X\) because \(\phi \) is étale and f is étale over a neighborhood of \(S_Y\cup f(S_X)\). This completes the proof. \(\square \)
Corollary 2.4
The notation of the proof of Proposition 2.3 is used.
-
(1)
\(\textrm{rank}(F_1)\,=\, \textrm{rank}(\widehat{F})\).
-
(2)
\(F_1\,=\, \mathcal {O}_Y\) if and only if \(\widehat{F}\,=\, \mathcal {O}_{\widehat{Y}}\).
Proof
The first statement follows immediately from (2.13).
Since \(\mathcal {O}_Y\, \subset \, f_*\mathcal {O}_X\) and \(\mathcal {O}_{\widehat{Y}}\, \subset \, f'_*\mathcal {O}_{\widehat{X}}\), from Lemma 2.2 it follows that \(\mathcal {O}_Y\, \subset \, F_1\) and \(\mathcal {O}_{\widehat{Y}}\, \subset \, \widehat{F}\). Therefore, \(F_1\,=\, \mathcal {O}_Y\) (respectively, \(\widehat{F}\,=\, \mathcal {O}_{\widehat{Y}}\)) if and only if \(\textrm{rank}(F_1)\,=\, 1\) (respectively, \(\textrm{rank}(\widehat{F})\,=\, 1\)). Now the second statement follows from the first statement. \(\square \)
Proposition 2.5
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map. For any semistable vector bundle E on Y the pullback \(f^*E\) is also semistable.
Proof
As before, \(B_f\, \subset \, Y\) is the finite subset over which f fails to be étale. Let \(Y^o\,=\,Y\setminus B_f\). Consider the étale cover
obtained by restricting f to the complement \(X^o:=X{\setminus } f^{-1}(B_f)\). Let
be the Galois closure of \(f'\) with the Galois group \(\textrm{Gal}(f'')\) being denoted by G. Since the map f is EOSL, it can be shown that the above map \(f''\) extends to a ramified G–Galois cover
where Z is a projective curve containing \(Z^o\). To prove this, let \(y_1,\,\cdots ,\, y_r\) be the singular points of Y. Let \(\widehat{Y}_i\) be the formal neighborhood of \(y_i\) in Y and \(\widehat{Y}_i^o\,=\,Y^o\times _Y Y_i\) for \(1\,\le \, i\,\le \,r\). Note that for each \(i\,\in \, \{1,\, \cdots ,\, r\}\), the map f is étale over \(y_i\) and \(f''\) is the Galois closure of \(f'\) which is the restriction of f. Hence the pullback of \(f''\) along \(\widehat{Y}_i^o \,\longrightarrow \, Y^o\) gives an isomorphism of G–Galois covers
with the G–Galois cover \(\mathop {\textrm{Ind}}\limits ^G_{\{e\}} \widehat{Y}_i^o \,\longrightarrow \, \widehat{Y}_i^o\) induced from the trivial cover defined by the identity map on \(\widehat{Y}_i^o\). These isomorphisms allow us to patch G-Galois covers
and \(Z^o \,\longrightarrow \, Y^o\) along \(\bigcup _{i=1}^r\mathop {\textrm{Ind}}\limits ^G_{\{e\}} \widehat{Y}_i^o \,\longrightarrow \, \bigcup _{i=1}^r \widehat{Y}_i^o\) to obtain the G-cover \(\widetilde{f}:\, Z \,\longrightarrow \, Y\) (using [3, Theorem 3.1.9] with the category of modules replaced by category of G-covers as in [3, Theorem 3.2.4]).
Note that \(\widetilde{f}\) is étale on a neighborhood of \(S_Y\). So \({\widetilde{f}}\) is flat. Let
be the map such that \(\widetilde{f}\,=\, f\circ \phi \).
Take any semistable vector bundle E on Y. Assume that \(f^*E\) is not semistable. Let \(V\, \subset \, f^*E\) be a subsheaf that destabilizes \(f^*E\). Then \(\phi ^*V\) destabilizes \(\phi ^*f^*E\,=\, \widetilde{f}^*E\).
Let \(W\, \subset \, \widetilde{f}^*E\) be the maximal semistable subsheaf of \(\widetilde{f}^*E\) (in other words, it is the first nonzero term in the Harder–Narasimhan filtration of \(\widetilde{f}^*E\)). Note that the natural action of the Galois group \(\text {Gal}(\widetilde{f})\) on \(\widetilde{f}^*E\) preserves the above subsheaf W. Indeed, this follows immediately from the uniqueness of the Harder–Narasimhan filtration.
The restriction of W to \(Z\setminus {\widetilde{f}}^{-1}(S_Y)\) descends \(Y\setminus S_Y\). On the other hand, the map f is étale over a neighborhood U of \(S_Y\), so the restriction of W to \(f^{-1}(U)\) descends to U. Consequently, W descends to a subsheaf of E. Since W destabilizes \(\widetilde{f}^*E\), it follows immediately that this descend of W to a subsheaf of E destabilizes E. But E is semistable. In view of this contradiction we conclude that \(f^*E\) is semistable. \(\square \)
3 Genuinely ramified maps
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map. Consider the maximal semistable subsheaf \(F_1\,\subset \, f_*\mathcal {O}_X\). From Proposition 2.3 we know that \(F_1\) is a subbundle of \(f_*\mathcal {O}_X\).
Definition 3.1
An EOSL map \(f\,:\, X\, \longrightarrow \, Y\) will be called genuinely ramified if \(F_1\,=\, \mathcal {O}_Y\).
From Corollary 2.4(2) we know that f is genuinely ramified if and only if the map \(f'\,:\, \widehat{X}\, \longrightarrow \, \widehat{Y}\) in (2.4) is genuinely ramified. From the proof the Proposition 2.3 it follows that the homomorphism of étale fundamental groups
induced by f is surjective if and only if the homomorphism of étale fundamental groups
induced by \(f'\) in (2.4) is surjective.
Theorem 3.2
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map between projective curves. Then the following six statements are equivalent:
-
(1)
f is genuinely ramified.
-
(2)
The map \(f'\,:\, \widehat{X}\, \longrightarrow \, \widehat{Y}\) in (2.4) is genuinely ramified.
-
(3)
The homomorphism of étale fundamental groups
$$\begin{aligned} f_*\,:\, \pi _1^\textrm{et}(X) \,\longrightarrow \,\pi _1^\textrm{et}(Y) \end{aligned}$$induced by f is surjective.
-
(4)
There is no nontrivial étale covering \(\phi \,:\, Y'\, \longrightarrow \, Y\) admitting a morphism \(q:\, X\, \longrightarrow \, Y'\) such that \(\phi \circ q \,=\, f\).
-
(5)
The fiber product \(X\times _Y X\) is connected.
-
(6)
\(\dim H^0(X,\, f^*f_* \mathcal {O}_X)\,=\, 1\).
Proof
It was shown that the first two statements are equivalent. The third and fourth statements are clearly equivalent.
To show that the fifth and sixth statements are equivalent, consider the fiber product
We have \(\beta _* \mathcal {O}_{X\times _Y X}\,=\, f^*f_* \mathcal {O}_X\). Since the above diagram is Cartesian, we have
and hence
Since \(X\times _Y X\) is connected if and only if \(\dim H^0(X\times _Y X,\, \mathcal {O}_{X\times _Y X}) \,=\, 1\), from (3.1) it follows that the fifth and sixth statements are equivalent.
To show that the second and third statements are equivalent, recall that the third statement holds if and only if the homomorphism of étale fundamental groups
induced by \(f'\) in (2.4) is surjective. But this homomorphism \(f'_*\) is surjective if and only if \(f'\) is genuinely ramified [1, p. 12828, Proposition 2.6]. So the second and third statements are equivalent.
We will now show that the first statement implies the sixth statement. From Proposition 2.5 we conclude that for any vector bundle V on Y, the Harder–Narasimhan filtration of \(f^*V\) is simply the pullback, by f, of the Harder–Narasimhan filtration of V.
Assume that f is genuinely ramified. This implies that the Harder–Narasimhan filtration of \(f_*\mathcal {O}_X\) in (2.2) is of the form
where \(\text {degree}(F_j/F_{j-1})\, <\, 0\) for all \(2\, \le \, j\, \le \, m\). Consequently, the Harder–Narasimhan filtration of \(f^*f_*\mathcal {O}_X\) is the following:
Since \(\text {degree}(f^*F_j/f^*F_{j-1})\, =\,\text {degree}(f)\cdot \text {degree}(F_j/F_{j-1})\, <\, 0\), we have
for all \(2\, \le \, j\, \le \, m\). In view of this, from (3.2) it follows that
Hence the sixth statement holds.
Finally, we will show that the sixth statement implies the fourth statement. To prove this by contradiction, let \(\phi \,:\, Y'\, \longrightarrow \, Y\) be a nontrivial étale covering, and \(q\,:\, X\, \longrightarrow \, Y'\) a morphism, such that \(\phi \circ q \,=\, f\). Then we have
and hence
This implies that
Since \(\phi \) is étale, \(Y'\) is a connected component of \(Y'\times _Y Y'\) using the diagonal map. So \(Y'\times _Y Y'\) is not connected. Hence setting \(f\,=\, \phi \) in (3.1) we conclude that
Therefore, (3.3) contradicts the sixth statement. So the sixth statement implies the fourth statement. This completes the proof. \(\square \)
Lemma 3.3
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map of degree d between projective curves. Assume that there is a finite group \(\Gamma \) acting faithfully on X such that \(Y\,=\, X/\Gamma \). If f is genuinely ramified, then
where each \(\mathcal {L}_i\) is a line bundle on X of negative degree.
Lemma 3.3 was proved in [1] under the assumption that X is smooth (see [1, p. 12837, Proposition 3.5]). The same proof works here.
Theorem 3.4
Let \(f\,:\, X\, \longrightarrow \, Y\) be an EOSL map of degree d between projective curves. Then the following two statements are equivalent:
-
(1)
f is genuinely ramified;
-
(2)
\(f^*E\) is stable for every stable vector sheaf E on Y.
Theorem 3.4 is proved exactly as Theorem 5.3 of [1, p. 12850] is proved.
4 Some examples
4.1 Example 1
Let Y an irreducible nodal projective curve of arithmetic genus at least two. Let \(f\,:\, X\, \longrightarrow \, Y\) be the normalization. Then f satisfies (4) and (5) of Theorem 3.2 but does not satisfy (1) and (3) of Theorem 3.2. Note that f is not an EOSL map.
4.2 Example 2
Consider the map
Let \(\psi _1\,:\, {\mathbb C}{\mathbb P}^1\, \longrightarrow \, X\) be the rational nodal curve of arithmetic genus one obtained by identifying 1 and \(\sqrt{2}\). Let \(\psi _2\,:\, {\mathbb C}{\mathbb P}^1\, \longrightarrow \, Y\) be the rational nodal curve of arithmetic genus one obtained by identifying 1 and 2. The map \(\psi _2\circ \phi \) factors \(\psi _1\). In other words, there is a unique map
such that \(\psi _2\circ \phi \,=\, f\circ \psi _1\). This map f is clearly not EOSL. Note that the homomorphism of étale fundamental groups
induced by f is surjective. So statement (3) of Theorem 3.2 holds. We will show that there is a stable vector bundle on Y whose pullback to X is not stable.
Let \(\beta \,:\, Z\ \longrightarrow \, Y\) be the unique étale covering of degree two (note that \(\pi _1(Y)\,=\, {\mathbb Z}\)). Let L be a holomorphic line bundle on Z of degree one. Then the direct image \(\beta _*L\) is a vector bundle of rank two and degree one. To prove that \(\beta _*L\) is semistable, take any rank one subsheaf \(F\, \subset \, \beta _*L\). Then we have a nonzero homomorphism \(\beta ^*F \, \longrightarrow \, L\) because
(see [2, p. 110]). Since there is a nonzero homomorphism \(\beta ^*F \, \longrightarrow \, L\), we conclude that
Therefore, it follows that \(\beta _*L\) is semistable. Since \(\text {degree}(\beta _*L)\,=\, 1\), this implies that \(\beta _*L\) is stable. So \(f^*\beta _*L\) is a vector bundle on X of rank two and degree two.
It can be shown that there is no stable vector bundle of rank two and degree two on X. Indeed, if W is a vector bundle on X of rank two and degree two, then
Take two linearly independent sections s and t on W, and consider the evaluation homomorphism
that sends any \((c_1,\, c_2)\, \in \, \mathcal {O}_x\oplus \mathcal {O}_x\, =\, {\mathbb C}^2\), \(x\, \in \, X\), to \(c_1\cdot s(x)+ c_2\cdot t(x)\,\in \, W_x\). This \(\eta \) is not an isomorphism over X, because \(\text {degree}(W)\,=\, 2\, >\, \text {degree}(\mathcal {O}_X\oplus \mathcal {O}_X)\). Therefore, there is \((a,\, b)\,\not =\, (0,\, 0)\) such that \(as+bt\) vanishes at some point of X. The degree of the rank one subsheaf of W generated by \(as+bt\) is at least one. Hence W is not stable. In particular, \(f^*\beta _*L\) is not stable.
4.3 Example 3
Let
be the morphism defined by \(z\, \longrightarrow \, z^d\), with \(d\, \ge \, 5\). Denote by X the nodal curve of arithmetic genus 1 obtained by identifying \(1\, \in \, {\mathbb C}{\mathbb P}^1\) with \(-1\, \in \, {\mathbb C}{\mathbb P}^1\). Let Y be the nodal curve of arithmetic genus 1 obtained by identifying \(1\, \in \, {\mathbb C}{\mathbb P}^1\) with \(\exp (\pi \sqrt{-1}/d)\, \in \, {\mathbb C}{\mathbb P}^1\). The map \(\gamma \) in (4.1) produces a map
Note that \(\pi _1(Y,\, y_0)\,=\, {\mathbb Z}\,=\, \pi _1(X,\, f(y_0))\), and the induced homomorphism
is an isomorphism.
Consider the vector bundle \(\mathcal {O}_{{\mathbb C}{\mathbb P}^1}\oplus \mathcal {O}_{{\mathbb C}{\mathbb P}^1}(1)\) on \({\mathbb C}{\mathbb P}^1\) of rank two and degree one. Take any isomorphism of fibers over 1 and \(-1\)
such that \(I(\mathcal {O}_{{\mathbb C}{\mathbb P}^1}(1)_1)\,=\, (\mathcal {O}_{{\mathbb C}{\mathbb P}^1})_{-1}\). Identifying the fibers of \(\mathcal {O}_{{\mathbb C}{\mathbb P}^1}\oplus \mathcal {O}_{{\mathbb C}{\mathbb P}^1}(1)\) over \(-1\) and \(-1\) using I we obtain a vector bundle E on X of rank two and degree 1. It is straightforward to check that E is stable.
Now consider the vector bundle
on \({\mathbb C}{\mathbb P}^1\), where \(\gamma \) is the map in (4.1). Consider the following isomorphism of its fibers over 1 and \(\exp (\pi \sqrt{-1}/d)\):
where I is the isomorphism in (4.4). Identifying the fibers of \({\gamma }^*(\mathcal {O}_{{\mathbb C}{\mathbb P}^1}\oplus \mathcal {O}_{{\mathbb C}{\mathbb P}^1}(1))\) over \(-1\) and \(\exp (\pi \sqrt{-1}/d)\) using this isomorphism we obtain a vector bundle V on Y of rank two and degree d. Note that we have
where f is the map in (4.2).
We will construct a subsheaf of \(f^*E\) of rank one and degree \(d-2\). Consider the subsheaf
It produces a subsheaf of V of rank 1 and degree \(d-2\). Now using the isomorphism in (4.5) this subsheaf produces a subsheaf of \(f^*E\) of rank 1 and degree \(d-2\). Consequently, the vector bundle \(f^*E\) is not stable (recall that \(d\, \ge \, 5\)), although E is stable and the homomorphism in (4.3) is an isomorphism.
References
Biswas, I., Parameswaran, A.J.: Ramified covering maps and stability of pulled back bundles. Int. Math. Res. Not. 17, 12821–12851 (2022)
Hartshorne, R.: Algebraic geometry, Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, (1977)
Harbater, D.: Patching and Galois theory. In: Galois groups and fundamental groups, 313–424. Math. Sci. Res. Inst. Publ., 41 Cambridge University Press, Cambridge, (2003)
Huybrechts, D., Lehn, M.: The Geometry of Moduli Spaces of Sheaves, Aspects of Mathematics, E31. Friedr. Vieweg & Sohn, Braunschweig (1997)
Acknowledgements
We thank the referee for a very careful reading.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Biswas, I., Kumar, M. & Parameswaran, A.J. Ramified covering maps of singular curves and stability of pulled back bundles. Rend. Circ. Mat. Palermo, II. Ser 73, 1555–1565 (2024). https://doi.org/10.1007/s12215-024-00999-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-024-00999-4