Special line bundles on curves with involution (Q2365053)

Let \(\widetilde C\) be a smooth projective curve with an involution \(\sigma\), let \(C=\widetilde C/ \sigma\) and let \(\delta\) be the invertible sheaf of \(C\) such that \(\pi_*{\mathcal O}_{\widetilde C}\cong {\mathcal O}_C \oplus \delta\). For \(A=K_C(-D)\) or \(K_C\otimes \delta(-D)\), where \(D\geq 0\) one considers the set \(W^r_A= \{L\in\text{Pic} (\widetilde C)\mid \text{Nm}(L) \cong A\), \(h^0 (\widetilde C)\geq r+1\}\). It is proven the non-emptiness of \(W^r_{K_C(-D)}\) and there are given some estimates from below for \(\dim W^r_A\) which are sharper than those obtained by Brill-Noether theory. For instance if \(n=\deg (\delta)\), \(d=\deg (D)\) then \[ \dim W^r_{K_C(-D)} \geq g(C)- 1+n- (d+n) (r+1)- r(r+1)/2. \] This exends and gives a new proof of a theorem of \textit{A. Bertram} [case \(\delta=0\), \(D=0\), see: Invent. Math. 90, 669-671 (1987; Zbl 0646.14006)]. An application to the Brill-Noether theory of vector bundles of rank 2 with canonical determinant is given.