Regular components of moduli spaces of stable maps and \(k\)-gonal curves (Q2477828)

For any complex projective variety \(Y\) and any class \(\beta\in H_2(Y,\mathbb Z)\), consider the moduli space \(M_g^{-}(Y,\beta)\) of all stable maps \(f:C\to Y\) with \(C\) a reduced connected nodal curve of arithmetic genus \(g\) and \(f_*([C])=\beta\). The expected dimension of the algebraic stack \(M_g^{-}(Y,\beta)\) is \(\text{dim}(Y)(1-g)+3g-3-b\cdot\omega_Y\). In this paper under review, the author focuses in the case when \(Y=\mathbb P^1\times\mathbb P^r\) and he looks for irreducible components \(V\) of \(M_g^{-}(\mathbb P^1\times\mathbb P^r,\beta)\) which are {\textit{good}}, that is, such that \(V\) is generically smooth and with the expected dimension. For all integers \(g,r,d\), set \(\rho(g,r,d):=g-(r+1)(g-d+r)\)(the so-called Brill-Noether number). The main theorem of this paper is the following: \noindent Fix positive integers \(g,r,d,k\) such that \(\frac{g+2}{2}\geq k\geq r+3\geq 6, \rho(g,r,d)\geq 0\), and \(g\leq(r+1)\lfloor d/r \rfloor-r-3\). Then there exists a good component of \(M_g^{-}(\mathbb P^1\times\mathbb P^r,(k,d))\). As a byproduct, the author obtain the existence of a generically smooth component of dimension \(\rho(g,r,d)\) for the Brill-Noether variety \(W^r_d(C)\) of a general \(k\)-gonal curve of genus \(g\).