--- abstract: 'Let $C$ be an algebraic curve of genus $g$ and $L$ a line bundle over $C$. Let ${\mathcal MS}_C(n,L)$ and ${\mathcal MO}_C(n,L)$ be the moduli spaces of $L$-valued symplectic and orthogonal bundles respectively, over $C$ of rank $n$. We construct rational curves of Hecke type on these moduli spaces which generalize the Hecke curves on the moduli space of vector bundles. As a main result, we show that these curves have the minimal degree among the rational curves passing through a general point of the moduli spaces. As its byproducts, we show the non-abelian Torelli theorem and compute the automorphism group of the moduli spaces.' address: - | Department of Mathematics\ Konkuk University\ 120 Neungdong-ro, Gwangjin-gu, Seoul 05029, Korea - | Department of Mathematics Education\ Kyungpook National University, 80 Daehakro, Bukgu, Daegu 41566, Korea - | Department of Mathematics\ Korea Institute for Advanced Study (KIAS)\ 85 Hoegiro, Dongdaemun-gu, Seoul 02455, Korea author: - Insong Choe - Kiryong Chung - Sanghyeon Lee title: | Minimal rational curves\ on the moduli spaces of\ symplectic and orthogonal bundles --- Introduction ============ Let $C$ be a smooth algebraic curve of genus $g \ge 2$ over ${\mathbb C}$. For integers $n \ge 2$ and $d$, the moduli space $SU_C(n, d)$ of semistable bundles over $C$ of rank $n $ with a fixed determinant of degree $d$ is known to be a Fano variety of Picard number one. Xiaotao Sun @Sun proved that under the assumption that $g \ge 3$ (except the case when $g=3, n=2$, and $d$ even), a rational curve passing through a general point of $SU_C(n, d)$ has the minimal degree if and only if it is a so called *Hecke curve*. This readily yields a simple proof of nonabelian Torelli theorem and the description of the automorphism group of $SU_C(n, d)$ (@Sun [Corollary 1.3 and 1.4]). The Hecke curves have been widely studied for $n=2$, for which case the degree minimality was proven in @Hw1 [Proposition 8]. For introduction to Hecke curves for $n >2$, see @Hw and @HR. The goal of this paper is to establish a similar result for symplectic bundles and orthogonal bundles. Let us briefly explain the main results, pending the precise definition and backgrounds for symplectic and orthogonal bundles to §\[subsecor\]. Let ${\mathcal MS}_C(n, L)$ (resp. ${\mathcal MO}_C(n,L)$) be the moduli space of $L$-valued symplectic (resp. orthogonal) bundles over $C$ of rank $n$ for a fixed line bundle $L$ over $C$ of degree $\ell$. We first construct variants of Hecke curves on these moduli spaces, called *symplectic* and *orthogonal Hecke curves*, which provide covering families of rational curves for ${\mathcal MS}_C(n, L)$ and ${\mathcal MO}_C(n,L)$ respectively. Interestingly, it turns out that the orthogonal Hecke curves correspond to rational curves having degree higher than that of the Hecke curves on $SU_C(n, d)$, while the symplectic Hecke curves are just special type of Hecke curves on $SU_C(n, d)$. Since the Picard groups of ${\mathcal MS}_C(n,L)$ and ${\mathcal MO}_C(n,L)$ are infinitely cyclic (under the assumption on $n$ below), the notion of minimality of the degree of a curve makes sense without a reference to a specific ample line bundle. The main result of this paper is as follows: \[main1\] Assume $g \ge 3, \: n \ge 4$ in the symplectic case and $g \ge 5, \: n \ge 5$ in the orthogonal case. Among the rational curves passing through a general point of ${\mathcal MS}_C(n,L)$ <span>(</span>resp. ${\mathcal MO}_C(n,L)$<span>)</span>, a curve has minimal degree if and only if it is a symplectic <span>(</span>resp. orthogonal<span>)</span> Hecke curve. More detailed version of this statement is given in Theorem \[mainHecke\] and Theorem \[mainHeckeortho\] for symplectic and orthogonal cases, respectively. The reason here for the assumption on the rank $n$ is as follows: A symplectic bundle must have even rank, and ${\mathcal MS}_C(2,L) \cong SU_C(2, L)$ since every vector bundle $V$ of rank 2 has a symplectic structure coming from the isomorphism $V \cong V^* \otimes (\det V)$. Also orthogonal bundles of rank $\le 4$ are constructed from line bundles and vector bundles of rank 2 (see @Mum [p.185] and @Ser2 [§4, 5]). The idea of proof of Theorem \[main1\] is as follows. Once the relevant variants of Hecke curves are defined, we can follow @Sun [§2] to compute the degree of rational curves. One additional ingredient is the Harder–Narasimhan filtration of symplectic and orthogonal bundles. In particular, we observe that a symplectic or orthogonal bundle over ${\mathbb P}^1$ must have a special kind of splitting type. This enables us to adapt the formulas in @Sun, originally for vector bundles, to the context of symplectic and orthogonal bundles. To guarantee that the involved maps from ${\mathbb P}^1$ to the moduli spaces are (generically) injective, we need to handle a technical issue regarding generic isomorphisms between symplectic and orthogonal bundles. This can be done by a rather long but elementary argument based on dimension counting. Theorem \[main1\] suggests that the symplectic and orthogonal Hecke curves play the same role as the Hecke curves on $SU_C(n,d)$ as in @Hw, @HR and @Sun. As samples, we will discuss two consequences in §\[applications\]: NonabelianTorelli theorem (Theorem \[Torelli\]) and the description of automorphisms of the moduli space (Theorem \[automorphism\]). These results are not new, but our approach provides another geometric view to solve these problems. This paper is organized as follows. In §\[subsecor\], the basic facts on symplectic and orthogonal bundles will be explained and their moduli spaces are described. In §\[Harder\], the description of the symplectic and orthogonal version of Harder-Narasimhan filtrations will be given in a concrete way. In §\[Heckesection\], we construct relevant variants of Hecke curves. We prove Theorem \[main1\] in §\[mainsection\] and discuss its applications in §\[applications\]. Moduli spaces of symplectic and orthogonal bundles {#subsecor} ================================================== Let $L$ be a line bundle over a smooth algebraic curve $C$ of genus $g \ge 0$. A vector bundle $V$ over $C$ of rank $n$ is called an $L$-valued *symplectic bundle* (resp. *orthogonal bundle*) if it is equipped with a bundle map $\omega \colon V\otimes V \to L$ whose restriction to each fiber is a non-degenerate skew-symmetric (resp. symmetric) bilinear form. An $L$-valued symplectic bundle (resp. orthogonal bundle) can also be viewed as a principal $\mathrm{Gp}(n, {\mathbb C})$-bundle (resp. $\mathrm{GO}(n, {\mathbb C})$-bundle); see @BG1 and @BG2. From the isomorphism $V \cong V^* \otimes L$, we have $\det (V)^2 \cong L^{n}$ and so $\deg (V) = \frac{1}{2} n \ell$, where $\ell = \deg (L)$. A subbundle $E$ of $V$ is said to be *isotropic* if $\omega|_{E \otimes E} \equiv 0$. By linear algebra, the rank of an isotropic subbundle of $V$ cannot exceed the half of $\mathrm{rk}(V)$. As an symplectic or orthogonal bundle, $V$ is *stable* (resp. *semistable*) if $\mu (V) > \mu (E)$ (resp. $\mu (V) \ge \mu (E)$) for every nonzero isotropic subbundle $E$, where $\mu$ is the *slope* of the vector bundle defined by $\mu(V) = \frac{ \deg(V)}{{\mathrm{rk}}(V)}$. When $g \ge 2$, the semistable $L$-valued symplectic (resp. orthogonal) bundles over $C$ of rank $n$ form a moduli space denoted by ${\mathcal MS}_C(n, L)$ (resp. ${\mathcal MO}_C(n, L)$). Note that every vector bundle $V$ of rank 2 has a $\det(V)$-valued symplectic structure coming from the isomorphism $V \cong V^* \otimes \det (V)$. Hence we have ${\mathcal MS}_C(2,L) \cong SU_C (2, \ell)$. In general, the value of the symplectic form $\omega \colon \wedge^2 V \to L$ determines $\det (V)$ via the isomorphism given by the composition: $$\det (V) = \wedge^nV \hookrightarrow (\wedge^2 V)^{\otimes \frac{n}{2} } \xrightarrow{\omega \otimes \cdots \otimes \omega } L^{\frac{n}{2} }.$$ It is known that ${\mathcal MS}_C(n, L)$ is irreducible of dimension $ \frac{1}{2} n(n+1)(g-1)$. On the other hand, ${\mathcal MO}_C(n, L)$ has several irreducible components: An $L$-valued orthogonal bundle $V$ has a determinant such that $\det (V)^2 \cong L^{n}$, hence there are many components distinguished by $c_1(V)$. Also for a fixed $c_1(V)$, there is another topological invariant called the second Stiefel–Whitney class $w_2(V) \in \mathbb{Z}_2$ (see @Ser for details). It is known that all the components of ${\mathcal MS}_C(n, L)$ have dimension $ \frac{1}{2} n(n-1)(g-1)$. For dimension of the moduli spaces, see @Ramanathan [Theorem 5.9]. Since most of the arguments in this paper will go parallel for the symplectic and orthogonal case, we simply write ${\mathcal{M}}$ to denote either ${\mathcal MS}_C(n, L)$ or an irreducible component of ${\mathcal MO}_C(n, L)$, unless there is a possibility of confusion. The notion of the minimality of the degree of a curve on ${\mathcal{M}}$ is independent of the choice of an ample line bundle on ${\mathcal{M}}$, due to the following fact: Assume $n \ge 4$ for symplectic case and $n \ge 5$ for orthogonal case. Then the Picard group of ${\mathcal{M}}$ is infinitely cyclic. This is shown in @BLS. We remark that this does not hold in the orthogonal case for $n=4$ (see @Ser2 [§4, 5]). In this paper, we choose the reference line bundle as follows. Let $$f \colon {\mathcal{M}}\to SU_C(n, {\textstyle \frac{1}{2}} n \ell)$$ be the forgetful morphism sending an $L$-valued symplectic or orthogonal bundle to the underlying vector bundle of degree $ { \frac{1}{2}} n \ell$, where $\ell = \deg (L)$. A priori, $f$ is a rational map defined only on the points represented by symplectic or orthogonal bundles whose underlying vector bundles are semistable. But it is known that every semistable symplectic or orthogonal bundle is semistable as a vector bundle (see Lemma \[stablesemistable\]). Furthermore, $f$ is a generically injective morphism, since a simple vector bundle $W$ cannot have more than one $L$-valued symplectic or orthogonal structure (giving an isomorphism $W \cong W^* \otimes L$). Now the reference line bundle will be the pull-back of the anti-canonical line bundle on $SU_C(n, {\textstyle \frac{1}{2}} n \ell) $. As an advantage of this choice, we can compare the degree of rational curves on the moduli spaces ${\mathcal{M}}$ and $SU_C(n, {\textstyle \frac{1}{2}} n \ell) $. Let $u \colon {\mathbb P}^1 \to {\mathcal{M}}$ be a generically injective map which gives a rational curve passing through a general point of ${\mathcal{M}}$. We define its *degree* as the degree of $(f \circ u)^* (-K)$, where $K$ is the canonical line bundle on $SU_C(n, \frac{1}{2}n \ell) $. Harder–Narasimhan filtrations {#Harder} ============================= In this section, we describe the Harder–Narasimhan filtration of symplectic and orthogonal bundles. Most of the results in this section can be found in the literature, written in the language of principal bundles in general. For our convenience later, we rewrite the results in the language of symplectic and orthogonal bundles. **The discussion in this section applies to any genus $g \ge 0$ and any rank $n \ge 2$.** First we recall: \[stablesemistable\] Let $V$ be an $L$-valued symplectic/orthogonal bundle with $\deg V = \frac{1}{2} n \ell$, where $\ell = \deg L$. 1. A symplectic/orthogonal bundle $V$ is semistable if and only if it is semistable as a vector bundle. 2. If a symplectic/orthogonal bundle $V$ is stable, then the underlying vector bundle is polystable: a direct sum of stable bundles of the same slope. Hence to show the semistability of $V$, it suffices to check that there is no destabilizing <span>isotropic</span> subbundles.\ The argument below is borrowed from @Ra [proposition 4.2], in which the orthogonal case was discussed. Assume $V$ is semistable as a symplectic/orthogonal bundle. Let $E$ be any subbundle of rank $r$. From the isomorphism $V/E \cong (E^\perp)^* \otimes L$, we observe: $$\label{degeq} \deg (E^\perp) = \deg (E) +(\frac{n}{2}-r) \ell.$$ Let $M$ and $N$ be the subbundles generated by $E \cap E^\perp$ and $E + E^\perp$, respectively. If $M =0$, then the map $E \oplus E^\perp \to V$ gives a subsheaf whose quotient is a torsion sheaf. Hence $$2 \deg E + (\frac{n}{2}-r) \ell \: \le \: \deg (V) = \frac{1}{2}n \ell,$$ and so $\mu (E) = \frac{\deg (E)}{r} \le \frac{\ell}{2} = \mu (V)$. If $M$ has rank $k >0$, there is an exact sequence $$0 \to M \to E \oplus E^\perp \to N \to 0.$$ Since the symplectic or orthogonal pairing $ \langle E+ E^\perp, E \cap E^\perp \rangle $ is zero, we have $M \subset N^\perp$. Since $M$ and $N^\perp$ have the same rank, they must coincide. Therefore, we have $${\mathrm{rk}}( E) + {\mathrm{rk}}(E^\perp) = {\mathrm{rk}}(M) + {\mathrm{rk}}(N) = {\mathrm{rk}}(M) + {\mathrm{rk}}( M^\perp ).$$ Applying (\[degeq\]) to both $E$ and $M$, we have $$\label{degM} \deg (E) = \deg( M) + \frac{1}{2} (r-k) \ell.$$ Since $M = E \cap E^\perp$ is isotropic, $$\label{semistableineq} \deg (M) \le k \mu(V) = \frac{1}{2} k \ell.$$ Hence $\deg (E) \le \frac{1}{2} r \ell$ and $V$ is semistable as a vector bundle. When we assume $V$ is a stable symplectic/orthogonal bundle, (\[semistableineq\]) becomes strict inequality. Hence if the equality $\mu (E) = \mu(V)$ holds, then $M=0$ and in this case the map $E \oplus E^\perp \to V$ is an isomorphism by . This shows the second claim. The following gives the Harder–Narasimhan filtration of a symplectic/orthogonal bundle. \[HN\] For any $L$-valued symplectic (resp. orthogonal) bundle $V$, there is a chain of isotropic subbundles: $$\label{seq} 0 =E_0 \subset E_1 \subset E_2 \subset \cdots \subset E_k \subset V$$ such that $$\label{slopes} \mu(V / E_k) < \mu(E_k/E_{k-1} ) < \cdots < \mu (E_2/E_1) < \mu(E_1).$$ Moreover, $(E_i/E_{i-1}) \oplus (E_{i-1}^\perp / E_i^\perp)$ for $1 \le i \le k$ and $E_k^\perp / E_k$ are semistable $L$-valued symplectic (resp. orthogonal) bundles under the inherited symplectic (resp. orthogonal) structure. As a consequence, the Harder–Narasimhan filtration of the underlying vector bundle of $V$ is given by: $$\label{HNvb} 0 =E_0 \subsetneq E_1 \subsetneq E_2 \subsetneq \cdots \subsetneq E_k \subseteq E_k^\perp \subsetneq E_{k-1}^\perp \subsetneq \cdots \subsetneq E_1^\perp \subsetneq E_{0}^\perp = V,$$ where the middle term $E_k$ may or may not be equal to $E_k^\perp$. If $V$ itself is semistable, there is nothing to prove. If $V$ is unstable, let $E_1$ be an isotropic subbundle of $V$ such that - $\mu(E_1)$ is maximal among the isotropic subbundles and - ${\mathrm{rk}}(E_1)$ is maximal among them. Since $E_1$ has maximal slope and every subbundle of $E_1$ is isotropic, it must be a semistable vector bundle. We stop here if $V$ has no destabilizing isotropic subbundle $S$ containing $E_1$. Otherwise, let $E_2$ be an isotropic subbundle containing $E_1$ such that - $\mu(E_2)$ is maximal among the isotropic subbundles containing $E_1$ and - ${\mathrm{rk}}(E_2)$ is maximal among them. By the maximality of slope, the quotient $E_2 / E_1$ is a semistable vector bundle. Also, since $\mu(E_2) < \mu(E_1)$, we have $\mu(E_2/E_1) < \mu(E_1).$[^1] Repeating this process, we have the chain $$\label{chain} 0=E_0 \subset E_1 \subset E_2 \subset \cdots \subset E_k \subset V$$ of isotropic subbundles satisfying (\[slopes\]) such that each $E_i/E_{i-1}$ is semistable for $i \le k$. The quotient $V/ E_k$ need not be semistable, but\ \ $(\ast)$ for any isotropic subbundle $S \subset V$ containing $E_k$, we have $\mu (S/E_k) \le \mu(V/E_k)$.\ \ It is easy to check that $(E_i/E_{i-1}) \oplus (E_{i-1}^\perp / E_i^\perp)$ and $E_k^\perp / E_k$ have the induced symplectic/orthgonal structure by linear algebra. The semistability of $(E_i/E_{i-1}) \oplus (E_{i-1}^\perp / E_i^\perp)$ follows from $E_{i-1}^\perp / E_i^\perp \ \cong \ (E_i/E_{i-1})^*$. Now we show that $E_k^\perp / E_k$ is semistable. Since it is a symplectic/orthogonal bundle, it suffices to check that there is no destabilizing isotropic subbundle. Let $\widetilde{S}$ be any isotropic subbundle of $E_k^\perp / E_k$. Then $\widetilde{S} = S/E_k$, where $S$ is an isotropic subbundle of $E_k^\perp$ containing $E_k$. To prove the claim that $\mu (E_k^\perp /E_k) \ge \mu(\widetilde{S}) $, we note $$\mu (E_k^\perp /E_k) - \mu(\widetilde{S}) = ( \mu (E_k^\perp /E_k) - \mu (S) ) + (\mu (S) - \mu(\widetilde{S}) ).$$ Since the above process ends up at $E_k$, we have $\mu(V) \ge \mu (S)$. From the isomorphism $V/E_k \cong (E_k)^\perp \otimes L$, we compute $\mu (E_k^\perp / E_k) = \mu(V)$. This shows that the first term on the righthand side is nonnegative. Also the sign of the second term is same as that of $\mu (E_k) - \mu(S)$, which is nonnegative from the choice of $E_k$ with maximal slope. This shows the claim. Note that the uniqueness of the Harder–Narasimhan filtration of the underlying vector bundle guarantees the uniqueness of the sequence (\[seq\]) for a symplectic/orthogonal bundle $V$. In particular for $g=0$, the existence of a symplectic or orthogonal structure on a vector bundle $V$ on ${\mathbb P}^1$ forces its splitting type to be special. First note that the form $\omega \colon V \otimes V \to {\mathcal{O}}(\ell)$ can be normalized: when $\ell$ is even (resp. odd), we may assume that $\ell=0$ (resp. $\ell=1$) by replacing $V$ by $V \otimes {\mathcal{O}}(\frac{\ell}{2})$ (resp. $V \otimes {\mathcal{O}}(\frac{\ell-1}{2})$). \[HNP1\] Let $V$ be an ${\mathcal{O}}(\ell)$-valued symplectic or orthogonal bundle over ${\mathbb P}^1$ of the splitting type $$\label{gensplit} V \cong {\mathcal{O}}(a_1)^{ r_1} \oplus {\mathcal{O}}(a_2)^{ r_2} \oplus \cdots \oplus {\mathcal{O}}(a_m)^{ r_m}$$ with $a_1>\cdots>a_m$. Then for each $i $, we always have $ r_{m+1-i} =r_i $ and $$a_{m+1-i} =-a_i \ \ \text{for} \ \ell=0 \ \ \text{and} \ \ a_{m+1-i} =-a_i +1 \ \ \text{for} \ \ell =1.$$ According to the type of Harder-Narasimhan filtration in (\[HNvb\]), we have $$r_1 + (2n-r_m) = 2n, \ \ (r_1 + r_2) + (2n-(r_m+r_{m-1})) =2n,$$ and so on. This shows $ r_{m+1-i} =r_i $ for $1 \le i \le m$. Also when $\ell=0$, we have $\deg (V) = 0$ and $\deg (E^\perp) = \deg (E)$, so the filtration (\[HNvb\]) yields the equalities $$a_1 r_1= - a_m r_m, \ \ a_1r_1 + a_2 r_2 = - (a_m r_m + a_{m-1} r_{m-1}),$$ and so on. This inductively shows $a_{m+1-i} =-a_i $ for $1 \le i \le m$. When $\ell=1$, we have $\deg (V) = n$ and $\deg (E^\perp) = \deg (E) + n- {\mathrm{rk}}(E)$. From this, the equality $a_{m+1-i} =-a_i +1$ is obtained similarly. Hecke curves {#Heckesection} ============ **Throughout this section, we assume $n \ge 4$ for symplectic case and $n \ge 5$ for orthogonal case.** In §4.1, we establish a result on the uniqueness of a generic isomorphism as a technical toolkit. And then we construct symplectic and orthogonal variants of Hecke curves in §4.2 and 4.3 respectively. Uniqueness of a generic isomorphism ----------------------------------- For a nonnegative integer $\delta$, a symplectic or orthogonal bundle $V$ is said to be *$\delta$-stable* if $$\frac{\deg(E) +\delta}{\mathrm{rk} (E)} < \frac{\deg(V)}{n} .$$ for each nonzero isotropic subbundle $E$. This is a notion adapted to the symplectic and orthogonal case, which is originally the $(\delta, \delta)$-stability in @NR1 [Definition 5.1]. Note that the 0-stability is equivalent to the stability. It is easy to see that the $\delta$-stability is an open condition in a family for each $\delta \ge 0$. \[kkstable\] Let ${\mathcal{M}}$ denote either ${\mathcal MS}_C(n, L)$ or an irreducible component of ${\mathcal MO}_C(n,L)$. Let $\delta$ be a positive integer. A general symplectic or orthogonal bundle in ${\mathcal{M}}$ is $\delta$-stable if either <span>(</span>$g = \delta +2$ and $n > \delta +1$<span>)</span> or <span>(</span>$g > \delta +2$ and $n > \frac{1}{2}(\delta +2)$<span>)</span>. A similar result for orthogonal case was proven in @BG2 [Proposition 3.5], but the above claim is slightly stronger. Let $\mathcal{S}$ be the sublocus of ${\mathcal{M}}$ consisting of bundles $V$ admitting an isotropic subbundle $E$ of rank $r$ and degree $d$ such that $$\label{11ineqline} \frac{d +\delta}{r} \ge \frac{\ell }{2 } \ , \ \ \text{or equivalently} \ \ d \ge \frac{1}{2} r \ell - \delta.$$ It suffices to show that the dimension of (any irreducible component of) $\mathcal{S}$ is strictly smaller than $ \dim ({\mathcal{M}})$. From the exact sequence $$\label{extM} 0 \to E \to V \to (E^\perp)^*\otimes L \to 0,$$ we have $$\label{degEperp} \deg (E^\perp) = d+(\frac{n}{2}-r)\ell.$$ The inherited form on the quotient $E^\perp /E $ is non-degenerate, so it is an $L$-valued symplectic/orthogonal bundle of rank $n-2r$. The above sequence can be put into the middle sequence of the following diagram: $$\label{symmdiagram} \begin{tikzcd}[ arrows={-stealth}] & \null & E^* L \rar[=] & E^* L \\ 0 \rar & E \rar & V \rar \uar \ular[dash, dashed, red] & (E^\perp)^* L \rar \uar & 0\\ 0 \rar & E \rar \uar & E^\perp \rar \uar & E^\perp/ E \rar \uar \ular[dash, dashed, red] & 0. \end{tikzcd}$$ Note that this diagram is symmetric with respect to the diagonal line (possibly with a change of sign). That is, the central term has the symmetry $V \cong V^* \otimes L$ and the right vertical sequence gives the bottom horizontal sequence after taking dual and tensoring $L$. The middle extensions are parametrized by ${\mathbb P}H^1(C, \mathrm{Hom}(E^\perp \otimes E \otimes L^*))$, which appears again in the long exact sequence associated to the bottom sequence (tensored by $ E \otimes L^*$): $$\label{extH1} \to H^1(E \otimes E \otimes L^*) \to H^1(E^\perp \otimes E \otimes L^*) \to H^1((E^\perp/E) \otimes E \otimes L^*) \to 0.$$ Now we compute an upper bound on the dimension of those bundles $V$ fitting into this diagram. A relevant result for this dimension count is in @NR2 [Proposition 2.6], which guarantees that for any given family of vector bundles, there is an irreducible family of bundles whose generic member is stable, and contains all the members of the given family. Since the arguments in @NR2 [Proposition 2.6] can be adapted to the symplectic or orthogonal cases, we may assume the stability of the objects in the dimension count below. Consider the diagram (\[symmdiagram\]). For the right vertical sequence, - $E$ moves in the moduli of vector bundles of rank $r$, which has dimension $r^2(g-1)+1$. - $E^\perp / E$ moves in a family of symplectic/orthogonal bundles of rank $n-2r$, which has dimension $ \frac{1}{2}(n-2r)(n-2r \pm 1) (g-1)$, where the sign $\pm$ refers to $+$ in the symplectic case and $-$ in the orthogonal case (throughout the proof). - The bundle $F:= (E^\perp)^* \otimes L $ is obtained as an extension of $E^* \otimes L$ by $E^\perp / E $, which lies on $ {\mathbb P}H^1 (C, (E^\perp / E ) \otimes E \otimes L^*)$. To count the dimension of deformations, we can assume that $E^\perp$ is stable, and so $$H^0(C, \mathrm{Hom}(E \otimes L^*, E^\perp / E) )= 0.$$ Since $(E^\perp / E ) \otimes E \otimes L^*$ has rank $r(n-2r)$ and degree $(n-2r)(d - \frac{1}{2}r \ell)$, we have $$\dim {\mathbb P}H^1 ( (E^\perp / E) \otimes E \otimes L^*) \ = \ (n-2r)( \frac{1}{2}r\ell -d ) + r(n-2r)(g-1) -1.$$ These information determine all the terms in the diagram by symmetry mentioned above, except the central term $V$. This is determined by the choice of a point in ${\mathbb P}H^1( C, E^\perp \otimes E \otimes L^*)$, which is in the middle of (\[extH1\]). Since a class in $H^1( (E^\perp/E) \otimes E \otimes L^*)$ is already chosen, it suffices to choose a class in $H^1( E \otimes E \otimes L^*)$. By the (anti)-symmetry of the diagram , the extension class lies on $H^1({\mathrm{Sym}}^2 E \otimes L^*)$ and $ H^1( \wedge^2 E \otimes L^*)$ for the symplectic and orthogonal case respectively (see @Hit [Criterion 2.1]), which has dimension $(r \pm 1) (\frac{1}{2}r \ell - d) + \frac{1}{2}r(r \pm 1) (g-1)$. The total sum of the above moduli gives the upper bound: $$\dim (\mathcal{S}) \ \le \ (n-r \pm 1)(\frac{1}{2}r \ell -d) + \frac{1}{2} \left( n^2 -2rn + 3r^2 \pm (n-r) \right) (g-1) .$$ Since $\dim ({\mathcal{M}}) = \frac{1}{2} n(n \pm 1) (g-1)$, the codimension of $\mathcal{S}$ in ${\mathcal{M}}$ is positive if $$\label{codimSinM} (n-r \pm 1)(\frac{1}{2}r \ell -d) < \frac{r}{2}(2n-3r \pm 1)(g-1).$$ When $g = \delta +2 $, this holds by the inequality if $$(n-r \pm 1) \delta < \frac{r}{2}(2n-3r \pm 1)(\delta+1).$$ This holds for $r=1$ if $n > \delta +1$. Also if $2 \le r \le \frac{n}{2}$, then $n-r \pm 1 \le 2n-3r \pm 1$ from which the above inequality follows. Similarly, holds if $g > \delta +2$ and $n > \frac{1}{2}(\delta +2)$. This shows that the dimension of the locus $\mathcal{S}$ is strictly smaller than $\dim ({\mathcal{M}})$ under the assumptions on $g$ and $n$. \[generic1\] Let ${\mathcal{M}}$ denote either ${\mathcal MS}_C(n, L)$ or an irreducible component of ${\mathcal MO}_C(n,L)$. Suppose that $[V]$ is a general point of ${\mathcal{M}}$ representing a symplectic or orthogonal bundle $V$. Let $\phi \colon W \to V$ be a generic isomorphism of vector bundles with $\deg (V) - \deg (W) = \delta >0$. Then $\dim H^0(C, W^* \otimes V) = 1$ if either <span>(</span>$\delta =1$ and $ g \ge 3$<span>)</span> or $$\label{genusbound} g > \frac{3(\delta-1)n}{n-1}+1, \ n > \frac{1}{2}(\delta+2).$$ \[ddstable\] (1) The argument below is a refinement of the proof of @NR1 [Lemma 5.6], which was originally given for vector bundles.\ (2) Note that in each case the condition on $g$ guarantees that $V$ is $\delta$-stable by Lemma \[kkstable\]. It can be checked that for $\delta \ge 2$ and $n \ge 4$, $$\delta +2 < \frac{3 (\delta -1)n}{n-1} +1 .$$ (3) Later we will apply this result for $\delta \le 4$, in which case the condition $n > \frac{1}{2}(\delta +2)$ can be removed. \[Proof of Lemma \[generic1\]\] First we show that if $\dim H^0(C, W^* \otimes V)>1$, then there is a nonzero map $W \to V$ with a nontrivial kernel. Choose a general $y \in C$. Then $ y \notin \mathrm{Supp}(D)$, where $D$ is an effective divisor of degree $\delta <g$ such that $(\det V) \otimes (\det W^*) \cong {\mathcal{O}}_C(D)$. Let $\psi \colon W \to V$ be a map which is not a constant multiple of $\phi$. Since $\phi$ and $\psi$ are linearly independent at a general point $y$, some linear combination $a\phi + b \psi$ is degenerate at $y$. This map cannot be a generic isomorphism: if it were, the quotient of $V$ by $(a \phi + b \psi) (W)$ is a torsion sheaf supported on a divisor containing $y$, which is a contradiction. This shows that $a \phi + b \psi \colon W \to V$ is a nonzero map with a nontrivial kernel. Therefore, it suffices to show that those bundles $V$ which admit a nonzero map $\psi \colon W \to V$ with a nontrivial kernel are contained in a proper closed subset of ${\mathcal{M}}$. Now let $V$ be a bundle in ${\mathcal{M}}$ admitting a nonzero map $\psi \colon W \to V$ with a nontrivial kernel $S$ and the quotient $E = W/S$ which is a subsheaf of $V$ of rank $r<n$. Let $M:= E \cap E^\perp$. If $M$ is nonzero of rank $r_M>0$, then from the $\delta$-stability (see Remark \[ddstable\] (2)), we have $$\frac{\deg (M) + \delta}{r_M} < \frac{\ell}{2}.$$ Hence as before in , $$\deg (E) = \deg (M) + (r-r_M) \cdot \frac{\ell}{2} < \frac{r \ell}{2} - \delta.$$ Also, since $S$ is a subsheaf of $V$ via $\phi$, we have $\deg (S) < \frac{1}{2}(n-r)\ell$. Therefore, $$\deg (W) = \deg S + \deg E < \frac{n \ell}{2} - \delta = \deg (W),$$ which is a contradiction. This shows that $E \cap E^\perp =0$ and hence the restriction of the form $(V, \omega)$ to $E$ is non-degenerate on a general fiber. Note that $$\label{degreeboundE} \deg (E) = \deg (W) - \deg (S) > \frac{n \ell}{2} - \delta - \frac{(n-r)\ell}{2} = \frac{r \ell}{2} - \delta.$$ Since $$\deg (E^\perp) = \deg (E) + \frac{(n-2r) \ell}{2} > \frac{(n-r)\ell}{2} - \delta,$$ we have $$\deg (E) + \deg (E^\perp) \ge \deg (V) - 2 (\delta-1).$$ Hence we get a sequence $$\label{eeperptau} 0 \to E \oplus E^\perp \to V \to { \tau_0} \to 0,$$ where ${ \tau_0} $ is a torsion sheaf of degree $ \le 2(\delta -1)$. Now we count dimension of bundles $V \in {\mathcal{M}}$ fitting into . First, we note that the restriction of the form $\omega$ to $E$ yields a generic isomorphism $E \to E^* \otimes L$ such that the quotient $(E^* \otimes L) / E$ is a torsion sheaf of degree $ -2 \deg (E) + r \ell <\delta$ by . Then $E$ is a subsheaf (or a limit of subsheaves) of an $L$-valued symplectic/orthogonal bundle $\widetilde{E}$ of rank $r$ with $\deg (\widetilde{E}/E) = \frac{1}{2} r \ell - \deg (E) < \delta$. Hence we get $$\begin{aligned} \dim \{ E\} &\le& \dim {\mathcal{M}}+ (\delta-1) \dim {\mathbb P}(\widetilde{E}) \\ &=& \frac{r(r \pm 1)}{2} (g-1) +(\delta-1) r.\end{aligned}$$ (For the sign $\pm$, we take $+$ and $-$ sign in the symplectic and orthogonal case, respectively. The space ${\mathcal{M}}$ should refer to the corresponding space.) Similarly, we have $$\dim \{ E^\perp \} \ \le \frac{(n-r)(n-r \pm 1)}{2} (g-1) + (\delta-1) (n-r).$$ Given two bundles $E$ and $E^\perp$, those bundles $V$ fitting into the sequence of the form have dimension bounded from above by $$2 (\delta -1) \cdot \dim {\mathbb P}(E \oplus E^\perp) = 2 (\delta -1) n.$$ Summing up these three dimensions, we get $$\frac{1}{2}(n^2 - 2rn +2r^2 \pm n) (g-1) +3(\delta -1) n =: D_0.$$ From the inequality $D_0 \ < \ \dim ({\mathcal{M}}) = \frac{1}{2}n(n \pm 1)(g-1)$, we get $$(rn-r^2)(g-1) >3(\delta-1)n.$$ The lefthand side is a quadratic polynomial in $r$, which has minimum at $r=1$. Thus the inequality reduces to: $(n-1)(g-1) > 3 (\delta -1)n$. Hence it can be seen that $\dim ({\mathcal{M}}) > D_0 $ under the assumption that $g > \frac{ 3(\delta -1)n}{n-1} +1$. We conclude that a general bundle $V$ in ${\mathcal{M}}$ does not admit a generic isomorphism $\phi \colon W \to V$ together with a map $\psi \colon W \to V$ having a nontrivial kernel. Therefore, given a general $[V] \in {\mathcal{M}}$, a generic isomorphism $\phi \colon W \to V$ is unique up to a constant multiplication, if it exists. Symplectic Hecke curves on ${\mathcal{M}}= {\mathcal MS}_C(n,L)$ {#Heckecurve} ---------------------------------------------------------------- Let $(V, \omega)$ be a point of ${\mathcal{M}}$ representing an $L$-valued symplectic bundle $V$ of rank $n$. Now we construct symplectic Hecke curves, which will turn out to have minimal degree on ${\mathcal{M}}$. The construction closely follows that of Hecke curves on $SU_C(n,d)$ in @Hw (and @HR). To construct a symplectic version of Hecke curves, we need to keep track of the symplectic forms in the process. Given a linear functional $\theta \in V^*|_x$ for some $x \in C$, let $V^\theta $ be the kernel sheaf of the composition $V \to V|_x \stackrel{\theta }{\to} {\mathbb C}$. Then we have an extension $$\label{Heckemu} 0 \to V^\theta \to V \to (V|_x/\ker \theta) \otimes {\mathbb C}_x \to 0,$$ where ${\mathbb C}_x$ is the skyscraper sheaf supported at $x$. Taking dual of this Hecke transformation, we get $$0 \to V^* \to (V^\theta)^* \to {\mathbb C}_x \to 0,$$ which restricts to the fiber at $x$ as an exact sequence of vector spaces: $$\label{Heckeatx} 0 \to \langle \theta \rangle \to V^* |_x \to (V^\theta)^*|_x \to {\mathbb C}\to 0.$$ Then there is a sheaf injection from $(V^\theta)^* (-x) := (V^\theta)^* \otimes {\mathcal{O}}_C(-x)$ into $V^*$. Consider the composition map: $$(V^\theta)^* (-x) \stackrel{\alpha}{\longrightarrow} V^* \xrightarrow{{\widetilde{\omega}}} V \otimes L^* \stackrel{\beta}{\longrightarrow} V^\theta(x) \otimes L^*,$$ where $\alpha$ and $\beta$ are dual to each other and ${\widetilde{\omega}}$ is the skew-symmetric isomorphism associated to $\omega$. This gives a skew-symmetric map $ (V^\theta)^* \to V^\theta \otimes L^*(2x)$, or equivalently an $L^*(2x)$-valued form $$\textstyle{\bigwedge^2}(V^\theta)^* \to L^*(2x).$$ The restriction of this form to the fiber $\bigwedge^2 (V^\theta)^*|_x $ factors through $\bigwedge^2(\mathrm{Im} (\alpha_x))$, which is zero since $\dim \mathrm{Im} (\alpha_x) = 1$. Hence we get an $L^*(x)$-valued skew-symmetric form on $(V^\theta)^*$, or equivalently a skew-symmetric map $$\omega^\theta : (V^\theta)^* \to V^\theta \otimes L^* (x).$$ By computing the difference of degrees, we see that the subspace $\ker(\omega^\theta_x) $ has codimension two in $ (V^\theta)^*|_x$. For each linear functional $\lambda$ of $(V^\theta)^*|_x$, let ${\widetilde{V}}^\lambda$ be the bundle obtained by the Hecke transformation $$0 \to {\widetilde{V}}^\lambda \to (V^\theta)^* \to \left( (V^\theta)^*|_x / \ker(\lambda)\right) \otimes {\mathbb C}_x \to 0.$$ \[vanish\] The bundle ${\widetilde{V}}^\lambda $ is equipped with an $L^*$-valued symplectic form ${\widetilde{\omega}}^\lambda $ induced from $\omega^\theta$ if and only if $ \ker (\omega^\theta_x) \subset \ker (\lambda)$. Consider the composition map $${\widetilde{V}}^\lambda \stackrel{{\widetilde{\alpha}}}{\longrightarrow} (V^\theta)^* \xrightarrow{\omega^\theta} V^\theta \otimes L^*(x) \stackrel{{\widetilde{\beta}}}{\longrightarrow} ({\widetilde{V}}^\lambda)^* \otimes L^*(x),$$ where ${\widetilde{\alpha}}$ and ${\widetilde{\beta}}$ are dual to each other. This gives a form $${\widetilde{\omega}}^\lambda: {\textstyle \bigwedge^2} {\widetilde{V}}^\lambda \to L^*(x),$$ which is nondegenerate outside the fiber at $x$. This factors through $\bigwedge^2 \mathrm{Im}({\widetilde{\alpha}})$, where $ \mathrm{Im}({\widetilde{\alpha}}_x) = \ker (\lambda)$ has codimension one in $(V^\theta)^*|_x$. If $ \ker (\omega^\theta_x) \subset \ker (\lambda)$, then ${\widetilde{\omega}}^\lambda_x$ further factors through the quotient space $\bigwedge^2 {\big(} (\ker(\lambda)/ \ker(\omega^\theta_x) {\big)}$, which is zero. Therefore in this case, we have an $L^*$-valued form $${\widetilde{\omega}}^\lambda: {\textstyle \bigwedge^2} {\widetilde{V}}^\lambda \to L^*.$$ This is nondegenerate everywhere since ${\widetilde{V}}^\lambda$ and $({\widetilde{V}}^\lambda)^* \otimes L^*$ have the same degree. If $ \ker (\omega^\theta_x) \not\subset \ker (\lambda)$, it is easy to see that the form ${\widetilde{\omega}}^\lambda: {\textstyle \bigwedge^2} {\widetilde{V}}^\lambda \to L^*(x)$ does not identically vanish on the fiber at $x$, and it remains to be a partially degenerate $L^*(x)$-valued form. Hence for each linear functional $ \lambda$ of $(V^\theta)^*|_x$ whose kernel contains $\ker(\omega^\theta_x)$, we get a bundle $({\widetilde{V}}^\lambda)^*$ equipped with an $L$-valued symplectic form $({\widetilde{\omega}}^\lambda)^*$. Since this is parameterized by $\lambda \in {\mathbb P}\big( (V^\theta)^*|_x / \ker(\omega^\theta_x) \big) \cong {\mathbb P}^1$, we get a family ${\mathcal{C}}^\theta[V]$ of $L$-valued symplectic bundles. In particular when $\ker(\lambda)$ coincides with the subspace $V^*|_x / \langle \theta \rangle$ from the sequence (\[Heckeatx\]), we get back $ (V, \omega) \cong \big( ({\widetilde{V}}^\lambda)^*, ({\widetilde{\omega}}^\lambda)^* \big)$. This shows that for each $\theta \in {\mathbb P}V^*$, the family ${\mathcal{C}}^\theta[V]$ gives a rational curve on ${\mathcal{M}}$ passing through the point $[V]$, <span>provided that</span> it is a nonconstant family and the symplectic bundles ${\widetilde{V}}^\lambda$'s are stable. \[sympHecke\] Assume $g \ge 3$ and $n \ge 4$. Let $V $ be a general point of ${\mathcal{M}}$. Then 1. all the symplectic bundles ${\widetilde{V}}^\lambda$ appearing in ${\mathcal{C}}^\theta[V]$ are stable, and 2. the map ${\mathbb P}^1 \to {\mathcal{C}}^\theta[V]$ given by $\lambda \mapsto \big( ({\widetilde{V}}^\lambda)^*, ({\widetilde{\omega}}^\lambda)^* \big) $ is generically injective. By Lemma \[kkstable\], we may assume that $V$ is 1-stable. To show (1), for each $[{\widetilde{V}}^\lambda] $, let $E$ be an isotropic subbundle of ${\widetilde{V}}^\lambda$. Then by the construction, $V^*$ has a subsheaf ${\widetilde{E}}$ defined by the kernel of the composition $(E \to {\widetilde{V}}^\lambda \to (V^\theta)^* \to (V^\theta)^* / V^* \cong {\mathbb C}_x)$. Then in any case $\deg ({\widetilde{E}}) \ge \deg (E) -1$. By the $1$-stability of $V^*$, we have $$\frac{\deg(E)}{{\mathrm{rk}}(E)} \le \frac{\deg({\widetilde{E}})+1}{{\mathrm{rk}}({\widetilde{E}})} < \frac{ \deg(V^*)}{{\mathrm{rk}}(V^*)} = \frac{ \deg({\widetilde{V}}^\lambda)}{{\mathrm{rk}}({\widetilde{V}}^\lambda)}.$$ To show (2), first we note that a general member ${\widetilde{V}}^\lambda$ is 1-stable, since the 1-stability is an open condition and the family contains a 1-stable bundle $V^*$. Suppose that for $\lambda_1, \lambda_2 \in {\mathbb P}^1$, both ${\widetilde{V}}^{\lambda_1}$ and ${\widetilde{V}}^{\lambda_2}$ are 1-stable and ${\widetilde{V}}^{\lambda_1} \cong {\widetilde{V}}^{\lambda_2}$. Then there are two linearly independent generic isomorphisms between $(V^\theta)^*$ and ${\widetilde{V}}^{\lambda_1}$. By Lemma \[generic1\], this implies $\lambda_1 = \lambda_2$. Therefore, a general member ${\widetilde{V}}^\mu$ is not isomorphic to any other member. This rational curve ${\mathcal{C}}^\theta[V]$ is called the *symplectic Hecke curve* on ${\mathcal{M}}$ associated to $\theta \in {\mathbb P}V$. It will be shown in §\[mainsection\] that ${\mathcal{C}}^\theta[V]$ has degree $2n$. Orthogonal Hecke curves on ${\mathcal MO}_C(n,L)$ {#Heckecurveortho} ------------------------------------------------- The construction in the orthogonal case is similar to the symplectic case, but also there are some important differences. We follow the construction in §\[Heckecurve\], pointing out the required modifications. Let ${\mathcal{M}}$ be any irreducible component of ${\mathcal MO}_C(n,L)$. Let $(V, \omega)$ be a point of ${\mathcal{M}}$ representing an $L$-valued orthogonal bundle $V$ of rank $n$. For $x \in C$, let $IG(2, V|_x)$ be the Grassmannian of 2-dimensional isotropic subspaces of $V|_x$. Then for each $\Theta \in IG(2, V|_x)$, we can associate a codimension 2 subspace $\Theta^\perp$ of $V|_x$. Let $V^\Theta$ be the kernel sheaf of the composition $V \to V|_x \to (V|_x) / (\Theta^\perp)$. This gives an extension $$\label{Heckeext} 0 \to V^\Theta \to V \to (V|_x / \Theta^\perp) \otimes {\mathbb C}_x \to 0,$$ Taking dual of this Hecke transformation, we get $$0 \to V^* \to (V^\Theta)^* \to {\mathbb C}_x^{\oplus 2} \to 0,$$ which restricts to the fiber at $x$ as an exact sequence of vector spaces $$\label{HeckeTheta} 0 \to \Theta \to V^*|_x \to (V^\Theta)^*|_x \to {\mathbb C}^2 \to 0,$$ since there is a canonical isomorphism $(V|_x / \Theta^\perp)^* \cong \Theta$. Then there is a sheaf injection from $ (V^\Theta)^*(-x) $ into $V^*$. Consider the composition map $$(V^\Theta)^*(-x) \stackrel{\alpha}{\longrightarrow} V^* \stackrel{{\widetilde{\omega}}}{\to} V \otimes L^* \stackrel{\beta}{\longrightarrow} V^\Theta(x) \otimes L^*,$$ where ${\widetilde{\omega}}$ is the symmetric isomorphism associated to $\omega$. This gives a symmetric form $${\mathrm{Sym}}^2 (V^\Theta)^* \to L^*(2x).$$ The restriction of this form to the fiber at $x$ factors through ${\mathrm{Sym}}^2 (\mathrm{Im} (\alpha_x)) = {\mathrm{Sym}}^2 \Theta$, which is zero since $\Theta$ is chosen to be isotropic. Hence we get an $L^*(x)$-valued symmetric form on $(V^\Theta)^*$, or equivalently a symmetric map $$\omega^\Theta : (V^\Theta)^* \to V^\Theta \otimes L^*(x).$$ By computing the difference of degrees, we see that the subspace $\ker(\omega^\Theta_x)$ has codimension four in $(V^\Theta)^*|_x$. Then a subspace $\Lambda \subset (V^\Theta)^*|_x$ of codimension two which is isotropic with respect to this form corresponds to a 2-dimensional isotropic subspace of the orthogonal vector space $(V^\Theta)^* / \ker(\omega^\Theta_x) \cong {\mathbb C}^4$, and vice versa. For any subspace $\Lambda \cong {\mathbb C}^{n-2}$ of $(V^\Theta)^*|_x$, let ${\widetilde{V}}^\Lambda$ be the bundle obtained by the Hecke transformation $$0 \to {\widetilde{V}}^\Lambda \to (V^\Theta)^* \to \big( (V^\Theta)^*|_x / \Lambda \big) \otimes {\mathbb C}_x \to 0.$$ The bundle $ {\widetilde{V}}^\Lambda $ is equipped with an $L^*$-valued orthogonal form ${\widetilde{\omega}}^\Lambda $ induced from $\omega^\Theta$ if and only if and $\Lambda$ is an isotropic subspace containing $\ker (\omega^\Theta|_x)$. We can argue in the same way as in the proof of Lemma \[vanish\]. Consider the composition map $${\widetilde{V}}^\Lambda \stackrel{{\widetilde{\alpha}}}{\longrightarrow} (V^\Theta)^* \stackrel{{\widetilde{\omega}}^\Theta}{\to} V^\Theta \otimes L^*(x) \stackrel{{\widetilde{\beta}}}{\longrightarrow} ({\widetilde{V}}^\Lambda)^* \otimes L^*(x),$$ where ${\widetilde{\alpha}}$ and ${\widetilde{\beta}}$ are dual to each other. This gives a form $${\widetilde{\omega}}^\Lambda : {\mathrm{Sym}}^2 {\widetilde{V}}^\Lambda \to L^*(x).$$ This factors through ${\mathrm{Sym}}^2 (\mathrm{Im}({\widetilde{\alpha}}))$, where $\mathrm{Im}(\alpha_x) = \Lambda$ has codimension two in $(V^\Theta)^*|_x)$. If $\Lambda \supset \ker (\omega^\Theta|_x)$, then ${\widetilde{\omega}}^\Lambda_x$ further factors through the quotient space ${\mathrm{Sym}}^2 \big( \Lambda / \ker (\omega^\Theta|_x) \big)$. Now the form ${\widetilde{\omega}}^\Lambda$ vanishes identically along the fiber at $x$ if $\Lambda$ is isotropic. Conversely, ${\widetilde{\omega}}^\Lambda$ does not vanish identically along the fiber at $x$ if either $\Lambda \not\supset \ker (\omega^\Theta|_x)$ or $\Lambda$ is not isotropic. The parameter space of codimension two isotropic subspaces containing $\ker (\omega^\Theta|_x)$ is isomorphic to the isotropic Grassmannian $IG( 2, \big((V^\Theta)^*|_x / \ker (\omega^\Theta|_x) \big) = IG(2,4)$. It is well-known that $IG(2, 4)$ is a disjoint union of two ${\mathbb P}^1$'s. For each $t \in IG(2, 4)$ representing such a codimension two isotropic subspace $\Lambda_t$, let ${\widetilde{V}}_t$ be the bundle $ ({\widetilde{V}}^{\Lambda_t})^* $ equipped with the $L$-valued orthogonal form ${\widetilde{\omega}}_t : = ({\widetilde{\omega}}^{\Lambda_t})^*$. Then we get a family $$\{ ({\widetilde{V}}_t, {\widetilde{\omega}}_t) \: : \: t \in IG(2, 4) \}$$ of $L$-valued orthogonal bundles. In particular when $t=t_0$ corresponds to $\Lambda = V^*|_x / \Theta$ in (\[HeckeTheta\]), we get back the original bundle $ ({\widetilde{V}}_{t_0}, {\widetilde{\omega}}_{t_0} ) = (V, \omega)$. Choose the ${\mathbb P}^1$-component of $IG(2, 4)$ containing $t_0$.[^2] Then the family $${\mathcal{C}}^\Theta[V] \ := \ \{ ({\widetilde{V}}_t, {\widetilde{\omega}}_t) \: : \: t \in {\mathbb P}^1 \}$$ is a rational curve on ${\mathcal{M}}$ passing through the point $[V]$, <span>provided that</span> the bundles ${\widetilde{V}}_t$'s are stable as orthogonal bundles. \[orthoHecke\] Assume $g \ge 5$ and $n \ge 5$. Let $V $ be a general point of ${\mathcal{M}}$. Then 1. all the orthogonal bundles ${\widetilde{V}}_t$ appearing in ${\mathcal{C}}^\Theta [V]$ are stable, and 2. the map ${\mathbb P}^1 \to {\mathcal{C}}^\Theta[V]$ given by $t \mapsto ({\widetilde{V}}_t, \widetilde{\omega}_t) $ is generically injective. By Lemma \[kkstable\], we may assume that $V$ is 2-stable. The stability of ${\widetilde{V}}_t$ is equivalent to the that of its dual: ${\widetilde{V}}^{\Lambda_t}$. Let $E$ be an isotropic subbundle of ${\widetilde{V}}^{\Lambda_t}$. Then by the construction, $V^*$ has a subsheaf ${\widetilde{E}}$ defined by the kernel of the composition $(E \to {\widetilde{V}}^{\Lambda_t} \to (V^\Theta)^* \to {\mathbb C}_x^{\oplus 2})$. Then in any case $\deg ({\widetilde{E}}) \ge \deg (E) -2$. By the stability condition of $V^*$, we have $$\frac{\deg(E)}{{\mathrm{rk}}(E)} \le \frac{\deg({\widetilde{E}})+2}{{\mathrm{rk}}({\widetilde{E}})} < \frac{ \deg(V^*)}{{\mathrm{rk}}(V^*)} =\frac{ \deg({\widetilde{V}}^{\Lambda_t})}{ {\mathrm{rk}}({\widetilde{V}}^{\Lambda_t})}.$$ To show (2), first we note that a general member ${\widetilde{V}}_t$ is 2-stable, since the 2-stability is an open condition and the family contains a 2-stable bundle $V$. Suppose that for $s, t \in {\mathbb P}^1$, both $V_s$ and $V_t$ are 2-stable and ${\widetilde{V}}_s \cong {\widetilde{V}}_t$. Then there are two linearly independent generic isomorphisms between $V^\Theta$ and ${\widetilde{V}}_t$. By Lemma \[generic1\], this implies $s=t$. Therefore, a general member ${\widetilde{V}}_t$ is not isomorphic to any other member, and we get the generic injectivity. This rational curve ${\mathcal{C}}^\Theta[V]$ is called the *orthogonal Hecke curve* on ${\mathcal{M}}$ associated to $\Theta \in IG(2, V|_x)$. It will be shown in §\[mainsection\] that ${\mathcal{C}}^\Theta[V]$ has degree $4n$. In Lemma \[sympHecke\] and \[orthoHecke\], we have seen that the symplectic/orthogonal Hecke curve is a generically injective image of ${\mathbb P}^1$. If we assume a higher genus bound, then we can guarantee the 2- or 4-stability of a general member of ${\mathcal{M}}$, and show the injectivity of the maps ${\mathbb P}^1 \to {\mathcal{C}}^\theta[V]$ or ${\mathbb P}^1 \to {\mathcal{C}}^\Theta[V]$. minimal rational curves {#mainsection} ======================= Based on the results in §\[Harder\] and §\[Heckesection\], we can now compute the minimal degree of rational curves on the moduli spaces by adapting the computation in @Sun [§2] to our situation. In doing that, we need to additionally keep track of the form $\omega$. Degree formula of rational curves {#degformula} --------------------------------- Let ${\mathcal{M}}$ be either ${\mathcal MS}_C(n, L)$ or an irreducible component of ${\mathcal MO}_C(n,L)$. Let $u : {\mathbb P}^1 \to {\mathcal{M}}$ be a generically injective morphism. Let ${\mathcal{M}}^{reg} \subset {\mathcal{M}}$ be the open sublocus consisting of those symplectic/orthogonal bundles whose underlying vector bundle is stable. Let $\pi_1 \colon C \times {\mathbb P}^1 \to C$ and $\pi_2 \colon C \times {\mathbb P}^1 \to {\mathbb P}^1$ be the projections. Let ${\mathcal L}:= \pi_1^* L$. \[globalomega\] If $u ({\mathbb P}^1) \subset {\mathcal{M}}^{reg}$, there is a vector bundle ${\mathcal V}$ over $C \times {\mathbb P}^1$ equipped with a form $\Omega \colon {\mathcal V}\otimes {\mathcal V}\to {\mathcal L}\otimes \pi_2^* {\mathcal{O}}_{{\mathbb P}^1}({\tilde{d}})$ for some ${\tilde{d}}$ such that for each $t \in {\mathbb P}^1$, the restriction of $({\mathcal V}, \: \Omega)$ to $\pi_2^{-1} (t) = C \times \{t\}$ is isomorphic to the symplectic/orthogonal bundle represented by $u( t) $. Let $V_t$ be the bundle represented by $u(t)$ for $t \in {\mathbb P}^1$. First we note that $\dim H^0(C, \mathcal{E}nd (V_t, V_t^* \otimes L)) = 1$ for each $t$ since $V_t \cong V_t^* \otimes L$ and $V_t$ is a stable vector bundle. By composing with the generically injective morphism $f: {\mathcal{M}}\to SU_C(n, \frac{1}{2}n\ell)$, the curve $(f \circ u)({\mathbb P}^1)$ lies in the moduli of stable vector bundles over $C$. By @Sun [Lemma 2.1], there is a vector bundle ${\mathcal V}$ over $C \times {\mathbb P}^1$ such that for each $t \in {\mathbb P}^1$, the restriction of ${\mathcal V}$ to $\pi_2^{-1} (t) = C \times \{t\}$ is isomorphic to the vector bundle $V_t$. From the above observation, we see that $(\pi_1)_* \mathcal{E}nd ({\mathcal V}, {\mathcal V}^* \otimes {\mathcal L})$ is a line bundle over ${\mathbb P}^1$, say ${\mathcal{O}}_{{\mathbb P}^1} (-{\tilde{d}})$ for some ${\tilde{d}}$. By adjunction formula we have $${\mathrm{Hom}}({\mathcal{O}}_{{\mathbb P}^1} (-{\tilde{d}}),(\pi_1)_* \mathcal{E}nd ({\mathcal V}, {\mathcal V}^* \otimes {\mathcal L}))\cong {\mathrm{Hom}}((\pi_1)^* {\mathcal{O}}_{{\mathbb P}^1} (-{\tilde{d}}), \mathcal{E}nd ({\mathcal V}, {\mathcal V}^* \otimes {\mathcal L})),$$ so there is a nonzero map $${\mathcal{O}}_{C\times{\mathbb P}^1} \rightarrow \mathcal{E}nd ({\mathcal V}, {\mathcal V}^* \otimes {\mathcal L}) \otimes \pi_1^* {\mathcal{O}}_{{\mathbb P}^1} ({\tilde{d}}) .$$ This gives a map $\Omega: {\mathcal V}\to {\mathcal V}^* \otimes {\mathcal L}\otimes \pi_1^* {\mathcal{O}}_{{\mathbb P}^1} ({\tilde{d}}) $ with the desired property. Note that the form $\Omega \colon {\mathcal V}\otimes {\mathcal V}\to \pi_1^* {\mathcal{O}}_{{\mathbb P}^1} ({\tilde{d}})$ can be normalized: When ${\tilde{d}}$ is even (resp. odd), we may assume that ${\tilde{d}}=0$ (resp. ${\tilde{d}}=1$) by replacing ${\mathcal V}$ by ${\mathcal V}\otimes \pi_1^* {\mathcal{O}}_{{\mathbb P}^1}(\frac{{\tilde{d}}}{2})$ (resp. $V \otimes \pi_1^* {\mathcal{O}}_{{\mathbb P}^1}(\frac{{\tilde{d}}-1}{2})$). The normalized family ${\mathcal V}$ can be viewed as a family of ${\mathcal{O}}({\tilde{d}})$-valued symplectic/orthogonal bundles over ${\mathbb P}^1$ parametrized by $C$ for ${\tilde{d}}=0,1$. For $x \in C$, we write ${\mathbb P}^1_{x} := \pi_1^{-1}(x)$. Under this normalization, the generic splitting type of ${\mathcal V}$ is given as in Corollary \[HNP1\]. Then there is a relative Harder–Narasimhan filtration $$0 ={{\mathcal E}}_0 \subset {{\mathcal E}}_1 \subset \cdots \subset {{\mathcal E}}_{m} = {\mathcal V}$$ which restricts to a generic fiber ${{\mathbb P}^1_x}$ as $({{\mathcal E}}_i/{{\mathcal E}}_{i-1})|_{{\mathbb P}^1_x} \cong {\mathcal{O}}_{{\mathbb P}^1}(a_i)^{\oplus r_i}$ for $1 \le i \le m$. If we let ${{\mathcal F}}_i = {{\mathcal E}}_i/{{\mathcal E}}_{i-1}$, the bundle ${{\mathcal F}}'_i := {{\mathcal F}}_i \otimes \pi_2^* {\mathcal{O}}_{{\mathbb P}^1} (-a_i)$ is torsion-free with generic splitting type ${\mathcal{O}}_{{\mathbb P}^1}^{r_i}$. For a general $p \in {\mathbb P}^1$, the restriction of ${\mathcal V}$ to $\pi_2^{-1} (p) = C \times \{ p \}$ is denoted simply by $V$ and we write $E_i := {{\mathcal E}}_i|_{ C \times \{p \}}$, $F_i := {{\mathcal F}}_i|_{ C \times \{p \}}$. By the degree formula of @Sun [(2.2)], we have $$\label{delta} \deg(u({\mathbb P}^1))= 2n \left( \sum\limits^{m}_{i=1}c_2({{\mathcal F}}_i') + \sum\limits_{i=1}^{m-1} (a_i-a_{i+1})(\mu(V)-\mu(E_i)) r_i \right).$$ Furthermore, we observe: - The bundles $E_i$ are isotropic and $E_i^\perp = E_{m-i}$ for $1 \le i \le \lceil \frac{m}{2} \rceil$. - Hence the summation for $\lceil \frac{m}{2} \rceil \le i \le m$ can be computed from the summation for $1 \le i \le \lceil \frac{m}{2} \rceil$ by using the formula $$(\mu(V)-\mu(E_i^{\perp})) {\mathrm{rk}}(E_i^{\perp}) \: = \: (\mu (V) - \mu(E_i) ) {\mathrm{rk}}(E_i),$$ which comes from $\deg (E_i^{\perp}) = \deg (E_i) + ( \frac{n}{2} - r_i ) \ell$. - In particular, can be computed using the isotropic bundles only. Minimality of symplectic and orthogonal Hecke curves ---------------------------------------------------- First consider the moduli space ${\mathcal{M}}= {\mathcal MS}_C(n, L)$ of symplectic bundles. \[mainHecke\] Assume $g \ge 3$ and $n \ge 4$. Suppose that $u({\mathbb P}^1) \subset {\mathcal{M}}$ is a rational curve passing through a general point. Then $u({\mathbb P}^1)$ has degree $\ge 2n$. Also if $u ({\mathbb P}^1)$ has degree $2n$, it is a symplectic Hecke curve. We use the notations from §\[degformula\]. By @Sun [Lemma 2.2], $c_2({{\mathcal F}}_i') \geq 0$ in since the generic splitting type of ${{\mathcal F}}_i'$ is trivial. By Lemma \[kkstable\], the curve $u \colon {\mathbb P}^1 \to {\mathcal{M}}$ passes through a point $[V]$ corresponding to a $1$-stable symplectic bundle. Hence we have $(\mu (V) - \mu(E_i) )r_i > 1$. These together show that $\deg(u({\mathbb P}^1)) \geq 2n$. If the equality holds, then $m=1$ and $c_2({\mathcal V}) = 1$. In particular, ${\tilde{d}}$ must be even. Now we can apply the same argument as in @Sun: The bundle ${\mathcal V}$ has exactly one jumping line $${\mathcal V}_{{\mathbb P}^1_{x}} \cong {\mathcal{O}}(-1)\oplus {\mathcal{O}}(1) \oplus {\mathcal{O}}^{ n-2}$$ (@Sun [Lemma 2.5]) and ${\mathcal V}$ admits an elementary transformation $$0 \to \pi_1^*W \to {\mathcal V}\to {\mathcal{O}}_{{\mathbb P}^1_{x}}(-1) \to 0$$ for some vector bundle $W$ on $C$ by @Sun [Lemma 2.2]. Therefore ${\mathcal{V}}$ induces a symplectic Hecke curve as was defined in §\[Heckecurve\]. (In §\[Heckecurve\], the dual family ${\mathcal V}^*$ was constructed as a Hecke transformation of a fixed bundle and then its dual was taken at the final stage.) Now consider the moduli space ${\mathcal MO}_C(n, L)$ of orthogonal bundles. Let ${\mathcal{M}}$ be any irreducible component of ${\mathcal MO}_C(n, L)$. We note that the degree bound is twice as large as that of symplectic case. \[mainHeckeortho\] Assume $g \ge 5$ for $n\ge5$. Suppose that $u({\mathbb P}^1) \subset {\mathcal{M}}$ is a rational curve passing through a general point. Then $u({\mathbb P}^1)$ has degree $\ge 4n$. Also if it has degree $4n$, it is an orthogonal Hecke curve. As before we have $c_2({{\mathcal F}}_i') \ge 0$. Since the curve $u \colon {\mathbb P}^1 \to {\mathcal{M}}$ passes through a point $[V]$ corresponding to a $2$-stable orthogonal bundle by Lemma \[kkstable\], we have $(\mu (V) - \mu(E_i) )r_i > 2$. Therefore, $\deg(u({\mathbb P}^1)) \ge 2n$. (Also we observe that if $\deg(u({\mathbb P}^1)) \le 4n$, then $m=1$ and $c_2({\mathcal V}) = 1$. In particular, ${\tilde{d}}$ must be even. ) Now we exclude the possibility of degree $2n$. If $\deg(u({\mathbb P}^1)) = 2n$, then again by applying @Sun [Lemma 2.2 and 2.5], we see that ${\mathcal V}$ admits an elementary transformation of the type: $$\label{4ncase} 0 \to \pi_1^*W \to {\mathcal V}\to {\mathcal{O}}_{{\mathbb P}^1_{x}}(-1) \to 0$$ for some vector bundle $W$. If this defines a 1-parameter family of orthogonal bundles, then each ${\mathcal V}|_{C \times \{ p \} }$ induces a symmetric form $\omega_p \colon {\mathrm{Sym}}^2(W) \to L(x)$ with a kernel of codimension 2 in $W|_x$. Since $\ker (\omega_p)$ is fixed from the sequence , the form $\omega = \omega_p$ is independent of $p$. But when we take elementary transformations associated to a one-dimensional subspaces in $W|_x$, even if it is chosen as isotropic subspace, the induced symmetric forms of the resulting bundles ${\mathcal V}|_{C \times \{ p \} }$ do not vanish identically on the fiber at $x$ except two choices. (This is a consequence of the fact that the isotropic Grassmannian $IG(1,2)$ consists of two points.) Hence the family $\{ {\mathcal V}|_{ C \times \{ p \} } \: : \: p \in {\mathbb P}^1 \}$ in do not lie inside ${\mathcal MO}_C(n,L)$. So far we have shown that $\deg u( {\mathbb P}^1) \ge 4n$. Now we characterize the curves of degree $4n$. If $\deg(u({\mathbb P}^1)) = 4n$, there are three possible types of the associated elementary transformations: Namely, $$\label{8ncase-1-1} 0 \to \pi_1^*W \to {\mathcal V}\to {\mathcal{O}}_{{\mathbb P}^1_{x_1}}(-1) \oplus {\mathcal{O}}_{{\mathbb P}^1_{x_2}}(-1) \to 0$$ for $x_1 \neq x_2 $ in $C$ or $$\label{8ncase-2} 0 \to \pi_1^*W \to {\mathcal V}\to {\mathcal{O}}_{{\mathbb P}^1_{x}}(-2) \to 0,$$ or $$\label{8ncase-1} 0 \to \pi_1^*W \to {\mathcal V}\to {\mathcal{O}}_{{\mathbb P}^1_{x}}(-1)^{\oplus 2} \to 0.$$ We now rule out the first two cases. The case is ruled out by the same reason as : since the elementary transformations are taken at two fibers separately, we get only $2 \cdot 2 =4$ bundles in the family $\{ {\mathcal V}|_{ C \times \{ p \} } \: : \: p \in {\mathbb P}^1 \}$ on which the induced $L(x_1+x_2)$-valued symmetric form vanishes identically on the fibers at $x_1,x_2$. The case can be understood as a consecutive elementary transformations at the fiber $W|_x$ such that the first one is taken for a fixed choice of a point in ${\mathbb P}(W|_x)$ and the second one is taken
{'source': 'arXiv_out/2002'}