A remark on global sections of secant bundles of curves (Q2162462)

In their work [Invent. Math. 222, 615--665 (2020; Zbl 1452.14028)], the authors use a result on symmetric products of secant bundles of curves without proof because it could easily be adapted from work of \textit{G. Danila} [Bull. Lond. Math. Soc. 39, 311--316 (2004; Zbl 1122.14002)]. Here the authors give a full proof for completeness and mildly generalize the result. Let \(X\) be a nonsingular projective curve and \(H = \text{Hilb}^n X\) the Hilbert scheme of \(n\) points on \(X\). The universal family \(Z \subset X \times H\) gives rise to projections \(\alpha: Z \to H\) and \(\beta: Z \to X\). For a line bundle \(L\) on \(X\), the associated \textit{secant bundle} is \(E_L = \alpha_* (\beta^* L)\), a rank \(n\) vector bundle on \(H\). Their result states that if \(\mathcal L = \{L_1,\dots,L_k\}\) is a collection of line bundles on \(X\) and \(\{S_1, \dots S_m\}\) is a partition of \(\{1, \dots, k\}\), then for \(m \leq n\) there is an equality \[ H^0(H, E_{\mathcal L^{S_1}} \otimes \dots \otimes E_{\mathcal L^{S_m}}) = H^0 (X, \mathcal L^{S_1}) \otimes \dots \otimes H^0 (X, \mathcal L^{S_m}). \] In particular, for a single line bundle \(L\) we have \(H^0 (H, E_L^{\otimes k}) = S^k H^0 (X,L)\). As a consequence, they deduce that if \(k_1, \dots, k_m \geq 1\) are integers with \(\sum k_i \leq n\), then \[ H^0 (H, S^{k_1} E_{L_1} \otimes \dots \otimes S^{k_m} E_{L_m}) = S^{k_1} H^0 (X, L_1) \otimes \dots \otimes S^{k_m} H^0 (X, L_m). \]