Constant cycle and co-isotropic subvarieties in a Mukai system (Q2058443)

Let \((S,H)\) be a polarised \(K3\) surface of genus \(2\) and let \(M:=M_H(0,2H,s)\) denote the moduli space of Gieseker \(H\)-stable coherent sheaves with Mukai vector \(v:=(0,2H,s)\), where \(s\equiv 1\bmod 2\); this is a holomorphic symplectic variety and is birational to the Hilbert scheme \(S^{[5]}\). The support of any sheaf \({\mathcal E}\) in \(M\) is contained in the linear system \(|2H|\); mapping \({\mathcal E}\) to its support yields a Lagrangian fibration \(f:M\to B:=|2H|\cong{\mathbb P}^5\), which is known as the Mukai system of rank \(2\) and genus \(2\). Note also that the isomorphism class of \(M\) is independent of \(s\equiv 1\bmod 2\) (see Lemma 2.1). The object of this paper is to study the Chow group of zero cycles for \(f:M\to B\) and, in particular, to produce some examples of algebraically coisotropic subvarieties of \(M\) and their related constant cycle subvarieties. The first examples are certain Brill-Noether loci. In fact, let \(B^\circ\subset B\) be the locus of smooth curves. For any \(k\), let \(M_H(0,2H,k-4)^\circ=f^{-1}(B^\circ)\). For \(k=1,3\), let \(\operatorname{BN}^0_k(B^\circ)\) denote the locus in \(M_H(0,2H,k-4)^\circ\) of sheaves \({\mathcal L}\) with \(H^0(S,{\mathcal L})\ne0\). Let \(Z_k\) denote the closure of \(\operatorname{BN}^0_k(B^\circ)\) in \(M_H(0,2H,k-4)\cong M\). Then (Proposition 4.1) \(Z_k\) has codimension \(5-k\) and is algebraically coisotropic. Next, let \(V_i:=\{D\in|2H|\,|\,g(\tilde{D})\le i\}\) for \(1\le i\le 4\), where \(g(\tilde{D})\) denotes the geometric genus of the singular curve \(D\). Then (Proposition 4.4) the subvarieties \(M_{V_i}:=f^{-1}(V_i)\) are equidimensional of codimension \(5-i\) and are algebraically coisotropic. Corresponding constant cycle subvarieties are described in Propositions 4.5--4.7, some of which are rational and some are not rationally connected. Now let \(\Delta\) denote the locus of non-reduced curves in \(|2H|\) (that is, the image of the diagonal of \(|H|\times|H|\) under the Segre map \(|H|\times|H|\to|2H|\)), and write \(M_\Delta=f^{-1}(\Delta)\). In the final section, the author constructs some further examples in \(M_\Delta\) and \(S^{[5]}\). The proofs involve a theorem of Voisin and a theorem due to \textit{A. Marian} and \textit{X. Zhao} [Épijournal de Géom. Algébr., EPIGA 4, Article No. 3, 5 p. (2020; Zbl 1442.14035)] and \textit{J. Shen} et al. [Compos. Math. 156, No. 1, 179--197 (2020; Zbl 1436.14071)].